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-n370e.opb
MD5SUM	5298b427bf0fc38e6e22a1bd59273927
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	39220173760
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	39220173760
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.967852
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 39282

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-03 02:03:24 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27348 boxname=wulflinc1 idbench=1476 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  5298b427bf0fc38e6e22a1bd59273927  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-n370e.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-n370e.opb
IDLAUNCH: 27348
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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.053
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:        241836 kB
Buffers:         29240 kB
Cached:         738356 kB
SwapCached:        668 kB
Active:          30368 kB
Inactive:       739476 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        241584 kB
SwapTotal:     2097136 kB
SwapFree:      2095384 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5828 kB
Slab:            17060 kB
Committed_AS:    92720 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-03 02:23:27 (client local time) WITH STATUS 0 IN 1200.29 SECONDS
stats: 27348 7 1200.29 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.92 0.98 0.91 2/55 16121
Raw data (stat): 16121 (runsolver) R 16120 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 797822184 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+9.99956 s]
Raw data (loadavg): 0.93 0.98 0.91 2/55 16121
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 80688 0 0 0 847 152 0 0 25 0 1 0 797822184 57778176 12523 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14106 12524 566 18 0 14088 0
vsize: 56424
[startup+20.0004 s]
Raw data (loadavg): 0.94 0.98 0.91 2/55 16121
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 394100 0 0 0 1305 694 0 0 25 0 1 0 797822184 59400192 12918 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14502 12918 566 18 0 14484 0
vsize: 58008
[startup+30.0001 s]
Raw data (loadavg): 0.95 0.98 0.91 2/55 16121
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 559218 0 0 0 2012 987 0 0 25 0 1 0 797822184 58875904 12824 4294967295 134512640 134581267 3221224576 3221223520 134559268 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14374 12824 566 18 0 14356 0
vsize: 57496
[startup+40.0009 s]
Raw data (loadavg): 0.96 0.98 0.91 2/55 16121
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 562713 0 0 0 3005 994 0 0 25 0 1 0 797822184 73154560 16319 4294967295 134512640 134581267 3221224576 3221223440 134528238 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17860 16319 566 18 0 17842 0
vsize: 71440
[startup+50.0018 s]
Raw data (loadavg): 0.96 0.98 0.91 2/55 16121
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 566752 0 0 0 3996 1003 0 0 25 0 1 0 797822184 89653248 20358 4294967295 134512640 134581267 3221224576 3221223440 134528243 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21888 20358 566 18 0 21870 0
vsize: 87552
[startup+60.0016 s]
Raw data (loadavg): 0.97 0.98 0.91 2/55 16121
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 570767 0 0 0 4989 1011 0 0 25 0 1 0 797822184 106180608 24373 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25923 24373 566 18 0 25905 0
vsize: 103692
[startup+70.0014 s]
Raw data (loadavg): 0.97 0.98 0.91 2/55 16121
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 574733 0 0 0 5983 1017 0 0 25 0 1 0 797822184 122335232 28339 4294967295 134512640 134581267 3221224576 3221223488 134527434 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29867 28339 566 18 0 29849 0
vsize: 119468
[startup+80.0012 s]
Raw data (loadavg): 0.98 0.98 0.91 2/55 16121
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 578711 0 0 0 6974 1026 0 0 25 0 1 0 797822184 138645504 32317 4294967295 134512640 134581267 3221224576 3221223440 134528393 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33849 32317 566 18 0 33831 0
vsize: 135396
[startup+90.001 s]
Raw data (loadavg): 0.98 0.98 0.91 2/55 16121
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 582541 0 0 0 7966 1034 0 0 25 0 1 0 797822184 154378240 36147 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37690 36147 566 18 0 37672 0
vsize: 150760
[startup+100.001 s]
Raw data (loadavg): 0.98 0.98 0.91 2/55 16121
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 585852 0 0 0 8958 1042 0 0 25 0 1 0 797822184 167968768 39458 4294967295 134512640 134581267 3221224576 3221223520 134558784 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41008 39458 566 18 0 40990 0
vsize: 164032
[startup+110.001 s]
Raw data (loadavg): 0.98 0.98 0.91 2/55 16121
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 587553 0 0 0 9954 1046 0 0 25 0 1 0 797822184 174907392 41159 4294967295 134512640 134581267 3221224576 3221223488 134528053 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42702 41159 566 18 0 42684 0
vsize: 170808
[startup+120.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 16123
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 589237 0 0 0 10950 1050 0 0 25 0 1 0 797822184 181800960 42843 4294967295 134512640 134581267 3221224576 3221223488 134527459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44385 42843 566 18 0 44367 0
vsize: 177540
[startup+130.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 16123
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 590907 0 0 0 11946 1054 0 0 25 0 1 0 797822184 188645376 44513 4294967295 134512640 134581267 3221224576 3221223472 134517767 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46056 44513 566 18 0 46038 0
vsize: 184224
[startup+140.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 16123
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 592563 0 0 0 12942 1059 0 0 25 0 1 0 797822184 195461120 46169 4294967295 134512640 134581267 3221224576 3221223488 134527434 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47720 46169 566 18 0 47702 0
vsize: 190880
[startup+150.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 16123
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 594188 0 0 0 13938 1062 0 0 25 0 1 0 797822184 202117120 47794 4294967295 134512640 134581267 3221224576 3221223504 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49345 47794 566 18 0 49327 0
vsize: 197380
[startup+160.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 16123
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 595817 0 0 0 14934 1067 0 0 25 0 1 0 797822184 208764928 49423 4294967295 134512640 134581267 3221224576 3221223292 1075289077 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50968 49423 566 18 0 50950 0
vsize: 203872
[startup+170.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 16123
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 597439 0 0 0 15931 1070 0 0 25 0 1 0 797822184 215379968 51045 4294967295 134512640 134581267 3221224576 3221223520 134558912 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52583 51045 566 18 0 52565 0
vsize: 210332
[startup+180.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 16123
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 599044 0 0 0 16927 1074 0 0 25 0 1 0 797822184 221962240 52650 4294967295 134512640 134581267 3221224576 3221223504 134520076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 54190 52650 566 18 0 54172 0
vsize: 216760
[startup+190.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 16123
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 600183 0 0 0 17925 1077 0 0 25 0 1 0 797822184 226656256 53789 4294967295 134512640 134581267 3221224576 3221223488 134528040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55336 53789 566 18 0 55318 0
vsize: 221344
[startup+200.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 16123
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 600183 0 0 0 18925 1077 0 0 25 0 1 0 797822184 226656256 53789 4294967295 134512640 134581267 3221224576 3221223488 134531369 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55336 53789 566 18 0 55318 0
vsize: 221344
[startup+210.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 16123
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 600183 0 0 0 19925 1077 0 0 25 0 1 0 797822184 226656256 53789 4294967295 134512640 134581267 3221224576 3221223488 134527434 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55336 53789 566 18 0 55318 0
vsize: 221344
[startup+220.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 16123
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 600183 0 0 0 20925 1077 0 0 25 0 1 0 797822184 226656256 53789 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55336 53789 566 18 0 55318 0
vsize: 221344
[startup+230.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 16123
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 600183 0 0 0 21925 1078 0 0 25 0 1 0 797822184 226656256 53789 4294967295 134512640 134581267 3221224576 3221223488 134527410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55336 53789 566 18 0 55318 0
vsize: 221344
[startup+240.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 16123
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 600183 0 0 0 22925 1078 0 0 25 0 1 0 797822184 226656256 53789 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55336 53789 566 18 0 55318 0
vsize: 221344
[startup+250.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 16123
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 600183 0 0 0 23924 1078 0 0 25 0 1 0 797822184 226656256 53789 4294967295 134512640 134581267 3221224576 3221223488 134527459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55336 53789 566 18 0 55318 0
vsize: 221344
[startup+260.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 16123
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 600183 0 0 0 24924 1079 0 0 25 0 1 0 797822184 226656256 53789 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55336 53789 566 18 0 55318 0
vsize: 221344
[startup+270.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 16123
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 600183 0 0 0 25924 1079 0 0 25 0 1 0 797822184 226656256 53789 4294967295 134512640 134581267 3221224576 3221223488 134527537 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55336 53789 566 18 0 55318 0
vsize: 221344
[startup+280.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 16123
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 600183 0 0 0 26923 1080 0 0 25 0 1 0 797822184 226656256 53789 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55336 53789 566 18 0 55318 0
vsize: 221344
[startup+290.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 16123
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 600183 0 0 0 27923 1080 0 0 25 0 1 0 797822184 226656256 53789 4294967295 134512640 134581267 3221224576 3221223488 134527459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55336 53789 566 18 0 55318 0
vsize: 221344
[startup+300.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 16123
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 600183 0 0 0 28923 1081 0 0 25 0 1 0 797822184 226656256 53789 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55336 53789 566 18 0 55318 0
vsize: 221344
[startup+310.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 16123
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 600183 0 0 0 29923 1081 0 0 25 0 1 0 797822184 226656256 53789 4294967295 134512640 134581267 3221224576 3221223520 134558815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55336 53789 566 18 0 55318 0
vsize: 221344
[startup+320.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 16123
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 600183 0 0 0 30923 1081 0 0 25 0 1 0 797822184 226656256 53789 4294967295 134512640 134581267 3221224576 3221223440 134528334 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55336 53789 566 18 0 55318 0
vsize: 221344
[startup+330.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 16123
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 600183 0 0 0 31923 1081 0 0 25 0 1 0 797822184 226656256 53789 4294967295 134512640 134581267 3221224576 3221223488 134527525 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55336 53789 566 18 0 55318 0
vsize: 221344
[startup+340.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 16123
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 600183 0 0 0 32923 1082 0 0 25 0 1 0 797822184 226656256 53789 4294967295 134512640 134581267 3221224576 3221223488 134527457 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55336 53789 566 18 0 55318 0
vsize: 221344
[startup+350.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 16123
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 600183 0 0 0 33923 1082 0 0 25 0 1 0 797822184 226656256 53789 4294967295 134512640 134581267 3221224576 3221223488 134527636 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55336 53789 566 18 0 55318 0
vsize: 221344
[startup+360.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 16123
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 600183 0 0 0 34920 1085 0 0 25 0 1 0 797822184 171302912 40296 4294967295 134512640 134581267 3221224576 3221223440 134528287 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41822 40296 566 18 0 41804 0
vsize: 167288
[startup+370.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 16123
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 600183 0 0 0 35920 1085 0 0 25 0 1 0 797822184 171302912 40296 4294967295 134512640 134581267 3221224576 3221223520 134559190 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41822 40296 566 18 0 41804 0
vsize: 167288
[startup+380.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 16123
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 600183 0 0 0 36920 1085 0 0 25 0 1 0 797822184 171302912 40296 4294967295 134512640 134581267 3221224576 3221223440 134528249 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41822 40296 566 18 0 41804 0
vsize: 167288
[startup+390.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 16123
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 600183 0 0 0 37920 1085 0 0 25 0 1 0 797822184 171302912 40296 4294967295 134512640 134581267 3221224576 3221223488 134527410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41822 40296 566 18 0 41804 0
vsize: 167288
[startup+400.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 16123
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 600183 0 0 0 38920 1085 0 0 25 0 1 0 797822184 171302912 40296 4294967295 134512640 134581267 3221224576 3221223440 134528229 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41822 40296 566 18 0 41804 0
vsize: 167288
[startup+410.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 16123
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 600183 0 0 0 39920 1085 0 0 25 0 1 0 797822184 171302912 40296 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41822 40296 566 18 0 41804 0
vsize: 167288
[startup+420.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 16123
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 600183 0 0 0 40920 1086 0 0 25 0 1 0 797822184 171302912 40296 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41822 40296 566 18 0 41804 0
vsize: 167288
[startup+430.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 16123
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 600183 0 0 0 41921 1086 0 0 25 0 1 0 797822184 171302912 40296 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41822 40296 566 18 0 41804 0
vsize: 167288
[startup+440.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 16123
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 600183 0 0 0 42921 1086 0 0 25 0 1 0 797822184 171302912 40296 4294967295 134512640 134581267 3221224576 3221223440 134560394 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41822 40296 566 18 0 41804 0
vsize: 167288
[startup+450.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 16123
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 600183 0 0 0 43921 1086 0 0 25 0 1 0 797822184 171302912 40296 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41822 40296 566 18 0 41804 0
vsize: 167288
[startup+460.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 16123
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 600183 0 0 0 44920 1086 0 0 25 0 1 0 797822184 171302912 40296 4294967295 134512640 134581267 3221224576 3221223504 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41822 40296 566 18 0 41804 0
vsize: 167288
[startup+470.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 16123
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 600183 0 0 0 45920 1087 0 0 25 0 1 0 797822184 171298816 40295 4294967295 134512640 134581267 3221224576 3221223488 134527504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41821 40295 566 18 0 41803 0
vsize: 167284
[startup+480.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 16123
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 600647 0 0 0 46920 1087 0 0 25 0 1 0 797822184 173277184 40759 4294967295 134512640 134581267 3221224576 3221223488 134528040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42304 40759 566 18 0 42286 0
vsize: 169216
[startup+490.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 16123
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 601782 0 0 0 47917 1090 0 0 25 0 1 0 797822184 177963008 41894 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43448 41894 566 18 0 43430 0
vsize: 173792
[startup+500.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 16123
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 602914 0 0 0 48915 1092 0 0 25 0 1 0 797822184 182550528 43026 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44568 43026 566 18 0 44550 0
vsize: 178272
[startup+510.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 16123
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 604043 0 0 0 49913 1095 0 0 25 0 1 0 797822184 187117568 44155 4294967295 134512640 134581267 3221224576 3221223488 134527701 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45683 44155 566 18 0 45665 0
vsize: 182732
[startup+520.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 16123
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 605335 0 0 0 50910 1098 0 0 25 0 1 0 797822184 192417792 45447 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46977 45447 566 18 0 46959 0
vsize: 187908
[startup+530.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 16123
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 606726 0 0 0 51907 1101 0 0 25 0 1 0 797822184 198103040 46838 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48365 46838 566 18 0 48347 0
vsize: 193460
[startup+540.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 16123
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 607201 0 0 0 52905 1103 0 0 25 0 1 0 797822184 200081408 47313 4294967295 134512640 134581267 3221224576 3221223488 134527451 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48848 47313 566 18 0 48830 0
vsize: 195392
[startup+550.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 16123
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 607201 0 0 0 53905 1103 0 0 25 0 1 0 797822184 200081408 47313 4294967295 134512640 134581267 3221224576 3221223488 134527504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48848 47313 566 18 0 48830 0
vsize: 195392
[startup+560.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 16123
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 607201 0 0 0 54905 1103 0 0 25 0 1 0 797822184 200081408 47313 4294967295 134512640 134581267 3221224576 3221223520 134559230 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48848 47313 566 18 0 48830 0
vsize: 195392
[startup+570.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 16123
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 607201 0 0 0 55906 1103 0 0 25 0 1 0 797822184 200081408 47313 4294967295 134512640 134581267 3221224576 3221223488 134527539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48848 47313 566 18 0 48830 0
vsize: 195392
[startup+580.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 16123
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 607201 0 0 0 56905 1103 0 0 25 0 1 0 797822184 200081408 47313 4294967295 134512640 134581267 3221224576 3221223472 134517871 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48848 47313 566 18 0 48830 0
vsize: 195392
[startup+590.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 16123
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 607201 0 0 0 57905 1104 0 0 25 0 1 0 797822184 200081408 47313 4294967295 134512640 134581267 3221224576 3221223488 134527451 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48848 47313 566 18 0 48830 0
vsize: 195392
[startup+600.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 16123
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 607201 0 0 0 58905 1104 0 0 25 0 1 0 797822184 200081408 47313 4294967295 134512640 134581267 3221224576 3221223464 134560149 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48848 47313 566 18 0 48830 0
vsize: 195392
[startup+610.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 16123
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 607201 0 0 0 59905 1104 0 0 25 0 1 0 797822184 200081408 47313 4294967295 134512640 134581267 3221224576 3221223428 1075291136 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48848 47313 566 18 0 48830 0
vsize: 195392
[startup+620.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 16123
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 607201 0 0 0 60905 1105 0 0 25 0 1 0 797822184 200081408 47313 4294967295 134512640 134581267 3221224576 3221223488 134527652 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48848 47313 566 18 0 48830 0
vsize: 195392
[startup+630.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 16123
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 607201 0 0 0 61905 1105 0 0 25 0 1 0 797822184 200081408 47313 4294967295 134512640 134581267 3221224576 3221223520 134559020 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48848 47313 566 18 0 48830 0
vsize: 195392
[startup+640.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 16123
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 607201 0 0 0 62905 1105 0 0 25 0 1 0 797822184 200081408 47313 4294967295 134512640 134581267 3221224576 3221223520 134558791 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48848 47313 566 18 0 48830 0
vsize: 195392
[startup+650.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 16123
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 607201 0 0 0 63905 1105 0 0 25 0 1 0 797822184 200081408 47313 4294967295 134512640 134581267 3221224576 3221223488 134527504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48848 47313 566 18 0 48830 0
vsize: 195392
[startup+660.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 16123
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 607201 0 0 0 64905 1106 0 0 25 0 1 0 797822184 200081408 47313 4294967295 134512640 134581267 3221224576 3221223488 134527774 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48848 47313 566 18 0 48830 0
vsize: 195392
[startup+670.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 16123
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 607201 0 0 0 65905 1106 0 0 25 0 1 0 797822184 200081408 47313 4294967295 134512640 134581267 3221224576 3221223440 134528246 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48848 47313 566 18 0 48830 0
vsize: 195392
[startup+680.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 16123
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 607201 0 0 0 66905 1106 0 0 25 0 1 0 797822184 200081408 47313 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48848 47313 566 18 0 48830 0
vsize: 195392
[startup+690.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 16123
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 607201 0 0 0 67905 1106 0 0 25 0 1 0 797822184 200081408 47313 4294967295 134512640 134581267 3221224576 3221223264 1075288331 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48848 47313 566 18 0 48830 0
vsize: 195392
[startup+700.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 16123
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 607201 0 0 0 68904 1107 0 0 25 0 1 0 797822184 191934464 45333 4294967295 134512640 134581267 3221224576 3221223488 134528047 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45333 566 18 0 46841 0
vsize: 187436
[startup+710.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 16123
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 607201 0 0 0 69904 1107 0 0 25 0 1 0 797822184 191934464 45333 4294967295 134512640 134581267 3221224576 3221223488 134527434 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45333 566 18 0 46841 0
vsize: 187436
[startup+720.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 16123
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 607201 0 0 0 70904 1107 0 0 25 0 1 0 797822184 191934464 45333 4294967295 134512640 134581267 3221224576 3221223488 134527539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45333 566 18 0 46841 0
vsize: 187436
[startup+730.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 16123
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 607201 0 0 0 71904 1107 0 0 25 0 1 0 797822184 191934464 45333 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45333 566 18 0 46841 0
vsize: 187436
[startup+740.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 16123
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 607201 0 0 0 72904 1107 0 0 25 0 1 0 797822184 191934464 45333 4294967295 134512640 134581267 3221224576 3221223488 134527537 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45333 566 18 0 46841 0
vsize: 187436
[startup+750.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 16123
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 607201 0 0 0 73904 1107 0 0 25 0 1 0 797822184 191934464 45333 4294967295 134512640 134581267 3221224576 3221223440 134528229 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45333 566 18 0 46841 0
vsize: 187436
[startup+760.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 16123
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 607201 0 0 0 74904 1108 0 0 25 0 1 0 797822184 191934464 45333 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45333 566 18 0 46841 0
vsize: 187436
[startup+770.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 16123
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 607201 0 0 0 75904 1108 0 0 25 0 1 0 797822184 191934464 45333 4294967295 134512640 134581267 3221224576 3221223520 134559179 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45333 566 18 0 46841 0
vsize: 187436
[startup+780.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 16123
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 607201 0 0 0 76904 1108 0 0 25 0 1 0 797822184 191934464 45333 4294967295 134512640 134581267 3221224576 3221223440 134528380 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45333 566 18 0 46841 0
vsize: 187436
[startup+790.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 16123
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 607201 0 0 0 77905 1108 0 0 25 0 1 0 797822184 191934464 45333 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45333 566 18 0 46841 0
vsize: 187436
[startup+800.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 16123
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 607201 0 0 0 78905 1108 0 0 25 0 1 0 797822184 191934464 45333 4294967295 134512640 134581267 3221224576 3221223488 134528040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45333 566 18 0 46841 0
vsize: 187436
[startup+810.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 16123
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 607202 0 0 0 79904 1108 0 0 25 0 1 0 797822184 191934464 45334 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45334 566 18 0 46841 0
vsize: 187436
[startup+820.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 16123
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 607202 0 0 0 80904 1109 0 0 25 0 1 0 797822184 191934464 45334 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45334 566 18 0 46841 0
vsize: 187436
[startup+830.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 16123
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 607202 0 0 0 81904 1109 0 0 25 0 1 0 797822184 191934464 45334 4294967295 134512640 134581267 3221224576 3221223488 134527434 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45334 566 18 0 46841 0
vsize: 187436
[startup+840.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 16123
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 607202 0 0 0 82904 1109 0 0 25 0 1 0 797822184 191934464 45334 4294967295 134512640 134581267 3221224576 3221223488 134527459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45334 566 18 0 46841 0
vsize: 187436
[startup+850.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 16123
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 607202 0 0 0 83904 1109 0 0 25 0 1 0 797822184 191934464 45334 4294967295 134512640 134581267 3221224576 3221223488 134527445 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45334 566 18 0 46841 0
vsize: 187436
[startup+860.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 16123
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 607202 0 0 0 84905 1109 0 0 25 0 1 0 797822184 191934464 45334 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45334 566 18 0 46841 0
vsize: 187436
[startup+870.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 16123
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 607202 0 0 0 85904 1110 0 0 25 0 1 0 797822184 191934464 45334 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45334 566 18 0 46841 0
vsize: 187436
[startup+880.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 16123
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 607202 0 0 0 86904 1110 0 0 25 0 1 0 797822184 191934464 45334 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45334 566 18 0 46841 0
vsize: 187436
[startup+890.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 16123
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 607202 0 0 0 87904 1110 0 0 25 0 1 0 797822184 191934464 45334 4294967295 134512640 134581267 3221224576 3221223488 134527695 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45334 566 18 0 46841 0
vsize: 187436
[startup+900.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 16123
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 607202 0 0 0 88904 1111 0 0 25 0 1 0 797822184 191934464 45334 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45334 566 18 0 46841 0
vsize: 187436
[startup+910.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 16123
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 607202 0 0 0 89904 1111 0 0 25 0 1 0 797822184 191934464 45334 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45334 566 18 0 46841 0
vsize: 187436
[startup+920.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 16123
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 607202 0 0 0 90904 1111 0 0 25 0 1 0 797822184 191934464 45334 4294967295 134512640 134581267 3221224576 3221223488 134527513 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45334 566 18 0 46841 0
vsize: 187436
[startup+930.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 16123
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 607202 0 0 0 91904 1112 0 0 25 0 1 0 797822184 191934464 45334 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45334 566 18 0 46841 0
vsize: 187436
[startup+940.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 16123
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 607202 0 0 0 92904 1112 0 0 25 0 1 0 797822184 191934464 45334 4294967295 134512640 134581267 3221224576 3221223488 134527442 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45334 566 18 0 46841 0
vsize: 187436
[startup+950.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 16123
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 607202 0 0 0 93904 1112 0 0 25 0 1 0 797822184 191934464 45334 4294967295 134512640 134581267 3221224576 3221223488 134528047 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45334 566 18 0 46841 0
vsize: 187436
[startup+960.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 16123
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 607202 0 0 0 94904 1112 0 0 25 0 1 0 797822184 191934464 45334 4294967295 134512640 134581267 3221224576 3221223488 134527703 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45334 566 18 0 46841 0
vsize: 187436
[startup+970.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 16123
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 607202 0 0 0 95904 1112 0 0 25 0 1 0 797822184 191934464 45334 4294967295 134512640 134581267 3221224576 3221223440 134528284 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45334 566 18 0 46841 0
vsize: 187436
[startup+980.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 16123
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 607202 0 0 0 96904 1112 0 0 25 0 1 0 797822184 191934464 45334 4294967295 134512640 134581267 3221224576 3221223488 134527955 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45334 566 18 0 46841 0
vsize: 187436
[startup+990.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 16123
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 607202 0 0 0 97904 1113 0 0 25 0 1 0 797822184 191934464 45334 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45334 566 18 0 46841 0
vsize: 187436
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 16123
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 607202 0 0 0 98904 1113 0 0 25 0 1 0 797822184 191934464 45334 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45334 566 18 0 46841 0
vsize: 187436
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 16123
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 607202 0 0 0 99904 1113 0 0 25 0 1 0 797822184 191934464 45334 4294967295 134512640 134581267 3221224576 3221223488 134527701 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45334 566 18 0 46841 0
vsize: 187436
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 16123
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 607202 0 0 0 100903 1113 0 0 25 0 1 0 797822184 191934464 45334 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45334 566 18 0 46841 0
vsize: 187436
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 16123
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 607202 0 0 0 101903 1114 0 0 25 0 1 0 797822184 191934464 45334 4294967295 134512640 134581267 3221224576 3221223488 134527459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45334 566 18 0 46841 0
vsize: 187436
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 16123
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 607202 0 0 0 102903 1114 0 0 25 0 1 0 797822184 191934464 45334 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45334 566 18 0 46841 0
vsize: 187436
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 16123
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 607202 0 0 0 103903 1114 0 0 25 0 1 0 797822184 191934464 45334 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45334 566 18 0 46841 0
vsize: 187436
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 16123
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 607202 0 0 0 104903 1115 0 0 25 0 1 0 797822184 191934464 45334 4294967295 134512640 134581267 3221224576 3221223488 134528053 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45334 566 18 0 46841 0
vsize: 187436
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 16123
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 607202 0 0 0 105903 1115 0 0 25 0 1 0 797822184 191934464 45334 4294967295 134512640 134581267 3221224576 3221223488 134528047 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45334 566 18 0 46841 0
vsize: 187436
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 16123
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 607202 0 0 0 106903 1115 0 0 25 0 1 0 797822184 191934464 45334 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45334 566 18 0 46841 0
vsize: 187436
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 16123
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 607202 0 0 0 107903 1115 0 0 25 0 1 0 797822184 191934464 45334 4294967295 134512640 134581267 3221224576 3221223488 134528040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45334 566 18 0 46841 0
vsize: 187436
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 16123
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 607202 0 0 0 108903 1116 0 0 25 0 1 0 797822184 191934464 45334 4294967295 134512640 134581267 3221224576 3221223472 134517764 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45334 566 18 0 46841 0
vsize: 187436
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 16123
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 607202 0 0 0 109903 1116 0 0 25 0 1 0 797822184 191934464 45334 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45334 566 18 0 46841 0
vsize: 187436
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 16123
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 607202 0 0 0 110903 1116 0 0 25 0 1 0 797822184 191934464 45334 4294967295 134512640 134581267 3221224576 3221223488 134527531 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45334 566 18 0 46841 0
vsize: 187436
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 16123
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 607202 0 0 0 111903 1116 0 0 25 0 1 0 797822184 191934464 45334 4294967295 134512640 134581267 3221224576 3221223488 134527687 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45334 566 18 0 46841 0
vsize: 187436
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 16123
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 607202 0 0 0 112903 1116 0 0 25 0 1 0 797822184 191934464 45334 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45334 566 18 0 46841 0
vsize: 187436
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 16123
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 607202 0 0 0 113903 1117 0 0 25 0 1 0 797822184 191934464 45334 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45334 566 18 0 46841 0
vsize: 187436
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 16123
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 607202 0 0 0 114903 1117 0 0 25 0 1 0 797822184 191934464 45334 4294967295 134512640 134581267 3221224576 3221223440 134528284 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45334 566 18 0 46841 0
vsize: 187436
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 16123
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 607202 0 0 0 115903 1117 0 0 25 0 1 0 797822184 191934464 45334 4294967295 134512640 134581267 3221224576 3221223488 134528053 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45334 566 18 0 46841 0
vsize: 187436
[startup+1180.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 16123
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 607202 0 0 0 116903 1117 0 0 25 0 1 0 797822184 191934464 45334 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45334 566 18 0 46841 0
vsize: 187436
[startup+1190.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 16123
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 607202 0 0 0 117903 1117 0 0 25 0 1 0 797822184 191934464 45334 4294967295 134512640 134581267 3221224576 3221223488 134527701 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45334 566 18 0 46841 0
vsize: 187436
[startup+1200.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 16123
Raw data (stat): 16121 (Pueblo-v2) R 16120 8378 8377 0 -1 0 607202 0 0 0 118902 1118 0 0 25 0 1 0 797822184 191934464 45334 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45334 566 18 0 46841 0
vsize: 187436
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.11 s]
Raw data (loadavg): 0.99 0.98 0.91 1/55 16123
Raw data (stat): 16121 (Pueblo-v2) Z 16120 8378 8377 0 -1 1036 607202 0 0 0 118902 1126 0 0 25 0 1 0 797822184 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.11
CPU time (s): 1200.29
CPU user time (s): 1189.03
CPU system time (s): 11.2673
CPU usage (%): 100.015
Max. virtual memory (Kb): 221344
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####