PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-aflow40b.opb
MD5SUM	64cd8dd71c00255f05a721f3d3f16ae5
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	1364
Biggest coefficient in the objective function	500
Number of bits for the biggest coefficient in the objective function	9
Sum of the numbers in the objective function	230637
Number of bits of the sum of numbers in the objective function	18
Biggest number in a constraint	102400
Number of bits of the biggest number in a constraint	17
Biggest sum of numbers in a constraint	7037881
Number of bits of the biggest sum of numbers	23
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	23384
Total number of constraints	4170
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	1403
Number of constraints which are nor clauses,nor cardinality constraints	2767
Minimum length of a constraint	1
Maximum length of a constraint	1202
Trace number 38773

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        574536 kB
Buffers:         35180 kB
Cached:         401492 kB
SwapCached:        568 kB
Active:          36616 kB
Inactive:       402076 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        574284 kB
SwapTotal:     2097136 kB
SwapFree:      2095632 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5144 kB
Slab:            15712 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 17:07:19 (client local time) WITH STATUS 0 IN 1200.25 SECONDS
stats: 26828 7 1200.25 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.92 0.97 0.91 2/54 9566
Raw data (stat): 9566 (runsolver) R 9565 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 851341715 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.99983 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 9566
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 3231 0 0 0 991 7 0 0 25 0 1 0 851341715 19513344 3179 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4764 3179 566 18 0 4746 0
vsize: 19056
[startup+19.9998 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 9566
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 3231 0 0 0 1991 7 0 0 25 0 1 0 851341715 19513344 3179 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4764 3179 566 18 0 4746 0
vsize: 19056
[startup+30.0003 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 9566
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 3245 0 0 0 2992 7 0 0 25 0 1 0 851341715 19513344 3193 4294967295 134512640 134581267 3221224576 3221223472 134517902 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4764 3193 566 18 0 4746 0
vsize: 19056
[startup+40 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 9566
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 3498 0 0 0 3991 8 0 0 25 0 1 0 851341715 20619264 3446 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5034 3446 566 18 0 5016 0
vsize: 20136
[startup+50.0011 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 9566
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 3563 0 0 0 4991 8 0 0 25 0 1 0 851341715 20758528 3511 4294967295 134512640 134581267 3221224576 3221223488 134527457 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5068 3511 566 18 0 5050 0
vsize: 20272
[startup+60.0005 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 9566
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 3745 0 0 0 5991 8 0 0 25 0 1 0 851341715 21565440 3693 4294967295 134512640 134581267 3221224576 3221223488 134527774 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5265 3693 566 18 0 5247 0
vsize: 21060
[startup+70.0003 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 9566
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 3972 0 0 0 6991 9 0 0 25 0 1 0 851341715 22474752 3920 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5487 3920 566 18 0 5469 0
vsize: 21948
[startup+80.0014 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 9566
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 4167 0 0 0 7990 10 0 0 25 0 1 0 851341715 23257088 4115 4294967295 134512640 134581267 3221224576 3221223488 134528042 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5678 4115 566 18 0 5660 0
vsize: 22712
[startup+90.0008 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 9566
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 4355 0 0 0 8990 10 0 0 25 0 1 0 851341715 24051712 4303 4294967295 134512640 134581267 3221224576 3221223488 134527636 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5872 4303 566 18 0 5854 0
vsize: 23488
[startup+100.001 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 9566
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 4467 0 0 0 9990 10 0 0 25 0 1 0 851341715 24580096 4415 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6001 4415 566 18 0 5983 0
vsize: 24004
[startup+110.001 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 9566
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 4653 0 0 0 10990 11 0 0 25 0 1 0 851341715 25235456 4601 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6161 4601 566 18 0 6143 0
vsize: 24644
[startup+120 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9566
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 4821 0 0 0 11989 11 0 0 25 0 1 0 851341715 26009600 4769 4294967295 134512640 134581267 3221224576 3221223488 134527779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6350 4769 566 18 0 6332 0
vsize: 25400
[startup+130 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9566
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 4821 0 0 0 12989 11 0 0 25 0 1 0 851341715 26009600 4769 4294967295 134512640 134581267 3221224576 3221223488 134527416 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6350 4769 566 18 0 6332 0
vsize: 25400
[startup+140 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9566
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 4821 0 0 0 13990 11 0 0 25 0 1 0 851341715 26009600 4769 4294967295 134512640 134581267 3221224576 3221223488 134527410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6350 4769 566 18 0 6332 0
vsize: 25400
[startup+150 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9566
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 4821 0 0 0 14990 11 0 0 25 0 1 0 851341715 26009600 4769 4294967295 134512640 134581267 3221224576 3221223488 134527774 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6350 4769 566 18 0 6332 0
vsize: 25400
[startup+160 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9566
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 4822 0 0 0 15990 11 0 0 25 0 1 0 851341715 26009600 4770 4294967295 134512640 134581267 3221224576 3221223488 134527703 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6350 4770 566 18 0 6332 0
vsize: 25400
[startup+170 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9566
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 4822 0 0 0 16990 11 0 0 25 0 1 0 851341715 26009600 4770 4294967295 134512640 134581267 3221224576 3221223488 134527516 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6350 4770 566 18 0 6332 0
vsize: 25400
[startup+180.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9566
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 5011 0 0 0 17990 12 0 0 25 0 1 0 851341715 26681344 4959 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6514 4959 566 18 0 6496 0
vsize: 26056
[startup+190.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9566
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 5190 0 0 0 18989 12 0 0 25 0 1 0 851341715 27463680 5138 4294967295 134512640 134581267 3221224576 3221223488 134527451 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6705 5138 566 18 0 6687 0
vsize: 26820
[startup+200.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9566
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 5306 0 0 0 19989 13 0 0 25 0 1 0 851341715 27992064 5254 4294967295 134512640 134581267 3221224576 3221223488 134528045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6834 5254 566 18 0 6816 0
vsize: 27336
[startup+210.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9566
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 5306 0 0 0 20989 13 0 0 25 0 1 0 851341715 27992064 5254 4294967295 134512640 134581267 3221224576 3221223488 134527418 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6834 5254 566 18 0 6816 0
vsize: 27336
[startup+220 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9566
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 5306 0 0 0 21989 13 0 0 25 0 1 0 851341715 27992064 5254 4294967295 134512640 134581267 3221224576 3221223488 134527440 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6834 5254 566 18 0 6816 0
vsize: 27336
[startup+230.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9566
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 5306 0 0 0 22990 13 0 0 25 0 1 0 851341715 27992064 5254 4294967295 134512640 134581267 3221224576 3221223488 134527410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6834 5254 566 18 0 6816 0
vsize: 27336
[startup+240 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9566
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 5326 0 0 0 23990 13 0 0 25 0 1 0 851341715 27992064 5274 4294967295 134512640 134581267 3221224576 3221223488 134527768 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6834 5274 566 18 0 6816 0
vsize: 27336
[startup+250.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9566
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 5515 0 0 0 24989 13 0 0 25 0 1 0 851341715 28782592 5463 4294967295 134512640 134581267 3221224576 3221223488 134527703 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7027 5463 566 18 0 7009 0
vsize: 28108
[startup+260.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9566
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 5710 0 0 0 25989 14 0 0 25 0 1 0 851341715 29663232 5658 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7242 5658 566 18 0 7224 0
vsize: 28968
[startup+270.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9566
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 5791 0 0 0 26989 14 0 0 25 0 1 0 851341715 29925376 5739 4294967295 134512640 134581267 3221224576 3221223488 134527418 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7306 5739 566 18 0 7288 0
vsize: 29224
[startup+280.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9566
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 5946 0 0 0 27989 15 0 0 25 0 1 0 851341715 30576640 5894 4294967295 134512640 134581267 3221224576 3221223488 134528042 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7465 5894 566 18 0 7447 0
vsize: 29860
[startup+290.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9566
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 5946 0 0 0 28989 15 0 0 25 0 1 0 851341715 30576640 5894 4294967295 134512640 134581267 3221224576 3221223488 134527445 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7465 5894 566 18 0 7447 0
vsize: 29860
[startup+300.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9566
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 5946 0 0 0 29989 15 0 0 25 0 1 0 851341715 30576640 5894 4294967295 134512640 134581267 3221224576 3221223488 134528042 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7465 5894 566 18 0 7447 0
vsize: 29860
[startup+310.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9566
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 5946 0 0 0 30989 15 0 0 25 0 1 0 851341715 30576640 5894 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7465 5894 566 18 0 7447 0
vsize: 29860
[startup+320.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9566
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 5946 0 0 0 31989 15 0 0 25 0 1 0 851341715 30576640 5894 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7465 5894 566 18 0 7447 0
vsize: 29860
[startup+330.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9566
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 6151 0 0 0 32989 15 0 0 25 0 1 0 851341715 31481856 6099 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7686 6099 566 18 0 7668 0
vsize: 30744
[startup+340.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9566
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 6361 0 0 0 33989 15 0 0 25 0 1 0 851341715 32280576 6309 4294967295 134512640 134581267 3221224576 3221223488 134527504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7881 6309 566 18 0 7863 0
vsize: 31524
[startup+350.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9566
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 6545 0 0 0 34989 16 0 0 25 0 1 0 851341715 33067008 6493 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8073 6493 566 18 0 8055 0
vsize: 32292
[startup+360.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9566
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 6770 0 0 0 35989 16 0 0 25 0 1 0 851341715 33906688 6718 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8278 6718 566 18 0 8260 0
vsize: 33112
[startup+370.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9566
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 7120 0 0 0 36988 17 0 0 25 0 1 0 851341715 35397632 7068 4294967295 134512640 134581267 3221224576 3221223488 134527416 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8642 7068 566 18 0 8624 0
vsize: 34568
[startup+380.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9566
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 7592 0 0 0 37988 17 0 0 25 0 1 0 851341715 37285888 7540 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9103 7540 566 18 0 9085 0
vsize: 36412
[startup+390.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9566
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 7822 0 0 0 38987 18 0 0 25 0 1 0 851341715 38207488 7770 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9328 7770 566 18 0 9310 0
vsize: 37312
[startup+400.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9566
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 8206 0 0 0 39987 18 0 0 25 0 1 0 851341715 39849984 8154 4294967295 134512640 134581267 3221224576 3221223488 134528053 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9729 8154 566 18 0 9711 0
vsize: 38916
[startup+410.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9566
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 8206 0 0 0 40987 18 0 0 25 0 1 0 851341715 39849984 8154 4294967295 134512640 134581267 3221224576 3221223488 134527442 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9729 8154 566 18 0 9711 0
vsize: 38916
[startup+420.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9566
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 8206 0 0 0 41988 18 0 0 25 0 1 0 851341715 39849984 8154 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9729 8154 566 18 0 9711 0
vsize: 38916
[startup+430.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9566
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 8206 0 0 0 42988 18 0 0 25 0 1 0 851341715 39849984 8154 4294967295 134512640 134581267 3221224576 3221223472 134517900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9729 8154 566 18 0 9711 0
vsize: 38916
[startup+440.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9566
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 8206 0 0 0 43988 18 0 0 25 0 1 0 851341715 39849984 8154 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9729 8154 566 18 0 9711 0
vsize: 38916
[startup+450.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9566
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 8207 0 0 0 44988 18 0 0 25 0 1 0 851341715 39849984 8155 4294967295 134512640 134581267 3221224576 3221223488 134527445 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9729 8155 566 18 0 9711 0
vsize: 38916
[startup+460.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9566
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 8425 0 0 0 45988 19 0 0 25 0 1 0 851341715 40747008 8373 4294967295 134512640 134581267 3221224576 3221223544 134527279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9948 8373 566 18 0 9930 0
vsize: 39792
[startup+470.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9566
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 8694 0 0 0 46988 19 0 0 25 0 1 0 851341715 41783296 8642 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10201 8642 566 18 0 10183 0
vsize: 40804
[startup+480.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9566
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 8943 0 0 0 47988 20 0 0 25 0 1 0 851341715 42827776 8891 4294967295 134512640 134581267 3221224576 3221223488 134527776 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10456 8891 566 18 0 10438 0
vsize: 41824
[startup+490.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9566
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 9298 0 0 0 48987 20 0 0 25 0 1 0 851341715 44335104 9246 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10824 9246 566 18 0 10806 0
vsize: 43296
[startup+500.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9566
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 9563 0 0 0 49986 21 0 0 25 0 1 0 851341715 45436928 9511 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11093 9511 566 18 0 11075 0
vsize: 44372
[startup+510.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9566
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 9798 0 0 0 50986 22 0 0 25 0 1 0 851341715 46342144 9746 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11314 9746 566 18 0 11296 0
vsize: 45256
[startup+520.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9566
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 10109 0 0 0 51985 23 0 0 25 0 1 0 851341715 47636480 10057 4294967295 134512640 134581267 3221224576 3221223504 134519958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11630 10057 566 18 0 11612 0
vsize: 46520
[startup+530.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9566
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 10109 0 0 0 52985 23 0 0 25 0 1 0 851341715 47636480 10057 4294967295 134512640 134581267 3221224576 3221223556 134561052 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11630 10057 566 18 0 11612 0
vsize: 46520
[startup+540.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9566
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 10109 0 0 0 53986 23 0 0 25 0 1 0 851341715 47636480 10057 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11630 10057 566 18 0 11612 0
vsize: 46520
[startup+550.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9566
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 10109 0 0 0 54986 23 0 0 25 0 1 0 851341715 47636480 10057 4294967295 134512640 134581267 3221224576 3221223488 134527720 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11630 10057 566 18 0 11612 0
vsize: 46520
[startup+560.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9566
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 10109 0 0 0 55986 23 0 0 25 0 1 0 851341715 47636480 10057 4294967295 134512640 134581267 3221224576 3221223472 134517900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11630 10057 566 18 0 11612 0
vsize: 46520
[startup+570.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9566
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 10109 0 0 0 56986 23 0 0 25 0 1 0 851341715 47636480 10057 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11630 10057 566 18 0 11612 0
vsize: 46520
[startup+580.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9566
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 10109 0 0 0 57986 23 0 0 25 0 1 0 851341715 47636480 10057 4294967295 134512640 134581267 3221224576 3221223488 134527516 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11630 10057 566 18 0 11612 0
vsize: 46520
[startup+590.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9566
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 10109 0 0 0 58987 23 0 0 25 0 1 0 851341715 47636480 10057 4294967295 134512640 134581267 3221224576 3221223504 134519958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11630 10057 566 18 0 11612 0
vsize: 46520
[startup+600.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9566
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 10109 0 0 0 59987 23 0 0 25 0 1 0 851341715 47636480 10057 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11630 10057 566 18 0 11612 0
vsize: 46520
[startup+610.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9566
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 10109 0 0 0 60987 23 0 0 25 0 1 0 851341715 47636480 10057 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11630 10057 566 18 0 11612 0
vsize: 46520
[startup+620.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9566
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 10309 0 0 0 61987 23 0 0 25 0 1 0 851341715 48455680 10257 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11830 10257 566 18 0 11812 0
vsize: 47320
[startup+630.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9566
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 10737 0 0 0 62986 24 0 0 25 0 1 0 851341715 50204672 10685 4294967295 134512640 134581267 3221224576 3221223488 134527695 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12257 10685 566 18 0 12239 0
vsize: 49028
[startup+640.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9566
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 10884 0 0 0 63986 24 0 0 25 0 1 0 851341715 50806784 10832 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12404 10832 566 18 0 12386 0
vsize: 49616
[startup+650.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9566
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 10884 0 0 0 64986 24 0 0 25 0 1 0 851341715 50806784 10832 4294967295 134512640 134581267 3221224576 3221223488 134527429 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12404 10832 566 18 0 12386 0
vsize: 49616
[startup+660.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9566
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 10884 0 0 0 65986 24 0 0 25 0 1 0 851341715 50806784 10832 4294967295 134512640 134581267 3221224576 3221223488 134528040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12404 10832 566 18 0 12386 0
vsize: 49616
[startup+670.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9566
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 10884 0 0 0 66987 24 0 0 25 0 1 0 851341715 50806784 10832 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12404 10832 566 18 0 12386 0
vsize: 49616
[startup+680.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9566
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 10884 0 0 0 67987 24 0 0 25 0 1 0 851341715 50806784 10832 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12404 10832 566 18 0 12386 0
vsize: 49616
[startup+690.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9566
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 10884 0 0 0 68987 24 0 0 25 0 1 0 851341715 50806784 10832 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12404 10832 566 18 0 12386 0
vsize: 49616
[startup+700.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9566
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 10884 0 0 0 69987 24 0 0 25 0 1 0 851341715 50806784 10832 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12404 10832 566 18 0 12386 0
vsize: 49616
[startup+710.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9566
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 10884 0 0 0 70987 24 0 0 25 0 1 0 851341715 50806784 10832 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12404 10832 566 18 0 12386 0
vsize: 49616
[startup+720.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9566
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 10884 0 0 0 71987 24 0 0 25 0 1 0 851341715 50806784 10832 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12404 10832 566 18 0 12386 0
vsize: 49616
[startup+730.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9566
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 10884 0 0 0 72988 24 0 0 25 0 1 0 851341715 50806784 10832 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12404 10832 566 18 0 12386 0
vsize: 49616
[startup+740.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9566
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 10884 0 0 0 73988 24 0 0 25 0 1 0 851341715 50806784 10832 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12404 10832 566 18 0 12386 0
vsize: 49616
[startup+750.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9566
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 10884 0 0 0 74988 24 0 0 25 0 1 0 851341715 50806784 10832 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12404 10832 566 18 0 12386 0
vsize: 49616
[startup+760.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9566
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 10884 0 0 0 75988 24 0 0 25 0 1 0 851341715 50806784 10832 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12404 10832 566 18 0 12386 0
vsize: 49616
[startup+770.011 s]
Raw data (loadavg): 1.07 0.99 0.92 3/57 9614
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 10884 0 0 0 76988 25 0 0 25 0 1 0 851341715 50806784 10832 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12404 10832 566 18 0 12386 0
vsize: 49616
[startup+780.01 s]
Raw data (loadavg): 1.06 0.99 0.92 2/54 9619
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 10884 0 0 0 77988 25 0 0 25 0 1 0 851341715 50806784 10832 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12404 10832 566 18 0 12386 0
vsize: 49616
[startup+790.019 s]
Raw data (loadavg): 1.05 0.99 0.92 2/54 9619
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 10884 0 0 0 78989 25 0 0 25 0 1 0 851341715 50806784 10832 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12404 10832 566 18 0 12386 0
vsize: 49616
[startup+800.02 s]
Raw data (loadavg): 1.04 0.99 0.92 2/54 9619
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 10884 0 0 0 79989 25 0 0 25 0 1 0 851341715 50806784 10832 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12404 10832 566 18 0 12386 0
vsize: 49616
[startup+810.02 s]
Raw data (loadavg): 1.04 0.99 0.92 2/54 9619
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 10891 0 0 0 80989 25 0 0 25 0 1 0 851341715 50806784 10839 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12404 10839 566 18 0 12386 0
vsize: 49616
[startup+820.019 s]
Raw data (loadavg): 1.03 0.99 0.92 2/54 9619
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 10988 0 0 0 81989 25 0 0 25 0 1 0 851341715 51183616 10936 4294967295 134512640 134581267 3221224576 3221223488 134527423 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12496 10936 566 18 0 12478 0
vsize: 49984
[startup+830.019 s]
Raw data (loadavg): 1.03 0.99 0.92 2/54 9619
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 11188 0 0 0 82988 26 0 0 25 0 1 0 851341715 52137984 11136 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12729 11136 566 18 0 12711 0
vsize: 50916
[startup+840.019 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 9619
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 11309 0 0 0 83988 26 0 0 25 0 1 0 851341715 52547584 11257 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12829 11257 566 18 0 12811 0
vsize: 51316
[startup+850.02 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 9621
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 11443 0 0 0 84988 26 0 0 25 0 1 0 851341715 53075968 11391 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12958 11391 566 18 0 12940 0
vsize: 51832
[startup+860.02 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 9621
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 11553 0 0 0 85988 27 0 0 25 0 1 0 851341715 53633024 11501 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13094 11501 566 18 0 13076 0
vsize: 52376
[startup+870.02 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 9621
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 11682 0 0 0 86988 27 0 0 25 0 1 0 851341715 54071296 11630 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13201 11630 566 18 0 13183 0
vsize: 52804
[startup+880.02 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 9621
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 11865 0 0 0 87988 27 0 0 25 0 1 0 851341715 54800384 11813 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13379 11813 566 18 0 13361 0
vsize: 53516
[startup+890.02 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 9621
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 12001 0 0 0 88988 27 0 0 25 0 1 0 851341715 55357440 11949 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13515 11949 566 18 0 13497 0
vsize: 54060
[startup+900.02 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 9621
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 12111 0 0 0 89988 28 0 0 25 0 1 0 851341715 55808000 12059 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13625 12059 566 18 0 13607 0
vsize: 54500
[startup+910.021 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 9621
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 12218 0 0 0 90988 28 0 0 25 0 1 0 851341715 56348672 12166 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13757 12166 566 18 0 13739 0
vsize: 55028
[startup+920.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 9621
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 12325 0 0 0 91988 28 0 0 25 0 1 0 851341715 56684544 12273 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13839 12273 566 18 0 13821 0
vsize: 55356
[startup+930.021 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 9621
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 12432 0 0 0 92988 28 0 0 25 0 1 0 851341715 57208832 12380 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13967 12380 566 18 0 13949 0
vsize: 55868
[startup+940.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 9621
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 12530 0 0 0 93988 28 0 0 25 0 1 0 851341715 57552896 12478 4294967295 134512640 134581267 3221224576 3221223472 134517868 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14051 12478 566 18 0 14033 0
vsize: 56204
[startup+950.021 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 9621
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 12630 0 0 0 94988 29 0 0 25 0 1 0 851341715 57917440 12578 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14140 12578 566 18 0 14122 0
vsize: 56560
[startup+960.022 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 9621
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 12740 0 0 0 95988 29 0 0 25 0 1 0 851341715 58400768 12688 4294967295 134512640 134581267 3221224576 3221223472 134517897 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14258 12688 566 18 0 14240 0
vsize: 57032
[startup+970.022 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 9621
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 12845 0 0 0 96987 29 0 0 25 0 1 0 851341715 58798080 12793 4294967295 134512640 134581267 3221224576 3221223352 1075291826 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14355 12793 566 18 0 14337 0
vsize: 57420
[startup+980.022 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 9621
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 12968 0 0 0 97987 30 0 0 25 0 1 0 851341715 59322368 12916 4294967295 134512640 134581267 3221224576 3221223472 134517900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14483 12916 566 18 0 14465 0
vsize: 57932
[startup+990.022 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 9621
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 13092 0 0 0 98987 30 0 0 25 0 1 0 851341715 59830272 13040 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14607 13040 566 18 0 14589 0
vsize: 58428
[startup+1000.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 9621
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 13202 0 0 0 99987 31 0 0 25 0 1 0 851341715 60387328 13150 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14743 13150 566 18 0 14725 0
vsize: 58972
[startup+1010.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 9621
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 13318 0 0 0 100987 31 0 0 25 0 1 0 851341715 60755968 13266 4294967295 134512640 134581267 3221224576 3221223472 134517862 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14833 13266 566 18 0 14815 0
vsize: 59332
[startup+1020.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 9621
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 13444 0 0 0 101987 31 0 0 25 0 1 0 851341715 61259776 13392 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14956 13392 566 18 0 14938 0
vsize: 59824
[startup+1030.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 9621
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 13647 0 0 0 102986 32 0 0 25 0 1 0 851341715 62103552 13595 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15162 13595 566 18 0 15144 0
vsize: 60648
[startup+1040.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 9621
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 13835 0 0 0 103985 33 0 0 25 0 1 0 851341715 62873600 13783 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15350 13783 566 18 0 15332 0
vsize: 61400
[startup+1050.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 9621
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 14035 0 0 0 104985 33 0 0 25 0 1 0 851341715 63692800 13983 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15550 13983 566 18 0 15532 0
vsize: 62200
[startup+1060.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 9621
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 14244 0 0 0 105985 33 0 0 25 0 1 0 851341715 64655360 14192 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15785 14192 566 18 0 15767 0
vsize: 63140
[startup+1070.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 9621
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 14475 0 0 0 106985 33 0 0 25 0 1 0 851341715 65531904 14423 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15999 14423 566 18 0 15981 0
vsize: 63996
[startup+1080.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 9621
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 14670 0 0 0 107984 34 0 0 25 0 1 0 851341715 66396160 14618 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16210 14618 566 18 0 16192 0
vsize: 64840
[startup+1090.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 9621
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 14886 0 0 0 108984 35 0 0 25 0 1 0 851341715 67223552 14834 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16412 14834 566 18 0 16394 0
vsize: 65648
[startup+1100.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 9621
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 15119 0 0 0 109983 35 0 0 25 0 1 0 851341715 68157440 15067 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16640 15067 566 18 0 16622 0
vsize: 66560
[startup+1110.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 9623
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 15274 0 0 0 110983 36 0 0 25 0 1 0 851341715 68796416 15222 4294967295 134512640 134581267 3221224576 3221223520 134559434 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16796 15222 566 18 0 16778 0
vsize: 67184
[startup+1120.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 9623
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 15469 0 0 0 111983 36 0 0 25 0 1 0 851341715 69586944 15417 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16989 15417 566 18 0 16971 0
vsize: 67956
[startup+1130.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 9623
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 15752 0 0 0 112982 37 0 0 25 0 1 0 851341715 70832128 15700 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17293 15700 566 18 0 17275 0
vsize: 69172
[startup+1140.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 9623
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 15946 0 0 0 113982 37 0 0 25 0 1 0 851341715 71626752 15894 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17487 15894 566 18 0 17469 0
vsize: 69948
[startup+1150.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 9623
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 16156 0 0 0 114982 37 0 0 25 0 1 0 851341715 72482816 16104 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17696 16104 566 18 0 17678 0
vsize: 70784
[startup+1160.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 9623
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 16429 0 0 0 115982 38 0 0 25 0 1 0 851341715 73482240 16377 4294967295 134512640 134581267 3221224576 3221223488 134527768 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17940 16377 566 18 0 17922 0
vsize: 71760
[startup+1170.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 9623
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 16628 0 0 0 116981 39 0 0 25 0 1 0 851341715 74416128 16576 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18168 16576 566 18 0 18150 0
vsize: 72672
[startup+1180.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 9623
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 16836 0 0 0 117981 39 0 0 25 0 1 0 851341715 75137024 16784 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18344 16784 566 18 0 18326 0
vsize: 73376
[startup+1190.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 9623
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 17040 0 0 0 118981 39 0 0 25 0 1 0 851341715 75997184 16988 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18554 16988 566 18 0 18536 0
vsize: 74216
[startup+1200.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 9623
Raw data (stat): 9566 (Pueblo-v2) R 9565 7266 7265 0 -1 0 17164 0 0 0 119981 40 0 0 25 0 1 0 851341715 76521472 17112 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18682 17112 566 18 0 18664 0
vsize: 74728
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.06 s]
Raw data (loadavg): 1.00 0.99 0.92 1/54 9623
Raw data (stat): 9566 (Pueblo-v2) Z 9565 7266 7265 0 -1 1036 17164 0 0 0 119981 43 0 0 25 0 1 0 851341715 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.06
CPU time (s): 1200.25
CPU user time (s): 1199.81
CPU system time (s): 0.433934
CPU usage (%): 100.016
Max. virtual memory (Kb): 74728
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####