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/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-sc50b.opb
MD5SUM	f10dfcccbc5d23245c6e708690ee08ea
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-70000
Optimality of the best value was proved	NO
Number of terms in the objective function	30
Biggest coefficient in the objective function	536870912
Number of bits for the biggest coefficient in the objective function	30
Sum of the numbers in the objective function	1073741823
Number of bits of the sum of numbers in the objective function	30
Biggest number in a constraint	5905580032
Number of bits of the biggest number in a constraint	33
Biggest sum of numbers in a constraint	22548578283
Number of bits of the biggest sum of numbers	35
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	336.565
Number of variables	1440
Total number of constraints	48
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	48
Minimum length of a constraint	60
Maximum length of a constraint	120
Trace number 42363

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-16 05:48:09 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25560 boxname=wulflinc6 idbench=860 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  f10dfcccbc5d23245c6e708690ee08ea  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-sc50b.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-sc50b.opb
IDLAUNCH: 25560
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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.042
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:        690580 kB
Buffers:         34288 kB
Cached:         287344 kB
SwapCached:       1028 kB
Active:          35452 kB
Inactive:       288268 kB
HighTotal:      131008 kB
HighFree:         3248 kB
LowTotal:       903652 kB
LowFree:        687332 kB
SwapTotal:     2097136 kB
SwapFree:      2095200 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5088 kB
Slab:            14652 kB
Committed_AS:    63840 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 06:08:12 (client local time) WITH STATUS 10 IN 1200.48 SECONDS
stats: 25560 0 1200.48 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 10445/33249	Time: 2.15367/86400
c Decision: 10742/33249	Time: 4.45532/86400
c Decision: 11203/33249	Time: 6.52801/86400
c Decision: 11268/33249	Time: 8.86965/86400
c Decision: 11467/33249	Time: 11.3343/86400
c Decision: 11570/33249	Time: 15.0967/86400
c Decision: 11571/33249	Time: 19.482/86400
c Decision: 11600/33249	Time: 23.9404/86400
c Decision: 11600/33249	Time: 26.221/86400
c Decision: 11600/33249	Time: 29.1196/86400
c Decision: 11600/33249	Time: 32.1821/86400
c Decision: 11600/33249	Time: 34.2898/86400
c Decision: 11600/33249	Time: 37.8692/86400
c Decision: 11600/33249	Time: 41.5697/86400
c Decision: 11600/33249	Time: 45.2661/86400
c Decision: 11600/33249	Time: 47.9217/86400
c Decision: 11904/33249	Time: 55.4846/86400
c Decision: 12081/33249	Time: 59.5379/86400
c Decision: 12081/33249	Time: 63.5893/86400
c Decision: 12081/33249	Time: 67.5557/86400
c Decision: 12081/33249	Time: 71.5401/86400
c Decision: 12081/33249	Time: 76.0584/86400
c Decision: 12081/33249	Time: 80.1218/86400
c Decision: 12081/33249	Time: 83.7943/86400
c Decision: 12091/33249	Time: 89.3134/86400
c Decision: 12112/33249	Time: 96.5223/86400
c Decision: 12135/33249	Time: 104.216/86400
c Decision: 12137/33249	Time: 111.06/86400
c Decision: 12137/33249	Time: 116.144/86400
c Decision: 12139/33249	Time: 124.754/86400
c got solution with objective value: 1073701823
c small objective detected
c CONFLICT during preprocess 

c [startup+126.638 s]  setting bit 29 to 0
c CONFLICT during preprocess 

c [startup+126.747 s]  setting bit 28 to 0
c CONFLICT during preprocess 

c [startup+126.857 s]  setting bit 27 to 0
c CONFLICT during preprocess 

c [startup+126.967 s]  setting bit 26 to 0
c CONFLICT during preprocess 

c [startup+127.078 s]  setting bit 25 to 0
c CONFLICT during preprocess 

c [startup+127.189 s]  setting bit 24 to 0
c CONFLICT during preprocess 

c [startup+127.302 s]  setting bit 23 to 0
c CONFLICT during preprocess 

c [startup+127.416 s]  setting bit 22 to 0
c CONFLICT during preprocess 

c [startup+127.532 s]  setting bit 21 to 0
c CONFLICT during preprocess 

c [startup+127.649 s]  setting bit 20 to 0
c CONFLICT during preprocess 

c [startup+127.768 s]  setting bit 19 to 0
c CONFLICT during preprocess 

c [startup+127.889 s]  setting bit 18 to 0
c CONFLICT during preprocess 

c [startup+128.012 s]  setting bit 17 to 0
c CONFLICT during preprocess 

c [startup+128.155 s]  setting bit 16 to 0

c Decision: 12897/33383	Time: 5.57815/86400
c Decision: 12897/33383	Time: 10.6974/86400
c Decision: 12899/33383	Time: 17.4353/86400
c Decision: 13348/33383	Time: 30.6453/86400
c Decision: 13348/33383	Time: 32.0341/86400
c Decision: 13353/33383	Time: 34.0518/86400
c Decision: 13390/33383	Time: 37.1384/86400
c Decision: 13390/33383	Time: 39.695/86400
c Decision: 13390/33383	Time: 42.3646/86400
c Decision: 13390/33383	Time: 45.4961/86400
c Decision: 13651/33383	Time: 48.1447/86400
c Decision: 13753/33383	Time: 53.1089/86400
c Decision: 13755/33383	Time: 56.8964/86400
c Decision: 13755/33383	Time: 59.131/86400
c Decision: 13773/33383	Time: 63.3494/86400
c Decision: 13773/33383	Time: 66.9108/86400
c Decision: 13784/33383	Time: 72.9129/86400
c Decision: 13787/33383	Time: 78.5921/86400
c Decision: 13828/33383	Time: 84.0942/86400
c Decision: 13898/33383	Time: 88.2266/86400
c Decision: 14523/33383	Time: 93.4748/86400
c Decision: 14523/33383	Time: 97.5932/86400
c Decision: 14546/33383	Time: 104.104/86400
c Decision: 14546/33383	Time: 107.963/86400
c Decision: 14805/33383	Time: 119.277/86400
c Decision: 14805/33383	Time: 125.741/86400
c Decision: 14805/33383	Time: 131.028/86400
c Decision: 14805/33383	Time: 138.474/86400
c Decision: 14825/33383	Time: 150.645/86400
c Decision: 14826/33383	Time: 160.625/86400
c Decision: 14826/33383	Time: 166.617/86400
c Decision: 14974/33383	Time: 177.079/86400
c Decision: 14974/33383	Time: 184.448/86400
c Decision: 14974/33383	Time: 192.445/86400
c Decision: 14976/33383	Time: 201.155/86400
c Decision: 14976/33383	Time: 209.112/86400
c Decision: 14979/33383	Time: 216.477/86400
c Decision: 14982/33383	Time: 223.045/86400
c Decision: 14986/33383	Time: 231.082/86400
c Decision: 14986/33383	Time: 239.287/86400
c Decision: 14986/33383	Time: 248.434/86400
c Decision: 14986/33383	Time: 254.353/86400
c Decision: 14986/33383	Time: 263.989/86400
c Decision: 14994/33383	Time: 281.852/86400
c Decision: 14998/33383	Time: 296.765/86400
c Decision: 14998/33383	Time: 307.455/86400
c Decision: 14998/33383	Time: 319.139/86400
c Decision: 14998/33383	Time: 326.362/86400
c Decision: 14998/33383	Time: 337.282/86400
c Decision: 15001/33383	Time: 352.672/86400
c Decision: 15001/33383	Time: 361.931/86400
c Decision: 15001/33383	Time: 368.697/86400
c Decision: 15001/33383	Time: 377.795/86400
c Decision: 15093/33383	Time: 395.053/86400
c Decision: 15093/33383	Time: 403.113/86400
c Decision: 15093/33383	Time: 409.576/86400
c Decision: 15093/33383	Time: 419.31/86400
c Decision: 15093/33383	Time: 425.623/86400
c Decision: 15093/33383	Time: 436.116/86400
c Decision: 15093/33383	Time: 442.879/86400
c Decision: 15093/33383	Time: 448.25/86400
c Decision: 15093/33383	Time: 461.706/86400
c Decision: 15093/33383	Time: 473.529/86400
c Decision: 15093/33383	Time: 480.425/86400
c Decision: 15120/33383	Time: 492.439/86400
c Decision: 15120/33383	Time: 506.014/86400
c Decision: 15122/33383	Time: 524.397/86400
c Decision: 15122/33383	Time: 537.926/86400
c Decision: 15122/33383	Time: 552.207/86400
c Decision: 15122/33383	Time: 558.016/86400
c Decision: 15137/33383	Time: 594.285/86400
c Decision: 15137/33383	Time: 600.807/86400
c Decision: 15137/33383	Time: 613.543/86400
c Decision: 15141/33383	Time: 623.105/86400
c Decision: 15141/33383	Time: 632.376/86400
c Decision: 15202/33383	Time: 649.979/86400
c Decision: 15202/33383	Time: 658.992/86400
c Decision: 15202/33383	Time: 668.116/86400
c Decision: 15206/33383	Time: 685.46/86400
c Decision: 15206/33383	Time: 697.417/86400
c Decision: 15206/33383	Time: 705.895/86400
c Decision: 15206/33383	Time: 714.17/86400
c Decision: 15206/33383	Time: 729.364/86400
c Decision: 15206/33383	Time: 740.357/86400
c Decision: 15206/33383	Time: 751.42/86400
c Decision: 15206/33383	Time: 766.754/86400
c Decision: 15206/33383	Time: 770.475/86400
c Decision: 15210/33383	Time: 783.004/86400
c Decision: 15210/33383	Time: 791.8/86400
c Decision: 15210/33383	Time: 801.001/86400
c Decision: 15210/33383	Time: 811.98/86400
c Decision: 15210/33383	Time: 820.381/86400
c Decision: 15210/33383	Time: 829.697/86400
c Decision: 15210/33383	Time: 841.271/86400
c Decision: 15210/33383	Time: 851.88/86400
c Decision: 15210/33383	Time: 859.96/86400
c Decision: 15257/33383	Time: 876.615/86400
c Decision: 15257/33383	Time: 885.545/86400
c Decision: 15257/33383	Time: 890.714/86400
c Decision: 15257/33383	Time: 900.202/86400
c Decision: 15257/33383	Time: 910.156/86400
c Decision: 15257/33383	Time: 926.605/86400
c Decision: 15257/33383	Time: 937.025/86400
c Decision: 15257/33383	Time: 953.319/86400
c Decision: 15257/33383	Time: 970.559/86400
c Decision: 15279/33383	Time: 987.988/86400
c Decision: 15279/33383	Time: 997.774/86400
c Decision: 15279/33383	Time: 1011.38/86400
c Decision: 15279/33383	Time: 1020.74/86400
c Decision: 15318/33383	Time: 1036.3/86400
c Decision: 15318/33383	Time: 1054.02/86400
c Decision: 15318/33383	Time: 1068.03/86400s SATISFIABLE
v -COL00001_bit0 COL00001_bit1 -COL00001_bit10 -COL00001_bit11 -COL00001_bit12 -COL00001_bit13 -COL00001_bit14 -COL00001_bit15 -COL00001_bit16 -COL00001_bit17 -COL00001_bit18 -COL00001_bit19 -COL00001_bit2 -COL00001_bit3 -COL00001_bit4 -COL00001_bit5 -COL00001_bit6 -COL00001_bit7 -COL00001_bit8 -COL00001_bit9 -COL00001_bit_1 -COL00001_bit_10 -COL00001_bit_2 -COL00001_bit_3 -COL00001_bit_4 -COL00001_bit_5 -COL00001_bit_6 -COL00001_bit_7 -COL00001_bit_8 -COL00001_bit_9 -COL00002_bit0 -COL00002_bit1 -COL00002_bit10 -COL00002_bit11 -COL00002_bit12 -COL00002_bit13 -COL00002_bit14 -COL00002_bit15 -COL00002_bit16 -COL00002_bit17 -COL00002_bit18 -COL00002_bit19 -COL00002_bit2 -COL00002_bit3 -COL00002_bit4 -COL00002_bit5 COL00002_bit6 -COL00002_bit7 -COL00002_bit8 -COL00002_bit9 -COL00002_bit_1 -COL00002_bit_10 -COL00002_bit_2 -COL00002_bit_3 -COL00002_bit_4 -COL00002_bit_5 -COL00002_bit_6 -COL00002_bit_7 -COL00002_bit_8 -COL00002_bit_9 -COL00003_bit0 COL00003_bit1 -COL00003_bit10 -COL00003_bit11 -COL00003_bit12 -COL00003_bit13 -COL00003_bit14 -COL00003_bit15 -COL00003_bit16 -COL00003_bit17 -COL00003_bit18 -COL00003_bit19 -COL00003_bit2 -COL00003_bit3 -COL00003_bit4 COL00003_bit5 -COL00003_bit6 -COL00003_bit7 -COL00003_bit8 -COL00003_bit9 -COL00003_bit_1 -COL00003_bit_10 -COL00003_bit_2 -COL00003_bit_3 -COL00003_bit_4 -COL00003_bit_5 -COL00003_bit_6 -COL00003_bit_7 -COL00003_bit_8 -COL00003_bit_9 COL00004_bit0 COL00004_bit1 -COL00004_bit10 -COL00004_bit11 -COL00004_bit12 -COL00004_bit13 -COL00004_bit14 -COL00004_bit15 -COL00004_bit16 -COL00004_bit17 -COL00004_bit18 -COL00004_bit19 COL00004_bit2 -COL00004_bit3 -COL00004_bit4 COL00004_bit5 -COL00004_bit6 -COL00004_bit7 -COL00004_bit8 -COL00004_bit9 -COL00004_bit_1 -COL00004_bit_10 -COL00004_bit_2 -COL00004_bit_3 COL00004_bit_4 -COL00004_bit_5 -COL00004_bit_6 -COL00004_bit_7 -COL00004_bit_8 -COL00004_bit_9 COL00005_bit0 COL00005_bit1 -COL00005_bit10 -COL00005_bit11 -COL00005_bit12 -COL00005_bit13 -COL00005_bit14 -COL00005_bit15 -COL00005_bit16 -COL00005_bit17 -COL00005_bit18 -COL00005_bit19 COL00005_bit2 -COL00005_bit3 -COL00005_bit4 COL00005_bit5 -COL00005_bit6 -COL00005_bit7 -COL00005_bit8 -COL00005_bit9 -COL00005_bit_1 -COL00005_bit_10 -COL00005_bit_2 -COL00005_bit_3 COL00005_bit_4 -COL00005_bit_5 -COL00005_bit_6 -COL00005_bit_7 -COL00005_bit_8 -COL00005_bit_9 -COL00006_bit0 COL00006_bit1 -COL00006_bit10 -COL00006_bit11 -COL00006_bit12 -COL00006_bit13 -COL00006_bit14 -COL00006_bit15 -COL00006_bit16 -COL00006_bit17 -COL00006_bit18 -COL00006_bit19 -COL00006_bit2 -COL00006_bit3 -COL00006_bit4 -COL00006_bit5 -COL00006_bit6 -COL00006_bit7 -COL00006_bit8 -COL00006_bit9 -COL00006_bit_1 -COL00006_bit_10 -COL00006_bit_2 -COL00006_bit_3 -COL00006_bit_4 -COL00006_bit_5 -COL00006_bit_6 -COL00006_bit_7 -COL00006_bit_8 -COL00006_bit_9 -COL00007_bit0 -COL00007_bit1 -COL00007_bit10 -COL00007_bit11 -COL00007_bit12 -COL00007_bit13 -COL00007_bit14 -COL00007_bit15 -COL00007_bit16 -COL00007_bit17 -COL00007_bit18 -COL00007_bit19 -COL00007_bit2 -COL00007_bit3 -COL00007_bit4 -COL00007_bit5 COL00007_bit6 -COL00007_bit7 -COL00007_bit8 -COL00007_bit9 -COL00007_bit_1 -COL00007_bit_10 -COL00007_bit_2 -COL00007_bit_3 -COL00007_bit_4 -COL00007_bit_5 -COL00007_bit_6 -COL00007_bit_7 -COL00007_bit_8 -COL00007_bit_9 -COL00008_bit0 COL00008_bit1 -COL00008_bit10 -COL00008_bit11 -COL00008_bit12 -COL00008_bit13 -COL00008_bit14 -COL00008_bit15 -COL00008_bit16 -COL00008_bit17 -COL00008_bit18 -COL00008_bit19 -COL00008_bit2 -COL00008_bit3 -COL00008_bit4 COL00008_bit5 -COL00008_bit6 -COL00008_bit7 -COL00008_bit8 -COL00008_bit9 -COL00008_bit_1 -COL00008_bit_10 -COL00008_bit_2 -COL00008_bit_3 -COL00008_bit_4 -COL00008_bit_5 -COL00008_bit_6 -COL00008_bit_7 -COL00008_bit_8 -COL00008_bit_9 -COL00009_bit0 COL00009_bit1 -COL00009_bit10 -COL00009_bit11 -COL00009_bit12 -COL00009_bit13 -COL00009_bit14 -COL00009_bit15 -COL00009_bit16 -COL00009_bit17 -COL00009_bit18 -COL00009_bit19 -COL00009_bit2 -COL00009_bit3 -COL00009_bit4 -COL00009_bit5 -COL00009_bit6 -COL00009_bit7 -COL00009_bit8 -COL00009_bit9 -COL00009_bit_1 -COL00009_bit_10 -COL00009_bit_2 -COL00009_bit_3 -COL00009_bit_4 -COL00009_bit_5 -COL00009_bit_6 -COL00009_bit_7 -COL00009_bit_8 -COL00009_bit_9 -COL00010_bit0 -COL00010_bit1 -COL00010_bit10 -COL00010_bit11 -COL00010_bit12 -COL00010_bit13 -COL00010_bit14 -COL00010_bit15 -COL00010_bit16 -COL00010_bit17 -COL00010_bit18 -COL00010_bit19 -COL00010_bit2 -COL00010_bit3 -COL00010_bit4 -COL00010_bit5 COL00010_bit6 -COL00010_bit7 -COL00010_bit8 -COL00010_bit9 -COL00010_bit_1 -COL00010_bit_10 -COL00010_bit_2 -COL00010_bit_3 -COL00010_bit_4 -COL00010_bit_5 -COL00010_bit_6 -COL00010_bit_7 -COL00010_bit_8 -COL00010_bit_9 COL00011_bit0 COL00011_bit1 -COL00011_bit10 -COL00011_bit11 -COL00011_bit12 -COL00011_bit13 -COL00011_bit14 -COL00011_bit15 -COL00011_bit16 -COL00011_bit17 -COL00011_bit18 -COL00011_bit19 -COL00011_bit2 COL00011_bit3 COL00011_bit4 -COL00011_bit5 -COL00011_bit6 -COL00011_bit7 -COL00011_bit8 -COL00011_bit9 COL00011_bit_1 COL00011_bit_10 COL00011_bit_2 COL00011_bit_3 -COL00011_bit_4 -COL00011_bit_5 COL00011_bit_6 COL00011_bit_7 -COL00011_bit_8 COL00011_bit_9 COL00012_bit0 -COL00012_bit1 -COL00012_bit10 -COL00012_bit11 -COL00012_bit12 -COL00012_bit13 -COL00012_bit14 -COL00012_bit15 -COL00012_bit16 -COL00012_bit17 -COL00012_bit18 -COL00012_bit19 -COL00012_bit2 -COL00012_bit3 COL00012_bit4 COL00012_bit5 -COL00012_bit6 -COL00012_bit7 -COL00012_bit8 -COL00012_bit9 -COL00012_bit_1 -COL00012_bit_10 COL00012_bit_2 COL00012_bit_3 COL00012_bit_4 COL00012_bit_5 COL00012_bit_6 -COL00012_bit_7 -COL00012_bit_8 -COL00012_bit_9 COL00013_bit0 -COL00013_bit1 -COL00013_bit10 -COL00013_bit11 -COL00013_bit12 -COL00013_bit13 -COL00013_bit14 -COL00013_bit15 -COL00013_bit16 -COL00013_bit17 -COL00013_bit18 -COL00013_bit19 -COL00013_bit2 -COL00013_bit3 -COL00013_bit4 COL00013_bit5 -COL00013_bit6 -COL00013_bit7 -COL00013_bit8 -COL00013_bit9 -COL00013_bit_1 -COL00013_bit_10 COL00013_bit_2 COL00013_bit_3 -COL00013_bit_4 COL00013_bit_5 -COL00013_bit_6 COL00013_bit_7 -COL00013_bit_8 COL00013_bit_9 COL00014_bit0 -COL00014_bit1 -COL00014_bit10 -COL00014_bit11 -COL00014_bit12 -COL00014_bit13 -COL00014_bit14 -COL00014_bit15 -COL00014_bit16 -COL00014_bit17 -COL00014_bit18 -COL00014_bit19 -COL00014_bit2 -COL00014_bit3 COL00014_bit4 -COL00014_bit5 -COL00014_bit6 -COL00014_bit7 -COL00014_bit8 -COL00014_bit9 -COL00014_bit_1 COL00014_bit_10 COL00014_bit_2 COL00014_bit_3 -COL00014_bit_4 -COL00014_bit_5 -COL00014_bit_6 COL00014_bit_7 -COL00014_bit_8 -COL00014_bit_9 -COL00015_bit0 COL00015_bit1 -COL00015_bit10 -COL00015_bit11 -COL00015_bit12 -COL00015_bit13 -COL00015_bit14 -COL00015_bit15 -COL00015_bit16 -COL00015_bit17 -COL00015_bit18 -COL00015_bit19 -COL00015_bit2 COL00015_bit3 -COL00015_bit4 COL00015_bit5 -COL00015_bit6 -COL00015_bit7 -COL00015_bit8 -COL00015_bit9 COL00015_bit_1 -COL00015_bit_10 COL00015_bit_2 COL00015_bit_3 COL00015_bit_4 COL00015_bit_5 -COL00015_bit_6 -COL00015_bit_7 -COL00015_bit_8 -COL00015_bit_9 -COL00016_bit0 COL00016_bit1 -COL00016_bit10 -COL00016_bit11 -COL00016_bit12 -COL00016_bit13 -COL00016_bit14 -COL00016_bit15 -COL00016_bit16 -COL00016_bit17 -COL00016_bit18 -COL00016_bit19 -COL00016_bit2 -COL00016_bit3 COL00016_bit4 -COL00016_bit5 COL00016_bit6 -COL00016_bit7 -COL00016_bit8 -COL00016_bit9 -COL00016_bit_1 -COL00016_bit_10 -COL00016_bit_2 -COL00016_bit_3 -COL00016_bit_4 COL00016_bit_5 -COL00016_bit_6 -COL00016_bit_7 -COL00016_bit_8 -COL00016_bit_9 COL00017_bit0 COL00017_bit1 -COL00017_bit10 -COL00017_bit11 -COL00017_bit12 -COL00017_bit13 -COL00017_bit14 -COL00017_bit15 -COL00017_bit16 -COL00017_bit17 -COL00017_bit18 -COL00017_bit19 -COL00017_bit2 -COL00017_bit3 COL00017_bit4 COL00017_bit5 -COL00017_bit6 -COL00017_bit7 -COL00017_bit8 -COL00017_bit9 -COL00017_bit_1 -COL00017_bit_10 COL00017_bit_2 COL00017_bit_3 COL00017_bit_4 COL00017_bit_5 COL00017_bit_6 -COL00017_bit_7 -COL00017_bit_8 -COL00017_bit_9 COL00018_bit0 -COL00018_bit1 -COL00018_bit10 -COL00018_bit11 -COL00018_bit12 -COL00018_bit13 -COL00018_bit14 -COL00018_bit15 -COL00018_bit16 -COL00018_bit17 -COL00018_bit18 -COL00018_bit19 -COL00018_bit2 -COL00018_bit3 -COL00018_bit4 COL00018_bit5 COL00018_bit6 -COL00018_bit7 -COL00018_bit8 -COL00018_bit9 -COL00018_bit_1 -COL00018_bit_10 COL00018_bit_2 COL00018_bit_3 -COL00018_bit_4 COL00018_bit_5 -COL00018_bit_6 COL00018_bit_7 -COL00018_bit_8 COL00018_bit_9 COL00019_bit0 COL00019_bit1 -COL00019_bit10 -COL00019_bit11 -COL00019_bit12 -COL00019_bit13 -COL00019_bit14 -COL00019_bit15 -COL00019_bit16 -COL00019_bit17 -COL00019_bit18 -COL00019_bit19 -COL00019_bit2 -COL00019_bit3 COL00019_bit4 COL00019_bit5 -COL00019_bit6 -COL00019_bit7 -COL00019_bit8 -COL00019_bit9 -COL00019_bit_1 COL00019_bit_10 COL00019_bit_2 COL00019_bit_3 -COL00019_bit_4 -COL00019_bit_5 -COL00019_bit_6 COL00019_bit_7 -COL00019_bit_8 -COL00019_bit_9 COL00020_bit0 COL00020_bit1 -COL00020_bit10 -COL00020_bit11 -COL00020_bit12 -COL00020_bit13 -COL00020_bit14 -COL00020_bit15 -COL00020_bit16 -COL00020_bit17 -COL00020_bit18 -COL00020_bit19 -COL00020_bit2 -COL00020_bit3 COL00020_bit4 COL00020_bit5 -COL00020_bit6 -COL00020_bit7 -COL00020_bit8 -COL00020_bit9 -COL00020_bit_1 COL00020_bit_10 COL00020_bit_2 -COL00020_bit_3 COL00020_bit_4 COL00020_bit_5 COL00020_bit_6 COL00020_bit_7 COL00020_bit_8 -COL00020_bit_9 COL00021_bit0 COL00021_bit1 -COL00021_bit10 -COL00021_bit11 -COL00021_bit12 -COL00021_bit13 -COL00021_bit14 -COL00021_bit15 -COL00021_bit16 -COL00021_bit17 -COL00021_bit18 -COL00021_bit19 -COL00021_bit2 -COL00021_bit3 COL00021_bit4 COL00021_bit5 -COL00021_bit6 -COL00021_bit7 -COL00021_bit8 -COL00021_bit9 COL00021_bit_1 COL00021_bit_10 COL00021_bit_2 -COL00021_bit_3 COL00021_bit_4 COL00021_bit_5 COL00021_bit_6 -COL00021_bit_7 -COL00021_bit_8 COL00021_bit_9 COL00022_bit0 COL00022_bit1 -COL00022_bit10 -COL00022_bit11 -COL00022_bit12 -COL00022_bit13 -COL00022_bit14 -COL00022_bit15 -COL00022_bit16 -COL00022_bit17 -COL00022_bit18 -COL00022_bit19 -COL00022_bit2 -COL00022_bit3 COL00022_bit4 COL00022_bit5 -COL00022_bit6 -COL00022_bit7 -COL00022_bit8 -COL00022_bit9 -COL00022_bit_1 COL00022_bit_10 COL00022_bit_2 COL00022_bit_3 -COL00022_bit_4 -COL00022_bit_5 -COL00022_bit_6 -COL00022_bit_7 -COL00022_bit_8 COL00022_bit_9 -COL00023_bit0 -COL00023_bit1 -COL00023_bit10 -COL00023_bit11 -COL00023_bit12 -COL00023_bit13 -COL00023_bit14 -COL00023_bit15 -COL00023_bit16 -COL00023_bit17 -COL00023_bit18 -COL00023_bit19 -COL00023_bit2 COL00023_bit3 COL00023_bit4 -COL00023_bit5 COL00023_bit6 -COL00023_bit7 -COL00023_bit8 -COL00023_bit9 -COL00023_bit_1 -COL00023_bit_10 -COL00023_bit_2 -COL00023_bit_3 -COL00023_bit_4 COL00023_bit_5 COL00023_bit_6 -COL00023_bit_7 COL00023_bit_8 COL00023_bit_9 -COL00024_bit0 COL00024_bit1 -COL00024_bit10 -COL00024_bit11 -COL00024_bit12 -COL00024_bit13 -COL00024_bit14 -COL00024_bit15 -COL00024_bit16 -COL00024_bit17 -COL00024_bit18 -COL00024_bit19 -COL00024_bit2 -COL00024_bit3 -COL00024_bit4 -COL00024_bit5 -COL00024_bit6 -COL00024_bit7 -COL00024_bit8 -COL00024_bit9 -COL00024_bit_1 COL00024_bit_10 COL00024_bit_2 -COL00024_bit_3 COL00024_bit_4 -COL00024_bit_5 COL00024_bit_6 COL00024_bit_7 COL00024_bit_8 COL00024_bit_9 -COL00025_bit0 COL00025_bit1 -COL00025_bit10 -COL00025_bit11 -COL00025_bit12 -COL00025_bit13 -COL00025_bit14 -COL00025_bit15 -COL00025_bit16 -COL00025_bit17 -COL00025_bit18 -COL00025_bit19 -COL00025_bit2 COL00025_bit3 COL00025_bit4 -COL00025_bit5 -COL00025_bit6 -COL00025_bit7 -COL00025_bit8 -COL00025_bit9 COL00025_bit_1 COL00025_bit_10 -COL00025_bit_2 COL00025_bit_3 -COL00025_bit_4 COL00025_bit_5 COL00025_bit_6 -COL00025_bit_7 COL00025_bit_8 COL00025_bit_9 COL00026_bit0 COL00026_bit1 -COL00026_bit10 -COL00026_bit11 -COL00026_bit12 -COL00026_bit13 -COL00026_bit14 -COL00026_bit15 -COL00026_bit16 -COL00026_bit17 -COL00026_bit18 -COL00026_bit19 COL00026_bit2 COL00026_bit3 -COL00026_bit4 COL00026_bit5 -COL00026_bit6 -COL00026_bit7 -COL00026_bit8 -COL00026_bit9 -COL00026_bit_1 -COL00026_bit_10 COL00026_bit_2 -COL00026_bit_3 -COL00026_bit_4 -COL00026_bit_5 COL00026_bit_6 -COL00026_bit_7 -COL00026_bit_8 -COL00026_bit_9 COL00027_bit0 -COL00027_bit1 -COL00027_bit10 -COL00027_bit11 -COL00027_bit12 -COL00027_bit13 -COL00027_bit14 -COL00027_bit15 -COL00027_bit16 -COL00027_bit17 -COL00027_bit18 -COL00027_bit19 -COL00027_bit2 -COL00027_bit3 -COL00027_bit4 -COL00027_bit5 -COL00027_bit6 COL00027_bit7 -COL00027_bit8 -COL00027_bit9 -COL00027_bit_1 -COL00027_bit_10 COL00027_bit_2 -COL00027_bit_3 -COL00027_bit_4 COL00027_bit_5 COL00027_bit_6 -COL00027_bit_7 -COL00027_bit_8 -COL00027_bit_9 COL00028_bit0 COL00028_bit1 -COL00028_bit10 -COL00028_bit11 -COL00028_bit12 -COL00028_bit13 -COL00028_bit14 -COL00028_bit15 -COL00028_bit16 -COL00028_bit17 -COL00028_bit18 -COL00028_bit19 -COL00028_bit2 COL00028_bit3 -COL00028_bit4 -COL00028_bit5 -COL00028_bit6 COL00028_bit7 -COL00028_bit8 -COL00028_bit9 COL00028_bit_1 -COL00028_bit_10 -COL00028_bit_2 -COL00028_bit_3 -COL00028_bit_4 COL00028_bit_5 -COL00028_bit_6 -COL00028_bit_7 COL00028_bit_8 COL00028_bit_9 COL00029_bit0 COL00029_bit1 -COL00029_bit10 -COL00029_bit11 -COL00029_bit12 -COL00029_bit13 -COL00029_bit14 -COL00029_bit15 -COL00029_bit16 -COL00029_bit17 -COL00029_bit18 -COL00029_bit19 -COL00029_bit2 -COL00029_bit3 -COL00029_bit4 COL00029_bit5 COL00029_bit6 -COL00029_bit7 -COL00029_bit8 -COL00029_bit9 COL00029_bit_1 COL00029_bit_10 COL00029_bit_2 -COL00029_bit_3 -COL00029_bit_4 -COL00029_bit_5 -COL00029_bit_6 COL00029_bit_7 -COL00029_bit_8 -COL00029_bit_9 -COL00030_bit0 COL00030_bit1 -COL00030_bit10 -COL00030_bit11 -COL00030_bit12 -COL00030_bit13 -COL00030_bit14 -COL00030_bit15 -COL00030_bit16 -COL00030_bit17 -COL00030_bit18 -COL00030_bit19 COL00030_bit2 COL00030_bit3 -COL00030_bit4 -COL00030_bit5 COL00030_bit6 -COL00030_bit7 -COL00030_bit8 -COL00030_bit9 -COL00030_bit_1 -COL00030_bit_10 -COL00030_bit_2 -COL00030_bit_3 COL00030_bit_4 -COL00030_bit_5 -COL00030_bit_6 -COL00030_bit_7 -COL00030_bit_8 -COL00030_bit_9 COL00031_bit0 COL00031_bit1 -COL00031_bit10 -COL00031_bit11 -COL00031_bit12 -COL00031_bit13 -COL00031_bit14 -COL00031_bit15 -COL00031_bit16 -COL00031_bit17 -COL00031_bit18 -COL00031_bit19 COL00031_bit2 COL00031_bit3 COL00031_bit4 COL00031_bit5 COL00031_bit6 -COL00031_bit7 -COL00031_bit8 -COL00031_bit9 COL00031_bit_1 COL00031_bit_10 -COL00031_bit_2 COL00031_bit_3 -COL00031_bit_4 COL00031_bit_5 -COL00031_bit_6 -COL00031_bit_7 COL00031_bit_8 -COL00031_bit_9 COL00032_bit0 -COL00032_bit1 -COL00032_bit10 -COL00032_bit11 -COL00032_bit12 -COL00032_bit13 -COL00032_bit14 -COL00032_bit15 -COL00032_bit16 -COL00032_bit17 -COL00032_bit18 -COL00032_bit19 COL00032_bit2 COL00032_bit3 COL00032_bit4 COL00032_bit5 -COL00032_bit6 -COL00032_bit7 -COL00032_bit8 -COL00032_bit9 -COL00032_bit_1 -COL00032_bit_10 -COL00032_bit_2 -COL00032_bit_3 COL00032_bit_4 COL00032_bit_5 COL00032_bit_6 -COL00032_bit_7 -COL00032_bit_8 COL00032_bit_9 -COL00033_bit0 COL00033_bit1 -COL00033_bit10 -COL00033_bit11 -COL00033_bit12 -COL00033_bit13 -COL00033_bit14 -COL00033_bit15 -COL00033_bit16 -COL00033_bit17 -COL00033_bit18 -COL00033_bit19 COL00033_bit2 COL00033_bit3 -COL00033_bit4 -COL00033_bit5 COL00033_bit6 -COL00033_bit7 -COL00033_bit8 -COL00033_bit9 -COL00033_bit_1 COL00033_bit_10 -COL00033_bit_2 -COL00033_bit_3 -COL00033_bit_4 COL00033_bit_5 COL00033_bit_6 COL00033_bit_7 -COL00033_bit_8 COL00033_bit_9 COL00034_bit0 -COL00034_bit1 -COL00034_bit10 -COL00034_bit11 -COL00034_bit12 -COL00034_bit13 -COL00034_bit14 -COL00034_bit15 -COL00034_bit16 -COL00034_bit17 -COL00034_bit18 -COL00034_bit19 -COL00034_bit2 -COL00034_bit3 -COL00034_bit4 -COL00034_bit5 -COL00034_bit6 -COL00034_bit7 -COL00034_bit8 -COL00034_bit9 -COL00034_bit_1 -COL00034_bit_10 -COL00034_bit_2 COL00034_bit_3 -COL00034_bit_4 COL00034_bit_5 -COL00034_bit_6 -COL00034_bit_7 -COL00034_bit_8 -COL00034_bit_9 -COL00035_bit0 -COL00035_bit1 -COL00035_bit10 -COL00035_bit11 -COL00035_bit12 -COL00035_bit13 -COL00035_bit14 -COL00035_bit15 -COL00035_bit16 -COL00035_bit17 -COL00035_bit18 -COL00035_bit19 -COL00035_bit2 -COL00035_bit3 -COL00035_bit4 -COL00035_bit5 -COL00035_bit6 -COL00035_bit7 -COL00035_bit8 -COL00035_bit9 -COL00035_bit_1 COL00035_bit_10 COL00035_bit_2 -COL00035_bit_3 COL00035_bit_4 -COL00035_bit_5 COL00035_bit_6 COL00035_bit_7 -COL00035_bit_8 -COL00035_bit_9 -COL00036_bit0 COL00036_bit1 -COL00036_bit10 -COL00036_bit11 -COL00036_bit12 -COL00036_bit13 -COL00036_bit14 -COL00036_bit15 -COL00036_bit16 -COL00036_bit17 -COL00036_bit18 -COL00036_bit19 -COL00036_bit2 -COL00036_bit3 -COL00036_bit4 -COL00036_bit5 -COL00036_bit6 COL00036_bit7 -COL00036_bit8 -COL00036_bit9 -COL00036_bit_1 COL00036_bit_10 COL00036_bit_2 -COL00036_bit_3 COL00036_bit_4 -COL00036_bit_5 COL00036_bit_6 COL00036_bit_7 COL00036_bit_8 -COL00036_bit_9 COL00037_bit0 COL00037_bit1 -COL00037_bit10 -COL00037_bit11 -COL00037_bit12 -COL00037_bit13 -COL00037_bit14 -COL00037_bit15 -COL00037_bit16 -COL00037_bit17 -COL00037_bit18 -COL00037_bit19 -COL00037_bit2 -COL00037_bit3 COL00037_bit4 COL00037_bit5 -COL00037_bit6 -COL00037_bit7 -COL00037_bit8 -COL00037_bit9 COL00037_bit_1 -COL00037_bit_10 COL00037_bit_2 COL00037_bit_3 COL00037_bit_4 COL00037_bit_5 COL00037_bit_6 COL00037_bit_7 -COL00037_bit_8 -COL00037_bit_9 COL00038_bit0 -COL00038_bit1 -COL00038_bit10 -COL00038_bit11 -COL00038_bit12 -COL00038_bit13 -COL00038_bit14 -COL00038_bit15 -COL00038_bit16 -COL00038_bit17 -COL00038_bit18 -COL00038_bit19 COL00038_bit2 -COL00038_bit3 COL00038_bit4 COL00038_bit5 -COL00038_bit6 COL00038_bit7 -COL00038_bit8 -COL00038_bit9 -COL00038_bit_1 -COL00038_bit_10 COL00038_bit_2 -COL00038_bit_3 -COL00038_bit_4 COL00038_bit_5 -COL00038_bit_6 COL00038_bit_7 -COL00038_bit_8 -COL00038_bit_9 -COL00039_bit0 -COL00039_bit1 -COL00039_bit10 -COL00039_bit11 -COL00039_bit12 -COL00039_bit13 -COL00039_bit14 -COL00039_bit15 -COL00039_bit16 -COL00039_bit17 -COL00039_bit18 -COL00039_bit19 COL00039_bit2 COL00039_bit3 -COL00039_bit4 -COL00039_bit5 -COL00039_bit6 COL00039_bit7 -COL00039_bit8 -COL00039_bit9 COL00039_bit_1 -COL00039_bit_10 -COL00039_bit_2 COL00039_bit_3 COL00039_bit_4 -COL00039_bit_5 -COL00039_bit_6 -COL00039_bit_7 COL00039_bit_8 COL00039_bit_9 -COL00040_bit0 -COL00040_bit1 -COL00040_bit10 -COL00040_bit11 -COL00040_bit12 -COL00040_bit13 -COL00040_bit14 -COL00040_bit15 -COL00040_bit16 -COL00040_bit17 -COL00040_bit18 -COL00040_bit19 COL00040_bit2 -COL00040_bit3 -COL00040_bit4 COL00040_bit5 COL00040_bit6 -COL00040_bit7 -COL00040_bit8 -COL00040_bit9 -COL00040_bit_1 -COL00040_bit_10 -COL00040_bit_2 -COL00040_bit_3 COL00040_bit_4 COL00040_bit_5 -COL00040_bit_6 -COL00040_bit_7 -COL00040_bit_8 COL00040_bit_9 -COL00041_bit0 -COL00041_bit1 -COL00041_bit10 -COL00041_bit11 -COL00041_bit12 -COL00041_bit13 -COL00041_bit14 -COL00041_bit15 -COL00041_bit16 -COL00041_bit17 -COL00041_bit18 -COL00041_bit19 -COL00041_bit2 -COL00041_bit3 COL00041_bit4 -COL00041_bit5 COL00041_bit6 COL00041_bit7 -COL00041_bit8 -COL00041_bit9 -COL00041_bit_1 COL00041_bit_10 COL00041_bit_2 COL00041_bit_3 -COL00041_bit_4 -COL00041_bit_5 COL00041_bit_6 COL00041_bit_7 COL00041_bit_8 -COL00041_bit_9 COL00042_bit0 COL00042_bit1 -COL00042_bit10 -COL00042_bit11 -COL00042_bit12 -COL00042_bit13 -COL00042_bit14 -COL00042_bit15 -COL00042_bit16 -COL00042_bit17 -COL00042_bit18 -COL00042_bit19 COL00042_bit2 -COL00042_bit3 -COL00042_bit4 -COL00042_bit5 -COL00042_bit6 COL00042_bit7 -COL00042_bit8 -COL00042_bit9 COL00042_bit_1 COL00042_bit_10 COL00042_bit_2 -COL00042_bit_3 COL00042_bit_4 -COL00042_bit_5 COL00042_bit_6 COL00042_bit_7 COL00042_bit_8 -COL00042_bit_9 -COL00043_bit0 -COL00043_bit1 -COL00043_bit10 -COL00043_bit11 -COL00043_bit12 -COL00043_bit13 -COL00043_bit14 -COL00043_bit15 -COL00043_bit16 -COL00043_bit17 -COL00043_bit18 -COL00043_bit19 COL00043_bit2 -COL00043_bit3 -COL00043_bit4 COL00043_bit5 COL00043_bit6 -COL00043_bit7 -COL00043_bit8 -COL00043_bit9 -COL00043_bit_1 -COL00043_bit_10 -COL00043_bit_2 -COL00043_bit_3 COL00043_bit_4 -COL00043_bit_5 -COL00043_bit_6 COL00043_bit_7 -COL00043_bit_8 COL00043_bit_9 -COL00044_bit0 COL00044_bit1 -COL00044_bit10 -COL00044_bit11 -COL00044_bit12 -COL00044_bit13 -COL00044_bit14 -COL00044_bit15 -COL00044_bit16 -COL00044_bit17 -COL00044_bit18 -COL00044_bit19 COL00044_bit2 COL00044_bit3 COL00044_bit4 -COL00044_bit5 -COL00044_bit6 COL00044_bit7 -COL00044_bit8 -COL00044_bit9 COL00044_bit_1 -COL00044_bit_10 COL00044_bit_2 -COL00044_bit_3 COL00044_bit_4 COL00044_bit_5 COL00044_bit_6 COL00044_bit_7 -COL00044_bit_8 COL00044_bit_9 COL00045_bit0 COL00045_bit1 -COL00045_bit10 -COL00045_bit11 -COL00045_bit12 -COL00045_bit13 -COL00045_bit14 -COL00045_bit15 -COL00045_bit16 -COL00045_bit17 -COL00045_bit18 -COL00045_bit19 -COL00045_bit2 COL00045_bit3 -COL00045_bit4 COL00045_bit5 -COL00045_bit6 -COL00045_bit7 -COL00045_bit8 -COL00045_bit9 COL00045_bit_1 -COL00045_bit_10 COL00045_bit_2 COL00045_bit_3 -COL00045_bit_4 COL00045_bit_5 -COL00045_bit_6 COL00045_bit_7 -COL00045_bit_8 COL00045_bit_9 COL00046_bit0 -COL00046_bit1 -COL00046_bit10 -COL00046_bit11 -COL00046_bit12 -COL00046_bit13 -COL00046_bit14 -COL00046_bit15 -COL00046_bit16 -COL00046_bit17 -COL00046_bit18 -COL00046_bit19 -COL00046_bit2 -COL00046_bit3 -COL00046_bit4 -COL00046_bit5 COL00046_bit6 -COL00046_bit7 -COL00046_bit8 -COL00046_bit9 -COL00046_bit_1 -COL00046_bit_10 -COL00046_bit_2 -COL00046_bit_3 -COL00046_bit_4 COL00046_bit_5 -COL00046_bit_6 -COL00046_bit_7 -COL00046_bit_8 COL00046_bit_9 -COL00047_bit0 -COL00047_bit1 -COL00047_bit10 -COL00047_bit11 -COL00047_bit12 -COL00047_bit13 -COL00047_bit14 -COL00047_bit15 -COL00047_bit16 -COL00047_bit17 -COL00047_bit18 -COL00047_bit19 COL00047_bit2 -COL00047_bit3 -COL00047_bit4 COL00047_bit5 -COL00047_bit6 -COL00047_bit7 -COL00047_bit8 -COL00047_bit9 -COL00047_bit_1 -COL00047_bit_10 -COL00047_bit_2 -COL00047_bit_3 COL00047_bit_4 COL00047_bit_5 -COL00047_bit_6 COL00047_bit_7 -COL00047_bit_8 COL00047_bit_9 COL00048_bit0 -COL00048_bit1 -COL00048_bit10 -COL00048_bit11 -COL00048_bit12 -COL00048_bit13 -COL00048_bit14 -COL00048_bit15 -COL00048_bit16 -COL00048_bit17 -COL00048_bit18 -COL00048_bit19 -COL00048_bit2 COL00048_bit3 COL00048_bit4 COL00048_bit5 -COL00048_bit6 -COL00048_bit7 -COL00048_bit8 -COL00048_bit9 -COL00048_bit_1 -COL00048_bit_10 -COL00048_bit_2 COL00048_bit_3 COL00048_bit_4 -COL00048_bit_5 -COL00048_bit_6 -COL00048_bit_7 COL00048_bit_8 -COL00048_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.94 0.91 1/54 14761
Raw data (stat): 14761 (runsolver) R 14760 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 968361666 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.91 2/54 14761
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 4920 0 0 0 987 12 0 0 25 0 1 0 968361666 15024128 2756 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3668 2756 301 301 0 3367 0
vsize: 14672
[startup+20.0003 s]
Raw data (loadavg): 0.93 0.95 0.91 2/54 14761
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 5353 0 0 0 1985 14 0 0 25 0 1 0 968361666 17887232 2994 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4367 2994 301 301 0 4066 0
vsize: 17468
[startup+30.0011 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 14761
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 5712 0 0 0 2983 15 0 0 25 0 1 0 968361666 18034688 3158 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4403 3158 301 301 0 4102 0
vsize: 17612
[startup+40.0012 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 14761
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 6051 0 0 0 3981 17 0 0 25 0 1 0 968361666 18034688 3237 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4403 3237 301 301 0 4102 0
vsize: 17612
[startup+50.0008 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 14761
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 6406 0 0 0 4978 19 0 0 25 0 1 0 968361666 18350080 3397 4294967295 134512640 135730672 3221224576 3221223184 134744838 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4480 3397 301 301 0 4179 0
vsize: 17920
[startup+60.0003 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 14761
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 6619 0 0 0 5977 21 0 0 25 0 1 0 968361666 18776064 3545 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4584 3545 301 301 0 4283 0
vsize: 18336
[startup+70.0007 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 14761
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 6921 0 0 0 6976 22 0 0 25 0 1 0 968361666 18776064 3652 4294967295 134512640 135730672 3221224576 3221223072 134747970 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4584 3652 301 301 0 4283 0
vsize: 18336
[startup+80.0003 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 14761
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 7113 0 0 0 7974 24 0 0 25 0 1 0 968361666 18911232 3714 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4617 3714 301 301 0 4316 0
vsize: 18468
[startup+89.9997 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 14761
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 7324 0 0 0 8974 25 0 0 25 0 1 0 968361666 19042304 3795 4294967295 134512640 135730672 3221224576 3221223072 134747474 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4649 3795 301 301 0 4348 0
vsize: 18596
[startup+99.9998 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 14761
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 8326 0 0 0 9969 29 0 0 25 0 1 0 968361666 22474752 3898 4294967295 134512640 135730672 3221224576 3221223120 134740206 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5487 3898 301 301 0 5186 0
vsize: 21948
[startup+110 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 14761
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 8476 0 0 0 10968 31 0 0 25 0 1 0 968361666 26669056 3983 4294967295 134512640 135730672 3221224576 3221223200 134748108 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6511 3983 301 301 0 6210 0
vsize: 26044
[startup+120 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 14761
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 8705 0 0 0 11967 32 0 0 25 0 1 0 968361666 26812416 4082 4294967295 134512640 135730672 3221224576 3221223072 134747587 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6546 4082 301 301 0 6245 0
vsize: 26184
[startup+130 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 14761
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 9949 0 0 0 12964 36 0 0 25 0 1 0 968361666 27213824 4205 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6644 4205 301 301 0 6343 0
vsize: 26576
[startup+140 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 14761
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 10154 0 0 0 13963 37 0 0 25 0 1 0 968361666 27344896 4278 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6676 4278 301 301 0 6375 0
vsize: 26704
[startup+150.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 14761
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 10251 0 0 0 14963 38 0 0 25 0 1 0 968361666 27480064 4309 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6709 4309 301 301 0 6408 0
vsize: 26836
[startup+160.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 14761
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 10362 0 0 0 15962 39 0 0 25 0 1 0 968361666 27611136 4354 4294967295 134512640 135730672 3221224576 3221223024 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6741 4354 301 301 0 6440 0
vsize: 26964
[startup+170.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 14761
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 10721 0 0 0 16961 40 0 0 25 0 1 0 968361666 27746304 4449 4294967295 134512640 135730672 3221224576 3221222992 134748166 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6774 4449 301 301 0 6473 0
vsize: 27096
[startup+180 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 14761
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 11139 0 0 0 17959 42 0 0 25 0 1 0 968361666 28016640 4735 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6840 4735 301 301 0 6539 0
vsize: 27360
[startup+190 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 14761
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 11696 0 0 0 18956 46 0 0 25 0 1 0 968361666 28151808 5094 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6873 5094 301 301 0 6572 0
vsize: 27492
[startup+200 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 14761
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 12241 0 0 0 19954 48 0 0 25 0 1 0 968361666 36675584 5507 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8954 5507 301 301 0 8653 0
vsize: 35816
[startup+210 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14761
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 12788 0 0 0 20951 51 0 0 25 0 1 0 968361666 36945920 5922 4294967295 134512640 135730672 3221224576 3221222608 134786278 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9020 5922 301 301 0 8719 0
vsize: 36080
[startup+220 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14761
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 13353 0 0 0 21949 53 0 0 25 0 1 0 968361666 37081088 6355 4294967295 134512640 135730672 3221224576 3221222608 134786278 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9053 6355 301 301 0 8752 0
vsize: 36212
[startup+230 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14761
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 13588 0 0 0 22948 55 0 0 25 0 1 0 968361666 37216256 6458 4294967295 134512640 135730672 3221224576 3221222864 134747728 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9086 6458 301 301 0 8785 0
vsize: 36344
[startup+239.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14761
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 13950 0 0 0 23946 57 0 0 25 0 1 0 968361666 37363712 6688 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9122 6688 301 301 0 8821 0
vsize: 36488
[startup+249.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14761
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 14347 0 0 0 24944 60 0 0 25 0 1 0 968361666 37498880 7019 4294967295 134512640 135730672 3221224576 3221222864 134747744 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9155 7019 301 301 0 8854 0
vsize: 36620
[startup+259.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14761
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 14594 0 0 0 25942 61 0 0 25 0 1 0 968361666 37634048 7134 4294967295 134512640 135730672 3221224576 3221222992 134748145 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9188 7134 301 301 0 8887 0
vsize: 36752
[startup+269.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14761
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 14681 0 0 0 26942 63 0 0 25 0 1 0 968361666 37634048 7155 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9188 7155 301 301 0 8887 0
vsize: 36752
[startup+279.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14761
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 14799 0 0 0 27940 64 0 0 25 0 1 0 968361666 37769216 7207 4294967295 134512640 135730672 3221224576 3221223056 134748554 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9221 7207 301 301 0 8920 0
vsize: 36884
[startup+289.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14761
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 15171 0 0 0 28939 66 0 0 25 0 1 0 968361666 37769216 7513 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9221 7513 301 301 0 8920 0
vsize: 36884
[startup+299.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14761
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 15457 0 0 0 29938 67 0 0 25 0 1 0 968361666 37904384 7733 4294967295 134512640 135730672 3221224576 3221222912 134740310 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9254 7733 301 301 0 8953 0
vsize: 37016
[startup+309.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14761
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 15786 0 0 0 30936 69 0 0 25 0 1 0 968361666 54816768 7996 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13383 7996 301 301 0 13082 0
vsize: 53532
[startup+319.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14761
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 16083 0 0 0 31935 71 0 0 25 0 1 0 968361666 54816768 8227 4294967295 134512640 135730672 3221224576 3221222864 134747905 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13383 8227 301 301 0 13082 0
vsize: 53532
[startup+329.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14761
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 16463 0 0 0 32933 73 0 0 25 0 1 0 968361666 54956032 8475 4294967295 134512640 135730672 3221224576 3221222864 134747570 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13417 8475 301 301 0 13116 0
vsize: 53668
[startup+339.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14761
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 16705 0 0 0 33932 74 0 0 25 0 1 0 968361666 54956032 8651 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13417 8651 301 301 0 13116 0
vsize: 53668
[startup+349.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14761
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 16927 0 0 0 34931 76 0 0 25 0 1 0 968361666 55099392 8807 4294967295 134512640 135730672 3221224576 3221223024 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13452 8807 301 301 0 13151 0
vsize: 53808
[startup+359.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14761
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 17353 0 0 0 35930 77 0 0 25 0 1 0 968361666 55238656 9101 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13486 9101 301 301 0 13185 0
vsize: 53944
[startup+370 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14761
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 17676 0 0 0 36928 79 0 0 25 0 1 0 968361666 55238656 9358 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13486 9358 301 301 0 13185 0
vsize: 53944
[startup+379.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14761
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 17943 0 0 0 37927 81 0 0 25 0 1 0 968361666 55238656 9559 4294967295 134512640 135730672 3221224576 3221222864 134747744 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13486 9559 301 301 0 13185 0
vsize: 53944
[startup+389.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14761
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 18265 0 0 0 38925 83 0 0 25 0 1 0 968361666 55382016 9815 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13521 9815 301 301 0 13220 0
vsize: 54084
[startup+399.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14761
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 18619 0 0 0 39924 84 0 0 25 0 1 0 968361666 55382016 10103 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13521 10103 301 301 0 13220 0
vsize: 54084
[startup+409.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14761
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 18867 0 0 0 40923 86 0 0 25 0 1 0 968361666 55517184 10285 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13554 10285 301 301 0 13253 0
vsize: 54216
[startup+419.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14761
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 19156 0 0 0 41921 88 0 0 25 0 1 0 968361666 55517184 10574 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13554 10574 301 301 0 13253 0
vsize: 54216
[startup+429.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14761
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 19451 0 0 0 42920 89 0 0 25 0 1 0 968361666 55660544 10803 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13589 10803 301 301 0 13288 0
vsize: 54356
[startup+440.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14761
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 19627 0 0 0 43921 90 0 0 25 0 1 0 968361666 55816192 10913 4294967295 134512640 135730672 3221224576 3221223024 134734835 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13627 10913 301 301 0 13326 0
vsize: 54508
[startup+450.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14761
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 19772 0 0 0 44920 90 0 0 25 0 1 0 968361666 55816192 10992 4294967295 134512640 135730672 3221224576 3221223024 134748676 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13627 10992 301 301 0 13326 0
vsize: 54508
[startup+460.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14761
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 20100 0 0 0 45920 91 0 0 25 0 1 0 968361666 55816192 11254 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13627 11254 301 301 0 13326 0
vsize: 54508
[startup+470.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14761
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 20422 0 0 0 46918 93 0 0 25 0 1 0 968361666 55959552 11510 4294967295 134512640 135730672 3221224576 3221222864 134747728 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13662 11510 301 301 0 13361 0
vsize: 54648
[startup+480.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14761
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 20629 0 0 0 47918 94 0 0 25 0 1 0 968361666 55959552 11717 4294967295 134512640 135730672 3221224576 3221222864 134747744 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13662 11717 301 301 0 13361 0
vsize: 54648
[startup+490.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14761
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 20979 0 0 0 48916 96 0 0 25 0 1 0 968361666 56094720 11935 4294967295 134512640 135730672 3221224576 3221222608 134786455 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13695 11935 301 301 0 13394 0
vsize: 54780
[startup+500.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14761
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 21179 0 0 0 49915 97 0 0 25 0 1 0 968361666 56094720 12069 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13695 12069 301 301 0 13394 0
vsize: 54780
[startup+510.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14761
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 21611 0 0 0 50914 99 0 0 25 0 1 0 968361666 89649152 12435 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21887 12435 301 301 0 21586 0
vsize: 87548
[startup+520.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14761
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 21871 0 0 0 51913 100 0 0 25 0 1 0 968361666 89792512 12695 4294967295 134512640 135730672 3221224576 3221222864 134747563 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21922 12695 301 301 0 21621 0
vsize: 87688
[startup+530.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14761
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 22148 0 0 0 52910 102 0 0 25 0 1 0 968361666 89927680 12906 4294967295 134512640 135730672 3221224576 3221223024 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21955 12906 301 301 0 21654 0
vsize: 87820
[startup+540.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14761
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 22501 0 0 0 53909 104 0 0 25 0 1 0 968361666 89927680 13127 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21955 13127 301 301 0 21654 0
vsize: 87820
[startup+550.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14761
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 22583 0 0 0 54909 104 0 0 25 0 1 0 968361666 89927680 13143 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21955 13143 301 301 0 21654 0
vsize: 87820
[startup+560.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14761
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 22669 0 0 0 55908 105 0 0 25 0 1 0 968361666 90066944 13163 4294967295 134512640 135730672 3221224576 3221222988 134730931 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21989 13163 301 301 0 21688 0
vsize: 87956
[startup+570.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14761
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 22789 0 0 0 56907 106 0 0 25 0 1 0 968361666 90066944 13217 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21989 13217 301 301 0 21688 0
vsize: 87956
[startup+580.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14761
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 23131 0 0 0 57906 107 0 0 25 0 1 0 968361666 90066944 13427 4294967295 134512640 135730672 3221224576 3221222960 134763776 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21989 13427 301 301 0 21688 0
vsize: 87956
[startup+590.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14761
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 23289 0 0 0 58906 108 0 0 25 0 1 0 968361666 90202112 13519 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22022 13519 301 301 0 21721 0
vsize: 88088
[startup+600.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14761
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 23531 0 0 0 59905 109 0 0 25 0 1 0 968361666 90365952 13761 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22062 13761 301 301 0 21761 0
vsize: 88248
[startup+610.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14761
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 23916 0 0 0 60904 111 0 0 25 0 1 0 968361666 90365952 14014 4294967295 134512640 135730672 3221224576 3221223024 134748676 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22062 14014 301 301 0 21761 0
vsize: 88248
[startup+620.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14761
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 24116 0 0 0 61903 112 0 0 25 0 1 0 968361666 90513408 14214 4294967295 134512640 135730672 3221224576 3221222880 134746205 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22098 14214 301 301 0 21797 0
vsize: 88392
[startup+630.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14761
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 24371 0 0 0 62902 114 0 0 25 0 1 0 968361666 90513408 14403 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22098 14403 301 301 0 21797 0
vsize: 88392
[startup+640.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14761
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 24491 0 0 0 63901 114 0 0 25 0 1 0 968361666 90648576 14457 4294967295 134512640 135730672 3221224576 3221222864 134747744 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22131 14457 301 301 0 21830 0
vsize: 88524
[startup+650.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14761
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 24503 0 0 0 64901 115 0 0 25 0 1 0 968361666 90648576 14469 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22131 14469 301 301 0 21830 0
vsize: 88524
[startup+660.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14761
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 24579 0 0 0 65901 116 0 0 25 0 1 0 968361666 90648576 14479 4294967295 134512640 135730672 3221224576 3221222864 134747549 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22131 14479 301 301 0 21830 0
vsize: 88524
[startup+670.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14761
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 24660 0 0 0 66900 116 0 0 25 0 1 0 968361666 90796032 14494 4294967295 134512640 135730672 3221224576 3221222864 134747570 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22167 14494 301 301 0 21866 0
vsize: 88668
[startup+680.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14761
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 24670 0 0 0 67900 117 0 0 25 0 1 0 968361666 90796032 14504 4294967295 134512640 135730672 3221224576 3221222880 134746183 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22167 14504 301 301 0 21866 0
vsize: 88668
[startup+690.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14761
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 24895 0 0 0 68900 118 0 0 25 0 1 0 968361666 90796032 14597 4294967295 134512640 135730672 3221224576 3221222864 134747570 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22167 14597 301 301 0 21866 0
vsize: 88668
[startup+700.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14761
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 25060 0 0 0 69899 119 0 0 25 0 1 0 968361666 90935296 14762 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22201 14762 301 301 0 21900 0
vsize: 88804
[startup+710.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14761
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 25302 0 0 0 70899 120 0 0 25 0 1 0 968361666 90935296 15004 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22201 15004 301 301 0 21900 0
vsize: 88804
[startup+720.01 s]
Raw data (loadavg): 1.15 1.00 0.92 2/58 14804
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 25561 0 0 0 71898 121 0 0 25 0 1 0 968361666 91070464 15263 4294967295 134512640 135730672 3221224576 3221222864 134747728 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22234 15263 301 301 0 21933 0
vsize: 88936
[startup+730.01 s]
Raw data (loadavg): 1.20 1.02 0.93 2/54 14814
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 25755 0 0 0 72894 122 0 0 25 0 1 0 968361666 91070464 15325 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22234 15325 301 301 0 21933 0
vsize: 88936
[startup+740.011 s]
Raw data (loadavg): 1.17 1.02 0.93 2/54 14814
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 25960 0 0 0 73893 123 0 0 25 0 1 0 968361666 91070464 15530 4294967295 134512640 135730672 3221224576 3221222864 134747735 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22234 15530 301 301 0 21933 0
vsize: 88936
[startup+750.012 s]
Raw data (loadavg): 1.14 1.02 0.93 2/54 14814
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 26291 0 0 0 74892 125 0 0 25 0 1 0 968361666 91070464 15795 4294967295 134512640 135730672 3221224576 3221223024 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22234 15795 301 301 0 21933 0
vsize: 88936
[startup+760.012 s]
Raw data (loadavg): 1.12 1.02 0.93 2/54 14814
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 26570 0 0 0 75891 126 0 0 25 0 1 0 968361666 91205632 16008 4294967295 134512640 135730672 3221224576 3221222880 134746205 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22267 16008 301 301 0 21966 0
vsize: 89068
[startup+770.012 s]
Raw data (loadavg): 1.10 1.02 0.93 2/54 14814
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 27009 0 0 0 76891 127 0 0 25 0 1 0 968361666 91205632 16381 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22267 16381 301 301 0 21966 0
vsize: 89068
[startup+780.012 s]
Raw data (loadavg): 1.09 1.01 0.93 2/54 14814
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 27255 0 0 0 77890 127 0 0 25 0 1 0 968361666 91340800 16561 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22300 16561 301 301 0 21999 0
vsize: 89200
[startup+790.012 s]
Raw data (loadavg): 1.07 1.01 0.93 2/54 14814
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 27342 0 0 0 78890 128 0 0 25 0 1 0 968361666 91340800 16582 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22300 16582 301 301 0 21999 0
vsize: 89200
[startup+800.013 s]
Raw data (loadavg): 1.06 1.01 0.93 2/54 14816
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 27418 0 0 0 79889 129 0 0 25 0 1 0 968361666 91340800 16592 4294967295 134512640 135730672 3221224576 3221222912 134740242 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22300 16592 301 301 0 21999 0
vsize: 89200
[startup+810.013 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 14816
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 27436 0 0 0 80889 129 0 0 25 0 1 0 968361666 91467776 16610 4294967295 134512640 135730672 3221224576 3221223024 134734761 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22331 16610 301 301 0 22030 0
vsize: 89324
[startup+820.013 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 14816
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 27509 0 0 0 81889 130 0 0 25 0 1 0 968361666 91467776 16617 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22331 16617 301 301 0 22030 0
vsize: 89324
[startup+830.013 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 14816
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 27593 0 0 0 82889 131 0 0 25 0 1 0 968361666 91607040 16635 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22365 16635 301 301 0 22064 0
vsize: 89460
[startup+840.013 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 14816
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 27677 0 0 0 83888 131 0 0 25 0 1 0 968361666 91607040 16653 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22365 16653 301 301 0 22064 0
vsize: 89460
[startup+850.013 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 14816
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 27763 0 0 0 84888 132 0 0 25 0 1 0 968361666 91746304 16673 4294967295 134512640 135730672 3221224576 3221222864 134747735 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22399 16673 301 301 0 22098 0
vsize: 89596
[startup+860.014 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 14816
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 27849 0 0 0 85888 132 0 0 25 0 1 0 968361666 91746304 16693 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22399 16693 301 301 0 22098 0
vsize: 89596
[startup+870.014 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 14816
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 27922 0 0 0 86888 133 0 0 25 0 1 0 968361666 91746304 16700 4294967295 134512640 135730672 3221224576 3221222688 134732625 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22399 16700 301 301 0 22098 0
vsize: 89596
[startup+880.014 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 14816
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 28143 0 0 0 87886 135 0 0 25 0 1 0 968361666 91746304 16855 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22399 16855 301 301 0 22098 0
vsize: 89596
[startup+890.015 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 14816
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 28346 0 0 0 88885 136 0 0 25 0 1 0 968361666 91869184 17058 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22429 17058 301 301 0 22128 0
vsize: 89716
[startup+900.014 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 14816
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 28534 0 0 0 89885 137 0 0 25 0 1 0 968361666 91869184 17114 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22429 17114 301 301 0 22128 0
vsize: 89716
[startup+910.015 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 14816
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 28542 0 0 0 90884 138 0 0 25 0 1 0 968361666 91869184 17122 4294967295 134512640 135730672 3221224576 3221222880 134746201 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22429 17122 301 301 0 22128 0
vsize: 89716
[startup+920.015 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 14816
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 28820 0 0 0 91883 139 0 0 25 0 1 0 968361666 91869184 17268 4294967295 134512640 135730672 3221224576 3221222864 134747575 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22429 17268 301 301 0 22128 0
vsize: 89716
[startup+930.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 14816
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 29165 0 0 0 92882 140 0 0 25 0 1 0 968361666 92000256 17547 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22461 17547 301 301 0 22160 0
vsize: 89844
[startup+940.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 14816
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 29471 0 0 0 93881 142 0 0 25 0 1 0 968361666 92147712 17787 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22497 17787 301 301 0 22196 0
vsize: 89988
[startup+950.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 14816
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 29648 0 0 0 94881 143 0 0 25 0 1 0 968361666 92147712 17898 4294967295 134512640 135730672 3221224576 3221222864 134747823 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22497 17898 301 301 0 22196 0
vsize: 89988
[startup+960.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 14816
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 29964 0 0 0 95880 144 0 0 25 0 1 0 968361666 92147712 18148 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22497 18148 301 301 0 22196 0
vsize: 89988
[startup+970.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 14816
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 30257 0 0 0 96879 145 0 0 25 0 1 0 968361666 92147712 18375 4294967295 134512640 135730672 3221224576 3221222864 134747777 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22497 18375 301 301 0 22196 0
vsize: 89988
[startup+980.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 14816
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 30568 0 0 0 97878 147 0 0 25 0 1 0 968361666 92340224 18620 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22544 18620 301 301 0 22243 0
vsize: 90176
[startup+990.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 14816
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 30774 0 0 0 98876 148 0 0 25 0 1 0 968361666 92340224 18760 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22544 18760 301 301 0 22243 0
vsize: 90176
[startup+1000.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 14816
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 30996 0 0 0 99875 150 0 0 25 0 1 0 968361666 92340224 18982 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22544 18982 301 301 0 22243 0
vsize: 90176
[startup+1010.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 14816
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 31345 0 0 0 100875 151 0 0 25 0 1 0 968361666 92610560 19265 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22610 19265 301 301 0 22309 0
vsize: 90440
[startup+1020.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 14816
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 31775 0 0 0 101873 153 0 0 25 0 1 0 968361666 92610560 19563 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22610 19563 301 301 0 22309 0
vsize: 90440
[startup+1030.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 14818
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 32118 0 0 0 102873 154 0 0 25 0 1 0 968361666 92749824 19840 4294967295 134512640 135730672 3221224576 3221222864 134747744 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22644 19840 301 301 0 22343 0
vsize: 90576
[startup+1040.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 14818
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 32361 0 0 0 103872 155 0 0 25 0 1 0 968361666 92749824 20017 4294967295 134512640 135730672 3221224576 3221222864 134747744 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22644 20017 301 301 0 22343 0
vsize: 90576
[startup+1050.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 14818
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 32380 0 0 0 104872 155 0 0 25 0 1 0 968361666 92749824 20036 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22644 20036 301 301 0 22343 0
vsize: 90576
[startup+1060.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 14818
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 32461 0 0 0 105871 156 0 0 25 0 1 0 968361666 92749824 20051 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22644 20051 301 301 0 22343 0
vsize: 90576
[startup+1070.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 14818
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 32537 0 0 0 106871 157 0 0 25 0 1 0 968361666 92897280 20061 4294967295 134512640 135730672 3221224576 3221222864 134747788 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22680 20061 301 301 0 22379 0
vsize: 90720
[startup+1080.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 14818
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 32552 0 0 0 107870 158 0 0 25 0 1 0 968361666 92897280 20076 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22680 20076 301 301 0 22379 0
vsize: 90720
[startup+1090.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 14818
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 32632 0 0 0 108871 158 0 0 25 0 1 0 968361666 92897280 20090 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22680 20090 301 301 0 22379 0
vsize: 90720
[startup+1100.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 14818
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 32701 0 0 0 109869 159 0 0 25 0 1 0 968361666 92897280 20093 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22680 20093 301 301 0 22379 0
vsize: 90720
[startup+1110.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 14818
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 32716 0 0 0 110869 159 0 0 25 0 1 0 968361666 93032448 20108 4294967295 134512640 135730672 3221224576 3221222592 134813941 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22713 20108 301 301 0 22412 0
vsize: 90852
[startup+1120.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 14818
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 32792 0 0 0 111869 160 0 0 25 0 1 0 968361666 93032448 20118 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22713 20118 301 301 0 22412 0
vsize: 90852
[startup+1130.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 14818
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 32865 0 0 0 112869 161 0 0 25 0 1 0 968361666 93032448 20125 4294967295 134512640 135730672 3221224576 3221222864 134747570 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22713 20125 301 301 0 22412 0
vsize: 90852
[startup+1140.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 14818
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 32954 0 0 0 113868 162 0 0 25 0 1 0 968361666 93184000 20148 4294967295 134512640 135730672 3221224576 3221222864 134747714 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22750 20148 301 301 0 22449 0
vsize: 91000
[startup+1150.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 14818
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 32966 0 0 0 114868 162 0 0 25 0 1 0 968361666 93184000 20160 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22750 20160 301 301 0 22449 0
vsize: 91000
[startup+1160.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 14818
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 32977 0 0 0 115868 163 0 0 25 0 1 0 968361666 93184000 20171 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22750 20171 301 301 0 22449 0
vsize: 91000
[startup+1170.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 14818
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 33067 0 0 0 116867 164 0 0 25 0 1 0 968361666 93319168 20195 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22783 20195 301 301 0 22482 0
vsize: 91132
[startup+1180.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 14818
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 33075 0 0 0 117867 164 0 0 25 0 1 0 968361666 93319168 20203 4294967295 134512640 135730672 3221224576 3221222880 134746183 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22783 20203 301 301 0 22482 0
vsize: 91132
[startup+1190.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 14818
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 33148 0 0 0 118867 164 0 0 25 0 1 0 968361666 93319168 20210 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22783 20210 301 301 0 22482 0
vsize: 91132
[startup+1200.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 14818
Raw data (stat): 14761 (pb2sat-v2) R 14760 25568 25567 0 -1 0 33217 0 0 0 119866 165 0 0 25 0 1 0 968361666 93454336 20213 4294967295 134512640 135730672 3221224576 3221222752 134761573 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22816 20213 301 301 0 22515 0
vsize: 91264
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.18 s]
Raw data (loadavg): 1.00 1.00 0.93 1/54 14818
Raw data (stat): 14761 (pb2sat-v2) Z 14760 25568 25567 0 -1 12 33219 0 0 0 119878 170 0 0 25 0 1 0 968361666 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): 1200.18
CPU time (s): 1200.48
CPU user time (s): 1198.78
CPU system time (s): 1.70074
CPU usage (%): 100.025
Max. virtual memory (Kb): 91264
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-40000
#### END VERIFIER DATA ####