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-neos6.opb
MD5SUM	0633214154e8bab02f648560b9bfa54f
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	4460
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	233832225
Number of bits of the sum of numbers in the objective function	28
Biggest number in a constraint	524288
Number of bits of the biggest number in a constraint	20
Biggest sum of numbers in a constraint	233832225
Number of bits of the biggest sum of numbers	28
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.18697
Number of variables	17260
Total number of constraints	9376
Number of constraints which are clauses	48
Number of constraints which are cardinality constraints (but not clauses)	9095
Number of constraints which are nor clauses,nor cardinality constraints	233
Minimum length of a constraint	1
Maximum length of a constraint	834
Trace number 25456

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-19 13:38:29 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19728 boxname=wulflinc31 idbench=1518 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  0633214154e8bab02f648560b9bfa54f  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-neos6.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-neos6.opb
IDLAUNCH: 19728
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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	: 3
cpu MHz		: 451.153
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        723224 kB
Buffers:         32188 kB
Cached:         253044 kB
SwapCached:       5400 kB
Active:         218548 kB
Inactive:        73344 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        722972 kB
SwapTotal:     2097892 kB
SwapFree:      2091564 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5360 kB
Slab:            13720 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-19 13:58:32 (client local time) WITH STATUS 0 IN 1200.2 SECONDS
stats: 19728 7 1200.2 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.80 0.94 0.98 2/55 21493
Raw data (stat): 21493 (runsolver) R 21492 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 787435272 1056768 100 4294967295 134512640 135381576 3221221680 3221216904 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0013 s]
Raw data (loadavg): 0.83 0.94 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 4198 0 0 0 982 13 0 0 25 0 1 0 787435272 23904256 4175 4294967295 134512640 134581331 3221221792 3221220704 134528088 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5836 4175 566 18 0 5818 0
vsize: 23344
[startup+20.0021 s]
Raw data (loadavg): 0.86 0.94 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 4198 0 0 0 1982 13 0 0 25 0 1 0 787435272 23904256 4175 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5836 4175 566 18 0 5818 0
vsize: 23344
[startup+30.002 s]
Raw data (loadavg): 0.88 0.94 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 4198 0 0 0 2983 13 0 0 25 0 1 0 787435272 23904256 4175 4294967295 134512640 134581331 3221221792 3221220704 134527539 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5836 4175 566 18 0 5818 0
vsize: 23344
[startup+40.0029 s]
Raw data (loadavg): 0.90 0.94 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 4198 0 0 0 3983 13 0 0 25 0 1 0 787435272 23904256 4175 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5836 4175 566 18 0 5818 0
vsize: 23344
[startup+50.0039 s]
Raw data (loadavg): 0.91 0.95 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 4406 0 0 0 4983 14 0 0 25 0 1 0 787435272 24707072 4383 4294967295 134512640 134581331 3221221792 3221220704 134527451 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6032 4383 566 18 0 6014 0
vsize: 24128
[startup+60.0048 s]
Raw data (loadavg): 0.93 0.95 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 4640 0 0 0 5983 14 0 0 25 0 1 0 787435272 25747456 4608 4294967295 134512640 134581331 3221221792 3221220704 134527645 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6286 4608 566 18 0 6268 0
vsize: 25144
[startup+70.0047 s]
Raw data (loadavg): 0.94 0.95 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 5202 0 0 0 6981 16 0 0 25 0 1 0 787435272 28012544 5170 4294967295 134512640 134581331 3221221792 3221220704 134527416 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6839 5170 566 18 0 6821 0
vsize: 27356
[startup+80.0046 s]
Raw data (loadavg): 0.95 0.95 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 5216 0 0 0 7981 16 0 0 25 0 1 0 787435272 28012544 5184 4294967295 134512640 134581331 3221221792 3221220752 134516745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6839 5184 566 18 0 6821 0
vsize: 27356
[startup+90.0046 s]
Raw data (loadavg): 0.95 0.95 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 5313 0 0 0 8981 16 0 0 25 0 1 0 787435272 28405760 5281 4294967295 134512640 134581331 3221221792 3221220720 134519829 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6935 5281 566 18 0 6917 0
vsize: 27740
[startup+100.005 s]
Raw data (loadavg): 0.96 0.95 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 5732 0 0 0 9980 18 0 0 25 0 1 0 787435272 30093312 5700 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7347 5700 566 18 0 7329 0
vsize: 29388
[startup+110.005 s]
Raw data (loadavg): 0.97 0.95 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 6252 0 0 0 10977 20 0 0 25 0 1 0 787435272 32317440 6220 4294967295 134512640 134581331 3221221792 3221220428 1075289077 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7890 6220 566 18 0 7872 0
vsize: 31560
[startup+120.006 s]
Raw data (loadavg): 0.97 0.95 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 6750 0 0 0 11976 21 0 0 25 0 1 0 787435272 34287616 6718 4294967295 134512640 134581331 3221221792 3221220756 134519893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8371 6718 566 18 0 8353 0
vsize: 33484
[startup+130.006 s]
Raw data (loadavg): 0.98 0.95 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 7008 0 0 0 12976 22 0 0 25 0 1 0 787435272 35340288 6976 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8628 6976 566 18 0 8610 0
vsize: 34512
[startup+140.007 s]
Raw data (loadavg): 0.98 0.95 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 7276 0 0 0 13975 23 0 0 25 0 1 0 787435272 36528128 7244 4294967295 134512640 134581331 3221221792 3221220656 134528446 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8918 7244 566 18 0 8900 0
vsize: 35672
[startup+150.008 s]
Raw data (loadavg): 0.98 0.95 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 7404 0 0 0 14975 23 0 0 25 0 1 0 787435272 37093376 7372 4294967295 134512640 134581331 3221221792 3221220688 134517851 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9056 7372 566 18 0 9038 0
vsize: 36224
[startup+160.009 s]
Raw data (loadavg): 0.98 0.96 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 7407 0 0 0 15975 23 0 0 25 0 1 0 787435272 37093376 7375 4294967295 134512640 134581331 3221221792 3221220720 134519803 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9056 7375 566 18 0 9038 0
vsize: 36224
[startup+170.009 s]
Raw data (loadavg): 0.99 0.96 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 7407 0 0 0 16975 23 0 0 25 0 1 0 787435272 37093376 7375 4294967295 134512640 134581331 3221221792 3221220656 134528336 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9056 7375 566 18 0 9038 0
vsize: 36224
[startup+180.009 s]
Raw data (loadavg): 0.99 0.96 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 7407 0 0 0 17975 23 0 0 25 0 1 0 787435272 37072896 7375 4294967295 134512640 134581331 3221221792 3221220720 134519947 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9051 7375 566 18 0 9033 0
vsize: 36204
[startup+190.01 s]
Raw data (loadavg): 0.99 0.96 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 7407 0 0 0 18976 24 0 0 25 0 1 0 787435272 37072896 7375 4294967295 134512640 134581331 3221221792 3221220752 134519781 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9051 7375 566 18 0 9033 0
vsize: 36204
[startup+200.01 s]
Raw data (loadavg): 0.99 0.96 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 7407 0 0 0 19976 24 0 0 25 0 1 0 787435272 37072896 7375 4294967295 134512640 134581331 3221221792 3221220736 134559385 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9051 7375 566 18 0 9033 0
vsize: 36204
[startup+210.011 s]
Raw data (loadavg): 0.99 0.96 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 7407 0 0 0 20976 24 0 0 25 0 1 0 787435272 37072896 7375 4294967295 134512640 134581331 3221221792 3221220704 134528088 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9051 7375 566 18 0 9033 0
vsize: 36204
[startup+220.012 s]
Raw data (loadavg): 0.99 0.96 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 7407 0 0 0 21976 24 0 0 25 0 1 0 787435272 37072896 7375 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9051 7375 566 18 0 9033 0
vsize: 36204
[startup+230.012 s]
Raw data (loadavg): 0.99 0.96 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 7407 0 0 0 22976 24 0 0 25 0 1 0 787435272 37072896 7375 4294967295 134512640 134581331 3221221792 3221220624 134531460 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9051 7375 566 18 0 9033 0
vsize: 36204
[startup+240.013 s]
Raw data (loadavg): 0.99 0.96 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 7407 0 0 0 23976 24 0 0 25 0 1 0 787435272 37072896 7375 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9051 7375 566 18 0 9033 0
vsize: 36204
[startup+250.013 s]
Raw data (loadavg): 0.99 0.96 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 7444 0 0 0 24977 24 0 0 25 0 1 0 787435272 37228544 7412 4294967295 134512640 134581331 3221221792 3221220720 134519924 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9089 7412 566 18 0 9071 0
vsize: 36356
[startup+260.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 7706 0 0 0 25976 24 0 0 25 0 1 0 787435272 38440960 7674 4294967295 134512640 134581331 3221221792 3221220720 134519829 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9385 7674 566 18 0 9367 0
vsize: 37540
[startup+270.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 7740 0 0 0 26976 24 0 0 25 0 1 0 787435272 38703104 7708 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9449 7708 566 18 0 9431 0
vsize: 37796
[startup+280.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 7740 0 0 0 27976 24 0 0 25 0 1 0 787435272 38703104 7708 4294967295 134512640 134581331 3221221792 3221220656 134528258 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9449 7708 566 18 0 9431 0
vsize: 37796
[startup+290.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 7740 0 0 0 28976 25 0 0 25 0 1 0 787435272 38703104 7708 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9449 7708 566 18 0 9431 0
vsize: 37796
[startup+300.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 7872 0 0 0 29977 25 0 0 25 0 1 0 787435272 39227392 7840 4294967295 134512640 134581331 3221221792 3221220720 134520076 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9577 7840 566 18 0 9559 0
vsize: 38308
[startup+310.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 7923 0 0 0 30977 25 0 0 25 0 1 0 787435272 39403520 7891 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9620 7891 566 18 0 9602 0
vsize: 38480
[startup+320.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 7923 0 0 0 31977 25 0 0 25 0 1 0 787435272 39403520 7891 4294967295 134512640 134581331 3221221792 3221220688 134517875 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9620 7891 566 18 0 9602 0
vsize: 38480
[startup+330.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 7923 0 0 0 32977 25 0 0 25 0 1 0 787435272 39403520 7891 4294967295 134512640 134581331 3221221792 3221220736 134559274 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9620 7891 566 18 0 9602 0
vsize: 38480
[startup+340.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 7923 0 0 0 33977 25 0 0 25 0 1 0 787435272 39403520 7891 4294967295 134512640 134581331 3221221792 3221220704 134527454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9620 7891 566 18 0 9602 0
vsize: 38480
[startup+350.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 7923 0 0 0 34977 25 0 0 25 0 1 0 787435272 39403520 7891 4294967295 134512640 134581331 3221221792 3221220768 134561101 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9620 7891 566 18 0 9602 0
vsize: 38480
[startup+360.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 7923 0 0 0 35978 25 0 0 25 0 1 0 787435272 39403520 7891 4294967295 134512640 134581331 3221221792 3221220656 134560372 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9620 7891 566 18 0 9602 0
vsize: 38480
[startup+370.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 7923 0 0 0 36978 25 0 0 25 0 1 0 787435272 39403520 7891 4294967295 134512640 134581331 3221221792 3221220704 134527432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9620 7891 566 18 0 9602 0
vsize: 38480
[startup+380.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 7923 0 0 0 37978 25 0 0 25 0 1 0 787435272 39403520 7891 4294967295 134512640 134581331 3221221792 3221220704 134527510 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9620 7891 566 18 0 9602 0
vsize: 38480
[startup+390.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 7923 0 0 0 38978 25 0 0 25 0 1 0 787435272 39403520 7891 4294967295 134512640 134581331 3221221792 3221220672 134520258 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9620 7891 566 18 0 9602 0
vsize: 38480
[startup+400.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 7923 0 0 0 39978 25 0 0 25 0 1 0 787435272 39403520 7891 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9620 7891 566 18 0 9602 0
vsize: 38480
[startup+410.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 7923 0 0 0 40979 25 0 0 25 0 1 0 787435272 39403520 7891 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9620 7891 566 18 0 9602 0
vsize: 38480
[startup+420.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 7923 0 0 0 41979 25 0 0 25 0 1 0 787435272 39403520 7891 4294967295 134512640 134581331 3221221792 3221220752 134516747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9620 7891 566 18 0 9602 0
vsize: 38480
[startup+430.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 7923 0 0 0 42979 25 0 0 25 0 1 0 787435272 39403520 7891 4294967295 134512640 134581331 3221221792 3221220736 134559274 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9620 7891 566 18 0 9602 0
vsize: 38480
[startup+440.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 7923 0 0 0 43979 25 0 0 25 0 1 0 787435272 39403520 7891 4294967295 134512640 134581331 3221221792 3221220784 134561059 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9620 7891 566 18 0 9602 0
vsize: 38480
[startup+450.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 7923 0 0 0 44979 25 0 0 25 0 1 0 787435272 39403520 7891 4294967295 134512640 134581331 3221221792 3221220736 134560149 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9620 7891 566 18 0 9602 0
vsize: 38480
[startup+460.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 7923 0 0 0 45979 25 0 0 25 0 1 0 787435272 39403520 7891 4294967295 134512640 134581331 3221221792 3221220784 134561111 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9620 7891 566 18 0 9602 0
vsize: 38480
[startup+470.024 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 7923 0 0 0 46980 25 0 0 25 0 1 0 787435272 39403520 7891 4294967295 134512640 134581331 3221221792 3221220704 134527539 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9620 7891 566 18 0 9602 0
vsize: 38480
[startup+480.024 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 7923 0 0 0 47980 25 0 0 25 0 1 0 787435272 39403520 7891 4294967295 134512640 134581331 3221221792 3221220704 134527432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9620 7891 566 18 0 9602 0
vsize: 38480
[startup+490.025 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 7925 0 0 0 48980 25 0 0 25 0 1 0 787435272 39403520 7893 4294967295 134512640 134581331 3221221792 3221220756 134519780 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9620 7893 566 18 0 9602 0
vsize: 38480
[startup+500.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 7925 0 0 0 49980 25 0 0 25 0 1 0 787435272 39403520 7893 4294967295 134512640 134581331 3221221792 3221220768 134561101 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9620 7893 566 18 0 9602 0
vsize: 38480
[startup+510.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 7925 0 0 0 50981 25 0 0 25 0 1 0 787435272 39403520 7893 4294967295 134512640 134581331 3221221792 3221220704 134527652 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9620 7893 566 18 0 9602 0
vsize: 38480
[startup+520.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 7933 0 0 0 51980 25 0 0 25 0 1 0 787435272 39403520 7901 4294967295 134512640 134581331 3221221792 3221220784 134561087 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9620 7901 566 18 0 9602 0
vsize: 38480
[startup+530.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 7933 0 0 0 52981 25 0 0 25 0 1 0 787435272 39403520 7901 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9620 7901 566 18 0 9602 0
vsize: 38480
[startup+540.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 8013 0 0 0 53980 26 0 0 25 0 1 0 787435272 39796736 7981 4294967295 134512640 134581331 3221221792 3221220784 134561138 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9716 7981 566 18 0 9698 0
vsize: 38864
[startup+550.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 8084 0 0 0 54980 26 0 0 25 0 1 0 787435272 40058880 8052 4294967295 134512640 134581331 3221221792 3221220720 134519803 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9780 8052 566 18 0 9762 0
vsize: 39120
[startup+560.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 8084 0 0 0 55981 26 0 0 25 0 1 0 787435272 40058880 8052 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9780 8052 566 18 0 9762 0
vsize: 39120
[startup+570.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 8084 0 0 0 56981 26 0 0 25 0 1 0 787435272 40058880 8052 4294967295 134512640 134581331 3221221792 3221220736 134560149 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9780 8052 566 18 0 9762 0
vsize: 39120
[startup+580.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 8084 0 0 0 57981 26 0 0 25 0 1 0 787435272 40058880 8052 4294967295 134512640 134581331 3221221792 3221220720 134519803 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9780 8052 566 18 0 9762 0
vsize: 39120
[startup+590.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 8084 0 0 0 58981 26 0 0 25 0 1 0 787435272 40058880 8052 4294967295 134512640 134581331 3221221792 3221220752 134554660 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9780 8052 566 18 0 9762 0
vsize: 39120
[startup+600.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 8084 0 0 0 59981 26 0 0 25 0 1 0 787435272 40058880 8052 4294967295 134512640 134581331 3221221792 3221220656 134560433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9780 8052 566 18 0 9762 0
vsize: 39120
[startup+610.03 s]
Raw data (loadavg): 1.06 0.99 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 8084 0 0 0 60982 26 0 0 25 0 1 0 787435272 40058880 8052 4294967295 134512640 134581331 3221221792 3221220704 134527695 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9780 8052 566 18 0 9762 0
vsize: 39120
[startup+620.031 s]
Raw data (loadavg): 1.05 0.99 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 8084 0 0 0 61982 26 0 0 25 0 1 0 787435272 40058880 8052 4294967295 134512640 134581331 3221221792 3221220736 134559067 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9780 8052 566 18 0 9762 0
vsize: 39120
[startup+630.031 s]
Raw data (loadavg): 1.04 0.99 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 8084 0 0 0 62982 26 0 0 25 0 1 0 787435272 40058880 8052 4294967295 134512640 134581331 3221221792 3221220784 134561059 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9780 8052 566 18 0 9762 0
vsize: 39120
[startup+640.031 s]
Raw data (loadavg): 1.04 0.99 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 8084 0 0 0 63982 26 0 0 25 0 1 0 787435272 40058880 8052 4294967295 134512640 134581331 3221221792 3221220736 134559312 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9780 8052 566 18 0 9762 0
vsize: 39120
[startup+650.031 s]
Raw data (loadavg): 1.03 0.99 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 8084 0 0 0 64982 26 0 0 25 0 1 0 787435272 40058880 8052 4294967295 134512640 134581331 3221221792 3221220656 134528384 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9780 8052 566 18 0 9762 0
vsize: 39120
[startup+660.032 s]
Raw data (loadavg): 1.03 0.99 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 8271 0 0 0 65982 27 0 0 25 0 1 0 787435272 40873984 8239 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9979 8239 566 18 0 9961 0
vsize: 39916
[startup+670.033 s]
Raw data (loadavg): 1.02 0.99 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 8348 0 0 0 66982 27 0 0 25 0 1 0 787435272 41312256 8316 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10086 8316 566 18 0 10068 0
vsize: 40344
[startup+680.033 s]
Raw data (loadavg): 1.02 0.99 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 8348 0 0 0 67982 27 0 0 25 0 1 0 787435272 41312256 8316 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10086 8316 566 18 0 10068 0
vsize: 40344
[startup+690.034 s]
Raw data (loadavg): 1.01 0.99 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 8373 0 0 0 68982 27 0 0 25 0 1 0 787435272 41312256 8341 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10086 8341 566 18 0 10068 0
vsize: 40344
[startup+700.035 s]
Raw data (loadavg): 1.01 0.99 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 8373 0 0 0 69982 27 0 0 25 0 1 0 787435272 41312256 8341 4294967295 134512640 134581331 3221221792 3221220704 134527537 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10086 8341 566 18 0 10068 0
vsize: 40344
[startup+710.036 s]
Raw data (loadavg): 1.01 0.99 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 8373 0 0 0 70983 27 0 0 25 0 1 0 787435272 41312256 8341 4294967295 134512640 134581331 3221221792 3221220768 134560718 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10086 8341 566 18 0 10068 0
vsize: 40344
[startup+720.036 s]
Raw data (loadavg): 1.01 0.99 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 8400 0 0 0 71983 27 0 0 25 0 1 0 787435272 41443328 8368 4294967295 134512640 134581331 3221221792 3221220704 134527687 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10118 8368 566 18 0 10100 0
vsize: 40472
[startup+730.035 s]
Raw data (loadavg): 1.01 0.99 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 8439 0 0 0 72983 27 0 0 25 0 1 0 787435272 41594880 8407 4294967295 134512640 134581331 3221221792 3221220704 134527769 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10155 8407 566 18 0 10137 0
vsize: 40620
[startup+740.037 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 8439 0 0 0 73983 27 0 0 25 0 1 0 787435272 41594880 8407 4294967295 134512640 134581331 3221221792 3221220720 134519829 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10155 8407 566 18 0 10137 0
vsize: 40620
[startup+750.037 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 8472 0 0 0 74983 27 0 0 25 0 1 0 787435272 41791488 8440 4294967295 134512640 134581331 3221221792 3221220784 134561137 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10203 8440 566 18 0 10185 0
vsize: 40812
[startup+760.037 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 8472 0 0 0 75983 27 0 0 25 0 1 0 787435272 41791488 8440 4294967295 134512640 134581331 3221221792 3221220756 134519780 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10203 8440 566 18 0 10185 0
vsize: 40812
[startup+770.038 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 8472 0 0 0 76984 27 0 0 25 0 1 0 787435272 41791488 8440 4294967295 134512640 134581331 3221221792 3221220656 134528275 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10203 8440 566 18 0 10185 0
vsize: 40812
[startup+780.038 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 8472 0 0 0 77984 27 0 0 25 0 1 0 787435272 41791488 8440 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10203 8440 566 18 0 10185 0
vsize: 40812
[startup+790.038 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 8472 0 0 0 78984 27 0 0 25 0 1 0 787435272 41791488 8440 4294967295 134512640 134581331 3221221792 3221220736 134560142 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10203 8440 566 18 0 10185 0
vsize: 40812
[startup+800.038 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 8472 0 0 0 79984 27 0 0 25 0 1 0 787435272 41791488 8440 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10203 8440 566 18 0 10185 0
vsize: 40812
[startup+810.039 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 8472 0 0 0 80984 28 0 0 25 0 1 0 787435272 41791488 8440 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10203 8440 566 18 0 10185 0
vsize: 40812
[startup+820.039 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 8472 0 0 0 81984 28 0 0 25 0 1 0 787435272 41791488 8440 4294967295 134512640 134581331 3221221792 3221220736 134560142 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10203 8440 566 18 0 10185 0
vsize: 40812
[startup+830.039 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 8472 0 0 0 82984 28 0 0 25 0 1 0 787435272 41791488 8440 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10203 8440 566 18 0 10185 0
vsize: 40812
[startup+840.04 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 8472 0 0 0 83984 28 0 0 25 0 1 0 787435272 41791488 8440 4294967295 134512640 134581331 3221221792 3221220704 134527695 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10203 8440 566 18 0 10185 0
vsize: 40812
[startup+850.04 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 8473 0 0 0 84984 28 0 0 25 0 1 0 787435272 41791488 8441 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10203 8441 566 18 0 10185 0
vsize: 40812
[startup+860.041 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 8473 0 0 0 85985 28 0 0 25 0 1 0 787435272 41791488 8441 4294967295 134512640 134581331 3221221792 3221220688 134517873 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10203 8441 566 18 0 10185 0
vsize: 40812
[startup+870.041 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 8473 0 0 0 86985 28 0 0 25 0 1 0 787435272 41791488 8441 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10203 8441 566 18 0 10185 0
vsize: 40812
[startup+880.04 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 8473 0 0 0 87985 28 0 0 25 0 1 0 787435272 41791488 8441 4294967295 134512640 134581331 3221221792 3221220720 134519803 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10203 8441 566 18 0 10185 0
vsize: 40812
[startup+890.041 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 8473 0 0 0 88985 28 0 0 25 0 1 0 787435272 41791488 8441 4294967295 134512640 134581331 3221221792 3221220720 134519829 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10203 8441 566 18 0 10185 0
vsize: 40812
[startup+900.04 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 8473 0 0 0 89985 28 0 0 25 0 1 0 787435272 41791488 8441 4294967295 134512640 134581331 3221221792 3221220720 134519803 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10203 8441 566 18 0 10185 0
vsize: 40812
[startup+910.041 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 8473 0 0 0 90985 28 0 0 25 0 1 0 787435272 41791488 8441 4294967295 134512640 134581331 3221221792 3221220656 134560479 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10203 8441 566 18 0 10185 0
vsize: 40812
[startup+920.041 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 8473 0 0 0 91985 28 0 0 25 0 1 0 787435272 41791488 8441 4294967295 134512640 134581331 3221221792 3221220736 134559277 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10203 8441 566 18 0 10185 0
vsize: 40812
[startup+930.041 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 8473 0 0 0 92985 28 0 0 25 0 1 0 787435272 41791488 8441 4294967295 134512640 134581331 3221221792 3221220704 134527780 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10203 8441 566 18 0 10185 0
vsize: 40812
[startup+940.042 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 8473 0 0 0 93985 28 0 0 25 0 1 0 787435272 41791488 8441 4294967295 134512640 134581331 3221221792 3221220768 134561003 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10203 8441 566 18 0 10185 0
vsize: 40812
[startup+950.042 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 8473 0 0 0 94985 29 0 0 25 0 1 0 787435272 41791488 8441 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10203 8441 566 18 0 10185 0
vsize: 40812
[startup+960.043 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 8473 0 0 0 95986 29 0 0 25 0 1 0 787435272 41791488 8441 4294967295 134512640 134581331 3221221792 3221220720 134519829 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10203 8441 566 18 0 10185 0
vsize: 40812
[startup+970.043 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 8473 0 0 0 96985 29 0 0 25 0 1 0 787435272 41791488 8441 4294967295 134512640 134581331 3221221792 3221220784 134560663 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10203 8441 566 18 0 10185 0
vsize: 40812
[startup+980.043 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 8473 0 0 0 97984 29 0 0 25 0 1 0 787435272 41791488 8441 4294967295 134512640 134581331 3221221792 3221220736 134559612 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10203 8441 566 18 0 10185 0
vsize: 40812
[startup+990.044 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 8473 0 0 0 98984 29 0 0 25 0 1 0 787435272 41791488 8441 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10203 8441 566 18 0 10185 0
vsize: 40812
[startup+1000.04 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 8473 0 0 0 99984 29 0 0 25 0 1 0 787435272 41791488 8441 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10203 8441 566 18 0 10185 0
vsize: 40812
[startup+1010.04 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 8473 0 0 0 100984 29 0 0 25 0 1 0 787435272 41791488 8441 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10203 8441 566 18 0 10185 0
vsize: 40812
[startup+1020.05 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 8473 0 0 0 101985 29 0 0 25 0 1 0 787435272 41791488 8441 4294967295 134512640 134581331 3221221792 3221220720 134519869 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10203 8441 566 18 0 10185 0
vsize: 40812
[startup+1030.05 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 8473 0 0 0 102985 29 0 0 25 0 1 0 787435272 41791488 8441 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10203 8441 566 18 0 10185 0
vsize: 40812
[startup+1040.05 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 8473 0 0 0 103985 29 0 0 25 0 1 0 787435272 41791488 8441 4294967295 134512640 134581331 3221221792 3221220508 1075288765 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10203 8441 566 18 0 10185 0
vsize: 40812
[startup+1050.05 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 8473 0 0 0 104985 29 0 0 25 0 1 0 787435272 41791488 8441 4294967295 134512640 134581331 3221221792 3221220736 134560149 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10203 8441 566 18 0 10185 0
vsize: 40812
[startup+1060.05 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 8473 0 0 0 105985 29 0 0 25 0 1 0 787435272 41791488 8441 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10203 8441 566 18 0 10185 0
vsize: 40812
[startup+1070.05 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 8473 0 0 0 106985 29 0 0 25 0 1 0 787435272 41791488 8441 4294967295 134512640 134581331 3221221792 3221220720 134519823 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10203 8441 566 18 0 10185 0
vsize: 40812
[startup+1080.05 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 8476 0 0 0 107985 30 0 0 25 0 1 0 787435272 41791488 8444 4294967295 134512640 134581331 3221221792 3221220720 134519952 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10203 8444 566 18 0 10185 0
vsize: 40812
[startup+1090.05 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 8476 0 0 0 108986 30 0 0 25 0 1 0 787435272 41791488 8444 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10203 8444 566 18 0 10185 0
vsize: 40812
[startup+1100.05 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 8476 0 0 0 109986 30 0 0 25 0 1 0 787435272 41791488 8444 4294967295 134512640 134581331 3221221792 3221220656 134528342 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10203 8444 566 18 0 10185 0
vsize: 40812
[startup+1110.05 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 8686 0 0 0 110985 31 0 0 25 0 1 0 787435272 42774528 8654 4294967295 134512640 134581331 3221221792 3221220736 134559385 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10443 8654 566 18 0 10425 0
vsize: 41772
[startup+1120.05 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 9051 0 0 0 111984 31 0 0 25 0 1 0 787435272 44285952 9019 4294967295 134512640 134581331 3221221792 3221220768 134560718 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10812 9019 566 18 0 10794 0
vsize: 43248
[startup+1130.05 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 9322 0 0 0 112984 32 0 0 25 0 1 0 787435272 45510656 9290 4294967295 134512640 134581331 3221221792 3221220704 134527432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11111 9290 566 18 0 11093 0
vsize: 44444
[startup+1140.05 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 9354 0 0 0 113984 32 0 0 25 0 1 0 787435272 45645824 9322 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11144 9322 566 18 0 11126 0
vsize: 44576
[startup+1150.05 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 9355 0 0 0 114984 32 0 0 25 0 1 0 787435272 45645824 9323 4294967295 134512640 134581331 3221221792 3221220704 134527984 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11144 9323 566 18 0 11126 0
vsize: 44576
[startup+1160.05 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 9385 0 0 0 115984 32 0 0 25 0 1 0 787435272 45842432 9353 4294967295 134512640 134581331 3221221792 3221220784 134561059 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11192 9353 566 18 0 11174 0
vsize: 44768
[startup+1170.05 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 9512 0 0 0 116984 33 0 0 25 0 1 0 787435272 46379008 9480 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11323 9480 566 18 0 11305 0
vsize: 45292
[startup+1180.05 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 9548 0 0 0 117984 33 0 0 25 0 1 0 787435272 46510080 9516 4294967295 134512640 134581331 3221221792 3221220736 134559077 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11355 9516 566 18 0 11337 0
vsize: 45420
[startup+1190.05 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 9548 0 0 0 118984 33 0 0 25 0 1 0 787435272 46510080 9516 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11355 9516 566 18 0 11337 0
vsize: 45420
[startup+1200.05 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 21493
Raw data (stat): 21493 (Pueblo) R 21492 7876 7672 0 -1 0 9550 0 0 0 119984 33 0 0 25 0 1 0 787435272 46510080 9518 4294967295 134512640 134581331 3221221792 3221220704 134527778 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11355 9518 566 18 0 11337 0
vsize: 45420
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.07 s]
Raw data (loadavg): 1.00 0.99 0.98 1/55 21493
Raw data (stat): 21493 (Pueblo) Z 21492 7876 7672 0 -1 1036 9550 0 0 0 119984 35 0 0 25 0 1 0 787435272 0 0 4294967295 0 0 0 0 0 0 0 1 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.07
CPU time (s): 1200.2
CPU user time (s): 1199.85
CPU system time (s): 0.353946
CPU usage (%): 100.011
Max. virtual memory (Kb): 45420
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####