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-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-bienst1.opb
MD5SUM	3be753912a1804561d804d0545fc341d
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	20
Biggest coefficient in the objective function	524288
Number of bits for the biggest coefficient in the objective function	20
Sum of the numbers in the objective function	1048575
Number of bits of the sum of numbers in the objective function	20
Biggest number in a constraint	524288
Number of bits of the biggest number in a constraint	20
Biggest sum of numbers in a constraint	13633395
Number of bits of the biggest sum of numbers	24
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	9232
Total number of constraints	632
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	32
Number of constraints which are nor clauses,nor cardinality constraints	600
Minimum length of a constraint	1
Maximum length of a constraint	260
Trace number 26857

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc23 THE 2005-05-24 17:18:03 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19416 boxname=wulflinc23 idbench=1494 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  3be753912a1804561d804d0545fc341d  /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-13-7-bienst1.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-13-7-bienst1.opb
IDLAUNCH: 19416
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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	: 3
cpu MHz		: 451.037
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:        849912 kB
Buffers:         35416 kB
Cached:         127596 kB
SwapCached:        664 kB
Active:          73936 kB
Inactive:        91556 kB
HighTotal:      131008 kB
HighFree:        12404 kB
LowTotal:       903652 kB
LowFree:        837508 kB
SwapTotal:     2097136 kB
SwapFree:      2096032 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5652 kB
Slab:            13724 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 17:38:06 (client local time) WITH STATUS 0 IN 1200.29 SECONDS
stats: 19416 7 1200.29 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
Raw data (loadavg): 0.90 0.94 0.94 2/54 8148
Raw data (stat): 8148 (runsolver) R 8147 5562 5561 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 831979387 1052672 99 4294967295 134512640 135381576 3221224496 3221219716 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.99996 s]
Raw data (loadavg): 0.92 0.94 0.94 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 1889 0 0 0 994 4 0 0 25 0 1 0 831979387 13860864 1867 4294967295 134512640 134581331 3221224592 3221223504 134527772 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3384 1867 566 18 0 3366 0
vsize: 13536
[startup+19.9993 s]
Raw data (loadavg): 0.93 0.94 0.94 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 2034 0 0 0 1994 5 0 0 25 0 1 0 831979387 14516224 2012 4294967295 134512640 134581331 3221224592 3221223504 134527539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3544 2012 566 18 0 3526 0
vsize: 14176
[startup+30.0052 s]
Raw data (loadavg): 0.94 0.94 0.94 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 2049 0 0 0 2995 5 0 0 25 0 1 0 831979387 14516224 2027 4294967295 134512640 134581331 3221224592 3221223584 134561089 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3544 2027 566 18 0 3526 0
vsize: 14176
[startup+40.0069 s]
Raw data (loadavg): 0.95 0.94 0.94 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 2124 0 0 0 3995 5 0 0 25 0 1 0 831979387 14909440 2102 4294967295 134512640 134581331 3221224592 3221223536 134560136 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3640 2102 566 18 0 3622 0
vsize: 14560
[startup+50.0255 s]
Raw data (loadavg): 0.95 0.94 0.94 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 2166 0 0 0 4996 5 0 0 25 0 1 0 831979387 15040512 2144 4294967295 134512640 134581331 3221224592 3221223504 134527429 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3672 2144 566 18 0 3654 0
vsize: 14688
[startup+60.0249 s]
Raw data (loadavg): 0.96 0.95 0.94 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 2166 0 0 0 5996 6 0 0 25 0 1 0 831979387 15040512 2144 4294967295 134512640 134581331 3221224592 3221223504 134527504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3672 2144 566 18 0 3654 0
vsize: 14688
[startup+70.0268 s]
Raw data (loadavg): 0.97 0.95 0.94 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 2170 0 0 0 6997 6 0 0 25 0 1 0 831979387 15040512 2148 4294967295 134512640 134581331 3221224592 3221223504 134527434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3672 2148 566 18 0 3654 0
vsize: 14688
[startup+80.0275 s]
Raw data (loadavg): 0.97 0.95 0.94 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 2195 0 0 0 7997 6 0 0 25 0 1 0 831979387 15171584 2173 4294967295 134512640 134581331 3221224592 3221223504 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3704 2173 566 18 0 3686 0
vsize: 14816
[startup+90.0271 s]
Raw data (loadavg): 0.98 0.95 0.94 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 2195 0 0 0 8997 6 0 0 25 0 1 0 831979387 15171584 2173 4294967295 134512640 134581331 3221224592 3221223504 134527539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3704 2173 566 18 0 3686 0
vsize: 14816
[startup+100.039 s]
Raw data (loadavg): 0.98 0.95 0.94 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 2214 0 0 0 9998 6 0 0 25 0 1 0 831979387 15171584 2192 4294967295 134512640 134581331 3221224592 3221223504 134527434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3704 2192 566 18 0 3686 0
vsize: 14816
[startup+110.051 s]
Raw data (loadavg): 0.98 0.95 0.94 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 2291 0 0 0 11000 6 0 0 25 0 1 0 831979387 15564800 2269 4294967295 134512640 134581331 3221224592 3221223504 134527325 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3800 2269 566 18 0 3782 0
vsize: 15200
[startup+120.051 s]
Raw data (loadavg): 0.98 0.95 0.94 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 2291 0 0 0 12000 6 0 0 25 0 1 0 831979387 15503360 2269 4294967295 134512640 134581331 3221224592 3221223504 134527967 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3785 2269 566 18 0 3767 0
vsize: 15140
[startup+130.052 s]
Raw data (loadavg): 0.99 0.95 0.94 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 2297 0 0 0 13000 6 0 0 25 0 1 0 831979387 15503360 2275 4294967295 134512640 134581331 3221224592 3221223584 134561089 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3785 2275 566 18 0 3767 0
vsize: 15140
[startup+140.051 s]
Raw data (loadavg): 0.99 0.95 0.94 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 2362 0 0 0 14000 6 0 0 25 0 1 0 831979387 15863808 2340 4294967295 134512640 134581331 3221224592 3221223504 134527442 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3873 2340 566 18 0 3855 0
vsize: 15492
[startup+150.052 s]
Raw data (loadavg): 0.99 0.95 0.94 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 2362 0 0 0 15000 6 0 0 25 0 1 0 831979387 15863808 2340 4294967295 134512640 134581331 3221224592 3221223504 134527451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3873 2340 566 18 0 3855 0
vsize: 15492
[startup+160.053 s]
Raw data (loadavg): 0.99 0.96 0.94 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 2362 0 0 0 16000 6 0 0 25 0 1 0 831979387 15863808 2340 4294967295 134512640 134581331 3221224592 3221223504 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3873 2340 566 18 0 3855 0
vsize: 15492
[startup+170.052 s]
Raw data (loadavg): 0.99 0.96 0.94 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 2362 0 0 0 17001 6 0 0 25 0 1 0 831979387 15863808 2340 4294967295 134512640 134581331 3221224592 3221223504 134527525 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3873 2340 566 18 0 3855 0
vsize: 15492
[startup+180.052 s]
Raw data (loadavg): 0.99 0.96 0.94 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 2417 0 0 0 18001 6 0 0 25 0 1 0 831979387 15982592 2390 4294967295 134512640 134581331 3221224592 3221223536 134560142 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3902 2390 566 18 0 3884 0
vsize: 15608
[startup+190.053 s]
Raw data (loadavg): 0.99 0.96 0.94 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 2441 0 0 0 19001 6 0 0 25 0 1 0 831979387 16035840 2403 4294967295 134512640 134581331 3221224592 3221223488 134517851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3915 2403 566 18 0 3897 0
vsize: 15660
[startup+200.053 s]
Raw data (loadavg): 0.99 0.96 0.94 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 2470 0 0 0 20001 7 0 0 25 0 1 0 831979387 15994880 2390 4294967295 134512640 134581331 3221224592 3221223456 134528535 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3905 2390 566 18 0 3887 0
vsize: 15620
[startup+210.053 s]
Raw data (loadavg): 0.99 0.96 0.94 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 2470 0 0 0 21001 7 0 0 25 0 1 0 831979387 15994880 2390 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3905 2390 566 18 0 3887 0
vsize: 15620
[startup+220.054 s]
Raw data (loadavg): 0.99 0.96 0.94 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 2495 0 0 0 22001 7 0 0 25 0 1 0 831979387 16101376 2415 4294967295 134512640 134581331 3221224592 3221223536 134560149 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3931 2415 566 18 0 3913 0
vsize: 15724
[startup+230.054 s]
Raw data (loadavg): 0.99 0.96 0.94 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 2588 0 0 0 23001 7 0 0 25 0 1 0 831979387 16285696 2461 4294967295 134512640 134581331 3221224592 3221223504 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3976 2461 566 18 0 3958 0
vsize: 15904
[startup+240.054 s]
Raw data (loadavg): 0.99 0.96 0.94 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 2588 0 0 0 24001 7 0 0 25 0 1 0 831979387 16285696 2461 4294967295 134512640 134581331 3221224592 3221223504 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3976 2461 566 18 0 3958 0
vsize: 15904
[startup+250.054 s]
Raw data (loadavg): 0.99 0.96 0.94 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 2588 0 0 0 25001 7 0 0 25 0 1 0 831979387 16285696 2461 4294967295 134512640 134581331 3221224592 3221223504 134528088 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3976 2461 566 18 0 3958 0
vsize: 15904
[startup+260.054 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 2588 0 0 0 26002 7 0 0 25 0 1 0 831979387 16285696 2461 4294967295 134512640 134581331 3221224592 3221223520 134519857 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3976 2461 566 18 0 3958 0
vsize: 15904
[startup+270.054 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 2591 0 0 0 27002 7 0 0 25 0 1 0 831979387 16416768 2464 4294967295 134512640 134581331 3221224592 3221223472 134520278 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4008 2464 566 18 0 3990 0
vsize: 16032
[startup+280.054 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 2626 0 0 0 28002 7 0 0 25 0 1 0 831979387 16416768 2496 4294967295 134512640 134581331 3221224592 3221223504 134527709 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4008 2496 566 18 0 3990 0
vsize: 16032
[startup+290.055 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 2626 0 0 0 29002 7 0 0 25 0 1 0 831979387 16416768 2496 4294967295 134512640 134581331 3221224592 3221223520 134519958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4008 2496 566 18 0 3990 0
vsize: 16032
[startup+300.055 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 2629 0 0 0 30002 7 0 0 25 0 1 0 831979387 16519168 2496 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4033 2496 566 18 0 4015 0
vsize: 16132
[startup+310.054 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 2629 0 0 0 31002 7 0 0 25 0 1 0 831979387 16355328 2481 4294967295 134512640 134581331 3221224592 3221223536 134560142 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3993 2481 566 18 0 3975 0
vsize: 15972
[startup+320.054 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 2629 0 0 0 32002 7 0 0 25 0 1 0 831979387 16355328 2481 4294967295 134512640 134581331 3221224592 3221223504 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3993 2481 566 18 0 3975 0
vsize: 15972
[startup+330.054 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 2639 0 0 0 33002 7 0 0 25 0 1 0 831979387 16478208 2491 4294967295 134512640 134581331 3221224592 3221223488 134517851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4023 2491 566 18 0 4005 0
vsize: 16092
[startup+340.054 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 2639 0 0 0 34003 7 0 0 25 0 1 0 831979387 16478208 2491 4294967295 134512640 134581331 3221224592 3221223504 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4023 2491 566 18 0 4005 0
vsize: 16092
[startup+350.055 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 2639 0 0 0 35003 7 0 0 25 0 1 0 831979387 16478208 2491 4294967295 134512640 134581331 3221224592 3221223504 134528074 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4023 2491 566 18 0 4005 0
vsize: 16092
[startup+360.056 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 2671 0 0 0 36003 7 0 0 25 0 1 0 831979387 16609280 2523 4294967295 134512640 134581331 3221224592 3221223376 134528785 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4055 2523 566 18 0 4037 0
vsize: 16220
[startup+370.055 s]
Raw data (loadavg): 1.07 0.99 0.95 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 2683 0 0 0 37003 7 0 0 25 0 1 0 831979387 16609280 2535 4294967295 134512640 134581331 3221224592 3221223552 134516754 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4055 2535 566 18 0 4037 0
vsize: 16220
[startup+380.056 s]
Raw data (loadavg): 1.06 0.99 0.95 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 2693 0 0 0 38004 7 0 0 25 0 1 0 831979387 16740352 2545 4294967295 134512640 134581331 3221224592 3221223488 134517859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4087 2545 566 18 0 4069 0
vsize: 16348
[startup+390.056 s]
Raw data (loadavg): 1.05 0.99 0.95 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 2693 0 0 0 39004 7 0 0 25 0 1 0 831979387 16695296 2545 4294967295 134512640 134581331 3221224592 3221223456 134528331 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4076 2545 566 18 0 4058 0
vsize: 16304
[startup+400.056 s]
Raw data (loadavg): 1.04 0.99 0.95 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 2693 0 0 0 40004 7 0 0 25 0 1 0 831979387 16646144 2545 4294967295 134512640 134581331 3221224592 3221223488 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4064 2545 566 18 0 4046 0
vsize: 16256
[startup+410.056 s]
Raw data (loadavg): 1.04 0.99 0.95 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 2693 0 0 0 41004 8 0 0 25 0 1 0 831979387 16556032 2530 4294967295 134512640 134581331 3221224592 3221223504 134527695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4042 2530 566 18 0 4024 0
vsize: 16168
[startup+420.055 s]
Raw data (loadavg): 1.03 0.99 0.95 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 2693 0 0 0 42004 8 0 0 25 0 1 0 831979387 16494592 2515 4294967295 134512640 134581331 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4027 2515 566 18 0 4009 0
vsize: 16108
[startup+430.056 s]
Raw data (loadavg): 1.03 0.99 0.95 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 2693 0 0 0 43004 8 0 0 25 0 1 0 831979387 16494592 2515 4294967295 134512640 134581331 3221224592 3221223504 134527513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4027 2515 566 18 0 4009 0
vsize: 16108
[startup+440.055 s]
Raw data (loadavg): 1.02 0.99 0.95 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 2696 0 0 0 44004 8 0 0 25 0 1 0 831979387 16625664 2518 4294967295 134512640 134581331 3221224592 3221223504 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4059 2518 566 18 0 4041 0
vsize: 16236
[startup+450.056 s]
Raw data (loadavg): 1.02 0.99 0.95 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 2696 0 0 0 45004 8 0 0 25 0 1 0 831979387 16617472 2518 4294967295 134512640 134581331 3221224592 3221223536 134558800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4057 2518 566 18 0 4039 0
vsize: 16228
[startup+460.056 s]
Raw data (loadavg): 1.01 0.99 0.95 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 2761 0 0 0 46004 8 0 0 25 0 1 0 831979387 16879616 2583 4294967295 134512640 134581331 3221224592 3221223504 134527537 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4121 2583 566 18 0 4103 0
vsize: 16484
[startup+470.055 s]
Raw data (loadavg): 1.01 0.99 0.95 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 2761 0 0 0 47005 8 0 0 25 0 1 0 831979387 16846848 2583 4294967295 134512640 134581331 3221224592 3221223504 134527440 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4113 2583 566 18 0 4095 0
vsize: 16452
[startup+480.055 s]
Raw data (loadavg): 1.01 0.99 0.95 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 2761 0 0 0 48005 8 0 0 25 0 1 0 831979387 16846848 2583 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4113 2583 566 18 0 4095 0
vsize: 16452
[startup+490.056 s]
Raw data (loadavg): 1.01 0.99 0.95 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 2761 0 0 0 49005 8 0 0 25 0 1 0 831979387 16846848 2583 4294967295 134512640 134581331 3221224592 3221223504 134531401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4113 2583 566 18 0 4095 0
vsize: 16452
[startup+500.056 s]
Raw data (loadavg): 1.01 0.99 0.95 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 2761 0 0 0 50005 8 0 0 25 0 1 0 831979387 16846848 2583 4294967295 134512640 134581331 3221224592 3221223456 134560350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4113 2583 566 18 0 4095 0
vsize: 16452
[startup+510.057 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 2761 0 0 0 51005 8 0 0 25 0 1 0 831979387 16846848 2583 4294967295 134512640 134581331 3221224592 3221223456 134560471 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4113 2583 566 18 0 4095 0
vsize: 16452
[startup+520.056 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 2761 0 0 0 52005 8 0 0 25 0 1 0 831979387 16846848 2583 4294967295 134512640 134581331 3221224592 3221223504 134527504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4113 2583 566 18 0 4095 0
vsize: 16452
[startup+530.056 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 2761 0 0 0 53006 8 0 0 25 0 1 0 831979387 16846848 2583 4294967295 134512640 134581331 3221224592 3221223504 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4113 2583 566 18 0 4095 0
vsize: 16452
[startup+540.056 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 2761 0 0 0 54006 8 0 0 25 0 1 0 831979387 16846848 2583 4294967295 134512640 134581331 3221224592 3221223408 134528848 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4113 2583 566 18 0 4095 0
vsize: 16452
[startup+550.057 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 2761 0 0 0 55006 8 0 0 25 0 1 0 831979387 16846848 2583 4294967295 134512640 134581331 3221224592 3221223488 134517902 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4113 2583 566 18 0 4095 0
vsize: 16452
[startup+560.058 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 2761 0 0 0 56006 8 0 0 25 0 1 0 831979387 16846848 2583 4294967295 134512640 134581331 3221224592 3221223536 134560142 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4113 2583 566 18 0 4095 0
vsize: 16452
[startup+570.057 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 2761 0 0 0 57006 8 0 0 25 0 1 0 831979387 16842752 2583 4294967295 134512640 134581331 3221224592 3221223472 134520448 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4112 2583 566 18 0 4094 0
vsize: 16448
[startup+580.058 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 2761 0 0 0 58007 8 0 0 25 0 1 0 831979387 16838656 2583 4294967295 134512640 134581331 3221224592 3221223504 134527670 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4111 2583 566 18 0 4093 0
vsize: 16444
[startup+590.058 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 3445 0 0 0 59006 9 0 0 25 0 1 0 831979387 19603456 3267 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4786 3267 566 18 0 4768 0
vsize: 19144
[startup+600.059 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 3655 0 0 0 60005 10 0 0 25 0 1 0 831979387 20520960 3477 4294967295 134512640 134581331 3221224592 3221223504 134527504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5010 3477 566 18 0 4992 0
vsize: 20040
[startup+610.059 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 3849 0 0 0 61005 11 0 0 25 0 1 0 831979387 21311488 3671 4294967295 134512640 134581331 3221224592 3221223504 134528074 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5203 3671 566 18 0 5185 0
vsize: 20812
[startup+620.058 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 3988 0 0 0 62005 11 0 0 25 0 1 0 831979387 21848064 3810 4294967295 134512640 134581331 3221224592 3221223488 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5334 3810 566 18 0 5316 0
vsize: 21336
[startup+630.059 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 4088 0 0 0 63005 11 0 0 25 0 1 0 831979387 22245376 3910 4294967295 134512640 134581331 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5431 3910 566 18 0 5413 0
vsize: 21724
[startup+640.059 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 4171 0 0 0 64005 11 0 0 25 0 1 0 831979387 22642688 3993 4294967295 134512640 134581331 3221224592 3221223556 134519780 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5528 3993 566 18 0 5510 0
vsize: 22112
[startup+650.059 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 4194 0 0 0 65004 12 0 0 25 0 1 0 831979387 22642688 4016 4294967295 134512640 134581331 3221224592 3221223488 134517851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5528 4016 566 18 0 5510 0
vsize: 22112
[startup+660.06 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 4194 0 0 0 66004 12 0 0 25 0 1 0 831979387 22642688 4016 4294967295 134512640 134581331 3221224592 3221223536 134560149 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5528 4016 566 18 0 5510 0
vsize: 22112
[startup+670.06 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 4203 0 0 0 67004 12 0 0 25 0 1 0 831979387 22773760 4025 4294967295 134512640 134581331 3221224592 3221223456 134528275 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5560 4025 566 18 0 5542 0
vsize: 22240
[startup+680.06 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 4210 0 0 0 68004 12 0 0 25 0 1 0 831979387 22773760 4032 4294967295 134512640 134581331 3221224592 3221223488 134517880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5560 4032 566 18 0 5542 0
vsize: 22240
[startup+690.06 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 4210 0 0 0 69005 12 0 0 25 0 1 0 831979387 22773760 4032 4294967295 134512640 134581331 3221224592 3221223456 134528363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5560 4032 566 18 0 5542 0
vsize: 22240
[startup+700.061 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 4210 0 0 0 70005 12 0 0 25 0 1 0 831979387 22773760 4032 4294967295 134512640 134581331 3221224592 3221223536 134560149 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5560 4032 566 18 0 5542 0
vsize: 22240
[startup+710.06 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 4210 0 0 0 71005 12 0 0 25 0 1 0 831979387 22773760 4032 4294967295 134512640 134581331 3221224592 3221223456 134528254 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5560 4032 566 18 0 5542 0
vsize: 22240
[startup+720.06 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 4210 0 0 0 72005 12 0 0 25 0 1 0 831979387 22773760 4032 4294967295 134512640 134581331 3221224592 3221223456 134528356 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5560 4032 566 18 0 5542 0
vsize: 22240
[startup+730.061 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 4210 0 0 0 73005 13 0 0 25 0 1 0 831979387 22773760 4032 4294967295 134512640 134581331 3221224592 3221223504 134528074 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5560 4032 566 18 0 5542 0
vsize: 22240
[startup+740.06 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 4210 0 0 0 74005 13 0 0 25 0 1 0 831979387 22773760 4032 4294967295 134512640 134581331 3221224592 3221223584 134561148 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5560 4032 566 18 0 5542 0
vsize: 22240
[startup+750.061 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 4210 0 0 0 75005 13 0 0 25 0 1 0 831979387 22773760 4032 4294967295 134512640 134581331 3221224592 3221223552 134516731 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5560 4032 566 18 0 5542 0
vsize: 22240
[startup+760.06 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 4210 0 0 0 76006 13 0 0 25 0 1 0 831979387 22773760 4032 4294967295 134512640 134581331 3221224592 3221223456 134528414 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5560 4032 566 18 0 5542 0
vsize: 22240
[startup+770.06 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 4210 0 0 0 77006 13 0 0 25 0 1 0 831979387 22773760 4032 4294967295 134512640 134581331 3221224592 3221223584 134561089 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5560 4032 566 18 0 5542 0
vsize: 22240
[startup+780.061 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 4214 0 0 0 78006 13 0 0 25 0 1 0 831979387 22773760 4036 4294967295 134512640 134581331 3221224592 3221223456 134528416 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5560 4036 566 18 0 5542 0
vsize: 22240
[startup+790.06 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 4214 0 0 0 79006 13 0 0 25 0 1 0 831979387 22773760 4036 4294967295 134512640 134581331 3221224592 3221223504 134527537 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5560 4036 566 18 0 5542 0
vsize: 22240
[startup+800.061 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 4214 0 0 0 80006 13 0 0 25 0 1 0 831979387 22773760 4036 4294967295 134512640 134581331 3221224592 3221223488 134517844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5560 4036 566 18 0 5542 0
vsize: 22240
[startup+810.061 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 4214 0 0 0 81006 13 0 0 25 0 1 0 831979387 22773760 4036 4294967295 134512640 134581331 3221224592 3221223504 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5560 4036 566 18 0 5542 0
vsize: 22240
[startup+820.06 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 4214 0 0 0 82007 13 0 0 25 0 1 0 831979387 22773760 4036 4294967295 134512640 134581331 3221224592 3221223504 134528074 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5560 4036 566 18 0 5542 0
vsize: 22240
[startup+830.061 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 4214 0 0 0 83007 13 0 0 25 0 1 0 831979387 22773760 4036 4294967295 134512640 134581331 3221224592 3221223504 134527645 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5560 4036 566 18 0 5542 0
vsize: 22240
[startup+840.061 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 4220 0 0 0 84007 13 0 0 25 0 1 0 831979387 22773760 4042 4294967295 134512640 134581331 3221224592 3221223504 134528077 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5560 4042 566 18 0 5542 0
vsize: 22240
[startup+850.062 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 4220 0 0 0 85007 13 0 0 25 0 1 0 831979387 22773760 4042 4294967295 134512640 134581331 3221224592 3221223504 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5560 4042 566 18 0 5542 0
vsize: 22240
[startup+860.062 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 4220 0 0 0 86007 13 0 0 25 0 1 0 831979387 22773760 4042 4294967295 134512640 134581331 3221224592 3221223504 134527457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5560 4042 566 18 0 5542 0
vsize: 22240
[startup+870.062 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 4220 0 0 0 87007 13 0 0 25 0 1 0 831979387 22773760 4042 4294967295 134512640 134581331 3221224592 3221223504 134528085 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5560 4042 566 18 0 5542 0
vsize: 22240
[startup+880.062 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 4270 0 0 0 88007 13 0 0 25 0 1 0 831979387 23040000 4092 4294967295 134512640 134581331 3221224592 3221223504 134527780 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5625 4092 566 18 0 5607 0
vsize: 22500
[startup+890.062 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 4270 0 0 0 89008 13 0 0 25 0 1 0 831979387 23040000 4092 4294967295 134512640 134581331 3221224592 3221223504 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5625 4092 566 18 0 5607 0
vsize: 22500
[startup+900.062 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 4270 0 0 0 90008 13 0 0 25 0 1 0 831979387 23040000 4092 4294967295 134512640 134581331 3221224592 3221223584 134561089 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5625 4092 566 18 0 5607 0
vsize: 22500
[startup+910.062 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 4270 0 0 0 91008 13 0 0 25 0 1 0 831979387 23040000 4092 4294967295 134512640 134581331 3221224592 3221223504 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5625 4092 566 18 0 5607 0
vsize: 22500
[startup+920.062 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 4270 0 0 0 92008 13 0 0 25 0 1 0 831979387 23040000 4092 4294967295 134512640 134581331 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5625 4092 566 18 0 5607 0
vsize: 22500
[startup+930.062 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 4270 0 0 0 93008 13 0 0 25 0 1 0 831979387 23040000 4092 4294967295 134512640 134581331 3221224592 3221223504 134527418 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5625 4092 566 18 0 5607 0
vsize: 22500
[startup+940.063 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 4270 0 0 0 94009 13 0 0 25 0 1 0 831979387 22814720 4059 4294967295 134512640 134581331 3221224592 3221223488 134517880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5570 4059 566 18 0 5552 0
vsize: 22280
[startup+950.063 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 4270 0 0 0 95009 13 0 0 25 0 1 0 831979387 22806528 4057 4294967295 134512640 134581331 3221224592 3221223488 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5568 4057 566 18 0 5550 0
vsize: 22272
[startup+960.063 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 4270 0 0 0 96009 13 0 0 25 0 1 0 831979387 22790144 4053 4294967295 134512640 134581331 3221224592 3221223504 134527667 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5564 4053 566 18 0 5546 0
vsize: 22256
[startup+970.063 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 4270 0 0 0 97009 13 0 0 25 0 1 0 831979387 22790144 4053 4294967295 134512640 134581331 3221224592 3221223504 134528077 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5564 4053 566 18 0 5546 0
vsize: 22256
[startup+980.063 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 4270 0 0 0 98009 13 0 0 25 0 1 0 831979387 22790144 4053 4294967295 134512640 134581331 3221224592 3221223504 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5564 4053 566 18 0 5546 0
vsize: 22256
[startup+990.063 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 4270 0 0 0 99009 13 0 0 25 0 1 0 831979387 22790144 4053 4294967295 134512640 134581331 3221224592 3221223488 134517905 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5564 4053 566 18 0 5546 0
vsize: 22256
[startup+1000.06 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 4270 0 0 0 100010 13 0 0 25 0 1 0 831979387 22790144 4053 4294967295 134512640 134581331 3221224592 3221223504 134527418 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5564 4053 566 18 0 5546 0
vsize: 22256
[startup+1010.06 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 4270 0 0 0 101010 13 0 0 25 0 1 0 831979387 22790144 4053 4294967295 134512640 134581331 3221224592 3221223504 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5564 4053 566 18 0 5546 0
vsize: 22256
[startup+1020.06 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 4270 0 0 0 102010 13 0 0 25 0 1 0 831979387 22790144 4053 4294967295 134512640 134581331 3221224592 3221223504 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5564 4053 566 18 0 5546 0
vsize: 22256
[startup+1030.06 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 4270 0 0 0 103010 13 0 0 25 0 1 0 831979387 22790144 4053 4294967295 134512640 134581331 3221224592 3221223488 134517608 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5564 4053 566 18 0 5546 0
vsize: 22256
[startup+1040.06 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 4270 0 0 0 104010 13 0 0 25 0 1 0 831979387 22790144 4053 4294967295 134512640 134581331 3221224592 3221223504 134527451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5564 4053 566 18 0 5546 0
vsize: 22256
[startup+1050.06 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 4270 0 0 0 105011 13 0 0 25 0 1 0 831979387 22790144 4053 4294967295 134512640 134581331 3221224592 3221223504 134527531 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5564 4053 566 18 0 5546 0
vsize: 22256
[startup+1060.07 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 4270 0 0 0 106011 13 0 0 25 0 1 0 831979387 22790144 4053 4294967295 134512640 134581331 3221224592 3221223536 134560136 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5564 4053 566 18 0 5546 0
vsize: 22256
[startup+1070.07 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 4270 0 0 0 107012 13 0 0 25 0 1 0 831979387 22790144 4053 4294967295 134512640 134581331 3221224592 3221223520 134519931 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5564 4053 566 18 0 5546 0
vsize: 22256
[startup+1080.07 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 4270 0 0 0 108012 13 0 0 25 0 1 0 831979387 22790144 4053 4294967295 134512640 134581331 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5564 4053 566 18 0 5546 0
vsize: 22256
[startup+1090.07 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 4691 0 0 0 109011 14 0 0 25 0 1 0 831979387 24641536 4474 4294967295 134512640 134581331 3221224592 3221223504 134527429 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6016 4474 566 18 0 5998 0
vsize: 24064
[startup+1100.07 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 4691 0 0 0 110011 14 0 0 25 0 1 0 831979387 24641536 4474 4294967295 134512640 134581331 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6016 4474 566 18 0 5998 0
vsize: 24064
[startup+1110.07 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 4691 0 0 0 111011 15 0 0 25 0 1 0 831979387 24641536 4474 4294967295 134512640 134581331 3221224592 3221223488 134517878 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6016 4474 566 18 0 5998 0
vsize: 24064
[startup+1120.07 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 5006 0 0 0 112011 15 0 0 25 0 1 0 831979387 25960448 4789 4294967295 134512640 134581331 3221224592 3221223504 134527416 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6338 4789 566 18 0 6320 0
vsize: 25352
[startup+1130.07 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 5335 0 0 0 113010 16 0 0 25 0 1 0 831979387 27275264 5118 4294967295 134512640 134581331 3221224592 3221223488 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6659 5118 566 18 0 6641 0
vsize: 26636
[startup+1140.07 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 5389 0 0 0 114009 17 0 0 25 0 1 0 831979387 27406336 5172 4294967295 134512640 134581331 3221224592 3221223568 134561104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6691 5172 566 18 0 6673 0
vsize: 26764
[startup+1150.07 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 5406 0 0 0 115010 17 0 0 25 0 1 0 831979387 27541504 5189 4294967295 134512640 134581331 3221224592 3221223488 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6724 5189 566 18 0 6706 0
vsize: 26896
[startup+1160.07 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 5414 0 0 0 116010 17 0 0 25 0 1 0 831979387 27541504 5197 4294967295 134512640 134581331 3221224592 3221223520 134520076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6724 5197 566 18 0 6706 0
vsize: 26896
[startup+1170.07 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 5414 0 0 0 117010 17 0 0 25 0 1 0 831979387 27541504 5197 4294967295 134512640 134581331 3221224592 3221223564 134519776 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6724 5197 566 18 0 6706 0
vsize: 26896
[startup+1180.07 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 5414 0 0 0 118010 17 0 0 25 0 1 0 831979387 27541504 5197 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6724 5197 566 18 0 6706 0
vsize: 26896
[startup+1190.07 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 5422 0 0 0 119010 17 0 0 25 0 1 0 831979387 27541504 5205 4294967295 134512640 134581331 3221224592 3221223504 134527701 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6724 5205 566 18 0 6706 0
vsize: 26896
[startup+1200.07 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 8148
Raw data (stat): 8148 (Pueblo) R 8147 5562 5561 0 -1 0 5424 0 0 0 120011 17 0 0 25 0 1 0 831979387 27672576 5207 4294967295 134512640 134581331 3221224592 3221223488 134517844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6756 5207 566 18 0 6738 0
vsize: 27024
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.09 s]
Raw data (loadavg): 1.00 0.99 0.95 1/54 8148
Raw data (stat): 8148 (Pueblo) Z 8147 5562 5561 0 -1 1036 5424 0 0 0 120011 18 0 0 25 0 1 0 831979387 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.09
CPU time (s): 1200.29
CPU user time (s): 1200.11
CPU system time (s): 0.181972
CPU usage (%): 100.017
Max. virtual memory (Kb): 27024
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####