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/miplib3/normalized-mps-v2-13-7-rout.opb
MD5SUM	43b060c182b659f22c02b8a980d1ee8f
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1221280
Optimality of the best value was proved	NO
Number of terms in the objective function	21
Biggest coefficient in the objective function	1048576
Number of bits for the biggest coefficient in the objective function	21
Sum of the numbers in the objective function	2097151
Number of bits of the sum of numbers in the objective function	21
Biggest number in a constraint	33812000
Number of bits of the biggest number in a constraint	26
Biggest sum of numbers in a constraint	166074535
Number of bits of the biggest sum of numbers	28
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1569.48
Number of variables	5151
Total number of constraints	606
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	314
Number of constraints which are nor clauses,nor cardinality constraints	292
Minimum length of a constraint	1
Maximum length of a constraint	617
Trace number 39262

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-03 00:57:27 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27323 boxname=wulflinc2 idbench=1451 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  43b060c182b659f22c02b8a980d1ee8f  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-rout.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-rout.opb
IDLAUNCH: 27323
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        409792 kB
Buffers:         31676 kB
Cached:         570460 kB
SwapCached:       1160 kB
Active:          57052 kB
Inactive:       547536 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        409540 kB
SwapTotal:     2097136 kB
SwapFree:      2095024 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5052 kB
Slab:            14412 kB
Committed_AS:    71752 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-03 01:17:29 (client local time) WITH STATUS 0 IN 1200.19 SECONDS
stats: 27323 7 1200.19 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.65 0.89 0.89 1/54 2508
Raw data (stat): 2508 (runsolver) R 2507 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 854286587 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.001 s]
Raw data (loadavg): 0.70 0.90 0.89 2/54 2508
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 1351 0 0 0 995 3 0 0 25 0 1 0 854286587 11284480 1325 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2755 1325 566 18 0 2737 0
vsize: 11020
[startup+20.0013 s]
Raw data (loadavg): 0.75 0.90 0.89 2/54 2508
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 1485 0 0 0 1995 4 0 0 25 0 1 0 854286587 11939840 1459 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2915 1459 566 18 0 2897 0
vsize: 11660
[startup+30.0014 s]
Raw data (loadavg): 0.79 0.90 0.89 2/54 2508
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 1526 0 0 0 2995 4 0 0 25 0 1 0 854286587 12070912 1500 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2947 1500 566 18 0 2929 0
vsize: 11788
[startup+40.0021 s]
Raw data (loadavg): 0.82 0.91 0.89 2/54 2508
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 1540 0 0 0 3995 4 0 0 25 0 1 0 854286587 12070912 1514 4294967295 134512640 134581267 3221224576 3221223488 134527768 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2947 1514 566 18 0 2929 0
vsize: 11788
[startup+50.0024 s]
Raw data (loadavg): 0.85 0.91 0.89 2/54 2508
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 1572 0 0 0 4995 5 0 0 25 0 1 0 854286587 12201984 1546 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2979 1546 566 18 0 2961 0
vsize: 11916
[startup+60.0035 s]
Raw data (loadavg): 0.87 0.91 0.89 2/54 2508
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 1572 0 0 0 5995 5 0 0 25 0 1 0 854286587 12201984 1546 4294967295 134512640 134581267 3221224576 3221223504 134519958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2979 1546 566 18 0 2961 0
vsize: 11916
[startup+70.0042 s]
Raw data (loadavg): 0.89 0.91 0.89 2/54 2508
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 1602 0 0 0 6994 5 0 0 25 0 1 0 854286587 12333056 1576 4294967295 134512640 134581267 3221224576 3221223488 134527776 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3011 1576 566 18 0 2993 0
vsize: 12044
[startup+80.0045 s]
Raw data (loadavg): 0.91 0.92 0.89 2/54 2508
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 1602 0 0 0 7994 5 0 0 25 0 1 0 854286587 12333056 1576 4294967295 134512640 134581267 3221224576 3221223488 134527445 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3011 1576 566 18 0 2993 0
vsize: 12044
[startup+90.0046 s]
Raw data (loadavg): 0.92 0.92 0.89 2/54 2508
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 1635 0 0 0 8994 5 0 0 25 0 1 0 854286587 12464128 1609 4294967295 134512640 134581267 3221224576 3221223568 134561104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3043 1609 566 18 0 3025 0
vsize: 12172
[startup+100.004 s]
Raw data (loadavg): 0.93 0.92 0.90 2/54 2508
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 1642 0 0 0 9994 6 0 0 25 0 1 0 854286587 12595200 1616 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3075 1616 566 18 0 3057 0
vsize: 12300
[startup+110.005 s]
Raw data (loadavg): 0.94 0.92 0.90 2/54 2508
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 1714 0 0 0 10993 6 0 0 25 0 1 0 854286587 12857344 1688 4294967295 134512640 134581267 3221224576 3221223488 134527935 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3139 1688 566 18 0 3121 0
vsize: 12556
[startup+120.006 s]
Raw data (loadavg): 0.95 0.92 0.90 2/54 2508
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 1714 0 0 0 11993 7 0 0 25 0 1 0 854286587 12832768 1688 4294967295 134512640 134581267 3221224576 3221223440 134528229 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3133 1688 566 18 0 3115 0
vsize: 12532
[startup+130.005 s]
Raw data (loadavg): 0.96 0.93 0.90 2/54 2508
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 1733 0 0 0 12993 7 0 0 25 0 1 0 854286587 12963840 1707 4294967295 134512640 134581267 3221224576 3221223488 134527418 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3165 1707 566 18 0 3147 0
vsize: 12660
[startup+140.006 s]
Raw data (loadavg): 0.96 0.93 0.90 2/54 2508
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 1739 0 0 0 13993 7 0 0 25 0 1 0 854286587 12963840 1713 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3165 1713 566 18 0 3147 0
vsize: 12660
[startup+150.006 s]
Raw data (loadavg): 0.97 0.93 0.90 2/54 2508
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 1759 0 0 0 14993 7 0 0 25 0 1 0 854286587 12963840 1733 4294967295 134512640 134581267 3221224576 3221223488 134528042 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3165 1733 566 18 0 3147 0
vsize: 12660
[startup+160.007 s]
Raw data (loadavg): 0.97 0.93 0.90 3/58 2553
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 1775 0 0 0 15992 8 0 0 25 0 1 0 854286587 13094912 1749 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3197 1749 566 18 0 3179 0
vsize: 12788
[startup+170.007 s]
Raw data (loadavg): 1.05 0.95 0.91 2/54 2561
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 1787 0 0 0 16992 8 0 0 25 0 1 0 854286587 13094912 1761 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3197 1761 566 18 0 3179 0
vsize: 12788
[startup+180.006 s]
Raw data (loadavg): 1.04 0.95 0.91 2/54 2561
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 1812 0 0 0 17992 8 0 0 25 0 1 0 854286587 13225984 1786 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3229 1786 566 18 0 3211 0
vsize: 12916
[startup+190.007 s]
Raw data (loadavg): 1.04 0.95 0.91 2/54 2561
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 1812 0 0 0 18992 8 0 0 25 0 1 0 854286587 13225984 1786 4294967295 134512640 134581267 3221224576 3221223488 134527935 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3229 1786 566 18 0 3211 0
vsize: 12916
[startup+200.007 s]
Raw data (loadavg): 1.03 0.95 0.91 2/54 2561
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 1812 0 0 0 19992 8 0 0 25 0 1 0 854286587 13152256 1779 4294967295 134512640 134581267 3221224576 3221223488 134527712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3211 1779 566 18 0 3193 0
vsize: 12844
[startup+210.007 s]
Raw data (loadavg): 1.02 0.95 0.91 2/54 2561
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 1836 0 0 0 20992 8 0 0 25 0 1 0 854286587 13283328 1803 4294967295 134512640 134581267 3221224576 3221223488 134527429 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3243 1803 566 18 0 3225 0
vsize: 12972
[startup+220.007 s]
Raw data (loadavg): 1.02 0.95 0.91 2/54 2561
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 1836 0 0 0 21992 8 0 0 25 0 1 0 854286587 13283328 1803 4294967295 134512640 134581267 3221224576 3221223488 134527729 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3243 1803 566 18 0 3225 0
vsize: 12972
[startup+230.007 s]
Raw data (loadavg): 1.02 0.96 0.91 2/54 2563
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 1836 0 0 0 22992 9 0 0 25 0 1 0 854286587 13283328 1803 4294967295 134512640 134581267 3221224576 3221223492 1075285501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3243 1803 566 18 0 3225 0
vsize: 12972
[startup+240.007 s]
Raw data (loadavg): 1.01 0.96 0.91 2/54 2563
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 1836 0 0 0 23993 9 0 0 25 0 1 0 854286587 13246464 1802 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3234 1802 566 18 0 3216 0
vsize: 12936
[startup+250.006 s]
Raw data (loadavg): 1.01 0.96 0.91 2/54 2563
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 1836 0 0 0 24993 9 0 0 25 0 1 0 854286587 13246464 1802 4294967295 134512640 134581267 3221224576 3221223488 134527504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3234 1802 566 18 0 3216 0
vsize: 12936
[startup+260.007 s]
Raw data (loadavg): 1.01 0.96 0.91 2/54 2563
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 1836 0 0 0 25993 9 0 0 25 0 1 0 854286587 13246464 1802 4294967295 134512640 134581267 3221224576 3221223440 134528246 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3234 1802 566 18 0 3216 0
vsize: 12936
[startup+270.007 s]
Raw data (loadavg): 1.01 0.96 0.91 2/54 2563
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 1878 0 0 0 26993 9 0 0 25 0 1 0 854286587 13508608 1844 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3298 1844 566 18 0 3280 0
vsize: 13192
[startup+280.006 s]
Raw data (loadavg): 1.01 0.96 0.91 2/54 2563
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 1939 0 0 0 27993 9 0 0 25 0 1 0 854286587 13770752 1905 4294967295 134512640 134581267 3221224576 3221223488 134527935 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3362 1905 566 18 0 3344 0
vsize: 13448
[startup+290.007 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 2563
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 1939 0 0 0 28993 9 0 0 25 0 1 0 854286587 13770752 1905 4294967295 134512640 134581267 3221224576 3221223488 134527416 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3362 1905 566 18 0 3344 0
vsize: 13448
[startup+300.007 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 2563
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 1939 0 0 0 29993 9 0 0 25 0 1 0 854286587 13762560 1905 4294967295 134512640 134581267 3221224576 3221223488 134527504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3360 1905 566 18 0 3342 0
vsize: 13440
[startup+310.006 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 2563
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 1939 0 0 0 30994 9 0 0 25 0 1 0 854286587 13762560 1905 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3360 1905 566 18 0 3342 0
vsize: 13440
[startup+320.006 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 2563
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 1939 0 0 0 31994 9 0 0 25 0 1 0 854286587 13762560 1905 4294967295 134512640 134581267 3221224576 3221223488 134527935 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3360 1905 566 18 0 3342 0
vsize: 13440
[startup+330.006 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 2563
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 1939 0 0 0 32994 9 0 0 25 0 1 0 854286587 13762560 1905 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3360 1905 566 18 0 3342 0
vsize: 13440
[startup+340.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 2563
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 1939 0 0 0 33994 9 0 0 25 0 1 0 854286587 13762560 1905 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3360 1905 566 18 0 3342 0
vsize: 13440
[startup+350.006 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 2563
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 1939 0 0 0 34994 9 0 0 25 0 1 0 854286587 13762560 1905 4294967295 134512640 134581267 3221224576 3221223504 134519803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3360 1905 566 18 0 3342 0
vsize: 13440
[startup+360.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 2563
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 1939 0 0 0 35994 9 0 0 25 0 1 0 854286587 13762560 1905 4294967295 134512640 134581267 3221224576 3221223488 134528053 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3360 1905 566 18 0 3342 0
vsize: 13440
[startup+370.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 2563
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 1939 0 0 0 36994 9 0 0 25 0 1 0 854286587 13762560 1905 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3360 1905 566 18 0 3342 0
vsize: 13440
[startup+380.006 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 2563
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 1939 0 0 0 37995 9 0 0 25 0 1 0 854286587 13762560 1905 4294967295 134512640 134581267 3221224576 3221223368 1075289299 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3360 1905 566 18 0 3342 0
vsize: 13440
[startup+390.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 2563
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 1939 0 0 0 38995 9 0 0 25 0 1 0 854286587 13762560 1905 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3360 1905 566 18 0 3342 0
vsize: 13440
[startup+400.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 2563
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 1940 0 0 0 39995 9 0 0 25 0 1 0 854286587 13762560 1906 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3360 1906 566 18 0 3342 0
vsize: 13440
[startup+410.006 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 2563
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 1951 0 0 0 40995 9 0 0 25 0 1 0 854286587 13762560 1917 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3360 1917 566 18 0 3342 0
vsize: 13440
[startup+420.006 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 2563
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 1951 0 0 0 41995 9 0 0 25 0 1 0 854286587 13762560 1917 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3360 1917 566 18 0 3342 0
vsize: 13440
[startup+430.006 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 2563
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 1967 0 0 0 42995 9 0 0 25 0 1 0 854286587 13893632 1933 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3392 1933 566 18 0 3374 0
vsize: 13568
[startup+440.006 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 2563
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 1967 0 0 0 43996 9 0 0 25 0 1 0 854286587 13893632 1933 4294967295 134512640 134581267 3221224576 3221223488 134528047 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3392 1933 566 18 0 3374 0
vsize: 13568
[startup+450.006 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 2563
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 1984 0 0 0 44995 9 0 0 25 0 1 0 854286587 13893632 1950 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3392 1950 566 18 0 3374 0
vsize: 13568
[startup+460.006 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 2563
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 1986 0 0 0 45996 9 0 0 25 0 1 0 854286587 13893632 1952 4294967295 134512640 134581267 3221224576 3221223488 134527445 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3392 1952 566 18 0 3374 0
vsize: 13568
[startup+470.006 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 2563
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 1993 0 0 0 46996 9 0 0 25 0 1 0 854286587 13893632 1959 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3392 1959 566 18 0 3374 0
vsize: 13568
[startup+480.005 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 2563
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 1993 0 0 0 47996 9 0 0 25 0 1 0 854286587 13893632 1959 4294967295 134512640 134581267 3221224576 3221223488 134527695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3392 1959 566 18 0 3374 0
vsize: 13568
[startup+490.005 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 2563
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 1998 0 0 0 48996 9 0 0 25 0 1 0 854286587 14024704 1964 4294967295 134512640 134581267 3221224576 3221223488 134527712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3424 1964 566 18 0 3406 0
vsize: 13696
[startup+500.005 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 2563
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 1998 0 0 0 49996 9 0 0 25 0 1 0 854286587 13910016 1964 4294967295 134512640 134581267 3221224576 3221223488 134527429 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3396 1964 566 18 0 3378 0
vsize: 13584
[startup+510.005 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 2563
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 2017 0 0 0 50996 9 0 0 25 0 1 0 854286587 14041088 1983 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3428 1983 566 18 0 3410 0
vsize: 13712
[startup+520.004 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 2563
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 2033 0 0 0 51996 9 0 0 25 0 1 0 854286587 14172160 1999 4294967295 134512640 134581267 3221224576 3221223488 134528053 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3460 1999 566 18 0 3442 0
vsize: 13840
[startup+530.004 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 2565
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 2062 0 0 0 52997 9 0 0 25 0 1 0 854286587 14172160 2028 4294967295 134512640 134581267 3221224576 3221223488 134527459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3460 2028 566 18 0 3442 0
vsize: 13840
[startup+540.004 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 2565
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 2079 0 0 0 53997 10 0 0 25 0 1 0 854286587 14303232 2045 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3492 2045 566 18 0 3474 0
vsize: 13968
[startup+550.003 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 2565
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 2125 0 0 0 54996 10 0 0 25 0 1 0 854286587 14434304 2091 4294967295 134512640 134581267 3221224576 3221223472 134517927 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3524 2091 566 18 0 3506 0
vsize: 14096
[startup+560.003 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 2565
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 2155 0 0 0 55996 10 0 0 25 0 1 0 854286587 14565376 2121 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3556 2121 566 18 0 3538 0
vsize: 14224
[startup+570.003 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 2565
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 2155 0 0 0 56997 10 0 0 25 0 1 0 854286587 14368768 2077 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3508 2077 566 18 0 3490 0
vsize: 14032
[startup+580.002 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 2565
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 2155 0 0 0 57997 10 0 0 25 0 1 0 854286587 14368768 2077 4294967295 134512640 134581267 3221224576 3221223488 134528042 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3508 2077 566 18 0 3490 0
vsize: 14032
[startup+590.002 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 2565
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 2155 0 0 0 58997 10 0 0 25 0 1 0 854286587 14368768 2077 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3508 2077 566 18 0 3490 0
vsize: 14032
[startup+600.002 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 2565
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 2155 0 0 0 59997 10 0 0 25 0 1 0 854286587 14299136 2060 4294967295 134512640 134581267 3221224576 3221223488 134527429 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3491 2060 566 18 0 3473 0
vsize: 13964
[startup+610.001 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 2565
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 2155 0 0 0 60997 10 0 0 25 0 1 0 854286587 14299136 2060 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3491 2060 566 18 0 3473 0
vsize: 13964
[startup+620.001 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 2565
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 2155 0 0 0 61997 10 0 0 25 0 1 0 854286587 14299136 2060 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3491 2060 566 18 0 3473 0
vsize: 13964
[startup+630.001 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 2565
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 2155 0 0 0 62997 10 0 0 25 0 1 0 854286587 14299136 2060 4294967295 134512640 134581267 3221224576 3221223488 134527445 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3491 2060 566 18 0 3473 0
vsize: 13964
[startup+640.002 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 2565
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 2155 0 0 0 63998 10 0 0 25 0 1 0 854286587 14299136 2060 4294967295 134512640 134581267 3221224576 3221223488 134527451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3491 2060 566 18 0 3473 0
vsize: 13964
[startup+650.001 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 2565
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 2156 0 0 0 64998 10 0 0 25 0 1 0 854286587 14430208 2061 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3523 2061 566 18 0 3505 0
vsize: 14092
[startup+660.001 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 2565
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 2156 0 0 0 65998 10 0 0 25 0 1 0 854286587 14430208 2061 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3523 2061 566 18 0 3505 0
vsize: 14092
[startup+670.002 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 2565
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 2162 0 0 0 66998 10 0 0 25 0 1 0 854286587 14430208 2067 4294967295 134512640 134581267 3221224576 3221223488 134527525 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3523 2067 566 18 0 3505 0
vsize: 14092
[startup+680.001 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 2565
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 2162 0 0 0 67998 10 0 0 25 0 1 0 854286587 14430208 2067 4294967295 134512640 134581267 3221224576 3221223488 134527737 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3523 2067 566 18 0 3505 0
vsize: 14092
[startup+690.001 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 2565
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 2198 0 0 0 68999 10 0 0 25 0 1 0 854286587 14561280 2103 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3555 2103 566 18 0 3537 0
vsize: 14220
[startup+700.002 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 2565
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 2198 0 0 0 69999 10 0 0 25 0 1 0 854286587 14561280 2103 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3555 2103 566 18 0 3537 0
vsize: 14220
[startup+710.001 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 2565
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 2198 0 0 0 70999 10 0 0 25 0 1 0 854286587 14413824 2088 4294967295 134512640 134581267 3221224576 3221223488 134528053 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3519 2088 566 18 0 3501 0
vsize: 14076
[startup+720.001 s]
Raw data (loadavg): 1.00 0.97 0.91 3/54 2565
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 2198 0 0 0 71999 10 0 0 25 0 1 0 854286587 14413824 2088 4294967295 134512640 134581267 3221224576 3221223488 134527779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3519 2088 566 18 0 3501 0
vsize: 14076
[startup+730.001 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 2565
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 2198 0 0 0 72999 10 0 0 25 0 1 0 854286587 14413824 2088 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3519 2088 566 18 0 3501 0
vsize: 14076
[startup+740.001 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 2565
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 2198 0 0 0 73999 10 0 0 25 0 1 0 854286587 14413824 2088 4294967295 134512640 134581267 3221224576 3221223488 134527703 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3519 2088 566 18 0 3501 0
vsize: 14076
[startup+750.002 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 2565
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 2198 0 0 0 74999 11 0 0 25 0 1 0 854286587 14413824 2088 4294967295 134512640 134581267 3221224576 3221223504 134520076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3519 2088 566 18 0 3501 0
vsize: 14076
[startup+760.002 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 2565
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 2198 0 0 0 75999 11 0 0 25 0 1 0 854286587 14413824 2088 4294967295 134512640 134581267 3221224576 3221223488 134527418 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3519 2088 566 18 0 3501 0
vsize: 14076
[startup+770.003 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 2565
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 2198 0 0 0 76999 11 0 0 25 0 1 0 854286587 14413824 2088 4294967295 134512640 134581267 3221224576 3221223488 134527418 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3519 2088 566 18 0 3501 0
vsize: 14076
[startup+780.002 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 2565
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 2198 0 0 0 77999 11 0 0 25 0 1 0 854286587 14413824 2088 4294967295 134512640 134581267 3221224576 3221223488 134527434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3519 2088 566 18 0 3501 0
vsize: 14076
[startup+790.002 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 2565
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 2198 0 0 0 78999 11 0 0 25 0 1 0 854286587 14413824 2088 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3519 2088 566 18 0 3501 0
vsize: 14076
[startup+800.002 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 2565
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 2198 0 0 0 79999 11 0 0 25 0 1 0 854286587 14413824 2088 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3519 2088 566 18 0 3501 0
vsize: 14076
[startup+810.002 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 2565
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 2198 0 0 0 81000 11 0 0 25 0 1 0 854286587 14413824 2088 4294967295 134512640 134581267 3221224576 3221223520 134558756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3519 2088 566 18 0 3501 0
vsize: 14076
[startup+820.001 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 2565
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 2198 0 0 0 82000 11 0 0 25 0 1 0 854286587 14413824 2088 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3519 2088 566 18 0 3501 0
vsize: 14076
[startup+830.001 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 2565
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 2213 0 0 0 83000 11 0 0 25 0 1 0 854286587 14544896 2103 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3551 2103 566 18 0 3533 0
vsize: 14204
[startup+840 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 2565
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 2215 0 0 0 84000 11 0 0 25 0 1 0 854286587 14544896 2105 4294967295 134512640 134581267 3221224576 3221223488 134527531 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3551 2105 566 18 0 3533 0
vsize: 14204
[startup+850 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 2565
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 2216 0 0 0 85000 11 0 0 25 0 1 0 854286587 14544896 2106 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3551 2106 566 18 0 3533 0
vsize: 14204
[startup+860.001 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 2565
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 2216 0 0 0 86000 11 0 0 25 0 1 0 854286587 14512128 2106 4294967295 134512640 134581267 3221224576 3221223472 134517862 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3543 2106 566 18 0 3525 0
vsize: 14172
[startup+870.001 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 2565
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 2216 0 0 0 87000 11 0 0 25 0 1 0 854286587 14512128 2106 4294967295 134512640 134581267 3221224576 3221223488 134527768 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3543 2106 566 18 0 3525 0
vsize: 14172
[startup+880 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 2565
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 2216 0 0 0 88001 11 0 0 25 0 1 0 854286587 14512128 2106 4294967295 134512640 134581267 3221224576 3221223488 134527418 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3543 2106 566 18 0 3525 0
vsize: 14172
[startup+890.001 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 2565
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 2222 0 0 0 89001 11 0 0 25 0 1 0 854286587 14512128 2112 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3543 2112 566 18 0 3525 0
vsize: 14172
[startup+900.001 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 2565
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 2222 0 0 0 90001 11 0 0 25 0 1 0 854286587 14508032 2111 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3542 2111 566 18 0 3524 0
vsize: 14168
[startup+910 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 2565
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 2224 0 0 0 91001 11 0 0 25 0 1 0 854286587 14508032 2111 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3542 2111 566 18 0 3524 0
vsize: 14168
[startup+920.001 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 2565
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 2224 0 0 0 92001 11 0 0 25 0 1 0 854286587 14508032 2111 4294967295 134512640 134581267 3221224576 3221223504 134519952 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3542 2111 566 18 0 3524 0
vsize: 14168
[startup+930.001 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 2565
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 2232 0 0 0 93001 12 0 0 25 0 1 0 854286587 14548992 2119 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3552 2119 566 18 0 3534 0
vsize: 14208
[startup+940.001 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 2565
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 2239 0 0 0 94002 12 0 0 25 0 1 0 854286587 14680064 2126 4294967295 134512640 134581267 3221224576 3221223488 134527429 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3584 2126 566 18 0 3566 0
vsize: 14336
[startup+950.001 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 2565
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 2239 0 0 0 95002 12 0 0 25 0 1 0 854286587 14680064 2126 4294967295 134512640 134581267 3221224576 3221223488 134527695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3584 2126 566 18 0 3566 0
vsize: 14336
[startup+960.001 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 2565
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 2239 0 0 0 96002 12 0 0 25 0 1 0 854286587 14606336 2126 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3566 2126 566 18 0 3548 0
vsize: 14264
[startup+970.001 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 2565
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 2239 0 0 0 97002 12 0 0 25 0 1 0 854286587 14606336 2126 4294967295 134512640 134581267 3221224576 3221223488 134527442 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3566 2126 566 18 0 3548 0
vsize: 14264
[startup+980 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 2565
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 2239 0 0 0 98002 12 0 0 25 0 1 0 854286587 14606336 2126 4294967295 134512640 134581267 3221224576 3221223488 134527418 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3566 2126 566 18 0 3548 0
vsize: 14264
[startup+990 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 2565
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 2240 0 0 0 99002 12 0 0 25 0 1 0 854286587 14606336 2127 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3566 2127 566 18 0 3548 0
vsize: 14264
[startup+1000 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 2565
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 2241 0 0 0 100002 12 0 0 25 0 1 0 854286587 14606336 2128 4294967295 134512640 134581267 3221224576 3221223504 134519947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3566 2128 566 18 0 3548 0
vsize: 14264
[startup+1010 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 2565
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 2243 0 0 0 101003 12 0 0 25 0 1 0 854286587 14606336 2130 4294967295 134512640 134581267 3221224576 3221223488 134527525 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3566 2130 566 18 0 3548 0
vsize: 14264
[startup+1020 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 2565
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 2249 0 0 0 102003 12 0 0 25 0 1 0 854286587 14737408 2136 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3598 2136 566 18 0 3580 0
vsize: 14392
[startup+1030 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 2565
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 2256 0 0 0 103003 12 0 0 25 0 1 0 854286587 14737408 2143 4294967295 134512640 134581267 3221224576 3221223488 134527513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3598 2143 566 18 0 3580 0
vsize: 14392
[startup+1040 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 2565
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 2256 0 0 0 104003 12 0 0 25 0 1 0 854286587 14737408 2143 4294967295 134512640 134581267 3221224576 3221223488 134527525 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3598 2143 566 18 0 3580 0
vsize: 14392
[startup+1050 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 2565
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 2256 0 0 0 105003 12 0 0 25 0 1 0 854286587 14737408 2143 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3598 2143 566 18 0 3580 0
vsize: 14392
[startup+1060 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 2565
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 2256 0 0 0 106003 12 0 0 25 0 1 0 854286587 14737408 2143 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3598 2143 566 18 0 3580 0
vsize: 14392
[startup+1070 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 2565
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 2256 0 0 0 107003 12 0 0 25 0 1 0 854286587 14704640 2143 4294967295 134512640 134581267 3221224576 3221223472 134517729 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3590 2143 566 18 0 3572 0
vsize: 14360
[startup+1080 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 2565
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 2256 0 0 0 108003 12 0 0 25 0 1 0 854286587 14667776 2143 4294967295 134512640 134581267 3221224576 3221223488 134527636 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3581 2143 566 18 0 3563 0
vsize: 14324
[startup+1090 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 2565
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 2256 0 0 0 109004 12 0 0 25 0 1 0 854286587 14667776 2143 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3581 2143 566 18 0 3563 0
vsize: 14324
[startup+1100 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 2565
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 2260 0 0 0 110004 12 0 0 25 0 1 0 854286587 14667776 2147 4294967295 134512640 134581267 3221224576 3221223488 134527451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3581 2147 566 18 0 3563 0
vsize: 14324
[startup+1110 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 2565
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 2260 0 0 0 111004 12 0 0 25 0 1 0 854286587 14667776 2147 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3581 2147 566 18 0 3563 0
vsize: 14324
[startup+1120 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 2565
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 2267 0 0 0 112004 12 0 0 25 0 1 0 854286587 14798848 2154 4294967295 134512640 134581267 3221224576 3221223488 134527692 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3613 2154 566 18 0 3595 0
vsize: 14452
[startup+1130 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 2565
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 2309 0 0 0 113004 12 0 0 25 0 1 0 854286587 14929920 2196 4294967295 134512640 134581267 3221224576 3221223488 134527768 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3645 2196 566 18 0 3627 0
vsize: 14580
[startup+1140 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 2565
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 2319 0 0 0 114004 12 0 0 25 0 1 0 854286587 14929920 2206 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3645 2206 566 18 0 3627 0
vsize: 14580
[startup+1150 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 2565
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 2319 0 0 0 115004 12 0 0 25 0 1 0 854286587 14839808 2192 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3623 2192 566 18 0 3605 0
vsize: 14492
[startup+1160 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 2565
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 2349 0 0 0 116004 12 0 0 25 0 1 0 854286587 14970880 2222 4294967295 134512640 134581267 3221224576 3221223488 134527504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3655 2222 566 18 0 3637 0
vsize: 14620
[startup+1170 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 2565
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 2349 0 0 0 117005 12 0 0 25 0 1 0 854286587 14970880 2222 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3655 2222 566 18 0 3637 0
vsize: 14620
[startup+1180 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 2565
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 2349 0 0 0 118005 12 0 0 25 0 1 0 854286587 14942208 2217 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3648 2217 566 18 0 3630 0
vsize: 14592
[startup+1190 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 2565
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 2349 0 0 0 119005 12 0 0 25 0 1 0 854286587 14667776 2150 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3581 2150 566 18 0 3563 0
vsize: 14324
[startup+1200 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 2565
Raw data (stat): 2508 (Pueblo-v2) R 2507 31399 31398 0 -1 0 2387 0 0 0 120005 13 0 0 25 0 1 0 854286587 14938112 2188 4294967295 134512640 134581267 3221224576 3221223488 134527776 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3647 2188 566 18 0 3629 0
vsize: 14588
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200 s]
Raw data (loadavg): 1.00 0.97 0.91 1/54 2565
Raw data (stat): 2508 (Pueblo-v2) Z 2507 31399 31398 0 -1 1036 2387 0 0 0 120005 13 0 0 25 0 1 0 854286587 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
CPU time (s): 1200.19
CPU user time (s): 1200.05
CPU system time (s): 0.135979
CPU usage (%): 100.015
Max. virtual memory (Kb): 14620
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####