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-cache.inv14.ucl.opb
MD5SUM	5b41c3eb79e4b3bf301d25b20a1c7b76
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	33
Number of bits of the biggest number in a constraint	6
Biggest sum of numbers in a constraint	126
Number of bits of the biggest sum of numbers	7
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	62704
Total number of constraints	187107
Number of constraints which are clauses	186603
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	504
Minimum length of a constraint	1
Maximum length of a constraint	11
Trace number 38503

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        687136 kB
Buffers:         33888 kB
Cached:         291104 kB
SwapCached:       1136 kB
Active:          59476 kB
Inactive:       267944 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        686884 kB
SwapTotal:     2097136 kB
SwapFree:      2095024 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5056 kB
Slab:            14436 kB
Committed_AS:    71788 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 11:35:40 (client local time) WITH STATUS 0 IN 1200.27 SECONDS
stats: 26556 7 1200.27 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.92 0.95 0.92 2/54 21846
Raw data (stat): 21846 (runsolver) R 21845 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 849354944 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 s]
Raw data (loadavg): 0.93 0.96 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 94468 0 0 0 838 160 0 0 25 0 1 0 849354944 42786816 9006 4294967295 134512640 134581267 3221224576 3221223544 1075710225 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10508 9017 566 18 0 10490 0
vsize: 41784
[startup+20.001 s]
Raw data (loadavg): 0.94 0.96 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 424576 0 0 0 1320 678 0 0 25 0 1 0 849354944 43040768 9026 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10508 9036 566 18 0 10490 0
vsize: 42032
[startup+30.0016 s]
Raw data (loadavg): 0.95 0.96 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 754827 0 0 0 1806 1192 0 0 25 0 1 0 849354944 43040768 9065 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10508 9068 566 18 0 10490 0
vsize: 42032
[startup+40.002 s]
Raw data (loadavg): 0.96 0.96 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 1085448 0 0 0 2292 1707 0 0 25 0 1 0 849354944 43040768 9040 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10508 9050 566 18 0 10490 0
vsize: 42032
[startup+50.0021 s]
Raw data (loadavg): 0.96 0.96 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 1416184 0 0 0 2768 2231 0 0 25 0 1 0 849354944 43040768 9068 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10446 9006 566 18 0 10428 0
vsize: 42032
[startup+60.0024 s]
Raw data (loadavg): 0.97 0.96 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 1746892 0 0 0 3243 2756 0 0 25 0 1 0 849354944 43040768 9068 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10508 9068 566 18 0 10490 0
vsize: 42032
[startup+70.0021 s]
Raw data (loadavg): 0.97 0.96 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 2077539 0 0 0 3714 3286 0 0 25 0 1 0 849354944 43302912 9069 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10572 9079 566 18 0 10554 0
vsize: 42288
[startup+80.0031 s]
Raw data (loadavg): 0.98 0.96 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 2408342 0 0 0 4186 3814 0 0 25 0 1 0 849354944 43302912 9102 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10572 9106 566 18 0 10554 0
vsize: 42288
[startup+90.003 s]
Raw data (loadavg): 0.98 0.96 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 2739494 0 0 0 4659 4341 0 0 25 0 1 0 849354944 43302912 9112 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10510 9050 566 18 0 10492 0
vsize: 42288
[startup+100.002 s]
Raw data (loadavg): 0.98 0.96 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 3070398 0 0 0 5134 4866 0 0 25 0 1 0 849354944 43302912 9060 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10572 9069 566 18 0 10554 0
vsize: 42288
[startup+110.005 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 3400465 0 0 0 5603 5398 0 0 25 0 1 0 849354944 43302912 9101 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10572 9111 566 18 0 10554 0
vsize: 42288
[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 3731266 0 0 0 6064 5936 0 0 25 0 1 0 849354944 43302912 9070 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10572 9080 566 18 0 10554 0
vsize: 42288
[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 4061127 0 0 0 6525 6476 0 0 25 0 1 0 849354944 43302912 9091 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10572 9101 566 18 0 10554 0
vsize: 42288
[startup+140.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 4389276 0 0 0 6993 7008 0 0 25 0 1 0 849354944 43565056 9136 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10636 9137 566 18 0 10618 0
vsize: 42544
[startup+150.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 4717907 0 0 0 7460 7541 0 0 25 0 1 0 849354944 43565056 9106 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10636 9116 566 18 0 10618 0
vsize: 42544
[startup+160.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 5045946 0 0 0 7929 8072 0 0 25 0 1 0 849354944 43565056 9102 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10636 9112 566 18 0 10618 0
vsize: 42544
[startup+170.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 5376235 0 0 0 8404 8598 0 0 25 0 1 0 849354944 43700224 9117 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10669 9126 566 18 0 10651 0
vsize: 42676
[startup+180.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 5704646 0 0 0 8872 9129 0 0 25 0 1 0 849354944 44105728 9238 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10768 9247 566 18 0 10750 0
vsize: 43072
[startup+190.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 6032686 0 0 0 9338 9664 0 0 25 0 1 0 849354944 44511232 9360 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10867 9369 566 18 0 10849 0
vsize: 43468
[startup+200.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 6361444 0 0 0 9804 10198 0 0 25 0 1 0 849354944 45051904 9456 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10999 9466 566 18 0 10981 0
vsize: 43996
[startup+210.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 6690283 0 0 0 10270 10732 0 0 25 0 1 0 849354944 45457408 9633 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11098 9574 566 18 0 11080 0
vsize: 44392
[startup+220.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 7018471 0 0 0 10733 11270 0 0 25 0 1 0 849354944 45998080 9717 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11230 9727 566 18 0 11212 0
vsize: 44920
[startup+230.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 7345744 0 0 0 11195 11808 0 0 25 0 1 0 849354944 46403584 9816 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11329 9826 566 18 0 11311 0
vsize: 45316
[startup+240.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 7673394 0 0 0 11661 12342 0 0 25 0 1 0 849354944 46944256 9982 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11461 9920 566 18 0 11443 0
vsize: 45844
[startup+250.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 8000353 0 0 0 12129 12874 0 0 25 0 1 0 849354944 47349760 10077 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11560 10086 566 18 0 11542 0
vsize: 46240
[startup+260.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 8330394 0 0 0 12590 13413 0 0 25 0 1 0 849354944 48279552 10154 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11787 10164 566 18 0 11769 0
vsize: 47148
[startup+270.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 8659931 0 0 0 13043 13960 0 0 25 0 1 0 849354944 48820224 10285 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11919 10295 566 18 0 11901 0
vsize: 47676
[startup+280.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 8987769 0 0 0 13499 14504 0 0 25 0 1 0 849354944 49225728 10391 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12018 10401 566 18 0 12000 0
vsize: 48072
[startup+290.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 9316427 0 0 0 13965 15038 0 0 25 0 1 0 849354944 49631232 10511 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12117 10520 566 18 0 12099 0
vsize: 48468
[startup+300.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 9646116 0 0 0 14436 15568 0 0 25 0 1 0 849354944 50171904 10670 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12249 10679 566 18 0 12231 0
vsize: 48996
[startup+310.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 9976042 0 0 0 14912 16091 0 0 25 0 1 0 849354944 50577408 10756 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12348 10767 566 18 0 12330 0
vsize: 49392
[startup+320.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 10302981 0 0 0 15374 16629 0 0 25 0 1 0 849354944 50982912 10893 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12447 10902 566 18 0 12429 0
vsize: 49788
[startup+330.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 10628834 0 0 0 15849 17155 0 0 25 0 1 0 849354944 51523584 10998 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12579 11008 566 18 0 12561 0
vsize: 50316
[startup+340.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 10955254 0 0 0 16312 17692 0 0 25 0 1 0 849354944 51929088 11112 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12678 11122 566 18 0 12660 0
vsize: 50712
[startup+350.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 11282635 0 0 0 16781 18223 0 0 25 0 1 0 849354944 52334592 11257 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12777 11257 566 18 0 12759 0
vsize: 51108
[startup+360.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 11609324 0 0 0 17254 18750 0 0 25 0 1 0 849354944 53010432 11392 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12942 11402 566 18 0 12924 0
vsize: 51768
[startup+370.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 11612371 0 0 0 18249 18755 0 0 25 0 1 0 849354944 54112256 11679 4294967295 134512640 134581267 3221224576 3221223504 134519867 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13211 11679 566 18 0 13193 0
vsize: 52844
[startup+380.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 11612378 0 0 0 19249 18755 0 0 25 0 1 0 849354944 54112256 11686 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13211 11686 566 18 0 13193 0
vsize: 52844
[startup+390.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 11612378 0 0 0 20250 18755 0 0 25 0 1 0 849354944 54112256 11686 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13211 11686 566 18 0 13193 0
vsize: 52844
[startup+400.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 11612378 0 0 0 21250 18755 0 0 25 0 1 0 849354944 54112256 11686 4294967295 134512640 134581267 3221224576 3221223552 134560674 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13211 11686 566 18 0 13193 0
vsize: 52844
[startup+410.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 11612378 0 0 0 22250 18755 0 0 25 0 1 0 849354944 54112256 11686 4294967295 134512640 134581267 3221224576 3221223468 134560154 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13211 11686 566 18 0 13193 0
vsize: 52844
[startup+420.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 11612383 0 0 0 23250 18755 0 0 25 0 1 0 849354944 54112256 11691 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13211 11691 566 18 0 13193 0
vsize: 52844
[startup+430.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 11612383 0 0 0 24251 18755 0 0 25 0 1 0 849354944 54112256 11691 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13211 11691 566 18 0 13193 0
vsize: 52844
[startup+440.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 11612383 0 0 0 25251 18755 0 0 25 0 1 0 849354944 54112256 11691 4294967295 134512640 134581267 3221224576 3221223488 134527636 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13211 11691 566 18 0 13193 0
vsize: 52844
[startup+450.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 11612383 0 0 0 26251 18755 0 0 25 0 1 0 849354944 54112256 11691 4294967295 134512640 134581267 3221224576 3221223520 134559049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13211 11691 566 18 0 13193 0
vsize: 52844
[startup+460.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 11612383 0 0 0 27252 18755 0 0 25 0 1 0 849354944 54112256 11691 4294967295 134512640 134581267 3221224576 3221223488 134527695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13211 11691 566 18 0 13193 0
vsize: 52844
[startup+470.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 11612383 0 0 0 28252 18755 0 0 25 0 1 0 849354944 54112256 11691 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13211 11691 566 18 0 13193 0
vsize: 52844
[startup+480.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 11612383 0 0 0 29252 18755 0 0 25 0 1 0 849354944 54112256 11691 4294967295 134512640 134581267 3221224576 3221223504 134519931 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13211 11691 566 18 0 13193 0
vsize: 52844
[startup+490.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 11612383 0 0 0 30252 18755 0 0 25 0 1 0 849354944 54112256 11691 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13211 11691 566 18 0 13193 0
vsize: 52844
[startup+500.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 11612383 0 0 0 31252 18756 0 0 25 0 1 0 849354944 54112256 11691 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13211 11691 566 18 0 13193 0
vsize: 52844
[startup+510.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 11612383 0 0 0 32252 18756 0 0 25 0 1 0 849354944 54112256 11691 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13211 11691 566 18 0 13193 0
vsize: 52844
[startup+520.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 11612383 0 0 0 33253 18756 0 0 25 0 1 0 849354944 54112256 11691 4294967295 134512640 134581267 3221224576 3221223456 134560252 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13211 11691 566 18 0 13193 0
vsize: 52844
[startup+530.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 11612383 0 0 0 34253 18756 0 0 25 0 1 0 849354944 54112256 11691 4294967295 134512640 134581267 3221224576 3221223456 134560418 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13211 11691 566 18 0 13193 0
vsize: 52844
[startup+540.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 11612383 0 0 0 35253 18756 0 0 25 0 1 0 849354944 54112256 11691 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13211 11691 566 18 0 13193 0
vsize: 52844
[startup+550.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 11612383 0 0 0 36253 18756 0 0 25 0 1 0 849354944 54112256 11691 4294967295 134512640 134581267 3221224576 3221223552 134560674 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13211 11691 566 18 0 13193 0
vsize: 52844
[startup+560.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 11612383 0 0 0 37253 18756 0 0 25 0 1 0 849354944 54112256 11691 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13211 11691 566 18 0 13193 0
vsize: 52844
[startup+570.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 11612383 0 0 0 38253 18756 0 0 25 0 1 0 849354944 54112256 11691 4294967295 134512640 134581267 3221224576 3221223520 134559318 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13211 11691 566 18 0 13193 0
vsize: 52844
[startup+580.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 11612383 0 0 0 39254 18756 0 0 25 0 1 0 849354944 54112256 11691 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13211 11691 566 18 0 13193 0
vsize: 52844
[startup+590.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 11612383 0 0 0 40254 18756 0 0 25 0 1 0 849354944 54112256 11691 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13211 11691 566 18 0 13193 0
vsize: 52844
[startup+600.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 11612383 0 0 0 41254 18756 0 0 25 0 1 0 849354944 54112256 11691 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13211 11691 566 18 0 13193 0
vsize: 52844
[startup+610.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 11612383 0 0 0 42254 18756 0 0 25 0 1 0 849354944 54112256 11691 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13211 11691 566 18 0 13193 0
vsize: 52844
[startup+620.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 11612383 0 0 0 43254 18756 0 0 25 0 1 0 849354944 54112256 11691 4294967295 134512640 134581267 3221224576 3221223352 1075291413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13211 11691 566 18 0 13193 0
vsize: 52844
[startup+630.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 11612383 0 0 0 44254 18756 0 0 25 0 1 0 849354944 54112256 11691 4294967295 134512640 134581267 3221224576 3221223556 134560749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13211 11691 566 18 0 13193 0
vsize: 52844
[startup+640.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 11612383 0 0 0 45255 18756 0 0 25 0 1 0 849354944 54112256 11691 4294967295 134512640 134581267 3221224576 3221223552 134560674 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13211 11691 566 18 0 13193 0
vsize: 52844
[startup+650.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 11612383 0 0 0 46255 18756 0 0 25 0 1 0 849354944 54112256 11691 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13211 11691 566 18 0 13193 0
vsize: 52844
[startup+660.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 11612383 0 0 0 47255 18756 0 0 25 0 1 0 849354944 54112256 11691 4294967295 134512640 134581267 3221224576 3221223632 134562121 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13211 11691 566 18 0 13193 0
vsize: 52844
[startup+670.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 11612383 0 0 0 48255 18756 0 0 25 0 1 0 849354944 54112256 11691 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13211 11691 566 18 0 13193 0
vsize: 52844
[startup+680.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 11612383 0 0 0 49255 18756 0 0 25 0 1 0 849354944 54112256 11691 4294967295 134512640 134581267 3221224576 3221223568 134561104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13211 11691 566 18 0 13193 0
vsize: 52844
[startup+690.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 11612383 0 0 0 50255 18756 0 0 25 0 1 0 849354944 54112256 11691 4294967295 134512640 134581267 3221224576 3221223520 134559230 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13211 11691 566 18 0 13193 0
vsize: 52844
[startup+700.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 11612400 0 0 0 51255 18756 0 0 25 0 1 0 849354944 54243328 11708 4294967295 134512640 134581267 3221224576 3221223472 134517897 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13243 11708 566 18 0 13225 0
vsize: 52972
[startup+710.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 11612568 0 0 0 52255 18756 0 0 25 0 1 0 849354944 54870016 11876 4294967295 134512640 134581267 3221224576 3221223584 134519705 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13396 11876 566 18 0 13378 0
vsize: 53584
[startup+720.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 11612635 0 0 0 53255 18756 0 0 25 0 1 0 849354944 55267328 11943 4294967295 134512640 134581267 3221224576 3221223584 134519703 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13493 11943 566 18 0 13475 0
vsize: 53972
[startup+730.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 11612812 0 0 0 54255 18757 0 0 25 0 1 0 849354944 55906304 12120 4294967295 134512640 134581267 3221224576 3221223520 134559043 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13649 12120 566 18 0 13631 0
vsize: 54596
[startup+740.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 11613040 0 0 0 55255 18757 0 0 25 0 1 0 849354944 56905728 12348 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13893 12348 566 18 0 13875 0
vsize: 55572
[startup+750.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 11613271 0 0 0 56254 18758 0 0 25 0 1 0 849354944 57774080 12579 4294967295 134512640 134581267 3221224576 3221223568 134561029 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14105 12579 566 18 0 14087 0
vsize: 56420
[startup+760.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 11613490 0 0 0 57254 18758 0 0 25 0 1 0 849354944 58777600 12798 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14350 12798 566 18 0 14332 0
vsize: 57400
[startup+770.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 11613721 0 0 0 58254 18759 0 0 25 0 1 0 849354944 59658240 13029 4294967295 134512640 134581267 3221224576 3221223472 134517897 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14565 13029 566 18 0 14547 0
vsize: 58260
[startup+780.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 11613998 0 0 0 59253 18760 0 0 25 0 1 0 849354944 60792832 13306 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14842 13306 566 18 0 14824 0
vsize: 59368
[startup+790.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 11614190 0 0 0 60253 18760 0 0 25 0 1 0 849354944 61538304 13498 4294967295 134512640 134581267 3221224576 3221223456 134560433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15024 13498 566 18 0 15006 0
vsize: 60096
[startup+800.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 11614393 0 0 0 61252 18761 0 0 25 0 1 0 849354944 62377984 13701 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15229 13701 566 18 0 15211 0
vsize: 60916
[startup+810.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 11614712 0 0 0 62252 18762 0 0 25 0 1 0 849354944 63774720 14020 4294967295 134512640 134581267 3221224576 3221223504 134519937 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15570 14020 566 18 0 15552 0
vsize: 62280
[startup+820.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 11615042 0 0 0 63252 18762 0 0 25 0 1 0 849354944 65032192 14350 4294967295 134512640 134581267 3221224576 3221223476 134560152 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15877 14350 566 18 0 15859 0
vsize: 63508
[startup+830.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 11615281 0 0 0 64251 18762 0 0 25 0 1 0 849354944 66043904 14589 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16124 14589 566 18 0 16106 0
vsize: 64496
[startup+840.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 11615591 0 0 0 65251 18763 0 0 25 0 1 0 849354944 67358720 14899 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16445 14899 566 18 0 16427 0
vsize: 65780
[startup+850.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 11615905 0 0 0 66250 18764 0 0 25 0 1 0 849354944 68632576 15213 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16756 15213 566 18 0 16738 0
vsize: 67024
[startup+860.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 11616232 0 0 0 67250 18764 0 0 25 0 1 0 849354944 69902336 15540 4294967295 134512640 134581267 3221224576 3221223564 134561046 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17066 15540 566 18 0 17048 0
vsize: 68264
[startup+870.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 11616401 0 0 0 68249 18765 0 0 25 0 1 0 849354944 70688768 15709 4294967295 134512640 134581267 3221224576 3221223568 134561040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17258 15709 566 18 0 17240 0
vsize: 69032
[startup+880.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 11616621 0 0 0 69249 18766 0 0 25 0 1 0 849354944 71606272 15929 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17482 15929 566 18 0 17464 0
vsize: 69928
[startup+890.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 11616862 0 0 0 70248 18767 0 0 25 0 1 0 849354944 72519680 16170 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17705 16170 566 18 0 17687 0
vsize: 70820
[startup+900.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 11617045 0 0 0 71248 18767 0 0 25 0 1 0 849354944 73297920 16353 4294967295 134512640 134581267 3221224576 3221223548 134554608 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17895 16353 566 18 0 17877 0
vsize: 71580
[startup+910.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 11617208 0 0 0 72247 18768 0 0 25 0 1 0 849354944 73920512 16516 4294967295 134512640 134581267 3221224576 3221223536 134519892 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18047 16516 566 18 0 18029 0
vsize: 72188
[startup+920.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 11617393 0 0 0 73247 18768 0 0 25 0 1 0 849354944 74661888 16701 4294967295 134512640 134581267 3221224576 3221223504 134519880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18228 16701 566 18 0 18210 0
vsize: 72912
[startup+930.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 11617533 0 0 0 74247 18769 0 0 25 0 1 0 849354944 75304960 16841 4294967295 134512640 134581267 3221224576 3221223568 134561029 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18385 16841 566 18 0 18367 0
vsize: 73540
[startup+940.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 11617669 0 0 0 75246 18769 0 0 25 0 1 0 849354944 75812864 16977 4294967295 134512640 134581267 3221224576 3221223456 134560284 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18509 16977 566 18 0 18491 0
vsize: 74036
[startup+950.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 11617849 0 0 0 76246 18770 0 0 25 0 1 0 849354944 76566528 17157 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18693 17157 566 18 0 18675 0
vsize: 74772
[startup+960.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 11618070 0 0 0 77246 18771 0 0 25 0 1 0 849354944 77492224 17378 4294967295 134512640 134581267 3221224576 3221223568 134561029 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18919 17378 566 18 0 18901 0
vsize: 75676
[startup+970.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 11618215 0 0 0 78246 18771 0 0 25 0 1 0 849354944 78139392 17523 4294967295 134512640 134581267 3221224576 3221223552 134560674 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19077 17523 566 18 0 19059 0
vsize: 76308
[startup+980.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 11618523 0 0 0 79245 18772 0 0 25 0 1 0 849354944 79290368 17831 4294967295 134512640 134581267 3221224576 3221223292 1075289077 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19358 17831 566 18 0 19340 0
vsize: 77432
[startup+990.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 11618908 0 0 0 80244 18773 0 0 25 0 1 0 849354944 80949248 18216 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19763 18216 566 18 0 19745 0
vsize: 79052
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 11619301 0 0 0 81244 18773 0 0 25 0 1 0 849354944 82550784 18609 4294967295 134512640 134581267 3221224576 3221223504 134519869 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20154 18609 566 18 0 20136 0
vsize: 80616
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 11619708 0 0 0 82243 18774 0 0 25 0 1 0 849354944 84213760 19016 4294967295 134512640 134581267 3221224576 3221223520 134559230 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20560 19016 566 18 0 20542 0
vsize: 82240
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 11620105 0 0 0 83242 18776 0 0 25 0 1 0 849354944 85848064 19413 4294967295 134512640 134581267 3221224576 3221223504 134519829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20959 19413 566 18 0 20941 0
vsize: 83836
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 11620451 0 0 0 84241 18776 0 0 25 0 1 0 849354944 87232512 19759 4294967295 134512640 134581267 3221224576 3221223540 134519780 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21297 19759 566 18 0 21279 0
vsize: 85188
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 11620766 0 0 0 85241 18777 0 0 25 0 1 0 849354944 88502272 20074 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21607 20074 566 18 0 21589 0
vsize: 86428
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 11621154 0 0 0 86240 18778 0 0 25 0 1 0 849354944 90136576 20462 4294967295 134512640 134581267 3221224576 3221223520 134559268 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22006 20462 566 18 0 21988 0
vsize: 88024
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 11621524 0 0 0 87239 18779 0 0 25 0 1 0 849354944 91607040 20832 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22365 20832 566 18 0 22347 0
vsize: 89460
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 11621925 0 0 0 88238 18780 0 0 25 0 1 0 849354944 93356032 21233 4294967295 134512640 134581267 3221224576 3221223472 134517897 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22792 21233 566 18 0 22774 0
vsize: 91168
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 11622264 0 0 0 89238 18781 0 0 25 0 1 0 849354944 94642176 21572 4294967295 134512640 134581267 3221224576 3221223504 134519803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23106 21572 566 18 0 23088 0
vsize: 92424
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 11622668 0 0 0 90237 18782 0 0 25 0 1 0 849354944 96301056 21976 4294967295 134512640 134581267 3221224576 3221223520 134559230 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23511 21976 566 18 0 23493 0
vsize: 94044
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 11622934 0 0 0 91236 18783 0 0 25 0 1 0 849354944 97439744 22242 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23789 22242 566 18 0 23771 0
vsize: 95156
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 11623189 0 0 0 92236 18783 0 0 25 0 1 0 849354944 98562048 22497 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24063 22497 566 18 0 24045 0
vsize: 96252
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 11623455 0 0 0 93236 18783 0 0 25 0 1 0 849354944 99622912 22763 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24322 22763 566 18 0 24304 0
vsize: 97288
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 11623708 0 0 0 94236 18783 0 0 25 0 1 0 849354944 100773888 23016 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24603 23016 566 18 0 24585 0
vsize: 98412
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 11623979 0 0 0 95236 18784 0 0 25 0 1 0 849354944 101777408 23287 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24848 23287 566 18 0 24830 0
vsize: 99392
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 11624245 0 0 0 96236 18784 0 0 25 0 1 0 849354944 102862848 23553 4294967295 134512640 134581267 3221224576 3221223520 134559230 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25113 23553 566 18 0 25095 0
vsize: 100452
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 11624480 0 0 0 97235 18785 0 0 25 0 1 0 849354944 103821312 23788 4294967295 134512640 134581267 3221224576 3221223504 134519803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25347 23788 566 18 0 25329 0
vsize: 101388
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 11624737 0 0 0 98234 18786 0 0 25 0 1 0 849354944 104955904 24045 4294967295 134512640 134581267 3221224576 3221223504 134519869 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25624 24045 566 18 0 25606 0
vsize: 102496
[startup+1180.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 11624905 0 0 0 99234 18786 0 0 25 0 1 0 849354944 105594880 24213 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25780 24213 566 18 0 25762 0
vsize: 103120
[startup+1190.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 11625080 0 0 0 100234 18787 0 0 25 0 1 0 849354944 106315776 24388 4294967295 134512640 134581267 3221224576 3221223552 134560674 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25956 24388 566 18 0 25938 0
vsize: 103824
[startup+1200.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21846
Raw data (stat): 21846 (Pueblo-v2) R 21845 31399 31398 0 -1 0 11625301 0 0 0 101234 18787 0 0 25 0 1 0 849354944 107180032 24609 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26167 24609 566 18 0 26149 0
vsize: 104668
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.07 s]
Raw data (loadavg): 0.99 0.97 0.92 1/54 21846
Raw data (stat): 21846 (Pueblo-v2) Z 21845 31399 31398 0 -1 1036 11625301 0 0 0 101234 18792 0 0 25 0 1 0 849354944 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.07
CPU time (s): 1200.27
CPU user time (s): 1012.34
CPU system time (s): 187.924
CPU usage (%): 100.016
Max. virtual memory (Kb): 104668
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####