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-n3701.opb
MD5SUM	c5e85fef75cd61b11166b8854f4a9cf3
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	39244285251
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	39244285251
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.963853
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 26960

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc27 THE 2005-05-24 18:23:02 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19013 boxname=wulflinc27 idbench=1463 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  c5e85fef75cd61b11166b8854f4a9cf3  /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-13-7-n3701.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-13-7-n3701.opb
IDLAUNCH: 19013
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.169
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        871516 kB
Buffers:         34560 kB
Cached:         106388 kB
SwapCached:        628 kB
Active:          72276 kB
Inactive:        71096 kB
HighTotal:      131008 kB
HighFree:        21336 kB
LowTotal:       903652 kB
LowFree:        850180 kB
SwapTotal:     2097892 kB
SwapFree:      2096768 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5644 kB
Slab:            14124 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 18:43:04 (client local time) WITH STATUS 0 IN 1200.31 SECONDS
stats: 19013 7 1200.31 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.92 0.97 0.96 2/54 6130
Raw data (stat): 6130 (runsolver) R 6129 3394 3393 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 832361760 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+10 s]
Raw data (loadavg): 0.93 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 81549 0 0 0 844 154 0 0 25 0 1 0 832361760 56012800 12048 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13675 12057 566 18 0 13657 0
vsize: 54700
[startup+20.0008 s]
Raw data (loadavg): 0.94 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 393556 0 0 0 1300 699 0 0 25 0 1 0 832361760 57634816 12480 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14071 12484 566 18 0 14053 0
vsize: 56284
[startup+30.0007 s]
Raw data (loadavg): 0.95 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 558782 0 0 0 2001 998 0 0 25 0 1 0 832361760 57110528 12391 4294967295 134512640 134581331 3221224608 3221223552 134560142 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13943 12391 566 18 0 13925 0
vsize: 55772
[startup+40.0008 s]
Raw data (loadavg): 0.96 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 560001 0 0 0 2996 1003 0 0 25 0 1 0 832361760 62009344 13610 4294967295 134512640 134581331 3221224608 3221223552 134560149 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15139 13610 566 18 0 15121 0
vsize: 60556
[startup+50.0013 s]
Raw data (loadavg): 0.96 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 561906 0 0 0 3990 1009 0 0 25 0 1 0 832361760 69857280 15515 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17055 15515 566 18 0 17037 0
vsize: 68220
[startup+60.0011 s]
Raw data (loadavg): 0.97 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 563694 0 0 0 4984 1015 0 0 25 0 1 0 832361760 77172736 17303 4294967295 134512640 134581331 3221224608 3221223384 1075291632 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18841 17303 566 18 0 18823 0
vsize: 75364
[startup+70.0009 s]
Raw data (loadavg): 0.97 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 565332 0 0 0 5981 1019 0 0 25 0 1 0 832361760 83902464 18941 4294967295 134512640 134581331 3221224608 3221223472 134528275 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20484 18941 566 18 0 20466 0
vsize: 81936
[startup+80.0007 s]
Raw data (loadavg): 0.98 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 566442 0 0 0 6977 1023 0 0 25 0 1 0 832361760 88436736 20051 4294967295 134512640 134581331 3221224608 3221223472 134560456 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21591 20051 566 18 0 21573 0
vsize: 86364
[startup+90.0006 s]
Raw data (loadavg): 0.98 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 567365 0 0 0 7974 1026 0 0 25 0 1 0 832361760 92282880 20974 4294967295 134512640 134581331 3221224608 3221223520 134527645 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22530 20974 566 18 0 22512 0
vsize: 90120
[startup+100.001 s]
Raw data (loadavg): 0.98 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 568738 0 0 0 8968 1032 0 0 25 0 1 0 832361760 97861632 22347 4294967295 134512640 134581331 3221224608 3221223520 134527416 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23892 22347 566 18 0 23874 0
vsize: 95568
[startup+110 s]
Raw data (loadavg): 0.98 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 569960 0 0 0 9963 1037 0 0 25 0 1 0 832361760 102862848 23569 4294967295 134512640 134581331 3221224608 3221223552 134560142 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25113 23569 566 18 0 25095 0
vsize: 100452
[startup+120.001 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 571175 0 0 0 10959 1041 0 0 25 0 1 0 832361760 107864064 24784 4294967295 134512640 134581331 3221224608 3221223552 134560149 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26334 24784 566 18 0 26316 0
vsize: 105336
[startup+130.001 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 572161 0 0 0 11956 1044 0 0 25 0 1 0 832361760 111869952 25770 4294967295 134512640 134581331 3221224608 3221223552 134560142 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27312 25770 566 18 0 27294 0
vsize: 109248
[startup+140.001 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 573253 0 0 0 12953 1047 0 0 25 0 1 0 832361760 116342784 26862 4294967295 134512640 134581331 3221224608 3221223520 134527423 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28404 26862 566 18 0 28386 0
vsize: 113616
[startup+150.002 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 574354 0 0 0 13949 1051 0 0 25 0 1 0 832361760 120918016 27963 4294967295 134512640 134581331 3221224608 3221223520 134527513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29521 27963 566 18 0 29503 0
vsize: 118084
[startup+160.002 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 575262 0 0 0 14947 1054 0 0 25 0 1 0 832361760 124694528 28871 4294967295 134512640 134581331 3221224608 3221223520 134527667 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30443 28871 566 18 0 30425 0
vsize: 121772
[startup+170.002 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 576319 0 0 0 15943 1059 0 0 25 0 1 0 832361760 128946176 29928 4294967295 134512640 134581331 3221224608 3221223472 134528261 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31481 29928 566 18 0 31463 0
vsize: 125924
[startup+180.002 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 577259 0 0 0 16940 1061 0 0 25 0 1 0 832361760 132784128 30868 4294967295 134512640 134581331 3221224608 3221223472 134528344 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32418 30868 566 18 0 32400 0
vsize: 129672
[startup+190.002 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 578280 0 0 0 17937 1064 0 0 25 0 1 0 832361760 136953856 31889 4294967295 134512640 134581331 3221224608 3221223472 134528261 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33436 31889 566 18 0 33418 0
vsize: 133744
[startup+200.002 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 579362 0 0 0 18934 1067 0 0 25 0 1 0 832361760 141430784 32971 4294967295 134512640 134581331 3221224608 3221223584 134560718 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34529 32971 566 18 0 34511 0
vsize: 138116
[startup+210.001 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 580388 0 0 0 19931 1071 0 0 25 0 1 0 832361760 145674240 33997 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35565 33997 566 18 0 35547 0
vsize: 142260
[startup+220.002 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 581394 0 0 0 20928 1074 0 0 25 0 1 0 832361760 149733376 35003 4294967295 134512640 134581331 3221224608 3221223304 1075291632 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36556 35003 566 18 0 36538 0
vsize: 146224
[startup+230.001 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 582390 0 0 0 21925 1077 0 0 25 0 1 0 832361760 153841664 35999 4294967295 134512640 134581331 3221224608 3221223520 134528088 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37559 35999 566 18 0 37541 0
vsize: 150236
[startup+240.001 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 583361 0 0 0 22924 1079 0 0 25 0 1 0 832361760 157802496 36970 4294967295 134512640 134581331 3221224608 3221223472 134560375 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38526 36970 566 18 0 38508 0
vsize: 154104
[startup+250.002 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 584940 0 0 0 23919 1084 0 0 25 0 1 0 832361760 164302848 38549 4294967295 134512640 134581331 3221224608 3221223552 134560149 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40113 38549 566 18 0 40095 0
vsize: 160452
[startup+260.002 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 586416 0 0 0 24913 1090 0 0 25 0 1 0 832361760 170299392 40025 4294967295 134512640 134581331 3221224608 3221223568 134516754 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41577 40025 566 18 0 41559 0
vsize: 166308
[startup+270.002 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 586416 0 0 0 25913 1090 0 0 25 0 1 0 832361760 170299392 40025 4294967295 134512640 134581331 3221224608 3221223472 134560389 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41577 40025 566 18 0 41559 0
vsize: 166308
[startup+280.002 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 586416 0 0 0 26913 1090 0 0 25 0 1 0 832361760 170299392 40025 4294967295 134512640 134581331 3221224608 3221223552 134560142 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41577 40025 566 18 0 41559 0
vsize: 166308
[startup+290.001 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 586416 0 0 0 27913 1090 0 0 25 0 1 0 832361760 170299392 40025 4294967295 134512640 134581331 3221224608 3221223520 134527737 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41577 40025 566 18 0 41559 0
vsize: 166308
[startup+300.001 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 586416 0 0 0 28913 1090 0 0 25 0 1 0 832361760 170299392 40025 4294967295 134512640 134581331 3221224608 3221223552 134560142 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41577 40025 566 18 0 41559 0
vsize: 166308
[startup+310.001 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 586416 0 0 0 29913 1090 0 0 25 0 1 0 832361760 170299392 40025 4294967295 134512640 134581331 3221224608 3221223504 134517806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41577 40025 566 18 0 41559 0
vsize: 166308
[startup+320.002 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 586416 0 0 0 30914 1090 0 0 25 0 1 0 832361760 170299392 40025 4294967295 134512640 134581331 3221224608 3221223520 134527434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41577 40025 566 18 0 41559 0
vsize: 166308
[startup+330.002 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 586416 0 0 0 31914 1090 0 0 25 0 1 0 832361760 170299392 40025 4294967295 134512640 134581331 3221224608 3221223552 134560149 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41577 40025 566 18 0 41559 0
vsize: 166308
[startup+340.002 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 586416 0 0 0 32914 1090 0 0 25 0 1 0 832361760 170299392 40025 4294967295 134512640 134581331 3221224608 3221223472 134528261 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41577 40025 566 18 0 41559 0
vsize: 166308
[startup+350.002 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 586416 0 0 0 33914 1090 0 0 25 0 1 0 832361760 170299392 40025 4294967295 134512640 134581331 3221224608 3221223520 134527639 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41577 40025 566 18 0 41559 0
vsize: 166308
[startup+360.002 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 586416 0 0 0 34914 1090 0 0 25 0 1 0 832361760 170299392 40025 4294967295 134512640 134581331 3221224608 3221223576 134527282 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41577 40025 566 18 0 41559 0
vsize: 166308
[startup+370.002 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 586416 0 0 0 35914 1090 0 0 25 0 1 0 832361760 170299392 40025 4294967295 134512640 134581331 3221224608 3221223552 134560136 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41577 40025 566 18 0 41559 0
vsize: 166308
[startup+380.002 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 586416 0 0 0 36914 1090 0 0 25 0 1 0 832361760 170299392 40025 4294967295 134512640 134581331 3221224608 3221223516 134527740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41577 40025 566 18 0 41559 0
vsize: 166308
[startup+390.001 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 586416 0 0 0 37915 1090 0 0 25 0 1 0 832361760 170299392 40025 4294967295 134512640 134581331 3221224608 3221223472 134528261 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41577 40025 566 18 0 41559 0
vsize: 166308
[startup+400.002 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 586417 0 0 0 38915 1090 0 0 25 0 1 0 832361760 170299392 40026 4294967295 134512640 134581331 3221224608 3221223552 134560142 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41577 40026 566 18 0 41559 0
vsize: 166308
[startup+410.001 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 586417 0 0 0 39914 1092 0 0 25 0 1 0 832361760 153812992 36005 4294967295 134512640 134581331 3221224608 3221223520 134527975 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37552 36005 566 18 0 37534 0
vsize: 150208
[startup+420.002 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 586417 0 0 0 40914 1092 0 0 25 0 1 0 832361760 153812992 36005 4294967295 134512640 134581331 3221224608 3221223552 134560142 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37552 36005 566 18 0 37534 0
vsize: 150208
[startup+430.002 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 586417 0 0 0 41914 1092 0 0 25 0 1 0 832361760 153812992 36005 4294967295 134512640 134581331 3221224608 3221223392 134528804 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37552 36005 566 18 0 37534 0
vsize: 150208
[startup+440.002 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 586417 0 0 0 42914 1092 0 0 25 0 1 0 832361760 153812992 36005 4294967295 134512640 134581331 3221224608 3221223520 134527531 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37552 36005 566 18 0 37534 0
vsize: 150208
[startup+450.001 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 586417 0 0 0 43914 1092 0 0 25 0 1 0 832361760 153812992 36005 4294967295 134512640 134581331 3221224608 3221223552 134560142 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37552 36005 566 18 0 37534 0
vsize: 150208
[startup+460.002 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 586417 0 0 0 44914 1092 0 0 25 0 1 0 832361760 153812992 36005 4294967295 134512640 134581331 3221224608 3221223472 134528261 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37552 36005 566 18 0 37534 0
vsize: 150208
[startup+470.002 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 586417 0 0 0 45914 1092 0 0 25 0 1 0 832361760 153812992 36005 4294967295 134512640 134581331 3221224608 3221223520 134528079 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37552 36005 566 18 0 37534 0
vsize: 150208
[startup+480.002 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 586417 0 0 0 46914 1092 0 0 25 0 1 0 832361760 153812992 36005 4294967295 134512640 134581331 3221224608 3221223472 134528254 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37552 36005 566 18 0 37534 0
vsize: 150208
[startup+490.002 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 586417 0 0 0 47914 1092 0 0 25 0 1 0 832361760 153812992 36005 4294967295 134512640 134581331 3221224608 3221223304 1075291632 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37552 36005 566 18 0 37534 0
vsize: 150208
[startup+500.002 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 586417 0 0 0 48914 1092 0 0 25 0 1 0 832361760 153812992 36005 4294967295 134512640 134581331 3221224608 3221223600 134561059 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37552 36005 566 18 0 37534 0
vsize: 150208
[startup+510.001 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 586417 0 0 0 49915 1092 0 0 25 0 1 0 832361760 153812992 36005 4294967295 134512640 134581331 3221224608 3221223520 134527980 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37552 36005 566 18 0 37534 0
vsize: 150208
[startup+520.002 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 586417 0 0 0 50915 1092 0 0 25 0 1 0 832361760 153812992 36005 4294967295 134512640 134581331 3221224608 3221223472 134560363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37552 36005 566 18 0 37534 0
vsize: 150208
[startup+530.002 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 587423 0 0 0 51911 1096 0 0 25 0 1 0 832361760 157937664 37011 4294967295 134512640 134581331 3221224608 3221223392 134528765 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38559 37011 566 18 0 38541 0
vsize: 154236
[startup+540.002 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 588956 0 0 0 52907 1101 0 0 25 0 1 0 832361760 164302848 38544 4294967295 134512640 134581331 3221224608 3221223504 134517902 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40113 38544 566 18 0 40095 0
vsize: 160452
[startup+550.002 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 590488 0 0 0 53900 1107 0 0 25 0 1 0 832361760 170557440 40076 4294967295 134512640 134581331 3221224608 3221223520 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41640 40076 566 18 0 41622 0
vsize: 166560
[startup+560.001 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 592012 0 0 0 54895 1113 0 0 25 0 1 0 832361760 176779264 41600 4294967295 134512640 134581331 3221224608 3221223472 134528261 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43159 41600 566 18 0 43141 0
vsize: 172636
[startup+570.001 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 593533 0 0 0 55890 1118 0 0 25 0 1 0 832361760 183025664 43121 4294967295 134512640 134581331 3221224608 3221223520 134531400 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44684 43121 566 18 0 44666 0
vsize: 178736
[startup+580.001 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 595054 0 0 0 56884 1124 0 0 25 0 1 0 832361760 189296640 44642 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46215 44642 566 18 0 46197 0
vsize: 184860
[startup+590.001 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 596122 0 0 0 57881 1127 0 0 25 0 1 0 832361760 193708032 45710 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47292 45710 566 18 0 47274 0
vsize: 189168
[startup+600.002 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 596122 0 0 0 58881 1127 0 0 25 0 1 0 832361760 193708032 45710 4294967295 134512640 134581331 3221224608 3221223504 134517880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47292 45710 566 18 0 47274 0
vsize: 189168
[startup+610.002 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 596122 0 0 0 59881 1127 0 0 25 0 1 0 832361760 193708032 45710 4294967295 134512640 134581331 3221224608 3221223472 134528316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47292 45710 566 18 0 47274 0
vsize: 189168
[startup+620.003 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 596122 0 0 0 60881 1127 0 0 25 0 1 0 832361760 193708032 45710 4294967295 134512640 134581331 3221224608 3221223552 134560142 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47292 45710 566 18 0 47274 0
vsize: 189168
[startup+630.003 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 596122 0 0 0 61882 1127 0 0 25 0 1 0 832361760 193708032 45710 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47292 45710 566 18 0 47274 0
vsize: 189168
[startup+640.003 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 596122 0 0 0 62882 1127 0 0 25 0 1 0 832361760 193708032 45710 4294967295 134512640 134581331 3221224608 3221223472 134528422 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47292 45710 566 18 0 47274 0
vsize: 189168
[startup+650.004 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 596122 0 0 0 63882 1127 0 0 25 0 1 0 832361760 193708032 45710 4294967295 134512640 134581331 3221224608 3221223504 134517880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47292 45710 566 18 0 47274 0
vsize: 189168
[startup+660.004 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 596122 0 0 0 64882 1127 0 0 25 0 1 0 832361760 193708032 45710 4294967295 134512640 134581331 3221224608 3221223552 134559093 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47292 45710 566 18 0 47274 0
vsize: 189168
[startup+670.005 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 596122 0 0 0 65882 1127 0 0 25 0 1 0 832361760 193708032 45710 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47292 45710 566 18 0 47274 0
vsize: 189168
[startup+680.004 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 596122 0 0 0 66882 1127 0 0 25 0 1 0 832361760 193708032 45710 4294967295 134512640 134581331 3221224608 3221223472 134560421 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47292 45710 566 18 0 47274 0
vsize: 189168
[startup+690.004 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 596122 0 0 0 67882 1128 0 0 25 0 1 0 832361760 193708032 45710 4294967295 134512640 134581331 3221224608 3221223520 134527778 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47292 45710 566 18 0 47274 0
vsize: 189168
[startup+700.005 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 596122 0 0 0 68883 1128 0 0 25 0 1 0 832361760 193708032 45710 4294967295 134512640 134581331 3221224608 3221223520 134527695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47292 45710 566 18 0 47274 0
vsize: 189168
[startup+710.005 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 596595 0 0 0 69880 1130 0 0 25 0 1 0 832361760 195698688 46183 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47778 46183 566 18 0 47760 0
vsize: 191112
[startup+720.005 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 598168 0 0 0 70875 1136 0 0 25 0 1 0 832361760 202072064 47756 4294967295 134512640 134581331 3221224608 3221223504 134517905 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49334 47756 566 18 0 49316 0
vsize: 197336
[startup+730.005 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 599739 0 0 0 71870 1140 0 0 25 0 1 0 832361760 208580608 49327 4294967295 134512640 134581331 3221224608 3221223552 134560149 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50923 49327 566 18 0 50905 0
vsize: 203692
[startup+740.004 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 601331 0 0 0 72866 1145 0 0 25 0 1 0 832361760 215052288 50919 4294967295 134512640 134581331 3221224608 3221223520 134527639 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52503 50919 566 18 0 52485 0
vsize: 210012
[startup+750.004 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 602933 0 0 0 73862 1149 0 0 25 0 1 0 832361760 221650944 52521 4294967295 134512640 134581331 3221224608 3221223552 134560142 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54114 52521 566 18 0 54096 0
vsize: 216456
[startup+760.004 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 604540 0 0 0 74856 1155 0 0 25 0 1 0 832361760 228270080 54128 4294967295 134512640 134581331 3221224608 3221223504 134517871 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55730 54128 566 18 0 55712 0
vsize: 222920
[startup+770.005 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 606116 0 0 0 75851 1160 0 0 25 0 1 0 832361760 234635264 55704 4294967295 134512640 134581331 3221224608 3221223552 134560142 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57284 55704 566 18 0 57266 0
vsize: 229136
[startup+780.005 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 606599 0 0 0 76850 1161 0 0 25 0 1 0 832361760 236634112 56187 4294967295 134512640 134581331 3221224608 3221223472 134528425 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57772 56187 566 18 0 57754 0
vsize: 231088
[startup+790.005 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 606599 0 0 0 77850 1161 0 0 25 0 1 0 832361760 236634112 56187 4294967295 134512640 134581331 3221224608 3221223520 134527975 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57772 56187 566 18 0 57754 0
vsize: 231088
[startup+800.004 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 606599 0 0 0 78851 1161 0 0 25 0 1 0 832361760 236634112 56187 4294967295 134512640 134581331 3221224608 3221223584 134560718 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57772 56187 566 18 0 57754 0
vsize: 231088
[startup+810.004 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 606599 0 0 0 79851 1161 0 0 25 0 1 0 832361760 236634112 56187 4294967295 134512640 134581331 3221224608 3221223504 134517880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57772 56187 566 18 0 57754 0
vsize: 231088
[startup+820.005 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 606599 0 0 0 80851 1161 0 0 25 0 1 0 832361760 236634112 56187 4294967295 134512640 134581331 3221224608 3221223472 134528261 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57772 56187 566 18 0 57754 0
vsize: 231088
[startup+830.005 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 606599 0 0 0 81851 1161 0 0 25 0 1 0 832361760 236634112 56187 4294967295 134512640 134581331 3221224608 3221223520 134527636 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57772 56187 566 18 0 57754 0
vsize: 231088
[startup+840.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 606599 0 0 0 82852 1161 0 0 25 0 1 0 832361760 236634112 56187 4294967295 134512640 134581331 3221224608 3221223552 134560136 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57772 56187 566 18 0 57754 0
vsize: 231088
[startup+850.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 606599 0 0 0 83852 1161 0 0 25 0 1 0 832361760 236634112 56187 4294967295 134512640 134581331 3221224608 3221223552 134560136 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57772 56187 566 18 0 57754 0
vsize: 231088
[startup+860.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 606599 0 0 0 84852 1161 0 0 25 0 1 0 832361760 236634112 56187 4294967295 134512640 134581331 3221224608 3221223552 134560142 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57772 56187 566 18 0 57754 0
vsize: 231088
[startup+870.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 606599 0 0 0 85853 1161 0 0 25 0 1 0 832361760 236634112 56187 4294967295 134512640 134581331 3221224608 3221223552 134560136 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57772 56187 566 18 0 57754 0
vsize: 231088
[startup+880.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 606599 0 0 0 86853 1161 0 0 25 0 1 0 832361760 236634112 56187 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57772 56187 566 18 0 57754 0
vsize: 231088
[startup+890.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 606599 0 0 0 87853 1161 0 0 25 0 1 0 832361760 236634112 56187 4294967295 134512640 134581331 3221224608 3221223488 134520219 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57772 56187 566 18 0 57754 0
vsize: 231088
[startup+900.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 606599 0 0 0 88853 1161 0 0 25 0 1 0 832361760 236634112 56187 4294967295 134512640 134581331 3221224608 3221223552 134559312 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57772 56187 566 18 0 57754 0
vsize: 231088
[startup+910.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 606599 0 0 0 89853 1161 0 0 25 0 1 0 832361760 236634112 56187 4294967295 134512640 134581331 3221224608 3221223472 134528275 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57772 56187 566 18 0 57754 0
vsize: 231088
[startup+920.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 606599 0 0 0 90853 1161 0 0 25 0 1 0 832361760 236634112 56187 4294967295 134512640 134581331 3221224608 3221223520 134527639 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57772 56187 566 18 0 57754 0
vsize: 231088
[startup+930.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 606599 0 0 0 91854 1161 0 0 25 0 1 0 832361760 236634112 56187 4294967295 134512640 134581331 3221224608 3221223520 134527984 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57772 56187 566 18 0 57754 0
vsize: 231088
[startup+940.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 606599 0 0 0 92854 1161 0 0 25 0 1 0 832361760 236634112 56187 4294967295 134512640 134581331 3221224608 3221223504 134517931 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57772 56187 566 18 0 57754 0
vsize: 231088
[startup+950.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 606599 0 0 0 93854 1161 0 0 25 0 1 0 832361760 236634112 56187 4294967295 134512640 134581331 3221224608 3221223520 134528088 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57772 56187 566 18 0 57754 0
vsize: 231088
[startup+960.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 606599 0 0 0 94854 1161 0 0 25 0 1 0 832361760 236634112 56187 4294967295 134512640 134581331 3221224608 3221223552 134560142 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57772 56187 566 18 0 57754 0
vsize: 231088
[startup+970.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 606599 0 0 0 95854 1161 0 0 25 0 1 0 832361760 236634112 56187 4294967295 134512640 134581331 3221224608 3221223504 134517615 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57772 56187 566 18 0 57754 0
vsize: 231088
[startup+980.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 606599 0 0 0 96854 1161 0 0 25 0 1 0 832361760 236634112 56187 4294967295 134512640 134581331 3221224608 3221223472 134528275 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57772 56187 566 18 0 57754 0
vsize: 231088
[startup+990.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 606599 0 0 0 97855 1161 0 0 25 0 1 0 832361760 236634112 56187 4294967295 134512640 134581331 3221224608 3221223504 134517900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57772 56187 566 18 0 57754 0
vsize: 231088
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 606599 0 0 0 98855 1161 0 0 25 0 1 0 832361760 236634112 56187 4294967295 134512640 134581331 3221224608 3221223504 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57772 56187 566 18 0 57754 0
vsize: 231088
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 606599 0 0 0 99854 1162 0 0 25 0 1 0 832361760 236634112 56187 4294967295 134512640 134581331 3221224608 3221223552 134560143 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57772 56187 566 18 0 57754 0
vsize: 231088
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 606599 0 0 0 100854 1162 0 0 25 0 1 0 832361760 236634112 56187 4294967295 134512640 134581331 3221224608 3221223244 1075289350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57772 56187 566 18 0 57754 0
vsize: 231088
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 606599 0 0 0 101855 1162 0 0 25 0 1 0 832361760 236634112 56187 4294967295 134512640 134581331 3221224608 3221223600 134561089 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57772 56187 566 18 0 57754 0
vsize: 231088
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 606599 0 0 0 102855 1162 0 0 25 0 1 0 832361760 236634112 56187 4294967295 134512640 134581331 3221224608 3221223520 134527451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57772 56187 566 18 0 57754 0
vsize: 231088
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 606599 0 0 0 103855 1162 0 0 25 0 1 0 832361760 236634112 56187 4294967295 134512640 134581331 3221224608 3221223520 134527537 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57772 56187 566 18 0 57754 0
vsize: 231088
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 606599 0 0 0 104855 1162 0 0 25 0 1 0 832361760 236634112 56187 4294967295 134512640 134581331 3221224608 3221223552 134560149 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57772 56187 566 18 0 57754 0
vsize: 231088
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 606599 0 0 0 105855 1162 0 0 25 0 1 0 832361760 236634112 56187 4294967295 134512640 134581331 3221224608 3221223520 134528088 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57772 56187 566 18 0 57754 0
vsize: 231088
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 606599 0 0 0 106855 1162 0 0 25 0 1 0 832361760 236634112 56187 4294967295 134512640 134581331 3221224608 3221223472 134528261 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57772 56187 566 18 0 57754 0
vsize: 231088
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 606599 0 0 0 107855 1163 0 0 25 0 1 0 832361760 236634112 56187 4294967295 134512640 134581331 3221224608 3221223552 134560142 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57772 56187 566 18 0 57754 0
vsize: 231088
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 606599 0 0 0 108855 1163 0 0 25 0 1 0 832361760 236634112 56187 4294967295 134512640 134581331 3221224608 3221223552 134558859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57772 56187 566 18 0 57754 0
vsize: 231088
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 606599 0 0 0 109855 1163 0 0 25 0 1 0 832361760 236634112 56187 4294967295 134512640 134581331 3221224608 3221223552 134560142 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57772 56187 566 18 0 57754 0
vsize: 231088
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 606599 0 0 0 110856 1163 0 0 25 0 1 0 832361760 236634112 56187 4294967295 134512640 134581331 3221224608 3221223520 134527451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57772 56187 566 18 0 57754 0
vsize: 231088
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 606599 0 0 0 111856 1163 0 0 25 0 1 0 832361760 236634112 56187 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57772 56187 566 18 0 57754 0
vsize: 231088
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 606599 0 0 0 112856 1163 0 0 25 0 1 0 832361760 236634112 56187 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57772 56187 566 18 0 57754 0
vsize: 231088
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 607360 0 0 0 113854 1165 0 0 25 0 1 0 832361760 239755264 56948 4294967295 134512640 134581331 3221224608 3221223552 134560142 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58534 56948 566 18 0 58516 0
vsize: 234136
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 607360 0 0 0 114854 1165 0 0 25 0 1 0 832361760 239755264 56948 4294967295 134512640 134581331 3221224608 3221223552 134560142 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58534 56948 566 18 0 58516 0
vsize: 234136
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 607360 0 0 0 115854 1165 0 0 25 0 1 0 832361760 239755264 56948 4294967295 134512640 134581331 3221224608 3221223472 134528331 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58534 56948 566 18 0 58516 0
vsize: 234136
[startup+1180.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 607360 0 0 0 116854 1165 0 0 25 0 1 0 832361760 239755264 56948 4294967295 134512640 134581331 3221224608 3221223552 134560136 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58534 56948 566 18 0 58516 0
vsize: 234136
[startup+1190.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 607360 0 0 0 117854 1165 0 0 25 0 1 0 832361760 239755264 56948 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58534 56948 566 18 0 58516 0
vsize: 234136
[startup+1200.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 6130
Raw data (stat): 6130 (Pueblo) R 6129 3394 3393 0 -1 0 607360 0 0 0 118855 1165 0 0 25 0 1 0 832361760 239755264 56948 4294967295 134512640 134581331 3221224608 3221223552 134560143 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58534 56948 566 18 0 58516 0
vsize: 234136
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.13 s]
Raw data (loadavg): 0.99 0.97 0.96 1/54 6130
Raw data (stat): 6130 (Pueblo) Z 6129 3394 3393 0 -1 1036 607360 0 0 0 118855 1176 0 0 25 0 1 0 832361760 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.12
CPU time (s): 1200.31
CPU user time (s): 1188.55
CPU system time (s): 11.7602
CPU usage (%): 100.016
Max. virtual memory (Kb): 234136
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####