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/milp/normalized-mps-v2-13-7-neos19.opb
MD5SUM	807e897c82c7100925712510cfaeeca1
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	1611
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	1611
Number of bits of the sum of numbers in the objective function	11
Biggest number in a constraint	3072
Number of bits of the biggest number in a constraint	12
Biggest sum of numbers in a constraint	12240
Number of bits of the biggest sum of numbers	14
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	760312
Total number of constraints	137871
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	10091
Number of constraints which are nor clauses,nor cardinality constraints	127780
Minimum length of a constraint	1
Maximum length of a constraint	268
Trace number 39323

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-03 03:30:39 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27383 boxname=wulflinc3 idbench=1511 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  807e897c82c7100925712510cfaeeca1  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-neos19.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-neos19.opb
IDLAUNCH: 27383
/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:        275168 kB
Buffers:         26024 kB
Cached:         710312 kB
SwapCached:        240 kB
Active:          71928 kB
Inactive:       666852 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        274916 kB
SwapTotal:     2097136 kB
SwapFree:      2096352 kB
Dirty:               0 kB
Writeback:           0 kB
Mapped:           6212 kB
Slab:            14840 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-03 03:50:53 (client local time) WITH STATUS 0 IN 1210.1 SECONDS
stats: 27383 7 1210.1 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.80 0.92 0.90 2/54 23070
Raw data (stat): 23070 (runsolver) R 23069 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 855194469 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.0004 s]
Raw data (loadavg): 0.83 0.93 0.90 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 11336 0 0 0 966 32 0 0 25 0 1 0 855194469 52125696 11311 4294967295 134512640 134581267 3221224576 3217028680 1075289077 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12726 11311 566 18 0 12708 0
vsize: 50904
[startup+20.0019 s]
Raw data (loadavg): 0.85 0.93 0.90 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 23910 0 0 0 1928 69 0 0 25 0 1 0 855194469 103550976 23885 4294967295 134512640 134581267 3221224576 3217028840 1075245165 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25281 23885 566 18 0 25263 0
vsize: 101124
[startup+30.0024 s]
Raw data (loadavg): 0.87 0.93 0.90 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 26486 0 0 0 2917 81 0 0 25 0 1 0 855194469 114053120 26461 4294967295 134512640 134581267 3221224576 3217028812 1075310602 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27845 26461 566 18 0 27827 0
vsize: 111380
[startup+40.0028 s]
Raw data (loadavg): 0.89 0.93 0.90 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 29137 0 0 0 3904 94 0 0 25 0 1 0 855194469 124964864 29112 4294967295 134512640 134581267 3221224576 3217028812 1075310607 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30509 29112 566 18 0 30491 0
vsize: 122036
[startup+50.0038 s]
Raw data (loadavg): 0.91 0.93 0.90 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 210472 0 0 0 4470 527 0 0 25 0 1 0 855194469 227655680 47460 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55580 47460 566 18 0 55562 0
vsize: 222320
[startup+60.0042 s]
Raw data (loadavg): 0.92 0.93 0.90 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 471926 0 0 0 4837 1160 0 0 25 0 1 0 855194469 227655680 47377 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55580 47377 566 18 0 55562 0
vsize: 222320
[startup+70.0055 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 733581 0 0 0 5211 1785 0 0 25 0 1 0 855194469 227655680 47496 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55580 47496 566 18 0 55562 0
vsize: 222320
[startup+80.0063 s]
Raw data (loadavg): 0.94 0.94 0.90 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 994743 0 0 0 5582 2414 0 0 25 0 1 0 855194469 227655680 47122 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55580 47122 566 18 0 55562 0
vsize: 222320
[startup+90.0066 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 1256857 0 0 0 5961 3035 0 0 25 0 1 0 855194469 227655680 46958 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55580 46958 566 18 0 55562 0
vsize: 222320
[startup+100.008 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 1519095 0 0 0 6329 3667 0 0 25 0 1 0 855194469 227655680 47659 4294967295 134512640 134581267 3221224576 3221223584 134531293 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55580 47659 566 18 0 55562 0
vsize: 222320
[startup+110.009 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 1781312 0 0 0 6698 4299 0 0 25 0 1 0 855194469 227655680 47597 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55580 47597 566 18 0 55562 0
vsize: 222320
[startup+120.01 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 2044598 0 0 0 7073 4923 0 0 25 0 1 0 855194469 227655680 47119 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55580 47119 566 18 0 55562 0
vsize: 222320
[startup+130.01 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 2308172 0 0 0 7451 5545 0 0 25 0 1 0 855194469 227655680 46927 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55580 46927 566 18 0 55562 0
vsize: 222320
[startup+140.011 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 2571603 0 0 0 7822 6174 0 0 25 0 1 0 855194469 227655680 47336 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55580 47336 566 18 0 55562 0
vsize: 222320
[startup+150.013 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 2834777 0 0 0 8196 6800 0 0 25 0 1 0 855194469 227655680 47488 4294967295 134512640 134581267 3221224576 3221223568 134531700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55580 47488 566 18 0 55562 0
vsize: 222320
[startup+160.013 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 3097823 0 0 0 8568 7428 0 0 25 0 1 0 855194469 227655680 47512 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55580 47512 566 18 0 55562 0
vsize: 222320
[startup+170.014 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 3360751 0 0 0 8933 8063 0 0 25 0 1 0 855194469 227655680 47418 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55580 47418 566 18 0 55562 0
vsize: 222320
[startup+180.014 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 3623962 0 0 0 9307 8689 0 0 25 0 1 0 855194469 227655680 47607 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55580 47607 566 18 0 55562 0
vsize: 222320
[startup+190.016 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 3887781 0 0 0 9672 9324 0 0 25 0 1 0 855194469 227655680 46918 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55580 46918 566 18 0 55562 0
vsize: 222320
[startup+200.017 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 4150801 0 0 0 10045 9951 0 0 25 0 1 0 855194469 227655680 47659 4294967295 134512640 134581267 3221224576 3221223584 134531292 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55580 47659 566 18 0 55562 0
vsize: 222320
[startup+210.018 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 4413566 0 0 0 10419 10577 0 0 25 0 1 0 855194469 227655680 47402 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55580 47402 566 18 0 55562 0
vsize: 222320
[startup+220.019 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 4675903 0 0 0 10790 11205 0 0 25 0 1 0 855194469 227655680 47460 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55580 47460 566 18 0 55562 0
vsize: 222320
[startup+230.02 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 4939124 0 0 0 11163 11833 0 0 25 0 1 0 855194469 227655680 47659 4294967295 134512640 134581267 3221224576 3221223584 134531292 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55580 47659 566 18 0 55562 0
vsize: 222320
[startup+240.02 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 5202523 0 0 0 11542 12453 0 0 25 0 1 0 855194469 227655680 47293 4294967295 134512640 134581267 3221224576 3221223568 134531700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55580 47293 566 18 0 55562 0
vsize: 222320
[startup+250.021 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 5465992 0 0 0 11911 13085 0 0 25 0 1 0 855194469 227655680 46997 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55580 46997 566 18 0 55562 0
vsize: 222320
[startup+260.022 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 5729904 0 0 0 12290 13705 0 0 25 0 1 0 855194469 227655680 47144 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55580 47144 566 18 0 55562 0
vsize: 222320
[startup+270.023 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 5993086 0 0 0 12668 14327 0 0 25 0 1 0 855194469 227655680 47305 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55580 47305 566 18 0 55562 0
vsize: 222320
[startup+280.023 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 6256267 0 0 0 13040 14955 0 0 25 0 1 0 855194469 227655680 47463 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55580 47463 566 18 0 55562 0
vsize: 222320
[startup+290.024 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 6519788 0 0 0 13411 15584 0 0 25 0 1 0 855194469 227655680 47219 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55580 47219 566 18 0 55562 0
vsize: 222320
[startup+300.024 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 6783250 0 0 0 13771 16224 0 0 25 0 1 0 855194469 227655680 47659 4294967295 134512640 134581267 3221224576 3221223584 134531292 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55580 47659 566 18 0 55562 0
vsize: 222320
[startup+310.025 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 7046272 0 0 0 14145 16850 0 0 25 0 1 0 855194469 224612352 46916 4294967295 134512640 134581267 3221224576 3221223544 1075710225 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 54837 46916 566 18 0 54819 0
vsize: 219348
[startup+320.026 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 7308824 0 0 0 14517 17479 0 0 25 0 1 0 855194469 227655680 47189 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55580 47189 566 18 0 55562 0
vsize: 222320
[startup+330.027 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 7570413 0 0 0 14884 18111 0 0 25 0 1 0 855194469 227655680 47243 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55580 47243 566 18 0 55562 0
vsize: 222320
[startup+340.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 7832539 0 0 0 15254 18741 0 0 25 0 1 0 855194469 227655680 47089 4294967295 134512640 134581267 3221224576 3221223568 134531700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55580 47089 566 18 0 55562 0
vsize: 222320
[startup+350.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 8095279 0 0 0 15623 19372 0 0 25 0 1 0 855194469 227655680 47550 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55580 47550 566 18 0 55562 0
vsize: 222320
[startup+360.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 8358411 0 0 0 16001 19994 0 0 25 0 1 0 855194469 227655680 47660 4294967295 134512640 134581267 3221224576 3221223584 134531292 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55580 47660 566 18 0 55562 0
vsize: 222320
[startup+370.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 8621402 0 0 0 16377 20618 0 0 25 0 1 0 855194469 227655680 47629 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55580 47629 566 18 0 55562 0
vsize: 222320
[startup+380.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 8883631 0 0 0 16758 21237 0 0 25 0 1 0 855194469 227655680 47579 4294967295 134512640 134581267 3221224576 3221223568 134531696 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55580 47579 566 18 0 55562 0
vsize: 222320
[startup+390.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 9145521 0 0 0 17127 21867 0 0 25 0 1 0 855194469 227655680 47190 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55580 47190 566 18 0 55562 0
vsize: 222320
[startup+400.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 9407585 0 0 0 17496 22499 0 0 25 0 1 0 855194469 227655680 46975 4294967295 134512640 134581267 3221224576 3221223568 134531700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55580 46975 566 18 0 55562 0
vsize: 222320
[startup+410.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 9669810 0 0 0 17868 23127 0 0 25 0 1 0 855194469 227655680 46921 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55580 46921 566 18 0 55562 0
vsize: 222320
[startup+420.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 9932085 0 0 0 18237 23758 0 0 25 0 1 0 855194469 227655680 47660 4294967295 134512640 134581267 3221224576 3221223584 134531293 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55580 47660 566 18 0 55562 0
vsize: 222320
[startup+430.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 10194434 0 0 0 18617 24378 0 0 25 0 1 0 855194469 227655680 46987 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55580 46987 566 18 0 55562 0
vsize: 222320
[startup+440.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 10457276 0 0 0 18987 25008 0 0 25 0 1 0 855194469 227655680 47550 4294967295 134512640 134581267 3221224576 3221223568 134531696 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55580 47550 566 18 0 55562 0
vsize: 222320
[startup+450.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 10719986 0 0 0 19356 25639 0 0 25 0 1 0 855194469 227655680 47238 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55580 47238 566 18 0 55562 0
vsize: 222320
[startup+460.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 10982291 0 0 0 19724 26270 0 0 25 0 1 0 855194469 227655680 47264 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55580 47264 566 18 0 55562 0
vsize: 222320
[startup+470.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 11244966 0 0 0 20091 26903 0 0 25 0 1 0 855194469 227655680 47660 4294967295 134512640 134581267 3221224576 3221223584 134531292 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55580 47660 566 18 0 55562 0
vsize: 222320
[startup+480.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 11507397 0 0 0 20463 27532 0 0 25 0 1 0 855194469 227655680 47069 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55580 47069 566 18 0 55562 0
vsize: 222320
[startup+490.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 11769548 0 0 0 20836 28159 0 0 25 0 1 0 855194469 227655680 46941 4294967295 134512640 134581267 3221224576 3221223568 134531700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55580 46941 566 18 0 55562 0
vsize: 222320
[startup+500.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 12031331 0 0 0 21205 28790 0 0 25 0 1 0 855194469 227655680 47188 4294967295 134512640 134581267 3221224576 3221223568 134531692 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55580 47188 566 18 0 55562 0
vsize: 222320
[startup+510.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 12293546 0 0 0 21575 29420 0 0 25 0 1 0 855194469 227831808 47124 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55623 47124 566 18 0 55605 0
vsize: 222492
[startup+520.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 12555620 0 0 0 21953 30042 0 0 25 0 1 0 855194469 224788480 46919 4294967295 134512640 134581267 3221224576 3221223544 1075710225 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 54880 46919 566 18 0 54862 0
vsize: 219520
[startup+530.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 12817832 0 0 0 22329 30666 0 0 25 0 1 0 855194469 227831808 47595 4294967295 134512640 134581267 3221224576 3221223568 134531696 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55623 47595 566 18 0 55605 0
vsize: 222492
[startup+540.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 13079652 0 0 0 22702 31293 0 0 25 0 1 0 855194469 227831808 47136 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55623 47136 566 18 0 55605 0
vsize: 222492
[startup+550.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 13341329 0 0 0 23068 31926 0 0 25 0 1 0 855194469 227966976 47278 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55656 47278 566 18 0 55638 0
vsize: 222624
[startup+560.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 13603380 0 0 0 23433 32562 0 0 25 0 1 0 855194469 228372480 47792 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55755 47792 566 18 0 55737 0
vsize: 223020
[startup+570.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 13866429 0 0 0 23812 33183 0 0 25 0 1 0 855194469 228777984 47819 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55854 47819 566 18 0 55836 0
vsize: 223416
[startup+580.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 14129514 0 0 0 24184 33810 0 0 25 0 1 0 855194469 229318656 47882 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55986 47882 566 18 0 55968 0
vsize: 223944
[startup+590.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 14393515 0 0 0 24559 34435 0 0 25 0 1 0 855194469 229724160 48118 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 56085 48118 566 18 0 56067 0
vsize: 224340
[startup+600.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 14658916 0 0 0 24927 35068 0 0 25 0 1 0 855194469 230129664 47525 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 56184 47525 566 18 0 56166 0
vsize: 224736
[startup+610.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 14925262 0 0 0 25306 35689 0 0 25 0 1 0 855194469 230670336 47877 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 56316 47877 566 18 0 56298 0
vsize: 225264
[startup+620.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 15191854 0 0 0 25683 36312 0 0 25 0 1 0 855194469 231075840 48475 4294967295 134512640 134581267 3221224576 3221223584 134531292 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 56415 48475 566 18 0 56397 0
vsize: 225660
[startup+630.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 15458323 0 0 0 26053 36941 0 0 25 0 1 0 855194469 231616512 48207 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 56547 48207 566 18 0 56529 0
vsize: 226188
[startup+640.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 15724807 0 0 0 26429 37565 0 0 25 0 1 0 855194469 232022016 48697 4294967295 134512640 134581267 3221224576 3221223584 134531292 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 56646 48697 566 18 0 56628 0
vsize: 226584
[startup+650.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 15991230 0 0 0 26812 38182 0 0 25 0 1 0 855194469 232427520 48383 4294967295 134512640 134581267 3221224576 3221223568 134531696 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 56745 48383 566 18 0 56727 0
vsize: 226980
[startup+660.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 16257644 0 0 0 27183 38811 0 0 25 0 1 0 855194469 232968192 48803 4294967295 134512640 134581267 3221224576 3221223568 134531700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 56877 48803 566 18 0 56859 0
vsize: 227508
[startup+670.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 16524093 0 0 0 27565 39430 0 0 25 0 1 0 855194469 233373696 48515 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 56976 48515 566 18 0 56958 0
vsize: 227904
[startup+680.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 16790533 0 0 0 27948 40046 0 0 25 0 1 0 855194469 233779200 48961 4294967295 134512640 134581267 3221224576 3221223568 134531700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57075 48961 566 18 0 57057 0
vsize: 228300
[startup+690.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 17056875 0 0 0 28327 40667 0 0 25 0 1 0 855194469 234319872 48566 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57207 48566 566 18 0 57189 0
vsize: 228828
[startup+700.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 17323385 0 0 0 28700 41294 0 0 25 0 1 0 855194469 234725376 49082 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57306 49082 566 18 0 57288 0
vsize: 229224
[startup+710.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 17589614 0 0 0 29082 41912 0 0 25 0 1 0 855194469 235266048 49317 4294967295 134512640 134581267 3221224576 3221223568 134531700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57438 49317 566 18 0 57420 0
vsize: 229752
[startup+720.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 17855881 0 0 0 29463 42531 0 0 25 0 1 0 855194469 235671552 49590 4294967295 134512640 134581267 3221224576 3221223584 134531292 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57537 49590 566 18 0 57519 0
vsize: 230148
[startup+730.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 18122211 0 0 0 29843 43152 0 0 25 0 1 0 855194469 236077056 49183 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57636 49183 566 18 0 57618 0
vsize: 230544
[startup+740.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 18388569 0 0 0 30213 43781 0 0 25 0 1 0 855194469 236617728 49547 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57768 49547 566 18 0 57750 0
vsize: 231072
[startup+750.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 18654900 0 0 0 30591 44403 0 0 25 0 1 0 855194469 237023232 49884 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57867 49884 566 18 0 57849 0
vsize: 231468
[startup+760.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 18921418 0 0 0 30970 45024 0 0 25 0 1 0 855194469 237428736 49665 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57966 49665 566 18 0 57948 0
vsize: 231864
[startup+770.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 19187895 0 0 0 31357 45637 0 0 25 0 1 0 855194469 237969408 50148 4294967295 134512640 134581267 3221224576 3221223584 134531293 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58098 50148 566 18 0 58080 0
vsize: 232392
[startup+780.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 19454478 0 0 0 31730 46265 0 0 25 0 1 0 855194469 238374912 49994 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58197 49994 566 18 0 58179 0
vsize: 232788
[startup+790.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 19721216 0 0 0 32106 46888 0 0 25 0 1 0 855194469 238915584 49995 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58329 49995 566 18 0 58311 0
vsize: 233316
[startup+800.064 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 19987703 0 0 0 32486 47508 0 0 25 0 1 0 855194469 239321088 49745 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58428 49745 566 18 0 58410 0
vsize: 233712
[startup+810.065 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 20254266 0 0 0 32861 48134 0 0 25 0 1 0 855194469 239726592 50314 4294967295 134512640 134581267 3221224576 3221223568 134531700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58527 50314 566 18 0 58509 0
vsize: 234108
[startup+820.074 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 20520975 0 0 0 33239 48756 0 0 25 0 1 0 855194469 240267264 50286 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58659 50286 566 18 0 58641 0
vsize: 234636
[startup+830.076 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 20787562 0 0 0 33618 49377 0 0 25 0 1 0 855194469 240672768 50136 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58758 50136 566 18 0 58740 0
vsize: 235032
[startup+840.075 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 21054350 0 0 0 33994 50001 0 0 25 0 1 0 855194469 241078272 50930 4294967295 134512640 134581267 3221224576 3221223584 134531293 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58857 50930 566 18 0 58839 0
vsize: 235428
[startup+850.076 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 21321140 0 0 0 34371 50624 0 0 25 0 1 0 855194469 241618944 50983 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58989 50983 566 18 0 58971 0
vsize: 235956
[startup+860.077 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 21587775 0 0 0 34754 51241 0 0 25 0 1 0 855194469 242024448 50881 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59088 50881 566 18 0 59070 0
vsize: 236352
[startup+870.076 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 21854458 0 0 0 35133 51862 0 0 25 0 1 0 855194469 242565120 50827 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59220 50827 566 18 0 59202 0
vsize: 236880
[startup+880.077 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 22121268 0 0 0 35510 52484 0 0 25 0 1 0 855194469 242970624 50900 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59319 50900 566 18 0 59301 0
vsize: 237276
[startup+890.078 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 22388191 0 0 0 35898 53097 0 0 25 0 1 0 855194469 243376128 51086 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59418 51086 566 18 0 59400 0
vsize: 237672
[startup+900.079 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 22655152 0 0 0 36272 53723 0 0 25 0 1 0 855194469 243916800 51311 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59550 51311 566 18 0 59532 0
vsize: 238200
[startup+910.079 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 22922138 0 0 0 36666 54329 0 0 25 0 1 0 855194469 244322304 51559 4294967295 134512640 134581267 3221224576 3221223568 134531692 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59649 51559 566 18 0 59631 0
vsize: 238596
[startup+920.079 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 23188958 0 0 0 37043 54951 0 0 25 0 1 0 855194469 244727808 51642 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59748 51642 566 18 0 59730 0
vsize: 238992
[startup+930.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 23455989 0 0 0 37413 55582 0 0 25 0 1 0 855194469 242225152 51193 4294967295 134512640 134581267 3221224576 3221223544 1075710225 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59137 51193 566 18 0 59119 0
vsize: 236548
[startup+940.081 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 23722876 0 0 0 37796 56198 0 0 25 0 1 0 855194469 245673984 51343 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59979 51343 566 18 0 59961 0
vsize: 239916
[startup+950.082 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 23990135 0 0 0 38172 56822 0 0 25 0 1 0 855194469 246214656 51865 4294967295 134512640 134581267 3221224576 3221223568 134531692 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60111 51865 566 18 0 60093 0
vsize: 240444
[startup+960.083 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 24257171 0 0 0 38553 57441 0 0 25 0 1 0 855194469 246620160 52164 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60210 52164 566 18 0 60192 0
vsize: 240840
[startup+970.083 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 24524179 0 0 0 38933 58061 0 0 25 0 1 0 855194469 247152640 51692 4294967295 134512640 134581267 3221224576 3221223568 134531700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60340 51692 566 18 0 60322 0
vsize: 241360
[startup+980.083 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 24791666 0 0 0 39316 58677 0 0 25 0 1 0 855194469 247693312 52442 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60472 52442 566 18 0 60454 0
vsize: 241888
[startup+990.084 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 25056418 0 0 0 39700 59293 0 0 25 0 1 0 855194469 248098816 51943 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60571 51951 566 18 0 60553 0
vsize: 242284
[startup+1000.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 25321150 0 0 0 40084 59910 0 0 25 0 1 0 855194469 248504320 52167 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60670 52174 566 18 0 60652 0
vsize: 242680
[startup+1010.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 25585756 0 0 0 40461 60533 0 0 25 0 1 0 855194469 249044992 52265 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60802 52273 566 18 0 60784 0
vsize: 243208
[startup+1020.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 25850596 0 0 0 40843 61151 0 0 25 0 1 0 855194469 249450496 52597 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60901 52604 566 18 0 60883 0
vsize: 243604
[startup+1030.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 26115327 0 0 0 41225 61769 0 0 25 0 1 0 855194469 249856000 52820 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61000 52827 566 18 0 60982 0
vsize: 244000
[startup+1040.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 26380117 0 0 0 41607 62387 0 0 25 0 1 0 855194469 250396672 53102 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61132 53108 566 18 0 61114 0
vsize: 244528
[startup+1050.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 26644796 0 0 0 41988 63007 0 0 25 0 1 0 855194469 250802176 53273 4294967295 134512640 134581267 3221224576 3221223584 134531293 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61231 53273 566 18 0 61213 0
vsize: 244924
[startup+1060.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 26909535 0 0 0 42364 63631 0 0 25 0 1 0 855194469 251342848 52761 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61363 52769 566 18 0 61345 0
vsize: 245452
[startup+1070.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 27174241 0 0 0 42743 64252 0 0 25 0 1 0 855194469 251748352 52959 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61462 52966 566 18 0 61444 0
vsize: 245848
[startup+1080.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 27439186 0 0 0 43128 64867 0 0 25 0 1 0 855194469 252153856 53396 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61561 53403 566 18 0 61543 0
vsize: 246244
[startup+1090.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 27704009 0 0 0 43501 65494 0 0 25 0 1 0 855194469 252694528 53711 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61693 53717 566 18 0 61675 0
vsize: 246772
[startup+1100.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 27968634 0 0 0 43881 66115 0 0 25 0 1 0 855194469 250056704 53085 4294967295 134512640 134581267 3221224576 3221223544 1075710225 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61792 53094 566 18 0 61774 0
vsize: 244196
[startup+1110.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 28233407 0 0 0 44262 66734 0 0 25 0 1 0 855194469 253505536 53350 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61891 53358 566 18 0 61873 0
vsize: 247564
[startup+1120.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 28498097 0 0 0 44638 67358 0 0 25 0 1 0 855194469 254046208 53532 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62023 53539 566 18 0 62005 0
vsize: 248092
[startup+1130.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 28762790 0 0 0 45024 67972 0 0 25 0 1 0 855194469 254451712 53717 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62122 53724 566 18 0 62104 0
vsize: 248488
[startup+1140.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 29027515 0 0 0 45401 68595 0 0 25 0 1 0 855194469 254857216 53934 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62221 53941 566 18 0 62203 0
vsize: 248884
[startup+1150.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 29292157 0 0 0 45781 69216 0 0 25 0 1 0 855194469 255397888 54068 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62353 54075 566 18 0 62335 0
vsize: 249412
[startup+1160.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 29556963 0 0 0 46160 69837 0 0 25 0 1 0 855194469 255803392 54366 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62452 54374 566 18 0 62434 0
vsize: 249808
[startup+1170.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 29821710 0 0 0 46545 70452 0 0 25 0 1 0 855194469 253165568 53862 4294967295 134512640 134581267 3221224576 3221223544 1075710225 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62551 53871 566 18 0 62533 0
vsize: 247232
[startup+1180.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 30086690 0 0 0 46926 71071 0 0 25 0 1 0 855194469 256749568 54334 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62683 54342 566 18 0 62665 0
vsize: 250732
[startup+1190.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 30351529 0 0 0 47302 71695 0 0 25 0 1 0 855194469 257155072 54665 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62782 54673 566 18 0 62764 0
vsize: 251128
[startup+1200.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 30616310 0 0 0 47676 72322 0 0 25 0 1 0 855194469 254517248 54195 4294967295 134512640 134581267 3221224576 3221223544 1075710225 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62881 54204 566 18 0 62863 0
vsize: 248552
[startup+1210.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23070
Raw data (stat): 23070 (Pueblo-v2) R 23069 20224 20223 0 -1 0 30881122 0 0 0 48054 72944 0 0 25 0 1 0 855194469 258101248 54499 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63013 54506 566 18 0 62995 0
vsize: 252052
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1210.2 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 23070
Raw data (stat): 23070 (Pueblo-v2) Z 23069 20224 20223 0 -1 1036 30881138 0 0 0 48054 72955 0 0 25 0 1 0 855194469 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): 1210.2
CPU time (s): 1210.1
CPU user time (s): 480.543
CPU system time (s): 729.553
CPU usage (%): 99.9915
Max. virtual memory (Kb): 252052
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####