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/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos1.opb
MD5SUM	3fce91583b30a82646d8d8e778b97a89
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	19
Optimality of the best value was proved	NO
Number of terms in the objective function	288
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	288
Number of bits of the sum of numbers in the objective function	9
Biggest number in a constraint	5
Number of bits of the biggest number in a constraint	3
Biggest sum of numbers in a constraint	288
Number of bits of the biggest sum of numbers	9
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.05884
Number of variables	2112
Total number of constraints	7132
Number of constraints which are clauses	4128
Number of constraints which are cardinality constraints (but not clauses)	2328
Number of constraints which are nor clauses,nor cardinality constraints	676
Minimum length of a constraint	1
Maximum length of a constraint	32
Trace number 42618

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        664532 kB
Buffers:         30612 kB
Cached:         317236 kB
SwapCached:        924 kB
Active:          26712 kB
Inactive:       323292 kB
HighTotal:      131008 kB
HighFree:         8848 kB
LowTotal:       903652 kB
LowFree:        655684 kB
SwapTotal:     2097136 kB
SwapFree:      2095228 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4996 kB
Slab:            14396 kB
Committed_AS:    71904 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 12:56:39 (client local time) WITH STATUS 10 IN 1200.59 SECONDS
stats: 25827 0 1200.59 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: 129
c small objective detected
c CONFLICT during preprocess 
c [startup+487.436 s]  setting bit 8 to 0
c CONFLICT during preprocess 
c [startup+487.843 s]  setting bit 7 to 0
c got solution with objective value: 49
c [startup+489.255 s]  setting bit 6 to 1

c Decision: 41354/85233	Time: 26.8939/86400
c Decision: 41741/85233	Time: 167.02/86400
c Decision: 41913/85233	Time: 346.91/86400
c Decision: 41913/85233	Time: 377.024/86400
c Decision: 41934/85233	Time: 422.54/86400
c Decision: 42084/85233	Time: 551.017/86400
c Decision: 42190/85233	Time: 650.186/86400
c Decision: 42190/85233	Time: 686.33/86400s SATISFIABLE
v -C0001_bit0 -C0002_bit0 -C0003_bit0 -C0004_bit0 -C0005_bit0 -C0006_bit0 -C0007_bit0 -C0008_bit0 -C0009_bit0 -C0010_bit0 -C0011_bit0 -C0012_bit0 -C0013_bit0 -C0014_bit0 -C0015_bit0 -C0016_bit0 -C0017_bit0 -C0018_bit0 -C0019_bit0 C0020_bit0 -C0021_bit0 -C0022_bit0 -C0023_bit0 -C0024_bit0 -C0025_bit0 -C0026_bit0 -C0027_bit0 -C0028_bit0 -C0029_bit0 -C0030_bit0 -C0031_bit0 -C0032_bit0 -C0033_bit0 -C0034_bit0 -C0035_bit0 -C0036_bit0 -C0037_bit0 -C0038_bit0 -C0039_bit0 -C0040_bit0 -C0041_bit0 -C0042_bit0 -C0043_bit0 -C0044_bit0 -C0045_bit0 -C0046_bit0 -C0047_bit0 -C0048_bit0 -C0049_bit0 -C0050_bit0 -C0051_bit0 C0052_bit0 -C0053_bit0 -C0054_bit0 -C0055_bit0 C0056_bit0 -C0057_bit0 C0058_bit0 -C0059_bit0 -C0060_bit0 -C0061_bit0 -C0062_bit0 -C0063_bit0 -C0064_bit0 -C0065_bit0 -C0066_bit0 -C0067_bit0 -C0068_bit0 -C0069_bit0 -C0070_bit0 -C0071_bit0 -C0072_bit0 -C0073_bit0 -C0074_bit0 -C0075_bit0 -C0076_bit0 -C0077_bit0 -C0078_bit0 -C0079_bit0 -C0080_bit0 -C0081_bit0 -C0082_bit0 -C0083_bit0 -C0084_bit0 -C0085_bit0 -C0086_bit0 -C0087_bit0 -C0088_bit0 -C0089_bit0 -C0090_bit0 -C0091_bit0 -C0092_bit0 C0093_bit0 -C0094_bit0 -C0095_bit0 -C0096_bit0 -C0097_bit0 -C0098_bit0 -C0099_bit0 -C0100_bit0 -C0101_bit0 C0102_bit0 -C0103_bit0 -C0104_bit0 -C0105_bit0 -C0106_bit0 -C0107_bit0 -C0108_bit0 -C0109_bit0 -C0110_bit0 -C0111_bit0 -C0112_bit0 -C0113_bit0 -C0114_bit0 -C0115_bit0 -C0116_bit0 -C0117_bit0 -C0118_bit0 -C0119_bit0 -C0120_bit0 -C0121_bit0 -C0122_bit0 -C0123_bit0 -C0124_bit0 C0125_bit0 -C0126_bit0 -C0127_bit0 -C0128_bit0 -C0129_bit0 -C0130_bit0 -C0131_bit0 -C0132_bit0 -C0133_bit0 -C0134_bit0 -C0135_bit0 -C0136_bit0 -C0137_bit0 -C0138_bit0 -C0139_bit0 -C0140_bit0 -C0141_bit0 -C0142_bit0 -C0143_bit0 -C0144_bit0 -C0145_bit0 -C0146_bit0 -C0147_bit0 -C0148_bit0 -C0149_bit0 -C0150_bit0 -C0151_bit0 -C0152_bit0 -C0153_bit0 -C0154_bit0 -C0155_bit0 -C0156_bit0 -C0157_bit0 -C0158_bit0 -C0159_bit0 -C0160_bit0 -C0161_bit0 -C0162_bit0 -C0163_bit0 -C0164_bit0 -C0165_bit0 -C0166_bit0 -C0167_bit0 -C0168_bit0 -C0169_bit0 -C0170_bit0 -C0171_bit0 -C0172_bit0 -C0173_bit0 -C0174_bit0 -C0175_bit0 -C0176_bit0 C0177_bit0 -C0178_bit0 -C0179_bit0 -C0180_bit0 -C0181_bit0 -C0182_bit0 -C0183_bit0 -C0184_bit0 -C0185_bit0 -C0186_bit0 -C0187_bit0 -C0188_bit0 -C0189_bit0 -C0190_bit0 -C0191_bit0 -C0192_bit0 -C0193_bit0 -C0194_bit0 -C0195_bit0 -C0196_bit0 -C0197_bit0 -C0198_bit0 -C0199_bit0 -C0200_bit0 -C0201_bit0 -C0202_bit0 -C0203_bit0 -C0204_bit0 -C0205_bit0 -C0206_bit0 -C0207_bit0 -C0208_bit0 -C0209_bit0 -C0210_bit0 -C0211_bit0 -C0212_bit0 -C0213_bit0 -C0214_bit0 C0215_bit0 -C0216_bit0 -C0217_bit0 -C0218_bit0 -C0219_bit0 -C0220_bit0 -C0221_bit0 C0222_bit0 -C0223_bit0 -C0224_bit0 -C0225_bit0 -C0226_bit0 -C0227_bit0 -C0228_bit0 -C0229_bit0 -C0230_bit0 -C0231_bit0 -C0232_bit0 -C0233_bit0 -C0234_bit0 -C0235_bit0 -C0236_bit0 -C0237_bit0 -C0238_bit0 -C0239_bit0 -C0240_bit0 -C0241_bit0 -C0242_bit0 -C0243_bit0 -C0244_bit0 -C0245_bit0 -C0246_bit0 -C0247_bit0 -C0248_bit0 -C0249_bit0 -C0250_bit0 -C0251_bit0 -C0252_bit0 C0253_bit0 -C0254_bit0 C0255_bit0 -C0256_bit0 -C0257_bit0 -C0258_bit0 C0259_bit0 -C0260_bit0 -C0261_bit0 -C0262_bit0 -C0263_bit0 -C0264_bit0 -C0265_bit0 -C0266_bit0 C0267_bit0 -C0268_bit0 -C0269_bit0 -C0270_bit0 -C0271_bit0 -C0272_bit0 -C0273_bit0 -C0274_bit0 -C0275_bit0 -C0276_bit0 -C0277_bit0 -C0278_bit0 -C0279_bit0 -C0280_bit0 -C0281_bit0 -C0282_bit0 -C0283_bit0 -C0284_bit0 -C0285_bit0 -C0286_bit0 -C0287_bit0 -C0288_bit0 -C0289_bit0 -C0290_bit0 -C0291_bit0 -C0292_bit0 -C0293_bit0 -C0294_bit0 C0295_bit0 -C0296_bit0 -C0297_bit0 -C0298_bit0 -C0299_bit0 -C0300_bit0 -C0301_bit0 C0302_bit0 C0303_bit0 -C0304_bit0 -C0305_bit0 -C0306_bit0 -C0307_bit0 -C0308_bit0 -C0309_bit0 -C0310_bit0 -C0311_bit0 -C0312_bit0 -C0313_bit0 -C0314_bit0 -C0315_bit0 -C0316_bit0 -C0317_bit0 -C0318_bit0 -C0319_bit0 -C0320_bit0 -C0321_bit0 -C0322_bit0 -C0323_bit0 -C0324_bit0 -C0325_bit0 -C0326_bit0 -C0327_bit0 -C0328_bit0 -C0329_bit0 C0330_bit0 C0331_bit0 -C0332_bit0 -C0333_bit0 -C0334_bit0 -C0335_bit0 -C0336_bit0 -C0337_bit0 -C0338_bit0 -C0339_bit0 -C0340_bit0 -C0341_bit0 -C0342_bit0 -C0343_bit0 -C0344_bit0 -C0345_bit0 -C0346_bit0 -C0347_bit0 -C0348_bit0 -C0349_bit0 -C0350_bit0 -C0351_bit0 -C0352_bit0 -C0353_bit0 -C0354_bit0 -C0355_bit0 -C0356_bit0 -C0357_bit0 C0358_bit0 C0359_bit0 -C0360_bit0 -C0361_bit0 -C0362_bit0 -C0363_bit0 -C0364_bit0 -C0365_bit0 -C0366_bit0 -C0367_bit0 -C0368_bit0 -C0369_bit0 -C0370_bit0 -C0371_bit0 -C0372_bit0 -C0373_bit0 -C0374_bit0 -C0375_bit0 -C0376_bit0 -C0377_bit0 -C0378_bit0 -C0379_bit0 -C0380_bit0 -C0381_bit0 -C0382_bit0 -C0383_bit0 -C0384_bit0 -C0385_bit0 -C0386_bit0 -C0387_bit0 -C0388_bit0 -C0389_bit0 -C0390_bit0 -C0391_bit0 -C0392_bit0 -C0393_bit0 -C0394_bit0 -C0395_bit0 -C0396_bit0 -C0397_bit0 -C0398_bit0 -C0399_bit0 -C0400_bit0 C0401_bit0 -C0402_bit0 -C0403_bit0 -C0404_bit0 -C0405_bit0 -C0406_bit0 -C0407_bit0 -C0408_bit0 -C0409_bit0 -C0410_bit0 -C0411_bit0 -C0412_bit0 -C0413_bit0 -C0414_bit0 -C0415_bit0 -C0416_bit0 -C0417_bit0 -C0418_bit0 -C0419_bit0 -C0420_bit0 -C0421_bit0 -C0422_bit0 -C0423_bit0 -C0424_bit0 -C0425_bit0 -C0426_bit0 -C0427_bit0 -C0428_bit0 -C0429_bit0 -C0430_bit0 -C0431_bit0 -C0432_bit0 -C0433_bit0 -C0434_bit0 -C0435_bit0 -C0436_bit0 -C0437_bit0 -C0438_bit0 -C0439_bit0 -C0440_bit0 -C0441_bit0 C0442_bit0 -C0443_bit0 -C0444_bit0 -C0445_bit0 -C0446_bit0 -C0447_bit0 -C0448_bit0 -C0449_bit0 -C0450_bit0 -C0451_bit0 -C0452_bit0 -C0453_bit0 -C0454_bit0 -C0455_bit0 -C0456_bit0 -C0457_bit0 -C0458_bit0 -C0459_bit0 -C0460_bit0 -C0461_bit0 -C0462_bit0 -C0463_bit0 -C0464_bit0 -C0465_bit0 -C0466_bit0 -C0467_bit0 -C0468_bit0 -C0469_bit0 -C0470_bit0 -C0471_bit0 -C0472_bit0 -C0473_bit0 -C0474_bit0 -C0475_bit0 -C0476_bit0 -C0477_bit0 -C0478_bit0 -C0479_bit0 -C0480_bit0 -C0481_bit0 -C0482_bit0 -C0483_bit0 -C0484_bit0 -C0485_bit0 -C0486_bit0 -C0487_bit0 -C0488_bit0 -C0489_bit0 -C0490_bit0 -C0491_bit0 -C0492_bit0 C0493_bit0 C0494_bit0 -C0495_bit0 -C0496_bit0 -C0497_bit0 -C0498_bit0 -C0499_bit0 -C0500_bit0 -C0501_bit0 -C0502_bit0 -C0503_bit0 -C0504_bit0 C0505_bit0 C0506_bit0 -C0507_bit0 -C0508_bit0 -C0509_bit0 -C0510_bit0 -C0511_bit0 -C0512_bit0 -C0513_bit0 -C0514_bit0 -C0515_bit0 -C0516_bit0 -C0517_bit0 -C0518_bit0 -C0519_bit0 -C0520_bit0 -C0521_bit0 -C0522_bit0 -C0523_bit0 -C0524_bit0 -C0525_bit0 -C0526_bit0 -C0527_bit0 -C0528_bit0 -C0529_bit0 -C0530_bit0 C0531_bit0 -C0532_bit0 C0533_bit0 C0534_bit0 -C0535_bit0 -C0536_bit0 -C0537_bit0 -C0538_bit0 -C0539_bit0 C0540_bit0 -C0541_bit0 C0542_bit0 -C0543_bit0 -C0544_bit0 -C0545_bit0 -C0546_bit0 -C0547_bit0 -C0548_bit0 -C0549_bit0 -C0550_bit0 -C0551_bit0 -C0552_bit0 -C0553_bit0 -C0554_bit0 -C0555_bit0 -C0556_bit0 -C0557_bit0 -C0558_bit0 -C0559_bit0 -C0560_bit0 C0561_bit0 -C0562_bit0 C0563_bit0 C0564_bit0 -C0565_bit0 -C0566_bit0 -C0567_bit0 -C0568_bit0 -C0569_bit0 -C0570_bit0 -C0571_bit0 -C0572_bit0 -C0573_bit0 -C0574_bit0 -C0575_bit0 -C0576_bit0 -C0577_bit0 -C0578_bit0 -C0579_bit0 -C0580_bit0 -C0581_bit0 -C0582_bit0 -C0583_bit0 -C0584_bit0 -C0585_bit0 -C0586_bit0 C0587_bit0 -C0588_bit0 -C0589_bit0 -C0590_bit0 -C0591_bit0 -C0592_bit0 -C0593_bit0 -C0594_bit0 -C0595_bit0 -C0596_bit0 -C0597_bit0 -C0598_bit0 -C0599_bit0 -C0600_bit0 -C0601_bit0 -C0602_bit0 -C0603_bit0 -C0604_bit0 -C0605_bit0 -C0606_bit0 -C0607_bit0 -C0608_bit0 -C0609_bit0 -C0610_bit0 -C0611_bit0 -C0612_bit0 -C0613_bit0 -C0614_bit0 -C0615_bit0 -C0616_bit0 -C0617_bit0 -C0618_bit0 -C0619_bit0 -C0620_bit0 -C0621_bit0 -C0622_bit0 -C0623_bit0 -C0624_bit0 -C0625_bit0 -C0626_bit0 -C0627_bit0 C0628_bit0 C0629_bit0 -C0630_bit0 -C0631_bit0 -C0632_bit0 -C0633_bit0 -C0634_bit0 -C0635_bit0 -C0636_bit0 -C0637_bit0 -C0638_bit0 -C0639_bit0 -C0640_bit0 -C0641_bit0 -C0642_bit0 -C0643_bit0 -C0644_bit0 C0645_bit0 -C0646_bit0 -C0647_bit0 -C0648_bit0 -C0649_bit0 -C0650_bit0 C0651_bit0 -C0652_bit0 -C0653_bit0 -C0654_bit0 -C0655_bit0 -C0656_bit0 -C0657_bit0 -C0658_bit0 -C0659_bit0 -C0660_bit0 -C0661_bit0 -C0662_bit0 -C0663_bit0 -C0664_bit0 -C0665_bit0 -C0666_bit0 -C0667_bit0 -C0668_bit0 -C0669_bit0 -C0670_bit0 -C0671_bit0 -C0672_bit0 -C0673_bit0 -C0674_bit0 -C0675_bit0 -C0676_bit0 -C0677_bit0 -C0678_bit0 -C0679_bit0 -C0680_bit0 C0681_bit0 -C0682_bit0 -C0683_bit0 -C0684_bit0 -C0685_bit0 -C0686_bit0 -C0687_bit0 -C0688_bit0 -C0689_bit0 -C0690_bit0 -C0691_bit0 -C0692_bit0 -C0693_bit0 -C0694_bit0 -C0695_bit0 -C0696_bit0 -C0697_bit0 -C0698_bit0 -C0699_bit0 -C0700_bit0 -C0701_bit0 -C0702_bit0 -C0703_bit0 -C0704_bit0 -C0705_bit0 -C0706_bit0 -C0707_bit0 -C0708_bit0 -C0709_bit0 -C0710_bit0 -C0711_bit0 -C0712_bit0 -C0713_bit0 -C0714_bit0 -C0715_bit0 -C0716_bit0 -C0717_bit0 -C0718_bit0 -C0719_bit0 -C0720_bit0 -C0721_bit0 -C0722_bit0 -C0723_bit0 -C0724_bit0 -C0725_bit0 -C0726_bit0 -C0727_bit0 -C0728_bit0 -C0729_bit0 -C0730_bit0 -C0731_bit0 -C0732_bit0 -C0733_bit0 -C0734_bit0 -C0735_bit0 C0736_bit0 -C0737_bit0 -C0738_bit0 C0739_bit0 -C0740_bit0 -C0741_bit0 -C0742_bit0 -C0743_bit0 -C0744_bit0 -C0745_bit0 -C0746_bit0 -C0747_bit0 -C0748_bit0 -C0749_bit0 -C0750_bit0 -C0751_bit0 -C0752_bit0 -C0753_bit0 -C0754_bit0 -C0755_bit0 C0756_bit0 -C0757_bit0 -C0758_bit0 -C0759_bit0 -C0760_bit0 -C0761_bit0 -C0762_bit0 -C0763_bit0 -C0764_bit0 -C0765_bit0 -C0766_bit0 -C0767_bit0 -C0768_bit0 -C0769_bit0 -C0770_bit0 -C0771_bit0 -C0772_bit0 -C0773_bit0 -C0774_bit0 -C0775_bit0 -C0776_bit0 -C0777_bit0 -C0778_bit0 -C0779_bit0 -C0780_bit0 -C0781_bit0 -C0782_bit0 -C0783_bit0 -C0784_bit0 -C0785_bit0 -C0786_bit0 -C0787_bit0 -C0788_bit0 -C0789_bit0 -C0790_bit0 -C0791_bit0 -C0792_bit0 -C0793_bit0 -C0794_bit0 -C0795_bit0 -C0796_bit0 -C0797_bit0 C0798_bit0 -C0799_bit0 C0800_bit0 -C0801_bit0 -C0802_bit0 -C0803_bit0 -C0804_bit0 -C0805_bit0 -C0806_bit0 -C0807_bit0 -C0808_bit0 -C0809_bit0 -C0810_bit0 -C0811_bit0 -C0812_bit0 -C0813_bit0 -C0814_bit0 -C0815_bit0 -C0816_bit0 -C0817_bit0 -C0818_bit0 -C0819_bit0 -C0820_bit0 -C0821_bit0 -C0822_bit0 -C0823_bit0 -C0824_bit0 -C0825_bit0 -C0826_bit0 -C0827_bit0 -C0828_bit0 -C0829_bit0 -C0830_bit0 -C0831_bit0 -C0832_bit0 -C0833_bit0 -C0834_bit0 -C0835_bit0 -C0836_bit0 -C0837_bit0 C0838_bit0 C0839_bit0 C0840_bit0 -C0841_bit0 -C0842_bit0 -C0843_bit0 -C0844_bit0 -C0845_bit0 -C0846_bit0 -C0847_bit0 -C0848_bit0 -C0849_bit0 -C0850_bit0 -C0851_bit0 -C0852_bit0 -C0853_bit0 -C0854_bit0 -C0855_bit0 -C0856_bit0 -C0857_bit0 -C0858_bit0 -C0859_bit0 -C0860_bit0 -C0861_bit0 -C0862_bit0 -C0863_bit0 -C0864_bit0 -C0865_bit0 -C0866_bit0 -C0867_bit0 -C0868_bit0 -C0869_bit0 -C0870_bit0 -C0871_bit0 -C0872_bit0 -C0873_bit0 -C0874_bit0 -C0875_bit0 C0876_bit0 -C0877_bit0 -C0878_bit0 -C0879_bit0 -C0880_bit0 -C0881_bit0 -C0882_bit0 -C0883_bit0 -C0884_bit0 -C0885_bit0 -C0886_bit0 -C0887_bit0 -C0888_bit0 -C0889_bit0 -C0890_bit0 -C0891_bit0 -C0892_bit0 -C0893_bit0 -C0894_bit0 -C0895_bit0 -C0896_bit0 -C0897_bit0 -C0898_bit0 -C0899_bit0 -C0900_bit0 -C0901_bit0 -C0902_bit0 -C0903_bit0 -C0904_bit0 -C0905_bit0 -C0906_bit0 -C0907_bit0 -C0908_bit0 -C0909_bit0 -C0910_bit0 -C0911_bit0 -C0912_bit0 -C0913_bit0 -C0914_bit0 -C0915_bit0 -C0916_bit0 -C0917_bit0 -C0918_bit0 -C0919_bit0 -C0920_bit0 -C0921_bit0 -C0922_bit0 -C0923_bit0 -C0924_bit0 -C0925_bit0 -C0926_bit0 -C0927_bit0 -C0928_bit0 -C0929_bit0 -C0930_bit0 C0931_bit0 -C0932_bit0 C0933_bit0 C0934_bit0 -C0935_bit0 -C0936_bit0 -C0937_bit0 -C0938_bit0 -C0939_bit0 -C0940_bit0 -C0941_bit0 -C0942_bit0 -C0943_bit0 -C0944_bit0 -C0945_bit0 -C0946_bit0 -C0947_bit0 -C0948_bit0 -C0949_bit0 -C0950_bit0 -C0951_bit0 -C0952_bit0 -C0953_bit0 -C0954_bit0 -C0955_bit0 -C0956_bit0 -C0957_bit0 -C0958_bit0 -C0959_bit0 -C0960_bit0 -C0961_bit0 -C0962_bit0 -C0963_bit0 -C0964_bit0 -C0965_bit0 -C0966_bit0 -C0967_bit0 -C0968_bit0 -C0969_bit0 -C0970_bit0 -C0971_bit0 -C0972_bit0 -C0973_bit0 -C0974_bit0 -C0975_bit0 C0976_bit0 -C0977_bit0 -C0978_bit0 -C0979_bit0 -C0980_bit0 -C0981_bit0 -C0982_bit0 -C0983_bit0 -C0984_bit0 -C0985_bit0 -C0986_bit0 -C0987_bit0 -C0988_bit0 -C0989_bit0 -C0990_bit0 -C0991_bit0 -C0992_bit0 -C0993_bit0 -C0994_bit0 -C0995_bit0 -C0996_bit0 -C0997_bit0 -C0998_bit0 -C0999_bit0 -C1000_bit0 -C1001_bit0 -C1002_bit0 -C1003_bit0 -C1004_bit0 -C1005_bit0 -C1006_bit0 -C1007_bit0 -C1008_bit0 -C1009_bit0 -C1010_bit0 -C1011_bit0 -C1012_bit0 -C1013_bit0 -C1014_bit0 -C1015_bit0 C1016_bit0 -C1017_bit0 -C1018_bit0 C1019_bit0 -C1020_bit0 -C1021_bit0 -C1022_bit0 -C1023_bit0 -C1024_bit0 -C1025_bit0 -C1026_bit0 -C1027_bit0 -C1028_bit0 -C1029_bit0 -C1030_bit0 -C1031_bit0 -C1032_bit0 -C1033_bit0 -C1034_bit0 -C1035_bit0 -C1036_bit0 -C1037_bit0 -C1038_bit0 -C1039_bit0 -C1040_bit0 -C1041_bit0 -C1042_bit0 -C1043_bit0 -C1044_bit0 -C1045_bit0 -C1046_bit0 -C1047_bit0 -C1048_bit0 -C1049_bit0 -C1050_bit0 -C1051_bit0 -C1052_bit0 -C1053_bit0 -C1054_bit0 -C1055_bit0 -C1056_bit0 -C1057_bit0 -C1058_bit0 -C1059_bit0 -C1060_bit0 -C1061_bit0 -C1062_bit0 -C1063_bit0 -C1064_bit0 -C1065_bit0 -C1066_bit0 -C1067_bit0 -C1068_bit0 -C1069_bit0 -C1070_bit0 -C1071_bit0 -C1072_bit0 -C1073_bit0 -C1074_bit0 -C1075_bit0 -C1076_bit0 C1077_bit0 -C1078_bit0 -C1079_bit0 -C1080_bit0 -C1081_bit0 -C1082_bit0 -C1083_bit0 -C1084_bit0 -C1085_bit0 -C1086_bit0 -C1087_bit0 -C1088_bit0 -C1089_bit0 -C1090_bit0 -C1091_bit0 -C1092_bit0 -C1093_bit0 -C1094_bit0 -C1095_bit0 C1096_bit0 -C1097_bit0 -C1098_bit0 C1099_bit0 -C1100_bit0 -C1101_bit0 -C1102_bit0 -C1103_bit0 -C1104_bit0 -C1105_bit0 -C1106_bit0 -C1107_bit0 -C1108_bit0 -C1109_bit0 -C1110_bit0 -C1111_bit0 -C1112_bit0 -C1113_bit0 -C1114_bit0 -C1115_bit0 -C1116_bit0 C1117_bit0 -C1118_bit0 -C1119_bit0 -C1120_bit0 -C1121_bit0 -C1122_bit0 -C1123_bit0 -C1124_bit0 -C1125_bit0 -C1126_bit0 -C1127_bit0 -C1128_bit0 -C1129_bit0 -C1130_bit0 -C1131_bit0 -C1132_bit0 -C1133_bit0 -C1134_bit0 -C1135_bit0 -C1136_bit0 C1137_bit0 -C1138_bit0 -C1139_bit0 -C1140_bit0 -C1141_bit0 -C1142_bit0 -C1143_bit0 -C1144_bit0 -C1145_bit0 -C1146_bit0 -C1147_bit0 -C1148_bit0 -C1149_bit0 -C1150_bit0 -C1151_bit0 -C1152_bit0 -C1153_bit0 -C1154_bit0 -C1155_bit0 -C1156_bit0 -C1157_bit0 -C1158_bit0 -C1159_bit0 -C1160_bit0 -C1161_bit0 -C1162_bit0 -C1163_bit0 -C1164_bit0 -C1165_bit0 -C1166_bit0 -C1167_bit0 -C1168_bit0 -C1169_bit0 -C1170_bit0 -C1171_bit0 -C1172_bit0 -C1173_bit0 -C1174_bit0 -C1175_bit0 -C1176_bit0 -C1177_bit0 C1178_bit0 C1179_bit0 C1180_bit0 -C1181_bit0 -C1182_bit0 -C1183_bit0 -C1184_bit0 -C1185_bit0 -C1186_bit0 -C1187_bit0 -C1188_bit0 -C1189_bit0 -C1190_bit0 -C1191_bit0 -C1192_bit0 -C1193_bit0 -C1194_bit0 -C1195_bit0 -C1196_bit0 -C1197_bit0 -C1198_bit0 -C1199_bit0 -C1200_bit0 -C1201_bit0 -C1202_bit0 -C1203_bit0 -C1204_bit0 -C1205_bit0 -C1206_bit0 -C1207_bit0 -C1208_bit0 -C1209_bit0 -C1210_bit0 -C1211_bit0 -C1212_bit0 -C1213_bit0 -C1214_bit0 -C1215_bit0 -C1216_bit0 -C1217_bit0 -C1218_bit0 -C1219_bit0 -C1220_bit0 -C1221_bit0 -C1222_bit0 -C1223_bit0 -C1224_bit0 -C1225_bit0 -C1226_bit0 -C1227_bit0 -C1228_bit0 -C1229_bit0 -C1230_bit0 -C1231_bit0 -C1232_bit0 -C1233_bit0 -C1234_bit0 -C1235_bit0 -C1236_bit0 -C1237_bit0 -C1238_bit0 -C1239_bit0 -C1240_bit0 -C1241_bit0 -C1242_bit0 -C1243_bit0 -C1244_bit0 -C1245_bit0 -C1246_bit0 -C1247_bit0 -C1248_bit0 -C1249_bit0 -C1250_bit0 -C1251_bit0 -C1252_bit0 -C1253_bit0 -C1254_bit0 -C1255_bit0 -C1256_bit0 -C1257_bit0 -C1258_bit0 -C1259_bit0 -C1260_bit0 -C1261_bit0 -C1262_bit0 -C1263_bit0 -C1264_bit0 -C1265_bit0 -C1266_bit0 -C1267_bit0 -C1268_bit0 -C1269_bit0 -C1270_bit0 -C1271_bit0 -C1272_bit0 -C1273_bit0 -C1274_bit0 -C1275_bit0 -C1276_bit0 -C1277_bit0 -C1278_bit0 -C1279_bit0 -C1280_bit0 -C1281_bit0 -C1282_bit0 -C1283_bit0 -C1284_bit0 -C1285_bit0 -C1286_bit0 -C1287_bit0 -C1288_bit0 -C1289_bit0 -C1290_bit0 -C1291_bit0 -C1292_bit0 -C1293_bit0 -C1294_bit0 -C1295_bit0 -C1296_bit0 -C1297_bit0 -C1298_bit0 -C1299_bit0 -C1300_bit0 -C1301_bit0 -C1302_bit0 -C1303_bit0 -C1304_bit0 -C1305_bit0 -C1306_bit0 -C1307_bit0 -C1308_bit0 -C1309_bit0 -C1310_bit0 -C1311_bit0 -C1312_bit0 -C1313_bit0 -C1314_bit0 -C1315_bit0 -C1316_bit0 -C1317_bit0 -C1318_bit0 -C1319_bit0 -C1320_bit0 -C1321_bit0 -C1322_bit0 -C1323_bit0 -C1324_bit0 -C1325_bit0 -C1326_bit0 -C1327_bit0 -C1328_bit0 -C1329_bit0 -C1330_bit0 -C1331_bit0 -C1332_bit0 -C1333_bit0 -C1334_bit0 -C1335_bit0 C1336_bit0 -C1337_bit0 -C1338_bit0 -C1339_bit0 -C1340_bit0 -C1341_bit0 -C1342_bit0 -C1343_bit0 -C1344_bit0 -C1345_bit0 -C1346_bit0 -C1347_bit0 -C1348_bit0 -C1349_bit0 C1350_bit0 -C1351_bit0 -C1352_bit0 -C1353_bit0 -C1354_bit0 -C1355_bit0 -C1356_bit0 C1357_bit0 -C1358_bit0 -C1359_bit0 -C1360_bit0 -C1361_bit0 -C1362_bit0 -C1363_bit0 -C1364_bit0 -C1365_bit0 -C1366_bit0 -C1367_bit0 -C1368_bit0 -C1369_bit0 -C1370_bit0 -C1371_bit0 -C1372_bit0 -C1373_bit0 -C1374_bit0 -C1375_bit0 -C1376_bit0 C1377_bit0 -C1378_bit0 -C1379_bit0 -C1380_bit0 -C1381_bit0 -C1382_bit0 -C1383_bit0 -C1384_bit0 -C1385_bit0 -C1386_bit0 -C1387_bit0 -C1388_bit0 -C1389_bit0 -C1390_bit0 -C1391_bit0 -C1392_bit0 -C1393_bit0 -C1394_bit0 -C1395_bit0 -C1396_bit0 -C1397_bit0 -C1398_bit0 -C1399_bit0 -C1400_bit0 -C1401_bit0 -C1402_bit0 -C1403_bit0 -C1404_bit0 C1405_bit0 -C1406_bit0 -C1407_bit0 -C1408_bit0 -C1409_bit0 -C1410_bit0 -C1411_bit0 -C1412_bit0 -C1413_bit0 -C1414_bit0 -C1415_bit0 -C1416_bit0 -C1417_bit0 -C1418_bit0 -C1419_bit0 -C1420_bit0 -C1421_bit0 -C1422_bit0 -C1423_bit0 -C1424_bit0 -C1425_bit0 -C1426_bit0 -C1427_bit0 -C1428_bit0 -C1429_bit0 -C1430_bit0 -C1431_bit0 -C1432_bit0 -C1433_bit0 -C1434_bit0 -C1435_bit0 -C1436_bit0 -C1437_bit0 -C1438_bit0 -C1439_bit0 -C1440_bit0 C1441_bit0 C1442_bit0 C1443_bit0 C1444_bit0 C1445_bit0 C1446_bit0 C1447_bit0 C1448_bit0 C1449_bit0 C1450_bit0 C1451_bit0 C1452_bit0 C1453_bit0 C1454_bit0 C1455_bit0 C1456_bit0 C1457_bit0 C1458_bit0 C1459_bit0 C1460_bit0 C1461_bit0 C1462_bit0 C1463_bit0 C1464_bit0 C1465_bit0 C1466_bit0 C1467_bit0 C1468_bit0 C1469_bit0 C1470_bit0 C1471_bit0 C1472_bit0 C1473_bit0 C1474_bit0 C1475_bit0 C1476_bit0 C1477_bit0 C1478_bit0 C1479_bit0 C1480_bit0 C1481_bit0 C1482_bit0 C1483_bit0 C1484_bit0 C1485_bit0 C1486_bit0 C1487_bit0 C1488_bit0 C1489_bit0 C1490_bit0 C1491_bit0 C1492_bit0 C1493_bit0 C1494_bit0 C1495_bit0 C1496_bit0 C1497_bit0 C1498_bit0 C1499_bit0 C1500_bit0 C1501_bit0 C1502_bit0 C1503_bit0 C1504_bit0 C1505_bit0 C1506_bit0 C1507_bit0 C1508_bit0 C1509_bit0 C1510_bit0 C1511_bit0 C1512_bit0 C1513_bit0 C1514_bit0 C1515_bit0 C1516_bit0 C1517_bit0 C1518_bit0 C1519_bit0 C1520_bit0 C1521_bit0 C1522_bit0 C1523_bit0 C1524_bit0 C1525_bit0 C1526_bit0 C1527_bit0 C1528_bit0 C1529_bit0 C1530_bit0 C1531_bit0 C1532_bit0 C1533_bit0 C1534_bit0 C1535_bit0 C1536_bit0 C1537_bit0 C1538_bit0 C1539_bit0 C1540_bit0 C1541_bit0 C1542_bit0 C1543_bit0 C1544_bit0 C1545_bit0 C1546_bit0 C1547_bit0 C1548_bit0 C1549_bit0 C1550_bit0 C1551_bit0 C1552_bit0 C1553_bit0 C1554_bit0 C1555_bit0 C1556_bit0 C1557_bit0 C1558_bit0 C1559_bit0 C1560_bit0 C1561_bit0 C1562_bit0 C1563_bit0 C1564_bit0 C1565_bit0 C1566_bit0 C1567_bit0 C1568_bit0 C1569_bit0 C1570_bit0 C1571_bit0 C1572_bit0 C1573_bit0 C1574_bit0 C1575_bit0 C1576_bit0 C1577_bit0 C1578_bit0 C1579_bit0 C1580_bit0 C1581_bit0 C1582_bit0 C1583_bit0 C1584_bit0 C1585_bit0 C1586_bit0 C1587_bit0 C1588_bit0 C1589_bit0 C1590_bit0 C1591_bit0 C1592_bit0 C1593_bit0 C1594_bit0 C1595_bit0 C1596_bit0 C1597_bit0 C1598_bit0 C1599_bit0 C1600_bit0 C1601_bit0 C1602_bit0 C1603_bit0 C1604_bit0 C1605_bit0 C1606_bit0 C1607_bit0 C1608_bit0 C1609_bit0 C1610_bit0 C1611_bit0 C1612_bit0 C1613_bit0 C1614_bit0 C1615_bit0 C1616_bit0 C1617_bit0 C1618_bit0 C1619_bit0 C1620_bit0 C1621_bit0 C1622_bit0 C1623_bit0 C1624_bit0 C1625_bit0 C1626_bit0 C1627_bit0 C1628_bit0 C1629_bit0 C1630_bit0 C1631_bit0 C1632_bit0 C1633_bit0 C1634_bit0 C1635_bit0 C1636_bit0 C1637_bit0 C1638_bit0 C1639_bit0 C1640_bit0 C1641_bit0 C1642_bit0 C1643_bit0 C1644_bit0 C1645_bit0 C1646_bit0 C1647_bit0 C1648_bit0 C1649_bit0 C1650_bit0 C1651_bit0 C1652_bit0 C1653_bit0 C1654_bit0 C1655_bit0 C1656_bit0 C1657_bit0 C1658_bit0 C1659_bit0 C1660_bit0 C1661_bit0 C1662_bit0 C1663_bit0 C1664_bit0 C1665_bit0 C1666_bit0 C1667_bit0 C1668_bit0 C1669_bit0 C1670_bit0 C1671_bit0 C1672_bit0 C1673_bit0 C1674_bit0 C1675_bit0 C1676_bit0 C1677_bit0 C1678_bit0 C1679_bit0 C1680_bit0 C1681_bit0 C1682_bit0 C1683_bit0 C1684_bit0 C1685_bit0 C1686_bit0 C1687_bit0 C1688_bit0 C1689_bit0 C1690_bit0 C1691_bit0 C1692_bit0 C1693_bit0 C1694_bit0 C1695_bit0 C1696_bit0 C1697_bit0 C1698_bit0 C1699_bit0 C1700_bit0 C1701_bit0 C1702_bit0 C1703_bit0 C1704_bit0 C1705_bit0 C1706_bit0 C1707_bit0 C1708_bit0 C1709_bit0 C1710_bit0 C1711_bit0 C1712_bit0 C1713_bit0 C1714_bit0 C1715_bit0 C1716_bit0 C1717_bit0 C1718_bit0 C1719_bit0 C1720_bit0 C1721_bit0 C1722_bit0 C1723_bit0 C1724_bit0 C1725_bit0 C1726_bit0 C1727_bit0 C1728_bit0 C1729_bit0 C1730_bit0 C1731_bit0 C1732_bit0 C1733_bit0 C1734_bit0 C1735_bit0 C1736_bit0 C1737_bit0 C1738_bit0 C1739_bit0 C1740_bit0 C1741_bit0 C1742_bit0 C1743_bit0 C1744_bit0 C1745_bit0 C1746_bit0 C1747_bit0 C1748_bit0 C1749_bit0 C1750_bit0 C1751_bit0 C1752_bit0 C1753_bit0 C1754_bit0 C1755_bit0 C1756_bit0 C1757_bit0 C1758_bit0 C1759_bit0 C1760_bit0 C1761_bit0 C1762_bit0 C1763_bit0 C1764_bit0 C1765_bit0 C1766_bit0 C1767_bit0 C1768_bit0 C1769_bit0 C1770_bit0 C1771_bit0 C1772_bit0 C1773_bit0 C1774_bit0 C1775_bit0 C1776_bit0 C1777_bit0 C1778_bit0 C1779_bit0 C1780_bit0 C1781_bit0 C1782_bit0 C1783_bit0 C1784_bit0 C1785_bit0 C1786_bit0 C1787_bit0 C1788_bit0 C1789_bit0 C1790_bit0 C1791_bit0 C1792_bit0 C1793_bit0 C1794_bit0 C1795_bit0 C1796_bit0 C1797_bit0 C1798_bit0 C1799_bit0 C1800_bit0 C1801_bit0 C1802_bit0 C1803_bit0 C1804_bit0 C1805_bit0 C1806_bit0 C1807_bit0 C1808_bit0 C1809_bit0 C1810_bit0 C1811_bit0 C1812_bit0 C1813_bit0 C1814_bit0 C1815_bit0 C1816_bit0 C1817_bit0 C1818_bit0 C1819_bit0 C1820_bit0 C1821_bit0 C1822_bit0 C1823_bit0 C1824_bit0 -C1825_bit0 -C1826_bit0 -C1827_bit0 C1828_bit0 -C1829_bit0 -C1830_bit0 -C1831_bit0 -C1832_bit0 -C1833_bit0 -C1834_bit0 C1835_bit0 C1836_bit0 -C1837_bit0 -C1838_bit0 -C1839_bit0 -C1840_bit0 -C1841_bit0 -C1842_bit0 C1843_bit0 -C1844_bit0 C1845_bit0 -C1846_bit0 -C1847_bit0 -C1848_bit0 C1849_bit0 -C1850_bit0 -C1851_bit0 -C1852_bit0 -C1853_bit0 -C1854_bit0 -C1855_bit0 -C1856_bit0 -C1857_bit0 -C1858_bit0 -C1859_bit0 C1860_bit0 -C1861_bit0 -C1862_bit0 -C1863_bit0 -C1864_bit0 -C1865_bit0 -C1866_bit0 C1867_bit0 -C1868_bit0 C1869_bit0 -C1870_bit0 -C1871_bit0 -C1872_bit0 -C1873_bit0 -C1874_bit0 C1875_bit0 C1876_bit0 -C1877_bit0 C1878_bit0 -C1879_bit0 -C1880_bit0 -C1881_bit0 -C1882_bit0 C1883_bit0 -C1884_bit0 C1885_bit0 -C1886_bit0 -C1887_bit0 -C1888_bit0 -C1889_bit0 C1890_bit0 C1891_bit0 -C1892_bit0 -C1893_bit0 -C1894_bit0 -C1895_bit0 C1896_bit0 -C1897_bit0 -C1898_bit0 -C1899_bit0 -C1900_bit0 -C1901_bit0 -C1902_bit0 -C1903_bit0 -C1904_bit0 C1905_bit0 -C1906_bit0 -C1907_bit0 -C1908_bit0 -C1909_bit0 -C1910_bit0 -C1911_bit0 -C1912_bit0 C1913_bit0 -C1914_bit0 -C1915_bit0 -C1916_bit0 -C1917_bit0 -C1918_bit0 -C1919_bit0 -C1920_bit0 -C1921_bit0 -C1922_bit0 C1923_bit0 -C1924_bit0 C1925_bit0 C1926_bit0 -C1927_bit0 -C1928_bit0 -C1929_bit0 -C1930_bit0 C1931_bit0 C1932_bit0 C1933_bit0 -C1934_bit0 -C1935_bit0 -C1936_bit0 C1937_bit0 -C1938_bit0 -C1939_bit0 -C1940_bit0 -C1941_bit0 C1942_bit0 -C1943_bit0 -C1944_bit0 -C1945_bit0 -C1946_bit0 -C1947_bit0 -C1948_bit0 -C1949_bit0 C1950_bit0 -C1951_bit0 -C1952_bit0 C1953_bit0 -C1954_bit0 C1955_bit0 -C1956_bit0 -C1957_bit0 -C1958_bit0 -C1959_bit0 -C1960_bit0 C1961_bit0 -C1962_bit0 -C1963_bit0 -C1964_bit0 -C1965_bit0 -C1966_bit0 -C1967_bit0 -C1968_bit0 -C1969_bit0 -C1970_bit0 -C1971_bit0 C1972_bit0 -C1973_bit0 -C1974_bit0 -C1975_bit0 C1976_bit0 -C1977_bit0 -C1978_bit0 -C1979_bit0 -C1980_bit0 -C1981_bit0 -C1982_bit0 -C1983_bit0 C1984_bit0 -C1985_bit0 -C1986_bit0 -C1987_bit0 -C1988_bit0 -C1989_bit0 -C1990_bit0 -C1991_bit0 C1992_bit0 -C1993_bit0 -C1994_bit0 -C1995_bit0 -C1996_bit0 -C1997_bit0 -C1998_bit0 -C1999_bit0 C2000_bit0 -C2001_bit0 -C2002_bit0 -C2003_bit0 -C2004_bit0 -C2005_bit0 -C2006_bit0 -C2007_bit0 -C2008_bit0 -C2009_bit0 -C2010_bit0 C2011_bit0 -C2012_bit0 -C2013_bit0 -C2014_bit0 -C2015_bit0 -C2016_bit0 -C2017_bit0 -C2018_bit0 -C2019_bit0 C2020_bit0 -C2021_bit0 -C2022_bit0 -C2023_bit0 -C2024_bit0 -C2025_bit0 -C2026_bit0 -C2027_bit0 C2028_bit0 -C2029_bit0 -C2030_bit0 -C2031_bit0 -C2032_bit0 -C2033_bit0 -C2034_bit0 -C2035_bit0 -C2036_bit0 -C2037_bit0 -C2038_bit0 -C2039_bit0 C2040_bit0 -C2041_bit0 -C2042_bit0 -C2043_bit0 C2044_bit0 -C2045_bit0 -C2046_bit0 -C2047_bit0 C2048_bit0 -C2049_bit0 -C2050_bit0 -C2051_bit0 C2052_bit0 -C2053_bit0 -C2054_bit0 -C2055_bit0 -C2056_bit0 -C2057_bit0 -C2058_bit0 -C2059_bit0 C2060_bit0 -C2061_bit0 -C2062_bit0 -C2063_bit0 -C2064_bit0 -C2065_bit0 -C2066_bit0 -C2067_bit0 -C2068_bit0 -C2069_bit0 -C2070_bit0 -C2071_bit0 -C2072_bit0 -C2073_bit0 -C2074_bit0 -C2075_bit0 -C2076_bit0 -C2077_bit0 -C2078_bit0 -C2079_bit0 -C2080_bit0 -C2081_bit0 -C2082_bit0 -C2083_bit0 -C2084_bit0 -C2085_bit0 -C2086_bit0 -C2087_bit0 -C2088_bit0 -C2089_bit0 -C2090_bit0 -C2091_bit0 C2092_bit0 -C2093_bit0 C2094_bit0 -C2095_bit0 C2096_bit0 -C2097_bit0 -C2098_bit0 -C2099_bit0 C2100_bit0 -C2101_bit0 -C2102_bit0 -C2103_bit0 -C2104_bit0 C2105_bit0 -C2106_bit0 -C2107_bit0 -C2108_bit0 -C2109_bit0 -C2110_bit0 -C2111_bit0 -C2112_bit0 
#### 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.78 0.94 0.90 2/54 25917
Raw data (stat): 25917 (runsolver) R 25916 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 970803517 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0008 s]
Raw data (loadavg): 0.81 0.94 0.90 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 7253 0 0 0 979 19 0 0 25 0 1 0 970803517 22302720 4459 4294967295 134512640 135730672 3221224576 3221223072 134747534 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5445 4459 301 301 0 5144 0
vsize: 21780
[startup+20.0019 s]
Raw data (loadavg): 0.84 0.94 0.90 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 7332 0 0 0 1977 21 0 0 25 0 1 0 970803517 22437888 4538 4294967295 134512640 135730672 3221224576 3221223072 134747735 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5478 4538 301 301 0 5177 0
vsize: 21912
[startup+30.0034 s]
Raw data (loadavg): 0.86 0.94 0.90 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 7378 0 0 0 2976 23 0 0 25 0 1 0 970803517 22585344 4584 4294967295 134512640 135730672 3221224576 3221223264 134748499 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5514 4584 301 301 0 5213 0
vsize: 22056
[startup+40.0033 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 7453 0 0 0 3973 25 0 0 25 0 1 0 970803517 22867968 4659 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5583 4659 301 301 0 5282 0
vsize: 22332
[startup+50.0035 s]
Raw data (loadavg): 0.90 0.94 0.90 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 7540 0 0 0 4971 28 0 0 25 0 1 0 970803517 23162880 4746 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5655 4746 301 301 0 5354 0
vsize: 22620
[startup+60.0041 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 7580 0 0 0 5969 30 0 0 25 0 1 0 970803517 23162880 4786 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5655 4786 301 301 0 5354 0
vsize: 22620
[startup+70.0049 s]
Raw data (loadavg): 0.93 0.95 0.91 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 7622 0 0 0 6968 32 0 0 25 0 1 0 970803517 23310336 4828 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5691 4828 301 301 0 5390 0
vsize: 22764
[startup+80.0062 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 7650 0 0 0 7966 34 0 0 25 0 1 0 970803517 23310336 4856 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5691 4856 301 301 0 5390 0
vsize: 22764
[startup+90.0066 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 7672 0 0 0 8964 35 0 0 25 0 1 0 970803517 23310336 4878 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5691 4878 301 301 0 5390 0
vsize: 22764
[startup+100.007 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 7698 0 0 0 9963 37 0 0 25 0 1 0 970803517 23310336 4904 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5691 4904 301 301 0 5390 0
vsize: 22764
[startup+110.008 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 7737 0 0 0 10962 38 0 0 25 0 1 0 970803517 23445504 4943 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5724 4943 301 301 0 5423 0
vsize: 22896
[startup+120.008 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 7761 0 0 0 11961 40 0 0 25 0 1 0 970803517 23445504 4967 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5724 4967 301 301 0 5423 0
vsize: 22896
[startup+130.009 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 7780 0 0 0 12960 41 0 0 25 0 1 0 970803517 23445504 4986 4294967295 134512640 135730672 3221224576 3221223164 134747723 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5724 4986 301 301 0 5423 0
vsize: 22896
[startup+140.009 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 7802 0 0 0 13959 42 0 0 25 0 1 0 970803517 23445504 5008 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5724 5008 301 301 0 5423 0
vsize: 22896
[startup+150.01 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 7824 0 0 0 14956 45 0 0 25 0 1 0 970803517 23445504 5030 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5724 5030 301 301 0 5423 0
vsize: 22896
[startup+160.01 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 7848 0 0 0 15954 47 0 0 25 0 1 0 970803517 23445504 5054 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5724 5054 301 301 0 5423 0
vsize: 22896
[startup+170.01 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 7866 0 0 0 16952 49 0 0 25 0 1 0 970803517 23576576 5072 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5756 5072 301 301 0 5455 0
vsize: 23024
[startup+180.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 7900 0 0 0 17951 51 0 0 25 0 1 0 970803517 23711744 5106 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5789 5106 301 301 0 5488 0
vsize: 23156
[startup+190.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 7928 0 0 0 18950 52 0 0 25 0 1 0 970803517 23711744 5134 4294967295 134512640 135730672 3221224576 3221223264 134748446 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5789 5134 301 301 0 5488 0
vsize: 23156
[startup+200.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 7949 0 0 0 19949 53 0 0 25 0 1 0 970803517 23711744 5155 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5789 5155 301 301 0 5488 0
vsize: 23156
[startup+210.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 7973 0 0 0 20948 55 0 0 25 0 1 0 970803517 23711744 5179 4294967295 134512640 135730672 3221224576 3221223072 134747525 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5789 5179 301 301 0 5488 0
vsize: 23156
[startup+220.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 7998 0 0 0 21946 56 0 0 25 0 1 0 970803517 23867392 5204 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5827 5204 301 301 0 5526 0
vsize: 23308
[startup+230.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 8031 0 0 0 22945 58 0 0 25 0 1 0 970803517 28061696 5237 4294967295 134512640 135730672 3221224576 3221223072 134747578 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6851 5237 301 301 0 6550 0
vsize: 27404
[startup+240.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 8056 0 0 0 23943 60 0 0 25 0 1 0 970803517 28061696 5262 4294967295 134512640 135730672 3221224576 3221223072 134747563 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6851 5262 301 301 0 6550 0
vsize: 27404
[startup+250.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 8071 0 0 0 24942 61 0 0 25 0 1 0 970803517 28061696 5277 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6851 5277 301 301 0 6550 0
vsize: 27404
[startup+260.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 8094 0 0 0 25941 62 0 0 25 0 1 0 970803517 28192768 5300 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6883 5300 301 301 0 6582 0
vsize: 27532
[startup+270.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 8115 0 0 0 26940 63 0 0 25 0 1 0 970803517 28192768 5321 4294967295 134512640 135730672 3221224576 3221223072 134747636 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6883 5321 301 301 0 6582 0
vsize: 27532
[startup+280.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 8153 0 0 0 27938 65 0 0 25 0 1 0 970803517 28192768 5359 4294967295 134512640 135730672 3221224576 3221222896 134732772 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6883 5359 301 301 0 6582 0
vsize: 27532
[startup+290.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 8171 0 0 0 28937 67 0 0 25 0 1 0 970803517 28192768 5377 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6883 5377 301 301 0 6582 0
vsize: 27532
[startup+300.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 8243 0 0 0 29936 68 0 0 25 0 1 0 970803517 28516352 5449 4294967295 134512640 135730672 3221224576 3221223072 134747733 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6962 5449 301 301 0 6661 0
vsize: 27848
[startup+310.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 8258 0 0 0 30935 69 0 0 25 0 1 0 970803517 28516352 5464 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6962 5464 301 301 0 6661 0
vsize: 27848
[startup+320.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 8275 0 0 0 31934 70 0 0 25 0 1 0 970803517 28516352 5481 4294967295 134512640 135730672 3221224576 3221223168 134747445 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6962 5481 301 301 0 6661 0
vsize: 27848
[startup+330.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 8299 0 0 0 32932 72 0 0 25 0 1 0 970803517 28516352 5505 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6962 5505 301 301 0 6661 0
vsize: 27848
[startup+340.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 8334 0 0 0 33931 73 0 0 25 0 1 0 970803517 28680192 5540 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7002 5540 301 301 0 6701 0
vsize: 28008
[startup+350.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 8376 0 0 0 34930 74 0 0 25 0 1 0 970803517 28844032 5582 4294967295 134512640 135730672 3221224576 3221223072 134747584 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7042 5582 301 301 0 6741 0
vsize: 28168
[startup+360.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 8393 0 0 0 35929 76 0 0 25 0 1 0 970803517 28844032 5599 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7042 5599 301 301 0 6741 0
vsize: 28168
[startup+370.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 8412 0 0 0 36928 77 0 0 25 0 1 0 970803517 28844032 5618 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7042 5618 301 301 0 6741 0
vsize: 28168
[startup+380.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 8462 0 0 0 37927 79 0 0 25 0 1 0 970803517 29007872 5668 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7082 5668 301 301 0 6781 0
vsize: 28328
[startup+390.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 8490 0 0 0 38926 80 0 0 25 0 1 0 970803517 29007872 5696 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7082 5696 301 301 0 6781 0
vsize: 28328
[startup+400.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 8519 0 0 0 39924 82 0 0 25 0 1 0 970803517 29007872 5725 4294967295 134512640 135730672 3221224576 3221223072 134747705 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7082 5725 301 301 0 6781 0
vsize: 28328
[startup+410.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 8541 0 0 0 40923 84 0 0 25 0 1 0 970803517 29007872 5747 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7082 5747 301 301 0 6781 0
vsize: 28328
[startup+420.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 8559 0 0 0 41922 84 0 0 25 0 1 0 970803517 29007872 5765 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7082 5765 301 301 0 6781 0
vsize: 28328
[startup+430.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 8585 0 0 0 42921 85 0 0 25 0 1 0 970803517 29007872 5791 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7082 5791 301 301 0 6781 0
vsize: 28328
[startup+440.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 8603 0 0 0 43920 87 0 0 25 0 1 0 970803517 29007872 5809 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7082 5809 301 301 0 6781 0
vsize: 28328
[startup+450.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 8632 0 0 0 44919 88 0 0 25 0 1 0 970803517 29007872 5838 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7082 5838 301 301 0 6781 0
vsize: 28328
[startup+460.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 8656 0 0 0 45918 89 0 0 25 0 1 0 970803517 29007872 5862 4294967295 134512640 135730672 3221224576 3221223200 134748106 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7082 5862 301 301 0 6781 0
vsize: 28328
[startup+470.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 8677 0 0 0 46917 90 0 0 25 0 1 0 970803517 29007872 5883 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7082 5883 301 301 0 6781 0
vsize: 28328
[startup+480.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 8702 0 0 0 47916 91 0 0 25 0 1 0 970803517 29007872 5908 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7082 5908 301 301 0 6781 0
vsize: 28328
[startup+490.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 14954 0 0 0 48901 106 0 0 25 0 1 0 970803517 44777472 8631 4294967295 134512640 135730672 3221224576 3221222864 134747610 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10932 8631 301 301 0 10631 0
vsize: 43728
[startup+500.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 15135 0 0 0 49900 108 0 0 25 0 1 0 970803517 45481984 8812 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11104 8812 301 301 0 10803 0
vsize: 44416
[startup+510.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 15181 0 0 0 50899 109 0 0 25 0 1 0 970803517 45678592 8858 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11152 8858 301 301 0 10851 0
vsize: 44608
[startup+520.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 15361 0 0 0 51896 111 0 0 25 0 1 0 970803517 45678592 8871 4294967295 134512640 135730672 3221224576 3221222864 134747641 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11152 8871 301 301 0 10851 0
vsize: 44608
[startup+530.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 15418 0 0 0 52895 112 0 0 25 0 1 0 970803517 45842432 8928 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11192 8928 301 301 0 10891 0
vsize: 44768
[startup+540.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 15469 0 0 0 53894 114 0 0 25 0 1 0 970803517 46006272 8979 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11232 8979 301 301 0 10931 0
vsize: 44928
[startup+550.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 15500 0 0 0 54893 115 0 0 25 0 1 0 970803517 46006272 9010 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11232 9010 301 301 0 10931 0
vsize: 44928
[startup+560.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 15597 0 0 0 55891 117 0 0 25 0 1 0 970803517 46399488 9107 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11328 9107 301 301 0 11027 0
vsize: 45312
[startup+570.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 15623 0 0 0 56890 118 0 0 25 0 1 0 970803517 46399488 9133 4294967295 134512640 135730672 3221224576 3221222864 134747823 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11328 9133 301 301 0 11027 0
vsize: 45312
[startup+580.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 15657 0 0 0 57889 120 0 0 25 0 1 0 970803517 46399488 9167 4294967295 134512640 135730672 3221224576 3221222864 134747738 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11328 9167 301 301 0 11027 0
vsize: 45312
[startup+590.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 15706 0 0 0 58888 121 0 0 25 0 1 0 970803517 54984704 9216 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13424 9216 301 301 0 13123 0
vsize: 53696
[startup+600.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 15743 0 0 0 59886 123 0 0 25 0 1 0 970803517 54984704 9253 4294967295 134512640 135730672 3221224576 3221222864 134747570 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13424 9253 301 301 0 13123 0
vsize: 53696
[startup+610.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 15803 0 0 0 60885 124 0 0 25 0 1 0 970803517 55181312 9313 4294967295 134512640 135730672 3221224576 3221222864 134747730 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13472 9313 301 301 0 13171 0
vsize: 53888
[startup+620.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 15848 0 0 0 61883 126 0 0 25 0 1 0 970803517 55377920 9358 4294967295 134512640 135730672 3221224576 3221223024 134748676 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13520 9358 301 301 0 13219 0
vsize: 54080
[startup+630.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 15872 0 0 0 62883 127 0 0 25 0 1 0 970803517 55377920 9382 4294967295 134512640 135730672 3221224576 3221222972 134747727 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13520 9382 301 301 0 13219 0
vsize: 54080
[startup+640.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 15927 0 0 0 63882 128 0 0 25 0 1 0 970803517 55574528 9437 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13568 9437 301 301 0 13267 0
vsize: 54272
[startup+650.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 15960 0 0 0 64881 128 0 0 25 0 1 0 970803517 55574528 9470 4294967295 134512640 135730672 3221224576 3221222532 135284217 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13568 9470 301 301 0 13267 0
vsize: 54272
[startup+660.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 16156 0 0 0 65881 129 0 0 25 0 1 0 970803517 55771136 9499 4294967295 134512640 135730672 3221224576 3221222864 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13616 9499 301 301 0 13315 0
vsize: 54464
[startup+670.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 16193 0 0 0 66880 130 0 0 25 0 1 0 970803517 55771136 9536 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13616 9536 301 301 0 13315 0
vsize: 54464
[startup+680.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 16215 0 0 0 67878 131 0 0 25 0 1 0 970803517 55771136 9558 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13616 9558 301 301 0 13315 0
vsize: 54464
[startup+690.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 16243 0 0 0 68878 132 0 0 25 0 1 0 970803517 55771136 9586 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13616 9586 301 301 0 13315 0
vsize: 54464
[startup+700.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 16273 0 0 0 69877 133 0 0 25 0 1 0 970803517 55967744 9616 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13664 9616 301 301 0 13363 0
vsize: 54656
[startup+710.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 16309 0 0 0 70876 134 0 0 25 0 1 0 970803517 55967744 9652 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13664 9652 301 301 0 13363 0
vsize: 54656
[startup+720.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 16334 0 0 0 71876 135 0 0 25 0 1 0 970803517 55967744 9677 4294967295 134512640 135730672 3221224576 3221223028 134748655 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13664 9677 301 301 0 13363 0
vsize: 54656
[startup+730.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 16358 0 0 0 72875 136 0 0 25 0 1 0 970803517 55967744 9701 4294967295 134512640 135730672 3221224576 3221222992 134748166 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13664 9701 301 301 0 13363 0
vsize: 54656
[startup+740.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 16389 0 0 0 73875 136 0 0 25 0 1 0 970803517 55967744 9732 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13664 9732 301 301 0 13363 0
vsize: 54656
[startup+750.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 16413 0 0 0 74874 137 0 0 25 0 1 0 970803517 55967744 9756 4294967295 134512640 135730672 3221224576 3221222608 134786481 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13664 9756 301 301 0 13363 0
vsize: 54656
[startup+760.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 16447 0 0 0 75874 138 0 0 25 0 1 0 970803517 56164352 9790 4294967295 134512640 135730672 3221224576 3221222864 134747636 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13712 9790 301 301 0 13411 0
vsize: 54848
[startup+770.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 16469 0 0 0 76873 139 0 0 25 0 1 0 970803517 56164352 9812 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13712 9812 301 301 0 13411 0
vsize: 54848
[startup+780.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 16501 0 0 0 77872 139 0 0 25 0 1 0 970803517 56164352 9844 4294967295 134512640 135730672 3221224576 3221222864 134747578 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13712 9844 301 301 0 13411 0
vsize: 54848
[startup+790.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 16525 0 0 0 78872 141 0 0 25 0 1 0 970803517 56164352 9868 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13712 9868 301 301 0 13411 0
vsize: 54848
[startup+800.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 16546 0 0 0 79871 141 0 0 25 0 1 0 970803517 56164352 9889 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13712 9889 301 301 0 13411 0
vsize: 54848
[startup+810.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 16592 0 0 0 80870 142 0 0 25 0 1 0 970803517 56164352 9935 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13712 9935 301 301 0 13411 0
vsize: 54848
[startup+820.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 16630 0 0 0 81870 143 0 0 25 0 1 0 970803517 56164352 9973 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13712 9973 301 301 0 13411 0
vsize: 54848
[startup+830.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 16668 0 0 0 82869 144 0 0 25 0 1 0 970803517 56360960 10011 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13760 10011 301 301 0 13459 0
vsize: 55040
[startup+840.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 16857 0 0 0 83869 144 0 0 25 0 1 0 970803517 56360960 10033 4294967295 134512640 135730672 3221224576 3221222864 134747967 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13760 10033 301 301 0 13459 0
vsize: 55040
[startup+850.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 16880 0 0 0 84867 146 0 0 25 0 1 0 970803517 56360960 10056 4294967295 134512640 135730672 3221224576 3221222688 134732625 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13760 10056 301 301 0 13459 0
vsize: 55040
[startup+860.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 16900 0 0 0 85866 146 0 0 25 0 1 0 970803517 56360960 10076 4294967295 134512640 135730672 3221224576 3221222864 134747711 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13760 10076 301 301 0 13459 0
vsize: 55040
[startup+870.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 17093 0 0 0 86865 147 0 0 25 0 1 0 970803517 56360960 10102 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13760 10102 301 301 0 13459 0
vsize: 55040
[startup+880.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 17113 0 0 0 87865 148 0 0 25 0 1 0 970803517 56360960 10122 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13760 10122 301 301 0 13459 0
vsize: 55040
[startup+890.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 17144 0 0 0 88864 149 0 0 25 0 1 0 970803517 56360960 10153 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13760 10153 301 301 0 13459 0
vsize: 55040
[startup+900.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 17167 0 0 0 89863 150 0 0 25 0 1 0 970803517 56360960 10176 4294967295 134512640 135730672 3221224576 3221222864 134747647 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13760 10176 301 301 0 13459 0
vsize: 55040
[startup+910.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 17210 0 0 0 90862 151 0 0 25 0 1 0 970803517 56360960 10219 4294967295 134512640 135730672 3221224576 3221223056 134748503 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13760 10219 301 301 0 13459 0
vsize: 55040
[startup+920.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 17411 0 0 0 91862 152 0 0 25 0 1 0 970803517 56557568 10253 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13808 10253 301 301 0 13507 0
vsize: 55232
[startup+930.149 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 17435 0 0 0 92872 152 0 0 25 0 1 0 970803517 56557568 10277 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13808 10277 301 301 0 13507 0
vsize: 55232
[startup+940.149 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 17458 0 0 0 93871 153 0 0 25 0 1 0 970803517 56557568 10300 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13808 10300 301 301 0 13507 0
vsize: 55232
[startup+950.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 17483 0 0 0 94870 154 0 0 25 0 1 0 970803517 56557568 10325 4294967295 134512640 135730672 3221224576 3221222992 135104801 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13808 10325 301 301 0 13507 0
vsize: 55232
[startup+960.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 17522 0 0 0 95870 155 0 0 25 0 1 0 970803517 56557568 10364 4294967295 134512640 135730672 3221224576 3221222864 134747616 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13808 10364 301 301 0 13507 0
vsize: 55232
[startup+970.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 17544 0 0 0 96869 155 0 0 25 0 1 0 970803517 56557568 10386 4294967295 134512640 135730672 3221224576 3221222864 134747811 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13808 10386 301 301 0 13507 0
vsize: 55232
[startup+980.151 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 17570 0 0 0 97869 156 0 0 25 0 1 0 970803517 56557568 10412 4294967295 134512640 135730672 3221224576 3221223056 134748503 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13808 10412 301 301 0 13507 0
vsize: 55232
[startup+990.152 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 17600 0 0 0 98868 157 0 0 25 0 1 0 970803517 56557568 10442 4294967295 134512640 135730672 3221224576 3221222864 134747610 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13808 10442 301 301 0 13507 0
vsize: 55232
[startup+1000.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 17622 0 0 0 99868 157 0 0 25 0 1 0 970803517 56557568 10464 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13808 10464 301 301 0 13507 0
vsize: 55232
[startup+1010.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 17648 0 0 0 100867 159 0 0 25 0 1 0 970803517 56557568 10490 4294967295 134512640 135730672 3221224576 3221223056 134748495 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13808 10490 301 301 0 13507 0
vsize: 55232
[startup+1020.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 17670 0 0 0 101867 159 0 0 25 0 1 0 970803517 56557568 10512 4294967295 134512640 135730672 3221224576 3221223008 134748065 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13808 10512 301 301 0 13507 0
vsize: 55232
[startup+1030.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 17694 0 0 0 102866 160 0 0 25 0 1 0 970803517 56557568 10536 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13808 10536 301 301 0 13507 0
vsize: 55232
[startup+1040.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 17888 0 0 0 103865 162 0 0 25 0 1 0 970803517 56557568 10563 4294967295 134512640 135730672 3221224576 3221222992 134783294 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13808 10563 301 301 0 13507 0
vsize: 55232
[startup+1050.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 17906 0 0 0 104864 162 0 0 25 0 1 0 970803517 56557568 10581 4294967295 134512640 135730672 3221224576 3221222864 134747892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13808 10581 301 301 0 13507 0
vsize: 55232
[startup+1060.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 17934 0 0 0 105863 163 0 0 25 0 1 0 970803517 56557568 10609 4294967295 134512640 135730672 3221224576 3221222864 134747808 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13808 10609 301 301 0 13507 0
vsize: 55232
[startup+1070.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 17961 0 0 0 106862 164 0 0 25 0 1 0 970803517 56557568 10636 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13808 10636 301 301 0 13507 0
vsize: 55232
[startup+1080.16 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 17985 0 0 0 107861 166 0 0 25 0 1 0 970803517 56557568 10660 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13808 10660 301 301 0 13507 0
vsize: 55232
[startup+1090.16 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 18017 0 0 0 108859 167 0 0 25 0 1 0 970803517 56557568 10692 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13808 10692 301 301 0 13507 0
vsize: 55232
[startup+1100.16 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 18052 0 0 0 109859 168 0 0 25 0 1 0 970803517 56754176 10727 4294967295 134512640 135730672 3221224576 3221222864 134747618 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13856 10727 301 301 0 13555 0
vsize: 55424
[startup+1110.16 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 18080 0 0 0 110858 169 0 0 25 0 1 0 970803517 56754176 10755 4294967295 134512640 135730672 3221224576 3221223056 134748570 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13856 10755 301 301 0 13555 0
vsize: 55424
[startup+1120.16 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 18107 0 0 0 111858 170 0 0 25 0 1 0 970803517 56754176 10782 4294967295 134512640 135730672 3221224576 3221222864 134747730 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13856 10782 301 301 0 13555 0
vsize: 55424
[startup+1130.16 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 18128 0 0 0 112857 171 0 0 25 0 1 0 970803517 56754176 10803 4294967295 134512640 135730672 3221224576 3221222864 134747823 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13856 10803 301 301 0 13555 0
vsize: 55424
[startup+1140.16 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 18320 0 0 0 113856 172 0 0 25 0 1 0 970803517 56754176 10828 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13856 10828 301 301 0 13555 0
vsize: 55424
[startup+1150.16 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 18352 0 0 0 114856 172 0 0 25 0 1 0 970803517 56754176 10860 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13856 10860 301 301 0 13555 0
vsize: 55424
[startup+1160.16 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 18376 0 0 0 115855 173 0 0 25 0 1 0 970803517 56754176 10884 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13856 10884 301 301 0 13555 0
vsize: 55424
[startup+1170.16 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 18402 0 0 0 116855 174 0 0 25 0 1 0 970803517 56754176 10910 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13856 10910 301 301 0 13555 0
vsize: 55424
[startup+1180.16 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 18594 0 0 0 117854 175 0 0 25 0 1 0 970803517 56754176 10935 4294967295 134512640 135730672 3221224576 3221223056 134748503 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13856 10935 301 301 0 13555 0
vsize: 55424
[startup+1190.16 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 18621 0 0 0 118854 175 0 0 25 0 1 0 970803517 56754176 10962 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13856 10962 301 301 0 13555 0
vsize: 55424
[startup+1200.16 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25917
Raw data (stat): 25917 (pb2sat-v2) R 25916 21152 21151 0 -1 0 18648 0 0 0 119853 176 0 0 25 0 1 0 970803517 56754176 10989 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13856 10989 301 301 0 13555 0
vsize: 55424
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.45 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 25917
Raw data (stat): 25917 (pb2sat-v2) Z 25916 21152 21151 0 -1 12 18650 0 0 0 119879 179 0 0 25 0 1 0 970803517 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 10
Real time (s): 1200.45
CPU time (s): 1200.59
CPU user time (s): 1198.79
CPU system time (s): 1.79473
CPU usage (%): 100.011
Max. virtual memory (Kb): 55424
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	49
#### END VERIFIER DATA ####