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 26534

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc11 THE 2005-05-24 16:01:34 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=12884 boxname=wulflinc11 idbench=992 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  f2badf1ad4c3213045697b74fa812a03  /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-20-10-p2756.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-20-10-p2756.opb
IDLAUNCH: 12884
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.028
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.028
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:        412804 kB
Buffers:         38184 kB
Cached:         548232 kB
SwapCached:         84 kB
Active:          72524 kB
Inactive:       526476 kB
HighTotal:      131008 kB
HighFree:        32144 kB
LowTotal:       903652 kB
LowFree:        380660 kB
SwapTotal:     2097136 kB
SwapFree:      2097048 kB
Dirty:              44 kB
Writeback:           0 kB
Mapped:           6876 kB
Slab:            17356 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 16:21:09 (client local time) WITH STATUS 10 IN 1175.09 SECONDS
stats: 12884 0 1175.09 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.053 s
c Initial Lower Bound: 1572
c Lower Bound Elapsed time: 0.459
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 23063 @ 373.559
c NEW SOLUTION FOUND: 23056 @ 373.682
c NEW SOLUTION FOUND: 23054 @ 373.829
c NEW SOLUTION FOUND: 23052 @ 374.313
c NEW SOLUTION FOUND: 23051 @ 374.779
c NEW SOLUTION FOUND: 23049 @ 375.262
c NEW SOLUTION FOUND: 23047 @ 375.9
c NEW SOLUTION FOUND: 23046 @ 377.031
c NEW SOLUTION FOUND: 23045 @ 378.62
c NEW SOLUTION FOUND: 23044 @ 380.17
c NEW SOLUTION FOUND: 23043 @ 381.983
c NEW SOLUTION FOUND: 23042 @ 393.278
c NEW SOLUTION FOUND: 23041 @ 396.655
c NEW SOLUTION FOUND: 23040 @ 397.811
c NEW SOLUTION FOUND: 23039 @ 398.674
c NEW SOLUTION FOUND: 23038 @ 421.35
c NEW SOLUTION FOUND: 23037 @ 506.208
c NEW SOLUTION FOUND: 23036 @ 540.931
c NEW SOLUTION FOUND: 23035 @ 589.158
c NEW SOLUTION FOUND: 23034 @ 624.639
c NEW SOLUTION FOUND: 23033 @ 650.645
c NEW SOLUTION FOUND: 23032 @ 651.156
c NEW SOLUTION FOUND: 23031 @ 683.27
c NEW SOLUTION FOUND: 23030 @ 685.024
c NEW SOLUTION FOUND: 23029 @ 708.033
c NEW SOLUTION FOUND: 23028 @ 714.755
c NEW SOLUTION FOUND: 23027 @ 716.107
c NEW SOLUTION FOUND: 23026 @ 735.662
c NEW SOLUTION FOUND: 23025 @ 743.755
c NEW SOLUTION FOUND: 23024 @ 745.145
c NEW SOLUTION FOUND: 23023 @ 788.879
c NEW SOLUTION FOUND: 23021 @ 790.515
c NEW SOLUTION FOUND: 23020 @ 798.896
c NEW SOLUTION FOUND: 23018 @ 800.759
c NEW SOLUTION FOUND: 23017 @ 803.793
c NEW SOLUTION FOUND: 23014 @ 805.408
c NEW SOLUTION FOUND: 23012 @ 827.164
c NEW SOLUTION FOUND: 23011 @ 856.255
c NEW SOLUTION FOUND: 23006 @ 856.968
c NEW SOLUTION FOUND: 23004 @ 857.068
c NEW SOLUTION FOUND: 23002 @ 858.2
c NEW SOLUTION FOUND: 23001 @ 859.528
c NEW SOLUTION FOUND: 22999 @ 860.794
c NEW SOLUTION FOUND: 22997 @ 869.34
c NEW SOLUTION FOUND: 22996 @ 874.066
c NEW SOLUTION FOUND: 22995 @ 874.927
c NEW SOLUTION FOUND: 22994 @ 878.156
c NEW SOLUTION FOUND: 22992 @ 878.648
c NEW SOLUTION FOUND: 22990 @ 885.254
c NEW SOLUTION FOUND: 22988 @ 938.333
c NEW SOLUTION FOUND: 22986 @ 1001.44
c NEW SOLUTION FOUND: 22984 @ 1043.18
c NEW SOLUTION FOUND: 22983 @ 1069.84
c NEW SOLUTION FOUND: 22981 @ 1074.11
c NEW SOLUTION FOUND: 22980 @ 1086.2
c NEW SOLUTION FOUND: 22979 @ 1095.31
c NEW SOLUTION FOUND: 22977 @ 1099.57
c NEW SOLUTION FOUND: 22975 @ 1139.67
c NEW SOLUTION FOUND: 22973 @ 1143.4
c NEW SOLUTION FOUND: 22971 @ 1145.2
c NEW SOLUTION FOUND: 22970 @ 1149.57
c NEW SOLUTION FOUND: 22969 @ 1150.92
c NEW SOLUTION FOUND: 22968 @ 1152.77
c NEW SOLUTION FOUND: 22967 @ 1158.49
c NEW SOLUTION FOUND: 22966 @ 1159.82
c NEW SOLUTION FOUND: 22964 @ 1162.93
c NEW SOLUTION FOUND: 22963 @ 1167.46
c NEW SOLUTION FOUND: 22962 @ 1168.66
c NEW SOLUTION FOUND: 22961 @ 1170.53
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.04 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
Raw data (loadavg): 0.83 0.98 0.99 2/54 26753
Raw data (stat): 26753 (runsolver) R 26752 25830 25829 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 773293051 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.001 s]
Raw data (loadavg): 0.86 0.98 0.99 2/54 26753
Raw data (stat): 26753 (bsolo_lpr) R 26752 25830 25829 0 -1 0 17981 0 0 0 955 42 0 0 25 0 1 0 773293051 76832768 17896 4294967295 134512640 134714508 3221224592 3221223044 1077378601 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18758 17896 1111 63 0 18695 0
vsize: 75032
[startup+20.0012 s]
Raw data (loadavg): 0.88 0.98 0.99 2/54 26753
Raw data (stat): 26753 (bsolo_lpr) R 26752 25830 25829 0 -1 0 19961 0 0 0 1948 49 0 0 25 0 1 0 773293051 77664256 18260 4294967295 134512640 134714508 3221224592 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18961 18260 1111 63 0 18898 0
vsize: 75844
[startup+30.0015 s]
Raw data (loadavg): 0.90 0.98 0.99 2/54 26753
Raw data (stat): 26753 (bsolo_lpr) R 26752 25830 25829 0 -1 0 21946 0 0 0 2943 54 0 0 25 0 1 0 773293051 77664256 18260 4294967295 134512640 134714508 3221224592 3221222888 1074138155 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18961 18260 1111 63 0 18898 0
vsize: 75844
[startup+40.0023 s]
Raw data (loadavg): 0.91 0.98 0.99 2/54 26753
Raw data (stat): 26753 (bsolo_lpr) R 26752 25830 25829 0 -1 0 23922 0 0 0 3938 59 0 0 25 0 1 0 773293051 77664256 18260 4294967295 134512640 134714508 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18961 18260 1111 63 0 18898 0
vsize: 75844
[startup+50.0025 s]
Raw data (loadavg): 0.93 0.98 0.99 2/54 26753
Raw data (stat): 26753 (bsolo_lpr) R 26752 25830 25829 0 -1 0 25931 0 0 0 4933 65 0 0 25 0 1 0 773293051 77664256 18260 4294967295 134512640 134714508 3221224592 3221222800 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18961 18260 1111 63 0 18898 0
vsize: 75844
[startup+60.0038 s]
Raw data (loadavg): 0.94 0.98 0.99 2/54 26753
Raw data (stat): 26753 (bsolo_lpr) R 26752 25830 25829 0 -1 0 27951 0 0 0 5927 71 0 0 25 0 1 0 773293051 77664256 18260 4294967295 134512640 134714508 3221224592 3221222848 1074153749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18961 18260 1111 63 0 18898 0
vsize: 75844
[startup+70.0045 s]
Raw data (loadavg): 0.95 0.98 0.99 2/54 26753
Raw data (stat): 26753 (bsolo_lpr) R 26752 25830 25829 0 -1 0 29929 0 0 0 6923 75 0 0 25 0 1 0 773293051 78503936 18318 4294967295 134512640 134714508 3221224592 3221220588 1074860964 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19166 18318 1111 63 0 19103 0
vsize: 76664
[startup+80.0049 s]
Raw data (loadavg): 0.95 0.98 0.99 2/54 26753
Raw data (stat): 26753 (bsolo_lpr) R 26752 25830 25829 0 -1 0 31927 0 0 0 7917 81 0 0 25 0 1 0 773293051 77664256 18260 4294967295 134512640 134714508 3221224592 3221222896 1074153660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18961 18260 1111 63 0 18898 0
vsize: 75844
[startup+90.0051 s]
Raw data (loadavg): 0.96 0.98 0.99 2/54 26753
Raw data (stat): 26753 (bsolo_lpr) R 26752 25830 25829 0 -1 0 33969 0 0 0 8912 86 0 0 25 0 1 0 773293051 78516224 18321 4294967295 134512640 134714508 3221224592 3221220976 1075133243 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19169 18321 1111 63 0 19106 0
vsize: 76676
[startup+100.005 s]
Raw data (loadavg): 0.97 0.98 0.99 2/54 26753
Raw data (stat): 26753 (bsolo_lpr) R 26752 25830 25829 0 -1 0 36193 0 0 0 9906 92 0 0 25 0 1 0 773293051 77664256 18260 4294967295 134512640 134714508 3221224592 3221222808 1074057889 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18961 18260 1111 63 0 18898 0
vsize: 75844
[startup+110.007 s]
Raw data (loadavg): 0.97 0.98 0.99 2/54 26753
Raw data (stat): 26753 (bsolo_lpr) R 26752 25830 25829 0 -1 0 38977 0 0 0 10899 99 0 0 25 0 1 0 773293051 77905920 18310 4294967295 134512640 134714508 3221224592 3221221872 1074140697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19020 18310 1111 63 0 18957 0
vsize: 76080
[startup+120.007 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 26753
Raw data (stat): 26753 (bsolo_lpr) R 26752 25830 25829 0 -1 0 41750 0 0 0 11892 107 0 0 25 0 1 0 773293051 77664256 18260 4294967295 134512640 134714508 3221224592 3221222992 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18961 18260 1111 63 0 18898 0
vsize: 75844
[startup+130.007 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 26753
Raw data (stat): 26753 (bsolo_lpr) R 26752 25830 25829 0 -1 0 44618 0 0 0 12884 114 0 0 25 0 1 0 773293051 78032896 18279 4294967295 134512640 134714508 3221224592 3221222320 1075828447 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19051 18279 1111 63 0 18988 0
vsize: 76204
[startup+140.008 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 26753
Raw data (stat): 26753 (bsolo_lpr) R 26752 25830 25829 0 -1 0 47790 0 0 0 13877 121 0 0 25 0 1 0 773293051 77664256 18260 4294967295 134512640 134714508 3221224592 3221222824 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18961 18260 1111 63 0 18898 0
vsize: 75844
[startup+150.008 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 26753
Raw data (stat): 26753 (bsolo_lpr) R 26752 25830 25829 0 -1 0 50976 0 0 0 14870 129 0 0 25 0 1 0 773293051 77664256 18260 4294967295 134512640 134714508 3221224592 3221222752 1077379745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18961 18260 1111 63 0 18898 0
vsize: 75844
[startup+160.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 26753
Raw data (stat): 26753 (bsolo_lpr) R 26752 25830 25829 0 -1 0 54130 0 0 0 15860 139 0 0 25 0 1 0 773293051 77664256 18260 4294967295 134512640 134714508 3221224592 3221222976 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18961 18260 1111 63 0 18898 0
vsize: 75844
[startup+170.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 26753
Raw data (stat): 26753 (bsolo_lpr) R 26752 25830 25829 0 -1 0 57197 0 0 0 16850 149 0 0 25 0 1 0 773293051 77664256 18261 4294967295 134512640 134714508 3221224592 3221222904 1074138155 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18961 18261 1111 63 0 18898 0
vsize: 75844
[startup+180.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 26753
Raw data (stat): 26753 (bsolo_lpr) R 26752 25830 25829 0 -1 0 60498 0 0 0 17840 159 0 0 25 0 1 0 773293051 77664256 18261 4294967295 134512640 134714508 3221224592 3221222560 1074206458 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18961 18261 1111 63 0 18898 0
vsize: 75844
[startup+190.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 26753
Raw data (stat): 26753 (bsolo_lpr) R 26752 25830 25829 0 -1 0 65099 0 0 0 18827 172 0 0 25 0 1 0 773293051 77701120 18270 4294967295 134512640 134714508 3221224592 3221223312 134556870 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18970 18270 1111 63 0 18907 0
vsize: 75880
[startup+200.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 26753
Raw data (stat): 26753 (bsolo_lpr) R 26752 25830 25829 0 -1 0 70213 0 0 0 19816 183 0 0 25 0 1 0 773293051 77664256 18262 4294967295 134512640 134714508 3221224592 3221222092 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18961 18262 1111 63 0 18898 0
vsize: 75844
[startup+210.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 26753
Raw data (stat): 26753 (bsolo_lpr) R 26752 25830 25829 0 -1 0 75397 0 0 0 20804 196 0 0 25 0 1 0 773293051 77664256 18262 4294967295 134512640 134714508 3221224592 3221222976 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18961 18262 1111 63 0 18898 0
vsize: 75844
[startup+220.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 26753
Raw data (stat): 26753 (bsolo_lpr) R 26752 25830 25829 0 -1 0 80341 0 0 0 21791 208 0 0 25 0 1 0 773293051 77664256 18262 4294967295 134512640 134714508 3221224592 3221222808 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18961 18262 1111 63 0 18898 0
vsize: 75844
[startup+230.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 26753
Raw data (stat): 26753 (bsolo_lpr) R 26752 25830 25829 0 -1 0 85105 0 0 0 22782 218 0 0 25 0 1 0 773293051 77664256 18262 4294967295 134512640 134714508 3221224592 3221222880 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18961 18262 1111 63 0 18898 0
vsize: 75844
[startup+240.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 26753
Raw data (stat): 26753 (bsolo_lpr) R 26752 25830 25829 0 -1 0 90709 0 0 0 23770 231 0 0 25 0 1 0 773293051 78073856 18336 4294967295 134512640 134714508 3221224592 3221221696 1074138626 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19061 18336 1111 63 0 18998 0
vsize: 76244
[startup+250.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 26753
Raw data (stat): 26753 (bsolo_lpr) R 26752 25830 25829 0 -1 0 96028 0 0 0 24757 244 0 0 25 0 1 0 773293051 77725696 18277 4294967295 134512640 134714508 3221224592 3221223120 134650068 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18976 18277 1111 63 0 18913 0
vsize: 75904
[startup+260.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 26753
Raw data (stat): 26753 (bsolo_lpr) R 26752 25830 25829 0 -1 0 100913 0 0 0 25743 258 0 0 25 0 1 0 773293051 78020608 18306 4294967295 134512640 134714508 3221224592 3221222416 1075823337 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19048 18306 1111 63 0 18985 0
vsize: 76192
[startup+270.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 26753
Raw data (stat): 26753 (bsolo_lpr) R 26752 25830 25829 0 -1 0 106660 0 0 0 26732 270 0 0 25 0 1 0 773293051 78360576 18354 4294967295 134512640 134714508 3221224592 3221221536 1074620296 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19131 18354 1111 63 0 19068 0
vsize: 76524
[startup+280.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 26753
Raw data (stat): 26753 (bsolo_lpr) R 26752 25830 25829 0 -1 0 112305 0 0 0 27716 285 0 0 25 0 1 0 773293051 78417920 18446 4294967295 134512640 134714508 3221224592 3221222760 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19145 18446 1111 63 0 19082 0
vsize: 76580
[startup+290.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 26753
Raw data (stat): 26753 (bsolo_lpr) R 26752 25830 25829 0 -1 0 117332 0 0 0 28705 297 0 0 25 0 1 0 773293051 78708736 18474 4294967295 134512640 134714508 3221224592 3221222240 1075818328 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19216 18474 1111 63 0 19153 0
vsize: 76864
[startup+300.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 26755
Raw data (stat): 26753 (bsolo_lpr) R 26752 25830 25829 0 -1 0 122749 0 0 0 29689 313 0 0 25 0 1 0 773293051 78475264 18460 4294967295 134512640 134714508 3221224592 3221222880 1074153766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19159 18460 1111 63 0 19096 0
vsize: 76636
[startup+310.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 26755
Raw data (stat): 26753 (bsolo_lpr) R 26752 25830 25829 0 -1 0 128597 0 0 0 30675 327 0 0 25 0 1 0 773293051 78893056 18559 4294967295 134512640 134714508 3221224592 3221222336 1075640233 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19261 18559 1111 63 0 19198 0
vsize: 77044
[startup+320.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 26755
Raw data (stat): 26753 (bsolo_lpr) R 26752 25830 25829 0 -1 0 134844 0 0 0 31661 342 0 0 25 0 1 0 773293051 78663680 18506 4294967295 134512640 134714508 3221224592 3221222896 1074153815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19205 18506 1111 63 0 19142 0
vsize: 76820
[startup+330.052 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 26755
Raw data (stat): 26753 (bsolo_lpr) R 26752 25830 25829 0 -1 0 142204 0 0 0 32643 361 0 0 25 0 1 0 773293051 79118336 18599 4294967295 134512640 134714508 3221224592 3221222592 1074916565 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19316 18599 1111 63 0 19253 0
vsize: 77264
[startup+340.065 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 26755
Raw data (stat): 26753 (bsolo_lpr) R 26752 25830 25829 0 -1 0 149850 0 0 0 33623 383 0 0 25 0 1 0 773293051 79003648 18589 4294967295 134512640 134714508 3221224592 3221222896 1074153753 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19288 18589 1111 63 0 19225 0
vsize: 77152
[startup+350.207 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 26755
Raw data (stat): 26753 (bsolo_lpr) R 26752 25830 25829 0 -1 0 158966 0 0 0 34614 406 0 0 25 0 1 0 773293051 79601664 18695 4294967295 134512640 134714508 3221224592 3221221936 1074839041 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19434 18695 1111 63 0 19371 0
vsize: 77736
[startup+360.209 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 26755
Raw data (stat): 26753 (bsolo_lpr) R 26752 25830 25829 0 -1 0 169317 0 0 0 35587 433 0 0 25 0 1 0 773293051 79532032 18718 4294967295 134512640 134714508 3221224592 3221222840 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19417 18718 1111 63 0 19354 0
vsize: 77668
[startup+370.209 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 26755
Raw data (stat): 26753 (bsolo_lpr) R 26752 25830 25829 0 -1 0 183207 0 0 0 36553 467 0 0 25 0 1 0 773293051 80998400 19078 4294967295 134512640 134714508 3221224592 3221222944 1074115304 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19775 19078 1111 63 0 19712 0
vsize: 79100
[startup+380.209 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 26755
Raw data (stat): 26753 (bsolo_lpr) R 26752 25830 25829 0 -1 0 192908 0 0 0 37526 494 0 0 25 0 1 0 773293051 83951616 19799 4294967295 134512640 134714508 3221224592 3221222232 1077377398 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20496 19799 1111 63 0 20433 0
vsize: 81984
[startup+390.21 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 26755
Raw data (stat): 26753 (bsolo_lpr) R 26752 25830 25829 0 -1 0 194376 0 0 0 38515 505 0 0 25 0 1 0 773293051 83951616 19799 4294967295 134512640 134714508 3221224592 3221222944 1074115298 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20496 19799 1111 63 0 20433 0
vsize: 81984
[startup+400.211 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 26755
Raw data (stat): 26753 (bsolo_lpr) R 26752 25830 25829 0 -1 0 195939 0 0 0 39505 515 0 0 25 0 1 0 773293051 83951616 19799 4294967295 134512640 134714508 3221224592 3221222992 1074118784 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20496 19799 1111 63 0 20433 0
vsize: 81984
[startup+410.213 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 26755
Raw data (stat): 26753 (bsolo_lpr) R 26752 25830 25829 0 -1 0 200920 0 0 0 40488 532 0 0 25 0 1 0 773293051 84037632 19820 4294967295 134512640 134714508 3221224592 3221223292 134535616 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20517 19820 1111 63 0 20454 0
vsize: 82068
[startup+420.213 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 26755
Raw data (stat): 26753 (bsolo_lpr) R 26752 25830 25829 0 -1 0 203144 0 0 0 41475 545 0 0 25 0 1 0 773293051 84389888 19823 4294967295 134512640 134714508 3221224592 3221221660 1074790003 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20603 19823 1111 63 0 20540 0
vsize: 82412
[startup+430.213 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 26755
Raw data (stat): 26753 (bsolo_lpr) R 26752 25830 25829 0 -1 0 208142 0 0 0 42456 565 0 0 25 0 1 0 773293051 84340736 19894 4294967295 134512640 134714508 3221224592 3221222524 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20591 19894 1111 63 0 20528 0
vsize: 82364
[startup+440.213 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 26755
Raw data (stat): 26753 (bsolo_lpr) R 26752 25830 25829 0 -1 0 210095 0 0 0 43445 576 0 0 25 0 1 0 773293051 84340736 19894 4294967295 134512640 134714508 3221224592 3221222272 1075895019 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20591 19894 1111 63 0 20528 0
vsize: 82364
[startup+450.214 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 26755
Raw data (stat): 26753 (bsolo_lpr) R 26752 25830 25829 0 -1 0 212129 0 0 0 44433 587 0 0 25 0 1 0 773293051 84340736 19894 4294967295 134512640 134714508 3221224592 3221222592 1074917861 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20591 19894 1111 63 0 20528 0
vsize: 82364
[startup+460.215 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 26755
Raw data (stat): 26753 (bsolo_lpr) R 26752 25830 25829 0 -1 0 213929 0 0 0 45423 597 0 0 25 0 1 0 773293051 84508672 19894 4294967295 134512640 134714508 3221224592 3221221484 1077386340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20632 19894 1111 63 0 20569 0
vsize: 82528
[startup+470.217 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 26755
Raw data (stat): 26753 (bsolo_lpr) R 26752 25830 25829 0 -1 0 215774 0 0 0 46414 607 0 0 25 0 1 0 773293051 84340736 19894 4294967295 134512640 134714508 3221224592 3221222336 1075640412 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20591 19894 1111 63 0 20528 0
vsize: 82364
[startup+480.232 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 26755
Raw data (stat): 26753 (bsolo_lpr) R 26752 25830 25829 0 -1 0 217625 0 0 0 47405 617 0 0 25 0 1 0 773293051 84340736 19894 4294967295 134512640 134714508 3221224592 3221222856 1074138144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20591 19894 1111 63 0 20528 0
vsize: 82364
[startup+490.238 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 26755
Raw data (stat): 26753 (bsolo_lpr) R 26752 25830 25829 0 -1 0 219165 0 0 0 48398 625 0 0 25 0 1 0 773293051 84340736 19894 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20591 19894 1111 63 0 20528 0
vsize: 82364
[startup+500.243 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 26755
Raw data (stat): 26753 (bsolo_lpr) R 26752 25830 25829 0 -1 0 220373 0 0 0 49392 632 0 0 25 0 1 0 773293051 84340736 19894 4294967295 134512640 134714508 3221224592 3221222992 1074118815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20591 19894 1111 63 0 20528 0
vsize: 82364
[startup+510.244 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 26755
Raw data (stat): 26753 (bsolo_lpr) R 26752 25830 25829 0 -1 0 221599 0 0 0 50384 639 0 0 25 0 1 0 773293051 84340736 19894 4294967295 134512640 134714508 3221224592 3221222944 1074115298 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20591 19894 1111 63 0 20528 0
vsize: 82364
[startup+520.245 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 26755
Raw data (stat): 26753 (bsolo_lpr) R 26752 25830 25829 0 -1 0 222831 0 0 0 51380 644 0 0 25 0 1 0 773293051 84340736 19894 4294967295 134512640 134714508 3221224592 3221222944 1074115304 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20591 19894 1111 63 0 20528 0
vsize: 82364
[startup+530.245 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 26755
Raw data (stat): 26753 (bsolo_lpr) R 26752 25830 25829 0 -1 0 224034 0 0 0 52374 651 0 0 25 0 1 0 773293051 84340736 19894 4294967295 134512640 134714508 3221224592 3221222512 1075799528 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20591 19894 1111 63 0 20528 0
vsize: 82364
[startup+540.245 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 26755
Raw data (stat): 26753 (bsolo_lpr) R 26752 25830 25829 0 -1 0 225262 0 0 0 53368 656 0 0 25 0 1 0 773293051 84340736 19894 4294967295 134512640 134714508 3221224592 3221222656 1075961634 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20591 19894 1111 63 0 20528 0
vsize: 82364
[startup+550.245 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 26755
Raw data (stat): 26753 (bsolo_lpr) R 26752 25830 25829 0 -1 0 226486 0 0 0 54358 666 0 0 25 0 1 0 773293051 84340736 19894 4294967295 134512640 134714508 3221224592 3221222856 1074138171 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20591 19894 1111 63 0 20528 0
vsize: 82364
[startup+560.245 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 26755
Raw data (stat): 26753 (bsolo_lpr) R 26752 25830 25829 0 -1 0 227690 0 0 0 55351 673 0 0 25 0 1 0 773293051 84340736 19894 4294967295 134512640 134714508 3221224592 3221222944 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20591 19894 1111 63 0 20528 0
vsize: 82364
[startup+570.244 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 26755
Raw data (stat): 26753 (bsolo_lpr) R 26752 25830 25829 0 -1 0 228890 0 0 0 56343 682 0 0 25 0 1 0 773293051 84340736 19894 4294967295 134512640 134714508 3221224592 3221222992 1074118824 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20591 19894 1111 63 0 20528 0
vsize: 82364
[startup+580.244 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 26755
Raw data (stat): 26753 (bsolo_lpr) R 26752 25830 25829 0 -1 0 230066 0 0 0 57336 688 0 0 25 0 1 0 773293051 84340736 19894 4294967295 134512640 134714508 3221224592 3221222856 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20591 19894 1111 63 0 20528 0
vsize: 82364
[startup+590.245 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 26755
Raw data (stat): 26753 (bsolo_lpr) R 26752 25830 25829 0 -1 0 231294 0 0 0 58329 696 0 0 25 0 1 0 773293051 84340736 19894 4294967295 134512640 134714508 3221224592 3221223008 1074116425 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20591 19894 1111 63 0 20528 0
vsize: 82364
[startup+600.246 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 26755
Raw data (stat): 26753 (bsolo_lpr) R 26752 25830 25829 0 -1 0 232498 0 0 0 59321 704 0 0 25 0 1 0 773293051 84340736 19894 4294967295 134512640 134714508 3221224592 3221223056 1074121018 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20591 19894 1111 63 0 20528 0
vsize: 82364
[startup+610.247 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 26755
Raw data (stat): 26753 (bsolo_lpr) R 26752 25830 25829 0 -1 0 233718 0 0 0 60315 710 0 0 25 0 1 0 773293051 84340736 19894 4294967295 134512640 134714508 3221224592 3221222844 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20591 19894 1111 63 0 20528 0
vsize: 82364
[startup+620.247 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 26755
Raw data (stat): 26753 (bsolo_lpr) R 26752 25830 25829 0 -1 0 234936 0 0 0 61308 718 0 0 25 0 1 0 773293051 84512768 19896 4294967295 134512640 134714508 3221224592 3221221580 1077404742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20591 19894 1111 63 0 20528 0
vsize: 82532
[startup+630.247 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 26755
Raw data (stat): 26753 (bsolo_lpr) R 26752 25830 25829 0 -1 0 236142 0 0 0 62301 725 0 0 25 0 1 0 773293051 84340736 19894 4294967295 134512640 134714508 3221224592 3221222320 1075828640 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20591 19894 1111 63 0 20528 0
vsize: 82364
[startup+640.247 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 26755
Raw data (stat): 26753 (bsolo_lpr) R 26752 25830 25829 0 -1 0 237378 0 0 0 63292 734 0 0 25 0 1 0 773293051 84340736 19894 4294967295 134512640 134714508 3221224592 3221222992 1074118820 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20591 19894 1111 63 0 20528 0
vsize: 82364
[startup+650.247 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 26755
Raw data (stat): 26753 (bsolo_lpr) R 26752 25830 25829 0 -1 0 238610 0 0 0 64284 742 0 0 25 0 1 0 773293051 84340736 19894 4294967295 134512640 134714508 3221224592 3221222856 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20591 19894 1111 63 0 20528 0
vsize: 82364
[startup+660.248 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 26755
Raw data (stat): 26753 (bsolo_lpr) R 26752 25830 25829 0 -1 0 239794 0 0 0 65278 749 0 0 25 0 1 0 773293051 84340736 19894 4294967295 134512640 134714508 3221224592 3221223216 1077378560 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20591 19894 1111 63 0 20528 0
vsize: 82364
[startup+670.248 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 26755
Raw data (stat): 26753 (bsolo_lpr) R 26752 25830 25829 0 -1 0 240994 0 0 0 66270 757 0 0 25 0 1 0 773293051 84340736 19894 4294967295 134512640 134714508 3221224592 3221223196 134523614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20591 19894 1111 63 0 20528 0
vsize: 82364
[startup+680.248 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 26755
Raw data (stat): 26753 (bsolo_lpr) R 26752 25830 25829 0 -1 0 242206 0 0 0 67264 763 0 0 25 0 1 0 773293051 84340736 19894 4294967295 134512640 134714508 3221224592 3221222944 1074153673 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20591 19894 1111 63 0 20528 0
vsize: 82364
[startup+690.249 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 26755
Raw data (stat): 26753 (bsolo_lpr) R 26752 25830 25829 0 -1 0 243472 0 0 0 68257 771 0 0 25 0 1 0 773293051 84340736 19894 4294967295 134512640 134714508 3221224592 3221223296 134652512 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20591 19894 1111 63 0 20528 0
vsize: 82364
[startup+700.249 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 26755
Raw data (stat): 26753 (bsolo_lpr) R 26752 25830 25829 0 -1 0 244676 0 0 0 69248 780 0 0 25 0 1 0 773293051 84340736 19894 4294967295 134512640 134714508 3221224592 3221222992 1074118815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20591 19894 1111 63 0 20528 0
vsize: 82364
[startup+710.25 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 26755
Raw data (stat): 26753 (bsolo_lpr) R 26752 25830 25829 0 -1 0 245880 0 0 0 70240 788 0 0 25 0 1 0 773293051 84340736 19894 4294967295 134512640 134714508 3221224592 3221222496 1075460122 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20591 19894 1111 63 0 20528 0
vsize: 82364
[startup+720.25 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 26755
Raw data (stat): 26753 (bsolo_lpr) R 26752 25830 25829 0 -1 0 247085 0 0 0 71232 796 0 0 25 0 1 0 773293051 84340736 19894 4294967295 134512640 134714508 3221224592 3221222624 1075088360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20591 19894 1111 63 0 20528 0
vsize: 82364
[startup+730.25 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 26755
Raw data (stat): 26753 (bsolo_lpr) R 26752 25830 25829 0 -1 0 248277 0 0 0 72225 803 0 0 25 0 1 0 773293051 84340736 19894 4294967295 134512640 134714508 3221224592 3221223364 134624473 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20591 19894 1111 63 0 20528 0
vsize: 82364
[startup+740.251 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 26755
Raw data (stat): 26753 (bsolo_lpr) R 26752 25830 25829 0 -1 0 249473 0 0 0 73217 811 0 0 25 0 1 0 773293051 84340736 19894 4294967295 134512640 134714508 3221224592 3221223264 134650216 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20591 19894 1111 63 0 20528 0
vsize: 82364
[startup+750.25 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 26755
Raw data (stat): 26753 (bsolo_lpr) R 26752 25830 25829 0 -1 0 250673 0 0 0 74211 817 0 0 25 0 1 0 773293051 84340736 19894 4294967295 134512640 134714508 3221224592 3221222844 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20591 19894 1111 63 0 20528 0
vsize: 82364
[startup+760.251 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 26755
Raw data (stat): 26753 (bsolo_lpr) R 26752 25830 25829 0 -1 0 251841 0 0 0 75204 825 0 0 25 0 1 0 773293051 84340736 19894 4294967295 134512640 134714508 3221224592 3221222512 1075799512 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20591 19894 1111 63 0 20528 0
vsize: 82364
[startup+770.252 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 26755
Raw data (stat): 26753 (bsolo_lpr) R 26752 25830 25829 0 -1 0 253009 0 0 0 76196 832 0 0 25 0 1 0 773293051 84340736 19894 4294967295 134512640 134714508 3221224592 3221222944 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20591 19894 1111 63 0 20528 0
vsize: 82364
[startup+780.251 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 26755
Raw data (stat): 26753 (bsolo_lpr) R 26752 25830 25829 0 -1 0 254247 0 0 0 77189 840 0 0 25 0 1 0 773293051 84340736 19894 4294967295 134512640 134714508 3221224592 3221222944 1074115298 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20591 19894 1111 63 0 20528 0
vsize: 82364
[startup+790.251 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 26755
Raw data (stat): 26753 (bsolo_lpr) R 26752 25830 25829 0 -1 0 255473 0 0 0 78182 847 0 0 25 0 1 0 773293051 84340736 19894 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20591 19894 1111 63 0 20528 0
vsize: 82364
[startup+800.252 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 26755
Raw data (stat): 26753 (bsolo_lpr) R 26752 25830 25829 0 -1 0 256669 0 0 0 79174 855 0 0 25 0 1 0 773293051 84340736 19894 4294967295 134512640 134714508 3221224592 3221222320 1075828543 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20591 19894 1111 63 0 20528 0
vsize: 82364
[startup+810.252 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 26755
Raw data (stat): 26753 (bsolo_lpr) R 26752 25830 25829 0 -1 0 257865 0 0 0 80168 861 0 0 25 0 1 0 773293051 84340736 19894 4294967295 134512640 134714508 3221224592 3221222944 1074153749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20591 19894 1111 63 0 20528 0
vsize: 82364
[startup+820.252 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 26755
Raw data (stat): 26753 (bsolo_lpr) R 26752 25830 25829 0 -1 0 259053 0 0 0 81161 869 0 0 25 0 1 0 773293051 84340736 19894 4294967295 134512640 134714508 3221224592 3221222944 1074153648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20591 19894 1111 63 0 20528 0
vsize: 82364
[startup+830.252 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 26755
Raw data (stat): 26753 (bsolo_lpr) R 26752 25830 25829 0 -1 0 260249 0 0 0 82154 875 0 0 25 0 1 0 773293051 84340736 19894 4294967295 134512640 134714508 3221224592 3221222844 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20591 19894 1111 63 0 20528 0
vsize: 82364
[startup+840.253 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 26755
Raw data (stat): 26753 (bsolo_lpr) R 26752 25830 25829 0 -1 0 261401 0 0 0 83148 882 0 0 25 0 1 0 773293051 84340736 19894 4294967295 134512640 134714508 3221224592 3221222992 1074118815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20591 19894 1111 63 0 20528 0
vsize: 82364
[startup+850.253 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 26755
Raw data (stat): 26753 (bsolo_lpr) R 26752 25830 25829 0 -1 0 262583 0 0 0 84141 889 0 0 25 0 1 0 773293051 84340736 19894 4294967295 134512640 134714508 3221224592 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20591 19894 1111 63 0 20528 0
vsize: 82364
[startup+860.253 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 26755
Raw data (stat): 26753 (bsolo_lpr) R 26752 25830 25829 0 -1 0 263765 0 0 0 85133 897 0 0 25 0 1 0 773293051 84340736 19894 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20591 19894 1111 63 0 20528 0
vsize: 82364
[startup+870.254 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 26755
Raw data (stat): 26753 (bsolo_lpr) R 26752 25830 25829 0 -1 0 264971 0 0 0 86123 907 0 0 25 0 1 0 773293051 84340736 19894 4294967295 134512640 134714508 3221224592 3221223008 1074116570 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20591 19894 1111 63 0 20528 0
vsize: 82364
[startup+880.254 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 26755
Raw data (stat): 26753 (bsolo_lpr) R 26752 25830 25829 0 -1 0 266157 0 0 0 87115 915 0 0 25 0 1 0 773293051 84340736 19894 4294967295 134512640 134714508 3221224592 3221222844 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20591 19894 1111 63 0 20528 0
vsize: 82364
[startup+890.255 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 26755
Raw data (stat): 26753 (bsolo_lpr) R 26752 25830 25829 0 -1 0 267342 0 0 0 88109 922 0 0 25 0 1 0 773293051 84340736 19894 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20591 19894 1111 63 0 20528 0
vsize: 82364
[startup+900.255 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 26755
Raw data (stat): 26753 (bsolo_lpr) R 26752 25830 25829 0 -1 0 268510 0 0 0 89104 927 0 0 25 0 1 0 773293051 84340736 19894 4294967295 134512640 134714508 3221224592 3221222388 1077374563 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20591 19894 1111 63 0 20528 0
vsize: 82364
[startup+910.255 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 26755
Raw data (stat): 26753 (bsolo_lpr) R 26752 25830 25829 0 -1 0 269676 0 0 0 90097 934 0 0 25 0 1 0 773293051 84340736 19894 4294967295 134512640 134714508 3221224592 3221222336 1075640493 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20591 19894 1111 63 0 20528 0
vsize: 82364
[startup+920.255 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 26755
Raw data (stat): 26753 (bsolo_lpr) R 26752 25830 25829 0 -1 0 270834 0 0 0 91090 941 0 0 25 0 1 0 773293051 84340736 19894 4294967295 134512640 134714508 3221224592 3221223052 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20591 19894 1111 63 0 20528 0
vsize: 82364
[startup+930.261 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 26755
Raw data (stat): 26753 (bsolo_lpr) R 26752 25830 25829 0 -1 0 272014 0 0 0 92083 949 0 0 25 0 1 0 773293051 84340736 19894 4294967295 134512640 134714508 3221224592 3221222920 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20591 19894 1111 63 0 20528 0
vsize: 82364
[startup+940.271 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 26755
Raw data (stat): 26753 (bsolo_lpr) R 26752 25830 25829 0 -1 0 273210 0 0 0 93077 956 0 0 25 0 1 0 773293051 84340736 19894 4294967295 134512640 134714508 3221224592 3221223320 134543214 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20591 19894 1111 63 0 20528 0
vsize: 82364
[startup+950.271 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 26755
Raw data (stat): 26753 (bsolo_lpr) R 26752 25830 25829 0 -1 0 274350 0 0 0 94070 964 0 0 25 0 1 0 773293051 84340736 19894 4294967295 134512640 134714508 3221224592 3221222592 1074056242 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20591 19894 1111 63 0 20528 0
vsize: 82364
[startup+960.271 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 26755
Raw data (stat): 26753 (bsolo_lpr) R 26752 25830 25829 0 -1 0 275490 0 0 0 95064 970 0 0 25 0 1 0 773293051 84340736 19894 4294967295 134512640 134714508 3221224592 3221223292 134535506 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20591 19894 1111 63 0 20528 0
vsize: 82364
[startup+970.272 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 26755
Raw data (stat): 26753 (bsolo_lpr) R 26752 25830 25829 0 -1 0 276658 0 0 0 96057 977 0 0 25 0 1 0 773293051 84340736 19894 4294967295 134512640 134714508 3221224592 3221222320 1075828243 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20591 19894 1111 63 0 20528 0
vsize: 82364
[startup+980.272 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 26755
Raw data (stat): 26753 (bsolo_lpr) R 26752 25830 25829 0 -1 0 277834 0 0 0 97051 983 0 0 25 0 1 0 773293051 84340736 19894 4294967295 134512640 134714508 3221224592 3221223056 1074121015 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20591 19894 1111 63 0 20528 0
vsize: 82364
[startup+990.272 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 26755
Raw data (stat): 26753 (bsolo_lpr) R 26752 25830 25829 0 -1 0 279006 0 0 0 98044 990 0 0 25 0 1 0 773293051 84340736 19894 4294967295 134512640 134714508 3221224592 3221222920 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20591 19894 1111 63 0 20528 0
vsize: 82364
[startup+1000.27 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 26755
Raw data (stat): 26753 (bsolo_lpr) R 26752 25830 25829 0 -1 0 280206 0 0 0 99037 997 0 0 25 0 1 0 773293051 84340736 19894 4294967295 134512640 134714508 3221224592 3221222512 1075799524 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20591 19894 1111 63 0 20528 0
vsize: 82364
[startup+1010.27 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 26755
Raw data (stat): 26753 (bsolo_lpr) R 26752 25830 25829 0 -1 0 281388 0 0 0 100030 1005 0 0 25 0 1 0 773293051 84340736 19894 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20591 19894 1111 63 0 20528 0
vsize: 82364
[startup+1020.27 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 26755
Raw data (stat): 26753 (bsolo_lpr) R 26752 25830 25829 0 -1 0 282578 0 0 0 101023 1012 0 0 25 0 1 0 773293051 84340736 19894 4294967295 134512640 134714508 3221224592 3221222920 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20591 19894 1111 63 0 20528 0
vsize: 82364
[startup+1030.27 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 26755
Raw data (stat): 26753 (bsolo_lpr) R 26752 25830 25829 0 -1 0 283754 0 0 0 102016 1019 0 0 25 0 1 0 773293051 84340736 19894 4294967295 134512640 134714508 3221224592 3221222592 1074056605 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20591 19894 1111 63 0 20528 0
vsize: 82364
[startup+1040.27 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 26755
Raw data (stat): 26753 (bsolo_lpr) R 26752 25830 25829 0 -1 0 284940 0 0 0 103008 1027 0 0 25 0 1 0 773293051 84340736 19894 4294967295 134512640 134714508 3221224592 3221223008 1074116193 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20591 19894 1111 63 0 20528 0
vsize: 82364
[startup+1050.27 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 26755
Raw data (stat): 26753 (bsolo_lpr) R 26752 25830 25829 0 -1 0 286110 0 0 0 104001 1034 0 0 25 0 1 0 773293051 84340736 19894 4294967295 134512640 134714508 3221224592 3221222944 1074115304 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20591 19894 1111 63 0 20528 0
vsize: 82364
[startup+1060.28 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 26755
Raw data (stat): 26753 (bsolo_lpr) R 26752 25830 25829 0 -1 0 287276 0 0 0 104995 1041 0 0 25 0 1 0 773293051 84340736 19894 4294967295 134512640 134714508 3221224592 3221222320 1075828201 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20591 19894 1111 63 0 20528 0
vsize: 82364
[startup+1070.28 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 26755
Raw data (stat): 26753 (bsolo_lpr) R 26752 25830 25829 0 -1 0 288452 0 0 0 105988 1048 0 0 25 0 1 0 773293051 84340736 19894 4294967295 134512640 134714508 3221224592 3221223200 134535032 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20591 19894 1111 63 0 20528 0
vsize: 82364
[startup+1080.28 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 26755
Raw data (stat): 26753 (bsolo_lpr) R 26752 25830 25829 0 -1 0 289636 0 0 0 106981 1055 0 0 25 0 1 0 773293051 84340736 19894 4294967295 134512640 134714508 3221224592 3221222944 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20591 19894 1111 63 0 20528 0
vsize: 82364
[startup+1090.28 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 26755
Raw data (stat): 26753 (bsolo_lpr) R 26752 25830 25829 0 -1 0 290826 0 0 0 107974 1063 0 0 25 0 1 0 773293051 84340736 19894 4294967295 134512640 134714508 3221224592 3221222120 1077377368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20591 19894 1111 63 0 20528 0
vsize: 82364
[startup+1100.28 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 26755
Raw data (stat): 26753 (bsolo_lpr) R 26752 25830 25829 0 -1 0 292020 0 0 0 108965 1071 0 0 25 0 1 0 773293051 84340736 19894 4294967295 134512640 134714508 3221224592 3221223352 134538733 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20591 19894 1111 63 0 20528 0
vsize: 82364
[startup+1110.28 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 26755
Raw data (stat): 26753 (bsolo_lpr) R 26752 25830 25829 0 -1 0 293160 0 0 0 109959 1077 0 0 25 0 1 0 773293051 84340736 19894 4294967295 134512640 134714508 3221224592 3221222796 1077404823 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20591 19894 1111 63 0 20528 0
vsize: 82364
[startup+1120.28 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 26755
Raw data (stat): 26753 (bsolo_lpr) R 26752 25830 25829 0 -1 0 294316 0 0 0 110952 1085 0 0 25 0 1 0 773293051 84340736 19894 4294967295 134512640 134714508 3221224592 3221222856 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20591 19894 1111 63 0 20528 0
vsize: 82364
[startup+1130.28 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 26755
Raw data (stat): 26753 (bsolo_lpr) R 26752 25830 25829 0 -1 0 295490 0 0 0 111943 1094 0 0 25 0 1 0 773293051 84340736 19894 4294967295 134512640 134714508 3221224592 3221222992 1074118815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20591 19894 1111 63 0 20528 0
vsize: 82364
[startup+1140.28 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 26755
Raw data (stat): 26753 (bsolo_lpr) R 26752 25830 25829 0 -1 0 296683 0 0 0 112937 1101 0 0 25 0 1 0 773293051 84340736 19894 4294967295 134512640 134714508 3221224592 3221222336 1075640247 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20591 19894 1111 63 0 20528 0
vsize: 82364
[startup+1150.28 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 26755
Raw data (stat): 26753 (bsolo_lpr) R 26752 25830 25829 0 -1 0 297873 0 0 0 113930 1108 0 0 25 0 1 0 773293051 84340736 19894 4294967295 134512640 134714508 3221224592 3221222524 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20591 19894 1111 63 0 20528 0
vsize: 82364
[startup+1160.28 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 26755
Raw data (stat): 26753 (bsolo_lpr) R 26752 25830 25829 0 -1 0 299113 0 0 0 114924 1113 0 0 25 0 1 0 773293051 84340736 19894 4294967295 134512640 134714508 3221224592 3221222464 1074050884 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20591 19894 1111 63 0 20528 0
vsize: 82364
[startup+1170.28 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 26755
Raw data (stat): 26753 (bsolo_lpr) R 26752 25830 25829 0 -1 0 300337 0 0 0 115917 1120 0 0 25 0 1 0 773293051 84340736 19894 4294967295 134512640 134714508 3221224592 3221222856 1074138155 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20591 19894 1111 63 0 20528 0
vsize: 82364
[startup+1174.98 s]
Raw data (loadavg): 0.99 0.98 0.99 1/53 26755
Raw data (stat): 26753 (bsolo_lpr) R 26752 25830 25829 0 -1 0 300337 0 0 0 115917 1120 0 0 25 0 1 0 773293051 84340736 19894 4294967295 134512640 134714508 3221224592 3221222856 1074138155 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20591 19894 1111 63 0 20528 0
vsize: 0

Child status: 10
Real time (s): 1174.98
CPU time (s): 1175.09
CPU user time (s): 1163.81
CPU system time (s): 11.2823
CPU usage (%): 100.009
Max. virtual memory (Kb): 82532
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	22961
#### END VERIFIER DATA ####