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-g125.17.opb
MD5SUM	ed503628984a48598e5d5a4b8388e97a
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	4250
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	4250
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	4250
Number of bits of the biggest sum of numbers	13
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	4250
Total number of constraints	68397
Number of constraints which are clauses	68397
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	17
Trace number 38336

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-02 06:55:38 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26400 boxname=wulflinc4 idbench=130 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  ed503628984a48598e5d5a4b8388e97a  /oldhome/oroussel/tmp/wulflinc4/normalized-g125.17.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-g125.17.opb
IDLAUNCH: 26400
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
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:        686728 kB
Buffers:         33848 kB
Cached:         291984 kB
SwapCached:        568 kB
Active:          54836 kB
Inactive:       273144 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        686476 kB
SwapTotal:     2097136 kB
SwapFree:      2095660 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5312 kB
Slab:            14220 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 07:15:41 (client local time) WITH STATUS 0 IN 1200.9 SECONDS
stats: 26400 7 1200.9 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.91 0.97 0.92 2/54 6503
Raw data (stat): 6503 (runsolver) R 6502 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 847782357 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.0002 s]
Raw data (loadavg): 0.93 0.97 0.92 2/54 6503
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 2926 0 0 0 990 7 0 0 25 0 1 0 847782357 18014208 2900 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4398 2900 566 18 0 4380 0
vsize: 17592
[startup+20 s]
Raw data (loadavg): 0.94 0.97 0.92 2/54 6503
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 3254 0 0 0 1989 9 0 0 25 0 1 0 847782357 19451904 3228 4294967295 134512640 134581267 3221224592 3221223488 134517851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4749 3228 566 18 0 4731 0
vsize: 18996
[startup+30.0011 s]
Raw data (loadavg): 0.95 0.97 0.92 2/54 6503
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 4472 0 0 0 2986 12 0 0 25 0 1 0 847782357 24420352 4446 4294967295 134512640 134581267 3221224592 3221223488 134517851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5962 4446 566 18 0 5944 0
vsize: 23848
[startup+40.0007 s]
Raw data (loadavg): 0.95 0.97 0.92 2/54 6503
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 5564 0 0 0 3984 14 0 0 25 0 1 0 847782357 28901376 5538 4294967295 134512640 134581267 3221224592 3221223584 134561104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7056 5538 566 18 0 7038 0
vsize: 28224
[startup+50.0016 s]
Raw data (loadavg): 0.96 0.97 0.92 2/54 6503
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 6578 0 0 0 4981 17 0 0 25 0 1 0 847782357 33005568 6552 4294967295 134512640 134581267 3221224592 3221223520 134520003 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8058 6552 566 18 0 8040 0
vsize: 32232
[startup+60.0017 s]
Raw data (loadavg): 0.97 0.97 0.92 2/54 6503
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 7585 0 0 0 5980 19 0 0 25 0 1 0 847782357 37244928 7559 4294967295 134512640 134581267 3221224592 3221223488 134517888 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9093 7559 566 18 0 9075 0
vsize: 36372
[startup+70.0013 s]
Raw data (loadavg): 0.97 0.97 0.92 2/54 6503
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 8555 0 0 0 6977 21 0 0 25 0 1 0 847782357 41213952 8529 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10062 8529 566 18 0 10044 0
vsize: 40248
[startup+80.0022 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 6503
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 9365 0 0 0 7976 23 0 0 25 0 1 0 847782357 44445696 9339 4294967295 134512640 134581267 3221224592 3221223488 134517905 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10851 9339 566 18 0 10833 0
vsize: 43404
[startup+90.0023 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 6503
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 10382 0 0 0 8974 25 0 0 25 0 1 0 847782357 48586752 10356 4294967295 134512640 134581267 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11862 10356 566 18 0 11844 0
vsize: 47448
[startup+100.003 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 6503
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 11329 0 0 0 9971 28 0 0 25 0 1 0 847782357 52477952 11303 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12812 11303 566 18 0 12794 0
vsize: 51248
[startup+110.003 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 6503
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 12132 0 0 0 10969 30 0 0 25 0 1 0 847782357 55754752 12106 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13612 12106 566 18 0 13594 0
vsize: 54448
[startup+120.003 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 6503
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 12858 0 0 0 11967 33 0 0 25 0 1 0 847782357 58728448 12832 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14338 12832 566 18 0 14320 0
vsize: 57352
[startup+130.003 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 6503
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 13570 0 0 0 12965 35 0 0 25 0 1 0 847782357 61644800 13544 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15050 13544 566 18 0 15032 0
vsize: 60200
[startup+140.003 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 6503
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 14255 0 0 0 13963 37 0 0 25 0 1 0 847782357 64503808 14229 4294967295 134512640 134581267 3221224592 3221223520 134520049 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15748 14229 566 18 0 15730 0
vsize: 62992
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 6503
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 14864 0 0 0 14962 38 0 0 25 0 1 0 847782357 67108864 14838 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16384 14838 566 18 0 16366 0
vsize: 65536
[startup+160.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 6503
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 15462 0 0 0 15960 40 0 0 25 0 1 0 847782357 69582848 15436 4294967295 134512640 134581267 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16988 15436 566 18 0 16970 0
vsize: 67952
[startup+170.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 6503
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 16066 0 0 0 16959 41 0 0 25 0 1 0 847782357 72101888 16040 4294967295 134512640 134581267 3221224592 3221223488 134517902 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17603 16040 566 18 0 17585 0
vsize: 70412
[startup+180.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 6503
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 16636 0 0 0 17958 43 0 0 25 0 1 0 847782357 74416128 16610 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18168 16610 566 18 0 18150 0
vsize: 72672
[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 6503
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 17302 0 0 0 18956 45 0 0 25 0 1 0 847782357 77139968 17276 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18833 17276 566 18 0 18815 0
vsize: 75332
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 6503
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 17912 0 0 0 19955 46 0 0 25 0 1 0 847782357 79638528 17886 4294967295 134512640 134581267 3221224592 3221223488 134517862 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19443 17886 566 18 0 19425 0
vsize: 77772
[startup+210.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 6503
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 18533 0 0 0 20954 47 0 0 25 0 1 0 847782357 82186240 18507 4294967295 134512640 134581267 3221224592 3221223568 134561060 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20065 18507 566 18 0 20047 0
vsize: 80260
[startup+220.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 6503
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 19288 0 0 0 21952 49 0 0 25 0 1 0 847782357 85237760 19262 4294967295 134512640 134581267 3221224592 3221223488 134517905 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20810 19262 566 18 0 20792 0
vsize: 83240
[startup+230.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 6503
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 19978 0 0 0 22950 52 0 0 25 0 1 0 847782357 88002560 19952 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21485 19952 566 18 0 21467 0
vsize: 85940
[startup+240.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 6503
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 20637 0 0 0 23948 53 0 0 25 0 1 0 847782357 90689536 20611 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22141 20611 566 18 0 22123 0
vsize: 88564
[startup+250.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 6503
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 21243 0 0 0 24947 55 0 0 25 0 1 0 847782357 93265920 21217 4294967295 134512640 134581267 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22770 21217 566 18 0 22752 0
vsize: 91080
[startup+260.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 6503
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 21857 0 0 0 25945 57 0 0 25 0 1 0 847782357 95715328 21831 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23368 21831 566 18 0 23350 0
vsize: 93472
[startup+270.34 s]
Raw data (loadavg): 1.07 0.99 0.93 2/57 6525
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 22499 0 0 0 26972 64 0 0 25 0 1 0 847782357 98410496 22473 4294967295 134512640 134581267 3221224592 3221223520 134519996 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24026 22473 566 18 0 24008 0
vsize: 96104
[startup+280.34 s]
Raw data (loadavg): 1.14 1.00 0.93 2/58 6546
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 23084 0 0 0 27969 66 0 0 25 0 1 0 847782357 100720640 23058 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24590 23058 566 18 0 24572 0
vsize: 98360
[startup+290.62 s]
Raw data (loadavg): 1.35 1.05 0.95 3/58 6556
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 23643 0 0 0 28996 67 0 0 25 0 1 0 847782357 102985728 23617 4294967295 134512640 134581267 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25143 23617 566 18 0 25125 0
vsize: 100572
[startup+300.62 s]
Raw data (loadavg): 1.29 1.05 0.95 2/54 6556
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 24135 0 0 0 29995 68 0 0 25 0 1 0 847782357 104992768 24109 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25633 24109 566 18 0 25615 0
vsize: 102532
[startup+310.62 s]
Raw data (loadavg): 1.25 1.05 0.95 2/54 6556
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 24656 0 0 0 30994 69 0 0 25 0 1 0 847782357 107163648 24630 4294967295 134512640 134581267 3221224592 3221223520 134519958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26163 24630 566 18 0 26145 0
vsize: 104652
[startup+320.62 s]
Raw data (loadavg): 1.21 1.05 0.95 2/54 6556
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 25099 0 0 0 31994 70 0 0 25 0 1 0 847782357 109027328 25073 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26618 25073 566 18 0 26600 0
vsize: 106472
[startup+330.621 s]
Raw data (loadavg): 1.18 1.04 0.95 2/54 6556
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 25568 0 0 0 32993 70 0 0 25 0 1 0 847782357 110895104 25542 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27074 25542 566 18 0 27056 0
vsize: 108296
[startup+340.621 s]
Raw data (loadavg): 1.15 1.04 0.95 2/54 6556
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 26088 0 0 0 33992 72 0 0 25 0 1 0 847782357 113004544 26062 4294967295 134512640 134581267 3221224592 3221223488 134517873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27589 26062 566 18 0 27571 0
vsize: 110356
[startup+350.621 s]
Raw data (loadavg): 1.13 1.04 0.95 2/54 6556
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 26570 0 0 0 34992 72 0 0 25 0 1 0 847782357 114999296 26544 4294967295 134512640 134581267 3221224592 3221223488 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28076 26544 566 18 0 28058 0
vsize: 112304
[startup+360.622 s]
Raw data (loadavg): 1.11 1.04 0.95 2/54 6558
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 27041 0 0 0 35991 73 0 0 25 0 1 0 847782357 117002240 27015 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28565 27015 566 18 0 28547 0
vsize: 114260
[startup+370.621 s]
Raw data (loadavg): 1.09 1.04 0.95 2/54 6558
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 27606 0 0 0 36989 75 0 0 25 0 1 0 847782357 119312384 27580 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29129 27580 566 18 0 29111 0
vsize: 116516
[startup+380.622 s]
Raw data (loadavg): 1.08 1.03 0.95 2/54 6558
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 28072 0 0 0 37988 77 0 0 25 0 1 0 847782357 121204736 28046 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29591 28046 566 18 0 29573 0
vsize: 118364
[startup+390.622 s]
Raw data (loadavg): 1.06 1.03 0.95 2/54 6558
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 28507 0 0 0 38986 78 0 0 25 0 1 0 847782357 122953728 28481 4294967295 134512640 134581267 3221224592 3221223580 134561046 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30018 28481 566 18 0 30000 0
vsize: 120072
[startup+400.623 s]
Raw data (loadavg): 1.05 1.03 0.95 2/54 6558
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 29008 0 0 0 39985 80 0 0 25 0 1 0 847782357 124977152 28982 4294967295 134512640 134581267 3221224592 3221223488 134517880 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30512 28982 566 18 0 30494 0
vsize: 122048
[startup+410.622 s]
Raw data (loadavg): 1.04 1.03 0.95 2/54 6558
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 29381 0 0 0 40984 81 0 0 25 0 1 0 847782357 126545920 29355 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30895 29355 566 18 0 30877 0
vsize: 123580
[startup+420.623 s]
Raw data (loadavg): 1.04 1.03 0.95 2/54 6558
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 29805 0 0 0 41983 82 0 0 25 0 1 0 847782357 128233472 29779 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31307 29779 566 18 0 31289 0
vsize: 125228
[startup+430.623 s]
Raw data (loadavg): 1.03 1.03 0.95 2/54 6558
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 30325 0 0 0 42982 83 0 0 25 0 1 0 847782357 130347008 30299 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31823 30299 566 18 0 31805 0
vsize: 127292
[startup+440.623 s]
Raw data (loadavg): 1.03 1.03 0.95 2/54 6558
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 30888 0 0 0 43981 84 0 0 25 0 1 0 847782357 132677632 30862 4294967295 134512640 134581267 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32392 30862 566 18 0 32374 0
vsize: 129568
[startup+450.624 s]
Raw data (loadavg): 1.02 1.02 0.95 2/54 6558
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 31354 0 0 0 44981 85 0 0 25 0 1 0 847782357 134610944 31328 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32864 31328 566 18 0 32846 0
vsize: 131456
[startup+460.624 s]
Raw data (loadavg): 1.02 1.02 0.95 2/54 6558
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 31949 0 0 0 45980 87 0 0 25 0 1 0 847782357 137060352 31923 4294967295 134512640 134581267 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33462 31923 566 18 0 33444 0
vsize: 133848
[startup+470.624 s]
Raw data (loadavg): 1.01 1.02 0.95 2/54 6558
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 32463 0 0 0 46979 88 0 0 25 0 1 0 847782357 139218944 32437 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33989 32437 566 18 0 33971 0
vsize: 135956
[startup+480.624 s]
Raw data (loadavg): 1.01 1.02 0.95 2/54 6558
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 32855 0 0 0 47978 88 0 0 25 0 1 0 847782357 140779520 32829 4294967295 134512640 134581267 3221224592 3221223520 134520041 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34370 32829 566 18 0 34352 0
vsize: 137480
[startup+490.624 s]
Raw data (loadavg): 1.01 1.02 0.95 2/54 6558
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 33385 0 0 0 48978 89 0 0 25 0 1 0 847782357 142934016 33359 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34896 33359 566 18 0 34878 0
vsize: 139584
[startup+500.624 s]
Raw data (loadavg): 1.01 1.02 0.95 2/54 6558
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 33908 0 0 0 49977 90 0 0 25 0 1 0 847782357 145334272 33882 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35482 33882 566 18 0 35464 0
vsize: 141928
[startup+510.624 s]
Raw data (loadavg): 1.01 1.02 0.95 2/54 6558
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 34403 0 0 0 50976 91 0 0 25 0 1 0 847782357 147374080 34377 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35980 34377 566 18 0 35962 0
vsize: 143920
[startup+520.624 s]
Raw data (loadavg): 1.00 1.02 0.95 2/54 6558
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 34970 0 0 0 51975 92 0 0 25 0 1 0 847782357 149618688 34944 4294967295 134512640 134581267 3221224592 3221223568 134561057 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36528 34944 566 18 0 36510 0
vsize: 146112
[startup+530.625 s]
Raw data (loadavg): 1.00 1.02 0.95 2/54 6558
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 35535 0 0 0 52974 94 0 0 25 0 1 0 847782357 151969792 35509 4294967295 134512640 134581267 3221224592 3221223488 134517868 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37102 35509 566 18 0 37084 0
vsize: 148408
[startup+540.625 s]
Raw data (loadavg): 1.00 1.02 0.95 2/54 6558
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 36027 0 0 0 53972 95 0 0 25 0 1 0 847782357 153985024 36001 4294967295 134512640 134581267 3221224592 3221223488 134517873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37594 36001 566 18 0 37576 0
vsize: 150376
[startup+550.626 s]
Raw data (loadavg): 1.00 1.02 0.95 2/54 6558
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 36615 0 0 0 54971 97 0 0 25 0 1 0 847782357 156344320 36589 4294967295 134512640 134581267 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38170 36589 566 18 0 38152 0
vsize: 152680
[startup+560.625 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 6558
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 37146 0 0 0 55970 98 0 0 25 0 1 0 847782357 158601216 37120 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38721 37120 566 18 0 38703 0
vsize: 154884
[startup+570.625 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 6558
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 37602 0 0 0 56969 99 0 0 25 0 1 0 847782357 160395264 37576 4294967295 134512640 134581267 3221224592 3221223560 134519894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39159 37576 566 18 0 39141 0
vsize: 156636
[startup+580.625 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 6558
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 38092 0 0 0 57968 101 0 0 25 0 1 0 847782357 162451456 38066 4294967295 134512640 134581267 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39661 38066 566 18 0 39643 0
vsize: 158644
[startup+590.625 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 6558
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 38577 0 0 0 58967 101 0 0 25 0 1 0 847782357 164397056 38551 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40136 38551 566 18 0 40118 0
vsize: 160544
[startup+600.626 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 6558
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 39075 0 0 0 59966 102 0 0 25 0 1 0 847782357 166473728 39049 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40643 39049 566 18 0 40625 0
vsize: 162572
[startup+610.627 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 6558
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 39565 0 0 0 60966 103 0 0 25 0 1 0 847782357 168439808 39539 4294967295 134512640 134581267 3221224592 3221223584 134561087 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41123 39539 566 18 0 41105 0
vsize: 164492
[startup+620.627 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 6558
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 39970 0 0 0 61965 104 0 0 25 0 1 0 847782357 170135552 39944 4294967295 134512640 134581267 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41537 39944 566 18 0 41519 0
vsize: 166148
[startup+630.626 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 6558
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 40303 0 0 0 62964 105 0 0 25 0 1 0 847782357 171462656 40277 4294967295 134512640 134581267 3221224592 3221223520 134519797 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41861 40277 566 18 0 41843 0
vsize: 167444
[startup+640.627 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 6558
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 40689 0 0 0 63963 106 0 0 25 0 1 0 847782357 173117440 40663 4294967295 134512640 134581267 3221224592 3221223520 134520099 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42265 40663 566 18 0 42247 0
vsize: 169060
[startup+650.627 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 6558
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 41133 0 0 0 64963 107 0 0 25 0 1 0 847782357 174874624 41107 4294967295 134512640 134581267 3221224592 3221223488 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42694 41107 566 18 0 42676 0
vsize: 170776
[startup+660.627 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 6558
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 41474 0 0 0 65961 109 0 0 25 0 1 0 847782357 176316416 41448 4294967295 134512640 134581267 3221224592 3221223520 134519958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43046 41448 566 18 0 43028 0
vsize: 172184
[startup+670.627 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 6560
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 41866 0 0 0 66960 110 0 0 25 0 1 0 847782357 177872896 41840 4294967295 134512640 134581267 3221224592 3221223520 134520084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43426 41840 566 18 0 43408 0
vsize: 173704
[startup+680.628 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 6560
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 42313 0 0 0 67959 111 0 0 25 0 1 0 847782357 179773440 42287 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43890 42287 566 18 0 43872 0
vsize: 175560
[startup+690.628 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 6560
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 42672 0 0 0 68958 112 0 0 25 0 1 0 847782357 181207040 42646 4294967295 134512640 134581267 3221224592 3221223556 134519780 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44240 42646 566 18 0 44222 0
vsize: 176960
[startup+700.628 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 6560
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 43108 0 0 0 69957 113 0 0 25 0 1 0 847782357 182960128 43082 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44668 43082 566 18 0 44650 0
vsize: 178672
[startup+710.629 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 6560
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 43518 0 0 0 70956 114 0 0 25 0 1 0 847782357 184623104 43492 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45074 43492 566 18 0 45056 0
vsize: 180296
[startup+720.63 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 6560
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 43861 0 0 0 71956 115 0 0 25 0 1 0 847782357 186040320 43835 4294967295 134512640 134581267 3221224592 3221223568 134561060 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45420 43835 566 18 0 45402 0
vsize: 181680
[startup+730.63 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 6560
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 44235 0 0 0 72955 116 0 0 25 0 1 0 847782357 187568128 44209 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45793 44209 566 18 0 45775 0
vsize: 183172
[startup+740.63 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 6560
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 44621 0 0 0 73953 118 0 0 25 0 1 0 847782357 189112320 44595 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46170 44595 566 18 0 46152 0
vsize: 184680
[startup+750.631 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 6560
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 45041 0 0 0 74953 119 0 0 25 0 1 0 847782357 190914560 45015 4294967295 134512640 134581267 3221224592 3221223520 134520041 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46610 45015 566 18 0 46592 0
vsize: 186440
[startup+760.631 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 6560
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 45452 0 0 0 75951 121 0 0 25 0 1 0 847782357 192593920 45426 4294967295 134512640 134581267 3221224592 3221223568 134561057 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47020 45426 566 18 0 47002 0
vsize: 188080
[startup+770.63 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 6560
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 45912 0 0 0 76950 122 0 0 25 0 1 0 847782357 194392064 45886 4294967295 134512640 134581267 3221224592 3221223488 134517859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47459 45886 566 18 0 47441 0
vsize: 189836
[startup+780.632 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 6560
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 46285 0 0 0 77949 123 0 0 25 0 1 0 847782357 195956736 46259 4294967295 134512640 134581267 3221224592 3221223552 134519892 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47841 46259 566 18 0 47823 0
vsize: 191364
[startup+790.631 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 6560
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 46643 0 0 0 78948 124 0 0 25 0 1 0 847782357 197394432 46617 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48192 46617 566 18 0 48174 0
vsize: 192768
[startup+800.632 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 6560
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 47048 0 0 0 79947 125 0 0 25 0 1 0 847782357 199049216 47022 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48596 47022 566 18 0 48578 0
vsize: 194384
[startup+810.632 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 6560
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 47440 0 0 0 80947 126 0 0 25 0 1 0 847782357 200663040 47414 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48990 47414 566 18 0 48972 0
vsize: 195960
[startup+820.632 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 6560
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 47855 0 0 0 81946 127 0 0 25 0 1 0 847782357 202391552 47829 4294967295 134512640 134581267 3221224592 3221223488 134517888 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49412 47829 566 18 0 49394 0
vsize: 197648
[startup+830.632 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 6560
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 48196 0 0 0 82945 128 0 0 25 0 1 0 847782357 203759616 48170 4294967295 134512640 134581267 3221224592 3221223368 1075291826 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49746 48170 566 18 0 49728 0
vsize: 198984
[startup+840.632 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 6560
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 48667 0 0 0 83944 129 0 0 25 0 1 0 847782357 205737984 48641 4294967295 134512640 134581267 3221224592 3221223520 134520084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50229 48641 566 18 0 50211 0
vsize: 200916
[startup+850.632 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 6560
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 49073 0 0 0 84943 131 0 0 25 0 1 0 847782357 207364096 49047 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50626 49047 566 18 0 50608 0
vsize: 202504
[startup+860.632 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 6560
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 49494 0 0 0 85942 131 0 0 25 0 1 0 847782357 209113088 49468 4294967295 134512640 134581267 3221224592 3221223520 134519867 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51053 49468 566 18 0 51035 0
vsize: 204212
[startup+870.632 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 6560
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 49948 0 0 0 86941 133 0 0 25 0 1 0 847782357 210989056 49922 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51511 49922 566 18 0 51493 0
vsize: 206044
[startup+880.632 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 6560
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 50374 0 0 0 87940 134 0 0 25 0 1 0 847782357 212729856 50348 4294967295 134512640 134581267 3221224592 3221223520 134519996 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51936 50348 566 18 0 51918 0
vsize: 207744
[startup+890.632 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 6560
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 50819 0 0 0 88939 135 0 0 25 0 1 0 847782357 214564864 50793 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52384 50793 566 18 0 52366 0
vsize: 209536
[startup+900.633 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 6560
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 51219 0 0 0 89939 135 0 0 25 0 1 0 847782357 216190976 51193 4294967295 134512640 134581267 3221224592 3221223488 134517868 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52781 51193 566 18 0 52763 0
vsize: 211124
[startup+910.633 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 6560
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 51633 0 0 0 90938 137 0 0 25 0 1 0 847782357 217825280 51607 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53180 51607 566 18 0 53162 0
vsize: 212720
[startup+920.632 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 6560
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 51992 0 0 0 91937 137 0 0 25 0 1 0 847782357 219316224 51966 4294967295 134512640 134581267 3221224592 3221223552 134516726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53544 51966 566 18 0 53526 0
vsize: 214176
[startup+930.632 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 6560
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 51992 0 0 0 92937 137 0 0 25 0 1 0 847782357 219316224 51966 4294967295 134512640 134581267 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53544 51966 566 18 0 53526 0
vsize: 214176
[startup+940.632 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 6560
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 51992 0 0 0 93937 137 0 0 25 0 1 0 847782357 219316224 51966 4294967295 134512640 134581267 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53544 51966 566 18 0 53526 0
vsize: 214176
[startup+950.632 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 6560
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 51992 0 0 0 94938 137 0 0 25 0 1 0 847782357 219316224 51966 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53544 51966 566 18 0 53526 0
vsize: 214176
[startup+960.633 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 6560
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 51992 0 0 0 95938 137 0 0 25 0 1 0 847782357 219316224 51966 4294967295 134512640 134581267 3221224592 3221223520 134520084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53544 51966 566 18 0 53526 0
vsize: 214176
[startup+970.633 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 6560
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 51993 0 0 0 96938 137 0 0 25 0 1 0 847782357 219316224 51967 4294967295 134512640 134581267 3221224592 3221223488 134517902 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53544 51967 566 18 0 53526 0
vsize: 214176
[startup+980.633 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 6560
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 51994 0 0 0 97938 137 0 0 25 0 1 0 847782357 219316224 51968 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53544 51968 566 18 0 53526 0
vsize: 214176
[startup+990.632 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 6560
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 51995 0 0 0 98938 138 0 0 25 0 1 0 847782357 219316224 51969 4294967295 134512640 134581267 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53544 51969 566 18 0 53526 0
vsize: 214176
[startup+1000.63 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 6560
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 51995 0 0 0 99938 138 0 0 25 0 1 0 847782357 219316224 51969 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53544 51969 566 18 0 53526 0
vsize: 214176
[startup+1010.63 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 6560
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 51995 0 0 0 100939 138 0 0 25 0 1 0 847782357 219316224 51969 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53544 51969 566 18 0 53526 0
vsize: 214176
[startup+1020.63 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 6560
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 51995 0 0 0 101939 138 0 0 25 0 1 0 847782357 219316224 51969 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53544 51969 566 18 0 53526 0
vsize: 214176
[startup+1030.63 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 6560
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 51995 0 0 0 102939 138 0 0 25 0 1 0 847782357 219316224 51969 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53544 51969 566 18 0 53526 0
vsize: 214176
[startup+1040.63 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 6560
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 51995 0 0 0 103939 138 0 0 25 0 1 0 847782357 219316224 51969 4294967295 134512640 134581267 3221224592 3221223488 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53544 51969 566 18 0 53526 0
vsize: 214176
[startup+1050.63 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 6560
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 51996 0 0 0 104939 138 0 0 25 0 1 0 847782357 219316224 51970 4294967295 134512640 134581267 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53544 51970 566 18 0 53526 0
vsize: 214176
[startup+1060.64 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 6560
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 51996 0 0 0 105940 138 0 0 25 0 1 0 847782357 219316224 51970 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53544 51970 566 18 0 53526 0
vsize: 214176
[startup+1070.64 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 6560
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 51996 0 0 0 106940 138 0 0 25 0 1 0 847782357 219316224 51970 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53544 51970 566 18 0 53526 0
vsize: 214176
[startup+1080.64 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 6560
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 51996 0 0 0 107940 138 0 0 25 0 1 0 847782357 219316224 51970 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53544 51970 566 18 0 53526 0
vsize: 214176
[startup+1090.63 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 6560
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 51996 0 0 0 108940 138 0 0 25 0 1 0 847782357 219316224 51970 4294967295 134512640 134581267 3221224592 3221223488 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53544 51970 566 18 0 53526 0
vsize: 214176
[startup+1100.64 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 6560
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 51996 0 0 0 109940 138 0 0 25 0 1 0 847782357 219316224 51970 4294967295 134512640 134581267 3221224592 3221223568 134560674 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53544 51970 566 18 0 53526 0
vsize: 214176
[startup+1110.64 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 6560
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 51996 0 0 0 110940 138 0 0 25 0 1 0 847782357 219316224 51970 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53544 51970 566 18 0 53526 0
vsize: 214176
[startup+1120.64 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 6560
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 51996 0 0 0 111941 138 0 0 25 0 1 0 847782357 219316224 51970 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53544 51970 566 18 0 53526 0
vsize: 214176
[startup+1130.64 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 6560
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 51996 0 0 0 112941 138 0 0 25 0 1 0 847782357 219316224 51970 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53544 51970 566 18 0 53526 0
vsize: 214176
[startup+1140.64 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 6560
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 51996 0 0 0 113941 138 0 0 25 0 1 0 847782357 219316224 51970 4294967295 134512640 134581267 3221224592 3221223488 134517868 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53544 51970 566 18 0 53526 0
vsize: 214176
[startup+1150.64 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 6560
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 51996 0 0 0 114941 138 0 0 25 0 1 0 847782357 219316224 51970 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53544 51970 566 18 0 53526 0
vsize: 214176
[startup+1160.64 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 6560
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 51996 0 0 0 115941 138 0 0 25 0 1 0 847782357 219316224 51970 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53544 51970 566 18 0 53526 0
vsize: 214176
[startup+1170.64 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 6560
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 51996 0 0 0 116941 138 0 0 25 0 1 0 847782357 219316224 51970 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53544 51970 566 18 0 53526 0
vsize: 214176
[startup+1180.64 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 6560
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 51996 0 0 0 117942 138 0 0 25 0 1 0 847782357 219316224 51970 4294967295 134512640 134581267 3221224592 3221223472 134520219 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53544 51970 566 18 0 53526 0
vsize: 214176
[startup+1190.64 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 6560
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 51996 0 0 0 118942 138 0 0 25 0 1 0 847782357 219316224 51970 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53544 51970 566 18 0 53526 0
vsize: 214176
[startup+1200.64 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 6560
Raw data (stat): 6503 (Pueblo-v2) R 6502 21152 21151 0 -1 0 51996 0 0 0 119942 138 0 0 25 0 1 0 847782357 219316224 51970 4294967295 134512640 134581267 3221224592 3221223584 134561094 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53544 51970 566 18 0 53526 0
vsize: 214176
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.74 s]
Raw data (loadavg): 1.00 1.00 0.95 1/54 6560
Raw data (stat): 6503 (Pueblo-v2) Z 6502 21152 21151 0 -1 1036 51996 0 0 0 119942 147 0 0 25 0 1 0 847782357 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.74
CPU time (s): 1200.9
CPU user time (s): 1199.43
CPU system time (s): 1.47678
CPU usage (%): 100.014
Max. virtual memory (Kb): 214176
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####