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/fctp/normalized-mps-v2-13-7-n3705.opb
MD5SUM	0c133df60e56cfadff3d5b0562856855
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	105000
Biggest coefficient in the objective function	4194304
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	39009164451
Number of bits of the sum of numbers in the objective function	36
Biggest number in a constraint	4194304
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	39009164451
Number of bits of the biggest sum of numbers	36
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.97685
Number of variables	105000
Total number of constraints	5150
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	5150
Minimum length of a constraint	21
Maximum length of a constraint	2000
Trace number 25578

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-20 21:27:42 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19065 boxname=wulflinc31 idbench=1467 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  0c133df60e56cfadff3d5b0562856855  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-n3705.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-n3705.opb
IDLAUNCH: 19065
/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:        616848 kB
Buffers:         32872 kB
Cached:         363484 kB
SwapCached:       1172 kB
Active:         262808 kB
Inactive:       135952 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        616596 kB
SwapTotal:     2097892 kB
SwapFree:      2095980 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5356 kB
Slab:            13432 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-20 21:47:45 (client local time) WITH STATUS 0 IN 1200.28 SECONDS
stats: 19065 7 1200.28 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): 1.06 0.99 0.92 2/55 2557
Raw data (stat): 2557 (runsolver) R 2556 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 798891851 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.0001 s]
Raw data (loadavg): 1.05 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 82221 0 0 0 842 155 0 0 25 0 1 0 798891851 56066048 11998 4294967295 134512640 134581331 3221221792 3221220784 134531732 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13688 11998 566 18 0 13670 0
vsize: 54752
[startup+20.0018 s]
Raw data (loadavg): 1.04 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 392756 0 0 0 1294 703 0 0 25 0 1 0 798891851 57688064 12400 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14084 12400 566 18 0 14066 0
vsize: 56336
[startup+30.0025 s]
Raw data (loadavg): 1.03 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 558787 0 0 0 1993 1004 0 0 25 0 1 0 798891851 57044992 12395 4294967295 134512640 134581331 3221221792 3221220656 134528267 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13927 12395 566 18 0 13909 0
vsize: 55708
[startup+40.0039 s]
Raw data (loadavg): 1.03 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 560127 0 0 0 2988 1009 0 0 25 0 1 0 798891851 62492672 13735 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15257 13735 566 18 0 15239 0
vsize: 61028
[startup+50.0053 s]
Raw data (loadavg): 1.02 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 562391 0 0 0 3981 1016 0 0 25 0 1 0 798891851 71819264 15999 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17534 15999 566 18 0 17516 0
vsize: 70136
[startup+60.0053 s]
Raw data (loadavg): 1.02 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 564639 0 0 0 4975 1022 0 0 25 0 1 0 798891851 81092608 18247 4294967295 134512640 134581331 3221221792 3221220736 134560142 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19798 18247 566 18 0 19780 0
vsize: 79192
[startup+70.0058 s]
Raw data (loadavg): 1.02 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 566908 0 0 0 5969 1029 0 0 25 0 1 0 798891851 90333184 20516 4294967295 134512640 134581331 3221221792 3221220736 134560136 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22054 20516 566 18 0 22036 0
vsize: 88216
[startup+80.0075 s]
Raw data (loadavg): 1.01 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 569125 0 0 0 6961 1036 0 0 25 0 1 0 798891851 99373056 22733 4294967295 134512640 134581331 3221221792 3221220656 134528344 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24261 22733 566 18 0 24243 0
vsize: 97044
[startup+90.0081 s]
Raw data (loadavg): 1.01 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 571359 0 0 0 7954 1044 0 0 25 0 1 0 798891851 108572672 24967 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26507 24967 566 18 0 26489 0
vsize: 106028
[startup+100.009 s]
Raw data (loadavg): 1.01 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 573544 0 0 0 8947 1051 0 0 25 0 1 0 798891851 117493760 27152 4294967295 134512640 134581331 3221221792 3221220736 134560136 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28685 27152 566 18 0 28667 0
vsize: 114740
[startup+110.009 s]
Raw data (loadavg): 1.01 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 575727 0 0 0 9941 1057 0 0 25 0 1 0 798891851 126504960 29335 4294967295 134512640 134581331 3221221792 3221220736 134560142 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30885 29335 566 18 0 30867 0
vsize: 123540
[startup+120.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 577909 0 0 0 10933 1065 0 0 25 0 1 0 798891851 135344128 31517 4294967295 134512640 134581331 3221221792 3221220704 134527432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33043 31517 566 18 0 33025 0
vsize: 132172
[startup+130.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 580087 0 0 0 11926 1072 0 0 25 0 1 0 798891851 144363520 33695 4294967295 134512640 134581331 3221221792 3221220736 134560136 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35245 33695 566 18 0 35227 0
vsize: 140980
[startup+140.012 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 582201 0 0 0 12920 1079 0 0 25 0 1 0 798891851 152961024 35809 4294967295 134512640 134581331 3221221792 3221220704 134527404 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37344 35809 566 18 0 37326 0
vsize: 149376
[startup+150.013 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 584337 0 0 0 13914 1084 0 0 25 0 1 0 798891851 161771520 37945 4294967295 134512640 134581331 3221221792 3221220736 134560142 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39495 37945 566 18 0 39477 0
vsize: 157980
[startup+160.012 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 586469 0 0 0 14907 1092 0 0 25 0 1 0 798891851 170520576 40077 4294967295 134512640 134581331 3221221792 3221220720 134520076 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41631 40077 566 18 0 41613 0
vsize: 166524
[startup+170.012 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 588601 0 0 0 15900 1098 0 0 25 0 1 0 798891851 179175424 42209 4294967295 134512640 134581331 3221221792 3221220720 134519952 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43744 42209 566 18 0 43726 0
vsize: 174976
[startup+180.012 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 590730 0 0 0 16893 1106 0 0 25 0 1 0 798891851 187895808 44338 4294967295 134512640 134581331 3221221792 3221220720 134519958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45873 44338 566 18 0 45855 0
vsize: 183492
[startup+190.013 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 592823 0 0 0 17887 1112 0 0 25 0 1 0 798891851 196542464 46431 4294967295 134512640 134581331 3221221792 3221220736 134560142 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47984 46431 566 18 0 47966 0
vsize: 191936
[startup+200.014 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 594945 0 0 0 18880 1119 0 0 25 0 1 0 798891851 205234176 48553 4294967295 134512640 134581331 3221221792 3221220704 134527410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50106 48553 566 18 0 50088 0
vsize: 200424
[startup+210.014 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 597063 0 0 0 19873 1126 0 0 25 0 1 0 798891851 213843968 50671 4294967295 134512640 134581331 3221221792 3221220704 134528088 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52208 50671 566 18 0 52190 0
vsize: 208832
[startup+220.015 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 599174 0 0 0 20867 1132 0 0 25 0 1 0 798891851 222531584 52782 4294967295 134512640 134581331 3221221792 3221220736 134560149 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 54329 52782 566 18 0 54311 0
vsize: 217316
[startup+230.015 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 601084 0 0 0 21861 1138 0 0 25 0 1 0 798891851 230449152 54692 4294967295 134512640 134581331 3221221792 3221220736 134560143 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 56262 54692 566 18 0 56244 0
vsize: 225048
[startup+240.016 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 601084 0 0 0 22861 1139 0 0 25 0 1 0 798891851 230449152 54692 4294967295 134512640 134581331 3221221792 3221220736 134560149 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 56262 54692 566 18 0 56244 0
vsize: 225048
[startup+250.017 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 601084 0 0 0 23860 1139 0 0 25 0 1 0 798891851 230449152 54692 4294967295 134512640 134581331 3221221792 3221220736 134560142 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 56262 54692 566 18 0 56244 0
vsize: 225048
[startup+260.018 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 601084 0 0 0 24860 1140 0 0 25 0 1 0 798891851 230449152 54692 4294967295 134512640 134581331 3221221792 3221220736 134560142 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 56262 54692 566 18 0 56244 0
vsize: 225048
[startup+270.019 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 601084 0 0 0 25860 1140 0 0 25 0 1 0 798891851 230449152 54692 4294967295 134512640 134581331 3221221792 3221220704 134528072 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 56262 54692 566 18 0 56244 0
vsize: 225048
[startup+280.019 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 601084 0 0 0 26860 1141 0 0 25 0 1 0 798891851 230449152 54692 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 56262 54692 566 18 0 56244 0
vsize: 225048
[startup+290.021 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 601084 0 0 0 27859 1141 0 0 25 0 1 0 798891851 230449152 54692 4294967295 134512640 134581331 3221221792 3221220704 134527652 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 56262 54692 566 18 0 56244 0
vsize: 225048
[startup+300.022 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 601084 0 0 0 28859 1141 0 0 25 0 1 0 798891851 230449152 54692 4294967295 134512640 134581331 3221221792 3221220656 134528384 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 56262 54692 566 18 0 56244 0
vsize: 225048
[startup+310.021 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 601084 0 0 0 29859 1142 0 0 25 0 1 0 798891851 230449152 54692 4294967295 134512640 134581331 3221221792 3221220736 134560149 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 56262 54692 566 18 0 56244 0
vsize: 225048
[startup+320.022 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 601084 0 0 0 30858 1143 0 0 25 0 1 0 798891851 230449152 54692 4294967295 134512640 134581331 3221221792 3221220736 134560142 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 56262 54692 566 18 0 56244 0
vsize: 225048
[startup+330.023 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 601084 0 0 0 31858 1143 0 0 25 0 1 0 798891851 230449152 54692 4294967295 134512640 134581331 3221221792 3221220688 134517851 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 56262 54692 566 18 0 56244 0
vsize: 225048
[startup+340.023 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 601084 0 0 0 32858 1143 0 0 25 0 1 0 798891851 230449152 54692 4294967295 134512640 134581331 3221221792 3221220656 134528261 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 56262 54692 566 18 0 56244 0
vsize: 225048
[startup+350.023 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 601084 0 0 0 33857 1144 0 0 25 0 1 0 798891851 230449152 54692 4294967295 134512640 134581331 3221221792 3221220736 134560149 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 56262 54692 566 18 0 56244 0
vsize: 225048
[startup+360.024 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 601084 0 0 0 34857 1144 0 0 25 0 1 0 798891851 230449152 54692 4294967295 134512640 134581331 3221221792 3221220736 134560136 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 56262 54692 566 18 0 56244 0
vsize: 225048
[startup+370.025 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 601084 0 0 0 35857 1145 0 0 25 0 1 0 798891851 228679680 54278 4294967295 134512640 134581331 3221221792 3221220736 134560142 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 55830 54278 566 18 0 55812 0
vsize: 223320
[startup+380.025 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 601084 0 0 0 36856 1145 0 0 25 0 1 0 798891851 228679680 54278 4294967295 134512640 134581331 3221221792 3221220736 134560142 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55830 54278 566 18 0 55812 0
vsize: 223320
[startup+390.026 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 601084 0 0 0 37856 1145 0 0 25 0 1 0 798891851 228679680 54278 4294967295 134512640 134581331 3221221792 3221220736 134558956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55830 54278 566 18 0 55812 0
vsize: 223320
[startup+400.027 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 601084 0 0 0 38856 1145 0 0 25 0 1 0 798891851 228679680 54278 4294967295 134512640 134581331 3221221792 3221220688 134517764 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55830 54278 566 18 0 55812 0
vsize: 223320
[startup+410.027 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 601084 0 0 0 39856 1145 0 0 25 0 1 0 798891851 228679680 54278 4294967295 134512640 134581331 3221221792 3221220736 134560142 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55830 54278 566 18 0 55812 0
vsize: 223320
[startup+420.028 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 601084 0 0 0 40856 1145 0 0 25 0 1 0 798891851 228679680 54278 4294967295 134512640 134581331 3221221792 3221220656 134528261 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55830 54278 566 18 0 55812 0
vsize: 223320
[startup+430.028 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 601084 0 0 0 41857 1145 0 0 25 0 1 0 798891851 228679680 54278 4294967295 134512640 134581331 3221221792 3221220736 134558874 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55830 54278 566 18 0 55812 0
vsize: 223320
[startup+440.029 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 601084 0 0 0 42857 1145 0 0 25 0 1 0 798891851 228679680 54278 4294967295 134512640 134581331 3221221792 3221220656 134528261 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55830 54278 566 18 0 55812 0
vsize: 223320
[startup+450.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 601084 0 0 0 43857 1145 0 0 25 0 1 0 798891851 228679680 54278 4294967295 134512640 134581331 3221221792 3221220736 134560142 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55830 54278 566 18 0 55812 0
vsize: 223320
[startup+460.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 601084 0 0 0 44857 1145 0 0 25 0 1 0 798891851 228679680 54278 4294967295 134512640 134581331 3221221792 3221220736 134560142 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55830 54278 566 18 0 55812 0
vsize: 223320
[startup+470.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 601084 0 0 0 45857 1145 0 0 25 0 1 0 798891851 228679680 54278 4294967295 134512640 134581331 3221221792 3221220672 134520299 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55830 54278 566 18 0 55812 0
vsize: 223320
[startup+480.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 601084 0 0 0 46857 1145 0 0 25 0 1 0 798891851 228679680 54278 4294967295 134512640 134581331 3221221792 3221220688 134517777 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55830 54278 566 18 0 55812 0
vsize: 223320
[startup+490.031 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 601084 0 0 0 47858 1146 0 0 25 0 1 0 798891851 228679680 54278 4294967295 134512640 134581331 3221221792 3221220672 134520219 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55830 54278 566 18 0 55812 0
vsize: 223320
[startup+500.031 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 601084 0 0 0 48858 1146 0 0 25 0 1 0 798891851 228679680 54278 4294967295 134512640 134581331 3221221792 3221220736 134558856 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55830 54278 566 18 0 55812 0
vsize: 223320
[startup+510.031 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 601085 0 0 0 49858 1146 0 0 25 0 1 0 798891851 228679680 54279 4294967295 134512640 134581331 3221221792 3221220656 134528261 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55830 54279 566 18 0 55812 0
vsize: 223320
[startup+520.032 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 601085 0 0 0 50858 1146 0 0 25 0 1 0 798891851 228679680 54279 4294967295 134512640 134581331 3221221792 3221220736 134560142 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55830 54279 566 18 0 55812 0
vsize: 223320
[startup+530.032 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 601085 0 0 0 51858 1146 0 0 25 0 1 0 798891851 228679680 54279 4294967295 134512640 134581331 3221221792 3221220656 134528261 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55830 54279 566 18 0 55812 0
vsize: 223320
[startup+540.033 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 601085 0 0 0 52858 1146 0 0 25 0 1 0 798891851 228679680 54279 4294967295 134512640 134581331 3221221792 3221220736 134560149 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55830 54279 566 18 0 55812 0
vsize: 223320
[startup+550.034 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 601085 0 0 0 53859 1146 0 0 25 0 1 0 798891851 228679680 54279 4294967295 134512640 134581331 3221221792 3221220736 134558835 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55830 54279 566 18 0 55812 0
vsize: 223320
[startup+560.034 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 601085 0 0 0 54859 1146 0 0 25 0 1 0 798891851 228679680 54279 4294967295 134512640 134581331 3221221792 3221220736 134560142 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55830 54279 566 18 0 55812 0
vsize: 223320
[startup+570.035 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 601085 0 0 0 55859 1146 0 0 25 0 1 0 798891851 228679680 54279 4294967295 134512640 134581331 3221221792 3221220656 134528261 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55830 54279 566 18 0 55812 0
vsize: 223320
[startup+580.035 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 601085 0 0 0 56859 1146 0 0 25 0 1 0 798891851 228679680 54279 4294967295 134512640 134581331 3221221792 3221220848 134556033 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55830 54279 566 18 0 55812 0
vsize: 223320
[startup+590.036 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 601085 0 0 0 57859 1146 0 0 25 0 1 0 798891851 228679680 54279 4294967295 134512640 134581331 3221221792 3221220736 134560143 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55830 54279 566 18 0 55812 0
vsize: 223320
[startup+600.036 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 601085 0 0 0 58860 1146 0 0 25 0 1 0 798891851 228679680 54279 4294967295 134512640 134581331 3221221792 3221220656 134528316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55830 54279 566 18 0 55812 0
vsize: 223320
[startup+610.036 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 601085 0 0 0 59860 1146 0 0 25 0 1 0 798891851 228679680 54279 4294967295 134512640 134581331 3221221792 3221220656 134528384 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55830 54279 566 18 0 55812 0
vsize: 223320
[startup+620.037 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 601085 0 0 0 60860 1146 0 0 25 0 1 0 798891851 228679680 54279 4294967295 134512640 134581331 3221221792 3221220736 134560142 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55830 54279 566 18 0 55812 0
vsize: 223320
[startup+630.038 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 601085 0 0 0 61860 1146 0 0 25 0 1 0 798891851 228679680 54279 4294967295 134512640 134581331 3221221792 3221220736 134560142 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55830 54279 566 18 0 55812 0
vsize: 223320
[startup+640.038 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 601085 0 0 0 62860 1146 0 0 25 0 1 0 798891851 228679680 54279 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55830 54279 566 18 0 55812 0
vsize: 223320
[startup+650.038 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 601085 0 0 0 63860 1146 0 0 25 0 1 0 798891851 228679680 54279 4294967295 134512640 134581331 3221221792 3221220736 134560136 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55830 54279 566 18 0 55812 0
vsize: 223320
[startup+660.038 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 601085 0 0 0 64861 1146 0 0 25 0 1 0 798891851 228679680 54279 4294967295 134512640 134581331 3221221792 3221220704 134527445 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55830 54279 566 18 0 55812 0
vsize: 223320
[startup+670.039 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 601085 0 0 0 65861 1146 0 0 25 0 1 0 798891851 228679680 54279 4294967295 134512640 134581331 3221221792 3221220704 134527519 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55830 54279 566 18 0 55812 0
vsize: 223320
[startup+680.039 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 601085 0 0 0 66861 1146 0 0 25 0 1 0 798891851 228679680 54279 4294967295 134512640 134581331 3221221792 3221220736 134560142 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55830 54279 566 18 0 55812 0
vsize: 223320
[startup+690.04 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 601085 0 0 0 67861 1146 0 0 25 0 1 0 798891851 228679680 54279 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55830 54279 566 18 0 55812 0
vsize: 223320
[startup+700.041 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 601085 0 0 0 68861 1146 0 0 25 0 1 0 798891851 228679680 54279 4294967295 134512640 134581331 3221221792 3221220736 134558842 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55830 54279 566 18 0 55812 0
vsize: 223320
[startup+710.041 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 601085 0 0 0 69862 1146 0 0 25 0 1 0 798891851 228679680 54279 4294967295 134512640 134581331 3221221792 3221220736 134560142 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55830 54279 566 18 0 55812 0
vsize: 223320
[startup+720.042 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 601085 0 0 0 70862 1146 0 0 25 0 1 0 798891851 228679680 54279 4294967295 134512640 134581331 3221221792 3221220656 134528336 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55830 54279 566 18 0 55812 0
vsize: 223320
[startup+730.043 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 601085 0 0 0 71862 1146 0 0 25 0 1 0 798891851 228679680 54279 4294967295 134512640 134581331 3221221792 3221220736 134560149 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55830 54279 566 18 0 55812 0
vsize: 223320
[startup+740.044 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 601085 0 0 0 72862 1146 0 0 25 0 1 0 798891851 228679680 54279 4294967295 134512640 134581331 3221221792 3221220656 134528316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55830 54279 566 18 0 55812 0
vsize: 223320
[startup+750.045 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 601085 0 0 0 73862 1146 0 0 25 0 1 0 798891851 228679680 54279 4294967295 134512640 134581331 3221221792 3221220688 134517528 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55830 54279 566 18 0 55812 0
vsize: 223320
[startup+760.044 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 601085 0 0 0 74863 1146 0 0 25 0 1 0 798891851 228679680 54279 4294967295 134512640 134581331 3221221792 3221220736 134560143 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55830 54279 566 18 0 55812 0
vsize: 223320
[startup+770.046 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 601085 0 0 0 75863 1146 0 0 25 0 1 0 798891851 228679680 54279 4294967295 134512640 134581331 3221221792 3221220704 134527729 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55830 54279 566 18 0 55812 0
vsize: 223320
[startup+780.045 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 601085 0 0 0 76863 1146 0 0 25 0 1 0 798891851 228679680 54279 4294967295 134512640 134581331 3221221792 3221220736 134560136 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55830 54279 566 18 0 55812 0
vsize: 223320
[startup+790.046 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 601085 0 0 0 77863 1146 0 0 25 0 1 0 798891851 228679680 54279 4294967295 134512640 134581331 3221221792 3221220576 134528804 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55830 54279 566 18 0 55812 0
vsize: 223320
[startup+800.048 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 601085 0 0 0 78863 1146 0 0 25 0 1 0 798891851 228679680 54279 4294967295 134512640 134581331 3221221792 3221220736 134558922 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55830 54279 566 18 0 55812 0
vsize: 223320
[startup+810.047 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 601085 0 0 0 79864 1146 0 0 25 0 1 0 798891851 228679680 54279 4294967295 134512640 134581331 3221221792 3221220656 134528270 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55830 54279 566 18 0 55812 0
vsize: 223320
[startup+820.048 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 601085 0 0 0 80864 1146 0 0 25 0 1 0 798891851 228679680 54279 4294967295 134512640 134581331 3221221792 3221220576 134528844 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55830 54279 566 18 0 55812 0
vsize: 223320
[startup+830.048 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 601085 0 0 0 81864 1146 0 0 25 0 1 0 798891851 228679680 54279 4294967295 134512640 134581331 3221221792 3221220704 134527432 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55830 54279 566 18 0 55812 0
vsize: 223320
[startup+840.049 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 601085 0 0 0 82864 1146 0 0 25 0 1 0 798891851 228679680 54279 4294967295 134512640 134581331 3221221792 3221220736 134560142 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55830 54279 566 18 0 55812 0
vsize: 223320
[startup+850.049 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 601085 0 0 0 83864 1146 0 0 25 0 1 0 798891851 228679680 54279 4294967295 134512640 134581331 3221221792 3221220736 134560149 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55830 54279 566 18 0 55812 0
vsize: 223320
[startup+860.049 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 601085 0 0 0 84864 1146 0 0 25 0 1 0 798891851 228679680 54279 4294967295 134512640 134581331 3221221792 3221220704 134527531 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55830 54279 566 18 0 55812 0
vsize: 223320
[startup+870.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 601085 0 0 0 85865 1146 0 0 25 0 1 0 798891851 228679680 54279 4294967295 134512640 134581331 3221221792 3221220736 134560142 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55830 54279 566 18 0 55812 0
vsize: 223320
[startup+880.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 601085 0 0 0 86865 1146 0 0 25 0 1 0 798891851 228679680 54279 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55830 54279 566 18 0 55812 0
vsize: 223320
[startup+890.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 601085 0 0 0 87865 1146 0 0 25 0 1 0 798891851 228679680 54279 4294967295 134512640 134581331 3221221792 3221220736 134558842 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55830 54279 566 18 0 55812 0
vsize: 223320
[startup+900.051 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 601085 0 0 0 88865 1146 0 0 25 0 1 0 798891851 228679680 54279 4294967295 134512640 134581331 3221221792 3221220736 134558835 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55830 54279 566 18 0 55812 0
vsize: 223320
[startup+910.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 601085 0 0 0 89865 1146 0 0 25 0 1 0 798891851 228679680 54279 4294967295 134512640 134581331 3221221792 3221220704 134528079 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55830 54279 566 18 0 55812 0
vsize: 223320
[startup+920.051 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 601085 0 0 0 90865 1146 0 0 25 0 1 0 798891851 228679680 54279 4294967295 134512640 134581331 3221221792 3221220704 134527510 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55830 54279 566 18 0 55812 0
vsize: 223320
[startup+930.052 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 601085 0 0 0 91866 1146 0 0 25 0 1 0 798891851 228679680 54279 4294967295 134512640 134581331 3221221792 3221220736 134560142 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55830 54279 566 18 0 55812 0
vsize: 223320
[startup+940.052 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 601086 0 0 0 92866 1146 0 0 25 0 1 0 798891851 228679680 54280 4294967295 134512640 134581331 3221221792 3221220656 134528261 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55830 54280 566 18 0 55812 0
vsize: 223320
[startup+950.052 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 601086 0 0 0 93866 1146 0 0 25 0 1 0 798891851 228679680 54280 4294967295 134512640 134581331 3221221792 3221220736 134560136 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55830 54280 566 18 0 55812 0
vsize: 223320
[startup+960.052 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 601086 0 0 0 94866 1146 0 0 25 0 1 0 798891851 228679680 54280 4294967295 134512640 134581331 3221221792 3221220736 134558828 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55830 54280 566 18 0 55812 0
vsize: 223320
[startup+970.053 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 601086 0 0 0 95866 1146 0 0 25 0 1 0 798891851 228679680 54280 4294967295 134512640 134581331 3221221792 3221220736 134560136 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55830 54280 566 18 0 55812 0
vsize: 223320
[startup+980.054 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 601086 0 0 0 96866 1147 0 0 25 0 1 0 798891851 228679680 54280 4294967295 134512640 134581331 3221221792 3221220656 134528261 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55830 54280 566 18 0 55812 0
vsize: 223320
[startup+990.054 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 601086 0 0 0 97866 1147 0 0 25 0 1 0 798891851 228679680 54280 4294967295 134512640 134581331 3221221792 3221220656 134528336 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55830 54280 566 18 0 55812 0
vsize: 223320
[startup+1000.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 601086 0 0 0 98866 1147 0 0 25 0 1 0 798891851 228679680 54280 4294967295 134512640 134581331 3221221792 3221220704 134527451 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55830 54280 566 18 0 55812 0
vsize: 223320
[startup+1010.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 601086 0 0 0 99866 1147 0 0 25 0 1 0 798891851 228679680 54280 4294967295 134512640 134581331 3221221792 3221220704 134527416 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55830 54280 566 18 0 55812 0
vsize: 223320
[startup+1020.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 601086 0 0 0 100866 1147 0 0 25 0 1 0 798891851 228679680 54280 4294967295 134512640 134581331 3221221792 3221220656 134528503 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55830 54280 566 18 0 55812 0
vsize: 223320
[startup+1030.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 601086 0 0 0 101867 1147 0 0 25 0 1 0 798891851 228679680 54280 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55830 54280 566 18 0 55812 0
vsize: 223320
[startup+1040.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 601086 0 0 0 102867 1147 0 0 25 0 1 0 798891851 228679680 54280 4294967295 134512640 134581331 3221221792 3221220704 134531400 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55830 54280 566 18 0 55812 0
vsize: 223320
[startup+1050.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 601086 0 0 0 103867 1147 0 0 25 0 1 0 798891851 228679680 54280 4294967295 134512640 134581331 3221221792 3221220704 134527410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55830 54280 566 18 0 55812 0
vsize: 223320
[startup+1060.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 601086 0 0 0 104867 1147 0 0 25 0 1 0 798891851 228679680 54280 4294967295 134512640 134581331 3221221792 3221220632 134528560 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55830 54280 566 18 0 55812 0
vsize: 223320
[startup+1070.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 601086 0 0 0 105867 1147 0 0 25 0 1 0 798891851 228679680 54280 4294967295 134512640 134581331 3221221792 3221220688 134517883 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55830 54280 566 18 0 55812 0
vsize: 223320
[startup+1080.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 601086 0 0 0 106867 1147 0 0 25 0 1 0 798891851 228679680 54280 4294967295 134512640 134581331 3221221792 3221220736 134560143 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55830 54280 566 18 0 55812 0
vsize: 223320
[startup+1090.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 601086 0 0 0 107868 1148 0 0 25 0 1 0 798891851 228679680 54280 4294967295 134512640 134581331 3221221792 3221220704 134527423 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55830 54280 566 18 0 55812 0
vsize: 223320
[startup+1100.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 601086 0 0 0 108868 1148 0 0 25 0 1 0 798891851 228679680 54280 4294967295 134512640 134581331 3221221792 3221220736 134560149 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55830 54280 566 18 0 55812 0
vsize: 223320
[startup+1110.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 601086 0 0 0 109867 1148 0 0 25 0 1 0 798891851 228679680 54280 4294967295 134512640 134581331 3221221792 3221220736 134560142 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55830 54280 566 18 0 55812 0
vsize: 223320
[startup+1120.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 601086 0 0 0 110867 1148 0 0 25 0 1 0 798891851 228679680 54280 4294967295 134512640 134581331 3221221792 3221220736 134560136 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55830 54280 566 18 0 55812 0
vsize: 223320
[startup+1130.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 601086 0 0 0 111867 1148 0 0 25 0 1 0 798891851 228679680 54280 4294967295 134512640 134581331 3221221792 3221220576 134528824 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55830 54280 566 18 0 55812 0
vsize: 223320
[startup+1140.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 601086 0 0 0 112867 1148 0 0 25 0 1 0 798891851 228679680 54280 4294967295 134512640 134581331 3221221792 3221220704 134527783 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55830 54280 566 18 0 55812 0
vsize: 223320
[startup+1150.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 601086 0 0 0 113867 1148 0 0 25 0 1 0 798891851 228679680 54280 4294967295 134512640 134581331 3221221792 3221220704 134527416 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55830 54280 566 18 0 55812 0
vsize: 223320
[startup+1160.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 601086 0 0 0 114867 1148 0 0 25 0 1 0 798891851 228679680 54280 4294967295 134512640 134581331 3221221792 3221220688 134517777 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55830 54280 566 18 0 55812 0
vsize: 223320
[startup+1170.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 601086 0 0 0 115868 1148 0 0 25 0 1 0 798891851 228679680 54280 4294967295 134512640 134581331 3221221792 3221220704 134531400 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55830 54280 566 18 0 55812 0
vsize: 223320
[startup+1180.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 601086 0 0 0 116868 1148 0 0 25 0 1 0 798891851 228679680 54280 4294967295 134512640 134581331 3221221792 3221220576 134528769 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55830 54280 566 18 0 55812 0
vsize: 223320
[startup+1190.07 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 601086 0 0 0 117868 1148 0 0 25 0 1 0 798891851 228679680 54280 4294967295 134512640 134581331 3221221792 3221220656 134528503 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55830 54280 566 18 0 55812 0
vsize: 223320
[startup+1200.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 2557
Raw data (stat): 2557 (Pueblo) R 2556 7876 7672 0 -1 0 601086 0 0 0 118868 1148 0 0 25 0 1 0 798891851 228679680 54280 4294967295 134512640 134581331 3221221792 3221220736 134560143 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55830 54280 566 18 0 55812 0
vsize: 223320
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.17 s]
Raw data (loadavg): 1.00 0.99 0.92 1/55 2557
Raw data (stat): 2557 (Pueblo) Z 2556 7876 7672 0 -1 1036 601086 0 0 0 118868 1158 0 0 25 0 1 0 798891851 0 0 4294967295 0 0 0 0 0 0 0 1 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.17
CPU time (s): 1200.28
CPU user time (s): 1188.69
CPU system time (s): 11.5872
CPU usage (%): 100.009
Max. virtual memory (Kb): 225048
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####