PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-misc05.opb
MD5SUM	5e97a4ad772c87cdf15a611dd5b54048
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1076796928
Optimality of the best value was proved	NO
Number of terms in the objective function	31
Biggest coefficient in the objective function	1073741824
Number of bits for the biggest coefficient in the objective function	31
Sum of the numbers in the objective function	2147483647
Number of bits of the sum of numbers in the objective function	31
Biggest number in a constraint	5368709120
Number of bits of the biggest number in a constraint	33
Biggest sum of numbers in a constraint	83751857084
Number of bits of the biggest sum of numbers	37
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	952.576
Number of variables	1940
Total number of constraints	374
Number of constraints which are clauses	155
Number of constraints which are cardinality constraints (but not clauses)	82
Number of constraints which are nor clauses,nor cardinality constraints	137
Minimum length of a constraint	1
Maximum length of a constraint	451
Trace number 35272

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-28 12:19:22 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24451 boxname=wulflinc31 idbench=923 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  5e97a4ad772c87cdf15a611dd5b54048  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-misc05.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-misc05.opb
IDLAUNCH: 24451
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        845756 kB
Buffers:         34828 kB
Cached:         131604 kB
SwapCached:       1052 kB
Active:          80740 kB
Inactive:        87848 kB
HighTotal:      131008 kB
HighFree:         6608 kB
LowTotal:       903652 kB
LowFree:        839148 kB
SwapTotal:     2097892 kB
SwapFree:      2095928 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5108 kB
Slab:            14744 kB
Committed_AS:    63808 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-28 12:39:26 (client local time) WITH STATUS 10 IN 1201.76 SECONDS
stats: 24451 0 1201.76 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
c [startup+24.6505 s]  setting bit 30 to 0
c got solution with objective value: 1077049856
c [startup+31.0539 s]  setting bit 29 to 1
c got solution with objective value: 1077109248
c [startup+45.0287 s]  setting bit 28 to 1
c got solution with objective value: 1077234176
c [startup+52.5637 s]  setting bit 27 to 1
c got solution with objective value: 1077172736
c [startup+56.2957 s]  setting bit 26 to 1
c got solution with objective value: 1077172736
c [startup+63.9637 s]  setting bit 25 to 1
c got solution with objective value: 1077172736
c [startup+67.5606 s]  setting bit 24 to 1
c got solution with objective value: 1077172736
c [startup+71.1489 s]  setting bit 23 to 1
c got solution with objective value: 1077172736
c [startup+74.7359 s]  setting bit 22 to 1
c [startup+309.813 s]  setting bit 21 to 0
c got solution with objective value: 1076880384
c [startup+321.552 s]  setting bit 20 to 1

Decision: 67927/499501	Time: 284.289/86400
Decision: 68033/499501	Time: 581.729/86400s SATISFIABLE
v -COL001_bit0 -COL002_bit0 -COL003_bit0 -COL004_bit0 -COL005_bit0 -COL006_bit0 COL007_bit0 -COL008_bit0 COL009_bit0 -COL010_bit0 -COL011_bit0 -COL012_bit0 -COL013_bit0 -COL014_bit0 -COL015_bit0 -COL016_bit0 -COL017_bit0 -COL018_bit0 -COL019_bit0 -COL020_bit0 -COL021_bit0 -COL022_bit0 COL023_bit0 -COL024_bit0 -COL025_bit0 -COL026_bit0 -COL027_bit0 -COL028_bit0 -COL029_bit0 -COL030_bit0 -COL031_bit0 COL032_bit0 -COL033_bit0 -COL034_bit0 -COL035_bit0 COL036_bit0 -COL037_bit0 -COL038_bit0 -COL039_bit0 -COL040_bit0 -COL041_bit0 COL042_bit0 -COL043_bit0 -COL044_bit0 -COL045_bit0 -COL046_bit0 -COL047_bit0 -COL048_bit0 -COL049_bit0 -COL050_bit0 -COL051_bit0 -COL052_bit0 COL053_bit0 -COL054_bit0 -COL055_bit0 -COL056_bit0 -COL057_bit0 -COL058_bit0 COL059_bit0 -COL060_bit0 -COL061_bit0 COL062_bit0 -COL063_bit0 -COL064_bit0 -COL065_bit0 -COL066_bit0 -COL067_bit0 -COL068_bit0 -COL069_bit0 -COL070_bit0 COL071_bit0 -COL072_bit0 -COL073_bit0 -COL073_bit1 -COL073_bit10 -COL073_bit11 -COL073_bit12 -COL073_bit13 -COL073_bit14 -COL073_bit15 -COL073_bit16 -COL073_bit17 -COL073_bit18 -COL073_bit19 -COL073_bit2 -COL073_bit3 -COL073_bit4 -COL073_bit5 -COL073_bit6 -COL073_bit7 -COL073_bit8 -COL073_bit9 -COL073_bit_1 -COL073_bit_10 -COL073_bit_2 -COL073_bit_3 -COL073_bit_4 -COL073_bit_5 -COL073_bit_6 -COL073_bit_7 -COL073_bit_8 -COL073_bit_9 -COL074_bit0 -COL074_bit1 -COL074_bit10 -COL074_bit11 -COL074_bit12 -COL074_bit13 -COL074_bit14 -COL074_bit15 -COL074_bit16 -COL074_bit17 -COL074_bit18 -COL074_bit19 -COL074_bit2 -COL074_bit3 -COL074_bit4 -COL074_bit5 -COL074_bit6 -COL074_bit7 -COL074_bit8 -COL074_bit9 -COL074_bit_1 -COL074_bit_10 -COL074_bit_2 -COL074_bit_3 -COL074_bit_4 -COL074_bit_5 -COL074_bit_6 -COL074_bit_7 -COL074_bit_8 -COL074_bit_9 -COL075_bit0 -COL075_bit1 -COL075_bit10 -COL075_bit11 -COL075_bit12 -COL075_bit13 -COL075_bit14 -COL075_bit15 -COL075_bit16 -COL075_bit17 -COL075_bit18 -COL075_bit19 -COL075_bit2 -COL075_bit3 -COL075_bit4 -COL075_bit5 -COL075_bit6 -COL075_bit7 -COL075_bit8 -COL075_bit9 -COL075_bit_1 -COL075_bit_10 -COL075_bit_2 -COL075_bit_3 -COL075_bit_4 -COL075_bit_5 -COL075_bit_6 -COL075_bit_7 -COL075_bit_8 -COL075_bit_9 -COL076_bit0 -COL076_bit1 -COL076_bit10 -COL076_bit11 -COL076_bit12 -COL076_bit13 -COL076_bit14 -COL076_bit15 -COL076_bit16 -COL076_bit17 -COL076_bit18 -COL076_bit19 -COL076_bit2 -COL076_bit3 -COL076_bit4 -COL076_bit5 -COL076_bit6 -COL076_bit7 -COL076_bit8 -COL076_bit9 -COL076_bit_1 -COL076_bit_10 -COL076_bit_2 -COL076_bit_3 -COL076_bit_4 -COL076_bit_5 -COL076_bit_6 -COL076_bit_7 -COL076_bit_8 -COL076_bit_9 -COL077_bit0 -COL077_bit1 -COL077_bit10 -COL077_bit11 -COL077_bit12 -COL077_bit13 -COL077_bit14 -COL077_bit15 -COL077_bit16 -COL077_bit17 -COL077_bit18 -COL077_bit19 -COL077_bit2 -COL077_bit3 -COL077_bit4 -COL077_bit5 -COL077_bit6 -COL077_bit7 -COL077_bit8 -COL077_bit9 -COL077_bit_1 -COL077_bit_10 -COL077_bit_2 -COL077_bit_3 -COL077_bit_4 -COL077_bit_5 -COL077_bit_6 -COL077_bit_7 -COL077_bit_8 -COL077_bit_9 -COL078_bit0 -COL078_bit1 -COL078_bit10 -COL078_bit11 -COL078_bit12 -COL078_bit13 -COL078_bit14 -COL078_bit15 -COL078_bit16 -COL078_bit17 -COL078_bit18 -COL078_bit19 -COL078_bit2 -COL078_bit3 -COL078_bit4 -COL078_bit5 -COL078_bit6 -COL078_bit7 -COL078_bit8 -COL078_bit9 -COL078_bit_1 -COL078_bit_10 -COL078_bit_2 -COL078_bit_3 -COL078_bit_4 -COL078_bit_5 -COL078_bit_6 -COL078_bit_7 -COL078_bit_8 -COL078_bit_9 -COL079_bit0 -COL079_bit1 -COL079_bit10 -COL079_bit11 -COL079_bit12 -COL079_bit13 -COL079_bit14 -COL079_bit15 -COL079_bit16 -COL079_bit17 -COL079_bit18 -COL079_bit19 COL079_bit2 COL079_bit3 -COL079_bit4 COL079_bit5 -COL079_bit6 -COL079_bit7 COL079_bit8 -COL079_bit9 -COL079_bit_1 -COL079_bit_10 -COL079_bit_2 -COL079_bit_3 -COL079_bit_4 -COL079_bit_5 -COL079_bit_6 -COL079_bit_7 -COL079_bit_8 -COL079_bit_9 -COL080_bit0 -COL080_bit1 -COL080_bit10 -COL080_bit11 -COL080_bit12 -COL080_bit13 -COL080_bit14 -COL080_bit15 -COL080_bit16 -COL080_bit17 -COL080_bit18 -COL080_bit19 -COL080_bit2 -COL080_bit3 -COL080_bit4 -COL080_bit5 -COL080_bit6 -COL080_bit7 -COL080_bit8 -COL080_bit9 -COL080_bit_1 -COL080_bit_10 -COL080_bit_2 -COL080_bit_3 -COL080_bit_4 -COL080_bit_5 -COL080_bit_6 -COL080_bit_7 -COL080_bit_8 -COL080_bit_9 -COL081_bit0 -COL081_bit1 -COL081_bit10 -COL081_bit11 -COL081_bit12 -COL081_bit13 -COL081_bit14 -COL081_bit15 -COL081_bit16 -COL081_bit17 -COL081_bit18 -COL081_bit19 -COL081_bit2 -COL081_bit3 -COL081_bit4 -COL081_bit5 -COL081_bit6 -COL081_bit7 -COL081_bit8 -COL081_bit9 -COL081_bit_1 -COL081_bit_10 -COL081_bit_2 -COL081_bit_3 -COL081_bit_4 -COL081_bit_5 -COL081_bit_6 -COL081_bit_7 -COL081_bit_8 -COL081_bit_9 -COL082_bit0 -COL082_bit1 -COL082_bit10 -COL082_bit11 -COL082_bit12 -COL082_bit13 -COL082_bit14 -COL082_bit15 -COL082_bit16 -COL082_bit17 -COL082_bit18 -COL082_bit19 -COL082_bit2 -COL082_bit3 -COL082_bit4 -COL082_bit5 -COL082_bit6 -COL082_bit7 -COL082_bit8 -COL082_bit9 -COL082_bit_1 -COL082_bit_10 -COL082_bit_2 -COL082_bit_3 -COL082_bit_4 -COL082_bit_5 -COL082_bit_6 -COL082_bit_7 -COL082_bit_8 -COL082_bit_9 -COL083_bit0 -COL083_bit1 -COL083_bit10 -COL083_bit11 -COL083_bit12 -COL083_bit13 -COL083_bit14 -COL083_bit15 -COL083_bit16 -COL083_bit17 -COL083_bit18 -COL083_bit19 -COL083_bit2 -COL083_bit3 -COL083_bit4 -COL083_bit5 -COL083_bit6 -COL083_bit7 -COL083_bit8 -COL083_bit9 -COL083_bit_1 -COL083_bit_10 -COL083_bit_2 -COL083_bit_3 -COL083_bit_4 -COL083_bit_5 -COL083_bit_6 -COL083_bit_7 -COL083_bit_8 -COL083_bit_9 -COL084_bit0 -COL084_bit1 -COL084_bit10 -COL084_bit11 -COL084_bit12 -COL084_bit13 -COL084_bit14 -COL084_bit15 -COL084_bit16 -COL084_bit17 -COL084_bit18 -COL084_bit19 -COL084_bit2 -COL084_bit3 -COL084_bit4 -COL084_bit5 -COL084_bit6 -COL084_bit7 -COL084_bit8 -COL084_bit9 -COL084_bit_1 -COL084_bit_10 -COL084_bit_2 -COL084_bit_3 -COL084_bit_4 -COL084_bit_5 -COL084_bit_6 -COL084_bit_7 -COL084_bit_8 -COL084_bit_9 -COL085_bit0 -COL085_bit1 -COL085_bit10 -COL085_bit11 -COL085_bit12 -COL085_bit13 -COL085_bit14 -COL085_bit15 -COL085_bit16 -COL085_bit17 -COL085_bit18 -COL085_bit19 -COL085_bit2 -COL085_bit3 -COL085_bit4 -COL085_bit5 -COL085_bit6 -COL085_bit7 -COL085_bit8 -COL085_bit9 -COL085_bit_1 -COL085_bit_10 -COL085_bit_2 -COL085_bit_3 -COL085_bit_4 -COL085_bit_5 -COL085_bit_6 -COL085_bit_7 -COL085_bit_8 -COL085_bit_9 -COL086_bit0 -COL086_bit1 -COL086_bit10 -COL086_bit11 -COL086_bit12 -COL086_bit13 -COL086_bit14 -COL086_bit15 -COL086_bit16 -COL086_bit17 -COL086_bit18 -COL086_bit19 -COL086_bit2 -COL086_bit3 -COL086_bit4 -COL086_bit5 -COL086_bit6 -COL086_bit7 -COL086_bit8 -COL086_bit9 -COL086_bit_1 -COL086_bit_10 -COL086_bit_2 -COL086_bit_3 -COL086_bit_4 -COL086_bit_5 -COL086_bit_6 -COL086_bit_7 -COL086_bit_8 -COL086_bit_9 -COL087_bit0 -COL087_bit1 -COL087_bit10 -COL087_bit11 -COL087_bit12 -COL087_bit13 -COL087_bit14 -COL087_bit15 -COL087_bit16 -COL087_bit17 -COL087_bit18 -COL087_bit19 -COL087_bit2 -COL087_bit3 -COL087_bit4 -COL087_bit5 -COL087_bit6 -COL087_bit7 -COL087_bit8 -COL087_bit9 -COL087_bit_1 -COL087_bit_10 -COL087_bit_2 -COL087_bit_3 -COL087_bit_4 -COL087_bit_5 -COL087_bit_6 -COL087_bit_7 -COL087_bit_8 -COL087_bit_9 -COL088_bit0 -COL088_bit1 -COL088_bit10 -COL088_bit11 -COL088_bit12 -COL088_bit13 -COL088_bit14 -COL088_bit15 -COL088_bit16 -COL088_bit17 -COL088_bit18 -COL088_bit19 -COL088_bit2 -COL088_bit3 -COL088_bit4 -COL088_bit5 -COL088_bit6 -COL088_bit7 -COL088_bit8 -COL088_bit9 -COL088_bit_1 -COL088_bit_10 -COL088_bit_2 -COL088_bit_3 -COL088_bit_4 -COL088_bit_5 -COL088_bit_6 -COL088_bit_7 -COL088_bit_8 -COL088_bit_9 -COL089_bit0 -COL089_bit1 -COL089_bit10 -COL089_bit11 -COL089_bit12 -COL089_bit13 -COL089_bit14 -COL089_bit15 -COL089_bit16 -COL089_bit17 -COL089_bit18 -COL089_bit19 -COL089_bit2 -COL089_bit3 -COL089_bit4 -COL089_bit5 -COL089_bit6 -COL089_bit7 -COL089_bit8 -COL089_bit9 -COL089_bit_1 -COL089_bit_10 -COL089_bit_2 -COL089_bit_3 -COL089_bit_4 -COL089_bit_5 -COL089_bit_6 -COL089_bit_7 -COL089_bit_8 -COL089_bit_9 -COL090_bit0 -COL090_bit1 -COL090_bit10 -COL090_bit11 -COL090_bit12 -COL090_bit13 -COL090_bit14 -COL090_bit15 -COL090_bit16 -COL090_bit17 -COL090_bit18 -COL090_bit19 -COL090_bit2 -COL090_bit3 -COL090_bit4 -COL090_bit5 -COL090_bit6 -COL090_bit7 -COL090_bit8 -COL090_bit9 -COL090_bit_1 -COL090_bit_10 -COL090_bit_2 -COL090_bit_3 -COL090_bit_4 -COL090_bit_5 -COL090_bit_6 -COL090_bit_7 -COL090_bit_8 -COL090_bit_9 -COL091_bit0 -COL091_bit1 -COL091_bit10 -COL091_bit11 -COL091_bit12 -COL091_bit13 -COL091_bit14 -COL091_bit15 -COL091_bit16 -COL091_bit17 -COL091_bit18 -COL091_bit19 -COL091_bit2 -COL091_bit3 -COL091_bit4 -COL091_bit5 -COL091_bit6 -COL091_bit7 -COL091_bit8 -COL091_bit9 -COL091_bit_1 -COL091_bit_10 -COL091_bit_2 -COL091_bit_3 -COL091_bit_4 -COL091_bit_5 -COL091_bit_6 -COL091_bit_7 -COL091_bit_8 -COL091_bit_9 -COL092_bit0 -COL092_bit1 -COL092_bit10 -COL092_bit11 -COL092_bit12 -COL092_bit13 -COL092_bit14 -COL092_bit15 -COL092_bit16 -COL092_bit17 -COL092_bit18 -COL092_bit19 -COL092_bit2 -COL092_bit3 -COL092_bit4 -COL092_bit5 -COL092_bit6 -COL092_bit7 -COL092_bit8 -COL092_bit9 -COL092_bit_1 -COL092_bit_10 -COL092_bit_2 -COL092_bit_3 -COL092_bit_4 -COL092_bit_5 -COL092_bit_6 -COL092_bit_7 -COL092_bit_8 -COL092_bit_9 -COL093_bit0 -COL093_bit1 -COL093_bit10 -COL093_bit11 -COL093_bit12 -COL093_bit13 -COL093_bit14 -COL093_bit15 -COL093_bit16 -COL093_bit17 -COL093_bit18 -COL093_bit19 -COL093_bit2 -COL093_bit3 -COL093_bit4 -COL093_bit5 -COL093_bit6 -COL093_bit7 -COL093_bit8 -COL093_bit9 -COL093_bit_1 -COL093_bit_10 -COL093_bit_2 -COL093_bit_3 -COL093_bit_4 -COL093_bit_5 -COL093_bit_6 -COL093_bit_7 -COL093_bit_8 -COL093_bit_9 -COL094_bit0 -COL094_bit1 -COL094_bit10 -COL094_bit11 -COL094_bit12 -COL094_bit13 -COL094_bit14 -COL094_bit15 -COL094_bit16 -COL094_bit17 -COL094_bit18 -COL094_bit19 -COL094_bit2 -COL094_bit3 -COL094_bit4 -COL094_bit5 -COL094_bit6 -COL094_bit7 -COL094_bit8 -COL094_bit9 -COL094_bit_1 -COL094_bit_10 -COL094_bit_2 -COL094_bit_3 -COL094_bit_4 -COL094_bit_5 -COL094_bit_6 -COL094_bit_7 -COL094_bit_8 -COL094_bit_9 -COL095_bit0 -COL095_bit1 -COL095_bit10 -COL095_bit11 -COL095_bit12 -COL095_bit13 -COL095_bit14 -COL095_bit15 -COL095_bit16 -COL095_bit17 -COL095_bit18 -COL095_bit19 -COL095_bit2 -COL095_bit3 -COL095_bit4 -COL095_bit5 -COL095_bit6 -COL095_bit7 -COL095_bit8 -COL095_bit9 -COL095_bit_1 -COL095_bit_10 -COL095_bit_2 -COL095_bit_3 -COL095_bit_4 -COL095_bit_5 -COL095_bit_6 -COL095_bit_7 -COL095_bit_8 -COL095_bit_9 -COL096_bit0 -COL096_bit1 -COL096_bit10 -COL096_bit11 -COL096_bit12 -COL096_bit13 -COL096_bit14 -COL096_bit15 -COL096_bit16 -COL096_bit17 -COL096_bit18 -COL096_bit19 -COL096_bit2 -COL096_bit3 -COL096_bit4 -COL096_bit5 -COL096_bit6 -COL096_bit7 -COL096_bit8 -COL096_bit9 -COL096_bit_1 -COL096_bit_10 -COL096_bit_2 -COL096_bit_3 -COL096_bit_4 -COL096_bit_5 -COL096_bit_6 -COL096_bit_7 -COL096_bit_8 -COL096_bit_9 -COL097_bit0 -COL097_bit1 -COL097_bit10 -COL097_bit11 -COL097_bit12 -COL097_bit13 -COL097_bit14 -COL097_bit15 -COL097_bit16 -COL097_bit17 -COL097_bit18 -COL097_bit19 -COL097_bit2 -COL097_bit3 -COL097_bit4 -COL097_bit5 -COL097_bit6 -COL097_bit7 -COL097_bit8 -COL097_bit9 -COL097_bit_1 -COL097_bit_10 -COL097_bit_2 -COL097_bit_3 -COL097_bit_4 -COL097_bit_5 -COL097_bit_6 -COL097_bit_7 -COL097_bit_8 -COL097_bit_9 -COL098_bit0 -COL098_bit1 -COL098_bit10 -COL098_bit11 -COL098_bit12 -COL098_bit13 -COL098_bit14 -COL098_bit15 -COL098_bit16 -COL098_bit17 -COL098_bit18 -COL098_bit19 -COL098_bit2 -COL098_bit3 -COL098_bit4 -COL098_bit5 -COL098_bit6 -COL098_bit7 -COL098_bit8 -COL098_bit9 -COL098_bit_1 -COL098_bit_10 -COL098_bit_2 -COL098_bit_3 -COL098_bit_4 -COL098_bit_5 -COL098_bit_6 -COL098_bit_7 -COL098_bit_8 -COL098_bit_9 -COL099_bit0 -COL099_bit1 -COL099_bit10 -COL099_bit11 -COL099_bit12 -COL099_bit13 -COL099_bit14 -COL099_bit15 -COL099_bit16 -COL099_bit17 -COL099_bit18 -COL099_bit19 -COL099_bit2 -COL099_bit3 -COL099_bit4 -COL099_bit5 -COL099_bit6 -COL099_bit7 -COL099_bit8 -COL099_bit9 -COL099_bit_1 -COL099_bit_10 -COL099_bit_2 -COL099_bit_3 -COL099_bit_4 -COL099_bit_5 -COL099_bit_6 -COL099_bit_7 -COL099_bit_8 -COL099_bit_9 -COL100_bit0 COL100_bit1 -COL100_bit10 -COL100_bit11 -COL100_bit12 -COL100_bit13 -COL100_bit14 -COL100_bit15 -COL100_bit16 -COL100_bit17 -COL100_bit18 -COL100_bit19 -COL100_bit2 COL100_bit3 COL100_bit4 COL100_bit5 COL100_bit6 COL100_bit7 -COL100_bit8 -COL100_bit9 -COL100_bit_1 -COL100_bit_10 -COL100_bit_2 -COL100_bit_3 -COL100_bit_4 -COL100_bit_5 -COL100_bit_6 -COL100_bit_7 -COL100_bit_8 -COL100_bit_9 -COL101_bit0 -COL101_bit1 -COL101_bit10 -COL101_bit11 -COL101_bit12 -COL101_bit13 -COL101_bit14 -COL101_bit15 -COL101_bit16 -COL101_bit17 -COL101_bit18 -COL101_bit19 -COL101_bit2 -COL101_bit3 -COL101_bit4 -COL101_bit5 -COL101_bit6 -COL101_bit7 -COL101_bit8 -COL101_bit9 -COL101_bit_1 -COL101_bit_10 -COL101_bit_2 -COL101_bit_3 -COL101_bit_4 -COL101_bit_5 -COL101_bit_6 -COL101_bit_7 -COL101_bit_8 -COL101_bit_9 -COL102_bit0 -COL102_bit1 -COL102_bit10 -COL102_bit11 -COL102_bit12 -COL102_bit13 -COL102_bit14 -COL102_bit15 -COL102_bit16 -COL102_bit17 -COL102_bit18 -COL102_bit19 -COL102_bit2 -COL102_bit3 -COL102_bit4 -COL102_bit5 -COL102_bit6 -COL102_bit7 -COL102_bit8 -COL102_bit9 -COL102_bit_1 -COL102_bit_10 -COL102_bit_2 -COL102_bit_3 -COL102_bit_4 -COL102_bit_5 -COL102_bit_6 -COL102_bit_7 -COL102_bit_8 -COL102_bit_9 -COL103_bit0 -COL103_bit1 -COL103_bit10 -COL103_bit11 -COL103_bit12 -COL103_bit13 -COL103_bit14 -COL103_bit15 -COL103_bit16 -COL103_bit17 -COL103_bit18 -COL103_bit19 -COL103_bit2 -COL103_bit3 -COL103_bit4 -COL103_bit5 -COL103_bit6 -COL103_bit7 -COL103_bit8 -COL103_bit9 -COL103_bit_1 -COL103_bit_10 -COL103_bit_2 -COL103_bit_3 -COL103_bit_4 -COL103_bit_5 -COL103_bit_6 -COL103_bit_7 -COL103_bit_8 -COL103_bit_9 -COL104_bit0 -COL104_bit1 -COL104_bit10 -COL104_bit11 -COL104_bit12 -COL104_bit13 -COL104_bit14 -COL104_bit15 -COL104_bit16 -COL104_bit17 -COL104_bit18 -COL104_bit19 COL104_bit2 -COL104_bit3 COL104_bit4 -COL104_bit5 COL104_bit6 -COL104_bit7 COL104_bit8 -COL104_bit9 -COL104_bit_1 -COL104_bit_10 -COL104_bit_2 -COL104_bit_3 -COL104_bit_4 -COL104_bit_5 -COL104_bit_6 -COL104_bit_7 -COL104_bit_8 -COL104_bit_9 -COL105_bit0 -COL105_bit1 -COL105_bit10 -COL105_bit11 -COL105_bit12 -COL105_bit13 -COL105_bit14 -COL105_bit15 -COL105_bit16 -COL105_bit17 -COL105_bit18 -COL105_bit19 -COL105_bit2 -COL105_bit3 -COL105_bit4 -COL105_bit5 -COL105_bit6 -COL105_bit7 -COL105_bit8 -COL105_bit9 -COL105_bit_1 -COL105_bit_10 -COL105_bit_2 -COL105_bit_3 -COL105_bit_4 -COL105_bit_5 -COL105_bit_6 -COL105_bit_7 -COL105_bit_8 -COL105_bit_9 -COL106_bit0 -COL106_bit1 -COL106_bit10 -COL106_bit11 -COL106_bit12 -COL106_bit13 -COL106_bit14 -COL106_bit15 -COL106_bit16 -COL106_bit17 -COL106_bit18 -COL106_bit19 -COL106_bit2 -COL106_bit3 -COL106_bit4 -COL106_bit5 -COL106_bit6 -COL106_bit7 -COL106_bit8 -COL106_bit9 -COL106_bit_1 -COL106_bit_10 -COL106_bit_2 -COL106_bit_3 -COL106_bit_4 -COL106_bit_5 -COL106_bit_6 -COL106_bit_7 -COL106_bit_8 -COL106_bit_9 -COL107_bit0 -COL107_bit1 -COL107_bit10 -COL107_bit11 -COL107_bit12 -COL107_bit13 -COL107_bit14 -COL107_bit15 -COL107_bit16 -COL107_bit17 -COL107_bit18 -COL107_bit19 -COL107_bit2 -COL107_bit3 -COL107_bit4 -COL107_bit5 -COL107_bit6 -COL107_bit7 -COL107_bit8 -COL107_bit9 -COL107_bit_1 -COL107_bit_10 -COL107_bit_2 -COL107_bit_3 -COL107_bit_4 -COL107_bit_5 -COL107_bit_6 -COL107_bit_7 -COL107_bit_8 -COL107_bit_9 -COL108_bit0 -COL108_bit1 -COL108_bit10 -COL108_bit11 -COL108_bit12 -COL108_bit13 -COL108_bit14 -COL108_bit15 -COL108_bit16 -COL108_bit17 -COL108_bit18 -COL108_bit19 -COL108_bit2 -COL108_bit3 -COL108_bit4 -COL108_bit5 -COL108_bit6 -COL108_bit7 -COL108_bit8 -COL108_bit9 -COL108_bit_1 -COL108_bit_10 -COL108_bit_2 -COL108_bit_3 -COL108_bit_4 -COL108_bit_5 -COL108_bit_6 -COL108_bit_7 -COL108_bit_8 -COL108_bit_9 -COL109_bit0 -COL109_bit1 -COL109_bit10 -COL109_bit11 -COL109_bit12 -COL109_bit13 -COL109_bit14 -COL109_bit15 -COL109_bit16 -COL109_bit17 -COL109_bit18 -COL109_bit19 -COL109_bit2 -COL109_bit3 -COL109_bit4 -COL109_bit5 -COL109_bit6 -COL109_bit7 -COL109_bit8 -COL109_bit9 -COL109_bit_1 -COL109_bit_10 -COL109_bit_2 -COL109_bit_3 -COL109_bit_4 -COL109_bit_5 -COL109_bit_6 -COL109_bit_7 -COL109_bit_8 -COL109_bit_9 -COL110_bit0 -COL110_bit1 -COL110_bit10 -COL110_bit11 -COL110_bit12 -COL110_bit13 -COL110_bit14 -COL110_bit15 -COL110_bit16 -COL110_bit17 -COL110_bit18 -COL110_bit19 -COL110_bit2 -COL110_bit3 -COL110_bit4 -COL110_bit5 -COL110_bit6 -COL110_bit7 -COL110_bit8 -COL110_bit9 -COL110_bit_1 -COL110_bit_10 -COL110_bit_2 -COL110_bit_3 -COL110_bit_4 -COL110_bit_5 -COL110_bit_6 -COL110_bit_7 -COL110_bit_8 -COL110_bit_9 -COL111_bit0 -COL111_bit1 -COL111_bit10 -COL111_bit11 -COL111_bit12 -COL111_bit13 -COL111_bit14 -COL111_bit15 -COL111_bit16 -COL111_bit17 -COL111_bit18 -COL111_bit19 -COL111_bit2 -COL111_bit3 -COL111_bit4 -COL111_bit5 -COL111_bit6 -COL111_bit7 -COL111_bit8 -COL111_bit9 -COL111_bit_1 -COL111_bit_10 -COL111_bit_2 -COL111_bit_3 -COL111_bit_4 -COL111_bit_5 -COL111_bit_6 -COL111_bit_7 -COL111_bit_8 -COL111_bit_9 -COL112_bit0 -COL112_bit1 -COL112_bit10 -COL112_bit11 -COL112_bit12 -COL112_bit13 -COL112_bit14 -COL112_bit15 -COL112_bit16 -COL112_bit17 -COL112_bit18 -COL112_bit19 -COL112_bit2 -COL112_bit3 -COL112_bit4 -COL112_bit5 -COL112_bit6 -COL112_bit7 -COL112_bit8 -COL112_bit9 -COL112_bit_1 -COL112_bit_10 -COL112_bit_2 -COL112_bit_3 -COL112_bit_4 -COL112_bit_5 -COL112_bit_6 -COL112_bit_7 -COL112_bit_8 -COL112_bit_9 -COL113_bit0 COL113_bit1 -COL113_bit10 -COL113_bit11 -COL113_bit12 -COL113_bit13 -COL113_bit14 -COL113_bit15 -COL113_bit16 -COL113_bit17 -COL113_bit18 -COL113_bit19 COL113_bit2 -COL113_bit3 COL113_bit4 COL113_bit5 -COL113_bit6 -COL113_bit7 COL113_bit8 -COL113_bit9 -COL113_bit_1 -COL113_bit_10 -COL113_bit_2 -COL113_bit_3 -COL113_bit_4 -COL113_bit_5 -COL113_bit_6 -COL113_bit_7 -COL113_bit_8 -COL113_bit_9 -COL114_bit0 -COL114_bit1 -COL114_bit10 -COL114_bit11 -COL114_bit12 -COL114_bit13 -COL114_bit14 -COL114_bit15 -COL114_bit16 -COL114_bit17 -COL114_bit18 -COL114_bit19 -COL114_bit2 -COL114_bit3 -COL114_bit4 -COL114_bit5 -COL114_bit6 -COL114_bit7 -COL114_bit8 -COL114_bit9 -COL114_bit_1 -COL114_bit_10 -COL114_bit_2 -COL114_bit_3 -COL114_bit_4 -COL114_bit_5 -COL114_bit_6 -COL114_bit_7 -COL114_bit_8 -COL114_bit_9 -COL115_bit0 -COL115_bit1 -COL115_bit10 -COL115_bit11 -COL115_bit12 -COL115_bit13 -COL115_bit14 -COL115_bit15 -COL115_bit16 -COL115_bit17 -COL115_bit18 -COL115_bit19 -COL115_bit2 -COL115_bit3 -COL115_bit4 -COL115_bit5 -COL115_bit6 -COL115_bit7 -COL115_bit8 -COL115_bit9 -COL115_bit_1 -COL115_bit_10 -COL115_bit_2 -COL115_bit_3 -COL115_bit_4 -COL115_bit_5 -COL115_bit_6 -COL115_bit_7 -COL115_bit_8 -COL115_bit_9 -COL116_bit0 -COL116_bit1 -COL116_bit10 -COL116_bit11 -COL116_bit12 -COL116_bit13 -COL116_bit14 -COL116_bit15 -COL116_bit16 -COL116_bit17 -COL116_bit18 -COL116_bit19 -COL116_bit2 -COL116_bit3 -COL116_bit4 -COL116_bit5 -COL116_bit6 -COL116_bit7 -COL116_bit8 -COL116_bit9 -COL116_bit_1 -COL116_bit_10 -COL116_bit_2 -COL116_bit_3 -COL116_bit_4 -COL116_bit_5 -COL116_bit_6 -COL116_bit_7 -COL116_bit_8 -COL116_bit_9 -COL117_bit0 -COL117_bit1 -COL117_bit10 -COL117_bit11 -COL117_bit12 -COL117_bit13 -COL117_bit14 -COL117_bit15 -COL117_bit16 -COL117_bit17 -COL117_bit18 -COL117_bit19 -COL117_bit2 COL117_bit3 -COL117_bit4 -COL117_bit5 COL117_bit6 COL117_bit7 -COL117_bit8 -COL117_bit9 -COL117_bit_1 -COL117_bit_10 -COL117_bit_2 -COL117_bit_3 -COL117_bit_4 -COL117_bit_5 -COL117_bit_6 -COL117_bit_7 -COL117_bit_8 -COL117_bit_9 -COL118_bit0 -COL118_bit1 -COL118_bit10 -COL118_bit11 -COL118_bit12 -COL118_bit13 -COL118_bit14 -COL118_bit15 -COL118_bit16 -COL118_bit17 -COL118_bit18 -COL118_bit19 -COL118_bit2 -COL118_bit3 -COL118_bit4 -COL118_bit5 -COL118_bit6 -COL118_bit7 -COL118_bit8 -COL118_bit9 -COL118_bit_1 -COL118_bit_10 -COL118_bit_2 -COL118_bit_3 -COL118_bit_4 -COL118_bit_5 -COL118_bit_6 -COL118_bit_7 -COL118_bit_8 -COL118_bit_9 -COL119_bit0 -COL119_bit1 -COL119_bit10 -COL119_bit11 -COL119_bit12 -COL119_bit13 -COL119_bit14 -COL119_bit15 -COL119_bit16 -COL119_bit17 -COL119_bit18 -COL119_bit19 -COL119_bit2 -COL119_bit3 -COL119_bit4 -COL119_bit5 -COL119_bit6 -COL119_bit7 -COL119_bit8 -COL119_bit9 -COL119_bit_1 -COL119_bit_10 -COL119_bit_2 -COL119_bit_3 -COL119_bit_4 -COL119_bit_5 -COL119_bit_6 -COL119_bit_7 -COL119_bit_8 -COL119_bit_9 -COL120_bit0 COL120_bit1 -COL120_bit10 -COL120_bit11 -COL120_bit12 -COL120_bit13 -COL120_bit14 -COL120_bit15 -COL120_bit16 -COL120_bit17 -COL120_bit18 -COL120_bit19 -COL120_bit2 -COL120_bit3 COL120_bit4 COL120_bit5 COL120_bit6 -COL120_bit7 COL120_bit8 -COL120_bit9 -COL120_bit_1 -COL120_bit_10 -COL120_bit_2 -COL120_bit_3 -COL120_bit_4 -COL120_bit_5 -COL120_bit_6 -COL120_bit_7 -COL120_bit_8 -COL120_bit_9 -COL121_bit0 -COL121_bit1 -COL121_bit10 -COL121_bit11 -COL121_bit12 -COL121_bit13 -COL121_bit14 -COL121_bit15 -COL121_bit16 -COL121_bit17 -COL121_bit18 -COL121_bit19 -COL121_bit2 -COL121_bit3 -COL121_bit4 -COL121_bit5 -COL121_bit6 -COL121_bit7 -COL121_bit8 -COL121_bit9 -COL121_bit_1 -COL121_bit_10 -COL121_bit_2 -COL121_bit_3 -COL121_bit_4 -COL121_bit_5 -COL121_bit_6 -COL121_bit_7 -COL121_bit_8 -COL121_bit_9 -COL122_bit0 -COL122_bit1 -COL122_bit10 -COL122_bit11 -COL122_bit12 -COL122_bit13 -COL122_bit14 -COL122_bit15 -COL122_bit16 -COL122_bit17 -COL122_bit18 -COL122_bit19 -COL122_bit2 -COL122_bit3 -COL122_bit4 -COL122_bit5 -COL122_bit6 -COL122_bit7 -COL122_bit8 -COL122_bit9 -COL122_bit_1 -COL122_bit_10 -COL122_bit_2 -COL122_bit_3 -COL122_bit_4 -COL122_bit_5 -COL122_bit_6 -COL122_bit_7 -COL122_bit_8 -COL122_bit_9 -COL123_bit0 -COL123_bit1 -COL123_bit10 -COL123_bit11 -COL123_bit12 -COL123_bit13 -COL123_bit14 -COL123_bit15 -COL123_bit16 -COL123_bit17 -COL123_bit18 -COL123_bit19 -COL123_bit2 -COL123_bit3 -COL123_bit4 -COL123_bit5 -COL123_bit6 -COL123_bit7 -COL123_bit8 -COL123_bit9 -COL123_bit_1 -COL123_bit_10 -COL123_bit_2 -COL123_bit_3 -COL123_bit_4 -COL123_bit_5 -COL123_bit_6 -COL123_bit_7 -COL123_bit_8 -COL123_bit_9 -COL124_bit0 -COL124_bit1 -COL124_bit10 -COL124_bit11 -COL124_bit12 -COL124_bit13 -COL124_bit14 -COL124_bit15 -COL124_bit16 -COL124_bit17 -COL124_bit18 -COL124_bit19 -COL124_bit2 -COL124_bit3 -COL124_bit4 -COL124_bit5 -COL124_bit6 -COL124_bit7 -COL124_bit8 -COL124_bit9 -COL124_bit_1 -COL124_bit_10 -COL124_bit_2 -COL124_bit_3 -COL124_bit_4 -COL124_bit_5 -COL124_bit_6 -COL124_bit_7 -COL124_bit_8 -COL124_bit_9 -COL125_bit0 -COL125_bit1 -COL125_bit10 -COL125_bit11 -COL125_bit12 -COL125_bit13 -COL125_bit14 -COL125_bit15 -COL125_bit16 -COL125_bit17 -COL125_bit18 -COL125_bit19 -COL125_bit2 -COL125_bit3 -COL125_bit4 -COL125_bit5 -COL125_bit6 -COL125_bit7 -COL125_bit8 -COL125_bit9 -COL125_bit_1 -COL125_bit_10 -COL125_bit_2 -COL125_bit_3 -COL125_bit_4 -COL125_bit_5 -COL125_bit_6 -COL125_bit_7 -COL125_bit_8 -COL125_bit_9 -COL126_bit0 -COL126_bit1 -COL126_bit10 -COL126_bit11 -COL126_bit12 -COL126_bit13 -COL126_bit14 -COL126_bit15 -COL126_bit16 -COL126_bit17 -COL126_bit18 -COL126_bit19 -COL126_bit2 -COL126_bit3 -COL126_bit4 -COL126_bit5 -COL126_bit6 -COL126_bit7 -COL126_bit8 -COL126_bit9 -COL126_bit_1 -COL126_bit_10 -COL126_bit_2 -COL126_bit_3 -COL126_bit_4 -COL126_bit_5 -COL126_bit_6 -COL126_bit_7 -COL126_bit_8 -COL126_bit_9 -COL127_bit0 -COL127_bit1 -COL127_bit10 -COL127_bit11 -COL127_bit12 -COL127_bit13 -COL127_bit14 -COL127_bit15 -COL127_bit16 -COL127_bit17 -COL127_bit18 -COL127_bit19 -COL127_bit2 -COL127_bit3 -COL127_bit4 -COL127_bit5 -COL127_bit6 -COL127_bit7 -COL127_bit8 -COL127_bit9 -COL127_bit_1 -COL127_bit_10 -COL127_bit_2 -COL127_bit_3 -COL127_bit_4 -COL127_bit_5 -COL127_bit_6 -COL127_bit_7 -COL127_bit_8 -COL127_bit_9 -COL128_bit0 COL128_bit1 -COL128_bit10 -COL128_bit11 -COL128_bit12 -COL128_bit13 -COL128_bit14 -COL128_bit15 -COL128_bit16 -COL128_bit17 -COL128_bit18 -COL128_bit19 -COL128_bit2 COL128_bit3 -COL128_bit4 COL128_bit5 COL128_bit6 COL128_bit7 COL128_bit8 -COL128_bit9 -COL128_bit_1 -COL128_bit_10 -COL128_bit_2 -COL128_bit_3 -COL128_bit_4 -COL128_bit_5 -COL128_bit_6 -COL128_bit_7 -COL128_bit_8 -COL128_bit_9 COL129_bit0 COL130_bit0 COL131_bit0 -COL131_bit1 -COL131_bit10 -COL131_bit11 -COL131_bit12 -COL131_bit13 -COL131_bit14 -COL131_bit15 -COL131_bit16 -COL131_bit17 -COL131_bit18 -COL131_bit19 -COL131_bit2 COL131_bit20 -COL131_bit3 -COL131_bit4 -COL131_bit5 -COL131_bit6 -COL131_bit7 -COL131_bit8 -COL131_bit9 -COL131_bit_1 -COL131_bit_10 -COL131_bit_2 -COL131_bit_3 -COL131_bit_4 -COL131_bit_5 -COL131_bit_6 -COL131_bit_7 -COL131_bit_8 -COL131_bit_9 -COL132_bit0 -COL132_bit1 -COL132_bit10 -COL132_bit11 -COL132_bit12 -COL132_bit13 -COL132_bit14 -COL132_bit15 -COL132_bit16 -COL132_bit17 -COL132_bit18 -COL132_bit19 -COL132_bit2 COL132_bit20 -COL132_bit3 -COL132_bit4 -COL132_bit5 -COL132_bit6 -COL132_bit7 -COL132_bit8 -COL132_bit9 -COL132_bit_1 -COL132_bit_10 -COL132_bit_2 -COL132_bit_3 -COL132_bit_4 -COL132_bit_5 -COL132_bit_6 -COL132_bit_7 -COL132_bit_8 -COL132_bit_9 COL133_bit0 -COL133_bit1 -COL133_bit10 COL133_bit11 -COL133_bit12 -COL133_bit13 -COL133_bit14 -COL133_bit15 -COL133_bit16 -COL133_bit17 -COL133_bit18 -COL133_bit19 -COL133_bit2 COL133_bit20 COL133_bit3 COL133_bit4 COL133_bit5 COL133_bit6 COL133_bit7 COL133_bit8 COL133_bit9 -COL133_bit_1 -COL133_bit_10 -COL133_bit_2 -COL133_bit_3 -COL133_bit_4 -COL133_bit_5 -COL133_bit_6 -COL133_bit_7 -COL133_bit_8 -COL133_bit_9 COL134_bit0 COL134_bit1 COL134_bit10 -COL134_bit11 -COL134_bit12 -COL134_bit13 -COL134_bit14 -COL134_bit15 -COL134_bit16 -COL134_bit17 -COL134_bit18 -COL134_bit19 -COL134_bit2 COL134_bit20 -COL134_bit3 -COL134_bit4 COL134_bit5 -COL134_bit6 COL134_bit7 -COL134_bit8 COL134_bit9 -COL134_bit_1 -COL134_bit_10 -COL134_bit_2 -COL134_bit_3 -COL134_bit_4 -COL134_bit_5 -COL134_bit_6 -COL134_bit_7 -COL134_bit_8 -COL134_bit_9 COL135_bit0 -COL135_bit1 -COL135_bit10 -COL135_bit11 -COL135_bit12 -COL135_bit13 -COL135_bit14 -COL135_bit15 -COL135_bit16 -COL135_bit17 -COL135_bit18 -COL135_bit19 -COL135_bit2 COL135_bit20 -COL135_bit3 COL135_bit4 COL135_bit5 -COL135_bit6 COL135_bit7 COL135_bit8 COL135_bit9 -COL135_bit_1 -COL135_bit_10 -COL135_bit_2 -COL135_bit_3 -COL135_bit_4 -COL135_bit_5 -COL135_bit_6 -COL135_bit_7 -COL135_bit_8 -COL135_bit_9 COL136_bit0 COL136_bit1 -COL136_bit10 -COL136_bit11 -COL136_bit12 -COL136_bit13 -COL136_bit14 -COL136_bit15 -COL136_bit16 -COL136_bit17 -COL136_bit18 -COL136_bit19 -COL136_bit2 COL136_bit20 -COL136_bit3 -COL136_bit4 COL136_bit5 -COL136_bit6 COL136_bit7 COL136_bit8 -COL136_bit9 -COL136_bit_1 -COL136_bit_10 -COL136_bit_2 -COL136_bit_3 -COL136_bit_4 -COL136_bit_5 -COL136_bit_6 -COL136_bit_7 -COL136_bit_8 -COL136_bit_9 
#### 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.90 0.95 0.90 2/55 19874
Raw data (stat): 19874 (runsolver) R 19873 29618 29617 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 864729352 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0005 s]
Raw data (loadavg): 0.92 0.95 0.90 2/55 19874
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 29060 0 0 0 936 63 0 0 25 0 1 0 864729352 85536768 18142 4294967295 134512640 135726644 3221224576 3221194308 135277617 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 20883 18142 300 300 0 20583 0
vsize: 83532
[startup+20.0019 s]
Raw data (loadavg): 0.93 0.95 0.91 2/55 19876
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 54045 0 0 0 1883 116 0 0 25 0 1 0 864729352 155983872 32162 4294967295 134512640 135726644 3221224576 3221205208 135280655 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38082 32162 300 300 0 37782 0
vsize: 152328
[startup+30.0033 s]
Raw data (loadavg): 0.94 0.95 0.91 2/55 19876
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 62176 0 0 0 2864 135 0 0 25 0 1 0 864729352 168448000 37603 4294967295 134512640 135726644 3221224576 3221223072 134743961 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41125 37603 300 300 0 40825 0
vsize: 164500
[startup+40.0032 s]
Raw data (loadavg): 0.95 0.95 0.91 2/55 19876
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 63978 0 0 0 3859 140 0 0 25 0 1 0 864729352 170815488 37973 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41703 37973 300 300 0 41403 0
vsize: 166812
[startup+50.0036 s]
Raw data (loadavg): 0.96 0.95 0.91 2/55 19876
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 65014 0 0 0 4856 143 0 0 25 0 1 0 864729352 170815488 38033 4294967295 134512640 135726644 3221224576 3221223072 134744117 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41703 38033 300 300 0 41403 0
vsize: 166812
[startup+60.0041 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 19876
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 67193 0 0 0 5850 149 0 0 25 0 1 0 864729352 171339776 38130 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41831 38130 300 300 0 41531 0
vsize: 167324
[startup+70.005 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 19876
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 69168 0 0 0 6846 154 0 0 25 0 1 0 864729352 171474944 38153 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41864 38153 300 300 0 41564 0
vsize: 167456
[startup+80.0064 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 19878
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 71409 0 0 0 7840 160 0 0 25 0 1 0 864729352 172261376 38248 4294967295 134512640 135726644 3221224576 3221222824 135282491 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42056 38248 300 300 0 41756 0
vsize: 168224
[startup+90.0069 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 19878
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 72104 0 0 0 8838 161 0 0 25 0 1 0 864729352 174239744 38491 4294967295 134512640 135726644 3221224576 3221223200 134744616 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42539 38491 300 300 0 42239 0
vsize: 170156
[startup+100.007 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 19878
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 72412 0 0 0 9837 163 0 0 25 0 1 0 864729352 174915584 38670 4294967295 134512640 135726644 3221224576 3221222824 135282491 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42704 38670 300 300 0 42404 0
vsize: 170816
[startup+110.008 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 19878
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 72444 0 0 0 10836 163 0 0 25 0 1 0 864729352 174915584 38702 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42704 38702 300 300 0 42404 0
vsize: 170816
[startup+120.009 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 19878
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 72565 0 0 0 11836 164 0 0 25 0 1 0 864729352 175177728 38758 4294967295 134512640 135726644 3221224576 3221223232 134745088 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42768 38758 300 300 0 42468 0
vsize: 171072
[startup+130.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 19878
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 72571 0 0 0 12836 164 0 0 25 0 1 0 864729352 175177728 38764 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42768 38764 300 300 0 42468 0
vsize: 171072
[startup+140.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 19880
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 72775 0 0 0 13835 165 0 0 25 0 1 0 864729352 175702016 38839 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42896 38839 300 300 0 42596 0
vsize: 171584
[startup+150.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 19880
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 72885 0 0 0 14836 165 0 0 25 0 1 0 864729352 175702016 38949 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42896 38949 300 300 0 42596 0
vsize: 171584
[startup+160.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19880
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 72891 0 0 0 15836 165 0 0 25 0 1 0 864729352 175702016 38955 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42896 38955 300 300 0 42596 0
vsize: 171584
[startup+170.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19880
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 72897 0 0 0 16836 165 0 0 25 0 1 0 864729352 175702016 38961 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42896 38961 300 300 0 42596 0
vsize: 171584
[startup+180.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19880
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 73050 0 0 0 17836 165 0 0 25 0 1 0 864729352 176226304 38985 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43024 38985 300 300 0 42724 0
vsize: 172096
[startup+190.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19880
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 73063 0 0 0 18836 165 0 0 25 0 1 0 864729352 176353280 38998 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43055 38998 300 300 0 42755 0
vsize: 172220
[startup+200.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19882
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 73068 0 0 0 19836 165 0 0 25 0 1 0 864729352 176353280 39003 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43055 39003 300 300 0 42755 0
vsize: 172220
[startup+210.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19882
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 73075 0 0 0 20836 166 0 0 25 0 1 0 864729352 176353280 39010 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43055 39010 300 300 0 42755 0
vsize: 172220
[startup+220.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19882
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 73086 0 0 0 21837 166 0 0 25 0 1 0 864729352 176353280 39021 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43055 39021 300 300 0 42755 0
vsize: 172220
[startup+230.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19882
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 73091 0 0 0 22837 166 0 0 25 0 1 0 864729352 176353280 39026 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43055 39026 300 300 0 42755 0
vsize: 172220
[startup+240.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19882
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 73100 0 0 0 23837 166 0 0 25 0 1 0 864729352 176353280 39035 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43055 39035 300 300 0 42755 0
vsize: 172220
[startup+250.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19882
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 73105 0 0 0 24838 166 0 0 25 0 1 0 864729352 176353280 39040 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43055 39040 300 300 0 42755 0
vsize: 172220
[startup+260.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19884
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 73110 0 0 0 25838 166 0 0 25 0 1 0 864729352 176353280 39045 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43055 39045 300 300 0 42755 0
vsize: 172220
[startup+270.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19884
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 73116 0 0 0 26838 166 0 0 25 0 1 0 864729352 176353280 39051 4294967295 134512640 135726644 3221224576 3221223168 134760424 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43055 39051 300 300 0 42755 0
vsize: 172220
[startup+280.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19884
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 73126 0 0 0 27838 166 0 0 25 0 1 0 864729352 176353280 39061 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43055 39061 300 300 0 42755 0
vsize: 172220
[startup+290.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19884
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 73164 0 0 0 28838 166 0 0 25 0 1 0 864729352 176353280 39099 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43055 39099 300 300 0 42755 0
vsize: 172220
[startup+300.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19884
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 73191 0 0 0 29838 166 0 0 25 0 1 0 864729352 176353280 39126 4294967295 134512640 135726644 3221224576 3221223168 134760424 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43055 39126 300 300 0 42755 0
vsize: 172220
[startup+310.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19884
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 73923 0 0 0 30837 168 0 0 25 0 1 0 864729352 181399552 39601 4294967295 134512640 135726644 3221224576 3221223072 134763605 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44287 39609 300 300 0 43987 0
vsize: 177148
[startup+320.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19886
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 74562 0 0 0 31835 169 0 0 25 0 1 0 864729352 177401856 39264 4294967295 134512640 135726644 3221224576 3221223072 134744025 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43311 39264 300 300 0 43011 0
vsize: 173244
[startup+330.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19886
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 75555 0 0 0 32832 172 0 0 25 0 1 0 864729352 177401856 39281 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43311 39281 300 300 0 43011 0
vsize: 173244
[startup+340.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19886
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 75564 0 0 0 33832 172 0 0 25 0 1 0 864729352 177401856 39290 4294967295 134512640 135726644 3221224576 3221223072 134744046 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43311 39290 300 300 0 43011 0
vsize: 173244
[startup+350.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19886
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 75570 0 0 0 34833 172 0 0 25 0 1 0 864729352 177401856 39296 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43311 39296 300 300 0 43011 0
vsize: 173244
[startup+360.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19886
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 75610 0 0 0 35833 172 0 0 25 0 1 0 864729352 177401856 39336 4294967295 134512640 135726644 3221224576 3221223056 134729253 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43311 39336 300 300 0 43011 0
vsize: 173244
[startup+370.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19886
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 75619 0 0 0 36833 172 0 0 25 0 1 0 864729352 177401856 39345 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43311 39345 300 300 0 43011 0
vsize: 173244
[startup+380.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19888
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 75630 0 0 0 37833 173 0 0 25 0 1 0 864729352 177401856 39356 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43311 39356 300 300 0 43011 0
vsize: 173244
[startup+390.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19888
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 75644 0 0 0 38835 173 0 0 25 0 1 0 864729352 177401856 39370 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43311 39370 300 300 0 43011 0
vsize: 173244
[startup+400.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19888
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 75656 0 0 0 39835 173 0 0 25 0 1 0 864729352 177401856 39382 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43311 39382 300 300 0 43011 0
vsize: 173244
[startup+410.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19888
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 75663 0 0 0 40835 173 0 0 25 0 1 0 864729352 177401856 39389 4294967295 134512640 135726644 3221224576 3221223072 134744069 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43311 39389 300 300 0 43011 0
vsize: 173244
[startup+420.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19888
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 75671 0 0 0 41836 173 0 0 25 0 1 0 864729352 177401856 39397 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43311 39397 300 300 0 43011 0
vsize: 173244
[startup+430.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19888
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 75684 0 0 0 42837 173 0 0 25 0 1 0 864729352 177401856 39410 4294967295 134512640 135726644 3221224576 3221223168 134743857 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43311 39410 300 300 0 43011 0
vsize: 173244
[startup+440.072 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19890
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 75692 0 0 0 43837 173 0 0 25 0 1 0 864729352 177401856 39418 4294967295 134512640 135726644 3221224576 3221223120 134736726 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43311 39418 300 300 0 43011 0
vsize: 173244
[startup+450.071 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19890
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 75702 0 0 0 44837 173 0 0 25 0 1 0 864729352 177401856 39428 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43311 39428 300 300 0 43011 0
vsize: 173244
[startup+460.073 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19890
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 75727 0 0 0 45838 173 0 0 25 0 1 0 864729352 177401856 39453 4294967295 134512640 135726644 3221224576 3221223072 134743999 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43311 39453 300 300 0 43011 0
vsize: 173244
[startup+470.074 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19890
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 75955 0 0 0 46837 174 0 0 25 0 1 0 864729352 178286592 39618 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43527 39618 300 300 0 43227 0
vsize: 174108
[startup+480.074 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19890
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 78564 0 0 0 47833 178 0 0 25 0 1 0 864729352 186871808 41020 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45623 41020 300 300 0 45323 0
vsize: 182492
[startup+490.082 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19890
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 80276 0 0 0 48831 181 0 0 25 0 1 0 864729352 192442368 41997 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46983 41997 300 300 0 46683 0
vsize: 187932
[startup+500.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19892
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 80750 0 0 0 49831 182 0 0 25 0 1 0 864729352 193896448 42209 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47338 42209 300 300 0 47038 0
vsize: 189352
[startup+510.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19892
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 80756 0 0 0 50831 182 0 0 25 0 1 0 864729352 193896448 42215 4294967295 134512640 135726644 3221224576 3221222912 134735629 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47338 42215 300 300 0 47038 0
vsize: 189352
[startup+520.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19892
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 80762 0 0 0 51831 182 0 0 25 0 1 0 864729352 193896448 42221 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47338 42221 300 300 0 47038 0
vsize: 189352
[startup+530.092 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19892
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 80770 0 0 0 52831 182 0 0 25 0 1 0 864729352 193896448 42229 4294967295 134512640 135726644 3221224576 3221223200 134744606 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47338 42229 300 300 0 47038 0
vsize: 189352
[startup+540.092 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19892
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 80778 0 0 0 53832 182 0 0 25 0 1 0 864729352 193896448 42237 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47338 42237 300 300 0 47038 0
vsize: 189352
[startup+550.092 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19892
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 80785 0 0 0 54832 183 0 0 25 0 1 0 864729352 193896448 42244 4294967295 134512640 135726644 3221224576 3221222648 135280760 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47338 42244 300 300 0 47038 0
vsize: 189352
[startup+560.093 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19894
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 80807 0 0 0 55832 183 0 0 25 0 1 0 864729352 193896448 42266 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47338 42266 300 300 0 47038 0
vsize: 189352
[startup+570.094 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19894
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 80817 0 0 0 56832 183 0 0 25 0 1 0 864729352 193896448 42276 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47338 42276 300 300 0 47038 0
vsize: 189352
[startup+580.095 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19894
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 80824 0 0 0 57832 183 0 0 25 0 1 0 864729352 193896448 42283 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47338 42283 300 300 0 47038 0
vsize: 189352
[startup+590.095 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19894
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 80835 0 0 0 58832 183 0 0 25 0 1 0 864729352 193896448 42294 4294967295 134512640 135726644 3221224576 3221223072 134744069 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47338 42294 300 300 0 47038 0
vsize: 189352
[startup+600.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19894
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 80842 0 0 0 59833 183 0 0 25 0 1 0 864729352 193896448 42301 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47338 42301 300 300 0 47038 0
vsize: 189352
[startup+610.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19894
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 81828 0 0 0 60830 186 0 0 25 0 1 0 864729352 194084864 42311 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47384 42311 300 300 0 47084 0
vsize: 189536
[startup+620.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19896
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 81840 0 0 0 61830 186 0 0 25 0 1 0 864729352 194084864 42323 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47384 42323 300 300 0 47084 0
vsize: 189536
[startup+630.101 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19896
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 81840 0 0 0 62830 186 0 0 25 0 1 0 864729352 194084864 42323 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47384 42323 300 300 0 47084 0
vsize: 189536
[startup+640.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19896
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 81847 0 0 0 63831 186 0 0 25 0 1 0 864729352 194084864 42330 4294967295 134512640 135726644 3221224576 3221222904 134735633 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47384 42330 300 300 0 47084 0
vsize: 189536
[startup+650.109 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19896
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 81862 0 0 0 64831 186 0 0 25 0 1 0 864729352 194084864 42345 4294967295 134512640 135726644 3221224576 3221223072 134743928 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47384 42345 300 300 0 47084 0
vsize: 189536
[startup+660.109 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19896
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 81870 0 0 0 65831 186 0 0 25 0 1 0 864729352 194084864 42353 4294967295 134512640 135726644 3221224576 3221223168 134760010 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47384 42353 300 300 0 47084 0
vsize: 189536
[startup+670.113 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19896
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 81880 0 0 0 66832 186 0 0 25 0 1 0 864729352 194084864 42363 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47384 42363 300 300 0 47084 0
vsize: 189536
[startup+680.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19898
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 81889 0 0 0 67833 186 0 0 25 0 1 0 864729352 194084864 42372 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47384 42372 300 300 0 47084 0
vsize: 189536
[startup+690.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19898
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 81896 0 0 0 68833 186 0 0 25 0 1 0 864729352 194084864 42379 4294967295 134512640 135726644 3221224576 3221223072 134744113 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47384 42379 300 300 0 47084 0
vsize: 189536
[startup+700.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19898
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 81907 0 0 0 69832 186 0 0 25 0 1 0 864729352 194084864 42390 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47384 42390 300 300 0 47084 0
vsize: 189536
[startup+710.123 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19898
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 81919 0 0 0 70833 187 0 0 25 0 1 0 864729352 194084864 42402 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47384 42402 300 300 0 47084 0
vsize: 189536
[startup+720.122 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19898
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 81929 0 0 0 71833 187 0 0 25 0 1 0 864729352 194084864 42412 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47384 42412 300 300 0 47084 0
vsize: 189536
[startup+730.123 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19898
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 81939 0 0 0 72833 187 0 0 25 0 1 0 864729352 194084864 42422 4294967295 134512640 135726644 3221224576 3221223072 134744377 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47384 42422 300 300 0 47084 0
vsize: 189536
[startup+740.125 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19900
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 81955 0 0 0 73833 187 0 0 25 0 1 0 864729352 194084864 42438 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47384 42438 300 300 0 47084 0
vsize: 189536
[startup+750.124 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19900
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 81974 0 0 0 74833 187 0 0 25 0 1 0 864729352 194084864 42457 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47384 42457 300 300 0 47084 0
vsize: 189536
[startup+760.125 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19900
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 81992 0 0 0 75833 187 0 0 25 0 1 0 864729352 194084864 42475 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47384 42475 300 300 0 47084 0
vsize: 189536
[startup+770.126 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19900
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 82001 0 0 0 76833 188 0 0 25 0 1 0 864729352 194084864 42484 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47384 42484 300 300 0 47084 0
vsize: 189536
[startup+780.126 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19900
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 82011 0 0 0 77833 188 0 0 25 0 1 0 864729352 194084864 42494 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47384 42494 300 300 0 47084 0
vsize: 189536
[startup+790.126 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19900
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 82288 0 0 0 78833 188 0 0 25 0 1 0 864729352 194801664 42706 4294967295 134512640 135726644 3221224576 3221223168 134760424 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47559 42706 300 300 0 47259 0
vsize: 190236
[startup+800.127 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19902
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 82298 0 0 0 79833 188 0 0 25 0 1 0 864729352 194801664 42716 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47559 42716 300 300 0 47259 0
vsize: 190236
[startup+810.127 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19902
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 82306 0 0 0 80833 188 0 0 25 0 1 0 864729352 194801664 42724 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47559 42724 300 300 0 47259 0
vsize: 190236
[startup+820.127 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19902
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 82311 0 0 0 81833 189 0 0 25 0 1 0 864729352 194801664 42729 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47559 42729 300 300 0 47259 0
vsize: 190236
[startup+830.128 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19902
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 82319 0 0 0 82833 189 0 0 25 0 1 0 864729352 194801664 42737 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47559 42737 300 300 0 47259 0
vsize: 190236
[startup+840.129 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19902
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 82329 0 0 0 83833 189 0 0 25 0 1 0 864729352 194801664 42747 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47559 42747 300 300 0 47259 0
vsize: 190236
[startup+850.129 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19902
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 82338 0 0 0 84833 189 0 0 25 0 1 0 864729352 194801664 42756 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47559 42756 300 300 0 47259 0
vsize: 190236
[startup+860.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19904
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 82344 0 0 0 85833 189 0 0 25 0 1 0 864729352 194801664 42762 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47559 42762 300 300 0 47259 0
vsize: 190236
[startup+870.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19904
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 82354 0 0 0 86834 189 0 0 25 0 1 0 864729352 194801664 42772 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47559 42772 300 300 0 47259 0
vsize: 190236
[startup+880.131 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19904
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 82365 0 0 0 87834 189 0 0 25 0 1 0 864729352 194801664 42783 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47559 42783 300 300 0 47259 0
vsize: 190236
[startup+890.132 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19904
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 82376 0 0 0 88834 189 0 0 25 0 1 0 864729352 194801664 42794 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47559 42794 300 300 0 47259 0
vsize: 190236
[startup+900.131 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19904
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 82387 0 0 0 89834 189 0 0 25 0 1 0 864729352 194801664 42805 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47559 42805 300 300 0 47259 0
vsize: 190236
[startup+910.131 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19904
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 83370 0 0 0 90831 192 0 0 25 0 1 0 864729352 194801664 42812 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47559 42812 300 300 0 47259 0
vsize: 190236
[startup+920.131 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19906
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 83381 0 0 0 91831 192 0 0 25 0 1 0 864729352 194801664 42823 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47559 42823 300 300 0 47259 0
vsize: 190236
[startup+930.132 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19906
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 83395 0 0 0 92831 192 0 0 25 0 1 0 864729352 194801664 42837 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47559 42837 300 300 0 47259 0
vsize: 190236
[startup+940.132 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19906
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 83405 0 0 0 93831 192 0 0 25 0 1 0 864729352 194801664 42847 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47559 42847 300 300 0 47259 0
vsize: 190236
[startup+950.132 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19906
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 83419 0 0 0 94831 192 0 0 25 0 1 0 864729352 194801664 42861 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47559 42861 300 300 0 47259 0
vsize: 190236
[startup+960.133 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19906
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 83441 0 0 0 95832 192 0 0 25 0 1 0 864729352 194801664 42883 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47559 42883 300 300 0 47259 0
vsize: 190236
[startup+970.133 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19906
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 83450 0 0 0 96832 192 0 0 25 0 1 0 864729352 194801664 42892 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47559 42892 300 300 0 47259 0
vsize: 190236
[startup+980.133 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19908
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 83460 0 0 0 97832 193 0 0 25 0 1 0 864729352 194801664 42902 4294967295 134512640 135726644 3221224576 3221223168 134760424 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47559 42902 300 300 0 47259 0
vsize: 190236
[startup+990.134 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19908
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 83471 0 0 0 98832 193 0 0 25 0 1 0 864729352 194801664 42913 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 47559 42913 300 300 0 47259 0
vsize: 190236
[startup+1000.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19908
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 83479 0 0 0 99831 193 0 0 25 0 1 0 864729352 194801664 42921 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 47559 42921 300 300 0 47259 0
vsize: 190236
[startup+1010.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19908
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 83486 0 0 0 100831 193 0 0 25 0 1 0 864729352 194801664 42928 4294967295 134512640 135726644 3221224576 3221223072 134744117 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47559 42928 300 300 0 47259 0
vsize: 190236
[startup+1020.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19908
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 83974 0 0 0 101830 193 0 0 25 0 1 0 864729352 195985408 43188 4294967295 134512640 135726644 3221224576 3221223072 134744069 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47848 43188 300 300 0 47548 0
vsize: 191392
[startup+1030.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19908
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 84311 0 0 0 102830 194 0 0 25 0 1 0 864729352 197038080 43331 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48105 43331 300 300 0 47805 0
vsize: 192420
[startup+1040.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19910
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 84320 0 0 0 103830 194 0 0 25 0 1 0 864729352 197038080 43340 4294967295 134512640 135726644 3221224576 3221223072 134744382 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48105 43340 300 300 0 47805 0
vsize: 192420
[startup+1050.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19910
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 84328 0 0 0 104830 194 0 0 25 0 1 0 864729352 197038080 43348 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48105 43348 300 300 0 47805 0
vsize: 192420
[startup+1060.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19910
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 84338 0 0 0 105830 194 0 0 25 0 1 0 864729352 197038080 43358 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48105 43358 300 300 0 47805 0
vsize: 192420
[startup+1070.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19910
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 84351 0 0 0 106830 195 0 0 25 0 1 0 864729352 197038080 43371 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48105 43371 300 300 0 47805 0
vsize: 192420
[startup+1080.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19910
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 84358 0 0 0 107830 195 0 0 25 0 1 0 864729352 197038080 43378 4294967295 134512640 135726644 3221224576 3221223232 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48105 43378 300 300 0 47805 0
vsize: 192420
[startup+1090.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19910
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 84367 0 0 0 108830 195 0 0 25 0 1 0 864729352 197038080 43387 4294967295 134512640 135726644 3221224576 3221223072 134744056 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48105 43387 300 300 0 47805 0
vsize: 192420
[startup+1100.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19912
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 84378 0 0 0 109831 195 0 0 25 0 1 0 864729352 197038080 43398 4294967295 134512640 135726644 3221224576 3221223072 134744235 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48105 43398 300 300 0 47805 0
vsize: 192420
[startup+1110.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19912
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 84388 0 0 0 110831 195 0 0 25 0 1 0 864729352 197038080 43408 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48105 43408 300 300 0 47805 0
vsize: 192420
[startup+1120.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19912
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 84699 0 0 0 111830 195 0 0 25 0 1 0 864729352 198086656 43462 4294967295 134512640 135726644 3221224576 3221223188 134744633 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48361 43462 300 300 0 48061 0
vsize: 193444
[startup+1130.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19912
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 84727 0 0 0 112830 195 0 0 25 0 1 0 864729352 198086656 43490 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48361 43490 300 300 0 48061 0
vsize: 193444
[startup+1140.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19912
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 84737 0 0 0 113831 195 0 0 25 0 1 0 864729352 198086656 43500 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48361 43500 300 300 0 48061 0
vsize: 193444
[startup+1150.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19912
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 84748 0 0 0 114831 195 0 0 25 0 1 0 864729352 198086656 43511 4294967295 134512640 135726644 3221224576 3221223180 134744139 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48361 43511 300 300 0 48061 0
vsize: 193444
[startup+1160.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19914
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 84755 0 0 0 115831 195 0 0 25 0 1 0 864729352 198086656 43518 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48361 43518 300 300 0 48061 0
vsize: 193444
[startup+1170.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19914
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 84764 0 0 0 116831 196 0 0 25 0 1 0 864729352 198086656 43527 4294967295 134512640 135726644 3221224576 3221223168 134743857 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48361 43527 300 300 0 48061 0
vsize: 193444
[startup+1180.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19914
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 84776 0 0 0 117831 196 0 0 25 0 1 0 864729352 198086656 43539 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48361 43539 300 300 0 48061 0
vsize: 193444
[startup+1190.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19914
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 84784 0 0 0 118831 196 0 0 25 0 1 0 864729352 198086656 43547 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48361 43547 300 300 0 48061 0
vsize: 193444
[startup+1200.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19914
Raw data (stat): 19874 (pb2sat) R 19873 29618 29617 0 -1 0 84795 0 0 0 119832 196 0 0 25 0 1 0 864729352 198086656 43558 4294967295 134512640 135726644 3221224576 3221223072 134744022 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48361 43558 300 300 0 48061 0
vsize: 193444
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1201.62 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 19914
Raw data (stat): 19874 (pb2sat) Z 19873 29618 29617 0 -1 12 84796 0 0 0 119970 205 0 0 25 0 1 0 864729352 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 10
Real time (s): 1201.62
CPU time (s): 1201.76
CPU user time (s): 1199.7
CPU system time (s): 2.05169
CPU usage (%): 100.011
Max. virtual memory (Kb): 193444
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	1076880384
#### END VERIFIER DATA ####