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/submitted/manquinho/primes-dimacs-cnf/normalized-g250.15.opb
MD5SUM	9cfcc49797c7ac58bfef2056b3d91b66
Bench Category	optimization, small integers (OPTSMALLINT)
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	7500
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	7500
Number of bits of the sum of numbers in the objective function	13
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	7500
Number of bits of the biggest sum of numbers	13
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.065989
Number of variables	7500
Total number of constraints	237715
Number of constraints which are clauses	237715
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	15
Trace number 38338

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-02 06:56:36 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26402 boxname=wulflinc2 idbench=132 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  9cfcc49797c7ac58bfef2056b3d91b66  /oldhome/oroussel/tmp/wulflinc2/normalized-g250.15.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-g250.15.opb
IDLAUNCH: 26402
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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	: 2
cpu MHz		: 451.191
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:        704872 kB
Buffers:         33560 kB
Cached:         273752 kB
SwapCached:       1136 kB
Active:          59596 kB
Inactive:       250132 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        704620 kB
SwapTotal:     2097136 kB
SwapFree:      2095024 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5052 kB
Slab:            14344 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 07:16:39 (client local time) WITH STATUS 0 IN 1200.33 SECONDS
stats: 26402 7 1200.33 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
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.93 0.96 0.91 1/54 19703
Raw data (stat): 19703 (runsolver) R 19702 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 847800620 884736 94 4294967295 134512640 135332820 3221224480 3221219660 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0004 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 19703
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 7758 0 0 0 979 19 0 0 25 0 1 0 847800620 37376000 7732 4294967295 134512640 134581267 3221224592 3221223600 134531293 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9125 7732 566 18 0 9107 0
vsize: 36500
[startup+20.0014 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 19703
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 7872 0 0 0 1978 19 0 0 25 0 1 0 847800620 37900288 7846 4294967295 134512640 134581267 3221224592 3221223584 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9253 7846 566 18 0 9235 0
vsize: 37012
[startup+30.0007 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 19703
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 8118 0 0 0 2978 20 0 0 25 0 1 0 847800620 39235584 8092 4294967295 134512640 134581267 3221224592 3221223600 134531293 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9579 8092 566 18 0 9561 0
vsize: 38316
[startup+40.0014 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 19703
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 8944 0 0 0 3976 22 0 0 25 0 1 0 847800620 42344448 8918 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10338 8918 566 18 0 10320 0
vsize: 41352
[startup+50.0024 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 19703
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 8951 0 0 0 4976 22 0 0 25 0 1 0 847800620 42344448 8925 4294967295 134512640 134581267 3221224592 3221223536 134559228 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10338 8925 566 18 0 10320 0
vsize: 41352
[startup+60.0021 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 19703
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 8954 0 0 0 5977 22 0 0 25 0 1 0 847800620 42344448 8928 4294967295 134512640 134581267 3221224592 3221223568 134560674 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10338 8928 566 18 0 10320 0
vsize: 41352
[startup+70.0025 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 19703
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 8956 0 0 0 6977 22 0 0 25 0 1 0 847800620 42344448 8930 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10338 8930 566 18 0 10320 0
vsize: 41352
[startup+80.0025 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 19703
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 8957 0 0 0 7977 22 0 0 25 0 1 0 847800620 42344448 8931 4294967295 134512640 134581267 3221224592 3221223520 134519797 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10338 8931 566 18 0 10320 0
vsize: 41352
[startup+90.0029 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 19703
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 8959 0 0 0 8977 22 0 0 25 0 1 0 847800620 42344448 8933 4294967295 134512640 134581267 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10338 8933 566 18 0 10320 0
vsize: 41352
[startup+100.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 19703
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 8962 0 0 0 9977 22 0 0 25 0 1 0 847800620 42532864 8936 4294967295 134512640 134581267 3221224592 3221223488 134517878 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10384 8936 566 18 0 10366 0
vsize: 41536
[startup+110.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19703
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 9062 0 0 0 10977 22 0 0 25 0 1 0 847800620 42930176 9036 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10481 9036 566 18 0 10463 0
vsize: 41924
[startup+120.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19703
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 9579 0 0 0 11976 24 0 0 25 0 1 0 847800620 45031424 9553 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10994 9553 566 18 0 10976 0
vsize: 43976
[startup+130.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19703
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 10115 0 0 0 12975 25 0 0 25 0 1 0 847800620 47108096 10089 4294967295 134512640 134581267 3221224592 3221223520 134520076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11501 10089 566 18 0 11483 0
vsize: 46004
[startup+140.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19703
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 10623 0 0 0 13974 26 0 0 25 0 1 0 847800620 49197056 10597 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12011 10597 566 18 0 11993 0
vsize: 48044
[startup+150.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19703
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 11083 0 0 0 14973 28 0 0 25 0 1 0 847800620 51163136 11057 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12491 11057 566 18 0 12473 0
vsize: 49964
[startup+160.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19703
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 11572 0 0 0 15971 29 0 0 25 0 1 0 847800620 53125120 11546 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12970 11546 566 18 0 12952 0
vsize: 51880
[startup+170.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19703
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 12219 0 0 0 16970 31 0 0 25 0 1 0 847800620 55783424 12193 4294967295 134512640 134581267 3221224592 3221223536 134558795 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13619 12193 566 18 0 13601 0
vsize: 54476
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19703
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 12893 0 0 0 17969 32 0 0 25 0 1 0 847800620 58511360 12867 4294967295 134512640 134581267 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14285 12867 566 18 0 14267 0
vsize: 57140
[startup+190.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19703
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 13583 0 0 0 18968 34 0 0 25 0 1 0 847800620 61435904 13557 4294967295 134512640 134581267 3221224592 3221223500 134560148 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14999 13557 566 18 0 14981 0
vsize: 59996
[startup+200.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19703
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 14389 0 0 0 19966 36 0 0 25 0 1 0 847800620 64757760 14363 4294967295 134512640 134581267 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15810 14363 566 18 0 15792 0
vsize: 63240
[startup+210.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19704
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 15141 0 0 0 20963 38 0 0 25 0 1 0 847800620 67862528 15115 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16568 15115 566 18 0 16550 0
vsize: 66272
[startup+220.028 s]
Raw data (loadavg): 1.15 1.00 0.92 3/56 19756
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 15800 0 0 0 21964 40 0 0 25 0 1 0 847800620 70537216 15774 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17221 15774 566 18 0 17203 0
vsize: 68884
[startup+230.028 s]
Raw data (loadavg): 1.12 1.00 0.92 2/54 19756
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 16404 0 0 0 22962 42 0 0 25 0 1 0 847800620 72957952 16378 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17812 16378 566 18 0 17794 0
vsize: 71248
[startup+240.028 s]
Raw data (loadavg): 1.10 1.00 0.92 2/54 19756
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 17020 0 0 0 23960 44 0 0 25 0 1 0 847800620 75538432 16994 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18442 16994 566 18 0 18424 0
vsize: 73768
[startup+250.028 s]
Raw data (loadavg): 1.09 1.00 0.92 2/54 19756
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 17502 0 0 0 24960 44 0 0 25 0 1 0 847800620 77500416 17476 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18921 17476 566 18 0 18903 0
vsize: 75684
[startup+260.028 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 19756
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 17878 0 0 0 25959 46 0 0 25 0 1 0 847800620 79052800 17852 4294967295 134512640 134581267 3221224592 3221223520 134520039 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19300 17852 566 18 0 19282 0
vsize: 77200
[startup+270.028 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 19756
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 18239 0 0 0 26958 47 0 0 25 0 1 0 847800620 80474112 18213 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19647 18213 566 18 0 19629 0
vsize: 78588
[startup+280.028 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 19758
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 18687 0 0 0 27957 48 0 0 25 0 1 0 847800620 82317312 18661 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20097 18661 566 18 0 20079 0
vsize: 80388
[startup+290.028 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 19758
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 19187 0 0 0 28955 50 0 0 25 0 1 0 847800620 84418560 19161 4294967295 134512640 134581267 3221224592 3221223520 134520109 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20610 19161 566 18 0 20592 0
vsize: 82440
[startup+300.028 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 19758
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 19746 0 0 0 29954 52 0 0 25 0 1 0 847800620 86650880 19720 4294967295 134512640 134581267 3221224592 3221223536 134559230 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21155 19720 566 18 0 21137 0
vsize: 84620
[startup+310.028 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 19758
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 20236 0 0 0 30953 53 0 0 25 0 1 0 847800620 88748032 20210 4294967295 134512640 134581267 3221224592 3221223520 134519958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21667 20210 566 18 0 21649 0
vsize: 86668
[startup+320.028 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 19758
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 20569 0 0 0 31953 53 0 0 25 0 1 0 847800620 90107904 20543 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21999 20543 566 18 0 21981 0
vsize: 87996
[startup+330.028 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 19758
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 20975 0 0 0 32952 54 0 0 25 0 1 0 847800620 91803648 20949 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22413 20949 566 18 0 22395 0
vsize: 89652
[startup+340.027 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 19758
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 21401 0 0 0 33951 55 0 0 25 0 1 0 847800620 93495296 21375 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22826 21375 566 18 0 22808 0
vsize: 91304
[startup+350.027 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 19758
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 21785 0 0 0 34949 57 0 0 25 0 1 0 847800620 95117312 21759 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23222 21759 566 18 0 23204 0
vsize: 92888
[startup+360.027 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 19758
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 22215 0 0 0 35948 58 0 0 25 0 1 0 847800620 96808960 22189 4294967295 134512640 134581267 3221224592 3221223520 134519812 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23635 22189 566 18 0 23617 0
vsize: 94540
[startup+370.028 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 19758
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 22590 0 0 0 36947 59 0 0 25 0 1 0 847800620 98377728 22564 4294967295 134512640 134581267 3221224592 3221223564 134519776 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24018 22564 566 18 0 24000 0
vsize: 96072
[startup+380.028 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 19758
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 22983 0 0 0 37947 60 0 0 25 0 1 0 847800620 99938304 22957 4294967295 134512640 134581267 3221224592 3221223520 134520027 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24399 22957 566 18 0 24381 0
vsize: 97596
[startup+390.028 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 19758
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 23295 0 0 0 38946 61 0 0 25 0 1 0 847800620 101302272 23269 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24732 23269 566 18 0 24714 0
vsize: 98928
[startup+400.029 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19758
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 23761 0 0 0 39945 62 0 0 25 0 1 0 847800620 103124992 23735 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25177 23735 566 18 0 25159 0
vsize: 100708
[startup+410.029 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19758
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 24185 0 0 0 40944 63 0 0 25 0 1 0 847800620 104947712 24159 4294967295 134512640 134581267 3221224592 3221223520 134520027 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25622 24159 566 18 0 25604 0
vsize: 102488
[startup+420.029 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19758
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 24658 0 0 0 41943 65 0 0 25 0 1 0 847800620 106897408 24632 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26098 24632 566 18 0 26080 0
vsize: 104392
[startup+430.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19758
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 25111 0 0 0 42942 66 0 0 25 0 1 0 847800620 108720128 25085 4294967295 134512640 134581267 3221224592 3221223488 134517873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26543 25085 566 18 0 26525 0
vsize: 106172
[startup+440.029 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19758
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 25562 0 0 0 43941 67 0 0 25 0 1 0 847800620 110784512 25536 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27047 25536 566 18 0 27029 0
vsize: 108188
[startup+450.029 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19758
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 25981 0 0 0 44940 68 0 0 25 0 1 0 847800620 112467968 25955 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27458 25955 566 18 0 27440 0
vsize: 109832
[startup+460.029 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19758
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 26400 0 0 0 45939 70 0 0 25 0 1 0 847800620 114163712 26374 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27872 26374 566 18 0 27854 0
vsize: 111488
[startup+470.028 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19758
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 26807 0 0 0 46937 71 0 0 25 0 1 0 847800620 115843072 26781 4294967295 134512640 134581267 3221224592 3221223488 134517871 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28282 26781 566 18 0 28264 0
vsize: 113128
[startup+480.035 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19758
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 27206 0 0 0 47937 72 0 0 25 0 1 0 847800620 117538816 27180 4294967295 134512640 134581267 3221224592 3221223584 134560942 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28696 27180 566 18 0 28678 0
vsize: 114784
[startup+490.034 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19758
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 27698 0 0 0 48935 75 0 0 25 0 1 0 847800620 119582720 27672 4294967295 134512640 134581267 3221224592 3221223472 134560163 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29195 27672 566 18 0 29177 0
vsize: 116780
[startup+500.035 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19758
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 28153 0 0 0 49934 76 0 0 25 0 1 0 847800620 121425920 28127 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29645 28127 566 18 0 29627 0
vsize: 118580
[startup+510.034 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19758
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 28621 0 0 0 50932 77 0 0 25 0 1 0 847800620 123375616 28595 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30121 28595 566 18 0 30103 0
vsize: 120484
[startup+520.034 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19758
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 29096 0 0 0 51931 79 0 0 25 0 1 0 847800620 125321216 29070 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30596 29070 566 18 0 30578 0
vsize: 122384
[startup+530.034 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19758
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 29523 0 0 0 52930 80 0 0 25 0 1 0 847800620 127012864 29497 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31009 29497 566 18 0 30991 0
vsize: 124036
[startup+540.034 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19758
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 29854 0 0 0 53929 81 0 0 25 0 1 0 847800620 128311296 29828 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31326 29828 566 18 0 31308 0
vsize: 125304
[startup+550.034 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19758
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 30144 0 0 0 54928 82 0 0 25 0 1 0 847800620 129536000 30118 4294967295 134512640 134581267 3221224592 3221223488 134517851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31625 30118 566 18 0 31607 0
vsize: 126500
[startup+560.034 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19758
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 30495 0 0 0 55927 84 0 0 25 0 1 0 847800620 130961408 30469 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31973 30469 566 18 0 31955 0
vsize: 127892
[startup+570.033 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19758
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 30791 0 0 0 56926 85 0 0 25 0 1 0 847800620 132251648 30765 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32288 30765 566 18 0 32270 0
vsize: 129152
[startup+580.033 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19758
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 31102 0 0 0 57925 86 0 0 25 0 1 0 847800620 133554176 31076 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32606 31076 566 18 0 32588 0
vsize: 130424
[startup+590.033 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19760
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 31441 0 0 0 58924 87 0 0 25 0 1 0 847800620 134864896 31415 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32926 31415 566 18 0 32908 0
vsize: 131704
[startup+600.033 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19760
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 31805 0 0 0 59923 88 0 0 25 0 1 0 847800620 136302592 31779 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33277 31779 566 18 0 33259 0
vsize: 133108
[startup+610.032 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19760
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 32276 0 0 0 60922 89 0 0 25 0 1 0 847800620 138248192 32250 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33752 32250 566 18 0 33734 0
vsize: 135008
[startup+620.033 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19760
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 32716 0 0 0 61921 90 0 0 25 0 1 0 847800620 140075008 32690 4294967295 134512640 134581267 3221224592 3221223584 134561024 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34198 32690 566 18 0 34180 0
vsize: 136792
[startup+630.033 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19760
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 33109 0 0 0 62920 91 0 0 25 0 1 0 847800620 141660160 33083 4294967295 134512640 134581267 3221224592 3221223520 134519844 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34585 33083 566 18 0 34567 0
vsize: 138340
[startup+640.032 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19760
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 33476 0 0 0 63919 93 0 0 25 0 1 0 847800620 143257600 33450 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34975 33450 566 18 0 34957 0
vsize: 139900
[startup+650.033 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19760
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 33731 0 0 0 64918 94 0 0 25 0 1 0 847800620 144306176 33705 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35231 33705 566 18 0 35213 0
vsize: 140924
[startup+660.033 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19760
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 33990 0 0 0 65917 95 0 0 25 0 1 0 847800620 145346560 33964 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35485 33964 566 18 0 35467 0
vsize: 141940
[startup+670.033 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19760
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 34390 0 0 0 66916 96 0 0 25 0 1 0 847800620 147030016 34364 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35896 34364 566 18 0 35878 0
vsize: 143584
[startup+680.034 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19760
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 34847 0 0 0 67916 97 0 0 25 0 1 0 847800620 148860928 34821 4294967295 134512640 134581267 3221224592 3221223520 134519996 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36343 34821 566 18 0 36325 0
vsize: 145372
[startup+690.034 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19760
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 35224 0 0 0 68915 98 0 0 25 0 1 0 847800620 150425600 35198 4294967295 134512640 134581267 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36725 35198 566 18 0 36707 0
vsize: 146900
[startup+700.034 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19760
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 35542 0 0 0 69915 98 0 0 25 0 1 0 847800620 151736320 35516 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37045 35516 566 18 0 37027 0
vsize: 148180
[startup+710.034 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19760
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 35835 0 0 0 70914 99 0 0 25 0 1 0 847800620 152891392 35809 4294967295 134512640 134581267 3221224592 3221223520 134520109 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37327 35809 566 18 0 37309 0
vsize: 149308
[startup+720.034 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19760
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 36209 0 0 0 71914 100 0 0 25 0 1 0 847800620 154472448 36183 4294967295 134512640 134581267 3221224592 3221223488 134517873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37713 36183 566 18 0 37695 0
vsize: 150852
[startup+730.034 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19760
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 36673 0 0 0 72912 101 0 0 25 0 1 0 847800620 156311552 36647 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38162 36647 566 18 0 38144 0
vsize: 152648
[startup+740.034 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19760
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 37130 0 0 0 73911 103 0 0 25 0 1 0 847800620 158146560 37104 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38610 37104 566 18 0 38592 0
vsize: 154440
[startup+750.034 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19760
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 37583 0 0 0 74910 104 0 0 25 0 1 0 847800620 159973376 37557 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39056 37557 566 18 0 39038 0
vsize: 156224
[startup+760.034 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19760
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 37953 0 0 0 75909 105 0 0 25 0 1 0 847800620 161521664 37927 4294967295 134512640 134581267 3221224592 3221223520 134520084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39434 37927 566 18 0 39416 0
vsize: 157736
[startup+770.034 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19760
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 38266 0 0 0 76909 105 0 0 25 0 1 0 847800620 162824192 38240 4294967295 134512640 134581267 3221224592 3221223556 134519780 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39752 38240 566 18 0 39734 0
vsize: 159008
[startup+780.034 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19760
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 38633 0 0 0 77908 106 0 0 25 0 1 0 847800620 164376576 38607 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40131 38607 566 18 0 40113 0
vsize: 160524
[startup+790.034 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19760
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 38899 0 0 0 78908 107 0 0 25 0 1 0 847800620 165416960 38873 4294967295 134512640 134581267 3221224592 3221223520 134519820 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40385 38873 566 18 0 40367 0
vsize: 161540
[startup+800.034 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19760
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 39188 0 0 0 79906 108 0 0 25 0 1 0 847800620 166621184 39162 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40679 39162 566 18 0 40661 0
vsize: 162716
[startup+810.033 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19760
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 39456 0 0 0 80906 109 0 0 25 0 1 0 847800620 167669760 39430 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40935 39430 566 18 0 40917 0
vsize: 163740
[startup+820.034 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19760
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 39699 0 0 0 81905 110 0 0 25 0 1 0 847800620 168730624 39673 4294967295 134512640 134581267 3221224592 3221223584 134560846 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41194 39673 566 18 0 41176 0
vsize: 164776
[startup+830.035 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19760
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 39886 0 0 0 82905 110 0 0 25 0 1 0 847800620 169529344 39860 4294967295 134512640 134581267 3221224592 3221223584 134561104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41389 39860 566 18 0 41371 0
vsize: 165556
[startup+840.035 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19760
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 40127 0 0 0 83905 111 0 0 25 0 1 0 847800620 170557440 40101 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41640 40101 566 18 0 41622 0
vsize: 166560
[startup+850.035 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19760
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 40327 0 0 0 84905 111 0 0 25 0 1 0 847800620 171339776 40301 4294967295 134512640 134581267 3221224592 3221223520 134520109 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41831 40301 566 18 0 41813 0
vsize: 167324
[startup+860.035 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19760
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 40555 0 0 0 85904 112 0 0 25 0 1 0 847800620 172384256 40529 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42086 40529 566 18 0 42068 0
vsize: 168344
[startup+870.035 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19760
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 40961 0 0 0 86904 112 0 0 25 0 1 0 847800620 173920256 40935 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42461 40935 566 18 0 42443 0
vsize: 169844
[startup+880.035 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19760
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 41341 0 0 0 87903 114 0 0 25 0 1 0 847800620 175587328 41315 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42868 41315 566 18 0 42850 0
vsize: 171472
[startup+890.035 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19760
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 41739 0 0 0 88902 115 0 0 25 0 1 0 847800620 177152000 41713 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43250 41713 566 18 0 43232 0
vsize: 173000
[startup+900.036 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19760
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 42164 0 0 0 89901 116 0 0 25 0 1 0 847800620 178950144 42138 4294967295 134512640 134581267 3221224592 3221223488 134517873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43689 42138 566 18 0 43671 0
vsize: 174756
[startup+910.035 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19760
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 42512 0 0 0 90900 117 0 0 25 0 1 0 847800620 180367360 42486 4294967295 134512640 134581267 3221224592 3221223520 134520046 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44035 42486 566 18 0 44017 0
vsize: 176140
[startup+920.035 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19760
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 42801 0 0 0 91900 118 0 0 25 0 1 0 847800620 181534720 42775 4294967295 134512640 134581267 3221224592 3221223500 134560148 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44320 42775 566 18 0 44302 0
vsize: 177280
[startup+930.036 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19760
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 43157 0 0 0 92899 119 0 0 25 0 1 0 847800620 182943744 43131 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44664 43131 566 18 0 44646 0
vsize: 178656
[startup+940.035 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19760
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 43484 0 0 0 93898 119 0 0 25 0 1 0 847800620 184369152 43458 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45012 43458 566 18 0 44994 0
vsize: 180048
[startup+950.035 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19760
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 43844 0 0 0 94897 120 0 0 25 0 1 0 847800620 185786368 43818 4294967295 134512640 134581267 3221224592 3221223520 134519996 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45358 43818 566 18 0 45340 0
vsize: 181432
[startup+960.035 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19760
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 44213 0 0 0 95896 121 0 0 25 0 1 0 847800620 187330560 44187 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45735 44187 566 18 0 45717 0
vsize: 182940
[startup+970.035 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19760
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 44583 0 0 0 96896 122 0 0 25 0 1 0 847800620 188735488 44557 4294967295 134512640 134581267 3221224592 3221223536 134559230 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46078 44557 566 18 0 46060 0
vsize: 184312
[startup+980.035 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19760
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 44907 0 0 0 97896 122 0 0 25 0 1 0 847800620 190152704 44881 4294967295 134512640 134581267 3221224592 3221223556 134519780 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46424 44881 566 18 0 46406 0
vsize: 185696
[startup+990.035 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19760
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 45208 0 0 0 98895 123 0 0 25 0 1 0 847800620 191315968 45182 4294967295 134512640 134581267 3221224592 3221223560 134519894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46708 45182 566 18 0 46690 0
vsize: 186832
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19760
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 45531 0 0 0 99894 124 0 0 25 0 1 0 847800620 192745472 45505 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47057 45505 566 18 0 47039 0
vsize: 188228
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19760
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 45857 0 0 0 100894 124 0 0 25 0 1 0 847800620 194093056 45831 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47386 45831 566 18 0 47368 0
vsize: 189544
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19760
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 46104 0 0 0 101894 125 0 0 25 0 1 0 847800620 195006464 46078 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47609 46078 566 18 0 47591 0
vsize: 190436
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19760
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 46331 0 0 0 102893 126 0 0 25 0 1 0 847800620 196096000 46305 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47875 46305 566 18 0 47857 0
vsize: 191500
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19760
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 46630 0 0 0 103893 126 0 0 25 0 1 0 847800620 197308416 46604 4294967295 134512640 134581267 3221224592 3221223244 1075289077 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48171 46604 566 18 0 48153 0
vsize: 192684
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19760
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 47001 0 0 0 104892 127 0 0 25 0 1 0 847800620 198782976 46975 4294967295 134512640 134581267 3221224592 3221223556 134519780 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48531 46975 566 18 0 48513 0
vsize: 194124
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19760
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 47394 0 0 0 105891 129 0 0 25 0 1 0 847800620 200478720 47368 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48945 47368 566 18 0 48927 0
vsize: 195780
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19760
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 47718 0 0 0 106890 130 0 0 25 0 1 0 847800620 201781248 47692 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49263 47692 566 18 0 49245 0
vsize: 197052
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19760
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 48065 0 0 0 107890 130 0 0 25 0 1 0 847800620 203210752 48039 4294967295 134512640 134581267 3221224592 3221223520 134520041 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49612 48039 566 18 0 49594 0
vsize: 198448
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19760
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 48492 0 0 0 108888 132 0 0 25 0 1 0 847800620 204877824 48466 4294967295 134512640 134581267 3221224592 3221223488 134517905 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50019 48466 566 18 0 50001 0
vsize: 200076
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19760
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 48776 0 0 0 109887 133 0 0 25 0 1 0 847800620 206028800 48750 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50300 48750 566 18 0 50282 0
vsize: 201200
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19760
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 49097 0 0 0 110887 134 0 0 25 0 1 0 847800620 207409152 49071 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50637 49071 566 18 0 50619 0
vsize: 202548
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19760
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 49432 0 0 0 111886 135 0 0 25 0 1 0 847800620 208789504 49406 4294967295 134512640 134581267 3221224592 3221223488 134517878 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50974 49406 566 18 0 50956 0
vsize: 203896
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19760
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 49810 0 0 0 112885 136 0 0 25 0 1 0 847800620 210276352 49784 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51337 49784 566 18 0 51319 0
vsize: 205348
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19760
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 50215 0 0 0 113884 137 0 0 25 0 1 0 847800620 212013056 50189 4294967295 134512640 134581267 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51761 50189 566 18 0 51743 0
vsize: 207044
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19760
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 50548 0 0 0 114884 138 0 0 25 0 1 0 847800620 213282816 50522 4294967295 134512640 134581267 3221224592 3221223488 134517851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52071 50522 566 18 0 52053 0
vsize: 208284
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19760
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 50851 0 0 0 115883 139 0 0 25 0 1 0 847800620 214528000 50825 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52375 50825 566 18 0 52357 0
vsize: 209500
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19760
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 51223 0 0 0 116882 140 0 0 25 0 1 0 847800620 216051712 51197 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52747 51197 566 18 0 52729 0
vsize: 210988
[startup+1180.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19760
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 51513 0 0 0 117881 141 0 0 25 0 1 0 847800620 217292800 51487 4294967295 134512640 134581267 3221224592 3221223520 134519996 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53050 51487 566 18 0 53032 0
vsize: 212200
[startup+1190.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19760
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 51780 0 0 0 118880 142 0 0 25 0 1 0 847800620 218447872 51754 4294967295 134512640 134581267 3221224592 3221223520 134520043 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53332 51754 566 18 0 53314 0
vsize: 213328
[startup+1200.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19760
Raw data (stat): 19703 (Pueblo-v2) R 19702 31399 31398 0 -1 0 52148 0 0 0 119879 143 0 0 25 0 1 0 847800620 219910144 52122 4294967295 134512640 134581267 3221224592 3221223584 134560923 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53689 52122 566 18 0 53671 0
vsize: 214756
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.14 s]
Raw data (loadavg): 1.00 1.00 0.92 1/54 19760
Raw data (stat): 19703 (Pueblo-v2) Z 19702 31399 31398 0 -1 1036 52148 0 0 0 119879 153 0 0 25 0 1 0 847800620 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.14
CPU time (s): 1200.33
CPU user time (s): 1198.8
CPU system time (s): 1.53177
CPU usage (%): 100.016
Max. virtual memory (Kb): 214756
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####