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/web/uclid_pb_benchmarks/normalized-ooo.burch_dill.8.accl.ucl.opb
MD5SUM	0e5bfa52e1e730089f4eefb216f69dfd
Bench Category	no optimization function (SAT)
Has Objective Function	NO
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	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	73
Number of bits of the biggest number in a constraint	7
Biggest sum of numbers in a constraint	262
Number of bits of the biggest sum of numbers	9
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	21380
Total number of constraints	60984
Number of constraints which are clauses	58828
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	2156
Minimum length of a constraint	1
Maximum length of a constraint	13
Trace number 38507

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-02 11:18:56 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26570 boxname=wulflinc3 idbench=300 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  0e5bfa52e1e730089f4eefb216f69dfd  /oldhome/oroussel/tmp/wulflinc3/normalized-ooo.burch_dill.8.accl.ucl.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-ooo.burch_dill.8.accl.ucl.opb
IDLAUNCH: 26570
/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:        705232 kB
Buffers:         34132 kB
Cached:         272796 kB
SwapCached:        228 kB
Active:          62548 kB
Inactive:       247008 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        704980 kB
SwapTotal:     2097136 kB
SwapFree:      2096480 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6332 kB
Slab:            14204 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 11:38:58 (client local time) WITH STATUS 0 IN 1200.26 SECONDS
stats: 26570 7 1200.26 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.86 0.93 0.91 2/54 9517
Raw data (stat): 9517 (runsolver) R 9516 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 849363294 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0001 s]
Raw data (loadavg): 0.88 0.94 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 3339 0 0 0 990 8 0 0 25 0 1 0 849363294 20144128 3313 4294967295 134512640 134581267 3221224576 3221223568 134531696 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4918 3313 566 18 0 4900 0
vsize: 19672
[startup+20.0006 s]
Raw data (loadavg): 0.90 0.94 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 3892 0 0 0 1989 9 0 0 25 0 1 0 849363294 22433792 3866 4294967295 134512640 134581267 3221224576 3221223568 134531688 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5477 3866 566 18 0 5459 0
vsize: 21908
[startup+30.0007 s]
Raw data (loadavg): 0.91 0.94 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 4295 0 0 0 2988 10 0 0 25 0 1 0 849363294 24068096 4269 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5876 4269 566 18 0 5858 0
vsize: 23504
[startup+40.0006 s]
Raw data (loadavg): 0.92 0.94 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 4295 0 0 0 3988 10 0 0 25 0 1 0 849363294 24068096 4269 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5876 4269 566 18 0 5858 0
vsize: 23504
[startup+50.0011 s]
Raw data (loadavg): 0.94 0.94 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 4464 0 0 0 4988 11 0 0 25 0 1 0 849363294 24862720 4438 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6070 4438 566 18 0 6052 0
vsize: 24280
[startup+60.0013 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 4870 0 0 0 5987 12 0 0 25 0 1 0 849363294 26431488 4844 4294967295 134512640 134581267 3221224576 3221223568 134561040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6453 4844 566 18 0 6435 0
vsize: 25812
[startup+70.0021 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 5004 0 0 0 6987 12 0 0 25 0 1 0 849363294 26976256 4978 4294967295 134512640 134581267 3221224576 3221223456 134560372 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6586 4978 566 18 0 6568 0
vsize: 26344
[startup+80.0026 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 5250 0 0 0 7986 13 0 0 25 0 1 0 849363294 28119040 5224 4294967295 134512640 134581267 3221224576 3221223520 134559020 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6865 5224 566 18 0 6847 0
vsize: 27460
[startup+90.0028 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 5819 0 0 0 8985 14 0 0 25 0 1 0 849363294 30482432 5793 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7442 5793 566 18 0 7424 0
vsize: 29768
[startup+100.004 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 6403 0 0 0 9984 16 0 0 25 0 1 0 849363294 32804864 6377 4294967295 134512640 134581267 3221224576 3221223552 134560680 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8009 6377 566 18 0 7991 0
vsize: 32036
[startup+110.004 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 7289 0 0 0 10982 17 0 0 25 0 1 0 849363294 36466688 7263 4294967295 134512640 134581267 3221224576 3221223472 134517868 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8903 7263 566 18 0 8885 0
vsize: 35612
[startup+120.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 8066 0 0 0 11980 20 0 0 25 0 1 0 849363294 39579648 8040 4294967295 134512640 134581267 3221224576 3221223504 134519829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9663 8040 566 18 0 9645 0
vsize: 38652
[startup+130.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 8851 0 0 0 12978 22 0 0 25 0 1 0 849363294 42950656 8825 4294967295 134512640 134581267 3221224576 3221223544 134527282 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10486 8825 566 18 0 10468 0
vsize: 41944
[startup+140.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 9581 0 0 0 13976 24 0 0 25 0 1 0 849363294 45924352 9555 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11212 9555 566 18 0 11194 0
vsize: 44848
[startup+150.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 10035 0 0 0 14975 25 0 0 25 0 1 0 849363294 47792128 10009 4294967295 134512640 134581267 3221224576 3221223520 134558815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11668 10009 566 18 0 11650 0
vsize: 46672
[startup+160.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 10711 0 0 0 15973 27 0 0 25 0 1 0 849363294 50622464 10685 4294967295 134512640 134581267 3221224576 3221223504 134520043 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12359 10685 566 18 0 12341 0
vsize: 49436
[startup+170.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 11413 0 0 0 16972 29 0 0 25 0 1 0 849363294 53497856 11387 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13061 11387 566 18 0 13043 0
vsize: 52244
[startup+180.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 12068 0 0 0 17971 30 0 0 25 0 1 0 849363294 56131584 12042 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13704 12042 566 18 0 13686 0
vsize: 54816
[startup+190.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 12632 0 0 0 18969 32 0 0 25 0 1 0 849363294 58404864 12606 4294967295 134512640 134581267 3221224576 3221223472 134517615 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14259 12606 566 18 0 14241 0
vsize: 57036
[startup+200.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 13210 0 0 0 19968 34 0 0 25 0 1 0 849363294 60760064 13184 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14834 13184 566 18 0 14816 0
vsize: 59336
[startup+210.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 13858 0 0 0 20966 36 0 0 25 0 1 0 849363294 63385600 13832 4294967295 134512640 134581267 3221224576 3221223504 134520027 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15475 13832 566 18 0 15457 0
vsize: 61900
[startup+220.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 14298 0 0 0 21966 37 0 0 25 0 1 0 849363294 65236992 14272 4294967295 134512640 134581267 3221224576 3221223520 134558815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15927 14272 566 18 0 15909 0
vsize: 63708
[startup+230.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 14747 0 0 0 22965 38 0 0 25 0 1 0 849363294 67092480 14721 4294967295 134512640 134581267 3221224576 3221223292 1075289077 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16380 14721 566 18 0 16362 0
vsize: 65520
[startup+240.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 15316 0 0 0 23964 39 0 0 25 0 1 0 849363294 69373952 15290 4294967295 134512640 134581267 3221224576 3221223568 134561111 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16937 15290 566 18 0 16919 0
vsize: 67748
[startup+250.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 15834 0 0 0 24962 41 0 0 25 0 1 0 849363294 71483392 15808 4294967295 134512640 134581267 3221224576 3221223504 134519829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17452 15808 566 18 0 17434 0
vsize: 69808
[startup+260.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 16319 0 0 0 25961 42 0 0 25 0 1 0 849363294 73715712 16293 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17997 16293 566 18 0 17979 0
vsize: 71988
[startup+270.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 16843 0 0 0 26960 44 0 0 25 0 1 0 849363294 75825152 16817 4294967295 134512640 134581267 3221224576 3221223504 134520078 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18512 16817 566 18 0 18494 0
vsize: 74048
[startup+280.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 17294 0 0 0 27958 45 0 0 25 0 1 0 849363294 77672448 17268 4294967295 134512640 134581267 3221224576 3221223488 134527504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18963 17268 566 18 0 18945 0
vsize: 75852
[startup+290.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 17826 0 0 0 28957 46 0 0 25 0 1 0 849363294 79892480 17800 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19505 17800 566 18 0 19487 0
vsize: 78020
[startup+300.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 18356 0 0 0 29956 48 0 0 25 0 1 0 849363294 82018304 18330 4294967295 134512640 134581267 3221224576 3221223504 134520043 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20024 18330 566 18 0 20006 0
vsize: 80096
[startup+310.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 18805 0 0 0 30955 49 0 0 25 0 1 0 849363294 83894272 18779 4294967295 134512640 134581267 3221224576 3221223504 134519937 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20482 18779 566 18 0 20464 0
vsize: 81928
[startup+320.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 19246 0 0 0 31954 50 0 0 25 0 1 0 849363294 85749760 19220 4294967295 134512640 134581267 3221224576 3221223352 1075291826 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20935 19220 566 18 0 20917 0
vsize: 83740
[startup+330.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 19742 0 0 0 32953 51 0 0 25 0 1 0 849363294 87724032 19716 4294967295 134512640 134581267 3221224576 3221223568 134561040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21417 19716 566 18 0 21399 0
vsize: 85668
[startup+340.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 20246 0 0 0 33951 53 0 0 25 0 1 0 849363294 89825280 20220 4294967295 134512640 134581267 3221224576 3221223456 134560322 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21930 20220 566 18 0 21912 0
vsize: 87720
[startup+350.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 20607 0 0 0 34950 54 0 0 25 0 1 0 849363294 91258880 20581 4294967295 134512640 134581267 3221224576 3221223568 134561015 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22280 20581 566 18 0 22262 0
vsize: 89120
[startup+360.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 21085 0 0 0 35949 56 0 0 25 0 1 0 849363294 93212672 21059 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22757 21059 566 18 0 22739 0
vsize: 91028
[startup+370.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 21519 0 0 0 36947 57 0 0 25 0 1 0 849363294 95072256 21493 4294967295 134512640 134581267 3221224576 3221223504 134519829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23211 21493 566 18 0 23193 0
vsize: 92844
[startup+380.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 21932 0 0 0 37947 58 0 0 25 0 1 0 849363294 96772096 21906 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23626 21906 566 18 0 23608 0
vsize: 94504
[startup+390.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 22387 0 0 0 38946 59 0 0 25 0 1 0 849363294 98615296 22361 4294967295 134512640 134581267 3221224576 3221223568 134561036 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24076 22361 566 18 0 24058 0
vsize: 96304
[startup+400.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 22800 0 0 0 39945 60 0 0 25 0 1 0 849363294 100327424 22774 4294967295 134512640 134581267 3221224576 3221223552 134561060 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24494 22774 566 18 0 24476 0
vsize: 97976
[startup+410.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 23258 0 0 0 40944 61 0 0 25 0 1 0 849363294 102174720 23232 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24945 23232 566 18 0 24927 0
vsize: 99780
[startup+420.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 23369 0 0 0 41943 62 0 0 25 0 1 0 849363294 102760448 23343 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25088 23343 566 18 0 25070 0
vsize: 100352
[startup+430.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 23369 0 0 0 42944 62 0 0 25 0 1 0 849363294 102760448 23343 4294967295 134512640 134581267 3221224576 3221223504 134519945 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25088 23343 566 18 0 25070 0
vsize: 100352
[startup+440.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 23369 0 0 0 43944 62 0 0 25 0 1 0 849363294 102760448 23343 4294967295 134512640 134581267 3221224576 3221223504 134519829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25088 23343 566 18 0 25070 0
vsize: 100352
[startup+450.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 23369 0 0 0 44944 62 0 0 25 0 1 0 849363294 102760448 23343 4294967295 134512640 134581267 3221224576 3221223552 134560653 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25088 23343 566 18 0 25070 0
vsize: 100352
[startup+460.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 23369 0 0 0 45944 62 0 0 25 0 1 0 849363294 102760448 23343 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25088 23343 566 18 0 25070 0
vsize: 100352
[startup+470.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 23369 0 0 0 46944 62 0 0 25 0 1 0 849363294 102760448 23343 4294967295 134512640 134581267 3221224576 3221223548 134519895 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25088 23343 566 18 0 25070 0
vsize: 100352
[startup+480.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 23369 0 0 0 47945 62 0 0 25 0 1 0 849363294 102760448 23343 4294967295 134512640 134581267 3221224576 3221223568 134561040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25088 23343 566 18 0 25070 0
vsize: 100352
[startup+490.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 23369 0 0 0 48945 62 0 0 25 0 1 0 849363294 102760448 23343 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25088 23343 566 18 0 25070 0
vsize: 100352
[startup+500.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 23369 0 0 0 49945 62 0 0 25 0 1 0 849363294 102760448 23343 4294967295 134512640 134581267 3221224576 3221223504 134519921 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25088 23343 566 18 0 25070 0
vsize: 100352
[startup+510.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 23369 0 0 0 50945 62 0 0 25 0 1 0 849363294 102760448 23343 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25088 23343 566 18 0 25070 0
vsize: 100352
[startup+520.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 23369 0 0 0 51945 62 0 0 25 0 1 0 849363294 102760448 23343 4294967295 134512640 134581267 3221224576 3221223504 134520043 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25088 23343 566 18 0 25070 0
vsize: 100352
[startup+530.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 23370 0 0 0 52945 62 0 0 25 0 1 0 849363294 102760448 23344 4294967295 134512640 134581267 3221224576 3221223520 134559043 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25088 23344 566 18 0 25070 0
vsize: 100352
[startup+540.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 23371 0 0 0 53946 62 0 0 25 0 1 0 849363294 102760448 23345 4294967295 134512640 134581267 3221224576 3221223504 134519899 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25088 23345 566 18 0 25070 0
vsize: 100352
[startup+550.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 23371 0 0 0 54946 62 0 0 25 0 1 0 849363294 102760448 23345 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25088 23345 566 18 0 25070 0
vsize: 100352
[startup+560.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 23371 0 0 0 55946 62 0 0 25 0 1 0 849363294 102760448 23345 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25088 23345 566 18 0 25070 0
vsize: 100352
[startup+570.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 23371 0 0 0 56946 62 0 0 25 0 1 0 849363294 102760448 23345 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25088 23345 566 18 0 25070 0
vsize: 100352
[startup+580.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 23371 0 0 0 57946 62 0 0 25 0 1 0 849363294 102760448 23345 4294967295 134512640 134581267 3221224576 3221223568 134560622 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25088 23345 566 18 0 25070 0
vsize: 100352
[startup+590.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 23371 0 0 0 58947 62 0 0 25 0 1 0 849363294 102760448 23345 4294967295 134512640 134581267 3221224576 3221223504 134519803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25088 23345 566 18 0 25070 0
vsize: 100352
[startup+600.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 23371 0 0 0 59947 62 0 0 25 0 1 0 849363294 102760448 23345 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25088 23345 566 18 0 25070 0
vsize: 100352
[startup+610.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 23371 0 0 0 60947 62 0 0 25 0 1 0 849363294 102760448 23345 4294967295 134512640 134581267 3221224576 3221223504 134520027 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25088 23345 566 18 0 25070 0
vsize: 100352
[startup+620.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 23371 0 0 0 61947 62 0 0 25 0 1 0 849363294 102760448 23345 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25088 23345 566 18 0 25070 0
vsize: 100352
[startup+630.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 23372 0 0 0 62947 62 0 0 25 0 1 0 849363294 102760448 23346 4294967295 134512640 134581267 3221224576 3221223520 134558846 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25088 23346 566 18 0 25070 0
vsize: 100352
[startup+640.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 23372 0 0 0 63947 62 0 0 25 0 1 0 849363294 102760448 23346 4294967295 134512640 134581267 3221224576 3221223504 134520080 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25088 23346 566 18 0 25070 0
vsize: 100352
[startup+650.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 23372 0 0 0 64948 62 0 0 25 0 1 0 849363294 102760448 23346 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25088 23346 566 18 0 25070 0
vsize: 100352
[startup+660.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 23372 0 0 0 65948 62 0 0 25 0 1 0 849363294 102760448 23346 4294967295 134512640 134581267 3221224576 3221223568 134561073 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25088 23346 566 18 0 25070 0
vsize: 100352
[startup+670.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 23373 0 0 0 66948 62 0 0 25 0 1 0 849363294 102760448 23347 4294967295 134512640 134581267 3221224576 3221223540 134519780 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25088 23347 566 18 0 25070 0
vsize: 100352
[startup+680.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 23373 0 0 0 67948 62 0 0 25 0 1 0 849363294 102760448 23347 4294967295 134512640 134581267 3221224576 3221223504 134519829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25088 23347 566 18 0 25070 0
vsize: 100352
[startup+690.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 23373 0 0 0 68948 62 0 0 25 0 1 0 849363294 102760448 23347 4294967295 134512640 134581267 3221224576 3221223568 134561040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25088 23347 566 18 0 25070 0
vsize: 100352
[startup+700.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 23373 0 0 0 69949 62 0 0 25 0 1 0 849363294 102760448 23347 4294967295 134512640 134581267 3221224576 3221223540 134519780 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25088 23347 566 18 0 25070 0
vsize: 100352
[startup+710.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 23373 0 0 0 70949 62 0 0 25 0 1 0 849363294 102760448 23347 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25088 23347 566 18 0 25070 0
vsize: 100352
[startup+720.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 23375 0 0 0 71949 62 0 0 25 0 1 0 849363294 102760448 23349 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25088 23349 566 18 0 25070 0
vsize: 100352
[startup+730.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 23376 0 0 0 72949 62 0 0 25 0 1 0 849363294 102760448 23350 4294967295 134512640 134581267 3221224576 3221223468 134520359 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25088 23350 566 18 0 25070 0
vsize: 100352
[startup+740.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 23378 0 0 0 73949 62 0 0 25 0 1 0 849363294 102760448 23352 4294967295 134512640 134581267 3221224576 3221223504 134519829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25088 23352 566 18 0 25070 0
vsize: 100352
[startup+750.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 23380 0 0 0 74949 63 0 0 25 0 1 0 849363294 102760448 23354 4294967295 134512640 134581267 3221224576 3221223504 134520043 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25088 23354 566 18 0 25070 0
vsize: 100352
[startup+760.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 23383 0 0 0 75949 63 0 0 25 0 1 0 849363294 102760448 23357 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25088 23357 566 18 0 25070 0
vsize: 100352
[startup+770.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 23384 0 0 0 76950 63 0 0 25 0 1 0 849363294 102760448 23358 4294967295 134512640 134581267 3221224576 3221223536 134516716 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25088 23358 566 18 0 25070 0
vsize: 100352
[startup+780.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 23384 0 0 0 77950 63 0 0 25 0 1 0 849363294 102760448 23358 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25088 23358 566 18 0 25070 0
vsize: 100352
[startup+790.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 23384 0 0 0 78950 63 0 0 25 0 1 0 849363294 102760448 23358 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25088 23358 566 18 0 25070 0
vsize: 100352
[startup+800.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 23384 0 0 0 79950 63 0 0 25 0 1 0 849363294 102760448 23358 4294967295 134512640 134581267 3221224576 3221223504 134519945 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25088 23358 566 18 0 25070 0
vsize: 100352
[startup+810.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 23384 0 0 0 80950 63 0 0 25 0 1 0 849363294 102760448 23358 4294967295 134512640 134581267 3221224576 3221223552 134560674 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25088 23358 566 18 0 25070 0
vsize: 100352
[startup+820.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 23384 0 0 0 81951 63 0 0 25 0 1 0 849363294 102760448 23358 4294967295 134512640 134581267 3221224576 3221223504 134520078 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25088 23358 566 18 0 25070 0
vsize: 100352
[startup+830.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 23384 0 0 0 82951 63 0 0 25 0 1 0 849363294 102760448 23358 4294967295 134512640 134581267 3221224576 3221223552 134560672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25088 23358 566 18 0 25070 0
vsize: 100352
[startup+840.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 23384 0 0 0 83951 63 0 0 25 0 1 0 849363294 102760448 23358 4294967295 134512640 134581267 3221224576 3221223568 134561067 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25088 23358 566 18 0 25070 0
vsize: 100352
[startup+850.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 23384 0 0 0 84951 63 0 0 25 0 1 0 849363294 102760448 23358 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25088 23358 566 18 0 25070 0
vsize: 100352
[startup+860.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 23384 0 0 0 85951 63 0 0 25 0 1 0 849363294 102760448 23358 4294967295 134512640 134581267 3221224576 3221223504 134519896 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25088 23358 566 18 0 25070 0
vsize: 100352
[startup+870.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 23384 0 0 0 86952 63 0 0 25 0 1 0 849363294 102760448 23358 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25088 23358 566 18 0 25070 0
vsize: 100352
[startup+880.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 23384 0 0 0 87952 63 0 0 25 0 1 0 849363294 102760448 23358 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25088 23358 566 18 0 25070 0
vsize: 100352
[startup+890.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 23384 0 0 0 88952 63 0 0 25 0 1 0 849363294 102760448 23358 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25088 23358 566 18 0 25070 0
vsize: 100352
[startup+900.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 23385 0 0 0 89952 63 0 0 25 0 1 0 849363294 102760448 23359 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25088 23359 566 18 0 25070 0
vsize: 100352
[startup+910.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 23385 0 0 0 90952 63 0 0 25 0 1 0 849363294 102760448 23359 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25088 23359 566 18 0 25070 0
vsize: 100352
[startup+920.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 23385 0 0 0 91952 63 0 0 25 0 1 0 849363294 102760448 23359 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25088 23359 566 18 0 25070 0
vsize: 100352
[startup+930.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 23387 0 0 0 92953 63 0 0 25 0 1 0 849363294 102760448 23361 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25088 23361 566 18 0 25070 0
vsize: 100352
[startup+940.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 23387 0 0 0 93953 63 0 0 25 0 1 0 849363294 102760448 23361 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25088 23361 566 18 0 25070 0
vsize: 100352
[startup+950.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 23387 0 0 0 94953 63 0 0 25 0 1 0 849363294 102760448 23361 4294967295 134512640 134581267 3221224576 3221223568 134561040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25088 23361 566 18 0 25070 0
vsize: 100352
[startup+960.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 23387 0 0 0 95953 63 0 0 25 0 1 0 849363294 102760448 23361 4294967295 134512640 134581267 3221224576 3221223632 134556132 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25088 23361 566 18 0 25070 0
vsize: 100352
[startup+970.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 23387 0 0 0 96953 63 0 0 25 0 1 0 849363294 102760448 23361 4294967295 134512640 134581267 3221224576 3221223504 134520078 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25088 23361 566 18 0 25070 0
vsize: 100352
[startup+980.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 23387 0 0 0 97954 63 0 0 25 0 1 0 849363294 102760448 23361 4294967295 134512640 134581267 3221224576 3221223504 134520027 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25088 23361 566 18 0 25070 0
vsize: 100352
[startup+990.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 23387 0 0 0 98954 63 0 0 25 0 1 0 849363294 102760448 23361 4294967295 134512640 134581267 3221224576 3221223568 134560929 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25088 23361 566 18 0 25070 0
vsize: 100352
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 23387 0 0 0 99954 63 0 0 25 0 1 0 849363294 102760448 23361 4294967295 134512640 134581267 3221224576 3221223520 134558798 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25088 23361 566 18 0 25070 0
vsize: 100352
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 23387 0 0 0 100954 63 0 0 25 0 1 0 849363294 102760448 23361 4294967295 134512640 134581267 3221224576 3221223504 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25088 23361 566 18 0 25070 0
vsize: 100352
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 23387 0 0 0 101954 63 0 0 25 0 1 0 849363294 102760448 23361 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25088 23361 566 18 0 25070 0
vsize: 100352
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 23390 0 0 0 102954 63 0 0 25 0 1 0 849363294 102760448 23364 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25088 23364 566 18 0 25070 0
vsize: 100352
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 23390 0 0 0 103955 63 0 0 25 0 1 0 849363294 102760448 23364 4294967295 134512640 134581267 3221224576 3221223504 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25088 23364 566 18 0 25070 0
vsize: 100352
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 23390 0 0 0 104955 63 0 0 25 0 1 0 849363294 102760448 23364 4294967295 134512640 134581267 3221224576 3221223504 134519945 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25088 23364 566 18 0 25070 0
vsize: 100352
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 23391 0 0 0 105955 63 0 0 25 0 1 0 849363294 102760448 23365 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25088 23365 566 18 0 25070 0
vsize: 100352
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 23391 0 0 0 106955 63 0 0 25 0 1 0 849363294 102760448 23365 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25088 23365 566 18 0 25070 0
vsize: 100352
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 23391 0 0 0 107955 63 0 0 25 0 1 0 849363294 102760448 23365 4294967295 134512640 134581267 3221224576 3221223504 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25088 23365 566 18 0 25070 0
vsize: 100352
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 23391 0 0 0 108956 63 0 0 25 0 1 0 849363294 102760448 23365 4294967295 134512640 134581267 3221224576 3221223544 134527282 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25088 23365 566 18 0 25070 0
vsize: 100352
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 23391 0 0 0 109956 63 0 0 25 0 1 0 849363294 102760448 23365 4294967295 134512640 134581267 3221224576 3221223504 134519829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25088 23365 566 18 0 25070 0
vsize: 100352
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 23391 0 0 0 110956 63 0 0 25 0 1 0 849363294 102760448 23365 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25088 23365 566 18 0 25070 0
vsize: 100352
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 23391 0 0 0 111956 63 0 0 25 0 1 0 849363294 102760448 23365 4294967295 134512640 134581267 3221224576 3221223504 134519829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25088 23365 566 18 0 25070 0
vsize: 100352
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 23392 0 0 0 112956 63 0 0 25 0 1 0 849363294 102760448 23366 4294967295 134512640 134581267 3221224576 3221223544 134519777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25088 23366 566 18 0 25070 0
vsize: 100352
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 23392 0 0 0 113956 63 0 0 25 0 1 0 849363294 102760448 23366 4294967295 134512640 134581267 3221224576 3221223504 134520027 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25088 23366 566 18 0 25070 0
vsize: 100352
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 23392 0 0 0 114957 63 0 0 25 0 1 0 849363294 102760448 23366 4294967295 134512640 134581267 3221224576 3221223504 134520078 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25088 23366 566 18 0 25070 0
vsize: 100352
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 23393 0 0 0 115957 63 0 0 25 0 1 0 849363294 102760448 23367 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25088 23367 566 18 0 25070 0
vsize: 100352
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 23393 0 0 0 116957 63 0 0 25 0 1 0 849363294 102760448 23367 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25088 23367 566 18 0 25070 0
vsize: 100352
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 23393 0 0 0 117957 63 0 0 25 0 1 0 849363294 102760448 23367 4294967295 134512640 134581267 3221224576 3221223504 134519829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25088 23367 566 18 0 25070 0
vsize: 100352
[startup+1190.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 23394 0 0 0 118957 63 0 0 25 0 1 0 849363294 102760448 23368 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25088 23368 566 18 0 25070 0
vsize: 100352
[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9517
Raw data (stat): 9517 (Pueblo-v2) R 9516 20224 20223 0 -1 0 23460 0 0 0 119957 63 0 0 25 0 1 0 849363294 103038976 23434 4294967295 134512640 134581267 3221224576 3221223456 134560345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25156 23434 566 18 0 25138 0
vsize: 100624
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.09 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 9517
Raw data (stat): 9517 (Pueblo-v2) Z 9516 20224 20223 0 -1 1036 23460 0 0 0 119957 68 0 0 25 0 1 0 849363294 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.09
CPU time (s): 1200.26
CPU user time (s): 1199.58
CPU system time (s): 0.680896
CPU usage (%): 100.014
Max. virtual memory (Kb): 100624
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####