PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-vpm2.opb
MD5SUM	8c44064d4224b1d41c28f152218dd39f
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	98
Optimality of the best value was proved	NO
Number of terms in the objective function	168
Biggest coefficient in the objective function	5
Number of bits for the biggest coefficient in the objective function	3
Sum of the numbers in the objective function	504
Number of bits of the sum of numbers in the objective function	9
Biggest number in a constraint	102400
Number of bits of the biggest number in a constraint	17
Biggest sum of numbers in a constraint	615983
Number of bits of the biggest sum of numbers	20
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.05084
Number of variables	2124
Total number of constraints	612
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	168
Number of constraints which are nor clauses,nor cardinality constraints	444
Minimum length of a constraint	1
Maximum length of a constraint	64
Trace number 39205

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-02 23:21:40 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27267 boxname=wulflinc3 idbench=1395 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  8c44064d4224b1d41c28f152218dd39f  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-vpm2.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-vpm2.opb
IDLAUNCH: 27267
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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:        186240 kB
Buffers:         27460 kB
Cached:         798092 kB
SwapCached:        240 kB
Active:          32604 kB
Inactive:       795388 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        185988 kB
SwapTotal:     2097136 kB
SwapFree:      2096352 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           6212 kB
Slab:            14636 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 23:41:43 (client local time) WITH STATUS 0 IN 1200.15 SECONDS
stats: 27267 7 1200.15 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.88 0.94 0.90 1/54 21081
Raw data (stat): 21081 (runsolver) R 21080 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 853700282 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.0006 s]
Raw data (loadavg): 0.90 0.94 0.90 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 725 0 0 0 997 1 0 0 25 0 1 0 853700282 8704000 699 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2125 699 566 18 0 2107 0
vsize: 8500
[startup+20.0015 s]
Raw data (loadavg): 0.91 0.94 0.90 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 802 0 0 0 1997 2 0 0 25 0 1 0 853700282 8970240 776 4294967295 134512640 134581267 3221224576 3221223488 134527418 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2190 776 566 18 0 2172 0
vsize: 8760
[startup+30.0018 s]
Raw data (loadavg): 0.93 0.94 0.91 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 812 0 0 0 2996 2 0 0 25 0 1 0 853700282 9101312 786 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2222 786 566 18 0 2204 0
vsize: 8888
[startup+40.0021 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 855 0 0 0 3996 3 0 0 25 0 1 0 853700282 9232384 829 4294967295 134512640 134581267 3221224576 3221223440 134528229 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2254 829 566 18 0 2236 0
vsize: 9016
[startup+50.0029 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 906 0 0 0 4996 3 0 0 25 0 1 0 853700282 9498624 880 4294967295 134512640 134581267 3221224576 3221223488 134527423 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2319 880 566 18 0 2301 0
vsize: 9276
[startup+60.0045 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 926 0 0 0 5996 3 0 0 25 0 1 0 853700282 9498624 900 4294967295 134512640 134581267 3221224576 3221223468 1074910621 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2319 900 566 18 0 2301 0
vsize: 9276
[startup+70.0046 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 950 0 0 0 6995 4 0 0 25 0 1 0 853700282 9596928 924 4294967295 134512640 134581267 3221224576 3221223488 134527678 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2343 924 566 18 0 2325 0
vsize: 9372
[startup+80.005 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 1016 0 0 0 7995 5 0 0 25 0 1 0 853700282 9859072 990 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2407 990 566 18 0 2389 0
vsize: 9628
[startup+90.0058 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 1028 0 0 0 8994 5 0 0 25 0 1 0 853700282 9961472 1002 4294967295 134512640 134581267 3221224576 3221223488 134528047 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2432 1002 566 18 0 2414 0
vsize: 9728
[startup+100.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 1028 0 0 0 9994 6 0 0 25 0 1 0 853700282 9961472 1002 4294967295 134512640 134581267 3221224576 3221223544 134527292 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2432 1002 566 18 0 2414 0
vsize: 9728
[startup+110.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 1163 0 0 0 10994 6 0 0 25 0 1 0 853700282 10485760 1137 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2560 1137 566 18 0 2542 0
vsize: 10240
[startup+120.008 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 1171 0 0 0 11994 6 0 0 25 0 1 0 853700282 10485760 1145 4294967295 134512640 134581267 3221224576 3221223552 134560660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2560 1145 566 18 0 2542 0
vsize: 10240
[startup+130.008 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 1171 0 0 0 12993 7 0 0 25 0 1 0 853700282 10485760 1145 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2560 1145 566 18 0 2542 0
vsize: 10240
[startup+140.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 1171 0 0 0 13993 7 0 0 25 0 1 0 853700282 10485760 1145 4294967295 134512640 134581267 3221224576 3221223488 134527410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2560 1145 566 18 0 2542 0
vsize: 10240
[startup+150.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 1171 0 0 0 14993 7 0 0 25 0 1 0 853700282 10485760 1145 4294967295 134512640 134581267 3221224576 3221223440 134528318 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2560 1145 566 18 0 2542 0
vsize: 10240
[startup+160.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 1171 0 0 0 15993 8 0 0 25 0 1 0 853700282 10485760 1145 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2560 1145 566 18 0 2542 0
vsize: 10240
[startup+170.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 1171 0 0 0 16993 8 0 0 25 0 1 0 853700282 10485760 1145 4294967295 134512640 134581267 3221224576 3221223652 134556296 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2560 1145 566 18 0 2542 0
vsize: 10240
[startup+180.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 1171 0 0 0 17992 8 0 0 25 0 1 0 853700282 10485760 1145 4294967295 134512640 134581267 3221224576 3221223504 134519883 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2560 1145 566 18 0 2542 0
vsize: 10240
[startup+190.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 1171 0 0 0 18992 9 0 0 25 0 1 0 853700282 10485760 1145 4294967295 134512640 134581267 3221224576 3221223568 134561015 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2560 1145 566 18 0 2542 0
vsize: 10240
[startup+200.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 1171 0 0 0 19992 9 0 0 25 0 1 0 853700282 10485760 1145 4294967295 134512640 134581267 3221224576 3221223504 134520109 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2560 1145 566 18 0 2542 0
vsize: 10240
[startup+210.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 1171 0 0 0 20991 10 0 0 25 0 1 0 853700282 10485760 1145 4294967295 134512640 134581267 3221224576 3221223552 134560965 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2560 1145 566 18 0 2542 0
vsize: 10240
[startup+220.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 1171 0 0 0 21991 10 0 0 25 0 1 0 853700282 10485760 1145 4294967295 134512640 134581267 3221224576 3221223520 134558921 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2560 1145 566 18 0 2542 0
vsize: 10240
[startup+230.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 1179 0 0 0 22991 11 0 0 25 0 1 0 853700282 10567680 1153 4294967295 134512640 134581267 3221224576 3221223440 134528222 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2580 1153 566 18 0 2562 0
vsize: 10320
[startup+240.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 1179 0 0 0 23990 11 0 0 25 0 1 0 853700282 10567680 1153 4294967295 134512640 134581267 3221224576 3221223488 134527636 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2580 1153 566 18 0 2562 0
vsize: 10320
[startup+250.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 1187 0 0 0 24990 11 0 0 25 0 1 0 853700282 10567680 1161 4294967295 134512640 134581267 3221224576 3221223520 134559230 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2580 1161 566 18 0 2562 0
vsize: 10320
[startup+260.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 1199 0 0 0 25990 12 0 0 25 0 1 0 853700282 10661888 1173 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2603 1173 566 18 0 2585 0
vsize: 10412
[startup+270.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 1199 0 0 0 26990 12 0 0 25 0 1 0 853700282 10661888 1173 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2603 1173 566 18 0 2585 0
vsize: 10412
[startup+280.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 1199 0 0 0 27989 12 0 0 25 0 1 0 853700282 10661888 1173 4294967295 134512640 134581267 3221224576 3221223488 134527457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2603 1173 566 18 0 2585 0
vsize: 10412
[startup+290.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 1199 0 0 0 28989 13 0 0 25 0 1 0 853700282 10661888 1173 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2603 1173 566 18 0 2585 0
vsize: 10412
[startup+300.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 1284 0 0 0 29988 13 0 0 25 0 1 0 853700282 11055104 1258 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2699 1258 566 18 0 2681 0
vsize: 10796
[startup+310.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 1284 0 0 0 30988 13 0 0 25 0 1 0 853700282 10964992 1258 4294967295 134512640 134581267 3221224576 3221223536 134516745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2677 1258 566 18 0 2659 0
vsize: 10708
[startup+320.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 1284 0 0 0 31989 13 0 0 25 0 1 0 853700282 10952704 1258 4294967295 134512640 134581267 3221224576 3221223488 134527701 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2674 1258 566 18 0 2656 0
vsize: 10696
[startup+330.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 1284 0 0 0 32989 13 0 0 25 0 1 0 853700282 10952704 1258 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2674 1258 566 18 0 2656 0
vsize: 10696
[startup+340.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 1284 0 0 0 33989 13 0 0 25 0 1 0 853700282 10952704 1258 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2674 1258 566 18 0 2656 0
vsize: 10696
[startup+350.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 1284 0 0 0 34989 13 0 0 25 0 1 0 853700282 10952704 1258 4294967295 134512640 134581267 3221224576 3221223440 134528299 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2674 1258 566 18 0 2656 0
vsize: 10696
[startup+360.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 1309 0 0 0 35989 13 0 0 25 0 1 0 853700282 11083776 1283 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2706 1283 566 18 0 2688 0
vsize: 10824
[startup+370.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 1324 0 0 0 36990 13 0 0 25 0 1 0 853700282 11214848 1298 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2738 1298 566 18 0 2720 0
vsize: 10952
[startup+380.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 1355 0 0 0 37990 13 0 0 25 0 1 0 853700282 11337728 1329 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2768 1329 566 18 0 2750 0
vsize: 11072
[startup+390.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 1359 0 0 0 38990 13 0 0 25 0 1 0 853700282 11337728 1333 4294967295 134512640 134581267 3221224576 3221223616 134564984 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2768 1333 566 18 0 2750 0
vsize: 11072
[startup+400.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 1359 0 0 0 39990 13 0 0 25 0 1 0 853700282 11337728 1333 4294967295 134512640 134581267 3221224576 3221223456 134520322 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2768 1333 566 18 0 2750 0
vsize: 11072
[startup+410.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 1359 0 0 0 40990 13 0 0 25 0 1 0 853700282 11337728 1333 4294967295 134512640 134581267 3221224576 3221223472 134517800 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2768 1333 566 18 0 2750 0
vsize: 11072
[startup+420.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 1359 0 0 0 41991 13 0 0 25 0 1 0 853700282 11337728 1333 4294967295 134512640 134581267 3221224576 3221223504 134519788 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2768 1333 566 18 0 2750 0
vsize: 11072
[startup+430.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 1359 0 0 0 42991 13 0 0 25 0 1 0 853700282 11337728 1333 4294967295 134512640 134581267 3221224576 3221223504 134519883 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2768 1333 566 18 0 2750 0
vsize: 11072
[startup+440.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 1359 0 0 0 43991 13 0 0 25 0 1 0 853700282 11337728 1333 4294967295 134512640 134581267 3221224576 3221223388 134516176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2768 1333 566 18 0 2750 0
vsize: 11072
[startup+450.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 1359 0 0 0 44991 13 0 0 25 0 1 0 853700282 11337728 1333 4294967295 134512640 134581267 3221224576 3221223488 134527451 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2768 1333 566 18 0 2750 0
vsize: 11072
[startup+460.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 1359 0 0 0 45991 13 0 0 25 0 1 0 853700282 11337728 1333 4294967295 134512640 134581267 3221224576 3221223532 134519782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2768 1333 566 18 0 2750 0
vsize: 11072
[startup+470.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 1359 0 0 0 46991 13 0 0 25 0 1 0 853700282 11337728 1333 4294967295 134512640 134581267 3221224576 3221223504 134519999 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2768 1333 566 18 0 2750 0
vsize: 11072
[startup+480.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 1359 0 0 0 47992 13 0 0 25 0 1 0 853700282 11337728 1333 4294967295 134512640 134581267 3221224576 3221223492 1075285509 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2768 1333 566 18 0 2750 0
vsize: 11072
[startup+490.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 1359 0 0 0 48992 13 0 0 25 0 1 0 853700282 11337728 1333 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2768 1333 566 18 0 2750 0
vsize: 11072
[startup+500.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 1383 0 0 0 49992 13 0 0 25 0 1 0 853700282 11337728 1357 4294967295 134512640 134581267 3221224576 3221223440 134528255 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2768 1357 566 18 0 2750 0
vsize: 11072
[startup+510.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 1383 0 0 0 50992 13 0 0 25 0 1 0 853700282 11337728 1357 4294967295 134512640 134581267 3221224576 3221223488 134527652 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2768 1357 566 18 0 2750 0
vsize: 11072
[startup+520.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 1383 0 0 0 51992 13 0 0 25 0 1 0 853700282 11337728 1357 4294967295 134512640 134581267 3221224576 3221223472 134517902 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2768 1357 566 18 0 2750 0
vsize: 11072
[startup+530.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 1383 0 0 0 52992 13 0 0 25 0 1 0 853700282 11337728 1357 4294967295 134512640 134581267 3221224576 3221223504 134519829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2768 1357 566 18 0 2750 0
vsize: 11072
[startup+540.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 1385 0 0 0 53993 13 0 0 25 0 1 0 853700282 11448320 1359 4294967295 134512640 134581267 3221224576 3221223440 134528243 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2795 1359 566 18 0 2777 0
vsize: 11180
[startup+550.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 1385 0 0 0 54993 13 0 0 25 0 1 0 853700282 11448320 1359 4294967295 134512640 134581267 3221224576 3221223456 134520246 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2795 1359 566 18 0 2777 0
vsize: 11180
[startup+560.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 1385 0 0 0 55993 13 0 0 25 0 1 0 853700282 11448320 1359 4294967295 134512640 134581267 3221224576 3221223472 1075289606 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2795 1359 566 18 0 2777 0
vsize: 11180
[startup+570.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 1390 0 0 0 56993 13 0 0 25 0 1 0 853700282 11448320 1364 4294967295 134512640 134581267 3221224576 3221223488 134527429 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2795 1364 566 18 0 2777 0
vsize: 11180
[startup+580.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 1390 0 0 0 57993 14 0 0 25 0 1 0 853700282 11448320 1364 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2795 1364 566 18 0 2777 0
vsize: 11180
[startup+590.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 1392 0 0 0 58993 14 0 0 25 0 1 0 853700282 11448320 1366 4294967295 134512640 134581267 3221224576 3221223472 134517912 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2795 1366 566 18 0 2777 0
vsize: 11180
[startup+600.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 1397 0 0 0 59994 14 0 0 25 0 1 0 853700282 11448320 1371 4294967295 134512640 134581267 3221224576 3221223520 134558889 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2795 1371 566 18 0 2777 0
vsize: 11180
[startup+610.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 1398 0 0 0 60994 14 0 0 25 0 1 0 853700282 11448320 1372 4294967295 134512640 134581267 3221224576 3221223472 134517871 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2795 1372 566 18 0 2777 0
vsize: 11180
[startup+620.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 1410 0 0 0 61994 14 0 0 25 0 1 0 853700282 11448320 1384 4294967295 134512640 134581267 3221224576 3221223520 134558815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2795 1384 566 18 0 2777 0
vsize: 11180
[startup+630.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 1410 0 0 0 62994 14 0 0 25 0 1 0 853700282 11448320 1384 4294967295 134512640 134581267 3221224576 3221223476 134527800 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2795 1384 566 18 0 2777 0
vsize: 11180
[startup+640.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 1410 0 0 0 63994 14 0 0 25 0 1 0 853700282 11448320 1384 4294967295 134512640 134581267 3221224576 3221223440 134528346 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2795 1384 566 18 0 2777 0
vsize: 11180
[startup+650.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 1410 0 0 0 64995 14 0 0 25 0 1 0 853700282 11448320 1384 4294967295 134512640 134581267 3221224576 3221223488 134527418 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2795 1384 566 18 0 2777 0
vsize: 11180
[startup+660.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 1410 0 0 0 65995 14 0 0 25 0 1 0 853700282 11448320 1384 4294967295 134512640 134581267 3221224576 3221223488 134527434 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2795 1384 566 18 0 2777 0
vsize: 11180
[startup+670.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 1410 0 0 0 66995 14 0 0 25 0 1 0 853700282 11448320 1384 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2795 1384 566 18 0 2777 0
vsize: 11180
[startup+680.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 1410 0 0 0 67995 14 0 0 25 0 1 0 853700282 11448320 1384 4294967295 134512640 134581267 3221224576 3221223488 134527729 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2795 1384 566 18 0 2777 0
vsize: 11180
[startup+690.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 1410 0 0 0 68995 14 0 0 25 0 1 0 853700282 11448320 1384 4294967295 134512640 134581267 3221224576 3221223504 134519996 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2795 1384 566 18 0 2777 0
vsize: 11180
[startup+700.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 1410 0 0 0 69995 14 0 0 25 0 1 0 853700282 11448320 1384 4294967295 134512640 134581267 3221224576 3221223552 134560674 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2795 1384 566 18 0 2777 0
vsize: 11180
[startup+710.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 1410 0 0 0 70995 15 0 0 25 0 1 0 853700282 11448320 1384 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2795 1384 566 18 0 2777 0
vsize: 11180
[startup+720.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 1410 0 0 0 71994 15 0 0 25 0 1 0 853700282 11448320 1384 4294967295 134512640 134581267 3221224576 3221223396 1075290612 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2795 1384 566 18 0 2777 0
vsize: 11180
[startup+730.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 1410 0 0 0 72994 15 0 0 25 0 1 0 853700282 11448320 1384 4294967295 134512640 134581267 3221224576 3221223488 134527539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2795 1384 566 18 0 2777 0
vsize: 11180
[startup+740.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 1410 0 0 0 73994 16 0 0 25 0 1 0 853700282 11448320 1384 4294967295 134512640 134581267 3221224576 3221223472 134517862 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2795 1384 566 18 0 2777 0
vsize: 11180
[startup+750.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 1410 0 0 0 74993 16 0 0 25 0 1 0 853700282 11448320 1384 4294967295 134512640 134581267 3221224576 3221223488 134527459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2795 1384 566 18 0 2777 0
vsize: 11180
[startup+760.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 1410 0 0 0 75993 16 0 0 25 0 1 0 853700282 11448320 1384 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2795 1384 566 18 0 2777 0
vsize: 11180
[startup+770.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 1410 0 0 0 76993 17 0 0 25 0 1 0 853700282 11448320 1384 4294967295 134512640 134581267 3221224576 3221223504 134519937 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2795 1384 566 18 0 2777 0
vsize: 11180
[startup+780.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 1410 0 0 0 77993 17 0 0 25 0 1 0 853700282 11448320 1384 4294967295 134512640 134581267 3221224576 3221223568 134561015 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2795 1384 566 18 0 2777 0
vsize: 11180
[startup+790.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 1410 0 0 0 78993 17 0 0 25 0 1 0 853700282 11448320 1384 4294967295 134512640 134581267 3221224576 3221223536 134519781 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2795 1384 566 18 0 2777 0
vsize: 11180
[startup+800.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 1410 0 0 0 79993 18 0 0 25 0 1 0 853700282 11448320 1384 4294967295 134512640 134581267 3221224576 3221223488 134527791 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2795 1384 566 18 0 2777 0
vsize: 11180
[startup+810.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 1421 0 0 0 80992 18 0 0 25 0 1 0 853700282 11517952 1395 4294967295 134512640 134581267 3221224576 3221223552 134560782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2812 1395 566 18 0 2794 0
vsize: 11248
[startup+820.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 1423 0 0 0 81992 19 0 0 25 0 1 0 853700282 11517952 1397 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2812 1397 566 18 0 2794 0
vsize: 11248
[startup+830.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 1423 0 0 0 82991 19 0 0 25 0 1 0 853700282 11517952 1397 4294967295 134512640 134581267 3221224576 3221223452 134560154 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2812 1397 566 18 0 2794 0
vsize: 11248
[startup+840.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 1423 0 0 0 83991 20 0 0 25 0 1 0 853700282 11517952 1397 4294967295 134512640 134581267 3221224576 3221223544 134527282 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2812 1397 566 18 0 2794 0
vsize: 11248
[startup+850.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 1423 0 0 0 84991 20 0 0 25 0 1 0 853700282 11517952 1397 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2812 1397 566 18 0 2794 0
vsize: 11248
[startup+860.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 1423 0 0 0 85990 21 0 0 25 0 1 0 853700282 11517952 1397 4294967295 134512640 134581267 3221224576 3221223488 134527445 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2812 1397 566 18 0 2794 0
vsize: 11248
[startup+870.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 1515 0 0 0 86990 21 0 0 25 0 1 0 853700282 11919360 1489 4294967295 134512640 134581267 3221224576 3221223488 134527720 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2910 1489 566 18 0 2892 0
vsize: 11640
[startup+880.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 1520 0 0 0 87989 22 0 0 25 0 1 0 853700282 11919360 1494 4294967295 134512640 134581267 3221224576 3221223472 134517862 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2910 1494 566 18 0 2892 0
vsize: 11640
[startup+890.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 1584 0 0 0 88989 22 0 0 25 0 1 0 853700282 12181504 1558 4294967295 134512640 134581267 3221224576 3221223568 134560579 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2974 1558 566 18 0 2956 0
vsize: 11896
[startup+900.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 1613 0 0 0 89989 23 0 0 25 0 1 0 853700282 12308480 1587 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3005 1587 566 18 0 2987 0
vsize: 12020
[startup+910.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 1613 0 0 0 90989 23 0 0 25 0 1 0 853700282 12308480 1587 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3005 1587 566 18 0 2987 0
vsize: 12020
[startup+920.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 1613 0 0 0 91988 23 0 0 25 0 1 0 853700282 12308480 1587 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3005 1587 566 18 0 2987 0
vsize: 12020
[startup+930.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 1613 0 0 0 92988 23 0 0 25 0 1 0 853700282 12308480 1587 4294967295 134512640 134581267 3221224576 3221223504 134519853 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3005 1587 566 18 0 2987 0
vsize: 12020
[startup+940.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 1613 0 0 0 93988 24 0 0 25 0 1 0 853700282 12308480 1587 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3005 1587 566 18 0 2987 0
vsize: 12020
[startup+950.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 1613 0 0 0 94988 24 0 0 25 0 1 0 853700282 12308480 1587 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3005 1587 566 18 0 2987 0
vsize: 12020
[startup+960.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 1613 0 0 0 95988 25 0 0 25 0 1 0 853700282 12308480 1587 4294967295 134512640 134581267 3221224576 3221223488 134527596 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3005 1587 566 18 0 2987 0
vsize: 12020
[startup+970.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 1613 0 0 0 96987 25 0 0 25 0 1 0 853700282 12308480 1587 4294967295 134512640 134581267 3221224576 3221223504 134520076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3005 1587 566 18 0 2987 0
vsize: 12020
[startup+980.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 1613 0 0 0 97987 25 0 0 25 0 1 0 853700282 12308480 1587 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3005 1587 566 18 0 2987 0
vsize: 12020
[startup+990.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 1613 0 0 0 98987 26 0 0 25 0 1 0 853700282 12308480 1587 4294967295 134512640 134581267 3221224576 3221223264 1075288752 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3005 1587 566 18 0 2987 0
vsize: 12020
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 1613 0 0 0 99987 26 0 0 25 0 1 0 853700282 12308480 1587 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3005 1587 566 18 0 2987 0
vsize: 12020
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 1613 0 0 0 100987 26 0 0 25 0 1 0 853700282 12308480 1587 4294967295 134512640 134581267 3221224576 3221223456 134560435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3005 1587 566 18 0 2987 0
vsize: 12020
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 1613 0 0 0 101987 27 0 0 25 0 1 0 853700282 12308480 1587 4294967295 134512640 134581267 3221224576 3221223504 134520043 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3005 1587 566 18 0 2987 0
vsize: 12020
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 1613 0 0 0 102986 27 0 0 25 0 1 0 853700282 12308480 1587 4294967295 134512640 134581267 3221224576 3221223488 134527943 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3005 1587 566 18 0 2987 0
vsize: 12020
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 1613 0 0 0 103986 28 0 0 25 0 1 0 853700282 12308480 1587 4294967295 134512640 134581267 3221224576 3221223520 134559264 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3005 1587 566 18 0 2987 0
vsize: 12020
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 1613 0 0 0 104985 28 0 0 25 0 1 0 853700282 12308480 1587 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3005 1587 566 18 0 2987 0
vsize: 12020
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 1613 0 0 0 105985 29 0 0 25 0 1 0 853700282 12308480 1587 4294967295 134512640 134581267 3221224576 3221223440 134528243 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3005 1587 566 18 0 2987 0
vsize: 12020
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 1613 0 0 0 106984 29 0 0 25 0 1 0 853700282 12308480 1587 4294967295 134512640 134581267 3221224576 3221223264 1075288199 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3005 1587 566 18 0 2987 0
vsize: 12020
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 1613 0 0 0 107984 29 0 0 25 0 1 0 853700282 12308480 1587 4294967295 134512640 134581267 3221224576 3221223520 134558899 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3005 1587 566 18 0 2987 0
vsize: 12020
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 1613 0 0 0 108984 30 0 0 25 0 1 0 853700282 12308480 1587 4294967295 134512640 134581267 3221224576 3221223568 134561040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3005 1587 566 18 0 2987 0
vsize: 12020
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 1613 0 0 0 109983 30 0 0 25 0 1 0 853700282 12308480 1587 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3005 1587 566 18 0 2987 0
vsize: 12020
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 1613 0 0 0 110983 30 0 0 25 0 1 0 853700282 12308480 1587 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3005 1587 566 18 0 2987 0
vsize: 12020
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 1613 0 0 0 111983 31 0 0 25 0 1 0 853700282 12308480 1587 4294967295 134512640 134581267 3221224576 3221223488 1075289600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3005 1587 566 18 0 2987 0
vsize: 12020
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 1613 0 0 0 112983 31 0 0 25 0 1 0 853700282 12308480 1587 4294967295 134512640 134581267 3221224576 3221223504 134520027 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3005 1587 566 18 0 2987 0
vsize: 12020
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 1613 0 0 0 113982 31 0 0 25 0 1 0 853700282 12308480 1587 4294967295 134512640 134581267 3221224576 3221223488 134527636 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3005 1587 566 18 0 2987 0
vsize: 12020
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 1613 0 0 0 114982 31 0 0 25 0 1 0 853700282 12308480 1587 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3005 1587 566 18 0 2987 0
vsize: 12020
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 1613 0 0 0 115982 31 0 0 25 0 1 0 853700282 12308480 1587 4294967295 134512640 134581267 3221224576 3221223472 134517764 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3005 1587 566 18 0 2987 0
vsize: 12020
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 1613 0 0 0 116982 32 0 0 25 0 1 0 853700282 12308480 1587 4294967295 134512640 134581267 3221224576 3221223468 134526884 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3005 1587 566 18 0 2987 0
vsize: 12020
[startup+1180.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 1613 0 0 0 117981 32 0 0 25 0 1 0 853700282 12308480 1587 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3005 1587 566 18 0 2987 0
vsize: 12020
[startup+1190.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 1613 0 0 0 118982 32 0 0 25 0 1 0 853700282 12308480 1587 4294967295 134512640 134581267 3221224576 3221223440 134526949 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3005 1587 566 18 0 2987 0
vsize: 12020
[startup+1200.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21081
Raw data (stat): 21081 (Pueblo-v2) R 21080 20224 20223 0 -1 0 1613 0 0 0 119982 32 0 0 25 0 1 0 853700282 12308480 1587 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3005 1587 566 18 0 2987 0
vsize: 12020
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.05 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 21081
Raw data (stat): 21081 (Pueblo-v2) Z 21080 20224 20223 0 -1 1036 1613 0 0 0 119982 33 0 0 25 0 1 0 853700282 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.05
CPU time (s): 1200.15
CPU user time (s): 1199.82
CPU system time (s): 0.330949
CPU usage (%): 100.008
Max. virtual memory (Kb): 12020
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####