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-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-nw04.opb
MD5SUM	5a18ff1f45b144b201f1f80233dc9b6b
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	30407
Optimality of the best value was proved	NO
Number of terms in the objective function	87482
Biggest coefficient in the objective function	5220
Number of bits for the biggest coefficient in the objective function	13
Sum of the numbers in the objective function	120189580
Number of bits of the sum of numbers in the objective function	27
Biggest number in a constraint	5220
Number of bits of the biggest number in a constraint	13
Biggest sum of numbers in a constraint	120189580
Number of bits of the biggest sum of numbers	27
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1197.16
Number of variables	87482
Total number of constraints	87518
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	87518
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	42032
Trace number 38806

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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:        787792 kB
Buffers:         16604 kB
Cached:         206344 kB
SwapCached:        568 kB
Active:          33808 kB
Inactive:       191148 kB
HighTotal:      131008 kB
HighFree:        21308 kB
LowTotal:       903652 kB
LowFree:        766484 kB
SwapTotal:     2097136 kB
SwapFree:      2095632 kB
Dirty:              32 kB
Writeback:           0 kB
Mapped:           5144 kB
Slab:            16188 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 17:41:26 (client local time) WITH STATUS 0 IN 1200.25 SECONDS
stats: 26862 7 1200.25 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.89 0.97 0.92 2/54 9994
Raw data (stat): 9994 (runsolver) R 9993 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 851546403 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.0011 s]
Raw data (loadavg): 0.90 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 6516 0 0 0 977 22 0 0 25 0 1 0 851546403 30842880 6491 4294967295 134512640 134581267 3221224576 3217028860 134515760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7530 6491 566 18 0 7512 0
vsize: 30120
[startup+20.0013 s]
Raw data (loadavg): 0.92 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 181319 0 0 0 1670 328 0 0 25 0 1 0 851546403 51261440 10427 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12515 10437 566 18 0 12497 0
vsize: 50060
[startup+30.0021 s]
Raw data (loadavg): 0.93 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 498041 0 0 0 2133 865 0 0 25 0 1 0 851546403 51261440 10411 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12515 10420 566 18 0 12497 0
vsize: 50060
[startup+40.0032 s]
Raw data (loadavg): 0.94 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 816169 0 0 0 2589 1410 0 0 25 0 1 0 851546403 51261440 10426 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12515 10434 566 18 0 12497 0
vsize: 50060
[startup+50.0036 s]
Raw data (loadavg): 0.95 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 1134118 0 0 0 3051 1948 0 0 25 0 1 0 851546403 51261440 10432 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12515 10441 566 18 0 12497 0
vsize: 50060
[startup+60.0033 s]
Raw data (loadavg): 0.96 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 1451203 0 0 0 3507 2492 0 0 25 0 1 0 851546403 51261440 10435 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12515 10443 566 18 0 12497 0
vsize: 50060
[startup+70.0035 s]
Raw data (loadavg): 0.96 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 1768903 0 0 0 3967 3032 0 0 25 0 1 0 851546403 51261440 10365 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12515 10374 566 18 0 12497 0
vsize: 50060
[startup+80.0042 s]
Raw data (loadavg): 0.97 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 2086021 0 0 0 4424 3575 0 0 25 0 1 0 851546403 51261440 10401 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12515 10410 566 18 0 12497 0
vsize: 50060
[startup+90.0046 s]
Raw data (loadavg): 0.97 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 2403708 0 0 0 4887 4112 0 0 25 0 1 0 851546403 51261440 10404 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12515 10413 566 18 0 12497 0
vsize: 50060
[startup+100.005 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 2721317 0 0 0 5341 4658 0 0 25 0 1 0 851546403 51261440 10415 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12515 10423 566 18 0 12497 0
vsize: 50060
[startup+110.005 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 3039413 0 0 0 5796 5203 0 0 25 0 1 0 851546403 51261440 10397 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12515 10407 566 18 0 12497 0
vsize: 50060
[startup+120.005 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 3357320 0 0 0 6255 5744 0 0 25 0 1 0 851546403 51261440 10448 4294967295 134512640 134581267 3221224576 3221223584 134531292 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12515 10362 566 18 0 12497 0
vsize: 50060
[startup+130.006 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 3674235 0 0 0 6714 6286 0 0 25 0 1 0 851546403 51261440 10367 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12515 10376 566 18 0 12497 0
vsize: 50060
[startup+140.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 3991653 0 0 0 7162 6838 0 0 25 0 1 0 851546403 51261440 10445 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12515 10448 566 18 0 12497 0
vsize: 50060
[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 4308839 0 0 0 7618 7381 0 0 25 0 1 0 851546403 51261440 10377 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12515 10387 566 18 0 12497 0
vsize: 50060
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 4626396 0 0 0 8081 7919 0 0 25 0 1 0 851546403 51261440 10422 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12515 10431 566 18 0 12497 0
vsize: 50060
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 4943758 0 0 0 8536 8464 0 0 25 0 1 0 851546403 51261440 10444 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12515 10448 566 18 0 12497 0
vsize: 50060
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 5261718 0 0 0 9002 8999 0 0 25 0 1 0 851546403 51261440 10376 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12515 10385 566 18 0 12497 0
vsize: 50060
[startup+190.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 5580853 0 0 0 9453 9547 0 0 25 0 1 0 851546403 51531776 10451 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12581 10460 566 18 0 12563 0
vsize: 50324
[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 5896953 0 0 0 9914 10087 0 0 25 0 1 0 851546403 52191232 10587 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12742 10592 566 18 0 12724 0
vsize: 50968
[startup+210.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 6212220 0 0 0 10364 10636 0 0 25 0 1 0 851546403 52326400 10578 4294967295 134512640 134581267 3221224576 3221223568 134531696 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12775 10587 566 18 0 12757 0
vsize: 51100
[startup+220.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 6527892 0 0 0 10809 11191 0 0 25 0 1 0 851546403 52596736 10716 4294967295 134512640 134581267 3221224576 3221223584 134531293 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12755 10630 566 18 0 12737 0
vsize: 51364
[startup+230.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 6844057 0 0 0 11259 11742 0 0 25 0 1 0 851546403 52867072 10745 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12907 10754 566 18 0 12889 0
vsize: 51628
[startup+240.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 7159460 0 0 0 11715 12286 0 0 25 0 1 0 851546403 53137408 10787 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12973 10795 566 18 0 12955 0
vsize: 51892
[startup+250.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 7476066 0 0 0 12176 12825 0 0 25 0 1 0 851546403 53407744 10912 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13039 10919 566 18 0 13021 0
vsize: 52156
[startup+260.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 7549148 0 0 0 13044 12957 0 0 25 0 1 0 851546403 76836864 16713 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18759 16713 566 18 0 18741 0
vsize: 75036
[startup+270.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 7549148 0 0 0 14044 12957 0 0 25 0 1 0 851546403 76836864 16713 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18759 16713 566 18 0 18741 0
vsize: 75036
[startup+280.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 7549148 0 0 0 15044 12957 0 0 25 0 1 0 851546403 76836864 16713 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18759 16713 566 18 0 18741 0
vsize: 75036
[startup+290.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 7549148 0 0 0 16043 12958 0 0 25 0 1 0 851546403 76836864 16713 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18759 16713 566 18 0 18741 0
vsize: 75036
[startup+300.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 7549148 0 0 0 17043 12958 0 0 25 0 1 0 851546403 76836864 16713 4294967295 134512640 134581267 3221224576 3221223472 134517902 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18759 16713 566 18 0 18741 0
vsize: 75036
[startup+310.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 7549148 0 0 0 18043 12959 0 0 25 0 1 0 851546403 76836864 16713 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18759 16713 566 18 0 18741 0
vsize: 75036
[startup+320.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 7549148 0 0 0 19043 12959 0 0 25 0 1 0 851546403 76836864 16713 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18759 16713 566 18 0 18741 0
vsize: 75036
[startup+330.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 7549148 0 0 0 20043 12959 0 0 25 0 1 0 851546403 76836864 16713 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18759 16713 566 18 0 18741 0
vsize: 75036
[startup+340.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 7549148 0 0 0 21043 12959 0 0 25 0 1 0 851546403 76836864 16713 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18759 16713 566 18 0 18741 0
vsize: 75036
[startup+350.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 7549148 0 0 0 22042 12960 0 0 25 0 1 0 851546403 76836864 16713 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18759 16713 566 18 0 18741 0
vsize: 75036
[startup+360.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 7549148 0 0 0 23042 12960 0 0 25 0 1 0 851546403 76836864 16713 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18759 16713 566 18 0 18741 0
vsize: 75036
[startup+370.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 7549148 0 0 0 24042 12960 0 0 25 0 1 0 851546403 76836864 16713 4294967295 134512640 134581267 3221224576 3221223472 134517900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18759 16713 566 18 0 18741 0
vsize: 75036
[startup+380.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 7549148 0 0 0 25042 12961 0 0 25 0 1 0 851546403 76836864 16713 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18759 16713 566 18 0 18741 0
vsize: 75036
[startup+390.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 7549148 0 0 0 26042 12961 0 0 25 0 1 0 851546403 76836864 16713 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18759 16713 566 18 0 18741 0
vsize: 75036
[startup+400.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 7549148 0 0 0 27042 12961 0 0 25 0 1 0 851546403 76836864 16713 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18759 16713 566 18 0 18741 0
vsize: 75036
[startup+410.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 7549148 0 0 0 28042 12961 0 0 25 0 1 0 851546403 76836864 16713 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18759 16713 566 18 0 18741 0
vsize: 75036
[startup+420.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 7549148 0 0 0 29042 12961 0 0 25 0 1 0 851546403 76836864 16713 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18759 16713 566 18 0 18741 0
vsize: 75036
[startup+430.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 7549148 0 0 0 30043 12961 0 0 25 0 1 0 851546403 76836864 16713 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18759 16713 566 18 0 18741 0
vsize: 75036
[startup+440.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 7549148 0 0 0 31042 12962 0 0 25 0 1 0 851546403 76836864 16713 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18759 16713 566 18 0 18741 0
vsize: 75036
[startup+450.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 7549148 0 0 0 32042 12962 0 0 25 0 1 0 851546403 76836864 16713 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18759 16713 566 18 0 18741 0
vsize: 75036
[startup+460.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 7549148 0 0 0 33042 12963 0 0 25 0 1 0 851546403 76836864 16713 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18759 16713 566 18 0 18741 0
vsize: 75036
[startup+470.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 7549148 0 0 0 34042 12963 0 0 25 0 1 0 851546403 76836864 16713 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18759 16713 566 18 0 18741 0
vsize: 75036
[startup+480.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 7549148 0 0 0 35042 12963 0 0 25 0 1 0 851546403 76836864 16713 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18759 16713 566 18 0 18741 0
vsize: 75036
[startup+490.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 7549148 0 0 0 36042 12963 0 0 25 0 1 0 851546403 76836864 16713 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18759 16713 566 18 0 18741 0
vsize: 75036
[startup+500.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 7549148 0 0 0 37042 12964 0 0 25 0 1 0 851546403 76836864 16713 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18759 16713 566 18 0 18741 0
vsize: 75036
[startup+510.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 7549148 0 0 0 38041 12964 0 0 25 0 1 0 851546403 76836864 16713 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18759 16713 566 18 0 18741 0
vsize: 75036
[startup+520.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 7549148 0 0 0 39041 12965 0 0 25 0 1 0 851546403 76836864 16713 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18759 16713 566 18 0 18741 0
vsize: 75036
[startup+530.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 7549148 0 0 0 40041 12965 0 0 25 0 1 0 851546403 76836864 16713 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18759 16713 566 18 0 18741 0
vsize: 75036
[startup+540.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 7549148 0 0 0 41041 12965 0 0 25 0 1 0 851546403 76836864 16713 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18759 16713 566 18 0 18741 0
vsize: 75036
[startup+550.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 7549148 0 0 0 42040 12966 0 0 25 0 1 0 851546403 76836864 16713 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18759 16713 566 18 0 18741 0
vsize: 75036
[startup+560.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 7549148 0 0 0 43040 12967 0 0 25 0 1 0 851546403 76836864 16713 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18759 16713 566 18 0 18741 0
vsize: 75036
[startup+570.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 7549148 0 0 0 44039 12967 0 0 25 0 1 0 851546403 76836864 16713 4294967295 134512640 134581267 3221224576 3221223472 134517897 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18759 16713 566 18 0 18741 0
vsize: 75036
[startup+580.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 7549148 0 0 0 45039 12968 0 0 25 0 1 0 851546403 76836864 16713 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18759 16713 566 18 0 18741 0
vsize: 75036
[startup+590.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 7549148 0 0 0 46039 12968 0 0 25 0 1 0 851546403 76836864 16713 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18759 16713 566 18 0 18741 0
vsize: 75036
[startup+600.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 7549148 0 0 0 47039 12969 0 0 25 0 1 0 851546403 76836864 16713 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18759 16713 566 18 0 18741 0
vsize: 75036
[startup+610.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 7549148 0 0 0 48039 12969 0 0 25 0 1 0 851546403 76836864 16713 4294967295 134512640 134581267 3221224576 3221223584 134530813 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18759 16713 566 18 0 18741 0
vsize: 75036
[startup+620.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 7549148 0 0 0 49039 12969 0 0 25 0 1 0 851546403 76836864 16713 4294967295 134512640 134581267 3221224576 3221223584 134529978 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18759 16713 566 18 0 18741 0
vsize: 75036
[startup+630.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 7549148 0 0 0 50039 12969 0 0 25 0 1 0 851546403 76836864 16713 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18759 16713 566 18 0 18741 0
vsize: 75036
[startup+640.028 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 7549148 0 0 0 51040 12969 0 0 25 0 1 0 851546403 76836864 16713 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18759 16713 566 18 0 18741 0
vsize: 75036
[startup+650.028 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 7549148 0 0 0 52040 12969 0 0 25 0 1 0 851546403 76836864 16713 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18759 16713 566 18 0 18741 0
vsize: 75036
[startup+660.027 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 7549148 0 0 0 53040 12969 0 0 25 0 1 0 851546403 76836864 16713 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18759 16713 566 18 0 18741 0
vsize: 75036
[startup+670.043 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 7549148 0 0 0 54042 12969 0 0 25 0 1 0 851546403 76836864 16713 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18759 16713 566 18 0 18741 0
vsize: 75036
[startup+680.043 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 7549148 0 0 0 55042 12969 0 0 25 0 1 0 851546403 76836864 16713 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18759 16713 566 18 0 18741 0
vsize: 75036
[startup+690.044 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 7549148 0 0 0 56042 12969 0 0 25 0 1 0 851546403 76836864 16713 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18759 16713 566 18 0 18741 0
vsize: 75036
[startup+700.044 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 7549148 0 0 0 57042 12969 0 0 25 0 1 0 851546403 76836864 16713 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18759 16713 566 18 0 18741 0
vsize: 75036
[startup+710.045 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 7549148 0 0 0 58042 12969 0 0 25 0 1 0 851546403 76836864 16713 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18759 16713 566 18 0 18741 0
vsize: 75036
[startup+720.045 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 7549148 0 0 0 59043 12969 0 0 25 0 1 0 851546403 76836864 16713 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18759 16713 566 18 0 18741 0
vsize: 75036
[startup+730.044 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 7549148 0 0 0 60043 12969 0 0 25 0 1 0 851546403 76836864 16713 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18759 16713 566 18 0 18741 0
vsize: 75036
[startup+740.046 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 7549148 0 0 0 61043 12969 0 0 25 0 1 0 851546403 76836864 16713 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18759 16713 566 18 0 18741 0
vsize: 75036
[startup+750.045 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 7549148 0 0 0 62043 12969 0 0 25 0 1 0 851546403 76836864 16713 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18759 16713 566 18 0 18741 0
vsize: 75036
[startup+760.046 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 7549148 0 0 0 63043 12969 0 0 25 0 1 0 851546403 76836864 16713 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18759 16713 566 18 0 18741 0
vsize: 75036
[startup+770.047 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 7549148 0 0 0 64044 12969 0 0 25 0 1 0 851546403 76836864 16713 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18759 16713 566 18 0 18741 0
vsize: 75036
[startup+780.047 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 7549148 0 0 0 65044 12969 0 0 25 0 1 0 851546403 76836864 16713 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18759 16713 566 18 0 18741 0
vsize: 75036
[startup+790.047 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 7549148 0 0 0 66044 12969 0 0 25 0 1 0 851546403 76836864 16713 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18759 16713 566 18 0 18741 0
vsize: 75036
[startup+800.047 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 7549148 0 0 0 67044 12969 0 0 25 0 1 0 851546403 76836864 16713 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18759 16713 566 18 0 18741 0
vsize: 75036
[startup+810.048 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 7549148 0 0 0 68044 12969 0 0 25 0 1 0 851546403 76836864 16713 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18759 16713 566 18 0 18741 0
vsize: 75036
[startup+820.047 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 7549148 0 0 0 69045 12969 0 0 25 0 1 0 851546403 76836864 16713 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18759 16713 566 18 0 18741 0
vsize: 75036
[startup+830.047 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 7549148 0 0 0 70045 12969 0 0 25 0 1 0 851546403 76836864 16713 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18759 16713 566 18 0 18741 0
vsize: 75036
[startup+840.048 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 7549148 0 0 0 71045 12969 0 0 25 0 1 0 851546403 76836864 16713 4294967295 134512640 134581267 3221224576 3221223472 134517854 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18759 16713 566 18 0 18741 0
vsize: 75036
[startup+850.048 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 7549148 0 0 0 72045 12969 0 0 25 0 1 0 851546403 76836864 16713 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18759 16713 566 18 0 18741 0
vsize: 75036
[startup+860.049 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 7549148 0 0 0 73045 12969 0 0 25 0 1 0 851546403 76836864 16713 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18759 16713 566 18 0 18741 0
vsize: 75036
[startup+870.049 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 7549148 0 0 0 74046 12969 0 0 25 0 1 0 851546403 76836864 16713 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18759 16713 566 18 0 18741 0
vsize: 75036
[startup+880.049 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 7549148 0 0 0 75046 12969 0 0 25 0 1 0 851546403 76836864 16713 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18759 16713 566 18 0 18741 0
vsize: 75036
[startup+890.048 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 7549148 0 0 0 76046 12969 0 0 25 0 1 0 851546403 76836864 16713 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18759 16713 566 18 0 18741 0
vsize: 75036
[startup+900.049 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 7549148 0 0 0 77046 12969 0 0 25 0 1 0 851546403 76836864 16713 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18759 16713 566 18 0 18741 0
vsize: 75036
[startup+910.049 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 7549148 0 0 0 78046 12969 0 0 25 0 1 0 851546403 76836864 16713 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18759 16713 566 18 0 18741 0
vsize: 75036
[startup+920.049 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 7549148 0 0 0 79046 12969 0 0 25 0 1 0 851546403 76836864 16713 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18759 16713 566 18 0 18741 0
vsize: 75036
[startup+930.049 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 7549148 0 0 0 80047 12969 0 0 25 0 1 0 851546403 76836864 16713 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18759 16713 566 18 0 18741 0
vsize: 75036
[startup+940.049 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 7549148 0 0 0 81047 12969 0 0 25 0 1 0 851546403 76836864 16713 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18759 16713 566 18 0 18741 0
vsize: 75036
[startup+950.049 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 7549148 0 0 0 82047 12969 0 0 25 0 1 0 851546403 76836864 16713 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18759 16713 566 18 0 18741 0
vsize: 75036
[startup+960.049 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 7549148 0 0 0 83047 12969 0 0 25 0 1 0 851546403 76836864 16713 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18759 16713 566 18 0 18741 0
vsize: 75036
[startup+970.048 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 7549148 0 0 0 84047 12969 0 0 25 0 1 0 851546403 76836864 16713 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18759 16713 566 18 0 18741 0
vsize: 75036
[startup+980.049 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 7549148 0 0 0 85047 12969 0 0 25 0 1 0 851546403 76836864 16713 4294967295 134512640 134581267 3221224576 3221223472 134517862 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18759 16713 566 18 0 18741 0
vsize: 75036
[startup+990.049 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 7549148 0 0 0 86048 12969 0 0 25 0 1 0 851546403 76836864 16713 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18759 16713 566 18 0 18741 0
vsize: 75036
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 7549148 0 0 0 87048 12969 0 0 25 0 1 0 851546403 76836864 16713 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18759 16713 566 18 0 18741 0
vsize: 75036
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 7549148 0 0 0 88048 12969 0 0 25 0 1 0 851546403 76836864 16713 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18759 16713 566 18 0 18741 0
vsize: 75036
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 7549148 0 0 0 89048 12969 0 0 25 0 1 0 851546403 76836864 16713 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18759 16713 566 18 0 18741 0
vsize: 75036
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 7549148 0 0 0 90048 12969 0 0 25 0 1 0 851546403 76836864 16713 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18759 16713 566 18 0 18741 0
vsize: 75036
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 7549148 0 0 0 91048 12969 0 0 25 0 1 0 851546403 76836864 16713 4294967295 134512640 134581267 3221224576 3221223472 134517900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18759 16713 566 18 0 18741 0
vsize: 75036
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 7549148 0 0 0 92048 12970 0 0 25 0 1 0 851546403 76836864 16713 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18759 16713 566 18 0 18741 0
vsize: 75036
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 7549148 0 0 0 93048 12970 0 0 25 0 1 0 851546403 76836864 16713 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18759 16713 566 18 0 18741 0
vsize: 75036
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 7549148 0 0 0 94049 12970 0 0 25 0 1 0 851546403 76836864 16713 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18759 16713 566 18 0 18741 0
vsize: 75036
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 7549148 0 0 0 95049 12970 0 0 25 0 1 0 851546403 76836864 16713 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18759 16713 566 18 0 18741 0
vsize: 75036
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 7549148 0 0 0 96049 12970 0 0 25 0 1 0 851546403 76836864 16713 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18759 16713 566 18 0 18741 0
vsize: 75036
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 7549148 0 0 0 97049 12970 0 0 25 0 1 0 851546403 76836864 16713 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18759 16713 566 18 0 18741 0
vsize: 75036
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 7549148 0 0 0 98049 12970 0 0 25 0 1 0 851546403 76836864 16713 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18759 16713 566 18 0 18741 0
vsize: 75036
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 7549148 0 0 0 99049 12970 0 0 25 0 1 0 851546403 76836864 16713 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18759 16713 566 18 0 18741 0
vsize: 75036
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 7549148 0 0 0 100049 12970 0 0 25 0 1 0 851546403 76836864 16713 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18759 16713 566 18 0 18741 0
vsize: 75036
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 7549148 0 0 0 101050 12970 0 0 25 0 1 0 851546403 76836864 16713 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18759 16713 566 18 0 18741 0
vsize: 75036
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 7549148 0 0 0 102050 12970 0 0 25 0 1 0 851546403 76836864 16713 4294967295 134512640 134581267 3221224576 3221223472 134517883 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18759 16713 566 18 0 18741 0
vsize: 75036
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 7549148 0 0 0 103050 12970 0 0 25 0 1 0 851546403 76836864 16713 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18759 16713 566 18 0 18741 0
vsize: 75036
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 7549148 0 0 0 104050 12970 0 0 25 0 1 0 851546403 76836864 16713 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18759 16713 566 18 0 18741 0
vsize: 75036
[startup+1180.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 7549148 0 0 0 105050 12970 0 0 25 0 1 0 851546403 76836864 16713 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18759 16713 566 18 0 18741 0
vsize: 75036
[startup+1190.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 7549148 0 0 0 106050 12970 0 0 25 0 1 0 851546403 76836864 16713 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18759 16713 566 18 0 18741 0
vsize: 75036
[startup+1200.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9994
Raw data (stat): 9994 (Pueblo-v2) R 9993 7266 7265 0 -1 0 7549148 0 0 0 107051 12970 0 0 25 0 1 0 851546403 76836864 16713 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18759 16713 566 18 0 18741 0
vsize: 75036
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.08 s]
Raw data (loadavg): 0.99 0.97 0.92 1/54 9994
Raw data (stat): 9994 (Pueblo-v2) Z 9993 7266 7265 0 -1 1036 7549148 0 0 0 107051 12973 0 0 25 0 1 0 851546403 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.08
CPU time (s): 1200.25
CPU user time (s): 1070.51
CPU system time (s): 129.736
CPU usage (%): 100.014
Max. virtual memory (Kb): 75036
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####