PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-p2756.opb
MD5SUM	f2badf1ad4c3213045697b74fa812a03
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	4605
Optimality of the best value was proved	NO
Number of terms in the objective function	2166
Biggest coefficient in the objective function	11000
Number of bits for the biggest coefficient in the objective function	14
Sum of the numbers in the objective function	321831
Number of bits of the sum of numbers in the objective function	19
Biggest number in a constraint	11000
Number of bits of the biggest number in a constraint	14
Biggest sum of numbers in a constraint	321831
Number of bits of the biggest sum of numbers	19
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.06284
Number of variables	2756
Total number of constraints	3511
Number of constraints which are clauses	132
Number of constraints which are cardinality constraints (but not clauses)	2976
Number of constraints which are nor clauses,nor cardinality constraints	403
Minimum length of a constraint	1
Maximum length of a constraint	546
Trace number 41153

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-09 06:56:19 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29208 boxname=wulflinc5 idbench=992 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  f2badf1ad4c3213045697b74fa812a03  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-p2756.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-p2756.opb
IDLAUNCH: 29208
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        798608 kB
Buffers:         14672 kB
Cached:         200604 kB
SwapCached:        692 kB
Active:          24816 kB
Inactive:       192484 kB
HighTotal:      131008 kB
HighFree:         9296 kB
LowTotal:       903652 kB
LowFree:        789312 kB
SwapTotal:     2097136 kB
SwapFree:      2095464 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5076 kB
Slab:            13272 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 07:15:54 (client local time) WITH STATUS 10 IN 1175.08 SECONDS
stats: 29208 0 1175.08 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 2756 variables and 749 constraints.
c After prepocess the problem consists of 2723 variables and 771 constraints.
c preprocess terminated 12.297 s
c Initial Lower Bound: 1572
c Lower Bound Elapsed time: 0.196
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 35518 @ 345.051
c NEW SOLUTION FOUND: 35511 @ 345.177
c NEW SOLUTION FOUND: 35509 @ 345.329
c NEW SOLUTION FOUND: 35507 @ 345.944
c NEW SOLUTION FOUND: 35506 @ 346.491
c NEW SOLUTION FOUND: 35504 @ 347.125
c NEW SOLUTION FOUND: 35502 @ 348.074
c NEW SOLUTION FOUND: 35501 @ 350.806
c NEW SOLUTION FOUND: 35500 @ 352.065
c NEW SOLUTION FOUND: 35499 @ 353.802
c NEW SOLUTION FOUND: 35497 @ 358.392
c NEW SOLUTION FOUND: 35495 @ 361.116
c NEW SOLUTION FOUND: 35491 @ 365.514
c NEW SOLUTION FOUND: 35490 @ 387.851
c NEW SOLUTION FOUND: 35489 @ 455.274
c NEW SOLUTION FOUND: 35488 @ 479.725
c NEW SOLUTION FOUND: 35487 @ 522.845
c NEW SOLUTION FOUND: 35486 @ 567.416
c NEW SOLUTION FOUND: 35484 @ 623.41
c NEW SOLUTION FOUND: 35483 @ 683.565
c NEW SOLUTION FOUND: 35482 @ 684.381
c NEW SOLUTION FOUND: 35481 @ 758.733
c NEW SOLUTION FOUND: 35480 @ 808.075
c NEW SOLUTION FOUND: 35479 @ 809.148
c NEW SOLUTION FOUND: 35478 @ 1023.28
c NEW SOLUTION FOUND: 35477 @ 1127.89
c NEW SOLUTION FOUND: 35476 @ 1128
s SATISFIABLE
v -x1_bit0 -x2_bit0 -x3_bit0 -x4_bit0 -x5_bit0 -x6_bit0 -x9_bit0 x10_bit0 -x11_bit0 -x14_bit0 -x17_bit0 -x19_bit0 -x20_bit0 -x21_bit0 -x22_bit0 -x23_bit0 -x24_bit0 -x27_bit0 -x29_bit0 -x30_bit0 -x31_bit0 -x32_bit0 -x33_bit0 -x34_bit0 -x35_bit0 -x36_bit0 -x37_bit0 -x38_bit0 -x39_bit0 -x42_bit0 -x44_bit0 -x45_bit0 -x46_bit0 -x47_bit0 -x48_bit0 -x49_bit0 -x50_bit0 x51_bit0 -x54_bit0 -x56_bit0 x57_bit0 x58_bit0 -x59_bit0 -x60_bit0 -x61_bit0 -x62_bit0 -x65_bit0 -x66_bit0 -x67_bit0 -x68_bit0 x70_bit0 -x73_bit0 -x74_bit0 -x75_bit0 -x76_bit0 -x77_bit0 -x78_bit0 -x79_bit0 -x80_bit0 -x83_bit0 -x85_bit0 -x86_bit0 -x87_bit0 -x88_bit0 -x89_bit0 -x90_bit0 -x91_bit0 -x92_bit0 -x93_bit0 -x94_bit0 -x95_bit0 -x98_bit0 -x100_bit0 -x101_bit0 -x102_bit0 -x103_bit0 -x104_bit0 -x105_bit0 -x106_bit0 x107_bit0 -x110_bit0 -x112_bit0 -x113_bit0 -x114_bit0 -x115_bit0 -x116_bit0 -x117_bit0 -x119_bit0 -x120_bit0 -x121_bit0 -x122_bit0 -x123_bit0 -x124_bit0 x126_bit0 -x127_bit0 x128_bit0 -x129_bit0 -x131_bit0 -x132_bit0 -x133_bit0 -x134_bit0 -x135_bit0 -x136_bit0 -x137_bit0 -x139_bit0 x140_bit0 x141_bit0 -x142_bit0 x143_bit0 -x144_bit0 -x145_bit0 -x148_bit0 -x149_bit0 -x150_bit0 x153_bit0 -x156_bit0 x158_bit0 -x159_bit0 -x160_bit0 -x161_bit0 -x162_bit0 -x163_bit0 x166_bit0 x168_bit0 -x169_bit0 -x170_bit0 -x171_bit0 -x172_bit0 -x173_bit0 -x174_bit0 -x175_bit0 -x176_bit0 -x177_bit0 -x178_bit0 -x181_bit0 -x183_bit0 -x184_bit0 -x185_bit0 -x186_bit0 -x187_bit0 -x188_bit0 -x189_bit0 x190_bit0 -x193_bit0 -x195_bit0 -x196_bit0 -x197_bit0 -x198_bit0 -x199_bit0 -x200_bit0 -x201_bit0 -x204_bit0 -x205_bit0 -x206_bit0 -x207_bit0 x209_bit0 -x212_bit0 -x213_bit0 x214_bit0 x215_bit0 -x216_bit0 -x217_bit0 x218_bit0 -x219_bit0 -x222_bit0 -x224_bit0 -x225_bit0 -x226_bit0 -x227_bit0 -x228_bit0 -x229_bit0 -x230_bit0 -x231_bit0 -x232_bit0 -x233_bit0 -x234_bit0 -x237_bit0 -x239_bit0 -x240_bit0 -x241_bit0 -x242_bit0 -x243_bit0 -x244_bit0 -x245_bit0 x246_bit0 -x249_bit0 -x251_bit0 -x252_bit0 -x253_bit0 -x254_bit0 -x255_bit0 -x256_bit0 -x258_bit0 -x259_bit0 x260_bit0 -x261_bit0 -x262_bit0 -x263_bit0 -x265_bit0 -x266_bit0 -x267_bit0 -x268_bit0 x270_bit0 -x271_bit0 -x272_bit0 -x273_bit0 -x274_bit0 -x275_bit0 -x276_bit0 -x278_bit0 -x279_bit0 x280_bit0 -x281_bit0 -x283_bit0 -x284_bit0 -x285_bit0 -x286_bit0 -x289_bit0 -x290_bit0 x291_bit0 x292_bit0 -x293_bit0 -x294_bit0 x295_bit0 x296_bit0 -x297_bit0 -x298_bit0 -x299_bit0 -x300_bit0 -x303_bit0 -x304_bit0 -x305_bit0 x306_bit0 -x307_bit0 -x308_bit0 -x309_bit0 -x310_bit0 -x313_bit0 -x314_bit0 -x315_bit0 -x316_bit0 -x317_bit0 -x318_bit0 -x319_bit0 -x320_bit0 -x321_bit0 -x322_bit0 -x323_bit0 -x326_bit0 -x327_bit0 -x328_bit0 -x329_bit0 -x330_bit0 -x331_bit0 -x332_bit0 -x333_bit0 -x335_bit0 -x338_bit0 -x339_bit0 -x340_bit0 -x341_bit0 -x343_bit0 -x344_bit0 -x345_bit0 -x347_bit0 -x348_bit0 -x349_bit0 -x351_bit0 -x352_bit0 -x353_bit0 -x354_bit0 -x356_bit0 -x357_bit0 -x358_bit0 -x359_bit0 -x360_bit0 -x361_bit0 -x362_bit0 -x363_bit0 -x366_bit0 -x367_bit0 x368_bit0 -x369_bit0 -x370_bit0 -x371_bit0 -x372_bit0 -x373_bit0 -x374_bit0 -x375_bit0 -x376_bit0 -x377_bit0 -x380_bit0 -x381_bit0 -x382_bit0 -x383_bit0 -x384_bit0 -x385_bit0 -x386_bit0 -x387_bit0 -x390_bit0 -x391_bit0 -x392_bit0 -x393_bit0 -x394_bit0 -x395_bit0 -x396_bit0 -x397_bit0 -x398_bit0 -x399_bit0 -x400_bit0 -x403_bit0 -x404_bit0 -x405_bit0 -x406_bit0 -x407_bit0 -x408_bit0 -x409_bit0 -x410_bit0 -x411_bit0 x412_bit0 -x415_bit0 -x416_bit0 -x417_bit0 -x418_bit0 -x419_bit0 -x420_bit0 x421_bit0 -x422_bit0 x423_bit0 -x424_bit0 -x425_bit0 x426_bit0 -x428_bit0 -x429_bit0 -x430_bit0 x431_bit0 -x432_bit0 -x433_bit0 -x434_bit0 -x435_bit0 -x436_bit0 -x437_bit0 -x438_bit0 -x439_bit0 -x440_bit0 -x441_bit0 -x442_bit0 -x443_bit0 -x444_bit0 -x445_bit0 -x446_bit0 -x447_bit0 -x448_bit0 -x449_bit0 -x450_bit0 -x451_bit0 -x452_bit0 -x453_bit0 -x454_bit0 x456_bit0 -x457_bit0 -x458_bit0 -x459_bit0 -x460_bit0 x461_bit0 -x463_bit0 -x464_bit0 x465_bit0 -x466_bit0 -x467_bit0 -x468_bit0 -x469_bit0 -x470_bit0 x471_bit0 x472_bit0 -x473_bit0 -x474_bit0 -x475_bit0 -x476_bit0 -x479_bit0 x480_bit0 -x481_bit0 x482_bit0 x483_bit0 -x484_bit0 -x485_bit0 -x486_bit0 -x489_bit0 -x490_bit0 -x491_bit0 -x492_bit0 -x493_bit0 -x494_bit0 -x495_bit0 -x496_bit0 -x497_bit0 -x498_bit0 -x499_bit0 -x500_bit0 -x501_bit0 -x502_bit0 -x503_bit0 -x506_bit0 -x507_bit0 -x508_bit0 -x509_bit0 -x510_bit0 -x511_bit0 -x512_bit0 -x513_bit0 -x514_bit0 -x515_bit0 -x516_bit0 -x517_bit0 x519_bit0 -x522_bit0 -x523_bit0 -x524_bit0 -x525_bit0 -x526_bit0 -x527_bit0 x528_bit0 -x529_bit0 x530_bit0 -x531_bit0 -x532_bit0 x533_bit0 -x535_bit0 -x536_bit0 -x537_bit0 x538_bit0 -x539_bit0 -x540_bit0 -x541_bit0 -x542_bit0 -x543_bit0 -x544_bit0 -x545_bit0 -x546_bit0 -x549_bit0 -x550_bit0 -x551_bit0 -x552_bit0 -x553_bit0 -x554_bit0 -x555_bit0 -x556_bit0 -x559_bit0 -x560_bit0 -x561_bit0 -x562_bit0 -x563_bit0 -x564_bit0 -x565_bit0 -x566_bit0 -x567_bit0 -x568_bit0 -x569_bit0 -x570_bit0 -x571_bit0 -x572_bit0 -x573_bit0 -x576_bit0 -x577_bit0 -x578_bit0 -x579_bit0 -x580_bit0 -x581_bit0 -x582_bit0 -x583_bit0 -x584_bit0 -x585_bit0 -x586_bit0 -x587_bit0 -x588_bit0 x589_bit0 -x592_bit0 -x593_bit0 -x594_bit0 -x595_bit0 -x596_bit0 -x597_bit0 -x598_bit0 -x599_bit0 -x600_bit0 -x601_bit0 -x602_bit0 -x603_bit0 -x605_bit0 -x606_bit0 -x607_bit0 -x608_bit0 -x609_bit0 -x610_bit0 -x611_bit0 -x612_bit0 -x613_bit0 -x614_bit0 -x615_bit0 -x616_bit0 -x617_bit0 -x618_bit0 -x619_bit0 -x620_bit0 -x621_bit0 -x622_bit0 -x623_bit0 -x624_bit0 -x625_bit0 -x626_bit0 -x627_bit0 -x628_bit0 -x629_bit0 -x630_bit0 -x631_bit0 x633_bit0 -x634_bit0 -x635_bit0 -x636_bit0 -x637_bit0 -x638_bit0 -x639_bit0 -x640_bit0 -x641_bit0 x642_bit0 -x643_bit0 -x644_bit0 x645_bit0 x646_bit0 -x647_bit0 x648_bit0 -x650_bit0 -x651_bit0 -x652_bit0 x653_bit0 -x656_bit0 x657_bit0 x658_bit0 x659_bit0 -x660_bit0 -x661_bit0 -x662_bit0 -x663_bit0 -x666_bit0 -x667_bit0 -x668_bit0 -x669_bit0 -x670_bit0 -x671_bit0 -x672_bit0 -x673_bit0 -x674_bit0 -x675_bit0 -x676_bit0 -x677_bit0 -x678_bit0 -x679_bit0 -x680_bit0 -x683_bit0 -x684_bit0 -x685_bit0 -x686_bit0 -x687_bit0 -x688_bit0 -x689_bit0 -x690_bit0 -x691_bit0 -x692_bit0 -x693_bit0 -x694_bit0 x696_bit0 -x699_bit0 -x700_bit0 -x701_bit0 -x702_bit0 -x703_bit0 -x704_bit0 x705_bit0 -x706_bit0 -x707_bit0 -x708_bit0 -x709_bit0 x710_bit0 -x712_bit0 -x713_bit0 x714_bit0 x715_bit0 -x716_bit0 -x717_bit0 -x718_bit0 -x719_bit0 -x720_bit0 -x721_bit0 -x722_bit0 -x723_bit0 -x726_bit0 -x727_bit0 -x728_bit0 -x729_bit0 -x730_bit0 -x731_bit0 -x732_bit0 -x733_bit0 -x736_bit0 -x737_bit0 -x738_bit0 -x739_bit0 -x740_bit0 -x741_bit0 -x742_bit0 -x743_bit0 -x744_bit0 -x745_bit0 -x746_bit0 -x747_bit0 -x748_bit0 -x749_bit0 -x750_bit0 -x753_bit0 -x754_bit0 -x755_bit0 -x756_bit0 -x757_bit0 -x758_bit0 -x759_bit0 -x760_bit0 -x761_bit0 -x762_bit0 x763_bit0 -x764_bit0 -x765_bit0 x766_bit0 -x769_bit0 -x770_bit0 -x771_bit0 -x772_bit0 -x773_bit0 -x774_bit0 -x775_bit0 -x776_bit0 -x777_bit0 -x778_bit0 -x779_bit0 -x780_bit0 -x782_bit0 -x783_bit0 -x784_bit0 -x785_bit0 -x786_bit0 -x787_bit0 -x788_bit0 -x789_bit0 -x790_bit0 -x791_bit0 -x792_bit0 -x793_bit0 -x796_bit0 -x797_bit0 -x798_bit0 -x799_bit0 -x800_bit0 x812_bit0 -x813_bit0 -x814_bit0 -x815_bit0 -x816_bit0 -x817_bit0 -x818_bit0 -x821_bit0 -x822_bit0 -x823_bit0 x824_bit0 -x825_bit0 x829_bit0 -x833_bit0 -x837_bit0 -x838_bit0 -x839_bit0 -x840_bit0 -x841_bit0 -x842_bit0 -x843_bit0 -x846_bit0 -x847_bit0 x848_bit0 x849_bit0 -x850_bit0 -x851_bit0 -x854_bit0 -x856_bit0 -x860_bit0 -x864_bit0 -x865_bit0 -x867_bit0 -x870_bit0 -x871_bit0 -x872_bit0 -x873_bit0 x875_bit0 -x876_bit0 x877_bit0 -x878_bit0 -x879_bit0 x880_bit0 -x882_bit0 -x883_bit0 -x884_bit0 -x885_bit0 -x886_bit0 -x887_bit0 -x888_bit0 -x889_bit0 -x890_bit0 -x891_bit0 -x892_bit0 -x893_bit0 -x896_bit0 -x897_bit0 -x898_bit0 x899_bit0 -x900_bit0 x904_bit0 -x908_bit0 -x912_bit0 -x913_bit0 -x914_bit0 -x915_bit0 -x916_bit0 -x917_bit0 -x918_bit0 -x921_bit0 -x922_bit0 x923_bit0 x924_bit0 -x925_bit0 -x926_bit0 x929_bit0 -x933_bit0 x937_bit0 -x938_bit0 x939_bit0 -x940_bit0 -x941_bit0 -x942_bit0 -x943_bit0 -x946_bit0 -x947_bit0 x948_bit0 x949_bit0 x950_bit0 -x951_bit0 -x952_bit0 -x954_bit0 x955_bit0 -x956_bit0 -x959_bit0 -x960_bit0 -x961_bit0 -x962_bit0 x964_bit0 x965_bit0 -x967_bit0 -x970_bit0 x971_bit0 x972_bit0 x973_bit0 -x974_bit0 x975_bit0 -x976_bit0 x977_bit0 -x978_bit0 -x979_bit0 -x980_bit0 -x982_bit0 -x983_bit0 x984_bit0 x985_bit0 -x986_bit0 -x987_bit0 -x988_bit0 -x989_bit0 -x990_bit0 -x991_bit0 x992_bit0 x993_bit0 -x994_bit0 -x995_bit0 -x996_bit0 -x997_bit0 -x1000_bit0 -x1001_bit0 -x1002_bit0 -x1003_bit0 -x1004_bit0 -x1005_bit0 x1008_bit0 -x1011_bit0 -x1012_bit0 -x1013_bit0 -x1014_bit0 -x1016_bit0 -x1017_bit0 -x1018_bit0 -x1019_bit0 -x1020_bit0 -x1021_bit0 -x1022_bit0 -x1023_bit0 -x1024_bit0 -x1025_bit0 -x1026_bit0 -x1029_bit0 -x1030_bit0 x1031_bit0 x1032_bit0 -x1033_bit0 -x1034_bit0 -x1035_bit0 -x1036_bit0 -x1037_bit0 -x1038_bit0 -x1039_bit0 -x1040_bit0 -x1041_bit0 x1042_bit0 -x1043_bit0 x1045_bit0 -x1048_bit0 -x1049_bit0 -x1050_bit0 -x1051_bit0 -x1052_bit0 -x1053_bit0 -x1054_bit0 -x1055_bit0 -x1056_bit0 -x1057_bit0 -x1058_bit0 -x1059_bit0 -x1060_bit0 x1061_bit0 -x1062_bit0 x1063_bit0 -x1064_bit0 -x1065_bit0 -x1066_bit0 -x1067_bit0 -x1070_bit0 x1071_bit0 -x1072_bit0 x1073_bit0 -x1074_bit0 -x1075_bit0 -x1076_bit0 -x1077_bit0 -x1078_bit0 -x1079_bit0 -x1080_bit0 -x1081_bit0 -x1082_bit0 -x1083_bit0 -x1084_bit0 -x1085_bit0 -x1086_bit0 -x1087_bit0 -x1088_bit0 -x1091_bit0 -x1092_bit0 -x1093_bit0 -x1094_bit0 -x1095_bit0 -x1096_bit0 -x1097_bit0 -x1098_bit0 -x1099_bit0 -x1100_bit0 -x1101_bit0 -x1102_bit0 x1103_bit0 -x1106_bit0 -x1107_bit0 -x1108_bit0 -x1109_bit0 -x1110_bit0 -x1111_bit0 -x1112_bit0 -x1113_bit0 -x1114_bit0 -x1115_bit0 -x1116_bit0 -x1117_bit0 -x1118_bit0 x1119_bit0 -x1120_bit0 x1121_bit0 -x1122_bit0 -x1123_bit0 -x1124_bit0 -x1126_bit0 -x1127_bit0 x1128_bit0 x1129_bit0 -x1130_bit0 -x1131_bit0 -x1132_bit0 -x1133_bit0 -x1134_bit0 x1135_bit0 x1136_bit0 x1137_bit0 -x1138_bit0 -x1139_bit0 -x1140_bit0 -x1141_bit0 -x1144_bit0 x1145_bit0 -x1146_bit0 x1147_bit0 -x1148_bit0 -x1149_bit0 x1152_bit0 -x1155_bit0 -x1156_bit0 -x1157_bit0 -x1158_bit0 -x1160_bit0 -x1161_bit0 -x1162_bit0 -x1163_bit0 -x1164_bit0 -x1165_bit0 x1166_bit0 -x1167_bit0 -x1168_bit0 -x1169_bit0 -x1170_bit0 -x1173_bit0 x1174_bit0 -x1175_bit0 x1176_bit0 -x1177_bit0 -x1178_bit0 -x1179_bit0 -x1180_bit0 -x1181_bit0 -x1182_bit0 -x1183_bit0 -x1184_bit0 -x1185_bit0 -x1186_bit0 -x1187_bit0 x1189_bit0 -x1192_bit0 -x1193_bit0 -x1194_bit0 -x1195_bit0 -x1196_bit0 -x1197_bit0 -x1198_bit0 -x1199_bit0 -x1200_bit0 -x1201_bit0 -x1202_bit0 -x1203_bit0 -x1204_bit0 -x1205_bit0 -x1206_bit0 -x1207_bit0 -x1208_bit0 -x1209_bit0 -x1210_bit0 -x1211_bit0 -x1214_bit0 -x1215_bit0 -x1216_bit0 -x1217_bit0 -x1218_bit0 -x1219_bit0 -x1220_bit0 -x1221_bit0 -x1222_bit0 -x1223_bit0 -x1224_bit0 -x1225_bit0 -x1226_bit0 -x1227_bit0 -x1228_bit0 -x1229_bit0 -x1230_bit0 -x1231_bit0 -x1232_bit0 -x1235_bit0 -x1236_bit0 -x1237_bit0 -x1238_bit0 -x1239_bit0 -x1240_bit0 -x1241_bit0 -x1242_bit0 -x1243_bit0 -x1244_bit0 -x1245_bit0 -x1246_bit0 x1247_bit0 -x1250_bit0 -x1251_bit0 -x1252_bit0 -x1253_bit0 -x1254_bit0 -x1255_bit0 -x1256_bit0 -x1257_bit0 -x1258_bit0 -x1259_bit0 -x1260_bit0 -x1261_bit0 -x1262_bit0 x1263_bit0 -x1264_bit0 x1265_bit0 -x1266_bit0 -x1267_bit0 -x1268_bit0 -x1270_bit0 x1271_bit0 x1272_bit0 x1273_bit0 -x1274_bit0 -x1275_bit0 -x1276_bit0 -x1277_bit0 -x1278_bit0 -x1279_bit0 -x1280_bit0 -x1281_bit0 -x1282_bit0 -x1283_bit0 -x1284_bit0 -x1285_bit0 -x1286_bit0 -x1287_bit0 -x1288_bit0 x1289_bit0 x1290_bit0 x1291_bit0 -x1292_bit0 -x1293_bit0 -x1294_bit0 -x1295_bit0 -x1296_bit0 -x1297_bit0 -x1298_bit0 -x1299_bit0 -x1300_bit0 -x1301_bit0 -x1302_bit0 -x1303_bit0 -x1304_bit0 -x1305_bit0 -x1306_bit0 -x1307_bit0 -x1308_bit0 -x1309_bit0 -x1310_bit0 -x1311_bit0 -x1312_bit0 -x1313_bit0 -x1314_bit0 -x1315_bit0 x1316_bit0 -x1317_bit0 -x1318_bit0 -x1319_bit0 -x1320_bit0 -x1321_bit0 -x1322_bit0 -x1323_bit0 -x1324_bit0 -x1325_bit0 -x1326_bit0 -x1327_bit0 -x1328_bit0 -x1329_bit0 -x1330_bit0 -x1331_bit0 -x1332_bit0 -x1333_bit0 -x1334_bit0 x1335_bit0 x1336_bit0 -x1337_bit0 x1338_bit0 x1339_bit0 -x1340_bit0 -x1341_bit0 -x1342_bit0 -x1343_bit0 -x1344_bit0 -x1345_bit0 x1346_bit0 -x1348_bit0 x1349_bit0 -x1351_bit0 x1352_bit0 x1353_bit0 x1354_bit0 x1355_bit0 -x1356_bit0 -x1357_bit0 -x1358_bit0 -x1359_bit0 -x1360_bit0 -x1361_bit0 -x1362_bit0 -x1363_bit0 -x1364_bit0 x1365_bit0 -x1366_bit0 -x1367_bit0 -x1369_bit0 -x1370_bit0 -x1371_bit0 x1372_bit0 -x1373_bit0 -x1374_bit0 -x1375_bit0 -x1376_bit0 -x1377_bit0 -x1378_bit0 -x1379_bit0 -x1380_bit0 -x1381_bit0 -x1382_bit0 x1384_bit0 -x1386_bit0 -x1387_bit0 -x1391_bit0 -x1392_bit0 -x1393_bit0 -x1394_bit0 -x1395_bit0 -x1396_bit0 -x1397_bit0 -x1398_bit0 -x1399_bit0 -x1401_bit0 -x1402_bit0 -x1404_bit0 -x1405_bit0 -x1406_bit0 -x1407_bit0 -x1408_bit0 -x1409_bit0 -x1410_bit0 -x1411_bit0 -x1412_bit0 -x1413_bit0 -x1414_bit0 -x1415_bit0 -x1416_bit0 -x1417_bit0 -x1418_bit0 -x1419_bit0 -x1420_bit0 -x1422_bit0 -x1423_bit0 -x1424_bit0 -x1425_bit0 -x1426_bit0 -x1427_bit0 -x1428_bit0 -x1429_bit0 -x1430_bit0 -x1431_bit0 -x1432_bit0 -x1433_bit0 -x1434_bit0 -x1435_bit0 x1436_bit0 -x1437_bit0 -x1438_bit0 -x1440_bit0 x1441_bit0 -x1442_bit0 x1443_bit0 -x1444_bit0 -x1445_bit0 -x1446_bit0 -x1447_bit0 -x1448_bit0 -x1449_bit0 -x1450_bit0 -x1451_bit0 -x1452_bit0 -x1453_bit0 x1455_bit0 -x1457_bit0 -x1458_bit0 -x1459_bit0 -x1460_bit0 -x1461_bit0 -x1462_bit0 -x1463_bit0 -x1464_bit0 -x1465_bit0 -x1466_bit0 -x1467_bit0 -x1468_bit0 -x1469_bit0 -x1470_bit0 -x1471_bit0 -x1472_bit0 x1473_bit0 -x1475_bit0 -x1476_bit0 -x1477_bit0 -x1478_bit0 -x1479_bit0 -x1480_bit0 -x1481_bit0 -x1482_bit0 -x1483_bit0 -x1484_bit0 -x1485_bit0 -x1486_bit0 -x1487_bit0 -x1488_bit0 -x1489_bit0 -x1490_bit0 -x1491_bit0 -x1493_bit0 -x1494_bit0 -x1495_bit0 -x1496_bit0 -x1497_bit0 -x1498_bit0 -x1499_bit0 -x1500_bit0 -x1501_bit0 -x1502_bit0 -x1503_bit0 -x1504_bit0 -x1505_bit0 -x1506_bit0 -x1507_bit0 -x1508_bit0 -x1509_bit0 -x1511_bit0 -x1512_bit0 -x1513_bit0 -x1514_bit0 -x1515_bit0 -x1516_bit0 -x1517_bit0 -x1518_bit0 -x1519_bit0 -x1520_bit0 x1521_bit0 x1522_bit0 -x1524_bit0 -x1525_bit0 x1526_bit0 x1527_bit0 -x1528_bit0 -x1529_bit0 -x1530_bit0 -x1531_bit0 -x1532_bit0 -x1533_bit0 -x1534_bit0 -x1535_bit0 -x1536_bit0 -x1537_bit0 -x1538_bit0 -x1539_bit0 -x1540_bit0 -x1542_bit0 -x1543_bit0 -x1544_bit0 -x1545_bit0 -x1546_bit0 -x1547_bit0 -x1548_bit0 -x1549_bit0 -x1550_bit0 -x1551_bit0 -x1552_bit0 -x1553_bit0 -x1554_bit0 -x1555_bit0 x1556_bit0 -x1557_bit0 -x1558_bit0 -x1560_bit0 -x1561_bit0 -x1562_bit0 -x1563_bit0 -x1564_bit0 -x1565_bit0 -x1566_bit0 -x1567_bit0 -x1568_bit0 -x1569_bit0 -x1570_bit0 -x1571_bit0 -x1572_bit0 -x1573_bit0 x1574_bit0 -x1575_bit0 -x1576_bit0 -x1578_bit0 x1579_bit0 -x1580_bit0 x1581_bit0 -x1582_bit0 -x1583_bit0 -x1584_bit0 -x1585_bit0 -x1586_bit0 -x1587_bit0 -x1588_bit0 x1589_bit0 -x1591_bit0 x1592_bit0 x1593_bit0 x1594_bit0 x1595_bit0 -x1596_bit0 -x1597_bit0 -x1598_bit0 -x1599_bit0 -x1600_bit0 -x1601_bit0 -x1602_bit0 -x1603_bit0 -x1604_bit0 -x1605_bit0 -x1606_bit0 -x1607_bit0 -x1609_bit0 -x1610_bit0 -x1611_bit0 -x1612_bit0 -x1613_bit0 -x1614_bit0 -x1615_bit0 -x1616_bit0 -x1617_bit0 -x1618_bit0 -x1619_bit0 -x1620_bit0 -x1623_bit0 -x1624_bit0 -x1625_bit0 -x1626_bit0 -x1627_bit0 -x1628_bit0 -x1631_bit0 -x1634_bit0 -x1635_bit0 -x1636_bit0 -x1637_bit0 -x1639_bit0 -x1640_bit0 -x1641_bit0 -x1642_bit0 -x1643_bit0 -x1644_bit0 -x1647_bit0 -x1648_bit0 -x1649_bit0 -x1650_bit0 -x1651_bit0 -x1652_bit0 -x1653_bit0 -x1654_bit0 -x1655_bit0 -x1656_bit0 -x1658_bit0 -x1659_bit0 x1660_bit0 -x1663_bit0 -x1664_bit0 -x1665_bit0 -x1666_bit0 -x1667_bit0 -x1668_bit0 -x1669_bit0 -x1670_bit0 -x1671_bit0 -x1672_bit0 -x1673_bit0 -x1675_bit0 -x1678_bit0 -x1679_bit0 -x1680_bit0 -x1683_bit0 -x1684_bit0 -x1685_bit0 -x1686_bit0 -x1687_bit0 -x1688_bit0 -x1690_bit0 -x1692_bit0 -x1694_bit0 -x1695_bit0 -x1696_bit0 -x1699_bit0 -x1700_bit0 -x1701_bit0 -x1702_bit0 -x1703_bit0 -x1704_bit0 -x1705_bit0 -x1708_bit0 -x1709_bit0 -x1710_bit0 -x1711_bit0 -x1712_bit0 -x1713_bit0 -x1714_bit0 x1716_bit0 -x1719_bit0 -x1720_bit0 -x1721_bit0 -x1722_bit0 -x1723_bit0 -x1724_bit0 -x1725_bit0 -x1726_bit0 -x1727_bit0 -x1728_bit0 -x1729_bit0 -x1732_bit0 -x1733_bit0 -x1734_bit0 -x1735_bit0 -x1736_bit0 x1737_bit0 -x1738_bit0 -x1739_bit0 -x1740_bit0 x1741_bit0 -x1742_bit0 -x1743_bit0 -x1744_bit0 -x1745_bit0 -x1748_bit0 -x1749_bit0 -x1750_bit0 -x1751_bit0 -x1752_bit0 -x1753_bit0 -x1754_bit0 -x1755_bit0 -x1756_bit0 -x1757_bit0 -x1758_bit0 -x1760_bit0 -x1763_bit0 -x1764_bit0 -x1765_bit0 -x1766_bit0 -x1768_bit0 -x1769_bit0 -x1770_bit0 -x1771_bit0 -x1772_bit0 -x1773_bit0 -x1775_bit0 -x1776_bit0 -x1777_bit0 -x1779_bit0 -x1780_bit0 -x1781_bit0 -x1782_bit0 -x1783_bit0 -x1784_bit0 -x1785_bit0 -x1786_bit0 -x1787_bit0 -x1788_bit0 -x1789_bit0 -x1790_bit0 -x1793_bit0 -x1794_bit0 -x1795_bit0 -x1796_bit0 -x1797_bit0 -x1798_bit0 -x1799_bit0 x1801_bit0 -x1804_bit0 -x1805_bit0 -x1806_bit0 -x1807_bit0 -x1808_bit0 -x1809_bit0 -x1810_bit0 -x1811_bit0 -x1812_bit0 -x1813_bit0 -x1814_bit0 -x1817_bit0 -x1818_bit0 -x1819_bit0 -x1820_bit0 -x1821_bit0 -x1822_bit0 -x1823_bit0 -x1824_bit0 -x1825_bit0 -x1826_bit0 -x1827_bit0 -x1828_bit0 -x1829_bit0 -x1830_bit0 -x1833_bit0 -x1834_bit0 -x1835_bit0 -x1836_bit0 -x1837_bit0 -x1838_bit0 -x1839_bit0 -x1840_bit0 -x1841_bit0 -x1842_bit0 -x1843_bit0 x1845_bit0 -x1848_bit0 -x1849_bit0 -x1850_bit0 -x1851_bit0 -x1852_bit0 -x1853_bit0 -x1854_bit0 -x1855_bit0 -x1856_bit0 -x1857_bit0 -x1858_bit0 -x1859_bit0 -x1860_bit0 -x1861_bit0 -x1862_bit0 -x1864_bit0 -x1865_bit0 -x1866_bit0 -x1867_bit0 -x1868_bit0 -x1869_bit0 -x1870_bit0 -x1871_bit0 -x1872_bit0 -x1873_bit0 -x1874_bit0 -x1875_bit0 -x1878_bit0 -x1879_bit0 -x1880_bit0 -x1881_bit0 -x1882_bit0 -x1883_bit0 -x1884_bit0 -x1885_bit0 -x1886_bit0 -x1889_bit0 -x1890_bit0 -x1891_bit0 -x1892_bit0 -x1893_bit0 -x1894_bit0 -x1895_bit0 -x1896_bit0 -x1897_bit0 -x1898_bit0 -x1899_bit0 -x1902_bit0 -x1903_bit0 -x1904_bit0 -x1905_bit0 -x1906_bit0 -x1907_bit0 -x1908_bit0 -x1909_bit0 -x1910_bit0 -x1911_bit0 -x1912_bit0 -x1913_bit0 -x1914_bit0 -x1915_bit0 -x1918_bit0 -x1919_bit0 x1920_bit0 x1921_bit0 -x1922_bit0 -x1923_bit0 -x1924_bit0 -x1925_bit0 -x1926_bit0 -x1927_bit0 -x1928_bit0 -x1929_bit0 x1930_bit0 -x1933_bit0 -x1934_bit0 -x1935_bit0 -x1936_bit0 -x1937_bit0 -x1938_bit0 -x1939_bit0 -x1940_bit0 -x1941_bit0 -x1942_bit0 -x1943_bit0 -x1944_bit0 -x1945_bit0 -x1946_bit0 -x1947_bit0 -x1949_bit0 -x1950_bit0 -x1951_bit0 -x1952_bit0 -x1953_bit0 -x1954_bit0 -x1955_bit0 -x1956_bit0 -x1957_bit0 -x1958_bit0 -x1959_bit0 -x1960_bit0 -x1961_bit0 -x1962_bit0 -x1963_bit0 -x1966_bit0 -x1967_bit0 -x1968_bit0 -x1969_bit0 -x1970_bit0 -x1971_bit0 -x1972_bit0 -x1973_bit0 -x1974_bit0 -x1975_bit0 -x1976_bit0 x1977_bit0 -x1980_bit0 -x1981_bit0 -x1982_bit0 -x1983_bit0 -x1984_bit0 -x1985_bit0 x1986_bit0 -x1987_bit0 -x1988_bit0 -x1989_bit0 -x1990_bit0 x1991_bit0 -x1992_bit0 -x1993_bit0 -x1994_bit0 -x1995_bit0 -x1996_bit0 -x1997_bit0 -x1998_bit0 -x1999_bit0 x2000_bit0 -x2001_bit0 x2003_bit0 -x2004_bit0 x2005_bit0 x2006_bit0 -x2007_bit0 -x2008_bit0 -x2009_bit0 -x2010_bit0 -x2011_bit0 -x2012_bit0 -x2013_bit0 -x2014_bit0 -x2015_bit0 -x2016_bit0 -x2017_bit0 -x2018_bit0 -x2019_bit0 -x2020_bit0 -x2021_bit0 -x2022_bit0 -x2023_bit0 -x2024_bit0 -x2025_bit0 -x2027_bit0 -x2028_bit0 -x2029_bit0 x2030_bit0 -x2031_bit0 -x2032_bit0 -x2033_bit0 -x2034_bit0 -x2035_bit0 x2038_bit0 -x2040_bit0 -x2041_bit0 -x2042_bit0 -x2043_bit0 -x2045_bit0 -x2046_bit0 -x2047_bit0 -x2048_bit0 x2049_bit0 -x2050_bit0 -x2051_bit0 -x2053_bit0 -x2054_bit0 x2055_bit0 -x2056_bit0 -x2057_bit0 -x2058_bit0 -x2059_bit0 -x2060_bit0 -x2061_bit0 -x2062_bit0 x2064_bit0 -x2066_bit0 -x2067_bit0 -x2068_bit0 -x2071_bit0 -x2072_bit0 -x2073_bit0 -x2074_bit0 -x2075_bit0 -x2076_bit0 -x2077_bit0 x2078_bit0 -x2080_bit0 -x2081_bit0 -x2082_bit0 -x2083_bit0 -x2084_bit0 -x2085_bit0 -x2086_bit0 -x2087_bit0 -x2088_bit0 x2089_bit0 -x2090_bit0 -x2091_bit0 -x2092_bit0 -x2094_bit0 -x2095_bit0 x2096_bit0 x2097_bit0 x2098_bit0 -x2099_bit0 -x2100_bit0 -x2101_bit0 -x2102_bit0 x2105_bit0 -x2107_bit0 -x2108_bit0 -x2109_bit0 -x2110_bit0 -x2112_bit0 -x2113_bit0 -x2114_bit0 -x2115_bit0 -x2116_bit0 -x2117_bit0 -x2118_bit0 -x2120_bit0 -x2121_bit0 -x2122_bit0 -x2123_bit0 -x2124_bit0 -x2125_bit0 -x2126_bit0 -x2127_bit0 -x2128_bit0 -x2129_bit0 x2131_bit0 -x2133_bit0 -x2134_bit0 -x2135_bit0 -x2138_bit0 -x2139_bit0 -x2140_bit0 -x2141_bit0 -x2142_bit0 -x2143_bit0 -x2144_bit0 -x2145_bit0 -x2147_bit0 -x2148_bit0 -x2149_bit0 -x2150_bit0 -x2151_bit0 -x2152_bit0 -x2153_bit0 -x2154_bit0 -x2155_bit0 x2156_bit0 x2157_bit0 -x2158_bit0 -x2159_bit0 -x2161_bit0 -x2162_bit0 -x2163_bit0 x2164_bit0 -x2165_bit0 -x2166_bit0 -x2167_bit0 -x2168_bit0 -x2169_bit0 x2170_bit0 x2172_bit0 -x2174_bit0 -x2175_bit0 -x2176_bit0 -x2177_bit0 -x2178_bit0 -x2179_bit0 -x2180_bit0 -x2181_bit0 -x2182_bit0 x2183_bit0 -x2184_bit0 -x2185_bit0 -x2187_bit0 -x2188_bit0 -x2189_bit0 x2190_bit0 x2191_bit0 -x2192_bit0 -x2193_bit0 -x2194_bit0 -x2195_bit0 -x2196_bit0 x2198_bit0 -x2200_bit0 -x2201_bit0 -x2202_bit0 -x2203_bit0 -x2204_bit0 -x2205_bit0 -x2206_bit0 -x2207_bit0 -x2208_bit0 -x2209_bit0 -x2210_bit0 -x2211_bit0 -x2212_bit0 -x2214_bit0 -x2215_bit0 -x2216_bit0 -x2217_bit0 -x2218_bit0 -x2219_bit0 -x2220_bit0 -x2221_bit0 -x2222_bit0 -x2223_bit0 x2224_bit0 -x2225_bit0 -x2226_bit0 -x2228_bit0 -x2229_bit0 x2230_bit0 x2231_bit0 x2232_bit0 -x2233_bit0 -x2234_bit0 -x2235_bit0 -x2236_bit0 x2237_bit0 x2239_bit0 -x2241_bit0 -x2242_bit0 x2243_bit0 x2244_bit0 -x2245_bit0 -x2246_bit0 -x2247_bit0 -x2248_bit0 -x2249_bit0 -x2250_bit0 -x2251_bit0 -x2252_bit0 -x2254_bit0 -x2255_bit0 -x2256_bit0 -x2257_bit0 -x2258_bit0 -x2259_bit0 -x2260_bit0 -x2261_bit0 -x2262_bit0 -x2263_bit0 x2265_bit0 -x2267_bit0 -x2268_bit0 x2269_bit0 x2270_bit0 -x2271_bit0 -x2272_bit0 -x2273_bit0 -x2274_bit0 -x2275_bit0 -x2276_bit0 -x2277_bit0 -x2278_bit0 -x2279_bit0 -x2281_bit0 -x2282_bit0 -x2283_bit0 -x2284_bit0 -x2285_bit0 -x2286_bit0 -x2287_bit0 -x2288_bit0 -x2289_bit0 -x2290_bit0 -x2291_bit0 -x2292_bit0 -x2293_bit0 -x2295_bit0 -x2296_bit0 -x2297_bit0 x2298_bit0 -x2299_bit0 -x2300_bit0 -x2301_bit0 -x2302_bit0 -x2303_bit0 x2306_bit0 -x2308_bit0 -x2309_bit0 -x2310_bit0 -x2311_bit0 -x2313_bit0 -x2314_bit0 -x2315_bit0 -x2316_bit0 -x2317_bit0 -x2318_bit0 -x2319_bit0 -x2321_bit0 -x2322_bit0 x2323_bit0 -x2324_bit0 x2325_bit0 -x2326_bit0 -x2327_bit0 -x2328_bit0 -x2329_bit0 -x2330_bit0 x2332_bit0 -x2334_bit0 -x2335_bit0 -x2336_bit0 -x2337_bit0 -x2339_bit0 -x2340_bit0 -x2341_bit0 -x2342_bit0 -x2343_bit0 -x2345_bit0 x2346_bit0 -x2348_bit0 -x2349_bit0 -x2350_bit0 -x2351_bit0 -x2352_bit0 -x2353_bit0 -x2354_bit0 -x2355_bit0 -x2356_bit0 x2357_bit0 -x2358_bit0 -x2359_bit0 -x2360_bit0 -x2362_bit0 -x2363_bit0 x2364_bit0 x2365_bit0 x2366_bit0 -x2367_bit0 -x2368_bit0 -x2369_bit0 -x2370_bit0 x2373_bit0 -x2375_bit0 -x2376_bit0 -x2377_bit0 -x2378_bit0 -x2380_bit0 -x2381_bit0 -x2382_bit0 -x2383_bit0 -x2384_bit0 -x2385_bit0 -x2386_bit0 -x2388_bit0 -x2389_bit0 -x2390_bit0 -x2391_bit0 -x2392_bit0 -x2393_bit0 -x2394_bit0 -x2395_bit0 -x2396_bit0 -x2397_bit0 x2399_bit0 -x2401_bit0 -x2402_bit0 -x2403_bit0 -x2404_bit0 -x2406_bit0 -x2407_bit0 -x2408_bit0 -x2409_bit0 -x2410_bit0 -x2411_bit0 -x2412_bit0 -x2413_bit0 -x2415_bit0 -x2416_bit0 -x2417_bit0 -x2418_bit0 -x2419_bit0 -x2420_bit0 -x2421_bit0 -x2422_bit0 -x2423_bit0 -x2424_bit0 -x2425_bit0 -x2426_bit0 -x2427_bit0 -x2428_bit0 -x2429_bit0 -x2430_bit0 -x2432_bit0 -x2433_bit0 -x2434_bit0 -x2435_bit0 -x2436_bit0 -x2437_bit0 -x2438_bit0 -x2439_bit0 -x2440_bit0 -x2441_bit0 -x2442_bit0 -x2443_bit0 -x2444_bit0 -x2445_bit0 x2446_bit0 -x2448_bit0 -x2449_bit0 -x2450_bit0 -x2451_bit0 -x2452_bit0 -x2453_bit0 -x2454_bit0 -x2455_bit0 -x2456_bit0 -x2457_bit0 -x2458_bit0 -x2459_bit0 -x2460_bit0 -x2461_bit0 -x2462_bit0 -x2463_bit0 -x2464_bit0 -x2466_bit0 -x2467_bit0 x2468_bit0 -x2469_bit0 x2470_bit0 -x2471_bit0 -x2472_bit0 -x2473_bit0 -x2474_bit0 -x2475_bit0 -x2476_bit0 -x2477_bit0 -x2478_bit0 -x2479_bit0 -x2480_bit0 -x2481_bit0 -x2483_bit0 -x2484_bit0 -x2485_bit0 -x2486_bit0 -x2487_bit0 -x2488_bit0 -x2489_bit0 -x2490_bit0 -x2491_bit0 -x2492_bit0 -x2493_bit0 -x2494_bit0 -x2495_bit0 -x2496_bit0 x2497_bit0 -x2499_bit0 -x2500_bit0 -x2501_bit0 -x2502_bit0 -x2503_bit0 -x2504_bit0 -x2505_bit0 -x2506_bit0 -x2507_bit0 -x2508_bit0 -x2509_bit0 -x2510_bit0 -x2511_bit0 -x2512_bit0 -x2513_bit0 -x2514_bit0 -x2515_bit0 -x2517_bit0 -x2518_bit0 -x2519_bit0 -x2520_bit0 -x2521_bit0 x2522_bit0 -x2523_bit0 -x2524_bit0 -x2526_bit0 -x2527_bit0 x2528_bit0 x2529_bit0 -x2530_bit0 x2531_bit0 x2532_bit0 -x2534_bit0 -x2535_bit0 -x2536_bit0 x2537_bit0 x2538_bit0 -x2539_bit0 -x2540_bit0 -x2541_bit0 -x2542_bit0 -x2544_bit0 -x2545_bit0 -x2546_bit0 -x2547_bit0 -x2548_bit0 x2549_bit0 -x2550_bit0 -x2551_bit0 -x2552_bit0 -x2553_bit0 x2554_bit0 -x2555_bit0 x2556_bit0 x2557_bit0 x2558_bit0 -x2559_bit0 -x2560_bit0 -x2561_bit0 -x2562_bit0 x2563_bit0 -x2564_bit0 -x2565_bit0 -x2566_bit0 -x2567_bit0 x7_bit0 -x8_bit0 -x2568_bit0 -x108_bit0 -x109_bit0 -x111_bit0 -x2577_bit0 x1269_bit0 x2667_bit0 x2668_bit0 -x2669_bit0 -x2670_bit0 x2671_bit0 x1347_bit0 x1350_bit0 x2672_bit0 x1368_bit0 x2673_bit0 x1383_bit0 -x1385_bit0 -x1388_bit0 -x1389_bit0 -x1390_bit0 -x2674_bit0 -x1400_bit0 -x1403_bit0 -x2675_bit0 x1421_bit0 x2676_bit0 -x118_bit0 -x2578_bit0 x1439_bit0 x2677_bit0 x1454_bit0 -x1456_bit0 -x2678_bit0 x1474_bit0 -x2679_bit0 -x1492_bit0 -x2680_bit0 x1510_bit0 x2681_bit0 x1523_bit0 x2682_bit0 -x1541_bit0 -x2683_bit0 x1559_bit0 x2684_bit0 x1577_bit0 x2685_bit0 x1590_bit0 x2686_bit0 -x125_bit0 -x2579_bit0 x1608_bit0 -x2687_bit0 -x1621_bit0 -x1622_bit0 -x2688_bit0 -x1629_bit0 -x1630_bit0 -x1632_bit0 -x1633_bit0 -x1638_bit0 -x2689_bit0 -x1645_bit0 -x1646_bit0 -x2690_bit0 -x1657_bit0 -x1661_bit0 -x1662_bit0 -x2691_bit0 -x1674_bit0 -x1676_bit0 -x1677_bit0 -x1681_bit0 -x1682_bit0 -x2692_bit0 -x1689_bit0 -x1691_bit0 -x1693_bit0 -x1697_bit0 -x1698_bit0 -x2693_bit0 -x1706_bit0 -x1707_bit0 -x2694_bit0 -x1715_bit0 -x1717_bit0 -x1718_bit0 -x2695_bit0 -x1730_bit0 -x1731_bit0 -x2696_bit0 -x130_bit0 -x2580_bit0 -x1746_bit0 -x1747_bit0 -x2697_bit0 x1759_bit0 -x1761_bit0 -x1762_bit0 x1767_bit0 -x2698_bit0 -x1774_bit0 -x1778_bit0 -x2699_bit0 -x1791_bit0 -x1792_bit0 -x2700_bit0 -x1800_bit0 -x1802_bit0 -x1803_bit0 -x2701_bit0 -x1815_bit0 -x1816_bit0 -x2702_bit0 -x1831_bit0 -x1832_bit0 -x2703_bit0 -x1844_bit0 -x1846_bit0 -x1847_bit0 -x2704_bit0 -x1863_bit0 -x2705_bit0 -x1876_bit0 -x1877_bit0 -x2706_bit0 -x138_bit0 -x2581_bit0 -x1887_bit0 -x1888_bit0 -x2707_bit0 -x1900_bit0 -x1901_bit0 -x2708_bit0 -x1916_bit0 -x1917_bit0 x2709_bit0 -x1931_bit0 x1932_bit0 -x2710_bit0 -x1948_bit0 -x2711_bit0 -x1964_bit0 -x1965_bit0 -x2712_bit0 -x1978_bit0 -x1979_bit0 -x2713_bit0 -x2714_bit0 -x2715_bit0 x2002_bit0 x2716_bit0 x146_bit0 -x147_bit0 x2582_bit0 -x2717_bit0 x2026_bit0 x2718_bit0 x2036_bit0 x2037_bit0 -x2039_bit0 -x2044_bit0 -x2719_bit0 x2052_bit0 x2720_bit0 x2063_bit0 -x2065_bit0 -x2069_bit0 -x2070_bit0 -x2721_bit0 -x2079_bit0 -x2722_bit0 x2093_bit0 x2723_bit0 x2103_bit0 x2104_bit0 -x2106_bit0 -x2111_bit0 -x2724_bit0 -x2119_bit0 -x2725_bit0 x2130_bit0 -x2132_bit0 -x2136_bit0 -x2137_bit0 -x2726_bit0 x151_bit0 x152_bit0 -x154_bit0 -x155_bit0 -x157_bit0 -x2583_bit0 -x2146_bit0 -x2727_bit0 x2160_bit0 x2728_bit0 x2171_bit0 -x2173_bit0 -x2729_bit0 x2186_bit0 x2730_bit0 -x2197_bit0 x2199_bit0 x2731_bit0 -x2213_bit0 -x2732_bit0 x2227_bit0 x2733_bit0 -x2238_bit0 x2240_bit0 x2734_bit0 -x2253_bit0 -x2735_bit0 -x2264_bit0 x2266_bit0 x2736_bit0 -x164_bit0 -x165_bit0 -x167_bit0 x2584_bit0 -x2280_bit0 -x2737_bit0 x2294_bit0 x2738_bit0 x2304_bit0 x2305_bit0 -x2307_bit0 -x2312_bit0 -x2739_bit0 x2320_bit0 x2740_bit0 x2331_bit0 -x2333_bit0 -x2338_bit0 -x2741_bit0 -x2344_bit0 -x2347_bit0 -x2742_bit0 x2361_bit0 x2743_bit0 x2371_bit0 x2372_bit0 -x2374_bit0 -x2379_bit0 -x2744_bit0 -x2387_bit0 -x2745_bit0 x2398_bit0 -x2400_bit0 -x2405_bit0 -x2746_bit0 -x179_bit0 -x180_bit0 -x182_bit0 -x2585_bit0 -x2414_bit0 -x2747_bit0 -x2431_bit0 -x2748_bit0 -x2447_bit0 -x2749_bit0 x2465_bit0 x2750_bit0 x2482_bit0 -x2751_bit0 x2498_bit0 x2752_bit0 -x2516_bit0 -x2753_bit0 x2525_bit0 x2754_bit0 x2533_bit0 x2755_bit0 -x2543_bit0 -x2756_bit0 -x191_bit0 -x192_bit0 -x194_bit0 -x2586_bit0 x12_bit0 x13_bit0 -x15_bit0 -x16_bit0 -x18_bit0 -x2569_bit0 -x25_bit0 x26_bit0 -x28_bit0 -x2570_bit0 -x40_bit0 -x41_bit0 -x43_bit0 -x2571_bit0 -x52_bit0 -x53_bit0 -x55_bit0 -x2572_bit0 x63_bit0 -x64_bit0 -x2573_bit0 -x69_bit0 -x71_bit0 x72_bit0 x2574_bit0 -x81_bit0 x82_bit0 -x84_bit0 -x2575_bit0 -x96_bit0 -x97_bit0 -x99_bit0 -x2576_bit0 -x202_bit0 -x203_bit0 -x2587_bit0 -x208_bit0 -x210_bit0 -x211_bit0 -x2588_bit0 x220_bit0 -x221_bit0 -x223_bit0 x2589_bit0 -x235_bit0 -x236_bit0 -x238_bit0 -x2590_bit0 -x247_bit0 -x248_bit0 -x250_bit0 -x2591_bit0 -x264_bit0 x2593_bit0 -x269_bit0 -x2594_bit0 -x282_bit0 -x287_bit0 -x288_bit0 x2596_bit0 x301_bit0 -x302_bit0 x2597_bit0 -x311_bit0 -x312_bit0 -x2598_bit0 -x324_bit0 -x325_bit0 -x2599_bit0 -x334_bit0 -x336_bit0 -x337_bit0 -x342_bit0 -x2600_bit0 -x346_bit0 x350_bit0 x355_bit0 x2601_bit0 -x364_bit0 x365_bit0 x2602_bit0 -x378_bit0 -x379_bit0 -x2603_bit0 -x388_bit0 -x389_bit0 -x2604_bit0 -x401_bit0 -x402_bit0 -x2605_bit0 -x413_bit0 -x414_bit0 -x2606_bit0 x427_bit0 x2607_bit0 -x2608_bit0 -x2609_bit0 -x455_bit0 -x2610_bit0 -x462_bit0 -x2611_bit0 -x477_bit0 -x478_bit0 x2612_bit0 -x487_bit0 -x488_bit0 -x2613_bit0 -x504_bit0 -x505_bit0 -x2614_bit0 -x518_bit0 -x520_bit0 -x521_bit0 -x2615_bit0 x534_bit0 x2616_bit0 -x547_bit0 -x548_bit0 -x2617_bit0 -x557_bit0 -x558_bit0 -x2618_bit0 -x574_bit0 x575_bit0 -x2619_bit0 -x590_bit0 x591_bit0 -x2620_bit0 -x604_bit0 -x2621_bit0 -x2622_bit0 -x2623_bit0 -x632_bit0 -x2624_bit0 x2625_bit0 -x649_bit0 -x654_bit0 -x655_bit0 x2626_bit0 -x664_bit0 -x665_bit0 -x2627_bit0 -x257_bit0 -x2592_bit0 -x681_bit0 -x682_bit0 -x2628_bit0 -x695_bit0 -x697_bit0 -x698_bit0 -x2629_bit0 x711_bit0 x2630_bit0 -x724_bit0 -x725_bit0 -x2631_bit0 -x734_bit0 -x735_bit0 -x2632_bit0 -x751_bit0 x752_bit0 -x2633_bit0 -x767_bit0 -x768_bit0 -x2634_bit0 -x781_bit0 -x2635_bit0 -x794_bit0 x795_bit0 x2636_bit0 -x801_bit0 x802_bit0 x803_bit0 x804_bit0 -x805_bit0 -x806_bit0 -x807_bit0 -x808_bit0 -x809_bit0 -x810_bit0 -x811_bit0 -x2637_bit0 -x819_bit0 -x820_bit0 x2638_bit0 -x826_bit0 -x827_bit0 x828_bit0 -x830_bit0 -x831_bit0 -x832_bit0 -x834_bit0 -x835_bit0 -x836_bit0 -x2639_bit0 -x844_bit0 -x845_bit0 x2640_bit0 -x852_bit0 x853_bit0 -x855_bit0 -x857_bit0 -x858_bit0 -x859_bit0 -x861_bit0 -x862_bit0 -x863_bit0 -x2641_bit0 -x866_bit0 -x868_bit0 -x869_bit0 -x874_bit0 -x2642_bit0 x881_bit0 x2643_bit0 -x894_bit0 x895_bit0 x2644_bit0 -x901_bit0 x902_bit0 x903_bit0 -x905_bit0 -x906_bit0 -x907_bit0 -x909_bit0 -x910_bit0 -x911_bit0 -x2645_bit0 -x919_bit0 -x920_bit0 x2646_bit0 -x927_bit0 x928_bit0 -x930_bit0 -x931_bit0 -x932_bit0 -x934_bit0 -x935_bit0 -x936_bit0 -x2647_bit0 -x944_bit0 -x945_bit0 x2648_bit0 x953_bit0 -x957_bit0 -x958_bit0 -x963_bit0 -x2649_bit0 -x966_bit0 -x968_bit0 x969_bit0 x2650_bit0 x981_bit0 x2651_bit0 -x998_bit0 x999_bit0 x2652_bit0 x1006_bit0 x1007_bit0 -x1009_bit0 -x1010_bit0 -x1015_bit0 -x2653_bit0 -x1027_bit0 -x1028_bit0 x2654_bit0 x1044_bit0 -x1046_bit0 -x1047_bit0 -x2655_bit0 -x1068_bit0 -x1069_bit0 x2656_bit0 -x1089_bit0 -x1090_bit0 -x2657_bit0 -x277_bit0 -x2595_bit0 -x1104_bit0 -x1105_bit0 -x2658_bit0 x1125_bit0 x2659_bit0 -x1142_bit0 -x1143_bit0 x2660_bit0 x1150_bit0 x1151_bit0 -x1153_bit0 -x1154_bit0 -x1159_bit0 -x2661_bit0 -x1171_bit0 -x1172_bit0 x2662_bit0 -x1188_bit0 -x1190_bit0 -x1191_bit0 -x2663_bit0 -x1212_bit0 -x1213_bit0 -x2664_bit0 -x1233_bit0 -x1234_bit0 -x2665_bit0 x1248_bit0 -x1249_bit0 -x2666_bit0 
c Exit Code: 10
c Total time: 1175.03 s
#### 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.84 0.94 0.90 2/54 30571
Raw data (stat): 30571 (runsolver) R 30570 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 908283537 884736 94 4294967295 134512640 135332820 3221224448 3221219628 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.0004 s]
Raw data (loadavg): 0.87 0.94 0.90 2/54 30571
Raw data (stat): 30571 (bsolo_lpr_cuts-) R 30570 7266 7265 0 -1 0 17984 0 0 0 956 41 0 0 25 0 1 0 908283537 76832768 17895 4294967295 134512640 134716908 3221224560 3221223200 134606495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18758 17895 1111 63 0 18695 0
vsize: 75032
[startup+20.0006 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 30571
Raw data (stat): 30571 (bsolo_lpr_cuts-) R 30570 7266 7265 0 -1 0 21002 0 0 0 1948 48 0 0 25 0 1 0 908283537 77660160 18257 4294967295 134512640 134716908 3221224560 3221222944 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18960 18257 1111 63 0 18897 0
vsize: 75840
[startup+30.0014 s]
Raw data (loadavg): 0.90 0.94 0.90 2/54 30571
Raw data (stat): 30571 (bsolo_lpr_cuts-) R 30570 7266 7265 0 -1 0 24392 0 0 0 2939 57 0 0 25 0 1 0 908283537 77660160 18258 4294967295 134512640 134716908 3221224560 3221222864 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18960 18258 1111 63 0 18897 0
vsize: 75840
[startup+40.0015 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 30571
Raw data (stat): 30571 (bsolo_lpr_cuts-) R 30570 7266 7265 0 -1 0 27598 0 0 0 3931 65 0 0 25 0 1 0 908283537 77660160 18258 4294967295 134512640 134716908 3221224560 3221222944 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18960 18258 1111 63 0 18897 0
vsize: 75840
[startup+50.0026 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 30571
Raw data (stat): 30571 (bsolo_lpr_cuts-) R 30570 7266 7265 0 -1 0 30900 0 0 0 4924 73 0 0 25 0 1 0 908283537 77660160 18258 4294967295 134512640 134716908 3221224560 3221222848 1074153673 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18960 18258 1111 63 0 18897 0
vsize: 75840
[startup+60.0034 s]
Raw data (loadavg): 0.94 0.95 0.90 2/54 30571
Raw data (stat): 30571 (bsolo_lpr_cuts-) R 30570 7266 7265 0 -1 0 34253 0 0 0 5915 82 0 0 25 0 1 0 908283537 77660160 18258 4294967295 134512640 134716908 3221224560 3221222944 1074153749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18960 18258 1111 63 0 18897 0
vsize: 75840
[startup+70.0038 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 30571
Raw data (stat): 30571 (bsolo_lpr_cuts-) R 30570 7266 7265 0 -1 0 37480 0 0 0 6907 90 0 0 25 0 1 0 908283537 77660160 18258 4294967295 134512640 134716908 3221224560 3221222936 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18960 18258 1111 63 0 18897 0
vsize: 75840
[startup+80.0035 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 30571
Raw data (stat): 30571 (bsolo_lpr_cuts-) R 30570 7266 7265 0 -1 0 40826 0 0 0 7899 99 0 0 25 0 1 0 908283537 77660160 18258 4294967295 134512640 134716908 3221224560 3221222800 1074153736 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18960 18258 1111 63 0 18897 0
vsize: 75840
[startup+90.0044 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 30571
Raw data (stat): 30571 (bsolo_lpr_cuts-) R 30570 7266 7265 0 -1 0 44341 0 0 0 8890 107 0 0 25 0 1 0 908283537 77660160 18258 4294967295 134512640 134716908 3221224560 3221222960 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18960 18258 1111 63 0 18897 0
vsize: 75840
[startup+100.005 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 30571
Raw data (stat): 30571 (bsolo_lpr_cuts-) R 30570 7266 7265 0 -1 0 48288 0 0 0 9880 117 0 0 25 0 1 0 908283537 77660160 18258 4294967295 134512640 134716908 3221224560 3221222944 1074153660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18960 18258 1111 63 0 18897 0
vsize: 75840
[startup+110.005 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 30571
Raw data (stat): 30571 (bsolo_lpr_cuts-) R 30570 7266 7265 0 -1 0 52582 0 0 0 10868 130 0 0 25 0 1 0 908283537 77660160 18258 4294967295 134512640 134716908 3221224560 3221222768 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18960 18258 1111 63 0 18897 0
vsize: 75840
[startup+120.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 30571
Raw data (stat): 30571 (bsolo_lpr_cuts-) R 30570 7266 7265 0 -1 0 56863 0 0 0 11858 140 0 0 25 0 1 0 908283537 77660160 18258 4294967295 134512640 134716908 3221224560 3221223208 134542412 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18960 18258 1111 63 0 18897 0
vsize: 75840
[startup+130.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 30571
Raw data (stat): 30571 (bsolo_lpr_cuts-) R 30570 7266 7265 0 -1 0 61068 0 0 0 12847 151 0 0 25 0 1 0 908283537 77692928 18266 4294967295 134512640 134716908 3221224560 3221223304 134536866 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18968 18266 1111 63 0 18905 0
vsize: 75872
[startup+140.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 30571
Raw data (stat): 30571 (bsolo_lpr_cuts-) R 30570 7266 7265 0 -1 0 65242 0 0 0 13837 162 0 0 25 0 1 0 908283537 77660160 18259 4294967295 134512640 134716908 3221224560 3221222936 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18960 18259 1111 63 0 18897 0
vsize: 75840
[startup+150.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 30571
Raw data (stat): 30571 (bsolo_lpr_cuts-) R 30570 7266 7265 0 -1 0 69960 0 0 0 14827 172 0 0 25 0 1 0 908283537 77758464 18283 4294967295 134512640 134716908 3221224560 3221222960 1074153773 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18984 18283 1111 63 0 18921 0
vsize: 75936
[startup+160.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 30571
Raw data (stat): 30571 (bsolo_lpr_cuts-) R 30570 7266 7265 0 -1 0 75854 0 0 0 15813 186 0 0 25 0 1 0 908283537 77758464 18283 4294967295 134512640 134716908 3221224560 3221222816 1074153660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18984 18283 1111 63 0 18921 0
vsize: 75936
[startup+170.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 30571
Raw data (stat): 30571 (bsolo_lpr_cuts-) R 30570 7266 7265 0 -1 0 81827 0 0 0 16798 201 0 0 25 0 1 0 908283537 78032896 18351 4294967295 134512640 134716908 3221224560 3221222868 1077402435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19051 18351 1111 63 0 18988 0
vsize: 76204
[startup+180.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 30571
Raw data (stat): 30571 (bsolo_lpr_cuts-) R 30570 7266 7265 0 -1 0 88226 0 0 0 17782 217 0 0 25 0 1 0 908283537 78032896 18351 4294967295 134512640 134716908 3221224560 3221222488 1077378621 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19051 18351 1111 63 0 18988 0
vsize: 76204
[startup+190.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 30571
Raw data (stat): 30571 (bsolo_lpr_cuts-) R 30570 7266 7265 0 -1 0 94561 0 0 0 18766 233 0 0 25 0 1 0 908283537 78032896 18351 4294967295 134512640 134716908 3221224560 3221222768 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19051 18351 1111 63 0 18988 0
vsize: 76204
[startup+200.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 30571
Raw data (stat): 30571 (bsolo_lpr_cuts-) R 30570 7266 7265 0 -1 0 100637 0 0 0 19750 250 0 0 25 0 1 0 908283537 78032896 18351 4294967295 134512640 134716908 3221224560 3221222680 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19051 18351 1111 63 0 18988 0
vsize: 76204
[startup+210.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 30571
Raw data (stat): 30571 (bsolo_lpr_cuts-) R 30570 7266 7265 0 -1 0 106885 0 0 0 20736 264 0 0 25 0 1 0 908283537 78032896 18351 4294967295 134512640 134716908 3221224560 3221222960 1074153766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19051 18351 1111 63 0 18988 0
vsize: 76204
[startup+220.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 30571
Raw data (stat): 30571 (bsolo_lpr_cuts-) R 30570 7266 7265 0 -1 0 113058 0 0 0 21723 277 0 0 25 0 1 0 908283537 78032896 18351 4294967295 134512640 134716908 3221224560 3221222856 1074138144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19051 18351 1111 63 0 18988 0
vsize: 76204
[startup+230.022 s]
Raw data (loadavg): 0.99 0.96 0.91 2/57 30574
Raw data (stat): 30571 (bsolo_lpr_cuts-) R 30570 7266 7265 0 -1 0 119202 0 0 0 22709 292 0 0 25 0 1 0 908283537 78544896 18407 4294967295 134512640 134716908 3221224560 3221222288 1075828642 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19176 18408 1111 63 0 19113 0
vsize: 76704
[startup+240.024 s]
Raw data (loadavg): 1.07 0.98 0.91 3/57 30615
Raw data (stat): 30571 (bsolo_lpr_cuts-) R 30570 7266 7265 0 -1 0 124376 0 0 0 23696 305 0 0 25 0 1 0 908283537 78204928 18393 4294967295 134512640 134716908 3221224560 3221222896 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19093 18393 1111 63 0 19030 0
vsize: 76372
[startup+250.024 s]
Raw data (loadavg): 1.06 0.98 0.91 2/54 30624
Raw data (stat): 30571 (bsolo_lpr_cuts-) R 30570 7266 7265 0 -1 0 128689 0 0 0 24684 318 0 0 25 0 1 0 908283537 78241792 18402 4294967295 134512640 134716908 3221224560 3221222692 1077374195 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19102 18402 1111 63 0 19039 0
vsize: 76408
[startup+260.032 s]
Raw data (loadavg): 1.05 0.98 0.91 2/54 30624
Raw data (stat): 30571 (bsolo_lpr_cuts-) R 30570 7266 7265 0 -1 0 133453 0 0 0 25671 332 0 0 25 0 1 0 908283537 78241792 18402 4294967295 134512640 134716908 3221224560 3221222768 1074153753 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19102 18402 1111 63 0 19039 0
vsize: 76408
[startup+270.032 s]
Raw data (loadavg): 1.04 0.98 0.91 2/54 30624
Raw data (stat): 30571 (bsolo_lpr_cuts-) R 30570 7266 7265 0 -1 0 138249 0 0 0 26658 345 0 0 25 0 1 0 908283537 78241792 18402 4294967295 134512640 134716908 3221224560 3221223056 134652452 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19102 18402 1111 63 0 19039 0
vsize: 76408
[startup+280.033 s]
Raw data (loadavg): 1.04 0.98 0.91 2/54 30624
Raw data (stat): 30571 (bsolo_lpr_cuts-) R 30570 7266 7265 0 -1 0 142943 0 0 0 27647 357 0 0 25 0 1 0 908283537 78241792 18402 4294967295 134512640 134716908 3221224560 3221222560 1074056570 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19102 18402 1111 63 0 19039 0
vsize: 76408
[startup+290.04 s]
Raw data (loadavg): 1.03 0.98 0.91 2/54 30624
Raw data (stat): 30571 (bsolo_lpr_cuts-) R 30570 7266 7265 0 -1 0 148203 0 0 0 28636 369 0 0 25 0 1 0 908283537 78426112 18446 4294967295 134512640 134716908 3221224560 3221222304 1075646754 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19147 18446 1111 63 0 19084 0
vsize: 76588
[startup+300.04 s]
Raw data (loadavg): 1.03 0.98 0.91 2/54 30624
Raw data (stat): 30571 (bsolo_lpr_cuts-) R 30570 7266 7265 0 -1 0 153754 0 0 0 29620 385 0 0 25 0 1 0 908283537 78487552 18438 4294967295 134512640 134716908 3221224560 3221222520 1074138316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19199 18441 1111 63 0 19136 0
vsize: 76648
[startup+310.04 s]
Raw data (loadavg): 1.02 0.98 0.91 2/54 30624
Raw data (stat): 30571 (bsolo_lpr_cuts-) R 30570 7266 7265 0 -1 0 161027 0 0 0 30602 403 0 0 25 0 1 0 908283537 78794752 18537 4294967295 134512640 134716908 3221224560 3221222944 1074153669 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19237 18537 1111 63 0 19174 0
vsize: 76948
[startup+320.061 s]
Raw data (loadavg): 1.02 0.98 0.91 2/54 30626
Raw data (stat): 30571 (bsolo_lpr_cuts-) R 30570 7266 7265 0 -1 0 167516 0 0 0 31588 419 0 0 25 0 1 0 908283537 78934016 18559 4294967295 134512640 134716908 3221224560 3221222740 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19260 18558 1111 63 0 19197 0
vsize: 77084
[startup+330.083 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 30626
Raw data (stat): 30571 (bsolo_lpr_cuts-) R 30570 7266 7265 0 -1 0 175138 0 0 0 32572 438 0 0 25 0 1 0 908283537 79441920 18631 4294967295 134512640 134716908 3221224560 3221222288 1075829534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19395 18631 1111 63 0 19332 0
vsize: 77580
[startup+340.083 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 30626
Raw data (stat): 30571 (bsolo_lpr_cuts-) R 30570 7266 7265 0 -1 0 187855 0 0 0 33541 469 0 0 25 0 1 0 908283537 80429056 18938 4294967295 134512640 134716908 3221224560 3221222808 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19636 18938 1111 63 0 19573 0
vsize: 78544
[startup+350.083 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 30626
Raw data (stat): 30571 (bsolo_lpr_cuts-) R 30570 7266 7265 0 -1 0 201245 0 0 0 34503 507 0 0 25 0 1 0 908283537 83640320 19722 4294967295 134512640 134716908 3221224560 3221223152 134652538 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20420 19722 1111 63 0 20357 0
vsize: 81680
[startup+360.084 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 30626
Raw data (stat): 30571 (bsolo_lpr_cuts-) R 30570 7266 7265 0 -1 0 203959 0 0 0 35487 522 0 0 25 0 1 0 908283537 83640320 19722 4294967295 134512640 134716908 3221224560 3221222288 1075828239 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20420 19722 1111 63 0 20357 0
vsize: 81680
[startup+370.083 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 30626
Raw data (stat): 30571 (bsolo_lpr_cuts-) R 30570 7266 7265 0 -1 0 206699 0 0 0 36469 539 0 0 25 0 1 0 908283537 83640320 19722 4294967295 134512640 134716908 3221224560 3221222524 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20420 19722 1111 63 0 20357 0
vsize: 81680
[startup+380.084 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 30626
Raw data (stat): 30571 (bsolo_lpr_cuts-) R 30570 7266 7265 0 -1 0 209543 0 0 0 37454 554 0 0 25 0 1 0 908283537 83640320 19722 4294967295 134512640 134716908 3221224560 3221222692 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20420 19722 1111 63 0 20357 0
vsize: 81680
[startup+390.086 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 30626
Raw data (stat): 30571 (bsolo_lpr_cuts-) R 30570 7266 7265 0 -1 0 213874 0 0 0 38433 575 0 0 25 0 1 0 908283537 83668992 19728 4294967295 134512640 134716908 3221224560 3221223328 134524436 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20427 19728 1111 63 0 20364 0
vsize: 81708
[startup+400.086 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 30626
Raw data (stat): 30571 (bsolo_lpr_cuts-) R 30570 7266 7265 0 -1 0 216771 0 0 0 39418 591 0 0 25 0 1 0 908283537 83808256 19730 4294967295 134512640 134716908 3221224560 3221222592 1075088363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20427 19729 1111 63 0 20364 0
vsize: 81844
[startup+410.086 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 30626
Raw data (stat): 30571 (bsolo_lpr_cuts-) R 30570 7266 7265 0 -1 0 223608 0 0 0 40395 614 0 0 25 0 1 0 908283537 83709952 19739 4294967295 134512640 134716908 3221224560 3221222944 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20437 19739 1111 63 0 20374 0
vsize: 81748
[startup+420.086 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 30626
Raw data (stat): 30571 (bsolo_lpr_cuts-) R 30570 7266 7265 0 -1 0 226619 0 0 0 41377 632 0 0 25 0 1 0 908283537 83709952 19739 4294967295 134512640 134716908 3221224560 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20437 19739 1111 63 0 20374 0
vsize: 81748
[startup+430.088 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 30626
Raw data (stat): 30571 (bsolo_lpr_cuts-) R 30570 7266 7265 0 -1 0 229688 0 0 0 42358 651 0 0 25 0 1 0 908283537 83709952 19739 4294967295 134512640 134716908 3221224560 3221222912 1074115298 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20437 19739 1111 63 0 20374 0
vsize: 81748
[startup+440.088 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 30626
Raw data (stat): 30571 (bsolo_lpr_cuts-) R 30570 7266 7265 0 -1 0 232384 0 0 0 43345 665 0 0 25 0 1 0 908283537 83845120 19740 4294967295 134512640 134716908 3221224560 3221222528 1075809068 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20470 19740 1111 63 0 20407 0
vsize: 81880
[startup+450.089 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 30626
Raw data (stat): 30571 (bsolo_lpr_cuts-) R 30570 7266 7265 0 -1 0 235032 0 0 0 44331 679 0 0 25 0 1 0 908283537 84054016 19742 4294967295 134512640 134716908 3221224560 3221222092 1077404742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20521 19742 1111 63 0 20458 0
vsize: 82084
[startup+460.089 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 30626
Raw data (stat): 30571 (bsolo_lpr_cuts-) R 30570 7266 7265 0 -1 0 239897 0 0 0 45312 697 0 0 25 0 1 0 908283537 83812352 19745 4294967295 134512640 134716908 3221224560 3221222960 1074118815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20462 19745 1111 63 0 20399 0
vsize: 81848
[startup+470.089 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 30626
Raw data (stat): 30571 (bsolo_lpr_cuts-) R 30570 7266 7265 0 -1 0 246274 0 0 0 46292 718 0 0 25 0 1 0 908283537 83927040 19792 4294967295 134512640 134716908 3221224560 3221222824 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20490 19792 1111 63 0 20427 0
vsize: 81960
[startup+480.09 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 30626
Raw data (stat): 30571 (bsolo_lpr_cuts-) R 30570 7266 7265 0 -1 0 249306 0 0 0 47275 735 0 0 25 0 1 0 908283537 83927040 19792 4294967295 134512640 134716908 3221224560 3221222912 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20490 19792 1111 63 0 20427 0
vsize: 81960
[startup+490.09 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 30626
Raw data (stat): 30571 (bsolo_lpr_cuts-) R 30570 7266 7265 0 -1 0 252366 0 0 0 48258 751 0 0 25 0 1 0 908283537 83927040 19792 4294967295 134512640 134716908 3221224560 3221222976 1074116200 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20490 19792 1111 63 0 20427 0
vsize: 81960
[startup+500.09 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 30626
Raw data (stat): 30571 (bsolo_lpr_cuts-) R 30570 7266 7265 0 -1 0 255955 0 0 0 49241 768 0 0 25 0 1 0 908283537 83927040 19792 4294967295 134512640 134716908 3221224560 3221222912 1074153773 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20490 19792 1111 63 0 20427 0
vsize: 81960
[startup+510.091 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 30626
Raw data (stat): 30571 (bsolo_lpr_cuts-) R 30570 7266 7265 0 -1 0 260089 0 0 0 50223 786 0 0 25 0 1 0 908283537 83927040 19792 4294967295 134512640 134716908 3221224560 3221222748 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20490 19792 1111 63 0 20427 0
vsize: 81960
[startup+520.09 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 30626
Raw data (stat): 30571 (bsolo_lpr_cuts-) R 30570 7266 7265 0 -1 0 267079 0 0 0 51202 808 0 0 25 0 1 0 908283537 84094976 19799 4294967295 134512640 134716908 3221224560 3221222856 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20531 19799 1111 63 0 20468 0
vsize: 82124
[startup+530.091 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 30626
Raw data (stat): 30571 (bsolo_lpr_cuts-) R 30570 7266 7265 0 -1 0 274574 0 0 0 52180 830 0 0 25 0 1 0 908283537 84217856 19863 4294967295 134512640 134716908 3221224560 3221223264 134654872 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20561 19863 1111 63 0 20498 0
vsize: 82244
[startup+540.091 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 30626
Raw data (stat): 30571 (bsolo_lpr_cuts-) R 30570 7266 7265 0 -1 0 279075 0 0 0 53165 845 0 0 25 0 1 0 908283537 84283392 19879 4294967295 134512640 134716908 3221224560 3221222520 1074138333 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20577 19879 1111 63 0 20514 0
vsize: 82308
[startup+550.091 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 30626
Raw data (stat): 30571 (bsolo_lpr_cuts-) R 30570 7266 7265 0 -1 0 285252 0 0 0 54144 866 0 0 25 0 1 0 908283537 84418560 19912 4294967295 134512640 134716908 3221224560 3221222824 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20610 19912 1111 63 0 20547 0
vsize: 82440
[startup+560.091 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 30626
Raw data (stat): 30571 (bsolo_lpr_cuts-) R 30570 7266 7265 0 -1 0 289292 0 0 0 55128 883 0 0 25 0 1 0 908283537 84418560 19912 4294967295 134512640 134716908 3221224560 3221222840 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20610 19912 1111 63 0 20547 0
vsize: 82440
[startup+570.092 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 30626
Raw data (stat): 30571 (bsolo_lpr_cuts-) R 30570 7266 7265 0 -1 0 293193 0 0 0 56109 902 0 0 25 0 1 0 908283537 84418560 19912 4294967295 134512640 134716908 3221224560 3221222912 1074115296 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20610 19912 1111 63 0 20547 0
vsize: 82440
[startup+580.092 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 30628
Raw data (stat): 30571 (bsolo_lpr_cuts-) R 30570 7266 7265 0 -1 0 297600 0 0 0 57090 921 0 0 25 0 1 0 908283537 84418560 19912 4294967295 134512640 134716908 3221224560 3221222812 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20610 19912 1111 63 0 20547 0
vsize: 82440
[startup+590.092 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 30628
Raw data (stat): 30571 (bsolo_lpr_cuts-) R 30570 7266 7265 0 -1 0 308078 0 0 0 58059 952 0 0 25 0 1 0 908283537 84553728 19920 4294967295 134512640 134716908 3221224560 3221222712 1074950077 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20643 19920 1111 63 0 20580 0
vsize: 82572
[startup+600.091 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 30628
Raw data (stat): 30571 (bsolo_lpr_cuts-) R 30570 7266 7265 0 -1 0 318041 0 0 0 59027 985 0 0 25 0 1 0 908283537 84652032 19940 4294967295 134512640 134716908 3221224560 3221222912 1074115331 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20667 19944 1111 63 0 20604 0
vsize: 82668
[startup+610.091 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 30628
Raw data (stat): 30571 (bsolo_lpr_cuts-) R 30570 7266 7265 0 -1 0 324302 0 0 0 60005 1007 0 0 25 0 1 0 908283537 84623360 19962 4294967295 134512640 134716908 3221224560 3221222812 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20660 19962 1111 63 0 20597 0
vsize: 82640
[startup+620.091 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 30628
Raw data (stat): 30571 (bsolo_lpr_cuts-) R 30570 7266 7265 0 -1 0 327959 0 0 0 60989 1023 0 0 25 0 1 0 908283537 84623360 19962 4294967295 134512640 134716908 3221224560 3221222912 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20660 19962 1111 63 0 20597 0
vsize: 82640
[startup+630.092 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 30628
Raw data (stat): 30571 (bsolo_lpr_cuts-) R 30570 7266 7265 0 -1 0 332902 0 0 0 61969 1043 0 0 25 0 1 0 908283537 84758528 19964 4294967295 134512640 134716908 3221224560 3221221672 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20784 19968 1111 63 0 20721 0
vsize: 82772
[startup+640.092 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 30628
Raw data (stat): 30571 (bsolo_lpr_cuts-) R 30570 7266 7265 0 -1 0 342954 0 0 0 62940 1072 0 0 25 0 1 0 908283537 84680704 19963 4294967295 134512640 134716908 3221224560 3221222840 1074138324 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20674 19963 1111 63 0 20611 0
vsize: 82696
[startup+650.092 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 30628
Raw data (stat): 30571 (bsolo_lpr_cuts-) R 30570 7266 7265 0 -1 0 348663 0 0 0 63921 1091 0 0 25 0 1 0 908283537 84926464 20000 4294967295 134512640 134716908 3221224560 3221222904 1074153877 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20734 20000 1111 63 0 20671 0
vsize: 82936
[startup+660.093 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 30628
Raw data (stat): 30571 (bsolo_lpr_cuts-) R 30570 7266 7265 0 -1 0 356139 0 0 0 64898 1114 0 0 25 0 1 0 908283537 84815872 20009 4294967295 134512640 134716908 3221224560 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20707 20009 1111 63 0 20644 0
vsize: 82828
[startup+670.092 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 30628
Raw data (stat): 30571 (bsolo_lpr_cuts-) R 30570 7266 7265 0 -1 0 360490 0 0 0 65884 1128 0 0 25 0 1 0 908283537 84963328 20045 4294967295 134512640 134716908 3221224560 3221222480 1075802490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20743 20045 1111 63 0 20680 0
vsize: 82972
[startup+680.092 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 30628
Raw data (stat): 30571 (bsolo_lpr_cuts-) R 30570 7266 7265 0 -1 0 362748 0 0 0 66873 1139 0 0 25 0 1 0 908283537 84963328 20045 4294967295 134512640 134716908 3221224560 3221222888 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20743 20045 1111 63 0 20680 0
vsize: 82972
[startup+690.092 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 30628
Raw data (stat): 30571 (bsolo_lpr_cuts-) R 30570 7266 7265 0 -1 0 365533 0 0 0 67861 1152 0 0 25 0 1 0 908283537 84963328 20045 4294967295 134512640 134716908 3221224560 3221223136 134535391 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20743 20045 1111 63 0 20680 0
vsize: 82972
[startup+700.092 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 30628
Raw data (stat): 30571 (bsolo_lpr_cuts-) R 30570 7266 7265 0 -1 0 371366 0 0 0 68842 1171 0 0 25 0 1 0 908283537 85438464 20059 4294967295 134512640 134716908 3221224560 3221221548 1077404742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20859 20059 1111 63 0 20796 0
vsize: 83436
[startup+710.092 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 30628
Raw data (stat): 30571 (bsolo_lpr_cuts-) R 30570 7266 7265 0 -1 0 378221 0 0 0 69819 1194 0 0 25 0 1 0 908283537 85127168 20085 4294967295 134512640 134716908 3221224560 3221222812 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20783 20085 1111 63 0 20720 0
vsize: 83132
[startup+720.092 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 30628
Raw data (stat): 30571 (bsolo_lpr_cuts-) R 30570 7266 7265 0 -1 0 385660 0 0 0 70795 1218 0 0 25 0 1 0 908283537 85295104 20092 4294967295 134512640 134716908 3221224560 3221222288 1075828201 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20824 20092 1111 63 0 20761 0
vsize: 83296
[startup+730.092 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 30628
Raw data (stat): 30571 (bsolo_lpr_cuts-) R 30570 7266 7265 0 -1 0 392601 0 0 0 71772 1242 0 0 25 0 1 0 908283537 85356544 20141 4294967295 134512640 134716908 3221224560 3221222672 1074867358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20839 20141 1111 63 0 20776 0
vsize: 83356
[startup+740.092 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 30628
Raw data (stat): 30571 (bsolo_lpr_cuts-) R 30570 7266 7265 0 -1 0 394705 0 0 0 72761 1252 0 0 25 0 1 0 908283537 85356544 20141 4294967295 134512640 134716908 3221224560 3221222944 1074206188 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20839 20141 1111 63 0 20776 0
vsize: 83356
[startup+750.092 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 30628
Raw data (stat): 30571 (bsolo_lpr_cuts-) R 30570 7266 7265 0 -1 0 396832 0 0 0 73750 1263 0 0 25 0 1 0 908283537 85356544 20141 4294967295 134512640 134716908 3221224560 3221222560 1074056637 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20839 20141 1111 63 0 20776 0
vsize: 83356
[startup+760.092 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 30628
Raw data (stat): 30571 (bsolo_lpr_cuts-) R 30570 7266 7265 0 -1 0 399113 0 0 0 74740 1274 0 0 25 0 1 0 908283537 85356544 20141 4294967295 134512640 134716908 3221224560 3221222912 1074153812 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20839 20141 1111 63 0 20776 0
vsize: 83356
[startup+770.092 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 30628
Raw data (stat): 30571 (bsolo_lpr_cuts-) R 30570 7266 7265 0 -1 0 402636 0 0 0 75725 1289 0 0 25 0 1 0 908283537 85356544 20141 4294967295 134512640 134716908 3221224560 3221222812 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20839 20141 1111 63 0 20776 0
vsize: 83356
[startup+780.093 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 30628
Raw data (stat): 30571 (bsolo_lpr_cuts-) R 30570 7266 7265 0 -1 0 408847 0 0 0 76702 1313 0 0 25 0 1 0 908283537 85528576 20147 4294967295 134512640 134716908 3221224560 3221222764 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20881 20147 1111 63 0 20818 0
vsize: 83524
[startup+790.092 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 30628
Raw data (stat): 30571 (bsolo_lpr_cuts-) R 30570 7266 7265 0 -1 0 416761 0 0 0 77677 1337 0 0 25 0 1 0 908283537 85602304 20201 4294967295 134512640 134716908 3221224560 3221222944 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20899 20201 1111 63 0 20836 0
vsize: 83596
[startup+800.092 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 30628
Raw data (stat): 30571 (bsolo_lpr_cuts-) R 30570 7266 7265 0 -1 0 422822 0 0 0 78656 1359 0 0 25 0 1 0 908283537 85725184 20231 4294967295 134512640 134716908 3221224560 3221222888 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20929 20231 1111 63 0 20866 0
vsize: 83716
[startup+810.093 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 30628
Raw data (stat): 30571 (bsolo_lpr_cuts-) R 30570 7266 7265 0 -1 0 428073 0 0 0 79638 1377 0 0 25 0 1 0 908283537 85950464 20286 4294967295 134512640 134716908 3221224560 3221223280 134592137 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20984 20286 1111 63 0 20921 0
vsize: 83936
[startup+820.093 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 30628
Raw data (stat): 30571 (bsolo_lpr_cuts-) R 30570 7266 7265 0 -1 0 430150 0 0 0 80627 1388 0 0 25 0 1 0 908283537 85950464 20286 4294967295 134512640 134716908 3221224560 3221222500 1077374494 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20984 20286 1111 63 0 20921 0
vsize: 83936
[startup+830.092 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 30628
Raw data (stat): 30571 (bsolo_lpr_cuts-) R 30570 7266 7265 0 -1 0 433941 0 0 0 81613 1403 0 0 25 0 1 0 908283537 85950464 20286 4294967295 134512640 134716908 3221224560 3221222960 1074118815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20984 20286 1111 63 0 20921 0
vsize: 83936
[startup+840.092 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 30628
Raw data (stat): 30571 (bsolo_lpr_cuts-) R 30570 7266 7265 0 -1 0 438337 0 0 0 82594 1422 0 0 25 0 1 0 908283537 85962752 20289 4294967295 134512640 134716908 3221224560 3221222824 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20987 20289 1111 63 0 20924 0
vsize: 83948
[startup+850.092 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 30628
Raw data (stat): 30571 (bsolo_lpr_cuts-) R 30570 7266 7265 0 -1 0 445234 0 0 0 83573 1442 0 0 25 0 1 0 908283537 86134784 20331 4294967295 134512640 134716908 3221224560 3221222856 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21029 20331 1111 63 0 20966 0
vsize: 84116
[startup+860.092 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 30628
Raw data (stat): 30571 (bsolo_lpr_cuts-) R 30570 7266 7265 0 -1 0 447257 0 0 0 84564 1451 0 0 25 0 1 0 908283537 86134784 20331 4294967295 134512640 134716908 3221224560 3221222944 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21029 20331 1111 63 0 20966 0
vsize: 84116
[startup+870.092 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 30628
Raw data (stat): 30571 (bsolo_lpr_cuts-) R 30570 7266 7265 0 -1 0 449261 0 0 0 85552 1464 0 0 25 0 1 0 908283537 86134784 20331 4294967295 134512640 134716908 3221224560 3221222812 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21029 20331 1111 63 0 20966 0
vsize: 84116
[startup+880.092 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 30628
Raw data (stat): 30571 (bsolo_lpr_cuts-) R 30570 7266 7265 0 -1 0 451485 0 0 0 86544 1472 0 0 25 0 1 0 908283537 86134784 20331 4294967295 134512640 134716908 3221224560 3221222888 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21029 20331 1111 63 0 20966 0
vsize: 84116
[startup+890.092 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 30628
Raw data (stat): 30571 (bsolo_lpr_cuts-) R 30570 7266 7265 0 -1 0 454506 0 0 0 87530 1486 0 0 25 0 1 0 908283537 86134784 20331 4294967295 134512640 134716908 3221224560 3221222912 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21029 20331 1111 63 0 20966 0
vsize: 84116
[startup+900.092 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 30628
Raw data (stat): 30571 (bsolo_lpr_cuts-) R 30570 7266 7265 0 -1 0 460294 0 0 0 88512 1504 0 0 25 0 1 0 908283537 86134784 20331 4294967295 134512640 134716908 3221224560 3221222540 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21029 20331 1111 63 0 20966 0
vsize: 84116
[startup+910.091 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 30628
Raw data (stat): 30571 (bsolo_lpr_cuts-) R 30570 7266 7265 0 -1 0 469877 0 0 0 89481 1535 0 0 25 0 1 0 908283537 86134784 20331 4294967295 134512640 134716908 3221224560 3221222824 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21029 20331 1111 63 0 20966 0
vsize: 84116
[startup+920.091 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 30628
Raw data (stat): 30571 (bsolo_lpr_cuts-) R 30570 7266 7265 0 -1 0 481955 0 0 0 90448 1569 0 0 25 0 1 0 908283537 86568960 20436 4294967295 134512640 134716908 3221224560 3221222288 1075828201 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21135 20436 1111 63 0 21072 0
vsize: 84540
[startup+930.092 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 30628
Raw data (stat): 30571 (bsolo_lpr_cuts-) R 30570 7266 7265 0 -1 0 484151 0 0 0 91438 1579 0 0 25 0 1 0 908283537 86568960 20437 4294967295 134512640 134716908 3221224560 3221223280 134542598 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21135 20437 1111 63 0 21072 0
vsize: 84540
[startup+940.093 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 30628
Raw data (stat): 30571 (bsolo_lpr_cuts-) R 30570 7266 7265 0 -1 0 488519 0 0 0 92421 1596 0 0 25 0 1 0 908283537 86831104 20461 4294967295 134512640 134716908 3221224560 3221222172 1074831203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21199 20461 1111 63 0 21136 0
vsize: 84796
[startup+950.093 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 30628
Raw data (stat): 30571 (bsolo_lpr_cuts-) R 30570 7266 7265 0 -1 0 492398 0 0 0 93408 1609 0 0 25 0 1 0 908283537 86761472 20484 4294967295 134512640 134716908 3221224560 3221223116 134535506 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21182 20484 1111 63 0 21119 0
vsize: 84728
[startup+960.093 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 30628
Raw data (stat): 30571 (bsolo_lpr_cuts-) R 30570 7266 7265 0 -1 0 498760 0 0 0 94389 1629 0 0 25 0 1 0 908283537 86745088 20460 4294967295 134512640 134716908 3221224560 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21178 20460 1111 63 0 21115 0
vsize: 84712
[startup+970.093 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 30628
Raw data (stat): 30571 (bsolo_lpr_cuts-) R 30570 7266 7265 0 -1 0 502636 0 0 0 95376 1642 0 0 25 0 1 0 908283537 86802432 20494 4294967295 134512640 134716908 3221224560 3221222304 1075646870 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21192 20494 1111 63 0 21129 0
vsize: 84768
[startup+980.093 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 30628
Raw data (stat): 30571 (bsolo_lpr_cuts-) R 30570 7266 7265 0 -1 0 504878 0 0 0 96365 1652 0 0 25 0 1 0 908283537 86802432 20494 4294967295 134512640 134716908 3221224560 3221222856 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21192 20494 1111 63 0 21129 0
vsize: 84768
[startup+990.094 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 30628
Raw data (stat): 30571 (bsolo_lpr_cuts-) R 30570 7266 7265 0 -1 0 508199 0 0 0 97352 1667 0 0 25 0 1 0 908283537 86802432 20494 4294967295 134512640 134716908 3221224560 3221222624 1075961647 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21192 20494 1111 63 0 21129 0
vsize: 84768
[startup+1000.09 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 30628
Raw data (stat): 30571 (bsolo_lpr_cuts-) R 30570 7266 7265 0 -1 0 512463 0 0 0 98335 1683 0 0 25 0 1 0 908283537 86802432 20494 4294967295 134512640 134716908 3221224560 3221222912 1074115328 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21192 20494 1111 63 0 21129 0
vsize: 84768
[startup+1010.09 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 30628
Raw data (stat): 30571 (bsolo_lpr_cuts-) R 30570 7266 7265 0 -1 0 521118 0 0 0 99309 1709 0 0 25 0 1 0 908283537 86802432 20494 4294967295 134512640 134716908 3221224560 3221222912 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21192 20494 1111 63 0 21129 0
vsize: 84768
[startup+1020.09 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 30628
Raw data (stat): 30571 (bsolo_lpr_cuts-) R 30570 7266 7265 0 -1 0 531673 0 0 0 100280 1739 0 0 25 0 1 0 908283537 86896640 20517 4294967295 134512640 134716908 3221224560 3221222696 1077377705 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21215 20517 1111 63 0 21152 0
vsize: 84860
[startup+1030.09 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 30628
Raw data (stat): 30571 (bsolo_lpr_cuts-) R 30570 7266 7265 0 -1 0 540918 0 0 0 101253 1766 0 0 25 0 1 0 908283537 86896640 20517 4294967295 134512640 134716908 3221224560 3221222888 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21215 20517 1111 63 0 21152 0
vsize: 84860
[startup+1040.09 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 30628
Raw data (stat): 30571 (bsolo_lpr_cuts-) R 30570 7266 7265 0 -1 0 555553 0 0 0 102217 1802 0 0 25 0 1 0 908283537 87072768 20560 4294967295 134512640 134716908 3221224560 3221222536 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21258 20560 1111 63 0 21195 0
vsize: 85032
[startup+1050.09 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 30628
Raw data (stat): 30571 (bsolo_lpr_cuts-) R 30570 7266 7265 0 -1 0 565074 0 0 0 103188 1831 0 0 25 0 1 0 908283537 87085056 20563 4294967295 134512640 134716908 3221224560 3221222936 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21261 20563 1111 63 0 21198 0
vsize: 85044
[startup+1060.09 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 30628
Raw data (stat): 30571 (bsolo_lpr_cuts-) R 30570 7266 7265 0 -1 0 579999 0 0 0 104148 1871 0 0 25 0 1 0 908283537 87605248 20623 4294967295 134512640 134716908 3221224560 3221223312 134558521 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21388 20623 1111 63 0 21325 0
vsize: 85552
[startup+1070.09 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 30628
Raw data (stat): 30571 (bsolo_lpr_cuts-) R 30570 7266 7265 0 -1 0 584353 0 0 0 105134 1885 0 0 25 0 1 0 908283537 87515136 20668 4294967295 134512640 134716908 3221224560 3221222492 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21366 20668 1111 63 0 21303 0
vsize: 85464
[startup+1080.1 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 30628
Raw data (stat): 30571 (bsolo_lpr_cuts-) R 30570 7266 7265 0 -1 0 587800 0 0 0 106119 1900 0 0 25 0 1 0 908283537 87654400 20669 4294967295 134512640 134716908 3221224560 3221222624 1075961600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21366 20668 1111 63 0 21303 0
vsize: 85600
[startup+1090.1 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 30628
Raw data (stat): 30571 (bsolo_lpr_cuts-) R 30570 7266 7265 0 -1 0 593089 0 0 0 107102 1918 0 0 25 0 1 0 908283537 87699456 20669 4294967295 134512640 134716908 3221224560 3221222208 1075818346 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21411 20669 1111 63 0 21348 0
vsize: 85644
[startup+1100.1 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 30628
Raw data (stat): 30571 (bsolo_lpr_cuts-) R 30570 7266 7265 0 -1 0 605104 0 0 0 108070 1950 0 0 25 0 1 0 908283537 87592960 20687 4294967295 134512640 134716908 3221224560 3221222912 1074142746 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21385 20687 1111 63 0 21322 0
vsize: 85540
[startup+1110.1 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 30628
Raw data (stat): 30571 (bsolo_lpr_cuts-) R 30570 7266 7265 0 -1 0 614115 0 0 0 109044 1976 0 0 25 0 1 0 908283537 87638016 20691 4294967295 134512640 134716908 3221224560 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21396 20691 1111 63 0 21333 0
vsize: 85584
[startup+1120.1 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 30628
Raw data (stat): 30571 (bsolo_lpr_cuts-) R 30570 7266 7265 0 -1 0 622820 0 0 0 110018 2002 0 0 25 0 1 0 908283537 87945216 20695 4294967295 134512640 134716908 3221224560 3221222144 1075860549 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21471 20695 1111 63 0 21408 0
vsize: 85884
[startup+1130.1 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 30628
Raw data (stat): 30571 (bsolo_lpr_cuts-) R 30570 7266 7265 0 -1 0 637520 0 0 0 110977 2043 0 0 25 0 1 0 908283537 87896064 20761 4294967295 134512640 134716908 3221224560 3221222944 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21459 20761 1111 63 0 21396 0
vsize: 85836
[startup+1140.1 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 30628
Raw data (stat): 30571 (bsolo_lpr_cuts-) R 30570 7266 7265 0 -1 0 643183 0 0 0 111955 2066 0 0 25 0 1 0 908283537 88080384 20762 4294967295 134512640 134716908 3221224560 3221222208 1075821514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21504 20762 1111 63 0 21441 0
vsize: 86016
[startup+1150.1 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 30628
Raw data (stat): 30571 (bsolo_lpr_cuts-) R 30570 7266 7265 0 -1 0 654117 0 0 0 112923 2098 0 0 25 0 1 0 908283537 88256512 20783 4294967295 134512640 134716908 3221224560 3221222912 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21547 20783 1111 63 0 21484 0
vsize: 86188
[startup+1160.1 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 30628
Raw data (stat): 30571 (bsolo_lpr_cuts-) R 30570 7266 7265 0 -1 0 663411 0 0 0 113890 2131 0 0 25 0 1 0 908283537 88027136 20775 4294967295 134512640 134716908 3221224560 3221222960 1074118806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21471 20773 1111 63 0 21408 0
vsize: 85964
[startup+1170.1 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 30628
Raw data (stat): 30571 (bsolo_lpr_cuts-) R 30570 7266 7265 0 -1 0 675634 0 0 0 114854 2167 0 0 25 0 1 0 908283537 87953408 20775 4294967295 134512640 134716908 3221224560 3221222940 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21473 20775 1111 63 0 21410 0
vsize: 85892
[startup+1174.98 s]
Raw data (loadavg): 1.00 0.98 0.91 1/53 30628
Raw data (stat): 30571 (bsolo_lpr_cuts-) R 30570 7266 7265 0 -1 0 675634 0 0 0 114854 2167 0 0 25 0 1 0 908283537 87953408 20775 4294967295 134512640 134716908 3221224560 3221222940 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21473 20775 1111 63 0 21410 0
vsize: 0

Child status: 10
Real time (s): 1174.98
CPU time (s): 1175.08
CPU user time (s): 1153.15
CPU system time (s): 21.9297
CPU usage (%): 100.008
Max. virtual memory (Kb): 86188
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	35476
#### END VERIFIER DATA ####