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-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	924
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.71
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 28548

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc17 THE 2005-05-25 03:00:11 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=12377 boxname=wulflinc17 idbench=953 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  1ff3cc3253012886aa21be4feac6111e  /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-20-10-10teams.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-20-10-10teams.opb
IDLAUNCH: 12377
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
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.072
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:        859700 kB
Buffers:         16680 kB
Cached:         135624 kB
SwapCached:        492 kB
Active:          22564 kB
Inactive:       131868 kB
HighTotal:      131008 kB
HighFree:        19152 kB
LowTotal:       903652 kB
LowFree:        840548 kB
SwapTotal:     2097892 kB
SwapFree:      2096592 kB
Dirty:            5580 kB
Writeback:           0 kB
Mapped:           5324 kB
Slab:            14916 kB
Committed_AS:    63588 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 03:19:47 (client local time) WITH STATUS 10 IN 1175.71 SECONDS
stats: 12377 0 1175.71 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 760 constraints.
c preprocess terminated 67.362 s
c Initial Lower Bound: 904
c Lower Bound Elapsed time: 3.158
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 1000 @ 390.328
c NEW SOLUTION FOUND: 996 @ 391.63
c NEW SOLUTION FOUND: 988 @ 418.487
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.67 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.99 0.97 0.91 2/54 16847
Raw data (stat): 16847 (runsolver) R 16846 7475 7474 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 835482613 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.0003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16847
Raw data (stat): 16847 (bsolo_lpr) R 16846 7475 7474 0 -1 0 14034 0 0 0 965 32 0 0 25 0 1 0 835482613 60600320 13950 4294967295 134512640 134714508 3221224592 3221223264 134627187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14795 13950 1111 63 0 14732 0
vsize: 59180
[startup+20.0013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16847
Raw data (stat): 16847 (bsolo_lpr) R 16846 7475 7474 0 -1 0 14065 0 0 0 1965 32 0 0 25 0 1 0 835482613 60735488 13981 4294967295 134512640 134714508 3221224592 3221223264 134627250 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14828 13981 1111 63 0 14765 0
vsize: 59312
[startup+30.0019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16847
Raw data (stat): 16847 (bsolo_lpr) R 16846 7475 7474 0 -1 0 14091 0 0 0 2964 33 0 0 25 0 1 0 835482613 60870656 14007 4294967295 134512640 134714508 3221224592 3221223264 134627250 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14861 14007 1111 63 0 14798 0
vsize: 59444
[startup+40.0015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16847
Raw data (stat): 16847 (bsolo_lpr) R 16846 7475 7474 0 -1 0 14123 0 0 0 3964 33 0 0 25 0 1 0 835482613 61005824 14039 4294967295 134512640 134714508 3221224592 3221223264 134627250 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14894 14039 1111 63 0 14831 0
vsize: 59576
[startup+50.0022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16847
Raw data (stat): 16847 (bsolo_lpr) R 16846 7475 7474 0 -1 0 14150 0 0 0 4964 33 0 0 25 0 1 0 835482613 61140992 14066 4294967295 134512640 134714508 3221224592 3221223252 134627197 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14927 14066 1111 63 0 14864 0
vsize: 59708
[startup+60.0019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16847
Raw data (stat): 16847 (bsolo_lpr) R 16846 7475 7474 0 -1 0 14180 0 0 0 5964 33 0 0 25 0 1 0 835482613 61276160 14096 4294967295 134512640 134714508 3221224592 3221223264 134627187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14960 14096 1111 63 0 14897 0
vsize: 59840
[startup+70.0019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16849
Raw data (stat): 16847 (bsolo_lpr) R 16846 7475 7474 0 -1 0 15139 0 0 0 6962 35 0 0 25 0 1 0 835482613 62578688 14562 4294967295 134512640 134714508 3221224592 3221222956 134532440 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15278 14562 1111 63 0 15215 0
vsize: 61112
[startup+80.0017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16849
Raw data (stat): 16847 (bsolo_lpr) R 16846 7475 7474 0 -1 0 15887 0 0 0 7959 38 0 0 25 0 1 0 835482613 63492096 14789 4294967295 134512640 134714508 3221224592 3221223132 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15501 14789 1111 63 0 15438 0
vsize: 62004
[startup+90.0013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16849
Raw data (stat): 16847 (bsolo_lpr) R 16846 7475 7474 0 -1 0 16271 0 0 0 8958 39 0 0 25 0 1 0 835482613 65114112 15173 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15897 15173 1111 63 0 15834 0
vsize: 63588
[startup+100.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16849
Raw data (stat): 16847 (bsolo_lpr) R 16846 7475 7474 0 -1 0 16313 0 0 0 9958 40 0 0 25 0 1 0 835482613 65249280 15215 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15930 15215 1111 63 0 15867 0
vsize: 63720
[startup+110.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16849
Raw data (stat): 16847 (bsolo_lpr) R 16846 7475 7474 0 -1 0 16431 0 0 0 10958 41 0 0 25 0 1 0 835482613 65654784 15333 4294967295 134512640 134714508 3221224592 3221223320 134532457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16029 15333 1111 63 0 15966 0
vsize: 64116
[startup+120.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16849
Raw data (stat): 16847 (bsolo_lpr) R 16846 7475 7474 0 -1 0 16561 0 0 0 11958 42 0 0 25 0 1 0 835482613 66195456 15463 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16161 15463 1111 63 0 16098 0
vsize: 64644
[startup+130.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16849
Raw data (stat): 16847 (bsolo_lpr) R 16846 7475 7474 0 -1 0 16716 0 0 0 12957 43 0 0 25 0 1 0 835482613 66871296 15618 4294967295 134512640 134714508 3221224592 3221223216 1077377136 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16326 15618 1111 63 0 16263 0
vsize: 65304
[startup+140.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16849
Raw data (stat): 16847 (bsolo_lpr) R 16846 7475 7474 0 -1 0 16869 0 0 0 13957 43 0 0 25 0 1 0 835482613 67551232 15771 4294967295 134512640 134714508 3221224592 3221223312 134535762 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16492 15771 1111 63 0 16429 0
vsize: 65968
[startup+150.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16849
Raw data (stat): 16847 (bsolo_lpr) R 16846 7475 7474 0 -1 0 17107 0 0 0 14956 44 0 0 25 0 1 0 835482613 68497408 16009 4294967295 134512640 134714508 3221224592 3221223216 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16723 16009 1111 63 0 16660 0
vsize: 66892
[startup+160.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16849
Raw data (stat): 16847 (bsolo_lpr) R 16846 7475 7474 0 -1 0 17161 0 0 0 15955 45 0 0 25 0 1 0 835482613 68632576 16063 4294967295 134512640 134714508 3221224592 3221223120 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16756 16063 1111 63 0 16693 0
vsize: 67024
[startup+170.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16849
Raw data (stat): 16847 (bsolo_lpr) R 16846 7475 7474 0 -1 0 17266 0 0 0 16955 46 0 0 25 0 1 0 835482613 69173248 16168 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16888 16168 1111 63 0 16825 0
vsize: 67552
[startup+180.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16849
Raw data (stat): 16847 (bsolo_lpr) R 16846 7475 7474 0 -1 0 17353 0 0 0 17954 47 0 0 25 0 1 0 835482613 69443584 16255 4294967295 134512640 134714508 3221224592 3221223184 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16954 16255 1111 63 0 16891 0
vsize: 67816
[startup+190.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16849
Raw data (stat): 16847 (bsolo_lpr) R 16846 7475 7474 0 -1 0 17472 0 0 0 18953 48 0 0 25 0 1 0 835482613 69984256 16374 4294967295 134512640 134714508 3221224592 3221223264 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17086 16374 1111 63 0 17023 0
vsize: 68344
[startup+200.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16849
Raw data (stat): 16847 (bsolo_lpr) R 16846 7475 7474 0 -1 0 17547 0 0 0 19953 48 0 0 25 0 1 0 835482613 70254592 16449 4294967295 134512640 134714508 3221224592 3221223336 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17152 16449 1111 63 0 17089 0
vsize: 68608
[startup+210.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16849
Raw data (stat): 16847 (bsolo_lpr) R 16846 7475 7474 0 -1 0 17654 0 0 0 20953 49 0 0 25 0 1 0 835482613 70656000 16556 4294967295 134512640 134714508 3221224592 3221223200 134549305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17250 16556 1111 63 0 17187 0
vsize: 69000
[startup+220.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16849
Raw data (stat): 16847 (bsolo_lpr) R 16846 7475 7474 0 -1 0 17758 0 0 0 21952 50 0 0 25 0 1 0 835482613 71180288 16660 4294967295 134512640 134714508 3221224592 3221223328 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17378 16660 1111 63 0 17315 0
vsize: 69512
[startup+230.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16849
Raw data (stat): 16847 (bsolo_lpr) R 16846 7475 7474 0 -1 0 17759 0 0 0 22952 50 0 0 25 0 1 0 835482613 71180288 16661 4294967295 134512640 134714508 3221224592 3221223200 134549313 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17378 16661 1111 63 0 17315 0
vsize: 69512
[startup+240.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16849
Raw data (stat): 16847 (bsolo_lpr) R 16846 7475 7474 0 -1 0 17873 0 0 0 23952 50 0 0 25 0 1 0 835482613 71585792 16767 4294967295 134512640 134714508 3221224592 3221223336 134672929 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17477 16767 1111 63 0 17414 0
vsize: 69908
[startup+250.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16849
Raw data (stat): 16847 (bsolo_lpr) R 16846 7475 7474 0 -1 0 17959 0 0 0 24952 51 0 0 25 0 1 0 835482613 71999488 16853 4294967295 134512640 134714508 3221224592 3221223376 134529177 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17578 16853 1111 63 0 17515 0
vsize: 70312
[startup+260.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16849
Raw data (stat): 16847 (bsolo_lpr) R 16846 7475 7474 0 -1 0 18073 0 0 0 25951 52 0 0 25 0 1 0 835482613 72368128 16958 4294967295 134512640 134714508 3221224592 3221223200 134549296 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17668 16958 1111 63 0 17605 0
vsize: 70672
[startup+270.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16849
Raw data (stat): 16847 (bsolo_lpr) R 16846 7475 7474 0 -1 0 18223 0 0 0 26952 52 0 0 25 0 1 0 835482613 73023488 17108 4294967295 134512640 134714508 3221224592 3221223148 134539223 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17828 17108 1111 63 0 17765 0
vsize: 71312
[startup+280.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16849
Raw data (stat): 16847 (bsolo_lpr) R 16846 7475 7474 0 -1 0 18348 0 0 0 27951 53 0 0 25 0 1 0 835482613 73474048 17233 4294967295 134512640 134714508 3221224592 3221223356 134552560 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17938 17233 1111 63 0 17875 0
vsize: 71752
[startup+290.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16849
Raw data (stat): 16847 (bsolo_lpr) R 16846 7475 7474 0 -1 0 18512 0 0 0 28951 54 0 0 25 0 1 0 835482613 74153984 17397 4294967295 134512640 134714508 3221224592 3221223200 134549313 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18104 17397 1111 63 0 18041 0
vsize: 72416
[startup+300.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16849
Raw data (stat): 16847 (bsolo_lpr) R 16846 7475 7474 0 -1 0 18610 0 0 0 29950 54 0 0 25 0 1 0 835482613 74559488 17495 4294967295 134512640 134714508 3221224592 3221223316 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18203 17495 1111 63 0 18140 0
vsize: 72812
[startup+310.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16849
Raw data (stat): 16847 (bsolo_lpr) R 16846 7475 7474 0 -1 0 18815 0 0 0 30950 55 0 0 25 0 1 0 835482613 75366400 17700 4294967295 134512640 134714508 3221224592 3221223200 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18400 17700 1111 63 0 18337 0
vsize: 73600
[startup+320.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16849
Raw data (stat): 16847 (bsolo_lpr) R 16846 7475 7474 0 -1 0 18879 0 0 0 31950 56 0 0 25 0 1 0 835482613 75636736 17764 4294967295 134512640 134714508 3221224592 3221223152 134542303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18466 17764 1111 63 0 18403 0
vsize: 73864
[startup+330.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16849
Raw data (stat): 16847 (bsolo_lpr) R 16846 7475 7474 0 -1 0 18918 0 0 0 32950 56 0 0 25 0 1 0 835482613 75771904 17803 4294967295 134512640 134714508 3221224592 3221223240 134543652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18499 17803 1111 63 0 18436 0
vsize: 73996
[startup+340.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16849
Raw data (stat): 16847 (bsolo_lpr) R 16846 7475 7474 0 -1 0 19028 0 0 0 33949 57 0 0 25 0 1 0 835482613 76312576 17913 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18631 17913 1111 63 0 18568 0
vsize: 74524
[startup+350.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16851
Raw data (stat): 16847 (bsolo_lpr) R 16846 7475 7474 0 -1 0 19167 0 0 0 34949 57 0 0 25 0 1 0 835482613 76853248 18052 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18763 18052 1111 63 0 18700 0
vsize: 75052
[startup+360.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16851
Raw data (stat): 16847 (bsolo_lpr) R 16846 7475 7474 0 -1 0 19178 0 0 0 35949 57 0 0 25 0 1 0 835482613 76853248 18063 4294967295 134512640 134714508 3221224592 3221223200 134549474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18763 18063 1111 63 0 18700 0
vsize: 75052
[startup+370.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16851
Raw data (stat): 16847 (bsolo_lpr) R 16846 7475 7474 0 -1 0 19248 0 0 0 36948 58 0 0 25 0 1 0 835482613 77123584 18133 4294967295 134512640 134714508 3221224592 3221223284 134528601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18829 18133 1111 63 0 18766 0
vsize: 75316
[startup+380.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16851
Raw data (stat): 16847 (bsolo_lpr) R 16846 7475 7474 0 -1 0 19344 0 0 0 37948 59 0 0 25 0 1 0 835482613 77529088 18229 4294967295 134512640 134714508 3221224592 3221223184 134543740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18928 18229 1111 63 0 18865 0
vsize: 75712
[startup+390.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16851
Raw data (stat): 16847 (bsolo_lpr) R 16846 7475 7474 0 -1 0 19498 0 0 0 38947 60 0 0 25 0 1 0 835482613 78200832 18383 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19092 18383 1111 63 0 19029 0
vsize: 76368
[startup+400.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16851
Raw data (stat): 16847 (bsolo_lpr) R 16846 7475 7474 0 -1 0 20521 0 0 0 39943 63 0 0 25 0 1 0 835482613 78397440 18448 4294967295 134512640 134714508 3221224592 3221223344 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19140 18448 1111 63 0 19077 0
vsize: 76560
[startup+410.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16851
Raw data (stat): 16847 (bsolo_lpr) R 16846 7475 7474 0 -1 0 21668 0 0 0 40939 67 0 0 25 0 1 0 835482613 78397440 18448 4294967295 134512640 134714508 3221224592 3221222184 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19140 18448 1111 63 0 19077 0
vsize: 76560
[startup+420.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16851
Raw data (stat): 16847 (bsolo_lpr) R 16846 7475 7474 0 -1 0 23257 0 0 0 41934 72 0 0 25 0 1 0 835482613 78778368 18481 4294967295 134512640 134714508 3221224592 3221220976 1074972319 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19233 18481 1111 63 0 19170 0
vsize: 76932
[startup+430.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16851
Raw data (stat): 16847 (bsolo_lpr) R 16846 7475 7474 0 -1 0 24861 0 0 0 42930 76 0 0 25 0 1 0 835482613 78766080 18481 4294967295 134512640 134714508 3221224592 3221220864 1074961210 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19230 18481 1111 63 0 19167 0
vsize: 76920
[startup+440.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16851
Raw data (stat): 16847 (bsolo_lpr) R 16846 7475 7474 0 -1 0 26297 0 0 0 43925 81 0 0 25 0 1 0 835482613 78417920 18449 4294967295 134512640 134714508 3221224592 3221222584 1077378564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19145 18449 1111 63 0 19082 0
vsize: 76580
[startup+450.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16851
Raw data (stat): 16847 (bsolo_lpr) R 16846 7475 7474 0 -1 0 28176 0 0 0 44918 88 0 0 25 0 1 0 835482613 79147008 18559 4294967295 134512640 134714508 3221224592 3221221008 1075895984 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19323 18559 1111 63 0 19260 0
vsize: 77292
[startup+460.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16851
Raw data (stat): 16847 (bsolo_lpr) R 16846 7475 7474 0 -1 0 28799 0 0 0 45916 90 0 0 25 0 1 0 835482613 78745600 18533 4294967295 134512640 134714508 3221224592 3221222888 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19225 18533 1111 63 0 19162 0
vsize: 76900
[startup+470.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16851
Raw data (stat): 16847 (bsolo_lpr) R 16846 7475 7474 0 -1 0 29473 0 0 0 46914 93 0 0 25 0 1 0 835482613 78745600 18533 4294967295 134512640 134714508 3221224592 3221223344 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19225 18533 1111 63 0 19162 0
vsize: 76900
[startup+480.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16851
Raw data (stat): 16847 (bsolo_lpr) R 16846 7475 7474 0 -1 0 29982 0 0 0 47911 95 0 0 25 0 1 0 835482613 78934016 18542 4294967295 134512640 134714508 3221224592 3221220752 1074794695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19271 18542 1111 63 0 19208 0
vsize: 77084
[startup+490.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16851
Raw data (stat): 16847 (bsolo_lpr) R 16846 7475 7474 0 -1 0 30536 0 0 0 48910 97 0 0 25 0 1 0 835482613 78934016 18542 4294967295 134512640 134714508 3221224592 3221220692 1075964248 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19271 18542 1111 63 0 19208 0
vsize: 77084
[startup+500.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16851
Raw data (stat): 16847 (bsolo_lpr) R 16846 7475 7474 0 -1 0 31079 0 0 0 49908 99 0 0 25 0 1 0 835482613 78745600 18533 4294967295 134512640 134714508 3221224592 3221222944 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19225 18533 1111 63 0 19162 0
vsize: 76900
[startup+510.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16851
Raw data (stat): 16847 (bsolo_lpr) R 16846 7475 7474 0 -1 0 31852 0 0 0 50906 102 0 0 25 0 1 0 835482613 79171584 18568 4294967295 134512640 134714508 3221224592 3221221536 1074620057 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19329 18568 1111 63 0 19266 0
vsize: 77316
[startup+520.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16851
Raw data (stat): 16847 (bsolo_lpr) R 16846 7475 7474 0 -1 0 33191 0 0 0 51902 105 0 0 25 0 1 0 835482613 78815232 18550 4294967295 134512640 134714508 3221224592 3221223344 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19242 18550 1111 63 0 19179 0
vsize: 76968
[startup+530.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16851
Raw data (stat): 16847 (bsolo_lpr) R 16846 7475 7474 0 -1 0 34522 0 0 0 52898 110 0 0 25 0 1 0 835482613 79192064 18575 4294967295 134512640 134714508 3221224592 3221221124 1074260625 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19334 18575 1111 63 0 19271 0
vsize: 77336
[startup+540.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16851
Raw data (stat): 16847 (bsolo_lpr) R 16846 7475 7474 0 -1 0 35086 0 0 0 53896 112 0 0 25 0 1 0 835482613 78979072 18553 4294967295 134512640 134714508 3221224592 3221220680 1075084405 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19282 18553 1111 63 0 19219 0
vsize: 77128
[startup+550.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16851
Raw data (stat): 16847 (bsolo_lpr) R 16846 7475 7474 0 -1 0 35578 0 0 0 54895 113 0 0 25 0 1 0 835482613 78790656 18545 4294967295 134512640 134714508 3221224592 3221222944 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19236 18545 1111 63 0 19173 0
vsize: 76944
[startup+560.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16851
Raw data (stat): 16847 (bsolo_lpr) R 16846 7475 7474 0 -1 0 36103 0 0 0 55893 115 0 0 25 0 1 0 835482613 78946304 18555 4294967295 134512640 134714508 3221224592 3221221136 1074886093 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19274 18555 1111 63 0 19211 0
vsize: 77096
[startup+570.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16851
Raw data (stat): 16847 (bsolo_lpr) R 16846 7475 7474 0 -1 0 36675 0 0 0 56891 118 0 0 25 0 1 0 835482613 78790656 18545 4294967295 134512640 134714508 3221224592 3221222976 1074153753 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19236 18545 1111 63 0 19173 0
vsize: 76944
[startup+580.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16851
Raw data (stat): 16847 (bsolo_lpr) R 16846 7475 7474 0 -1 0 37251 0 0 0 57888 120 0 0 25 0 1 0 835482613 78790656 18545 4294967295 134512640 134714508 3221224592 3221222600 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19236 18545 1111 63 0 19173 0
vsize: 76944
[startup+590.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16851
Raw data (stat): 16847 (bsolo_lpr) R 16846 7475 7474 0 -1 0 37788 0 0 0 58888 121 0 0 25 0 1 0 835482613 78979072 18553 4294967295 134512640 134714508 3221224592 3221221120 1074885000 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19282 18553 1111 63 0 19219 0
vsize: 77128
[startup+600.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16851
Raw data (stat): 16847 (bsolo_lpr) R 16846 7475 7474 0 -1 0 38290 0 0 0 59886 123 0 0 25 0 1 0 835482613 78790656 18545 4294967295 134512640 134714508 3221224592 3221223220 1077374508 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19236 18545 1111 63 0 19173 0
vsize: 76944
[startup+610.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16851
Raw data (stat): 16847 (bsolo_lpr) R 16846 7475 7474 0 -1 0 38815 0 0 0 60884 125 0 0 25 0 1 0 835482613 78979072 18553 4294967295 134512640 134714508 3221224592 3221221184 1074884314 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19282 18553 1111 63 0 19219 0
vsize: 77128
[startup+620.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16851
Raw data (stat): 16847 (bsolo_lpr) R 16846 7475 7474 0 -1 0 39356 0 0 0 61882 127 0 0 25 0 1 0 835482613 78790656 18545 4294967295 134512640 134714508 3221224592 3221222880 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19236 18545 1111 63 0 19173 0
vsize: 76944
[startup+630.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16851
Raw data (stat): 16847 (bsolo_lpr) R 16846 7475 7474 0 -1 0 39874 0 0 0 62881 128 0 0 25 0 1 0 835482613 78979072 18555 4294967295 134512640 134714508 3221224592 3221220560 1074872793 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19282 18555 1111 63 0 19219 0
vsize: 77128
[startup+640.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16851
Raw data (stat): 16847 (bsolo_lpr) R 16846 7475 7474 0 -1 0 40283 0 0 0 63880 129 0 0 25 0 1 0 835482613 78979072 18550 4294967295 134512640 134714508 3221224592 3221220820 1075114984 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19282 18550 1111 63 0 19219 0
vsize: 77128
[startup+650.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16851
Raw data (stat): 16847 (bsolo_lpr) R 16846 7475 7474 0 -1 0 40810 0 0 0 64879 131 0 0 25 0 1 0 835482613 78790656 18545 4294967295 134512640 134714508 3221224592 3221222888 1074153841 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19236 18545 1111 63 0 19173 0
vsize: 76944
[startup+660.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16851
Raw data (stat): 16847 (bsolo_lpr) R 16846 7475 7474 0 -1 0 41249 0 0 0 65878 132 0 0 25 0 1 0 835482613 78979072 18554 4294967295 134512640 134714508 3221224592 3221220996 1075119317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19282 18554 1111 63 0 19219 0
vsize: 77128
[startup+670.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16851
Raw data (stat): 16847 (bsolo_lpr) R 16846 7475 7474 0 -1 0 41785 0 0 0 66876 134 0 0 25 0 1 0 835482613 78946304 18557 4294967295 134512640 134714508 3221224592 3221220748 1075564177 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19274 18557 1111 63 0 19211 0
vsize: 77096
[startup+680.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16851
Raw data (stat): 16847 (bsolo_lpr) R 16846 7475 7474 0 -1 0 42426 0 0 0 67874 136 0 0 25 0 1 0 835482613 78979072 18549 4294967295 134512640 134714508 3221224592 3221221656 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19282 18549 1111 63 0 19219 0
vsize: 77128
[startup+690.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16851
Raw data (stat): 16847 (bsolo_lpr) R 16846 7475 7474 0 -1 0 42994 0 0 0 68872 138 0 0 25 0 1 0 835482613 78790656 18545 4294967295 134512640 134714508 3221224592 3221222848 1074153815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19236 18545 1111 63 0 19173 0
vsize: 76944
[startup+700.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16851
Raw data (stat): 16847 (bsolo_lpr) R 16846 7475 7474 0 -1 0 43527 0 0 0 69871 140 0 0 25 0 1 0 835482613 78790656 18545 4294967295 134512640 134714508 3221224592 3221222808 1074138155 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19236 18545 1111 63 0 19173 0
vsize: 76944
[startup+710.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16851
Raw data (stat): 16847 (bsolo_lpr) R 16846 7475 7474 0 -1 0 44049 0 0 0 70870 141 0 0 25 0 1 0 835482613 78979072 18554 4294967295 134512640 134714508 3221224592 3221221520 1075960483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19282 18554 1111 63 0 19219 0
vsize: 77128
[startup+720.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16851
Raw data (stat): 16847 (bsolo_lpr) R 16846 7475 7474 0 -1 0 44683 0 0 0 71868 143 0 0 25 0 1 0 835482613 78979072 18552 4294967295 134512640 134714508 3221224592 3221220752 1075091320 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19282 18552 1111 63 0 19219 0
vsize: 77128
[startup+730.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16851
Raw data (stat): 16847 (bsolo_lpr) R 16846 7475 7474 0 -1 0 45206 0 0 0 72867 145 0 0 25 0 1 0 835482613 78979072 18555 4294967295 134512640 134714508 3221224592 3221221536 1074620110 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19282 18555 1111 63 0 19219 0
vsize: 77128
[startup+740.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16851
Raw data (stat): 16847 (bsolo_lpr) R 16846 7475 7474 0 -1 0 45717 0 0 0 73865 146 0 0 25 0 1 0 835482613 78979072 18553 4294967295 134512640 134714508 3221224592 3221220528 1075965232 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19282 18553 1111 63 0 19219 0
vsize: 77128
[startup+750.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16851
Raw data (stat): 16847 (bsolo_lpr) R 16846 7475 7474 0 -1 0 46219 0 0 0 74864 147 0 0 25 0 1 0 835482613 78979072 18555 4294967295 134512640 134714508 3221224592 3221220832 1075115712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19282 18555 1111 63 0 19219 0
vsize: 77128
[startup+760.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16851
Raw data (stat): 16847 (bsolo_lpr) R 16846 7475 7474 0 -1 0 46775 0 0 0 75863 149 0 0 25 0 1 0 835482613 78790656 18545 4294967295 134512640 134714508 3221224592 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19236 18545 1111 63 0 19173 0
vsize: 76944
[startup+770.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16851
Raw data (stat): 16847 (bsolo_lpr) R 16846 7475 7474 0 -1 0 47322 0 0 0 76861 151 0 0 25 0 1 0 835482613 78979072 18553 4294967295 134512640 134714508 3221224592 3221220904 1074960597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19282 18553 1111 63 0 19219 0
vsize: 77128
[startup+780.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16851
Raw data (stat): 16847 (bsolo_lpr) R 16846 7475 7474 0 -1 0 47739 0 0 0 77860 153 0 0 25 0 1 0 835482613 78979072 18555 4294967295 134512640 134714508 3221224592 3221220524 1074788156 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19282 18555 1111 63 0 19219 0
vsize: 77128
[startup+790.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16851
Raw data (stat): 16847 (bsolo_lpr) R 16846 7475 7474 0 -1 0 48084 0 0 0 78859 154 0 0 25 0 1 0 835482613 78790656 18545 4294967295 134512640 134714508 3221224592 3221223132 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19236 18545 1111 63 0 19173 0
vsize: 76944
[startup+800.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16851
Raw data (stat): 16847 (bsolo_lpr) R 16846 7475 7474 0 -1 0 48409 0 0 0 79858 155 0 0 25 0 1 0 835482613 78790656 18545 4294967295 134512640 134714508 3221224592 3221222592 1074918607 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19236 18545 1111 63 0 19173 0
vsize: 76944
[startup+810.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16851
Raw data (stat): 16847 (bsolo_lpr) R 16846 7475 7474 0 -1 0 48750 0 0 0 80857 156 0 0 25 0 1 0 835482613 78979072 18554 4294967295 134512640 134714508 3221224592 3221220736 1074968822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19282 18554 1111 63 0 19219 0
vsize: 77128
[startup+820.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16851
Raw data (stat): 16847 (bsolo_lpr) R 16846 7475 7474 0 -1 0 49095 0 0 0 81856 157 0 0 25 0 1 0 835482613 78946304 18555 4294967295 134512640 134714508 3221224592 3221220644 1075964221 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19274 18555 1111 63 0 19211 0
vsize: 77096
[startup+830.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16851
Raw data (stat): 16847 (bsolo_lpr) R 16846 7475 7474 0 -1 0 49418 0 0 0 82855 159 0 0 25 0 1 0 835482613 78790656 18545 4294967295 134512640 134714508 3221224592 3221222728 1074138144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19236 18545 1111 63 0 19173 0
vsize: 76944
[startup+840.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16851
Raw data (stat): 16847 (bsolo_lpr) R 16846 7475 7474 0 -1 0 49603 0 0 0 83855 159 0 0 25 0 1 0 835482613 78790656 18545 4294967295 134512640 134714508 3221224592 3221222928 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19236 18545 1111 63 0 19173 0
vsize: 76944
[startup+850.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16851
Raw data (stat): 16847 (bsolo_lpr) R 16846 7475 7474 0 -1 0 49936 0 0 0 84854 160 0 0 25 0 1 0 835482613 78790656 18545 4294967295 134512640 134714508 3221224592 3221222556 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19236 18545 1111 63 0 19173 0
vsize: 76944
[startup+860.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16851
Raw data (stat): 16847 (bsolo_lpr) R 16846 7475 7474 0 -1 0 50057 0 0 0 85853 161 0 0 25 0 1 0 835482613 78979072 18550 4294967295 134512640 134714508 3221224592 3221221512 1074787201 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19282 18550 1111 63 0 19219 0
vsize: 77128
[startup+870.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16851
Raw data (stat): 16847 (bsolo_lpr) R 16846 7475 7474 0 -1 0 50168 0 0 0 86853 161 0 0 25 0 1 0 835482613 78979072 18553 4294967295 134512640 134714508 3221224592 3221221664 1074867283 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19282 18553 1111 63 0 19219 0
vsize: 77128
[startup+880.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16851
Raw data (stat): 16847 (bsolo_lpr) R 16846 7475 7474 0 -1 0 50384 0 0 0 87852 162 0 0 25 0 1 0 835482613 78979072 18555 4294967295 134512640 134714508 3221224592 3221221016 1075111007 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19282 18555 1111 63 0 19219 0
vsize: 77128
[startup+890.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16851
Raw data (stat): 16847 (bsolo_lpr) R 16846 7475 7474 0 -1 0 50805 0 0 0 88850 164 0 0 25 0 1 0 835482613 78790656 18545 4294967295 134512640 134714508 3221224592 3221222392 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19236 18545 1111 63 0 19173 0
vsize: 76944
[startup+900.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16851
Raw data (stat): 16847 (bsolo_lpr) R 16846 7475 7474 0 -1 0 51376 0 0 0 89849 165 0 0 25 0 1 0 835482613 78790656 18545 4294967295 134512640 134714508 3221224592 3221222496 1075460134 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19236 18545 1111 63 0 19173 0
vsize: 76944
[startup+910.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16851
Raw data (stat): 16847 (bsolo_lpr) R 16846 7475 7474 0 -1 0 51949 0 0 0 90847 167 0 0 25 0 1 0 835482613 78790656 18545 4294967295 134512640 134714508 3221224592 3221222920 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19236 18545 1111 63 0 19173 0
vsize: 76944
[startup+920.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16851
Raw data (stat): 16847 (bsolo_lpr) R 16846 7475 7474 0 -1 0 52497 0 0 0 91846 169 0 0 25 0 1 0 835482613 78790656 18545 4294967295 134512640 134714508 3221224592 3221222864 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19236 18545 1111 63 0 19173 0
vsize: 76944
[startup+930.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16851
Raw data (stat): 16847 (bsolo_lpr) R 16846 7475 7474 0 -1 0 53039 0 0 0 92844 171 0 0 25 0 1 0 835482613 78979072 18552 4294967295 134512640 134714508 3221224592 3221220560 1075965303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19282 18552 1111 63 0 19219 0
vsize: 77128
[startup+940.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16851
Raw data (stat): 16847 (bsolo_lpr) R 16846 7475 7474 0 -1 0 53645 0 0 0 93843 173 0 0 25 0 1 0 835482613 78979072 18553 4294967295 134512640 134714508 3221224592 3221220820 1075115065 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19282 18553 1111 63 0 19219 0
vsize: 77128
[startup+950.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16851
Raw data (stat): 16847 (bsolo_lpr) R 16846 7475 7474 0 -1 0 54275 0 0 0 94841 174 0 0 25 0 1 0 835482613 78790656 18545 4294967295 134512640 134714508 3221224592 3221223344 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19236 18545 1111 63 0 19173 0
vsize: 76944
[startup+960.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16851
Raw data (stat): 16847 (bsolo_lpr) R 16846 7475 7474 0 -1 0 54886 0 0 0 95840 176 0 0 25 0 1 0 835482613 78979072 18553 4294967295 134512640 134714508 3221224592 3221220556 1074788162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19282 18553 1111 63 0 19219 0
vsize: 77128
[startup+970.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16851
Raw data (stat): 16847 (bsolo_lpr) R 16846 7475 7474 0 -1 0 55414 0 0 0 96838 178 0 0 25 0 1 0 835482613 78979072 18553 4294967295 134512640 134714508 3221224592 3221220800 1074815211 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19282 18553 1111 63 0 19219 0
vsize: 77128
[startup+980.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16851
Raw data (stat): 16847 (bsolo_lpr) R 16846 7475 7474 0 -1 0 55930 0 0 0 97837 179 0 0 25 0 1 0 835482613 78790656 18545 4294967295 134512640 134714508 3221224592 3221223344 134549313 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19236 18545 1111 63 0 19173 0
vsize: 76944
[startup+990.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16851
Raw data (stat): 16847 (bsolo_lpr) R 16846 7475 7474 0 -1 0 56601 0 0 0 98834 182 0 0 25 0 1 0 835482613 78979072 18553 4294967295 134512640 134714508 3221224592 3221220624 1074790218 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19282 18553 1111 63 0 19219 0
vsize: 77128
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16851
Raw data (stat): 16847 (bsolo_lpr) R 16846 7475 7474 0 -1 0 57152 0 0 0 99832 185 0 0 25 0 1 0 835482613 78790656 18545 4294967295 134512640 134714508 3221224592 3221222952 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19236 18545 1111 63 0 19173 0
vsize: 76944
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16851
Raw data (stat): 16847 (bsolo_lpr) R 16846 7475 7474 0 -1 0 57762 0 0 0 100829 187 0 0 25 0 1 0 835482613 78790656 18545 4294967295 134512640 134714508 3221224592 3221222776 1074138144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19236 18545 1111 63 0 19173 0
vsize: 76944
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16851
Raw data (stat): 16847 (bsolo_lpr) R 16846 7475 7474 0 -1 0 58323 0 0 0 101827 190 0 0 25 0 1 0 835482613 78790656 18545 4294967295 134512640 134714508 3221224592 3221222704 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19236 18545 1111 63 0 19173 0
vsize: 76944
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16851
Raw data (stat): 16847 (bsolo_lpr) R 16846 7475 7474 0 -1 0 58904 0 0 0 102825 192 0 0 25 0 1 0 835482613 78790656 18545 4294967295 134512640 134714508 3221224592 3221223344 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19236 18545 1111 63 0 19173 0
vsize: 76944
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16851
Raw data (stat): 16847 (bsolo_lpr) R 16846 7475 7474 0 -1 0 59483 0 0 0 103823 194 0 0 25 0 1 0 835482613 78979072 18553 4294967295 134512640 134714508 3221224592 3221220476 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19282 18553 1111 63 0 19219 0
vsize: 77128
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16851
Raw data (stat): 16847 (bsolo_lpr) R 16846 7475 7474 0 -1 0 60405 0 0 0 104821 197 0 0 25 0 1 0 835482613 79302656 18601 4294967295 134512640 134714508 3221224592 3221221184 1074885370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19361 18601 1111 63 0 19298 0
vsize: 77444
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16851
Raw data (stat): 16847 (bsolo_lpr) R 16846 7475 7474 0 -1 0 61238 0 0 0 105818 200 0 0 25 0 1 0 835482613 78905344 18573 4294967295 134512640 134714508 3221224592 3221222444 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19264 18573 1111 63 0 19201 0
vsize: 77056
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16851
Raw data (stat): 16847 (bsolo_lpr) R 16846 7475 7474 0 -1 0 61760 0 0 0 106816 202 0 0 25 0 1 0 835482613 78905344 18573 4294967295 134512640 134714508 3221224592 3221222320 1075828441 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19264 18573 1111 63 0 19201 0
vsize: 77056
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16851
Raw data (stat): 16847 (bsolo_lpr) R 16846 7475 7474 0 -1 0 62316 0 0 0 107815 203 0 0 25 0 1 0 835482613 79060992 18586 4294967295 134512640 134714508 3221224592 3221220816 1074960789 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19302 18586 1111 63 0 19239 0
vsize: 77208
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16851
Raw data (stat): 16847 (bsolo_lpr) R 16846 7475 7474 0 -1 0 63019 0 0 0 108813 205 0 0 25 0 1 0 835482613 79093760 18577 4294967295 134512640 134714508 3221224592 3221221168 1076047982 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19310 18577 1111 63 0 19247 0
vsize: 77240
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16851
Raw data (stat): 16847 (bsolo_lpr) R 16846 7475 7474 0 -1 0 63585 0 0 0 109811 207 0 0 25 0 1 0 835482613 79114240 18586 4294967295 134512640 134714508 3221224592 3221220560 1074872793 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19315 18586 1111 63 0 19252 0
vsize: 77260
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16851
Raw data (stat): 16847 (bsolo_lpr) R 16846 7475 7474 0 -1 0 64167 0 0 0 110809 209 0 0 25 0 1 0 835482613 78925824 18578 4294967295 134512640 134714508 3221224592 3221223344 134549467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19269 18578 1111 63 0 19206 0
vsize: 77076
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16851
Raw data (stat): 16847 (bsolo_lpr) R 16846 7475 7474 0 -1 0 64882 0 0 0 111807 212 0 0 25 0 1 0 835482613 78925824 18578 4294967295 134512640 134714508 3221224592 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19269 18578 1111 63 0 19206 0
vsize: 77076
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16851
Raw data (stat): 16847 (bsolo_lpr) R 16846 7475 7474 0 -1 0 65661 0 0 0 112805 214 0 0 25 0 1 0 835482613 78905344 18573 4294967295 134512640 134714508 3221224592 3221223344 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19264 18573 1111 63 0 19201 0
vsize: 77056
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16851
Raw data (stat): 16847 (bsolo_lpr) R 16846 7475 7474 0 -1 0 66634 0 0 0 113801 217 0 0 25 0 1 0 835482613 79302656 18601 4294967295 134512640 134714508 3221224592 3221220820 1075115062 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19361 18601 1111 63 0 19298 0
vsize: 77444
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16851
Raw data (stat): 16847 (bsolo_lpr) R 16846 7475 7474 0 -1 0 68000 0 0 0 114798 221 0 0 25 0 1 0 835482613 79106048 18622 4294967295 134512640 134714508 3221224592 3221222928 1074153800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19313 18622 1111 63 0 19250 0
vsize: 77252
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16851
Raw data (stat): 16847 (bsolo_lpr) R 16846 7475 7474 0 -1 0 68961 0 0 0 115796 224 0 0 25 0 1 0 835482613 79147008 18632 4294967295 134512640 134714508 3221224592 3221222592 1074918278 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19323 18632 1111 63 0 19260 0
vsize: 77292
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16851
Raw data (stat): 16847 (bsolo_lpr) R 16846 7475 7474 0 -1 0 69612 0 0 0 116794 226 0 0 25 0 1 0 835482613 79147008 18632 4294967295 134512640 134714508 3221224592 3221223344 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19323 18632 1111 63 0 19260 0
vsize: 77292
[startup+1175.55 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 16851
Raw data (stat): 16847 (bsolo_lpr) R 16846 7475 7474 0 -1 0 69612 0 0 0 116794 226 0 0 25 0 1 0 835482613 79147008 18632 4294967295 134512640 134714508 3221224592 3221223344 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19323 18632 1111 63 0 19260 0
vsize: 0

Child status: 10
Real time (s): 1175.55
CPU time (s): 1175.71
CPU user time (s): 1173.41
CPU system time (s): 2.30765
CPU usage (%): 100.014
Max. virtual memory (Kb): 77444
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	988
#### END VERIFIER DATA ####