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 42418

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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:        697312 kB
Buffers:         33428 kB
Cached:         279812 kB
SwapCached:       1192 kB
Active:          40076 kB
Inactive:       275520 kB
HighTotal:      131008 kB
HighFree:          364 kB
LowTotal:       903652 kB
LowFree:        696948 kB
SwapTotal:     2097136 kB
SwapFree:      2094880 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5364 kB
Slab:            16068 kB
Committed_AS:    92708 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 07:12:50 (client local time) WITH STATUS 10 IN 1201.64 SECONDS
stats: 25623 0 1201.64 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
c got solution with objective value: 1077049856
c small objective detected
c [startup+30.7814 s]  setting bit 30 to 0
c [startup+33.3273 s]  setting bit 29 to 0
c [startup+35.7983 s]  setting bit 28 to 0
c [startup+38.2713 s]  setting bit 27 to 0
c [startup+40.751 s]  setting bit 26 to 0
c [startup+43.2266 s]  setting bit 25 to 0
c [startup+45.7085 s]  setting bit 24 to 0
c [startup+48.1892 s]  setting bit 23 to 0
c [startup+50.6737 s]  setting bit 22 to 0
c [startup+53.8077 s]  setting bit 21 to 0
c [startup+584.633 s]  setting bit 20 to 0

c Decision: 96506/499542	Time: 608.999/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.93 0.90 2/55 15390
Raw data (stat): 15390 (runsolver) R 15389 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 911893231 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.93 0.90 2/55 15390
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 29050 0 0 0 939 60 0 0 25 0 1 0 911893231 85442560 18131 4294967295 134512640 135730672 3221224576 3221220832 135284046 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 20860 18131 301 301 0 20559 0
vsize: 83440
[startup+20.0004 s]
Raw data (loadavg): 0.93 0.94 0.91 2/55 15390
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 53059 0 0 0 1889 110 0 0 25 0 1 0 911893231 156024832 31193 4294967295 134512640 135730672 3221224576 3221141504 134546591 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38092 31193 301 301 0 37791 0
vsize: 152368
[startup+30.0011 s]
Raw data (loadavg): 0.94 0.94 0.91 2/55 15390
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 63157 0 0 0 2866 133 0 0 25 0 1 0 911893231 172408832 37549 4294967295 134512640 135730672 3221224576 3221222672 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42092 37549 301 301 0 41791 0
vsize: 168368
[startup+40.0009 s]
Raw data (loadavg): 0.95 0.94 0.91 2/55 15390
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 67126 0 0 0 3856 143 0 0 25 0 1 0 911893231 172408832 37614 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42092 37614 301 301 0 41791 0
vsize: 168368
[startup+50.0017 s]
Raw data (loadavg): 0.96 0.94 0.91 2/55 15390
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 71033 0 0 0 4847 153 0 0 25 0 1 0 911893231 172408832 37617 4294967295 134512640 135730672 3221224576 3221222864 134747477 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42092 37617 301 301 0 41791 0
vsize: 168368
[startup+60.002 s]
Raw data (loadavg): 0.96 0.94 0.91 2/55 15390
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 73968 0 0 0 5840 160 0 0 25 0 1 0 911893231 175386624 38178 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42819 38178 301 301 0 42518 0
vsize: 171276
[startup+70.0023 s]
Raw data (loadavg): 0.97 0.94 0.91 2/55 15390
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 74816 0 0 0 6839 161 0 0 25 0 1 0 911893231 177352704 38540 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43299 38540 301 301 0 42998 0
vsize: 173196
[startup+80.0031 s]
Raw data (loadavg): 0.97 0.94 0.91 2/55 15390
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 75032 0 0 0 7838 162 0 0 25 0 1 0 911893231 177876992 38627 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43427 38627 301 301 0 43126 0
vsize: 173708
[startup+90.0028 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 15390
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 75106 0 0 0 8838 162 0 0 25 0 1 0 911893231 178020352 38701 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43462 38701 301 301 0 43161 0
vsize: 173848
[startup+100.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 15390
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 75137 0 0 0 9838 162 0 0 25 0 1 0 911893231 178155520 38732 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43495 38732 301 301 0 43194 0
vsize: 173980
[startup+110.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 15390
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 76464 0 0 0 10836 165 0 0 25 0 1 0 911893231 182874112 39560 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44647 39560 301 301 0 44346 0
vsize: 178588
[startup+120.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 15390
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 77937 0 0 0 11833 167 0 0 25 0 1 0 911893231 187441152 40298 4294967295 134512640 135730672 3221224576 3221222864 134747549 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45762 40298 301 301 0 45461 0
vsize: 183048
[startup+130.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 15390
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 78677 0 0 0 12832 169 0 0 25 0 1 0 911893231 189562880 40711 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 46280 40711 301 301 0 45979 0
vsize: 185120
[startup+140.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 15390
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 78843 0 0 0 13831 169 0 0 25 0 1 0 911893231 189960192 40811 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 46377 40811 301 301 0 46076 0
vsize: 185508
[startup+150.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 15390
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 78943 0 0 0 14831 170 0 0 25 0 1 0 911893231 190222336 40846 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 46441 40846 301 301 0 46140 0
vsize: 185764
[startup+160.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 15390
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 78947 0 0 0 15831 170 0 0 25 0 1 0 911893231 190222336 40850 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 46441 40850 301 301 0 46140 0
vsize: 185764
[startup+170.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 15390
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 78974 0 0 0 16831 171 0 0 25 0 1 0 911893231 190222336 40877 4294967295 134512640 135730672 3221224576 3221222864 134747549 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 46441 40877 301 301 0 46140 0
vsize: 185764
[startup+180.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 15390
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 79006 0 0 0 17830 171 0 0 25 0 1 0 911893231 190222336 40909 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 46441 40909 301 301 0 46140 0
vsize: 185764
[startup+190.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 15390
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 79322 0 0 0 18830 172 0 0 25 0 1 0 911893231 191270912 40967 4294967295 134512640 135730672 3221224576 3221222992 134748145 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 46697 40967 301 301 0 46396 0
vsize: 186788
[startup+200.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 15390
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 79343 0 0 0 19830 172 0 0 25 0 1 0 911893231 191270912 40988 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 46697 40988 301 301 0 46396 0
vsize: 186788
[startup+210.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 15390
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 79367 0 0 0 20829 173 0 0 25 0 1 0 911893231 191270912 41012 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 46697 41012 301 301 0 46396 0
vsize: 186788
[startup+220.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 15390
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 79371 0 0 0 21829 173 0 0 25 0 1 0 911893231 191270912 41016 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 46697 41016 301 301 0 46396 0
vsize: 186788
[startup+230.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 15390
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 79374 0 0 0 22829 173 0 0 25 0 1 0 911893231 191270912 41019 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 46697 41019 301 301 0 46396 0
vsize: 186788
[startup+240.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 15390
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 79379 0 0 0 23829 173 0 0 25 0 1 0 911893231 191270912 41024 4294967295 134512640 135730672 3221224576 3221222912 134740208 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 46697 41024 301 301 0 46396 0
vsize: 186788
[startup+250.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 15390
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 79385 0 0 0 24829 173 0 0 25 0 1 0 911893231 191270912 41030 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 46697 41030 301 301 0 46396 0
vsize: 186788
[startup+260.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 15390
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 79390 0 0 0 25829 174 0 0 25 0 1 0 911893231 191270912 41035 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 46697 41035 301 301 0 46396 0
vsize: 186788
[startup+270.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 15390
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 79471 0 0 0 26829 174 0 0 25 0 1 0 911893231 191270912 41116 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 46697 41116 301 301 0 46396 0
vsize: 186788
[startup+280.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 15390
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 79474 0 0 0 27829 174 0 0 25 0 1 0 911893231 191270912 41119 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 46697 41119 301 301 0 46396 0
vsize: 186788
[startup+290.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15390
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 79480 0 0 0 28829 175 0 0 25 0 1 0 911893231 191270912 41125 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 46697 41125 301 301 0 46396 0
vsize: 186788
[startup+300.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15390
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 79485 0 0 0 29829 175 0 0 25 0 1 0 911893231 191270912 41130 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 46697 41130 301 301 0 46396 0
vsize: 186788
[startup+310.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15390
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 79489 0 0 0 30829 175 0 0 25 0 1 0 911893231 191270912 41134 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 46697 41134 301 301 0 46396 0
vsize: 186788
[startup+320.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15390
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 79517 0 0 0 31828 175 0 0 25 0 1 0 911893231 191270912 41162 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 46697 41162 301 301 0 46396 0
vsize: 186788
[startup+330.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15390
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 79524 0 0 0 32828 176 0 0 25 0 1 0 911893231 191270912 41169 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 46697 41169 301 301 0 46396 0
vsize: 186788
[startup+340.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15390
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 79529 0 0 0 33828 176 0 0 25 0 1 0 911893231 191270912 41174 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 46697 41174 301 301 0 46396 0
vsize: 186788
[startup+350.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15390
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 79534 0 0 0 34828 177 0 0 25 0 1 0 911893231 191270912 41179 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 46697 41179 301 301 0 46396 0
vsize: 186788
[startup+360.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15390
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 79726 0 0 0 35828 177 0 0 25 0 1 0 911893231 191795200 41242 4294967295 134512640 135730672 3221224576 3221223024 134734849 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 46825 41242 301 301 0 46524 0
vsize: 187300
[startup+370.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15390
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 79729 0 0 0 36827 177 0 0 25 0 1 0 911893231 191795200 41245 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 46825 41245 301 301 0 46524 0
vsize: 187300
[startup+380.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15390
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 79732 0 0 0 37827 178 0 0 25 0 1 0 911893231 191795200 41248 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 46825 41248 301 301 0 46524 0
vsize: 187300
[startup+390.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15390
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 79738 0 0 0 38827 178 0 0 25 0 1 0 911893231 191795200 41254 4294967295 134512640 135730672 3221224576 3221222864 134747575 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 46825 41254 301 301 0 46524 0
vsize: 187300
[startup+400.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15390
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 79745 0 0 0 39827 178 0 0 25 0 1 0 911893231 191795200 41261 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 46825 41261 301 301 0 46524 0
vsize: 187300
[startup+410.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15390
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 79750 0 0 0 40827 178 0 0 25 0 1 0 911893231 191795200 41266 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 46825 41266 301 301 0 46524 0
vsize: 187300
[startup+420.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15390
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 79757 0 0 0 41827 179 0 0 25 0 1 0 911893231 191795200 41273 4294967295 134512640 135730672 3221224576 3221222864 134747735 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 46825 41273 301 301 0 46524 0
vsize: 187300
[startup+430.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15390
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 79762 0 0 0 42827 179 0 0 25 0 1 0 911893231 191795200 41278 4294967295 134512640 135730672 3221224576 3221223024 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 46825 41278 301 301 0 46524 0
vsize: 187300
[startup+440.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15443
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 79767 0 0 0 43826 179 0 0 25 0 1 0 911893231 191795200 41283 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46825 41283 301 301 0 46524 0
vsize: 187300
[startup+450.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15443
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 79784 0 0 0 44826 179 0 0 25 0 1 0 911893231 191795200 41300 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46825 41300 301 301 0 46524 0
vsize: 187300
[startup+460.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15443
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 79948 0 0 0 45826 180 0 0 25 0 1 0 911893231 192319488 41335 4294967295 134512640 135730672 3221224576 3221223056 134748554 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46953 41335 301 301 0 46652 0
vsize: 187812
[startup+470.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15443
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 79956 0 0 0 46826 180 0 0 25 0 1 0 911893231 192319488 41343 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46953 41343 301 301 0 46652 0
vsize: 187812
[startup+480.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15443
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 79964 0 0 0 47826 180 0 0 25 0 1 0 911893231 192319488 41351 4294967295 134512640 135730672 3221224576 3221222864 134747657 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46953 41351 301 301 0 46652 0
vsize: 187812
[startup+490.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15443
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 79973 0 0 0 48826 180 0 0 25 0 1 0 911893231 192319488 41360 4294967295 134512640 135730672 3221224576 3221222616 135286123 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46953 41360 301 301 0 46652 0
vsize: 187812
[startup+500.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15445
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 80045 0 0 0 49826 180 0 0 25 0 1 0 911893231 192319488 41432 4294967295 134512640 135730672 3221224576 3221222616 135284867 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46953 41432 301 301 0 46652 0
vsize: 187812
[startup+510.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15447
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 80053 0 0 0 50827 180 0 0 25 0 1 0 911893231 192319488 41440 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46953 41440 301 301 0 46652 0
vsize: 187812
[startup+520.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15447
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 80058 0 0 0 51827 180 0 0 25 0 1 0 911893231 192319488 41445 4294967295 134512640 135730672 3221224576 3221222864 134747967 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46953 41445 301 301 0 46652 0
vsize: 187812
[startup+530.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15447
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 80096 0 0 0 52827 180 0 0 25 0 1 0 911893231 192319488 41483 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46953 41483 301 301 0 46652 0
vsize: 187812
[startup+540.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15447
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 80105 0 0 0 53827 180 0 0 25 0 1 0 911893231 192319488 41492 4294967295 134512640 135730672 3221224576 3221222864 134747452 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46953 41492 301 301 0 46652 0
vsize: 187812
[startup+550.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15447
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 80132 0 0 0 54827 180 0 0 25 0 1 0 911893231 192319488 41519 4294967295 134512640 135730672 3221224576 3221222864 134747714 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46953 41519 301 301 0 46652 0
vsize: 187812
[startup+560.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15447
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 80139 0 0 0 55827 180 0 0 25 0 1 0 911893231 192319488 41526 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46953 41526 301 301 0 46652 0
vsize: 187812
[startup+570.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15447
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 80148 0 0 0 56827 180 0 0 25 0 1 0 911893231 192319488 41535 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46953 41535 301 301 0 46652 0
vsize: 187812
[startup+580.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15447
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 80231 0 0 0 57827 181 0 0 25 0 1 0 911893231 192319488 41618 4294967295 134512640 135730672 3221224576 3221222992 134748166 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46953 41618 301 301 0 46652 0
vsize: 187812
[startup+590.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15447
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 81591 0 0 0 58824 184 0 0 25 0 1 0 911893231 193548288 41745 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47253 41745 301 301 0 46952 0
vsize: 189012
[startup+600.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15447
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 81608 0 0 0 59824 184 0 0 25 0 1 0 911893231 193548288 41762 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47253 41762 301 301 0 46952 0
vsize: 189012
[startup+610.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15447
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 81614 0 0 0 60824 184 0 0 25 0 1 0 911893231 193548288 41768 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47253 41768 301 301 0 46952 0
vsize: 189012
[startup+620.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15447
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 81622 0 0 0 61824 185 0 0 25 0 1 0 911893231 193548288 41776 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47253 41776 301 301 0 46952 0
vsize: 189012
[startup+630.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15447
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 81632 0 0 0 62824 185 0 0 25 0 1 0 911893231 193548288 41786 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47253 41786 301 301 0 46952 0
vsize: 189012
[startup+640.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15447
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 81644 0 0 0 63824 185 0 0 25 0 1 0 911893231 193548288 41798 4294967295 134512640 135730672 3221224576 3221222960 134764020 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47253 41798 301 301 0 46952 0
vsize: 189012
[startup+650.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15447
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 81653 0 0 0 64824 185 0 0 25 0 1 0 911893231 193548288 41807 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47253 41807 301 301 0 46952 0
vsize: 189012
[startup+660.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15447
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 81663 0 0 0 65825 185 0 0 25 0 1 0 911893231 193548288 41817 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47253 41817 301 301 0 46952 0
vsize: 189012
[startup+670.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15447
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 82249 0 0 0 66824 185 0 0 25 0 1 0 911893231 195407872 42190 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47707 42190 301 301 0 47406 0
vsize: 190828
[startup+680.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15447
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 83779 0 0 0 67821 189 0 0 25 0 1 0 911893231 200445952 43116 4294967295 134512640 135730672 3221224576 3221222864 134747602 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48937 43116 301 301 0 48636 0
vsize: 195748
[startup+690.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15447
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 84681 0 0 0 68819 190 0 0 25 0 1 0 911893231 203354112 43577 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49647 43577 301 301 0 49346 0
vsize: 198588
[startup+700.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15447
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 84743 0 0 0 69819 191 0 0 25 0 1 0 911893231 203620352 43639 4294967295 134512640 135730672 3221224576 3221222848 134732774 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49712 43639 301 301 0 49411 0
vsize: 198848
[startup+710.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15447
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 84753 0 0 0 70820 191 0 0 25 0 1 0 911893231 203620352 43649 4294967295 134512640 135730672 3221224576 3221222688 134732493 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49712 43649 301 301 0 49411 0
vsize: 198848
[startup+720.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15447
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 84762 0 0 0 71820 191 0 0 25 0 1 0 911893231 203620352 43658 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49712 43658 301 301 0 49411 0
vsize: 198848
[startup+730.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15447
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 84775 0 0 0 72820 191 0 0 25 0 1 0 911893231 203620352 43671 4294967295 134512640 135730672 3221224576 3221222864 134747587 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49712 43671 301 301 0 49411 0
vsize: 198848
[startup+740.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15447
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 84784 0 0 0 73820 191 0 0 25 0 1 0 911893231 203620352 43680 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49712 43680 301 301 0 49411 0
vsize: 198848
[startup+750.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15447
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 84792 0 0 0 74820 191 0 0 25 0 1 0 911893231 203620352 43688 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49712 43688 301 301 0 49411 0
vsize: 198848
[startup+760.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15447
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 84800 0 0 0 75820 191 0 0 25 0 1 0 911893231 203620352 43696 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49712 43696 301 301 0 49411 0
vsize: 198848
[startup+770.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15449
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 84810 0 0 0 76820 191 0 0 25 0 1 0 911893231 203620352 43706 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49712 43706 301 301 0 49411 0
vsize: 198848
[startup+780.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15449
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 84816 0 0 0 77820 191 0 0 25 0 1 0 911893231 203620352 43712 4294967295 134512640 135730672 3221224576 3221222864 134747516 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49712 43712 301 301 0 49411 0
vsize: 198848
[startup+790.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15449
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 84825 0 0 0 78821 191 0 0 25 0 1 0 911893231 203620352 43721 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49712 43721 301 301 0 49411 0
vsize: 198848
[startup+800.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15449
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 84843 0 0 0 79821 191 0 0 25 0 1 0 911893231 203620352 43739 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49712 43739 301 301 0 49411 0
vsize: 198848
[startup+810.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15449
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 84855 0 0 0 80821 191 0 0 25 0 1 0 911893231 203620352 43751 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49712 43751 301 301 0 49411 0
vsize: 198848
[startup+820.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15449
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 84867 0 0 0 81821 191 0 0 25 0 1 0 911893231 203620352 43763 4294967295 134512640 135730672 3221224576 3221222688 134732493 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49712 43763 301 301 0 49411 0
vsize: 198848
[startup+830.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15449
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 84879 0 0 0 82821 191 0 0 25 0 1 0 911893231 203620352 43775 4294967295 134512640 135730672 3221224576 3221222864 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49712 43775 301 301 0 49411 0
vsize: 198848
[startup+840.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15449
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 84891 0 0 0 83821 192 0 0 25 0 1 0 911893231 203620352 43787 4294967295 134512640 135730672 3221224576 3221223056 134748570 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49712 43787 301 301 0 49411 0
vsize: 198848
[startup+850.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15449
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 84902 0 0 0 84821 192 0 0 25 0 1 0 911893231 203620352 43798 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49712 43798 301 301 0 49411 0
vsize: 198848
[startup+860.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15449
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 84912 0 0 0 85821 192 0 0 25 0 1 0 911893231 203620352 43808 4294967295 134512640 135730672 3221224576 3221222864 134747657 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49712 43808 301 301 0 49411 0
vsize: 198848
[startup+870.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15449
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 84923 0 0 0 86821 192 0 0 25 0 1 0 911893231 203620352 43819 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49712 43819 301 301 0 49411 0
vsize: 198848
[startup+880.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15449
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 84928 0 0 0 87822 192 0 0 25 0 1 0 911893231 203620352 43824 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49712 43824 301 301 0 49411 0
vsize: 198848
[startup+890.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15449
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 84935 0 0 0 88822 192 0 0 25 0 1 0 911893231 203620352 43831 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49712 43831 301 301 0 49411 0
vsize: 198848
[startup+900.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15449
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 84944 0 0 0 89822 192 0 0 25 0 1 0 911893231 203620352 43840 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49712 43840 301 301 0 49411 0
vsize: 198848
[startup+910.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15449
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 84954 0 0 0 90822 192 0 0 25 0 1 0 911893231 203620352 43850 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49712 43850 301 301 0 49411 0
vsize: 198848
[startup+920.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15449
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 84960 0 0 0 91822 192 0 0 25 0 1 0 911893231 203620352 43856 4294967295 134512640 135730672 3221224576 3221222864 134747631 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49712 43856 301 301 0 49411 0
vsize: 198848
[startup+930.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15449
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 84973 0 0 0 92822 192 0 0 25 0 1 0 911893231 203620352 43869 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49712 43869 301 301 0 49411 0
vsize: 198848
[startup+940.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15449
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 84978 0 0 0 93823 192 0 0 25 0 1 0 911893231 203620352 43874 4294967295 134512640 135730672 3221224576 3221222688 134732452 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49712 43874 301 301 0 49411 0
vsize: 198848
[startup+950.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15449
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 85031 0 0 0 94823 192 0 0 25 0 1 0 911893231 203620352 43927 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49712 43927 301 301 0 49411 0
vsize: 198848
[startup+960.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15449
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 85038 0 0 0 95823 192 0 0 25 0 1 0 911893231 203620352 43934 4294967295 134512640 135730672 3221224576 3221223024 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49712 43934 301 301 0 49411 0
vsize: 198848
[startup+970.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15449
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 85045 0 0 0 96823 192 0 0 25 0 1 0 911893231 203620352 43941 4294967295 134512640 135730672 3221224576 3221223020 134748060 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49712 43941 301 301 0 49411 0
vsize: 198848
[startup+980.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15449
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 85056 0 0 0 97823 192 0 0 25 0 1 0 911893231 203620352 43952 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49712 43952 301 301 0 49411 0
vsize: 198848
[startup+990.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15449
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 85063 0 0 0 98823 192 0 0 25 0 1 0 911893231 203620352 43959 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49712 43959 301 301 0 49411 0
vsize: 198848
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15449
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 85073 0 0 0 99824 192 0 0 25 0 1 0 911893231 203620352 43969 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49712 43969 301 301 0 49411 0
vsize: 198848
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15449
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 85082 0 0 0 100824 192 0 0 25 0 1 0 911893231 203620352 43978 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49712 43978 301 301 0 49411 0
vsize: 198848
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15449
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 85091 0 0 0 101824 192 0 0 25 0 1 0 911893231 203620352 43987 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49712 43987 301 301 0 49411 0
vsize: 198848
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15449
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 85101 0 0 0 102824 192 0 0 25 0 1 0 911893231 203620352 43997 4294967295 134512640 135730672 3221224576 3221222704 134739215 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49712 43997 301 301 0 49411 0
vsize: 198848
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15449
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 85108 0 0 0 103824 192 0 0 25 0 1 0 911893231 203620352 44004 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49712 44004 301 301 0 49411 0
vsize: 198848
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15449
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 85116 0 0 0 104824 192 0 0 25 0 1 0 911893231 203620352 44012 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49712 44012 301 301 0 49411 0
vsize: 198848
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15449
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 85126 0 0 0 105825 192 0 0 25 0 1 0 911893231 203620352 44022 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49712 44022 301 301 0 49411 0
vsize: 198848
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15449
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 85134 0 0 0 106825 192 0 0 25 0 1 0 911893231 203620352 44030 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49712 44030 301 301 0 49411 0
vsize: 198848
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15449
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 85429 0 0 0 107824 193 0 0 25 0 1 0 911893231 204668928 44068 4294967295 134512640 135730672 3221224576 3221222876 135301592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49968 44068 301 301 0 49667 0
vsize: 199872
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15449
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 85441 0 0 0 108824 193 0 0 25 0 1 0 911893231 204668928 44080 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49968 44080 301 301 0 49667 0
vsize: 199872
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15449
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 85448 0 0 0 109825 193 0 0 25 0 1 0 911893231 204668928 44087 4294967295 134512640 135730672 3221224576 3221222960 134747445 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49968 44087 301 301 0 49667 0
vsize: 199872
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15449
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 85741 0 0 0 110825 193 0 0 25 0 1 0 911893231 205455360 44186 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50160 44186 301 301 0 49859 0
vsize: 200640
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15449
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 85770 0 0 0 111825 193 0 0 25 0 1 0 911893231 205455360 44215 4294967295 134512640 135730672 3221224576 3221222960 134764020 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50160 44215 301 301 0 49859 0
vsize: 200640
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15449
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 85781 0 0 0 112825 193 0 0 25 0 1 0 911893231 205455360 44226 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50160 44226 301 301 0 49859 0
vsize: 200640
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15449
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 85791 0 0 0 113825 193 0 0 25 0 1 0 911893231 205455360 44236 4294967295 134512640 135730672 3221224576 3221222960 134764020 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50160 44236 301 301 0 49859 0
vsize: 200640
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15449
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 85800 0 0 0 114825 193 0 0 25 0 1 0 911893231 205455360 44245 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50160 44245 301 301 0 49859 0
vsize: 200640
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15449
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 85809 0 0 0 115825 193 0 0 25 0 1 0 911893231 205455360 44254 4294967295 134512640 135730672 3221224576 3221222864 134747762 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50160 44254 301 301 0 49859 0
vsize: 200640
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15449
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 85819 0 0 0 116825 194 0 0 25 0 1 0 911893231 205455360 44264 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50160 44264 301 301 0 49859 0
vsize: 200640
[startup+1180.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15449
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 85828 0 0 0 117825 194 0 0 25 0 1 0 911893231 205455360 44273 4294967295 134512640 135730672 3221224576 3221222864 134747808 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50160 44273 301 301 0 49859 0
vsize: 200640
[startup+1190.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15449
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 85840 0 0 0 118826 194 0 0 25 0 1 0 911893231 205455360 44285 4294967295 134512640 135730672 3221224576 3221222880 134745782 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50160 44285 301 301 0 49859 0
vsize: 200640
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15449
Raw data (stat): 15390 (pb2sat-v2) R 15389 8378 8377 0 -1 0 86816 0 0 0 119823 196 0 0 25 0 1 0 911893231 205455360 44285 4294967295 134512640 135730672 3221224576 3221222864 134747811 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50160 44285 301 301 0 49859 0
vsize: 200640
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1201.47 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 15449
Raw data (stat): 15390 (pb2sat-v2) Z 15389 8378 8377 0 -1 12 86818 0 0 0 119958 205 0 0 25 0 1 0 911893231 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.47
CPU time (s): 1201.64
CPU user time (s): 1199.58
CPU system time (s): 2.05869
CPU usage (%): 100.014
Max. virtual memory (Kb): 200640
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	1077049856
#### END VERIFIER DATA ####