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/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-fit1d.opb
MD5SUM	de6e9dcd85d0fedc70e76c82543d6a33
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
Number of terms in the objective function	11514
Biggest coefficient in the objective function	2949120
Number of bits for the biggest coefficient in the objective function	22
Sum of the numbers in the objective function	462466666
Number of bits of the sum of numbers in the objective function	29
Biggest number in a constraint	3870720
Number of bits of the biggest number in a constraint	22
Biggest sum of numbers in a constraint	580921206
Number of bits of the biggest sum of numbers	30
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.18
Number of variables	11514
Total number of constraints	1050
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	1050
Minimum length of a constraint	11
Maximum length of a constraint	11514
Trace number 38700

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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:        479040 kB
Buffers:         34600 kB
Cached:         498428 kB
SwapCached:        568 kB
Active:          35016 kB
Inactive:       500124 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        478788 kB
SwapTotal:     2097136 kB
SwapFree:      2095660 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5316 kB
Slab:            14800 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 15:58:26 (client local time) WITH STATUS 0 IN 1200.33 SECONDS
stats: 26702 7 1200.33 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.59 0.68 0.80 2/54 12873
Raw data (stat): 12873 (runsolver) R 12872 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 850919272 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+9.99999 s]
Raw data (loadavg): 0.65 0.69 0.81 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 2718 0 0 0 990 8 0 0 25 0 1 0 850919272 16875520 2692 4294967295 134512640 134581267 3221224576 3221223584 134529999 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4120 2692 566 18 0 4102 0
vsize: 16480
[startup+20.0008 s]
Raw data (loadavg): 0.71 0.70 0.81 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 2725 0 0 0 1990 8 0 0 25 0 1 0 850919272 16875520 2699 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4120 2699 566 18 0 4102 0
vsize: 16480
[startup+30.0007 s]
Raw data (loadavg): 0.75 0.71 0.81 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 2725 0 0 0 2990 8 0 0 25 0 1 0 850919272 16875520 2699 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4120 2699 566 18 0 4102 0
vsize: 16480
[startup+40.0016 s]
Raw data (loadavg): 0.79 0.72 0.81 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 2725 0 0 0 3990 9 0 0 25 0 1 0 850919272 16875520 2699 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4120 2699 566 18 0 4102 0
vsize: 16480
[startup+50.0024 s]
Raw data (loadavg): 0.82 0.73 0.81 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 2725 0 0 0 4990 9 0 0 25 0 1 0 850919272 16875520 2699 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4120 2699 566 18 0 4102 0
vsize: 16480
[startup+60.0023 s]
Raw data (loadavg): 0.85 0.74 0.82 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 2725 0 0 0 5990 10 0 0 25 0 1 0 850919272 16875520 2699 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4120 2699 566 18 0 4102 0
vsize: 16480
[startup+70.0032 s]
Raw data (loadavg): 0.87 0.75 0.82 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 2725 0 0 0 6990 10 0 0 25 0 1 0 850919272 16875520 2699 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4120 2699 566 18 0 4102 0
vsize: 16480
[startup+80.0034 s]
Raw data (loadavg): 0.89 0.75 0.82 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 2800 0 0 0 7989 10 0 0 25 0 1 0 850919272 17149952 2774 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4187 2774 566 18 0 4169 0
vsize: 16748
[startup+90.0039 s]
Raw data (loadavg): 0.91 0.76 0.82 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 2883 0 0 0 8989 11 0 0 25 0 1 0 850919272 17494016 2857 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4271 2857 566 18 0 4253 0
vsize: 17084
[startup+100.004 s]
Raw data (loadavg): 0.92 0.77 0.82 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 2989 0 0 0 9989 11 0 0 25 0 1 0 850919272 17924096 2963 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4376 2963 566 18 0 4358 0
vsize: 17504
[startup+110.022 s]
Raw data (loadavg): 0.93 0.78 0.82 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 3115 0 0 0 10990 12 0 0 25 0 1 0 850919272 18440192 3089 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4502 3089 566 18 0 4484 0
vsize: 18008
[startup+120.022 s]
Raw data (loadavg): 0.94 0.78 0.82 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 3177 0 0 0 11990 12 0 0 25 0 1 0 850919272 18694144 3151 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4564 3151 566 18 0 4546 0
vsize: 18256
[startup+130.022 s]
Raw data (loadavg): 0.95 0.79 0.82 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 3251 0 0 0 12990 13 0 0 25 0 1 0 850919272 18997248 3225 4294967295 134512640 134581267 3221224576 3221223488 134528042 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4638 3225 566 18 0 4620 0
vsize: 18552
[startup+140.023 s]
Raw data (loadavg): 0.96 0.80 0.83 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 3251 0 0 0 13989 13 0 0 25 0 1 0 850919272 18997248 3225 4294967295 134512640 134581267 3221224576 3221223488 134527537 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4638 3225 566 18 0 4620 0
vsize: 18552
[startup+150.023 s]
Raw data (loadavg): 0.96 0.80 0.83 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 3306 0 0 0 14989 14 0 0 25 0 1 0 850919272 19312640 3280 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4715 3280 566 18 0 4697 0
vsize: 18860
[startup+160.023 s]
Raw data (loadavg): 0.97 0.81 0.83 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 3362 0 0 0 15989 14 0 0 25 0 1 0 850919272 19542016 3336 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4771 3336 566 18 0 4753 0
vsize: 19084
[startup+170.049 s]
Raw data (loadavg): 0.97 0.81 0.83 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 3441 0 0 0 16991 15 0 0 25 0 1 0 850919272 19820544 3415 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4839 3415 566 18 0 4821 0
vsize: 19356
[startup+180.049 s]
Raw data (loadavg): 0.98 0.82 0.83 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 3509 0 0 0 17991 15 0 0 25 0 1 0 850919272 20049920 3483 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4895 3483 566 18 0 4877 0
vsize: 19580
[startup+190.05 s]
Raw data (loadavg): 0.98 0.83 0.83 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 3543 0 0 0 18991 15 0 0 25 0 1 0 850919272 20185088 3517 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4928 3517 566 18 0 4910 0
vsize: 19712
[startup+200.054 s]
Raw data (loadavg): 0.98 0.83 0.83 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 3609 0 0 0 19991 16 0 0 25 0 1 0 850919272 20463616 3583 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4996 3583 566 18 0 4978 0
vsize: 19984
[startup+210.074 s]
Raw data (loadavg): 0.98 0.84 0.83 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 3689 0 0 0 20993 16 0 0 25 0 1 0 850919272 20832256 3663 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5086 3663 566 18 0 5068 0
vsize: 20344
[startup+220.095 s]
Raw data (loadavg): 0.99 0.84 0.83 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 3767 0 0 0 21995 17 0 0 25 0 1 0 850919272 21106688 3741 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5153 3741 566 18 0 5135 0
vsize: 20612
[startup+230.095 s]
Raw data (loadavg): 0.99 0.85 0.83 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 3823 0 0 0 22995 17 0 0 25 0 1 0 850919272 21381120 3797 4294967295 134512640 134581267 3221224576 3221223488 134527539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5220 3797 566 18 0 5202 0
vsize: 20880
[startup+240.096 s]
Raw data (loadavg): 0.99 0.85 0.83 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 3901 0 0 0 23995 17 0 0 25 0 1 0 850919272 21659648 3875 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5288 3875 566 18 0 5270 0
vsize: 21152
[startup+250.096 s]
Raw data (loadavg): 0.99 0.85 0.84 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 3981 0 0 0 24994 17 0 0 25 0 1 0 850919272 22024192 3955 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5377 3955 566 18 0 5359 0
vsize: 21508
[startup+260.096 s]
Raw data (loadavg): 0.99 0.86 0.84 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 4048 0 0 0 25994 18 0 0 25 0 1 0 850919272 22302720 4022 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5445 4022 566 18 0 5427 0
vsize: 21780
[startup+270.095 s]
Raw data (loadavg): 0.99 0.86 0.84 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 4081 0 0 0 26994 18 0 0 25 0 1 0 850919272 22437888 4055 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5478 4055 566 18 0 5460 0
vsize: 21912
[startup+280.095 s]
Raw data (loadavg): 0.99 0.87 0.84 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 4148 0 0 0 27994 18 0 0 25 0 1 0 850919272 22761472 4122 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5557 4122 566 18 0 5539 0
vsize: 22228
[startup+290.096 s]
Raw data (loadavg): 0.99 0.87 0.84 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 4183 0 0 0 28993 19 0 0 25 0 1 0 850919272 22851584 4157 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5579 4157 566 18 0 5561 0
vsize: 22316
[startup+300.096 s]
Raw data (loadavg): 0.99 0.87 0.84 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 4261 0 0 0 29993 20 0 0 25 0 1 0 850919272 23175168 4235 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5658 4235 566 18 0 5640 0
vsize: 22632
[startup+310.096 s]
Raw data (loadavg): 0.99 0.88 0.84 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 4316 0 0 0 30993 20 0 0 25 0 1 0 850919272 23359488 4290 4294967295 134512640 134581267 3221224576 3221223472 134517862 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5703 4290 566 18 0 5685 0
vsize: 22812
[startup+320.096 s]
Raw data (loadavg): 0.99 0.88 0.84 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 4362 0 0 0 31992 20 0 0 25 0 1 0 850919272 23543808 4336 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5748 4336 566 18 0 5730 0
vsize: 22992
[startup+330.097 s]
Raw data (loadavg): 0.99 0.89 0.84 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 4430 0 0 0 32992 21 0 0 25 0 1 0 850919272 23818240 4404 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5815 4404 566 18 0 5797 0
vsize: 23260
[startup+340.098 s]
Raw data (loadavg): 0.99 0.89 0.84 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 4507 0 0 0 33992 21 0 0 25 0 1 0 850919272 24231936 4481 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5916 4481 566 18 0 5898 0
vsize: 23664
[startup+350.097 s]
Raw data (loadavg): 0.99 0.89 0.85 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 4531 0 0 0 34992 21 0 0 25 0 1 0 850919272 24231936 4505 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5916 4505 566 18 0 5898 0
vsize: 23664
[startup+360.097 s]
Raw data (loadavg): 0.99 0.89 0.85 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 4573 0 0 0 35991 22 0 0 25 0 1 0 850919272 24408064 4547 4294967295 134512640 134581267 3221224576 3221223472 134517897 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5959 4547 566 18 0 5941 0
vsize: 23836
[startup+370.098 s]
Raw data (loadavg): 0.99 0.90 0.85 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 4652 0 0 0 36991 22 0 0 25 0 1 0 850919272 24776704 4626 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6049 4626 566 18 0 6031 0
vsize: 24196
[startup+380.097 s]
Raw data (loadavg): 0.99 0.90 0.85 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 4719 0 0 0 37991 23 0 0 25 0 1 0 850919272 25051136 4693 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6116 4693 566 18 0 6098 0
vsize: 24464
[startup+390.098 s]
Raw data (loadavg): 0.99 0.90 0.85 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 4753 0 0 0 38990 23 0 0 25 0 1 0 850919272 25190400 4727 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6150 4727 566 18 0 6132 0
vsize: 24600
[startup+400.099 s]
Raw data (loadavg): 0.99 0.91 0.85 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 4809 0 0 0 39991 24 0 0 25 0 1 0 850919272 25419776 4783 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6206 4783 566 18 0 6188 0
vsize: 24824
[startup+410.099 s]
Raw data (loadavg): 0.99 0.91 0.85 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 4876 0 0 0 40990 24 0 0 25 0 1 0 850919272 25694208 4850 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6273 4850 566 18 0 6255 0
vsize: 25092
[startup+420.099 s]
Raw data (loadavg): 0.99 0.91 0.85 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 4876 0 0 0 41989 25 0 0 25 0 1 0 850919272 25694208 4850 4294967295 134512640 134581267 3221224576 3221223488 134527423 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6273 4850 566 18 0 6255 0
vsize: 25092
[startup+430.099 s]
Raw data (loadavg): 0.99 0.91 0.85 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 4954 0 0 0 42989 26 0 0 25 0 1 0 850919272 26017792 4928 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6352 4928 566 18 0 6334 0
vsize: 25408
[startup+440.1 s]
Raw data (loadavg): 0.99 0.92 0.85 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 5021 0 0 0 43989 26 0 0 25 0 1 0 850919272 26337280 4995 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6430 4995 566 18 0 6412 0
vsize: 25720
[startup+450.1 s]
Raw data (loadavg): 0.99 0.92 0.86 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 5078 0 0 0 44989 26 0 0 25 0 1 0 850919272 26517504 5052 4294967295 134512640 134581267 3221224576 3221223472 134517987 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6474 5052 566 18 0 6456 0
vsize: 25896
[startup+460.1 s]
Raw data (loadavg): 0.99 0.92 0.86 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 5122 0 0 0 45988 27 0 0 25 0 1 0 850919272 26701824 5096 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6519 5096 566 18 0 6501 0
vsize: 26076
[startup+470.101 s]
Raw data (loadavg): 0.99 0.92 0.86 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 5166 0 0 0 46988 27 0 0 25 0 1 0 850919272 26931200 5140 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6575 5140 566 18 0 6557 0
vsize: 26300
[startup+480.101 s]
Raw data (loadavg): 0.99 0.92 0.86 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 5222 0 0 0 47988 28 0 0 25 0 1 0 850919272 27066368 5196 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6608 5196 566 18 0 6590 0
vsize: 26432
[startup+490.102 s]
Raw data (loadavg): 0.99 0.93 0.86 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 5288 0 0 0 48988 28 0 0 25 0 1 0 850919272 27430912 5262 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6697 5262 566 18 0 6679 0
vsize: 26788
[startup+500.117 s]
Raw data (loadavg): 0.99 0.93 0.86 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 5366 0 0 0 49989 28 0 0 25 0 1 0 850919272 27750400 5340 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6775 5340 566 18 0 6757 0
vsize: 27100
[startup+510.116 s]
Raw data (loadavg): 0.99 0.93 0.86 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 5446 0 0 0 50989 29 0 0 25 0 1 0 850919272 28028928 5420 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6843 5420 566 18 0 6825 0
vsize: 27372
[startup+520.116 s]
Raw data (loadavg): 0.99 0.93 0.86 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 5513 0 0 0 51988 29 0 0 25 0 1 0 850919272 28299264 5487 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6909 5487 566 18 0 6891 0
vsize: 27636
[startup+530.116 s]
Raw data (loadavg): 0.99 0.93 0.86 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 5569 0 0 0 52988 30 0 0 25 0 1 0 850919272 28483584 5543 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6954 5543 566 18 0 6936 0
vsize: 27816
[startup+540.117 s]
Raw data (loadavg): 0.99 0.94 0.86 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 5644 0 0 0 53988 30 0 0 25 0 1 0 850919272 28758016 5618 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7021 5618 566 18 0 7003 0
vsize: 28084
[startup+550.117 s]
Raw data (loadavg): 0.99 0.94 0.87 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 5690 0 0 0 54988 31 0 0 25 0 1 0 850919272 28983296 5664 4294967295 134512640 134581267 3221224576 3221223472 134517862 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7076 5664 566 18 0 7058 0
vsize: 28304
[startup+560.117 s]
Raw data (loadavg): 0.99 0.94 0.87 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 5735 0 0 0 55988 31 0 0 25 0 1 0 850919272 29167616 5709 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7121 5709 566 18 0 7103 0
vsize: 28484
[startup+570.119 s]
Raw data (loadavg): 0.99 0.94 0.87 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 5780 0 0 0 56988 31 0 0 25 0 1 0 850919272 29347840 5754 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7165 5754 566 18 0 7147 0
vsize: 28660
[startup+580.118 s]
Raw data (loadavg): 0.99 0.94 0.87 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 5835 0 0 0 57988 31 0 0 25 0 1 0 850919272 29577216 5809 4294967295 134512640 134581267 3221224576 3221223472 134517900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7221 5809 566 18 0 7203 0
vsize: 28884
[startup+590.12 s]
Raw data (loadavg): 0.99 0.94 0.87 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 5899 0 0 0 58988 32 0 0 25 0 1 0 850919272 29884416 5873 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7296 5873 566 18 0 7278 0
vsize: 29184
[startup+600.12 s]
Raw data (loadavg): 0.99 0.94 0.87 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 5955 0 0 0 59988 32 0 0 25 0 1 0 850919272 30068736 5929 4294967295 134512640 134581267 3221224576 3221223472 134517862 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7341 5929 566 18 0 7323 0
vsize: 29364
[startup+610.12 s]
Raw data (loadavg): 0.99 0.95 0.87 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 6000 0 0 0 60988 32 0 0 25 0 1 0 850919272 30298112 5974 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7397 5974 566 18 0 7379 0
vsize: 29588
[startup+620.12 s]
Raw data (loadavg): 0.99 0.95 0.87 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 6033 0 0 0 61988 32 0 0 25 0 1 0 850919272 30388224 6007 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7419 6007 566 18 0 7401 0
vsize: 29676
[startup+630.121 s]
Raw data (loadavg): 0.99 0.95 0.87 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 6067 0 0 0 62987 33 0 0 25 0 1 0 850919272 30572544 6041 4294967295 134512640 134581267 3221224576 3221223472 134517862 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7464 6041 566 18 0 7446 0
vsize: 29856
[startup+640.122 s]
Raw data (loadavg): 0.99 0.95 0.87 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 6101 0 0 0 63987 33 0 0 25 0 1 0 850919272 30666752 6075 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7487 6075 566 18 0 7469 0
vsize: 29948
[startup+650.122 s]
Raw data (loadavg): 0.99 0.95 0.87 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 6135 0 0 0 64987 33 0 0 25 0 1 0 850919272 30801920 6109 4294967295 134512640 134581267 3221224576 3221223472 134517862 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7520 6109 566 18 0 7502 0
vsize: 30080
[startup+660.121 s]
Raw data (loadavg): 0.99 0.95 0.88 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 6168 0 0 0 65987 34 0 0 25 0 1 0 850919272 30986240 6142 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7565 6142 566 18 0 7547 0
vsize: 30260
[startup+670.121 s]
Raw data (loadavg): 0.99 0.95 0.88 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 6190 0 0 0 66987 34 0 0 25 0 1 0 850919272 31125504 6164 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7599 6164 566 18 0 7581 0
vsize: 30396
[startup+680.123 s]
Raw data (loadavg): 0.99 0.95 0.88 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 6246 0 0 0 67987 34 0 0 25 0 1 0 850919272 31301632 6220 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7642 6220 566 18 0 7624 0
vsize: 30568
[startup+690.123 s]
Raw data (loadavg): 0.99 0.95 0.88 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 6290 0 0 0 68986 35 0 0 25 0 1 0 850919272 31436800 6264 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7675 6264 566 18 0 7657 0
vsize: 30700
[startup+700.123 s]
Raw data (loadavg): 0.99 0.95 0.88 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 6334 0 0 0 69986 35 0 0 25 0 1 0 850919272 31731712 6308 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7747 6308 566 18 0 7729 0
vsize: 30988
[startup+710.123 s]
Raw data (loadavg): 0.99 0.95 0.88 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 6392 0 0 0 70986 35 0 0 25 0 1 0 850919272 31899648 6366 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7788 6366 566 18 0 7770 0
vsize: 31152
[startup+720.124 s]
Raw data (loadavg): 0.99 0.96 0.88 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 6424 0 0 0 71986 36 0 0 25 0 1 0 850919272 31993856 6398 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7811 6398 566 18 0 7793 0
vsize: 31244
[startup+730.123 s]
Raw data (loadavg): 0.99 0.96 0.88 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 6481 0 0 0 72986 36 0 0 25 0 1 0 850919272 32268288 6455 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7878 6455 566 18 0 7860 0
vsize: 31512
[startup+740.125 s]
Raw data (loadavg): 0.99 0.96 0.88 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 6504 0 0 0 73986 36 0 0 25 0 1 0 850919272 32362496 6478 4294967295 134512640 134581267 3221224576 3221223472 134517862 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7901 6478 566 18 0 7883 0
vsize: 31604
[startup+750.125 s]
Raw data (loadavg): 0.99 0.96 0.88 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 6535 0 0 0 74986 37 0 0 25 0 1 0 850919272 32505856 6509 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7936 6509 566 18 0 7918 0
vsize: 31744
[startup+760.125 s]
Raw data (loadavg): 0.99 0.96 0.89 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 6596 0 0 0 75985 37 0 0 25 0 1 0 850919272 32739328 6566 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7993 6566 566 18 0 7975 0
vsize: 31972
[startup+770.125 s]
Raw data (loadavg): 0.99 0.96 0.89 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 6655 0 0 0 76985 38 0 0 25 0 1 0 850919272 32972800 6625 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8050 6625 566 18 0 8032 0
vsize: 32200
[startup+780.126 s]
Raw data (loadavg): 0.99 0.96 0.89 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 6709 0 0 0 77985 38 0 0 25 0 1 0 850919272 33165312 6673 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8097 6673 566 18 0 8079 0
vsize: 32388
[startup+790.127 s]
Raw data (loadavg): 0.99 0.96 0.89 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 6731 0 0 0 78985 38 0 0 25 0 1 0 850919272 33255424 6695 4294967295 134512640 134581267 3221224576 3221223472 134517897 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8119 6695 566 18 0 8101 0
vsize: 32476
[startup+800.127 s]
Raw data (loadavg): 0.99 0.96 0.89 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 6787 0 0 0 79985 38 0 0 25 0 1 0 850919272 33435648 6751 4294967295 134512640 134581267 3221224576 3221223472 134517900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8163 6751 566 18 0 8145 0
vsize: 32652
[startup+810.127 s]
Raw data (loadavg): 0.99 0.96 0.89 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 6843 0 0 0 80984 39 0 0 25 0 1 0 850919272 33665024 6807 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8219 6807 566 18 0 8201 0
vsize: 32876
[startup+820.128 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 6910 0 0 0 81984 40 0 0 25 0 1 0 850919272 33984512 6874 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8297 6874 566 18 0 8279 0
vsize: 33188
[startup+830.128 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 6977 0 0 0 82984 40 0 0 25 0 1 0 850919272 34263040 6941 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8365 6941 566 18 0 8347 0
vsize: 33460
[startup+840.129 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 7022 0 0 0 83984 40 0 0 25 0 1 0 850919272 34398208 6986 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8398 6986 566 18 0 8380 0
vsize: 33592
[startup+850.13 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 7089 0 0 0 84984 40 0 0 25 0 1 0 850919272 34676736 7053 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8466 7053 566 18 0 8448 0
vsize: 33864
[startup+860.13 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 7122 0 0 0 85984 41 0 0 25 0 1 0 850919272 34906112 7086 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8522 7086 566 18 0 8504 0
vsize: 34088
[startup+870.13 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 7145 0 0 0 86984 41 0 0 25 0 1 0 850919272 34906112 7109 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8522 7109 566 18 0 8504 0
vsize: 34088
[startup+880.13 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 7190 0 0 0 87984 41 0 0 25 0 1 0 850919272 35086336 7154 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8566 7154 566 18 0 8548 0
vsize: 34264
[startup+890.132 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 7246 0 0 0 88983 42 0 0 25 0 1 0 850919272 35364864 7210 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8634 7210 566 18 0 8616 0
vsize: 34536
[startup+900.132 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 7302 0 0 0 89983 42 0 0 25 0 1 0 850919272 35545088 7266 4294967295 134512640 134581267 3221224576 3221223472 134517900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8678 7266 566 18 0 8660 0
vsize: 34712
[startup+910.132 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 7346 0 0 0 90983 42 0 0 25 0 1 0 850919272 35774464 7310 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8734 7310 566 18 0 8716 0
vsize: 34936
[startup+920.134 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 7391 0 0 0 91983 43 0 0 25 0 1 0 850919272 35954688 7355 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8778 7355 566 18 0 8760 0
vsize: 35112
[startup+930.134 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 7392 0 0 0 92982 44 0 0 25 0 1 0 850919272 35954688 7356 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8778 7356 566 18 0 8760 0
vsize: 35112
[startup+940.135 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 7392 0 0 0 93982 44 0 0 25 0 1 0 850919272 35954688 7356 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8778 7356 566 18 0 8760 0
vsize: 35112
[startup+950.135 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 7392 0 0 0 94982 44 0 0 25 0 1 0 850919272 35954688 7356 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8778 7356 566 18 0 8760 0
vsize: 35112
[startup+960.135 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 7392 0 0 0 95982 45 0 0 25 0 1 0 850919272 35954688 7356 4294967295 134512640 134581267 3221224576 3221223488 134527445 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8778 7356 566 18 0 8760 0
vsize: 35112
[startup+970.135 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 7392 0 0 0 96982 45 0 0 25 0 1 0 850919272 35954688 7356 4294967295 134512640 134581267 3221224576 3221223440 134528304 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8778 7356 566 18 0 8760 0
vsize: 35112
[startup+980.136 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 7392 0 0 0 97982 45 0 0 25 0 1 0 850919272 35954688 7356 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8778 7356 566 18 0 8760 0
vsize: 35112
[startup+990.137 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 7392 0 0 0 98982 45 0 0 25 0 1 0 850919272 35954688 7356 4294967295 134512640 134581267 3221224576 3221223472 134517868 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8778 7356 566 18 0 8760 0
vsize: 35112
[startup+1000.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 7392 0 0 0 99982 45 0 0 25 0 1 0 850919272 35954688 7356 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8778 7356 566 18 0 8760 0
vsize: 35112
[startup+1010.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 7392 0 0 0 100982 46 0 0 25 0 1 0 850919272 35954688 7356 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8778 7356 566 18 0 8760 0
vsize: 35112
[startup+1020.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 7392 0 0 0 101982 46 0 0 25 0 1 0 850919272 35954688 7356 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8778 7356 566 18 0 8760 0
vsize: 35112
[startup+1030.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 7392 0 0 0 102982 46 0 0 25 0 1 0 850919272 35954688 7356 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8778 7356 566 18 0 8760 0
vsize: 35112
[startup+1040.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 7392 0 0 0 103982 46 0 0 25 0 1 0 850919272 35954688 7356 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8778 7356 566 18 0 8760 0
vsize: 35112
[startup+1050.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 7392 0 0 0 104982 47 0 0 25 0 1 0 850919272 35954688 7356 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8778 7356 566 18 0 8760 0
vsize: 35112
[startup+1060.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 7392 0 0 0 105981 47 0 0 25 0 1 0 850919272 35954688 7356 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8778 7356 566 18 0 8760 0
vsize: 35112
[startup+1070.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 7392 0 0 0 106981 47 0 0 25 0 1 0 850919272 35954688 7356 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8778 7356 566 18 0 8760 0
vsize: 35112
[startup+1080.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 7392 0 0 0 107981 47 0 0 25 0 1 0 850919272 35954688 7356 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8778 7356 566 18 0 8760 0
vsize: 35112
[startup+1090.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 7392 0 0 0 108981 48 0 0 25 0 1 0 850919272 35954688 7356 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8778 7356 566 18 0 8760 0
vsize: 35112
[startup+1100.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 7392 0 0 0 109981 48 0 0 25 0 1 0 850919272 35954688 7356 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8778 7356 566 18 0 8760 0
vsize: 35112
[startup+1110.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 7392 0 0 0 110981 48 0 0 25 0 1 0 850919272 35954688 7356 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8778 7356 566 18 0 8760 0
vsize: 35112
[startup+1120.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 7392 0 0 0 111981 48 0 0 25 0 1 0 850919272 35954688 7356 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8778 7356 566 18 0 8760 0
vsize: 35112
[startup+1130.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 7392 0 0 0 112981 48 0 0 25 0 1 0 850919272 35954688 7356 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8778 7356 566 18 0 8760 0
vsize: 35112
[startup+1140.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 7392 0 0 0 113981 49 0 0 25 0 1 0 850919272 35954688 7356 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8778 7356 566 18 0 8760 0
vsize: 35112
[startup+1150.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 7392 0 0 0 114981 49 0 0 25 0 1 0 850919272 35954688 7356 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8778 7356 566 18 0 8760 0
vsize: 35112
[startup+1160.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 7392 0 0 0 115981 50 0 0 25 0 1 0 850919272 35954688 7356 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8778 7356 566 18 0 8760 0
vsize: 35112
[startup+1170.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 7392 0 0 0 116981 50 0 0 25 0 1 0 850919272 35954688 7356 4294967295 134512640 134581267 3221224576 3221223472 134517897 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8778 7356 566 18 0 8760 0
vsize: 35112
[startup+1180.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 7392 0 0 0 117981 50 0 0 25 0 1 0 850919272 35954688 7356 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8778 7356 566 18 0 8760 0
vsize: 35112
[startup+1190.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 7392 0 0 0 118981 50 0 0 25 0 1 0 850919272 35954688 7356 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8778 7356 566 18 0 8760 0
vsize: 35112
[startup+1200.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12873
Raw data (stat): 12873 (Pueblo-v2) R 12872 21152 21151 0 -1 0 7392 0 0 0 119980 50 0 0 25 0 1 0 850919272 35954688 7356 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8778 7356 566 18 0 8760 0
vsize: 35112
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.16 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 12873
Raw data (stat): 12873 (Pueblo-v2) Z 12872 21152 21151 0 -1 1036 7392 0 0 0 119980 51 0 0 25 0 1 0 850919272 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.16
CPU time (s): 1200.33
CPU user time (s): 1199.81
CPU system time (s): 0.518921
CPU usage (%): 100.014
Max. virtual memory (Kb): 35112
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####