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-n370b.opb
MD5SUM	10d985feb1b2e2f9239f0fbace6cd870
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	39138571845
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	39138571845
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.960853
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 26917

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc27 THE 2005-05-24 18:02:49 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19143 boxname=wulflinc27 idbench=1473 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  10d985feb1b2e2f9239f0fbace6cd870  /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-13-7-n370b.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-13-7-n370b.opb
IDLAUNCH: 19143
/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:        878720 kB
Buffers:         34536 kB
Cached:          99136 kB
SwapCached:        628 kB
Active:          72300 kB
Inactive:        63832 kB
HighTotal:      131008 kB
HighFree:        28476 kB
LowTotal:       903652 kB
LowFree:        850244 kB
SwapTotal:     2097892 kB
SwapFree:      2096768 kB
Dirty:             336 kB
Writeback:           0 kB
Mapped:           5644 kB
Slab:            14008 kB
Committed_AS:    63560 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 18:22:52 (client local time) WITH STATUS 0 IN 1200.31 SECONDS
stats: 19143 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.93 0.98 0.96 2/54 6036
Raw data (stat): 6036 (runsolver) R 6035 3394 3393 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 832240527 1052672 99 4294967295 134512640 135381576 3221224496 3221219716 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0004 s]
Raw data (loadavg): 0.94 0.98 0.96 2/54 6036
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 80712 0 0 0 842 156 0 0 25 0 1 0 832240527 56066048 12035 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13688 12044 566 18 0 13670 0
vsize: 54752
[startup+20.0002 s]
Raw data (loadavg): 0.95 0.98 0.96 2/54 6036
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 390873 0 0 0 1294 705 0 0 25 0 1 0 832240527 57688064 12475 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14084 12483 566 18 0 14066 0
vsize: 56336
[startup+30.0002 s]
Raw data (loadavg): 0.96 0.98 0.96 2/54 6036
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 558783 0 0 0 1995 1004 0 0 25 0 1 0 832240527 57040896 12392 4294967295 134512640 134581331 3221224608 3221223520 134527434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13926 12392 566 18 0 13908 0
vsize: 55704
[startup+40.0009 s]
Raw data (loadavg): 0.96 0.98 0.96 2/54 6036
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 558783 0 0 0 2995 1004 0 0 25 0 1 0 832240527 57040896 12392 4294967295 134512640 134581331 3221224608 3221223520 134527652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13926 12392 566 18 0 13908 0
vsize: 55704
[startup+50.0007 s]
Raw data (loadavg): 0.97 0.98 0.96 2/54 6036
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 559097 0 0 0 3995 1005 0 0 25 0 1 0 832240527 58351616 12706 4294967295 134512640 134581331 3221224608 3221223520 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14246 12706 566 18 0 14228 0
vsize: 56984
[startup+60.0005 s]
Raw data (loadavg): 0.97 0.98 0.96 2/54 6036
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 560008 0 0 0 4993 1006 0 0 25 0 1 0 832240527 62107648 13617 4294967295 134512640 134581331 3221224608 3221223520 134527504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15163 13617 566 18 0 15145 0
vsize: 60652
[startup+70.0004 s]
Raw data (loadavg): 0.98 0.98 0.96 2/54 6036
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 560924 0 0 0 5991 1008 0 0 25 0 1 0 832240527 65847296 14533 4294967295 134512640 134581331 3221224608 3221223496 134527045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16076 14533 566 18 0 16058 0
vsize: 64304
[startup+80.0012 s]
Raw data (loadavg): 0.98 0.98 0.96 2/54 6036
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 561853 0 0 0 6990 1010 0 0 25 0 1 0 832240527 69607424 15462 4294967295 134512640 134581331 3221224608 3221223472 134528258 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16994 15462 566 18 0 16976 0
vsize: 67976
[startup+90.001 s]
Raw data (loadavg): 0.98 0.98 0.96 2/54 6036
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 562767 0 0 0 7988 1012 0 0 25 0 1 0 832240527 73351168 16376 4294967295 134512640 134581331 3221224608 3221223472 134528412 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17908 16376 566 18 0 17890 0
vsize: 71632
[startup+100.001 s]
Raw data (loadavg): 0.98 0.98 0.96 2/54 6036
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 563693 0 0 0 8986 1014 0 0 25 0 1 0 832240527 77234176 17302 4294967295 134512640 134581331 3221224608 3221223520 134527459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18856 17302 566 18 0 18838 0
vsize: 75424
[startup+110.002 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 6036
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 564622 0 0 0 9984 1016 0 0 25 0 1 0 832240527 80957440 18231 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19765 18231 566 18 0 19747 0
vsize: 79060
[startup+120.002 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 6036
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 565534 0 0 0 10981 1019 0 0 25 0 1 0 832240527 84692992 19143 4294967295 134512640 134581331 3221224608 3221223520 134527504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20677 19143 566 18 0 20659 0
vsize: 82708
[startup+130.001 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 6036
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 566460 0 0 0 11979 1021 0 0 25 0 1 0 832240527 88543232 20069 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21617 20069 566 18 0 21599 0
vsize: 86468
[startup+140.001 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 6036
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 567338 0 0 0 12978 1023 0 0 25 0 1 0 832240527 92135424 20947 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22494 20947 566 18 0 22476 0
vsize: 89976
[startup+150.001 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 6036
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 568185 0 0 0 13976 1024 0 0 25 0 1 0 832240527 95584256 21794 4294967295 134512640 134581331 3221224608 3221223520 134527695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23336 21794 566 18 0 23318 0
vsize: 93344
[startup+160.001 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 6036
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 569032 0 0 0 14974 1027 0 0 25 0 1 0 832240527 99033088 22641 4294967295 134512640 134581331 3221224608 3221223244 1075289077 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24178 22642 566 18 0 24160 0
vsize: 96712
[startup+170.001 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 6036
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 569866 0 0 0 15972 1029 0 0 25 0 1 0 832240527 102481920 23475 4294967295 134512640 134581331 3221224608 3221223520 134527442 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25020 23475 566 18 0 25002 0
vsize: 100080
[startup+180 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 6036
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 570716 0 0 0 16970 1031 0 0 25 0 1 0 832240527 105906176 24325 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25856 24325 566 18 0 25838 0
vsize: 103424
[startup+190.001 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 6038
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 571550 0 0 0 17967 1034 0 0 25 0 1 0 832240527 109359104 25159 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26699 25159 566 18 0 26681 0
vsize: 106796
[startup+200.001 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 6038
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 572401 0 0 0 18964 1037 0 0 25 0 1 0 832240527 112807936 26010 4294967295 134512640 134581331 3221224608 3221223472 134528353 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27541 26010 566 18 0 27523 0
vsize: 110164
[startup+210.001 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 6038
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 573247 0 0 0 19962 1039 0 0 25 0 1 0 832240527 116371456 26856 4294967295 134512640 134581331 3221224608 3221223520 134528088 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28411 26856 566 18 0 28393 0
vsize: 113644
[startup+220.001 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 6038
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 574057 0 0 0 20961 1041 0 0 25 0 1 0 832240527 119672832 27666 4294967295 134512640 134581331 3221224608 3221223520 134527513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29217 27666 566 18 0 29199 0
vsize: 116868
[startup+230.001 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 6038
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 574875 0 0 0 21958 1044 0 0 25 0 1 0 832240527 122986496 28484 4294967295 134512640 134581331 3221224608 3221223552 134559476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30026 28484 566 18 0 30008 0
vsize: 120104
[startup+240 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 6038
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 575674 0 0 0 22956 1046 0 0 25 0 1 0 832240527 126291968 29283 4294967295 134512640 134581331 3221224608 3221223552 134558812 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30833 29283 566 18 0 30815 0
vsize: 123332
[startup+250 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 6038
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 576487 0 0 0 23954 1048 0 0 25 0 1 0 832240527 129589248 30096 4294967295 134512640 134581331 3221224608 3221223520 134528079 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31638 30096 566 18 0 31620 0
vsize: 126552
[startup+260 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 6038
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 577302 0 0 0 24951 1051 0 0 25 0 1 0 832240527 132927488 30911 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32453 30911 566 18 0 32435 0
vsize: 129812
[startup+270 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 6038
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 578109 0 0 0 25950 1053 0 0 25 0 1 0 832240527 136257536 31718 4294967295 134512640 134581331 3221224608 3221223520 134528088 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33266 31718 566 18 0 33248 0
vsize: 133064
[startup+280 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 6038
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 578916 0 0 0 26948 1055 0 0 25 0 1 0 832240527 139583488 32525 4294967295 134512640 134581331 3221224608 3221223520 134527504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34078 32525 566 18 0 34060 0
vsize: 136312
[startup+290 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 6038
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 579721 0 0 0 27946 1057 0 0 25 0 1 0 832240527 142790656 33330 4294967295 134512640 134581331 3221224608 3221223520 134527737 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34861 33330 566 18 0 34843 0
vsize: 139444
[startup+299.999 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 6038
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 580519 0 0 0 28944 1058 0 0 25 0 1 0 832240527 146092032 34128 4294967295 134512640 134581331 3221224608 3221223520 134527645 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35667 34128 566 18 0 35649 0
vsize: 142668
[startup+309.999 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 6038
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 581318 0 0 0 29943 1060 0 0 25 0 1 0 832240527 149311488 34927 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36453 34927 566 18 0 36435 0
vsize: 145812
[startup+319.999 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 6038
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 582119 0 0 0 30941 1062 0 0 25 0 1 0 832240527 152637440 35728 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37265 35728 566 18 0 37247 0
vsize: 149060
[startup+329.999 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 6038
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 582916 0 0 0 31939 1065 0 0 25 0 1 0 832240527 155889664 36525 4294967295 134512640 134581331 3221224608 3221223520 134528072 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38059 36525 566 18 0 38041 0
vsize: 152236
[startup+339.999 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 6038
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 583714 0 0 0 32937 1067 0 0 25 0 1 0 832240527 159281152 37323 4294967295 134512640 134581331 3221224608 3221223520 134527513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38887 37323 566 18 0 38869 0
vsize: 155548
[startup+349.999 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 6038
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 584511 0 0 0 33936 1068 0 0 25 0 1 0 832240527 162504704 38120 4294967295 134512640 134581331 3221224608 3221223520 134528079 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39674 38120 566 18 0 39656 0
vsize: 158696
[startup+359.999 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 6038
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 585294 0 0 0 34934 1070 0 0 25 0 1 0 832240527 165748736 38903 4294967295 134512640 134581331 3221224608 3221223520 134527451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40466 38903 566 18 0 40448 0
vsize: 161864
[startup+369.999 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 6038
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 586088 0 0 0 35932 1072 0 0 25 0 1 0 832240527 169013248 39697 4294967295 134512640 134581331 3221224608 3221223520 134528088 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41263 39697 566 18 0 41245 0
vsize: 165052
[startup+379.999 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 6038
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 586884 0 0 0 36930 1074 0 0 25 0 1 0 832240527 172265472 40493 4294967295 134512640 134581331 3221224608 3221223520 134527701 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42057 40493 566 18 0 42039 0
vsize: 168228
[startup+389.999 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 6038
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 587682 0 0 0 37928 1076 0 0 25 0 1 0 832240527 175521792 41291 4294967295 134512640 134581331 3221224608 3221223520 134527783 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42852 41291 566 18 0 42834 0
vsize: 171408
[startup+399.999 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 6038
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 588470 0 0 0 38926 1078 0 0 25 0 1 0 832240527 178642944 42079 4294967295 134512640 134581331 3221224608 3221223520 134528079 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43614 42079 566 18 0 43596 0
vsize: 174456
[startup+409.999 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 6038
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 589262 0 0 0 39925 1080 0 0 25 0 1 0 832240527 181899264 42871 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44409 42871 566 18 0 44391 0
vsize: 177636
[startup+419.998 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 6038
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 590054 0 0 0 40922 1083 0 0 25 0 1 0 832240527 185143296 43663 4294967295 134512640 134581331 3221224608 3221223520 134527442 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45201 43663 566 18 0 45183 0
vsize: 180804
[startup+429.999 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 6038
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 590834 0 0 0 41920 1084 0 0 25 0 1 0 832240527 188391424 44443 4294967295 134512640 134581331 3221224608 3221223488 134520299 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45994 44443 566 18 0 45976 0
vsize: 183976
[startup+439.999 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 6038
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 591613 0 0 0 42918 1087 0 0 25 0 1 0 832240527 191614976 45222 4294967295 134512640 134581331 3221224608 3221223584 134560737 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46781 45222 566 18 0 46763 0
vsize: 187124
[startup+449.999 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 6038
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 592393 0 0 0 43916 1089 0 0 25 0 1 0 832240527 194715648 46002 4294967295 134512640 134581331 3221224608 3221223520 134527980 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47538 46002 566 18 0 47520 0
vsize: 190152
[startup+460 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 6038
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 593174 0 0 0 44915 1091 0 0 25 0 1 0 832240527 197947392 46783 4294967295 134512640 134581331 3221224608 3221223520 134527434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48327 46783 566 18 0 48309 0
vsize: 193308
[startup+470 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 6038
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 593952 0 0 0 45912 1093 0 0 25 0 1 0 832240527 201170944 47561 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49114 47561 566 18 0 49096 0
vsize: 196456
[startup+480 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 6038
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 594729 0 0 0 46910 1096 0 0 25 0 1 0 832240527 204263424 48338 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49869 48338 566 18 0 49851 0
vsize: 199476
[startup+490 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 6038
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 595510 0 0 0 47908 1098 0 0 25 0 1 0 832240527 207486976 49119 4294967295 134512640 134581331 3221224608 3221223576 134527282 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50656 49119 566 18 0 50638 0
vsize: 202624
[startup+500 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 6038
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 596280 0 0 0 48906 1100 0 0 25 0 1 0 832240527 210690048 49889 4294967295 134512640 134581331 3221224608 3221223520 134527513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51438 49889 566 18 0 51420 0
vsize: 205752
[startup+510 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 6038
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 597048 0 0 0 49904 1102 0 0 25 0 1 0 832240527 213770240 50657 4294967295 134512640 134581331 3221224608 3221223520 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52190 50657 566 18 0 52172 0
vsize: 208760
[startup+520 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 6038
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 597814 0 0 0 50903 1103 0 0 25 0 1 0 832240527 216965120 51423 4294967295 134512640 134581331 3221224608 3221223552 134560142 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52970 51423 566 18 0 52952 0
vsize: 211880
[startup+530.001 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 6038
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 598567 0 0 0 51901 1106 0 0 25 0 1 0 832240527 220033024 52176 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53719 52176 566 18 0 53701 0
vsize: 214876
[startup+540 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 6038
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 599330 0 0 0 52899 1108 0 0 25 0 1 0 832240527 223100928 52939 4294967295 134512640 134581331 3221224608 3221223520 134527525 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54468 52939 566 18 0 54450 0
vsize: 217872
[startup+550 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 6038
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 600096 0 0 0 53897 1110 0 0 25 0 1 0 832240527 226295808 53705 4294967295 134512640 134581331 3221224608 3221223520 134528072 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55248 53705 566 18 0 55230 0
vsize: 220992
[startup+560 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 6038
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 600859 0 0 0 54896 1111 0 0 25 0 1 0 832240527 229355520 54468 4294967295 134512640 134581331 3221224608 3221223520 134527459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55995 54468 566 18 0 55977 0
vsize: 223980
[startup+570 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 6038
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 601620 0 0 0 55894 1113 0 0 25 0 1 0 832240527 232542208 55229 4294967295 134512640 134581331 3221224608 3221223520 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56773 55229 566 18 0 56755 0
vsize: 227092
[startup+580 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 6038
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 602376 0 0 0 56893 1115 0 0 25 0 1 0 832240527 235593728 55985 4294967295 134512640 134581331 3221224608 3221223520 134527525 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57518 55985 566 18 0 57500 0
vsize: 230072
[startup+590 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 6038
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 603126 0 0 0 57891 1116 0 0 25 0 1 0 832240527 238637056 56735 4294967295 134512640 134581331 3221224608 3221223472 134528323 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58294 56736 566 18 0 58276 0
vsize: 233044
[startup+599.999 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 6038
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 603877 0 0 0 58889 1119 0 0 25 0 1 0 832240527 241799168 57486 4294967295 134512640 134581331 3221224608 3221223520 134527504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59033 57486 566 18 0 59015 0
vsize: 236132
[startup+609.999 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 6038
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 604624 0 0 0 59887 1121 0 0 25 0 1 0 832240527 244862976 58233 4294967295 134512640 134581331 3221224608 3221223520 134527695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59781 58233 566 18 0 59763 0
vsize: 239124
[startup+619.999 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 6038
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 605374 0 0 0 60885 1123 0 0 25 0 1 0 832240527 247930880 58983 4294967295 134512640 134581331 3221224608 3221223520 134527504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60530 58983 566 18 0 60512 0
vsize: 242120
[startup+629.999 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 6038
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 606123 0 0 0 61883 1125 0 0 25 0 1 0 832240527 250957824 59732 4294967295 134512640 134581331 3221224608 3221223520 134527513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61269 59732 566 18 0 61251 0
vsize: 245076
[startup+639.999 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 6038
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 606867 0 0 0 62880 1128 0 0 25 0 1 0 832240527 253988864 60476 4294967295 134512640 134581331 3221224608 3221223520 134527652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62009 60476 566 18 0 61991 0
vsize: 248036
[startup+649.999 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 6038
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 607616 0 0 0 63879 1130 0 0 25 0 1 0 832240527 257052672 61225 4294967295 134512640 134581331 3221224608 3221223520 134527537 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62757 61225 566 18 0 62739 0
vsize: 251028
[startup+659.999 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 6038
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 608355 0 0 0 64877 1131 0 0 25 0 1 0 832240527 260063232 61964 4294967295 134512640 134581331 3221224608 3221223520 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63492 61964 566 18 0 63474 0
vsize: 253968
[startup+669.999 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 6038
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 608817 0 0 0 65876 1133 0 0 25 0 1 0 832240527 261947392 62426 4294967295 134512640 134581331 3221224608 3221223520 134528079 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63952 62426 566 18 0 63934 0
vsize: 255808
[startup+679.999 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 6038
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 608817 0 0 0 66876 1133 0 0 25 0 1 0 832240527 261947392 62426 4294967295 134512640 134581331 3221224608 3221223520 134527531 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63952 62426 566 18 0 63934 0
vsize: 255808
[startup+689.999 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 6038
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 608817 0 0 0 67876 1133 0 0 25 0 1 0 832240527 261947392 62426 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63952 62426 566 18 0 63934 0
vsize: 255808
[startup+699.999 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 6038
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 608817 0 0 0 68876 1133 0 0 25 0 1 0 832240527 261947392 62426 4294967295 134512640 134581331 3221224608 3221223504 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63952 62426 566 18 0 63934 0
vsize: 255808
[startup+710 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 6038
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 608817 0 0 0 69877 1133 0 0 25 0 1 0 832240527 261947392 62426 4294967295 134512640 134581331 3221224608 3221223472 134528258 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63952 62426 566 18 0 63934 0
vsize: 255808
[startup+719.999 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 6038
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 608817 0 0 0 70877 1133 0 0 25 0 1 0 832240527 261947392 62426 4294967295 134512640 134581331 3221224608 3221223520 134528088 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63952 62426 566 18 0 63934 0
vsize: 255808
[startup+729.999 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 6038
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 608817 0 0 0 71877 1133 0 0 25 0 1 0 832240527 261947392 62426 4294967295 134512640 134581331 3221224608 3221223520 134527525 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63952 62426 566 18 0 63934 0
vsize: 255808
[startup+739.999 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 6038
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 608817 0 0 0 72877 1133 0 0 25 0 1 0 832240527 261947392 62426 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63952 62426 566 18 0 63934 0
vsize: 255808
[startup+749.999 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 6038
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 608817 0 0 0 73877 1133 0 0 25 0 1 0 832240527 261947392 62426 4294967295 134512640 134581331 3221224608 3221223520 134528085 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63952 62426 566 18 0 63934 0
vsize: 255808
[startup+759.999 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 6038
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 608817 0 0 0 74877 1133 0 0 25 0 1 0 832240527 261947392 62426 4294967295 134512640 134581331 3221224608 3221223520 134528088 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63952 62426 566 18 0 63934 0
vsize: 255808
[startup+769.999 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 6038
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 608817 0 0 0 75877 1133 0 0 25 0 1 0 832240527 261947392 62426 4294967295 134512640 134581331 3221224608 3221223520 134528079 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63952 62426 566 18 0 63934 0
vsize: 255808
[startup+779.999 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 6038
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 608817 0 0 0 76878 1133 0 0 25 0 1 0 832240527 261947392 62426 4294967295 134512640 134581331 3221224608 3221223520 134528088 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63952 62426 566 18 0 63934 0
vsize: 255808
[startup+789.999 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 6038
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 608817 0 0 0 77878 1133 0 0 25 0 1 0 832240527 261947392 62426 4294967295 134512640 134581331 3221224608 3221223520 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63952 62426 566 18 0 63934 0
vsize: 255808
[startup+799.999 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 6038
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 608817 0 0 0 78878 1133 0 0 25 0 1 0 832240527 261947392 62426 4294967295 134512640 134581331 3221224608 3221223520 134527531 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63952 62426 566 18 0 63934 0
vsize: 255808
[startup+810 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 6038
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 608817 0 0 0 79878 1133 0 0 25 0 1 0 832240527 261947392 62426 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63952 62426 566 18 0 63934 0
vsize: 255808
[startup+819.999 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 6038
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 608817 0 0 0 80878 1133 0 0 25 0 1 0 832240527 261947392 62426 4294967295 134512640 134581331 3221224608 3221223520 134527652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63952 62426 566 18 0 63934 0
vsize: 255808
[startup+830 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 6038
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 608817 0 0 0 81878 1133 0 0 25 0 1 0 832240527 261947392 62426 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63952 62426 566 18 0 63934 0
vsize: 255808
[startup+840 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 6038
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 608817 0 0 0 82879 1133 0 0 25 0 1 0 832240527 261947392 62426 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63952 62426 566 18 0 63934 0
vsize: 255808
[startup+850 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 6038
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 608817 0 0 0 83879 1133 0 0 25 0 1 0 832240527 261947392 62426 4294967295 134512640 134581331 3221224608 3221223520 134527987 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63952 62426 566 18 0 63934 0
vsize: 255808
[startup+860 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 6038
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 608817 0 0 0 84879 1133 0 0 25 0 1 0 832240527 261947392 62426 4294967295 134512640 134581331 3221224608 3221223504 134517888 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63952 62426 566 18 0 63934 0
vsize: 255808
[startup+870 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 6038
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 608817 0 0 0 85879 1133 0 0 25 0 1 0 832240527 261947392 62426 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63952 62426 566 18 0 63934 0
vsize: 255808
[startup+880 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 6038
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 608817 0 0 0 86879 1133 0 0 25 0 1 0 832240527 261947392 62426 4294967295 134512640 134581331 3221224608 3221223472 134528275 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63952 62426 566 18 0 63934 0
vsize: 255808
[startup+890.001 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 6038
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 608817 0 0 0 87879 1133 0 0 25 0 1 0 832240527 261947392 62426 4294967295 134512640 134581331 3221224608 3221223520 134527531 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63952 62426 566 18 0 63934 0
vsize: 255808
[startup+900 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 6038
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 608817 0 0 0 88880 1133 0 0 25 0 1 0 832240527 261947392 62426 4294967295 134512640 134581331 3221224608 3221223520 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63952 62426 566 18 0 63934 0
vsize: 255808
[startup+910.001 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 6038
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 608817 0 0 0 89880 1133 0 0 25 0 1 0 832240527 261947392 62426 4294967295 134512640 134581331 3221224608 3221223520 134527695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63952 62426 566 18 0 63934 0
vsize: 255808
[startup+920.001 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 6038
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 608817 0 0 0 90880 1133 0 0 25 0 1 0 832240527 261947392 62426 4294967295 134512640 134581331 3221224608 3221223536 134519947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63952 62426 566 18 0 63934 0
vsize: 255808
[startup+930.002 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 6038
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 608817 0 0 0 91880 1133 0 0 25 0 1 0 832240527 261947392 62426 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63952 62426 566 18 0 63934 0
vsize: 255808
[startup+940.002 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 6038
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 608817 0 0 0 92880 1133 0 0 25 0 1 0 832240527 261947392 62426 4294967295 134512640 134581331 3221224608 3221223520 134527539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63952 62426 566 18 0 63934 0
vsize: 255808
[startup+950.003 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 6038
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 608817 0 0 0 93881 1133 0 0 25 0 1 0 832240527 261947392 62426 4294967295 134512640 134581331 3221224608 3221223472 134527130 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63952 62426 566 18 0 63934 0
vsize: 255808
[startup+960.003 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 6038
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 608817 0 0 0 94881 1133 0 0 25 0 1 0 832240527 261947392 62426 4294967295 134512640 134581331 3221224608 3221223520 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63952 62426 566 18 0 63934 0
vsize: 255808
[startup+970.003 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 6038
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 608817 0 0 0 95881 1133 0 0 25 0 1 0 832240527 261947392 62426 4294967295 134512640 134581331 3221224608 3221223520 134527531 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63952 62426 566 18 0 63934 0
vsize: 255808
[startup+980.004 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 6038
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 608817 0 0 0 96881 1133 0 0 25 0 1 0 832240527 261947392 62426 4294967295 134512640 134581331 3221224608 3221223520 134528088 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63952 62426 566 18 0 63934 0
vsize: 255808
[startup+990.004 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 6038
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 608817 0 0 0 97881 1133 0 0 25 0 1 0 832240527 261947392 62426 4294967295 134512640 134581331 3221224608 3221223520 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63952 62426 566 18 0 63934 0
vsize: 255808
[startup+1000 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 6038
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 608817 0 0 0 98881 1133 0 0 25 0 1 0 832240527 261947392 62426 4294967295 134512640 134581331 3221224608 3221223472 134528358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63952 62426 566 18 0 63934 0
vsize: 255808
[startup+1010 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 6038
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 608817 0 0 0 99882 1133 0 0 25 0 1 0 832240527 261947392 62426 4294967295 134512640 134581331 3221224608 3221223520 134527434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63952 62426 566 18 0 63934 0
vsize: 255808
[startup+1020 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 6038
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 608817 0 0 0 100881 1134 0 0 25 0 1 0 832240527 261947392 62426 4294967295 134512640 134581331 3221224608 3221223520 134527434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63952 62426 566 18 0 63934 0
vsize: 255808
[startup+1030 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 6038
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 608817 0 0 0 101881 1134 0 0 25 0 1 0 832240527 261947392 62426 4294967295 134512640 134581331 3221224608 3221223472 134528412 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63952 62426 566 18 0 63934 0
vsize: 255808
[startup+1040 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 6038
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 608817 0 0 0 102881 1134 0 0 25 0 1 0 832240527 261947392 62426 4294967295 134512640 134581331 3221224608 3221223520 134527440 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63952 62426 566 18 0 63934 0
vsize: 255808
[startup+1050 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 6038
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 608817 0 0 0 103882 1134 0 0 25 0 1 0 832240527 261947392 62426 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63952 62426 566 18 0 63934 0
vsize: 255808
[startup+1060 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 6038
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 608817 0 0 0 104882 1134 0 0 25 0 1 0 832240527 261947392 62426 4294967295 134512640 134581331 3221224608 3221223520 134528088 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63952 62426 566 18 0 63934 0
vsize: 255808
[startup+1070 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 6038
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 608817 0 0 0 105882 1134 0 0 25 0 1 0 832240527 261947392 62426 4294967295 134512640 134581331 3221224608 3221223520 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63952 62426 566 18 0 63934 0
vsize: 255808
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 6038
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 608817 0 0 0 106882 1134 0 0 25 0 1 0 832240527 261947392 62426 4294967295 134512640 134581331 3221224608 3221223520 134527504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63952 62426 566 18 0 63934 0
vsize: 255808
[startup+1090 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 6038
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 608817 0 0 0 107882 1134 0 0 25 0 1 0 832240527 261947392 62426 4294967295 134512640 134581331 3221224608 3221223520 134527531 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63952 62426 566 18 0 63934 0
vsize: 255808
[startup+1100 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 6038
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 608817 0 0 0 108882 1134 0 0 25 0 1 0 832240527 261947392 62426 4294967295 134512640 134581331 3221224608 3221223520 134527445 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63952 62426 566 18 0 63934 0
vsize: 255808
[startup+1110 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 6038
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 608817 0 0 0 109882 1134 0 0 25 0 1 0 832240527 261947392 62426 4294967295 134512640 134581331 3221224608 3221223356 1075285186 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63952 62426 566 18 0 63934 0
vsize: 255808
[startup+1120 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 6038
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 608817 0 0 0 110882 1134 0 0 25 0 1 0 832240527 261947392 62426 4294967295 134512640 134581331 3221224608 3221223472 134528375 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63952 62426 566 18 0 63934 0
vsize: 255808
[startup+1130.01 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 6038
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 608817 0 0 0 111882 1135 0 0 25 0 1 0 832240527 261947392 62426 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63952 62426 566 18 0 63934 0
vsize: 255808
[startup+1140.01 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 6038
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 608817 0 0 0 112883 1135 0 0 25 0 1 0 832240527 261947392 62426 4294967295 134512640 134581331 3221224608 3221223520 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63952 62426 566 18 0 63934 0
vsize: 255808
[startup+1150 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 6038
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 608817 0 0 0 113883 1135 0 0 25 0 1 0 832240527 261947392 62426 4294967295 134512640 134581331 3221224608 3221223520 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63952 62426 566 18 0 63934 0
vsize: 255808
[startup+1160.01 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 6038
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 608817 0 0 0 114883 1135 0 0 25 0 1 0 832240527 261947392 62426 4294967295 134512640 134581331 3221224608 3221223520 134527769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63952 62426 566 18 0 63934 0
vsize: 255808
[startup+1170.01 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 6038
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 608817 0 0 0 115883 1135 0 0 25 0 1 0 832240527 261947392 62426 4294967295 134512640 134581331 3221224608 3221223520 134527459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63952 62426 566 18 0 63934 0
vsize: 255808
[startup+1180.01 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 6038
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 608817 0 0 0 116883 1135 0 0 25 0 1 0 832240527 261947392 62426 4294967295 134512640 134581331 3221224608 3221223520 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63952 62426 566 18 0 63934 0
vsize: 255808
[startup+1190.01 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 6038
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 608817 0 0 0 117883 1135 0 0 25 0 1 0 832240527 261947392 62426 4294967295 134512640 134581331 3221224608 3221223520 134527531 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63952 62426 566 18 0 63934 0
vsize: 255808
[startup+1200 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 6038
Raw data (stat): 6036 (Pueblo) R 6035 3394 3393 0 -1 0 608817 0 0 0 118883 1135 0 0 25 0 1 0 832240527 261947392 62426 4294967295 134512640 134581331 3221224608 3221223520 134528072 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63952 62426 566 18 0 63934 0
vsize: 255808
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.12 s]
Raw data (loadavg): 0.99 0.98 0.96 1/54 6038
Raw data (stat): 6036 (Pueblo) Z 6035 3394 3393 0 -1 1036 608817 0 0 0 118883 1146 0 0 25 0 1 0 832240527 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.84
CPU system time (s): 11.4663
CPU usage (%): 100.015
Max. virtual memory (Kb): 255808
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####