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-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-10teams.opb
MD5SUM	1ff3cc3253012886aa21be4feac6111e
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	920
Optimality of the best value was proved	NO
Number of terms in the objective function	1800
Biggest coefficient in the objective function	86
Number of bits for the biggest coefficient in the objective function	7
Sum of the numbers in the objective function	41700
Number of bits of the sum of numbers in the objective function	16
Biggest number in a constraint	86
Number of bits of the biggest number in a constraint	7
Biggest sum of numbers in a constraint	41700
Number of bits of the biggest sum of numbers	16
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.75
Number of variables	1800
Total number of constraints	2015
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	2015
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	72
Trace number 25816

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-22 19:33:02 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=17369 boxname=wulflinc31 idbench=1337 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  1ff3cc3253012886aa21be4feac6111e  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-10teams.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-10teams.opb
IDLAUNCH: 17369
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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	: 3
cpu MHz		: 451.153
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        877288 kB
Buffers:         21584 kB
Cached:         116112 kB
SwapCached:       1024 kB
Active:          72896 kB
Inactive:        66924 kB
HighTotal:      131008 kB
HighFree:        15904 kB
LowTotal:       903652 kB
LowFree:        861384 kB
SwapTotal:     2097892 kB
SwapFree:      2095884 kB
Dirty:             200 kB
Writeback:           0 kB
Mapped:           5096 kB
Slab:            12072 kB
Committed_AS:    63852 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-22 19:52:38 (client local time) WITH STATUS 10 IN 1175.75 SECONDS
stats: 17369 0 1175.75 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 1800 variables and 335 constraints.
c After prepocess the problem consists of 1600 variables and 748 constraints.
c preprocess terminated 67.527 s
c Initial Lower Bound: 904
c Lower Bound Elapsed time: 3.2925
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 1024 @ 570.904
c NEW SOLUTION FOUND: 1020 @ 570.908
s SATISFIABLE
v -x226_bit0 -x227_bit0 x228_bit0 -x229_bit0 -x230_bit0 -x231_bit0 -x232_bit0 -x233_bit0 -x234_bit0 -x235_bit0 -x236_bit0 -x237_bit0 -x238_bit0 -x239_bit0 -x240_bit0 -x241_bit0 -x242_bit0 -x243_bit0 -x244_bit0 -x245_bit0 -x246_bit0 -x247_bit0 -x248_bit0 -x249_bit0 -x250_bit0 -x251_bit0 -x252_bit0 -x253_bit0 -x254_bit0 -x255_bit0 -x256_bit0 -x257_bit0 -x258_bit0 -x259_bit0 -x260_bit0 -x261_bit0 -x262_bit0 -x263_bit0 -x264_bit0 -x265_bit0 -x266_bit0 -x267_bit0 -x268_bit0 -x269_bit0 -x270_bit0 -x271_bit0 -x272_bit0 -x273_bit0 -x274_bit0 -x275_bit0 -x276_bit0 -x277_bit0 -x278_bit0 -x279_bit0 -x280_bit0 -x281_bit0 -x282_bit0 -x283_bit0 -x284_bit0 -x285_bit0 -x286_bit0 -x287_bit0 -x288_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 -x301_bit0 -x302_bit0 -x303_bit0 -x304_bit0 -x305_bit0 -x306_bit0 -x307_bit0 -x308_bit0 -x309_bit0 -x310_bit0 -x311_bit0 -x312_bit0 -x313_bit0 -x314_bit0 -x315_bit0 -x316_bit0 -x317_bit0 -x318_bit0 -x319_bit0 -x320_bit0 -x321_bit0 -x322_bit0 -x323_bit0 -x324_bit0 -x325_bit0 -x326_bit0 -x327_bit0 -x328_bit0 -x329_bit0 -x330_bit0 -x331_bit0 -x332_bit0 -x333_bit0 -x334_bit0 -x335_bit0 -x336_bit0 -x337_bit0 -x338_bit0 -x339_bit0 -x340_bit0 -x341_bit0 -x342_bit0 -x343_bit0 -x344_bit0 -x345_bit0 -x346_bit0 -x347_bit0 -x348_bit0 -x349_bit0 -x350_bit0 -x351_bit0 -x352_bit0 -x353_bit0 -x354_bit0 -x355_bit0 -x356_bit0 x357_bit0 -x358_bit0 -x359_bit0 -x360_bit0 -x361_bit0 -x362_bit0 -x363_bit0 -x364_bit0 -x365_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 -x378_bit0 -x379_bit0 -x380_bit0 -x381_bit0 -x382_bit0 -x383_bit0 -x384_bit0 -x385_bit0 -x386_bit0 -x387_bit0 -x388_bit0 -x389_bit0 -x390_bit0 -x391_bit0 x392_bit0 -x393_bit0 -x394_bit0 -x395_bit0 -x396_bit0 -x397_bit0 -x398_bit0 -x399_bit0 -x400_bit0 -x401_bit0 -x402_bit0 -x403_bit0 -x404_bit0 -x405_bit0 -x406_bit0 -x407_bit0 -x408_bit0 -x409_bit0 -x410_bit0 -x411_bit0 -x412_bit0 -x413_bit0 -x414_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 x427_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 -x455_bit0 -x456_bit0 -x457_bit0 -x458_bit0 -x459_bit0 -x460_bit0 -x461_bit0 -x462_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 -x477_bit0 -x478_bit0 -x479_bit0 -x480_bit0 -x481_bit0 -x482_bit0 -x483_bit0 x484_bit0 -x485_bit0 -x486_bit0 -x487_bit0 -x488_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 -x504_bit0 -x505_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 -x518_bit0 -x519_bit0 -x520_bit0 -x521_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 -x534_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 -x547_bit0 -x548_bit0 -x549_bit0 -x550_bit0 -x551_bit0 -x552_bit0 -x553_bit0 -x554_bit0 -x555_bit0 -x556_bit0 x557_bit0 -x558_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 -x574_bit0 -x575_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 -x590_bit0 -x591_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 -x604_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 -x632_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 -x649_bit0 -x650_bit0 -x651_bit0 -x652_bit0 -x653_bit0 -x654_bit0 -x655_bit0 -x656_bit0 -x657_bit0 -x658_bit0 -x659_bit0 -x660_bit0 -x661_bit0 -x662_bit0 -x663_bit0 -x664_bit0 -x665_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 -x681_bit0 -x682_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 -x695_bit0 -x696_bit0 -x697_bit0 -x698_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 -x711_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 -x724_bit0 -x725_bit0 -x726_bit0 -x727_bit0 -x728_bit0 -x729_bit0 -x730_bit0 x731_bit0 -x732_bit0 -x733_bit0 -x734_bit0 -x735_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 -x751_bit0 -x752_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 -x767_bit0 -x768_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 -x781_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 -x794_bit0 -x795_bit0 -x796_bit0 -x797_bit0 -x798_bit0 -x799_bit0 -x800_bit0 -x801_bit0 -x802_bit0 -x803_bit0 -x804_bit0 x805_bit0 -x806_bit0 -x807_bit0 -x808_bit0 -x809_bit0 -x810_bit0 -x811_bit0 -x812_bit0 -x813_bit0 -x814_bit0 -x815_bit0 -x816_bit0 -x817_bit0 -x818_bit0 -x819_bit0 -x820_bit0 -x821_bit0 -x822_bit0 -x823_bit0 -x824_bit0 -x825_bit0 -x826_bit0 -x827_bit0 -x828_bit0 -x829_bit0 -x830_bit0 -x831_bit0 -x832_bit0 -x833_bit0 -x834_bit0 -x835_bit0 -x836_bit0 -x837_bit0 -x838_bit0 -x839_bit0 x840_bit0 -x841_bit0 -x842_bit0 -x843_bit0 -x844_bit0 -x845_bit0 -x846_bit0 -x847_bit0 -x848_bit0 -x849_bit0 -x850_bit0 -x851_bit0 -x852_bit0 -x853_bit0 -x854_bit0 -x855_bit0 -x856_bit0 -x857_bit0 -x858_bit0 -x859_bit0 -x860_bit0 -x861_bit0 -x862_bit0 -x863_bit0 -x864_bit0 -x865_bit0 -x866_bit0 -x867_bit0 -x868_bit0 -x869_bit0 -x870_bit0 -x871_bit0 -x872_bit0 x873_bit0 -x874_bit0 -x875_bit0 -x876_bit0 -x877_bit0 -x878_bit0 -x879_bit0 -x880_bit0 -x881_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 -x894_bit0 -x895_bit0 -x896_bit0 -x897_bit0 -x898_bit0 -x899_bit0 -x900_bit0 -x901_bit0 -x902_bit0 -x903_bit0 -x904_bit0 -x905_bit0 -x906_bit0 -x907_bit0 -x908_bit0 -x909_bit0 -x910_bit0 -x911_bit0 -x912_bit0 -x913_bit0 -x914_bit0 -x915_bit0 -x916_bit0 -x917_bit0 -x918_bit0 x919_bit0 -x920_bit0 -x921_bit0 -x922_bit0 -x923_bit0 -x924_bit0 -x925_bit0 -x926_bit0 -x927_bit0 -x928_bit0 -x929_bit0 -x930_bit0 -x931_bit0 -x932_bit0 -x933_bit0 -x934_bit0 -x935_bit0 -x936_bit0 -x937_bit0 -x938_bit0 -x939_bit0 -x940_bit0 -x941_bit0 -x942_bit0 -x943_bit0 -x944_bit0 -x945_bit0 -x946_bit0 -x947_bit0 -x948_bit0 -x949_bit0 -x950_bit0 -x951_bit0 -x952_bit0 -x953_bit0 -x954_bit0 -x955_bit0 -x956_bit0 -x957_bit0 -x958_bit0 -x959_bit0 -x960_bit0 -x961_bit0 -x962_bit0 -x963_bit0 -x964_bit0 -x965_bit0 -x966_bit0 -x967_bit0 -x968_bit0 -x969_bit0 -x970_bit0 -x971_bit0 -x972_bit0 -x973_bit0 -x974_bit0 -x975_bit0 -x976_bit0 -x977_bit0 -x978_bit0 -x979_bit0 -x980_bit0 -x981_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 -x998_bit0 -x999_bit0 -x1000_bit0 -x1001_bit0 -x1002_bit0 -x1003_bit0 -x1004_bit0 -x1005_bit0 -x1006_bit0 -x1007_bit0 -x1008_bit0 -x1009_bit0 -x1010_bit0 -x1011_bit0 -x1012_bit0 -x1013_bit0 -x1014_bit0 -x1015_bit0 -x1016_bit0 -x1017_bit0 -x1018_bit0 -x1019_bit0 -x1020_bit0 x1021_bit0 -x1022_bit0 -x1023_bit0 -x1024_bit0 -x1025_bit0 -x1026_bit0 -x1027_bit0 -x1028_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 -x1044_bit0 -x1045_bit0 -x1046_bit0 -x1047_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 -x1068_bit0 -x1069_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 -x1089_bit0 -x1090_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 -x1104_bit0 -x1105_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 -x1125_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 -x1142_bit0 -x1143_bit0 -x1144_bit0 -x1145_bit0 -x1146_bit0 -x1147_bit0 -x1148_bit0 -x1149_bit0 -x1150_bit0 -x1151_bit0 -x1152_bit0 -x1153_bit0 -x1154_bit0 -x1155_bit0 -x1156_bit0 -x1157_bit0 -x1158_bit0 -x1159_bit0 -x1160_bit0 -x1161_bit0 -x1162_bit0 -x1163_bit0 -x1164_bit0 -x1165_bit0 x1166_bit0 -x1167_bit0 -x1168_bit0 -x1169_bit0 -x1170_bit0 -x1171_bit0 -x1172_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 -x1188_bit0 -x1189_bit0 -x1190_bit0 -x1191_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 -x1212_bit0 -x1213_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 -x1233_bit0 -x1234_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 -x1248_bit0 -x1249_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 -x1269_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 -x1347_bit0 -x1348_bit0 -x1349_bit0 -x1350_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 -x1368_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 -x1383_bit0 -x1384_bit0 -x1385_bit0 -x1386_bit0 -x1387_bit0 -x1388_bit0 -x1389_bit0 -x1390_bit0 -x1391_bit0 -x1392_bit0 -x1393_bit0 -x1394_bit0 -x1395_bit0 -x1396_bit0 -x1397_bit0 -x1398_bit0 -x1399_bit0 -x1400_bit0 -x1401_bit0 -x1402_bit0 -x1403_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 -x1421_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 -x1439_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 -x1454_bit0 -x1455_bit0 -x1456_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 -x1474_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 -x1492_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 -x1510_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 -x1523_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 -x1541_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 -x1559_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 -x1577_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 -x1590_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 -x1608_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 -x1621_bit0 -x1622_bit0 -x1623_bit0 -x1624_bit0 -x1625_bit0 -x1626_bit0 -x1627_bit0 -x1628_bit0 -x1629_bit0 -x1630_bit0 -x1631_bit0 -x1632_bit0 -x1633_bit0 -x1634_bit0 -x1635_bit0 -x1636_bit0 -x1637_bit0 -x1638_bit0 -x1639_bit0 -x1640_bit0 -x1641_bit0 -x1642_bit0 -x1643_bit0 -x1644_bit0 -x1645_bit0 -x1646_bit0 -x1647_bit0 -x1648_bit0 -x1649_bit0 -x1650_bit0 -x1651_bit0 -x1652_bit0 x1653_bit0 -x1654_bit0 -x1655_bit0 -x1656_bit0 -x1657_bit0 -x1658_bit0 -x1659_bit0 -x1660_bit0 -x1661_bit0 -x1662_bit0 -x1663_bit0 -x1664_bit0 -x1665_bit0 -x1666_bit0 -x1667_bit0 -x1668_bit0 -x1669_bit0 -x1670_bit0 -x1671_bit0 -x1672_bit0 -x1673_bit0 -x1674_bit0 -x1675_bit0 -x1676_bit0 -x1677_bit0 -x1678_bit0 -x1679_bit0 -x1680_bit0 x1681_bit0 -x1682_bit0 -x1683_bit0 -x1684_bit0 -x1685_bit0 -x1686_bit0 -x1687_bit0 -x1688_bit0 -x1689_bit0 -x1690_bit0 -x1691_bit0 -x1692_bit0 -x1693_bit0 -x1694_bit0 -x1695_bit0 -x1696_bit0 -x1697_bit0 -x1698_bit0 -x1699_bit0 -x1700_bit0 -x1701_bit0 -x1702_bit0 -x1703_bit0 -x1704_bit0 -x1705_bit0 -x1706_bit0 -x1707_bit0 -x1708_bit0 -x1709_bit0 -x1710_bit0 -x1711_bit0 -x1712_bit0 -x1713_bit0 -x1714_bit0 -x1715_bit0 -x1716_bit0 -x1717_bit0 -x1718_bit0 -x1719_bit0 -x1720_bit0 -x1721_bit0 -x1722_bit0 -x1723_bit0 -x1724_bit0 -x1725_bit0 -x1726_bit0 -x1727_bit0 -x1728_bit0 -x1729_bit0 -x1730_bit0 -x1731_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 -x1746_bit0 -x1747_bit0 x1748_bit0 -x1749_bit0 -x1750_bit0 -x1751_bit0 -x1752_bit0 -x1753_bit0 -x1754_bit0 -x1755_bit0 -x1756_bit0 -x1757_bit0 -x1758_bit0 -x1759_bit0 -x1760_bit0 -x1761_bit0 -x1762_bit0 -x1763_bit0 -x1764_bit0 -x1765_bit0 -x1766_bit0 -x1767_bit0 x1768_bit0 -x1769_bit0 -x1770_bit0 -x1771_bit0 -x1772_bit0 -x1773_bit0 -x1774_bit0 -x1775_bit0 -x1776_bit0 -x1777_bit0 -x1778_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 -x1791_bit0 -x1792_bit0 -x1793_bit0 -x1794_bit0 -x1795_bit0 -x1796_bit0 -x1797_bit0 -x1798_bit0 -x1799_bit0 -x1800_bit0 -x1801_bit0 -x1802_bit0 -x1803_bit0 -x1804_bit0 -x1805_bit0 -x1806_bit0 -x1807_bit0 -x1808_bit0 -x1809_bit0 -x1810_bit0 -x1811_bit0 -x1812_bit0 -x1813_bit0 -x1814_bit0 -x1815_bit0 -x1816_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 -x1831_bit0 -x1832_bit0 -x1833_bit0 -x1834_bit0 -x1835_bit0 -x1836_bit0 -x1837_bit0 -x1838_bit0 x1839_bit0 -x1840_bit0 -x1841_bit0 -x1842_bit0 -x1843_bit0 -x1844_bit0 -x1845_bit0 -x1846_bit0 -x1847_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 -x1863_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 -x1876_bit0 -x1877_bit0 -x1878_bit0 -x1879_bit0 x1880_bit0 -x1881_bit0 -x1882_bit0 -x1883_bit0 -x1884_bit0 -x1885_bit0 -x1886_bit0 -x1887_bit0 -x1888_bit0 -x1889_bit0 -x1890_bit0 -x1891_bit0 -x1892_bit0 -x1893_bit0 -x1894_bit0 -x1895_bit0 -x1896_bit0 x1897_bit0 -x1898_bit0 -x1899_bit0 -x1900_bit0 -x1901_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 -x1916_bit0 -x1917_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 -x1931_bit0 -x1932_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 -x1948_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 -x1964_bit0 -x1965_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 -x1978_bit0 -x1979_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 -x2002_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 
c Exit Code: 10
c Total time: 1175.69 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.93 0.98 0.91 2/55 27806
Raw data (stat): 27806 (runsolver) R 27805 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 815485724 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0001 s]
Raw data (loadavg): 0.94 0.98 0.91 2/55 27806
Raw data (stat): 27806 (bsolo_lpr) R 27805 7876 7672 0 -1 0 14035 0 0 0 967 29 0 0 25 0 1 0 815485724 60604416 13950 4294967295 134512640 134714508 3221221776 3221220436 134627197 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14796 13950 1111 63 0 14733 0
vsize: 59184
[startup+20.001 s]
Raw data (loadavg): 0.95 0.98 0.91 2/55 27806
Raw data (stat): 27806 (bsolo_lpr) R 27805 7876 7672 0 -1 0 14066 0 0 0 1966 29 0 0 25 0 1 0 815485724 60739584 13981 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14829 13981 1111 63 0 14766 0
vsize: 59316
[startup+30.0023 s]
Raw data (loadavg): 0.95 0.98 0.91 2/55 27806
Raw data (stat): 27806 (bsolo_lpr) R 27805 7876 7672 0 -1 0 14092 0 0 0 2966 30 0 0 25 0 1 0 815485724 60874752 14007 4294967295 134512640 134714508 3221221776 3221220432 134627203 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14862 14007 1111 63 0 14799 0
vsize: 59448
[startup+40.0019 s]
Raw data (loadavg): 0.96 0.98 0.91 2/55 27806
Raw data (stat): 27806 (bsolo_lpr) R 27805 7876 7672 0 -1 0 14122 0 0 0 3966 30 0 0 25 0 1 0 815485724 61009920 14037 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14895 14037 1111 63 0 14832 0
vsize: 59580
[startup+50.0028 s]
Raw data (loadavg): 0.97 0.98 0.91 2/55 27806
Raw data (stat): 27806 (bsolo_lpr) R 27805 7876 7672 0 -1 0 14147 0 0 0 4966 30 0 0 25 0 1 0 815485724 61145088 14062 4294967295 134512640 134714508 3221221776 3221220440 134627195 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14928 14062 1111 63 0 14865 0
vsize: 59712
[startup+60.0032 s]
Raw data (loadavg): 0.97 0.98 0.91 2/55 27806
Raw data (stat): 27806 (bsolo_lpr) R 27805 7876 7672 0 -1 0 14176 0 0 0 5966 31 0 0 25 0 1 0 815485724 61280256 14091 4294967295 134512640 134714508 3221221776 3221220428 134558476 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14961 14091 1111 63 0 14898 0
vsize: 59844
[startup+70.0037 s]
Raw data (loadavg): 0.97 0.98 0.91 2/55 27806
Raw data (stat): 27806 (bsolo_lpr) R 27805 7876 7672 0 -1 0 14906 0 0 0 6964 33 0 0 25 0 1 0 815485724 63139840 14656 4294967295 134512640 134714508 3221221776 3221218616 1074950117 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15415 14656 1111 63 0 15352 0
vsize: 61660
[startup+80.0047 s]
Raw data (loadavg): 0.98 0.98 0.91 2/55 27806
Raw data (stat): 27806 (bsolo_lpr) R 27805 7876 7672 0 -1 0 15823 0 0 0 7961 36 0 0 25 0 1 0 815485724 63029248 14690 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15388 14690 1111 63 0 15325 0
vsize: 61552
[startup+90.005 s]
Raw data (loadavg): 0.98 0.98 0.91 2/55 27806
Raw data (stat): 27806 (bsolo_lpr) R 27805 7876 7672 0 -1 0 16104 0 0 0 8960 37 0 0 25 0 1 0 815485724 64245760 14971 4294967295 134512640 134714508 3221221776 3221220384 134543700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15685 14971 1111 63 0 15622 0
vsize: 62740
[startup+100.005 s]
Raw data (loadavg): 0.98 0.98 0.91 2/55 27806
Raw data (stat): 27806 (bsolo_lpr) R 27805 7876 7672 0 -1 0 16349 0 0 0 9959 38 0 0 25 0 1 0 815485724 65191936 15216 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15916 15216 1111 63 0 15853 0
vsize: 63664
[startup+110.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27806
Raw data (stat): 27806 (bsolo_lpr) R 27805 7876 7672 0 -1 0 16423 0 0 0 10959 38 0 0 25 0 1 0 815485724 65462272 15290 4294967295 134512640 134714508 3221221776 3221220400 134696355 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15982 15290 1111 63 0 15919 0
vsize: 63928
[startup+120.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27806
Raw data (stat): 27806 (bsolo_lpr) R 27805 7876 7672 0 -1 0 16536 0 0 0 11958 39 0 0 25 0 1 0 815485724 66007040 15403 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16115 15403 1111 63 0 16052 0
vsize: 64460
[startup+130.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27806
Raw data (stat): 27806 (bsolo_lpr) R 27805 7876 7672 0 -1 0 16759 0 0 0 12957 40 0 0 25 0 1 0 815485724 66924544 15626 4294967295 134512640 134714508 3221221776 3221220528 134592393 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16339 15626 1111 63 0 16276 0
vsize: 65356
[startup+140.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27806
Raw data (stat): 27806 (bsolo_lpr) R 27805 7876 7672 0 -1 0 16934 0 0 0 13956 41 0 0 25 0 1 0 815485724 67600384 15801 4294967295 134512640 134714508 3221221776 3221220544 134592137 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16504 15801 1111 63 0 16441 0
vsize: 66016
[startup+150.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27806
Raw data (stat): 27806 (bsolo_lpr) R 27805 7876 7672 0 -1 0 17140 0 0 0 14956 42 0 0 25 0 1 0 815485724 68415488 16007 4294967295 134512640 134714508 3221221776 3221220448 134542963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16703 16007 1111 63 0 16640 0
vsize: 66812
[startup+160.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27806
Raw data (stat): 27806 (bsolo_lpr) R 27805 7876 7672 0 -1 0 17140 0 0 0 15956 42 0 0 25 0 1 0 815485724 68415488 16007 4294967295 134512640 134714508 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16703 16007 1111 63 0 16640 0
vsize: 66812
[startup+170.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27806
Raw data (stat): 27806 (bsolo_lpr) R 27805 7876 7672 0 -1 0 17236 0 0 0 16955 43 0 0 25 0 1 0 815485724 68923392 16103 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16827 16103 1111 63 0 16764 0
vsize: 67308
[startup+180.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27806
Raw data (stat): 27806 (bsolo_lpr) R 27805 7876 7672 0 -1 0 17375 0 0 0 17955 43 0 0 25 0 1 0 815485724 69423104 16242 4294967295 134512640 134714508 3221221776 3221220368 134549541 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16949 16242 1111 63 0 16886 0
vsize: 67796
[startup+190.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27806
Raw data (stat): 27806 (bsolo_lpr) R 27805 7876 7672 0 -1 0 17586 0 0 0 18954 44 0 0 25 0 1 0 815485724 70234112 16453 4294967295 134512640 134714508 3221221776 3221220512 134591997 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17147 16453 1111 63 0 17084 0
vsize: 68588
[startup+200.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27806
Raw data (stat): 27806 (bsolo_lpr) R 27805 7876 7672 0 -1 0 17785 0 0 0 19954 45 0 0 25 0 1 0 815485724 71045120 16652 4294967295 134512640 134714508 3221221776 3221220380 134536817 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17345 16652 1111 63 0 17282 0
vsize: 69380
[startup+210.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27806
Raw data (stat): 27806 (bsolo_lpr) R 27805 7876 7672 0 -1 0 17785 0 0 0 20953 46 0 0 25 0 1 0 815485724 71045120 16652 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17345 16652 1111 63 0 17282 0
vsize: 69380
[startup+220.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27806
Raw data (stat): 27806 (bsolo_lpr) R 27805 7876 7672 0 -1 0 17785 0 0 0 21953 46 0 0 25 0 1 0 815485724 71045120 16652 4294967295 134512640 134714508 3221221776 3221220264 134552650 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17345 16652 1111 63 0 17282 0
vsize: 69380
[startup+230.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27806
Raw data (stat): 27806 (bsolo_lpr) R 27805 7876 7672 0 -1 0 17785 0 0 0 22953 47 0 0 25 0 1 0 815485724 71045120 16652 4294967295 134512640 134714508 3221221776 3221220360 134542289 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17345 16652 1111 63 0 17282 0
vsize: 69380
[startup+240.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27806
Raw data (stat): 27806 (bsolo_lpr) R 27805 7876 7672 0 -1 0 17812 0 0 0 23952 47 0 0 25 0 1 0 815485724 71180288 16679 4294967295 134512640 134714508 3221221776 3221220400 134536680 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17378 16679 1111 63 0 17315 0
vsize: 69512
[startup+250.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27806
Raw data (stat): 27806 (bsolo_lpr) R 27805 7876 7672 0 -1 0 17944 0 0 0 24952 48 0 0 25 0 1 0 815485724 71712768 16811 4294967295 134512640 134714508 3221221776 3221220412 134523384 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17508 16811 1111 63 0 17445 0
vsize: 70032
[startup+260.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27806
Raw data (stat): 27806 (bsolo_lpr) R 27805 7876 7672 0 -1 0 18037 0 0 0 25951 49 0 0 25 0 1 0 815485724 72118272 16904 4294967295 134512640 134714508 3221221776 3221220480 134528533 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17607 16904 1111 63 0 17544 0
vsize: 70428
[startup+270.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27806
Raw data (stat): 27806 (bsolo_lpr) R 27805 7876 7672 0 -1 0 18078 0 0 0 26951 49 0 0 25 0 1 0 815485724 72355840 16945 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17665 16945 1111 63 0 17602 0
vsize: 70660
[startup+280.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27806
Raw data (stat): 27806 (bsolo_lpr) R 27805 7876 7672 0 -1 0 18277 0 0 0 27950 49 0 0 25 0 1 0 815485724 73134080 17144 4294967295 134512640 134714508 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17855 17144 1111 63 0 17792 0
vsize: 71420
[startup+290.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27806
Raw data (stat): 27806 (bsolo_lpr) R 27805 7876 7672 0 -1 0 18358 0 0 0 28950 50 0 0 25 0 1 0 815485724 73404416 17225 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17921 17225 1111 63 0 17858 0
vsize: 71684
[startup+300.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27806
Raw data (stat): 27806 (bsolo_lpr) R 27805 7876 7672 0 -1 0 18358 0 0 0 29950 50 0 0 25 0 1 0 815485724 73404416 17225 4294967295 134512640 134714508 3221221776 3221220428 134543616 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17921 17225 1111 63 0 17858 0
vsize: 71684
[startup+310.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27806
Raw data (stat): 27806 (bsolo_lpr) R 27805 7876 7672 0 -1 0 18405 0 0 0 30949 51 0 0 25 0 1 0 815485724 73674752 17272 4294967295 134512640 134714508 3221221776 3221220336 134696552 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17987 17272 1111 63 0 17924 0
vsize: 71948
[startup+320.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27806
Raw data (stat): 27806 (bsolo_lpr) R 27805 7876 7672 0 -1 0 18534 0 0 0 31949 52 0 0 25 0 1 0 815485724 74215424 17401 4294967295 134512640 134714508 3221221776 3221220480 134528410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18119 17401 1111 63 0 18056 0
vsize: 72476
[startup+330.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27806
Raw data (stat): 27806 (bsolo_lpr) R 27805 7876 7672 0 -1 0 18605 0 0 0 32948 52 0 0 25 0 1 0 815485724 74473472 17472 4294967295 134512640 134714508 3221221776 3221220416 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18182 17472 1111 63 0 18119 0
vsize: 72728
[startup+340.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27806
Raw data (stat): 27806 (bsolo_lpr) R 27805 7876 7672 0 -1 0 18726 0 0 0 33948 53 0 0 25 0 1 0 815485724 75014144 17593 4294967295 134512640 134714508 3221221776 3221220384 134543759 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18314 17593 1111 63 0 18251 0
vsize: 73256
[startup+350.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27806
Raw data (stat): 27806 (bsolo_lpr) R 27805 7876 7672 0 -1 0 18832 0 0 0 34947 54 0 0 25 0 1 0 815485724 75419648 17699 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18413 17699 1111 63 0 18350 0
vsize: 73652
[startup+360.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27806
Raw data (stat): 27806 (bsolo_lpr) R 27805 7876 7672 0 -1 0 18832 0 0 0 35947 55 0 0 25 0 1 0 815485724 75419648 17699 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18413 17699 1111 63 0 18350 0
vsize: 73652
[startup+370.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27806
Raw data (stat): 27806 (bsolo_lpr) R 27805 7876 7672 0 -1 0 18922 0 0 0 36946 55 0 0 25 0 1 0 815485724 75825152 17789 4294967295 134512640 134714508 3221221776 3221220560 134529291 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18512 17789 1111 63 0 18449 0
vsize: 74048
[startup+380.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27806
Raw data (stat): 27806 (bsolo_lpr) R 27805 7876 7672 0 -1 0 18925 0 0 0 37946 56 0 0 25 0 1 0 815485724 75825152 17792 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18512 17792 1111 63 0 18449 0
vsize: 74048
[startup+390.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27806
Raw data (stat): 27806 (bsolo_lpr) R 27805 7876 7672 0 -1 0 19145 0 0 0 38945 57 0 0 25 0 1 0 815485724 76640256 18012 4294967295 134512640 134714508 3221221776 3221220368 134543707 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18711 18012 1111 63 0 18648 0
vsize: 74844
[startup+400.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27806
Raw data (stat): 27806 (bsolo_lpr) R 27805 7876 7672 0 -1 0 19145 0 0 0 39945 57 0 0 25 0 1 0 815485724 76640256 18012 4294967295 134512640 134714508 3221221776 3221220164 1077379572 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18711 18012 1111 63 0 18648 0
vsize: 74844
[startup+410.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27806
Raw data (stat): 27806 (bsolo_lpr) R 27805 7876 7672 0 -1 0 19191 0 0 0 40944 58 0 0 25 0 1 0 815485724 76910592 18058 4294967295 134512640 134714508 3221221776 3221220384 134549467 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18777 18058 1111 63 0 18714 0
vsize: 75108
[startup+420.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27806
Raw data (stat): 27806 (bsolo_lpr) R 27805 7876 7672 0 -1 0 19256 0 0 0 41944 59 0 0 25 0 1 0 815485724 77176832 18123 4294967295 134512640 134714508 3221221776 3221220384 134549334 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18842 18123 1111 63 0 18779 0
vsize: 75368
[startup+430.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27806
Raw data (stat): 27806 (bsolo_lpr) R 27805 7876 7672 0 -1 0 19304 0 0 0 42944 59 0 0 25 0 1 0 815485724 77312000 18171 4294967295 134512640 134714508 3221221776 3221220504 134532457 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18875 18171 1111 63 0 18812 0
vsize: 75500
[startup+440.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27806
Raw data (stat): 27806 (bsolo_lpr) R 27805 7876 7672 0 -1 0 19357 0 0 0 43943 60 0 0 25 0 1 0 815485724 77582336 18224 4294967295 134512640 134714508 3221221776 3221220520 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18941 18224 1111 63 0 18878 0
vsize: 75764
[startup+450.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27806
Raw data (stat): 27806 (bsolo_lpr) R 27805 7876 7672 0 -1 0 19478 0 0 0 44943 60 0 0 25 0 1 0 815485724 77987840 18345 4294967295 134512640 134714508 3221221776 3221220408 134543665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19040 18345 1111 63 0 18977 0
vsize: 76160
[startup+460.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27806
Raw data (stat): 27806 (bsolo_lpr) R 27805 7876 7672 0 -1 0 19479 0 0 0 45943 61 0 0 25 0 1 0 815485724 77987840 18346 4294967295 134512640 134714508 3221221776 3221220688 134588446 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19040 18346 1111 63 0 18977 0
vsize: 76160
[startup+470.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27806
Raw data (stat): 27806 (bsolo_lpr) R 27805 7876 7672 0 -1 0 19483 0 0 0 46943 61 0 0 25 0 1 0 815485724 78123008 18350 4294967295 134512640 134714508 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19073 18350 1111 63 0 19010 0
vsize: 76292
[startup+480.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27806
Raw data (stat): 27806 (bsolo_lpr) R 27805 7876 7672 0 -1 0 19703 0 0 0 47942 61 0 0 25 0 1 0 815485724 78934016 18570 4294967295 134512640 134714508 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19271 18570 1111 63 0 19208 0
vsize: 77084
[startup+490.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27806
Raw data (stat): 27806 (bsolo_lpr) R 27805 7876 7672 0 -1 0 19703 0 0 0 48942 62 0 0 25 0 1 0 815485724 78934016 18570 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19271 18570 1111 63 0 19208 0
vsize: 77084
[startup+500.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27806
Raw data (stat): 27806 (bsolo_lpr) R 27805 7876 7672 0 -1 0 19703 0 0 0 49942 62 0 0 25 0 1 0 815485724 78934016 18570 4294967295 134512640 134714508 3221221776 3221220404 134543092 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19271 18570 1111 63 0 19208 0
vsize: 77084
[startup+510.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27806
Raw data (stat): 27806 (bsolo_lpr) R 27805 7876 7672 0 -1 0 19703 0 0 0 50942 62 0 0 25 0 1 0 815485724 78934016 18570 4294967295 134512640 134714508 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19271 18570 1111 63 0 19208 0
vsize: 77084
[startup+520.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27806
Raw data (stat): 27806 (bsolo_lpr) R 27805 7876 7672 0 -1 0 19970 0 0 0 51941 63 0 0 25 0 1 0 815485724 80015360 18837 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19535 18837 1111 63 0 19472 0
vsize: 78140
[startup+530.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27806
Raw data (stat): 27806 (bsolo_lpr) R 27805 7876 7672 0 -1 0 19970 0 0 0 52941 64 0 0 25 0 1 0 815485724 80015360 18837 4294967295 134512640 134714508 3221221776 3221220384 134549305 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19535 18837 1111 63 0 19472 0
vsize: 78140
[startup+540.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27806
Raw data (stat): 27806 (bsolo_lpr) R 27805 7876 7672 0 -1 0 19974 0 0 0 53941 64 0 0 25 0 1 0 815485724 80015360 18841 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19535 18841 1111 63 0 19472 0
vsize: 78140
[startup+550.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27806
Raw data (stat): 27806 (bsolo_lpr) R 27805 7876 7672 0 -1 0 20032 0 0 0 54940 65 0 0 25 0 1 0 815485724 80269312 18899 4294967295 134512640 134714508 3221221776 3221220480 134528650 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19597 18899 1111 63 0 19534 0
vsize: 78388
[startup+560.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27806
Raw data (stat): 27806 (bsolo_lpr) R 27805 7876 7672 0 -1 0 20032 0 0 0 55940 65 0 0 25 0 1 0 815485724 80269312 18899 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19597 18899 1111 63 0 19534 0
vsize: 78388
[startup+570.022 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27806
Raw data (stat): 27806 (bsolo_lpr) R 27805 7876 7672 0 -1 0 20032 0 0 0 56940 66 0 0 25 0 1 0 815485724 80269312 18899 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19597 18899 1111 63 0 19534 0
vsize: 78388
[startup+580.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27806
Raw data (stat): 27806 (bsolo_lpr) R 27805 7876 7672 0 -1 0 21762 0 0 0 57935 70 0 0 25 0 1 0 815485724 80830464 19009 4294967295 134512640 134714508 3221221776 3221220528 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19734 19009 1111 63 0 19671 0
vsize: 78936
[startup+590.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27806
Raw data (stat): 27806 (bsolo_lpr) R 27805 7876 7672 0 -1 0 23858 0 0 0 58930 75 0 0 25 0 1 0 815485724 81207296 19043 4294967295 134512640 134714508 3221221776 3221217984 1074815259 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19826 19043 1111 63 0 19763 0
vsize: 79304
[startup+600.024 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27806
Raw data (stat): 27806 (bsolo_lpr) R 27805 7876 7672 0 -1 0 25411 0 0 0 59926 80 0 0 25 0 1 0 815485724 80920576 19036 4294967295 134512640 134714508 3221221776 3221220528 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19756 19036 1111 63 0 19693 0
vsize: 79024
[startup+610.026 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27806
Raw data (stat): 27806 (bsolo_lpr) R 27805 7876 7672 0 -1 0 26790 0 0 0 60922 84 0 0 25 0 1 0 815485724 81043456 19058 4294967295 134512640 134714508 3221221776 3221217904 1074882515 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19786 19058 1111 63 0 19723 0
vsize: 79144
[startup+620.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27806
Raw data (stat): 27806 (bsolo_lpr) R 27805 7876 7672 0 -1 0 27777 0 0 0 61920 86 0 0 25 0 1 0 815485724 81260544 19093 4294967295 134512640 134714508 3221221776 3221217652 1074786537 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19839 19093 1111 63 0 19776 0
vsize: 79356
[startup+630.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27806
Raw data (stat): 27806 (bsolo_lpr) R 27805 7876 7672 0 -1 0 29513 0 0 0 62916 91 0 0 25 0 1 0 815485724 80928768 19066 4294967295 134512640 134714508 3221221776 3221219564 1077411564 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19758 19066 1111 63 0 19695 0
vsize: 79032
[startup+640.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27806
Raw data (stat): 27806 (bsolo_lpr) R 27805 7876 7672 0 -1 0 30457 0 0 0 63913 93 0 0 25 0 1 0 815485724 80928768 19066 4294967295 134512640 134714508 3221221776 3221220192 1074116804 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19758 19066 1111 63 0 19695 0
vsize: 79032
[startup+650.028 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27806
Raw data (stat): 27806 (bsolo_lpr) R 27805 7876 7672 0 -1 0 31678 0 0 0 64910 97 0 0 25 0 1 0 815485724 81367040 19108 4294967295 134512640 134714508 3221221776 3221218016 1075115758 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19865 19108 1111 63 0 19802 0
vsize: 79460
[startup+660.028 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27806
Raw data (stat): 27806 (bsolo_lpr) R 27805 7876 7672 0 -1 0 33464 0 0 0 65905 102 0 0 25 0 1 0 815485724 81063936 19099 4294967295 134512640 134714508 3221221776 3221220528 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19791 19099 1111 63 0 19728 0
vsize: 79164
[startup+670.028 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27806
Raw data (stat): 27806 (bsolo_lpr) R 27805 7876 7672 0 -1 0 35005 0 0 0 66900 107 0 0 25 0 1 0 815485724 81649664 19162 4294967295 134512640 134714508 3221221776 3221217936 1074794565 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19934 19162 1111 63 0 19871 0
vsize: 79736
[startup+680.029 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27806
Raw data (stat): 27806 (bsolo_lpr) R 27805 7876 7672 0 -1 0 36907 0 0 0 67895 113 0 0 25 0 1 0 815485724 81768448 19203 4294967295 134512640 134714508 3221221776 3221217612 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19963 19203 1111 63 0 19900 0
vsize: 79852
[startup+690.029 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27806
Raw data (stat): 27806 (bsolo_lpr) R 27805 7876 7672 0 -1 0 38742 0 0 0 68892 116 0 0 25 0 1 0 815485724 81694720 19190 4294967295 134512640 134714508 3221221776 3221220080 1074153786 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19945 19190 1111 63 0 19882 0
vsize: 79780
[startup+700.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27806
Raw data (stat): 27806 (bsolo_lpr) R 27805 7876 7672 0 -1 0 40597 0 0 0 69886 121 0 0 25 0 1 0 815485724 81375232 19175 4294967295 134512640 134714508 3221221776 3221219776 1074916856 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19867 19175 1111 63 0 19804 0
vsize: 79468
[startup+710.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27806
Raw data (stat): 27806 (bsolo_lpr) R 27805 7876 7672 0 -1 0 42292 0 0 0 70882 126 0 0 25 0 1 0 815485724 81477632 19200 4294967295 134512640 134714508 3221221776 3221219776 1074916848 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19892 19200 1111 63 0 19829 0
vsize: 79568
[startup+720.031 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27806
Raw data (stat): 27806 (bsolo_lpr) R 27805 7876 7672 0 -1 0 42359 0 0 0 71882 126 0 0 25 0 1 0 815485724 81477632 19200 4294967295 134512640 134714508 3221221776 3221217920 1074969383 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19892 19200 1111 63 0 19829 0
vsize: 79568
[startup+730.032 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27806
Raw data (stat): 27806 (bsolo_lpr) R 27805 7876 7672 0 -1 0 42359 0 0 0 72882 126 0 0 25 0 1 0 815485724 81477632 19200 4294967295 134512640 134714508 3221221776 3221218004 1075114984 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19892 19200 1111 63 0 19829 0
vsize: 79568
[startup+740.032 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27806
Raw data (stat): 27806 (bsolo_lpr) R 27805 7876 7672 0 -1 0 42396 0 0 0 73882 126 0 0 25 0 1 0 815485724 81477632 19200 4294967295 134512640 134714508 3221221776 3221220336 134549470 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19892 19200 1111 63 0 19829 0
vsize: 79568
[startup+750.033 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27806
Raw data (stat): 27806 (bsolo_lpr) R 27805 7876 7672 0 -1 0 42627 0 0 0 74882 127 0 0 25 0 1 0 815485724 81649664 19208 4294967295 134512640 134714508 3221221776 3221217984 1074815265 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19934 19208 1111 63 0 19871 0
vsize: 79736
[startup+760.033 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27806
Raw data (stat): 27806 (bsolo_lpr) R 27805 7876 7672 0 -1 0 42781 0 0 0 75881 128 0 0 25 0 1 0 815485724 81477632 19200 4294967295 134512640 134714508 3221221776 3221217740 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19892 19200 1111 63 0 19829 0
vsize: 79568
[startup+770.034 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27806
Raw data (stat): 27806 (bsolo_lpr) R 27805 7876 7672 0 -1 0 42794 0 0 0 76881 128 0 0 25 0 1 0 815485724 81477632 19200 4294967295 134512640 134714508 3221221776 3221217652 1074786547 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19892 19200 1111 63 0 19829 0
vsize: 79568
[startup+780.034 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27806
Raw data (stat): 27806 (bsolo_lpr) R 27805 7876 7672 0 -1 0 42899 0 0 0 77881 129 0 0 25 0 1 0 815485724 81477632 19200 4294967295 134512640 134714508 3221221776 3221219984 1074153800 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19892 19200 1111 63 0 19829 0
vsize: 79568
[startup+790.034 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27806
Raw data (stat): 27806 (bsolo_lpr) R 27805 7876 7672 0 -1 0 42958 0 0 0 78880 129 0 0 25 0 1 0 815485724 81477632 19200 4294967295 134512640 134714508 3221221776 3221217660 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19892 19200 1111 63 0 19829 0
vsize: 79568
[startup+800.033 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27806
Raw data (stat): 27806 (bsolo_lpr) R 27805 7876 7672 0 -1 0 43183 0 0 0 79880 129 0 0 25 0 1 0 815485724 81477632 19200 4294967295 134512640 134714508 3221221776 3221220112 1074153786 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19892 19200 1111 63 0 19829 0
vsize: 79568
[startup+810.034 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27806
Raw data (stat): 27806 (bsolo_lpr) R 27805 7876 7672 0 -1 0 43319 0 0 0 80880 130 0 0 25 0 1 0 815485724 81649664 19212 4294967295 134512640 134714508 3221221776 3221218368 1074885338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19934 19212 1111 63 0 19871 0
vsize: 79736
[startup+820.034 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27806
Raw data (stat): 27806 (bsolo_lpr) R 27805 7876 7672 0 -1 0 43577 0 0 0 81880 130 0 0 25 0 1 0 815485724 81649664 19209 4294967295 134512640 134714508 3221221776 3221218048 1074961120 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19934 19209 1111 63 0 19871 0
vsize: 79736
[startup+830.034 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27806
Raw data (stat): 27806 (bsolo_lpr) R 27805 7876 7672 0 -1 0 43946 0 0 0 82879 132 0 0 25 0 1 0 815485724 81477632 19200 4294967295 134512640 134714508 3221221776 3221219952 1074153812 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19892 19200 1111 63 0 19829 0
vsize: 79568
[startup+840.035 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27806
Raw data (stat): 27806 (bsolo_lpr) R 27805 7876 7672 0 -1 0 44219 0 0 0 83877 133 0 0 25 0 1 0 815485724 81649664 19210 4294967295 134512640 134714508 3221221776 3221217768 1075964720 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19934 19210 1111 63 0 19871 0
vsize: 79736
[startup+850.035 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27806
Raw data (stat): 27806 (bsolo_lpr) R 27805 7876 7672 0 -1 0 44533 0 0 0 84877 134 0 0 25 0 1 0 815485724 81641472 19209 4294967295 134512640 134714508 3221221776 3221218648 1074950096 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19932 19209 1111 63 0 19869 0
vsize: 79728
[startup+860.035 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27806
Raw data (stat): 27806 (bsolo_lpr) R 27805 7876 7672 0 -1 0 44927 0 0 0 85876 135 0 0 25 0 1 0 815485724 81477632 19200 4294967295 134512640 134714508 3221221776 3221220104 1077799185 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19892 19200 1111 63 0 19829 0
vsize: 79568
[startup+870.036 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27806
Raw data (stat): 27806 (bsolo_lpr) R 27805 7876 7672 0 -1 0 45420 0 0 0 86874 137 0 0 25 0 1 0 815485724 81477632 19200 4294967295 134512640 134714508 3221221776 3221219008 1074140044 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19892 19200 1111 63 0 19829 0
vsize: 79568
[startup+880.037 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27806
Raw data (stat): 27806 (bsolo_lpr) R 27805 7876 7672 0 -1 0 45928 0 0 0 87873 139 0 0 25 0 1 0 815485724 81477632 19200 4294967295 134512640 134714508 3221221776 3221219720 1077378259 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19892 19200 1111 63 0 19829 0
vsize: 79568
[startup+890.037 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27806
Raw data (stat): 27806 (bsolo_lpr) R 27805 7876 7672 0 -1 0 46430 0 0 0 88871 140 0 0 25 0 1 0 815485724 81649664 19211 4294967295 134512640 134714508 3221221776 3221218004 1075115046 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19934 19211 1111 63 0 19871 0
vsize: 79736
[startup+900.038 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27806
Raw data (stat): 27806 (bsolo_lpr) R 27805 7876 7672 0 -1 0 46901 0 0 0 89870 142 0 0 25 0 1 0 815485724 81477632 19200 4294967295 134512640 134714508 3221221776 3221219548 1077411564 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19892 19200 1111 63 0 19829 0
vsize: 79568
[startup+910.038 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27806
Raw data (stat): 27806 (bsolo_lpr) R 27805 7876 7672 0 -1 0 47491 0 0 0 90868 144 0 0 25 0 1 0 815485724 81649664 19212 4294967295 134512640 134714508 3221221776 3221217952 1074882647 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19934 19212 1111 63 0 19871 0
vsize: 79736
[startup+920.039 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27806
Raw data (stat): 27806 (bsolo_lpr) R 27805 7876 7672 0 -1 0 47981 0 0 0 91866 146 0 0 25 0 1 0 815485724 81641472 19212 4294967295 134512640 134714508 3221221776 3221217696 1074872886 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19932 19212 1111 63 0 19869 0
vsize: 79728
[startup+930.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27806
Raw data (stat): 27806 (bsolo_lpr) R 27805 7876 7672 0 -1 0 48807 0 0 0 92864 148 0 0 25 0 1 0 815485724 81956864 19236 4294967295 134512640 134714508 3221221776 3221217820 1074873490 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20009 19236 1111 63 0 19946 0
vsize: 80036
[startup+940.039 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27806
Raw data (stat): 27806 (bsolo_lpr) R 27805 7876 7672 0 -1 0 49446 0 0 0 93862 149 0 0 25 0 1 0 815485724 81477632 19200 4294967295 134512640 134714508 3221221776 3221217840 1074881396 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19892 19200 1111 63 0 19829 0
vsize: 79568
[startup+950.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27806
Raw data (stat): 27806 (bsolo_lpr) R 27805 7876 7672 0 -1 0 49446 0 0 0 94862 149 0 0 25 0 1 0 815485724 81477632 19200 4294967295 134512640 134714508 3221221776 3221218004 1075115109 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19892 19200 1111 63 0 19829 0
vsize: 79568
[startup+960.041 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27806
Raw data (stat): 27806 (bsolo_lpr) R 27805 7876 7672 0 -1 0 49446 0 0 0 95862 149 0 0 25 0 1 0 815485724 81477632 19200 4294967295 134512640 134714508 3221221776 3221217932 1075564295 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19892 19200 1111 63 0 19829 0
vsize: 79568
[startup+970.041 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27806
Raw data (stat): 27806 (bsolo_lpr) R 27805 7876 7672 0 -1 0 49446 0 0 0 96863 150 0 0 25 0 1 0 815485724 81477632 19200 4294967295 134512640 134714508 3221221776 3221218000 1074960768 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19892 19200 1111 63 0 19829 0
vsize: 79568
[startup+980.041 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27806
Raw data (stat): 27806 (bsolo_lpr) R 27805 7876 7672 0 -1 0 49446 0 0 0 97862 150 0 0 25 0 1 0 815485724 81477632 19200 4294967295 134512640 134714508 3221221776 3221218016 1075115762 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19892 19200 1111 63 0 19829 0
vsize: 79568
[startup+990.041 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27806
Raw data (stat): 27806 (bsolo_lpr) R 27805 7876 7672 0 -1 0 49473 0 0 0 98862 150 0 0 25 0 1 0 815485724 81477632 19200 4294967295 134512640 134714508 3221221776 3221220660 134601046 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19892 19200 1111 63 0 19829 0
vsize: 79568
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27806
Raw data (stat): 27806 (bsolo_lpr) R 27805 7876 7672 0 -1 0 49473 0 0 0 99863 150 0 0 25 0 1 0 815485724 81477632 19200 4294967295 134512640 134714508 3221221776 3221217820 1074873543 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19892 19200 1111 63 0 19829 0
vsize: 79568
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27806
Raw data (stat): 27806 (bsolo_lpr) R 27805 7876 7672 0 -1 0 49473 0 0 0 100863 150 0 0 25 0 1 0 815485724 81477632 19200 4294967295 134512640 134714508 3221221776 3221218792 1077410205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19892 19200 1111 63 0 19829 0
vsize: 79568
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27806
Raw data (stat): 27806 (bsolo_lpr) R 27805 7876 7672 0 -1 0 49473 0 0 0 101863 150 0 0 25 0 1 0 815485724 81477632 19200 4294967295 134512640 134714508 3221221776 3221217936 1075093350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19892 19200 1111 63 0 19829 0
vsize: 79568
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27806
Raw data (stat): 27806 (bsolo_lpr) R 27805 7876 7672 0 -1 0 49473 0 0 0 102863 151 0 0 25 0 1 0 815485724 81477632 19200 4294967295 134512640 134714508 3221221776 3221217984 1074815500 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19892 19200 1111 63 0 19829 0
vsize: 79568
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27806
Raw data (stat): 27806 (bsolo_lpr) R 27805 7876 7672 0 -1 0 49473 0 0 0 103863 151 0 0 25 0 1 0 815485724 81477632 19200 4294967295 134512640 134714508 3221221776 3221217984 1075895757 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19892 19200 1111 63 0 19829 0
vsize: 79568
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27806
Raw data (stat): 27806 (bsolo_lpr) R 27805 7876 7672 0 -1 0 49473 0 0 0 104863 151 0 0 25 0 1 0 815485724 81477632 19200 4294967295 134512640 134714508 3221221776 3221217632 1074871035 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19892 19200 1111 63 0 19829 0
vsize: 79568
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27806
Raw data (stat): 27806 (bsolo_lpr) R 27805 7876 7672 0 -1 0 49473 0 0 0 105863 151 0 0 25 0 1 0 815485724 81477632 19200 4294967295 134512640 134714508 3221221776 3221219624 1077380592 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19892 19200 1111 63 0 19829 0
vsize: 79568
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27806
Raw data (stat): 27806 (bsolo_lpr) R 27805 7876 7672 0 -1 0 49473 0 0 0 106863 151 0 0 25 0 1 0 815485724 81477632 19200 4294967295 134512640 134714508 3221221776 3221217744 1074872828 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19892 19200 1111 63 0 19829 0
vsize: 79568
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27806
Raw data (stat): 27806 (bsolo_lpr) R 27805 7876 7672 0 -1 0 49473 0 0 0 107863 151 0 0 25 0 1 0 815485724 81477632 19200 4294967295 134512640 134714508 3221221776 3221217684 1074786507 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19892 19200 1111 63 0 19829 0
vsize: 79568
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27806
Raw data (stat): 27806 (bsolo_lpr) R 27805 7876 7672 0 -1 0 49473 0 0 0 108863 151 0 0 25 0 1 0 815485724 81477632 19200 4294967295 134512640 134714508 3221221776 3221219888 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19892 19200 1111 63 0 19829 0
vsize: 79568
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27806
Raw data (stat): 27806 (bsolo_lpr) R 27805 7876 7672 0 -1 0 49473 0 0 0 109863 151 0 0 25 0 1 0 815485724 81477632 19200 4294967295 134512640 134714508 3221221776 3221218048 1074961251 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19892 19200 1111 63 0 19829 0
vsize: 79568
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27806
Raw data (stat): 27806 (bsolo_lpr) R 27805 7876 7672 0 -1 0 49473 0 0 0 110863 151 0 0 25 0 1 0 815485724 81477632 19200 4294967295 134512640 134714508 3221221776 3221217660 1074788968 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19892 19200 1111 63 0 19829 0
vsize: 79568
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27806
Raw data (stat): 27806 (bsolo_lpr) R 27805 7876 7672 0 -1 0 49473 0 0 0 111863 152 0 0 25 0 1 0 815485724 81477632 19200 4294967295 134512640 134714508 3221221776 3221219784 1077380592 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19892 19200 1111 63 0 19829 0
vsize: 79568
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27806
Raw data (stat): 27806 (bsolo_lpr) R 27805 7876 7672 0 -1 0 49473 0 0 0 112863 152 0 0 25 0 1 0 815485724 81477632 19200 4294967295 134512640 134714508 3221221776 3221219560 1077380592 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19892 19200 1111 63 0 19829 0
vsize: 79568
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27806
Raw data (stat): 27806 (bsolo_lpr) R 27805 7876 7672 0 -1 0 49473 0 0 0 113863 152 0 0 25 0 1 0 815485724 81477632 19200 4294967295 134512640 134714508 3221221776 3221218160 1074972824 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19892 19200 1111 63 0 19829 0
vsize: 79568
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27806
Raw data (stat): 27806 (bsolo_lpr) R 27805 7876 7672 0 -1 0 49473 0 0 0 114864 152 0 0 25 0 1 0 815485724 81477632 19200 4294967295 134512640 134714508 3221221776 3221220528 134549305 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19892 19200 1111 63 0 19829 0
vsize: 79568
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27806
Raw data (stat): 27806 (bsolo_lpr) R 27805 7876 7672 0 -1 0 49473 0 0 0 115863 152 0 0 25 0 1 0 815485724 81477632 19200 4294967295 134512640 134714508 3221221776 3221217632 1074870843 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19892 19200 1111 63 0 19829 0
vsize: 79568
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27806
Raw data (stat): 27806 (bsolo_lpr) R 27805 7876 7672 0 -1 0 49473 0 0 0 116863 153 0 0 25 0 1 0 815485724 81477632 19200 4294967295 134512640 134714508 3221221776 3221219680 1075460000 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19892 19200 1111 63 0 19829 0
vsize: 79568
[startup+1175.63 s]
Raw data (loadavg): 0.99 0.98 0.91 1/54 27806
Raw data (stat): 27806 (bsolo_lpr) R 27805 7876 7672 0 -1 0 49473 0 0 0 116863 153 0 0 25 0 1 0 815485724 81477632 19200 4294967295 134512640 134714508 3221221776 3221219680 1075460000 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19892 19200 1111 63 0 19829 0
vsize: 0

Child status: 10
Real time (s): 1175.63
CPU time (s): 1175.75
CPU user time (s): 1174.18
CPU system time (s): 1.56576
CPU usage (%): 100.01
Max. virtual memory (Kb): 80036
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	1020
#### END VERIFIER DATA ####