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-opt1217.opb
MD5SUM	697fa5beb3d240bccfa43a29ef9b4fb8
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-2048
Optimality of the best value was proved	NO
Number of terms in the objective function	16
Biggest coefficient in the objective function	32768
Number of bits for the biggest coefficient in the objective function	16
Sum of the numbers in the objective function	65535
Number of bits of the sum of numbers in the objective function	16
Biggest number in a constraint	49152
Number of bits of the biggest number in a constraint	16
Biggest sum of numbers in a constraint	114687
Number of bits of the biggest sum of numbers	17
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.03
Number of variables	784
Total number of constraints	833
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	816
Number of constraints which are nor clauses,nor cardinality constraints	17
Minimum length of a constraint	1
Maximum length of a constraint	64
Trace number 25749

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-22 05:51:37 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=17865 boxname=wulflinc31 idbench=1375 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  697fa5beb3d240bccfa43a29ef9b4fb8  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-opt1217.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-opt1217.opb
IDLAUNCH: 17865
/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:        865776 kB
Buffers:          5276 kB
Cached:         143560 kB
SwapCached:        900 kB
Active:          53424 kB
Inactive:        97484 kB
HighTotal:      131008 kB
HighFree:        45164 kB
LowTotal:       903652 kB
LowFree:        820612 kB
SwapTotal:     2097892 kB
SwapFree:      2095960 kB
Dirty:             108 kB
Writeback:           0 kB
Mapped:           5096 kB
Slab:            12204 kB
Committed_AS:    63840 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-22 06:11:13 (client local time) WITH STATUS 10 IN 1175.05 SECONDS
stats: 17865 0 1175.05 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 784 variables and 113 constraints.
c After prepocess the problem consists of 782 variables and 112 constraints.
c preprocess terminated 0.548 s
c Initial Lower Bound: -16383
c Lower Bound Elapsed time: 0
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 0 @ 0.622
c NEW SOLUTION FOUND: -256 @ 0.768
c NEW SOLUTION FOUND: -368 @ 5.813
c NEW SOLUTION FOUND: -384 @ 5.815
c NEW SOLUTION FOUND: -496 @ 364.36
c NEW SOLUTION FOUND: -512 @ 367.892
s SATISFIABLE
v -x1_bit_7 -x1_bit_6 -x1_bit_5 -x1_bit_4 -x1_bit_3 -x1_bit_2 -x1_bit_1 -x1_bit0 -x1_bit1 x1_bit2 -x1_bit3 -x1_bit4 -x1_bit5 -x1_bit6 -x1_bit7 -x1_bit8 -x2_bit0 -x3_bit0 -x4_bit0 -x5_bit0 -x6_bit0 -x7_bit0 -x8_bit0 -x9_bit0 -x10_bit0 -x11_bit0 -x12_bit0 -x13_bit0 -x14_bit0 -x15_bit0 -x16_bit0 -x17_bit0 x18_bit0 -x19_bit0 x20_bit0 x21_bit0 -x22_bit0 x23_bit0 -x24_bit0 -x25_bit0 -x26_bit0 -x27_bit0 -x28_bit0 -x29_bit0 x30_bit0 -x31_bit0 -x32_bit0 -x33_bit0 -x34_bit0 -x35_bit0 -x36_bit0 -x37_bit0 -x38_bit0 -x39_bit0 -x40_bit0 -x41_bit0 -x42_bit0 -x43_bit0 -x44_bit0 -x45_bit0 -x46_bit0 -x47_bit0 -x48_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 -x49_bit0 -x97_bit0 -x144_bit0 -x192_bit0 -x240_bit0 -x284_bit0 -x332_bit0 -x380_bit0 -x760_bit0 -x50_bit0 -x98_bit0 -x145_bit0 -x193_bit0 -x241_bit0 -x285_bit0 -x333_bit0 -x381_bit0 -x51_bit0 -x99_bit0 -x146_bit0 -x194_bit0 -x242_bit0 -x286_bit0 x334_bit0 -x382_bit0 -x52_bit0 -x53_bit0 -x54_bit0 -x55_bit0 -x56_bit0 -x57_bit0 -x58_bit0 -x59_bit0 -x60_bit0 -x61_bit0 -x62_bit0 -x63_bit0 -x64_bit0 -x65_bit0 -x66_bit0 -x67_bit0 -x68_bit0 -x69_bit0 -x70_bit0 -x71_bit0 -x72_bit0 -x73_bit0 -x74_bit0 -x75_bit0 -x76_bit0 x77_bit0 -x78_bit0 -x79_bit0 -x80_bit0 -x81_bit0 -x82_bit0 -x83_bit0 -x84_bit0 -x85_bit0 -x86_bit0 -x87_bit0 -x88_bit0 -x89_bit0 -x90_bit0 -x91_bit0 -x92_bit0 -x93_bit0 -x94_bit0 -x95_bit0 -x96_bit0 -x100_bit0 -x147_bit0 -x195_bit0 -x243_bit0 x287_bit0 -x335_bit0 -x383_bit0 -x101_bit0 x148_bit0 -x196_bit0 -x244_bit0 -x288_bit0 -x336_bit0 -x384_bit0 -x102_bit0 -x149_bit0 -x197_bit0 x245_bit0 -x289_bit0 -x337_bit0 -x385_bit0 -x103_bit0 x150_bit0 -x198_bit0 -x246_bit0 -x290_bit0 -x338_bit0 -x386_bit0 -x104_bit0 -x151_bit0 -x199_bit0 x247_bit0 -x291_bit0 -x339_bit0 -x387_bit0 -x105_bit0 -x152_bit0 -x200_bit0 x248_bit0 -x292_bit0 -x340_bit0 -x388_bit0 -x106_bit0 -x153_bit0 x201_bit0 -x293_bit0 -x341_bit0 -x389_bit0 -x761_bit0 -x107_bit0 -x154_bit0 -x202_bit0 -x294_bit0 -x342_bit0 x390_bit0 -x762_bit0 -x108_bit0 -x155_bit0 -x203_bit0 -x295_bit0 -x343_bit0 x391_bit0 -x763_bit0 -x109_bit0 -x156_bit0 -x204_bit0 -x296_bit0 -x344_bit0 x392_bit0 -x764_bit0 -x110_bit0 -x111_bit0 -x112_bit0 -x113_bit0 -x114_bit0 -x115_bit0 -x116_bit0 -x117_bit0 x118_bit0 x119_bit0 -x120_bit0 -x121_bit0 -x122_bit0 -x123_bit0 -x124_bit0 -x125_bit0 -x126_bit0 -x127_bit0 x128_bit0 x129_bit0 x130_bit0 -x131_bit0 -x132_bit0 x133_bit0 x134_bit0 -x135_bit0 -x136_bit0 -x137_bit0 -x138_bit0 x139_bit0 x140_bit0 -x141_bit0 -x142_bit0 -x143_bit0 -x157_bit0 -x205_bit0 x249_bit0 -x297_bit0 -x345_bit0 -x393_bit0 -x158_bit0 -x206_bit0 x250_bit0 -x298_bit0 -x346_bit0 -x394_bit0 -x159_bit0 -x207_bit0 x251_bit0 -x299_bit0 -x347_bit0 -x395_bit0 -x160_bit0 -x208_bit0 x252_bit0 -x300_bit0 -x348_bit0 -x396_bit0 -x765_bit0 -x161_bit0 -x209_bit0 -x253_bit0 -x301_bit0 -x349_bit0 -x397_bit0 -x162_bit0 -x210_bit0 x254_bit0 -x302_bit0 -x350_bit0 -x398_bit0 -x163_bit0 -x211_bit0 -x255_bit0 -x303_bit0 -x351_bit0 -x399_bit0 -x164_bit0 -x212_bit0 -x256_bit0 -x304_bit0 -x352_bit0 -x400_bit0 -x165_bit0 -x213_bit0 -x257_bit0 -x305_bit0 -x353_bit0 -x401_bit0 -x166_bit0 -x214_bit0 -x258_bit0 -x306_bit0 -x354_bit0 -x402_bit0 -x766_bit0 -x767_bit0 -x167_bit0 -x168_bit0 -x169_bit0 -x170_bit0 -x171_bit0 -x172_bit0 -x173_bit0 -x174_bit0 -x175_bit0 -x176_bit0 -x177_bit0 -x178_bit0 -x179_bit0 -x180_bit0 -x181_bit0 -x182_bit0 -x183_bit0 -x184_bit0 -x185_bit0 -x186_bit0 -x187_bit0 -x188_bit0 x189_bit0 -x190_bit0 -x191_bit0 -x215_bit0 -x259_bit0 -x307_bit0 -x355_bit0 -x403_bit0 -x216_bit0 x260_bit0 -x308_bit0 -x356_bit0 -x404_bit0 x217_bit0 -x261_bit0 -x309_bit0 -x357_bit0 -x405_bit0 -x218_bit0 -x262_bit0 -x310_bit0 -x358_bit0 -x406_bit0 -x219_bit0 -x263_bit0 -x311_bit0 -x359_bit0 -x407_bit0 -x768_bit0 -x220_bit0 -x264_bit0 -x312_bit0 -x360_bit0 -x408_bit0 -x221_bit0 -x265_bit0 -x313_bit0 -x361_bit0 -x409_bit0 -x222_bit0 -x266_bit0 -x314_bit0 -x362_bit0 -x410_bit0 -x223_bit0 -x267_bit0 -x315_bit0 -x363_bit0 -x411_bit0 -x224_bit0 -x268_bit0 -x316_bit0 -x364_bit0 -x412_bit0 -x225_bit0 -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 -x269_bit0 -x317_bit0 -x365_bit0 -x413_bit0 -x270_bit0 -x318_bit0 -x366_bit0 -x414_bit0 -x271_bit0 -x319_bit0 -x367_bit0 -x415_bit0 -x272_bit0 -x320_bit0 -x368_bit0 -x416_bit0 -x273_bit0 -x321_bit0 -x369_bit0 -x417_bit0 -x274_bit0 -x322_bit0 -x370_bit0 -x418_bit0 -x275_bit0 -x323_bit0 -x371_bit0 -x419_bit0 -x276_bit0 -x324_bit0 -x372_bit0 -x420_bit0 -x769_bit0 -x277_bit0 -x325_bit0 -x373_bit0 -x421_bit0 -x278_bit0 -x326_bit0 -x374_bit0 -x422_bit0 -x279_bit0 -x280_bit0 -x281_bit0 -x282_bit0 -x283_bit0 -x327_bit0 -x375_bit0 -x423_bit0 -x328_bit0 -x376_bit0 -x424_bit0 -x329_bit0 -x377_bit0 -x425_bit0 -x330_bit0 x378_bit0 -x426_bit0 -x331_bit0 x379_bit0 -x427_bit0 
c Exit Code: 10
c Total time: 1175.02 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.92 0.97 0.96 2/55 20691
Raw data (stat): 20691 (runsolver) R 20690 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 810556678 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0002 s]
Raw data (loadavg): 0.93 0.97 0.96 2/55 20691
Raw data (stat): 20691 (bsolo_mis) R 20690 7876 7672 0 -1 0 5530 0 0 0 979 17 0 0 25 0 1 0 810556678 26251264 5505 4294967295 134512640 134714540 3221221776 3221220440 134543057 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6409 5505 1111 63 0 6346 0
vsize: 25636
[startup+20.0013 s]
Raw data (loadavg): 0.94 0.97 0.96 2/55 20691
Raw data (stat): 20691 (bsolo_mis) R 20690 7876 7672 0 -1 0 5618 0 0 0 1977 18 0 0 25 0 1 0 810556678 26656768 5593 4294967295 134512640 134714540 3221221776 3221220556 134622696 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6508 5593 1111 63 0 6445 0
vsize: 26032
[startup+30.002 s]
Raw data (loadavg): 0.95 0.97 0.96 2/55 20691
Raw data (stat): 20691 (bsolo_mis) R 20690 7876 7672 0 -1 0 5677 0 0 0 2976 20 0 0 25 0 1 0 810556678 26918912 5652 4294967295 134512640 134714540 3221221776 3221220568 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6572 5652 1111 63 0 6509 0
vsize: 26288
[startup+40.0019 s]
Raw data (loadavg): 0.96 0.97 0.96 2/55 20691
Raw data (stat): 20691 (bsolo_mis) R 20690 7876 7672 0 -1 0 5732 0 0 0 3974 22 0 0 25 0 1 0 810556678 27054080 5707 4294967295 134512640 134714540 3221221776 3221220060 1077379908 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6605 5707 1111 63 0 6542 0
vsize: 26420
[startup+50.0022 s]
Raw data (loadavg): 0.96 0.97 0.96 2/55 20691
Raw data (stat): 20691 (bsolo_mis) R 20690 7876 7672 0 -1 0 5770 0 0 0 4972 24 0 0 25 0 1 0 810556678 27324416 5745 4294967295 134512640 134714540 3221221776 3221220500 134622760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6671 5745 1111 63 0 6608 0
vsize: 26684
[startup+60.0018 s]
Raw data (loadavg): 0.97 0.97 0.96 2/55 20691
Raw data (stat): 20691 (bsolo_mis) R 20690 7876 7672 0 -1 0 5805 0 0 0 5971 25 0 0 25 0 1 0 810556678 27455488 5780 4294967295 134512640 134714540 3221221776 3221220464 134536736 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6703 5780 1111 63 0 6640 0
vsize: 26812
[startup+70.0027 s]
Raw data (loadavg): 0.97 0.97 0.96 2/55 20691
Raw data (stat): 20691 (bsolo_mis) R 20690 7876 7672 0 -1 0 5837 0 0 0 6969 27 0 0 25 0 1 0 810556678 27590656 5812 4294967295 134512640 134714540 3221221776 3221220312 134613965 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6736 5812 1111 63 0 6673 0
vsize: 26944
[startup+80.0027 s]
Raw data (loadavg): 0.98 0.97 0.96 2/55 20691
Raw data (stat): 20691 (bsolo_mis) R 20690 7876 7672 0 -1 0 5874 0 0 0 7968 28 0 0 25 0 1 0 810556678 27725824 5849 4294967295 134512640 134714540 3221221776 3221220488 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6769 5849 1111 63 0 6706 0
vsize: 27076
[startup+90.0036 s]
Raw data (loadavg): 0.98 0.97 0.96 2/55 20691
Raw data (stat): 20691 (bsolo_mis) R 20690 7876 7672 0 -1 0 5937 0 0 0 8967 29 0 0 25 0 1 0 810556678 27996160 5912 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6835 5912 1111 63 0 6772 0
vsize: 27340
[startup+100.004 s]
Raw data (loadavg): 0.98 0.97 0.96 2/55 20691
Raw data (stat): 20691 (bsolo_mis) R 20690 7876 7672 0 -1 0 6006 0 0 0 9966 31 0 0 25 0 1 0 810556678 28266496 5981 4294967295 134512640 134714540 3221221776 3221220336 134540176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6901 5981 1111 63 0 6838 0
vsize: 27604
[startup+110.004 s]
Raw data (loadavg): 0.98 0.97 0.96 2/55 20691
Raw data (stat): 20691 (bsolo_mis) R 20690 7876 7672 0 -1 0 6035 0 0 0 10965 32 0 0 25 0 1 0 810556678 28401664 6010 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6934 6010 1111 63 0 6871 0
vsize: 27736
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20691
Raw data (stat): 20691 (bsolo_mis) R 20690 7876 7672 0 -1 0 6064 0 0 0 11964 33 0 0 25 0 1 0 810556678 28536832 6039 4294967295 134512640 134714540 3221221776 3221220400 134535433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6967 6039 1111 63 0 6904 0
vsize: 27868
[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20691
Raw data (stat): 20691 (bsolo_mis) R 20690 7876 7672 0 -1 0 6078 0 0 0 12963 34 0 0 25 0 1 0 810556678 28536832 6053 4294967295 134512640 134714540 3221221776 3221220592 134622340 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6967 6053 1111 63 0 6904 0
vsize: 27868
[startup+140.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20691
Raw data (stat): 20691 (bsolo_mis) R 20690 7876 7672 0 -1 0 6149 0 0 0 13962 35 0 0 25 0 1 0 810556678 28807168 6124 4294967295 134512640 134714540 3221221776 3221220524 134535620 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7033 6124 1111 63 0 6970 0
vsize: 28132
[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20691
Raw data (stat): 20691 (bsolo_mis) R 20690 7876 7672 0 -1 0 6149 0 0 0 14962 36 0 0 25 0 1 0 810556678 28807168 6124 4294967295 134512640 134714540 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7033 6124 1111 63 0 6970 0
vsize: 28132
[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20691
Raw data (stat): 20691 (bsolo_mis) R 20690 7876 7672 0 -1 0 6176 0 0 0 15961 37 0 0 25 0 1 0 810556678 28942336 6151 4294967295 134512640 134714540 3221221776 3221220524 134553168 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7066 6151 1111 63 0 7003 0
vsize: 28264
[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20691
Raw data (stat): 20691 (bsolo_mis) R 20690 7876 7672 0 -1 0 6210 0 0 0 16960 39 0 0 25 0 1 0 810556678 29077504 6185 4294967295 134512640 134714540 3221221776 3221220496 134622917 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7099 6185 1111 63 0 7036 0
vsize: 28396
[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20691
Raw data (stat): 20691 (bsolo_mis) R 20690 7876 7672 0 -1 0 6210 0 0 0 17959 40 0 0 25 0 1 0 810556678 29077504 6185 4294967295 134512640 134714540 3221221776 3221220580 134622267 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7099 6185 1111 63 0 7036 0
vsize: 28396
[startup+190.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20691
Raw data (stat): 20691 (bsolo_mis) R 20690 7876 7672 0 -1 0 6241 0 0 0 18957 41 0 0 25 0 1 0 810556678 29212672 6216 4294967295 134512640 134714540 3221221776 3221220284 1076533396 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7132 6216 1111 63 0 7069 0
vsize: 28528
[startup+200.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20691
Raw data (stat): 20691 (bsolo_mis) R 20690 7876 7672 0 -1 0 6241 0 0 0 19956 43 0 0 25 0 1 0 810556678 29212672 6216 4294967295 134512640 134714540 3221221776 3221220464 134542848 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7132 6216 1111 63 0 7069 0
vsize: 28528
[startup+210.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20691
Raw data (stat): 20691 (bsolo_mis) R 20690 7876 7672 0 -1 0 6246 0 0 0 20955 44 0 0 25 0 1 0 810556678 29212672 6221 4294967295 134512640 134714540 3221221776 3221220576 134622304 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7132 6221 1111 63 0 7069 0
vsize: 28528
[startup+220.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20691
Raw data (stat): 20691 (bsolo_mis) R 20690 7876 7672 0 -1 0 6246 0 0 0 21955 45 0 0 25 0 1 0 810556678 29212672 6221 4294967295 134512640 134714540 3221221776 3221220344 1077377239 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7132 6221 1111 63 0 7069 0
vsize: 28528
[startup+230.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20691
Raw data (stat): 20691 (bsolo_mis) R 20690 7876 7672 0 -1 0 6253 0 0 0 22953 46 0 0 25 0 1 0 810556678 29212672 6228 4294967295 134512640 134714540 3221221776 3221220316 134539237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7132 6228 1111 63 0 7069 0
vsize: 28528
[startup+240.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20691
Raw data (stat): 20691 (bsolo_mis) R 20690 7876 7672 0 -1 0 6255 0 0 0 23952 47 0 0 25 0 1 0 810556678 29212672 6230 4294967295 134512640 134714540 3221221776 3221220524 134535620 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7132 6230 1111 63 0 7069 0
vsize: 28528
[startup+250.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20691
Raw data (stat): 20691 (bsolo_mis) R 20690 7876 7672 0 -1 0 6268 0 0 0 24951 49 0 0 25 0 1 0 810556678 29343744 6243 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7164 6243 1111 63 0 7101 0
vsize: 28656
[startup+260.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20691
Raw data (stat): 20691 (bsolo_mis) R 20690 7876 7672 0 -1 0 6288 0 0 0 25948 51 0 0 25 0 1 0 810556678 29343744 6263 4294967295 134512640 134714540 3221221776 3221220568 134536897 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7164 6263 1111 63 0 7101 0
vsize: 28656
[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20691
Raw data (stat): 20691 (bsolo_mis) R 20690 7876 7672 0 -1 0 6331 0 0 0 26948 52 0 0 25 0 1 0 810556678 29614080 6306 4294967295 134512640 134714540 3221221776 3221220648 134543600 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7230 6306 1111 63 0 7167 0
vsize: 28920
[startup+280.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20691
Raw data (stat): 20691 (bsolo_mis) R 20690 7876 7672 0 -1 0 6333 0 0 0 27946 54 0 0 25 0 1 0 810556678 29593600 6308 4294967295 134512640 134714540 3221221776 3221220364 134542288 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7225 6308 1111 63 0 7162 0
vsize: 28900
[startup+290.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20691
Raw data (stat): 20691 (bsolo_mis) R 20690 7876 7672 0 -1 0 6367 0 0 0 28945 55 0 0 25 0 1 0 810556678 29728768 6342 4294967295 134512640 134714540 3221221776 3221220480 134528677 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7258 6342 1111 63 0 7195 0
vsize: 29032
[startup+300.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20691
Raw data (stat): 20691 (bsolo_mis) R 20690 7876 7672 0 -1 0 6385 0 0 0 29944 57 0 0 25 0 1 0 810556678 29728768 6360 4294967295 134512640 134714540 3221221776 3221220568 134536857 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7258 6360 1111 63 0 7195 0
vsize: 29032
[startup+310.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20691
Raw data (stat): 20691 (bsolo_mis) R 20690 7876 7672 0 -1 0 6398 0 0 0 30943 58 0 0 25 0 1 0 810556678 29863936 6373 4294967295 134512640 134714540 3221221776 3221220496 134622791 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7291 6373 1111 63 0 7228 0
vsize: 29164
[startup+320.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20691
Raw data (stat): 20691 (bsolo_mis) R 20690 7876 7672 0 -1 0 6433 0 0 0 31942 59 0 0 25 0 1 0 810556678 29999104 6408 4294967295 134512640 134714540 3221221776 3221220400 134535442 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7324 6408 1111 63 0 7261 0
vsize: 29296
[startup+330.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20691
Raw data (stat): 20691 (bsolo_mis) R 20690 7876 7672 0 -1 0 6490 0 0 0 32941 60 0 0 25 0 1 0 810556678 30269440 6465 4294967295 134512640 134714540 3221221776 3221220336 134540180 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7390 6465 1111 63 0 7327 0
vsize: 29560
[startup+340.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20691
Raw data (stat): 20691 (bsolo_mis) R 20690 7876 7672 0 -1 0 6574 0 0 0 33940 62 0 0 25 0 1 0 810556678 30539776 6549 4294967295 134512640 134714540 3221221776 3221220336 134539596 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7456 6549 1111 63 0 7393 0
vsize: 29824
[startup+350.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20691
Raw data (stat): 20691 (bsolo_mis) R 20690 7876 7672 0 -1 0 6621 0 0 0 34939 62 0 0 25 0 1 0 810556678 30810112 6596 4294967295 134512640 134714540 3221221776 3221220592 134622115 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7522 6596 1111 63 0 7459 0
vsize: 30088
[startup+360.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20691
Raw data (stat): 20691 (bsolo_mis) R 20690 7876 7672 0 -1 0 6661 0 0 0 35938 63 0 0 25 0 1 0 810556678 30945280 6636 4294967295 134512640 134714540 3221221776 3221220504 134558606 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7555 6636 1111 63 0 7492 0
vsize: 30220
[startup+370.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20691
Raw data (stat): 20691 (bsolo_mis) R 20690 7876 7672 0 -1 0 6663 0 0 0 36937 65 0 0 25 0 1 0 810556678 30945280 6638 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7555 6638 1111 63 0 7492 0
vsize: 30220
[startup+380.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20691
Raw data (stat): 20691 (bsolo_mis) R 20690 7876 7672 0 -1 0 6687 0 0 0 37935 66 0 0 25 0 1 0 810556678 31080448 6662 4294967295 134512640 134714540 3221221776 3221220552 134543557 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7588 6662 1111 63 0 7525 0
vsize: 30352
[startup+390.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20691
Raw data (stat): 20691 (bsolo_mis) R 20690 7876 7672 0 -1 0 6712 0 0 0 38934 67 0 0 25 0 1 0 810556678 31080448 6687 4294967295 134512640 134714540 3221221776 3221220368 134539376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7588 6687 1111 63 0 7525 0
vsize: 30352
[startup+400.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20691
Raw data (stat): 20691 (bsolo_mis) R 20690 7876 7672 0 -1 0 6738 0 0 0 39934 67 0 0 25 0 1 0 810556678 31215616 6713 4294967295 134512640 134714540 3221221776 3221220404 134696296 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7621 6713 1111 63 0 7558 0
vsize: 30484
[startup+410.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20691
Raw data (stat): 20691 (bsolo_mis) R 20690 7876 7672 0 -1 0 6753 0 0 0 40933 69 0 0 25 0 1 0 810556678 31350784 6728 4294967295 134512640 134714540 3221221776 3221220560 134622323 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7654 6728 1111 63 0 7591 0
vsize: 30616
[startup+420.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20691
Raw data (stat): 20691 (bsolo_mis) R 20690 7876 7672 0 -1 0 6772 0 0 0 41932 70 0 0 25 0 1 0 810556678 31350784 6747 4294967295 134512640 134714540 3221221776 3221220488 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7654 6747 1111 63 0 7591 0
vsize: 30616
[startup+430.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20691
Raw data (stat): 20691 (bsolo_mis) R 20690 7876 7672 0 -1 0 6789 0 0 0 42932 71 0 0 25 0 1 0 810556678 31485952 6764 4294967295 134512640 134714540 3221221776 3221220416 134538795 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7687 6764 1111 63 0 7624 0
vsize: 30748
[startup+440.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20691
Raw data (stat): 20691 (bsolo_mis) R 20690 7876 7672 0 -1 0 6789 0 0 0 43931 72 0 0 25 0 1 0 810556678 31444992 6764 4294967295 134512640 134714540 3221221776 3221220496 134622735 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7677 6764 1111 63 0 7614 0
vsize: 30708
[startup+450.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20691
Raw data (stat): 20691 (bsolo_mis) R 20690 7876 7672 0 -1 0 6805 0 0 0 44930 73 0 0 25 0 1 0 810556678 31444992 6780 4294967295 134512640 134714540 3221221776 3221220592 134622429 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7677 6780 1111 63 0 7614 0
vsize: 30708
[startup+460.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20691
Raw data (stat): 20691 (bsolo_mis) R 20690 7876 7672 0 -1 0 6843 0 0 0 45930 73 0 0 25 0 1 0 810556678 31707136 6818 4294967295 134512640 134714540 3221221776 3221220512 134622747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7741 6818 1111 63 0 7678 0
vsize: 30964
[startup+470.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20691
Raw data (stat): 20691 (bsolo_mis) R 20690 7876 7672 0 -1 0 6843 0 0 0 46929 74 0 0 25 0 1 0 810556678 31707136 6818 4294967295 134512640 134714540 3221221776 3221220580 134622267 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7741 6818 1111 63 0 7678 0
vsize: 30964
[startup+480.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20691
Raw data (stat): 20691 (bsolo_mis) R 20690 7876 7672 0 -1 0 6843 0 0 0 47928 75 0 0 25 0 1 0 810556678 31707136 6818 4294967295 134512640 134714540 3221221776 3221220284 134535956 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7741 6818 1111 63 0 7678 0
vsize: 30964
[startup+490.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20691
Raw data (stat): 20691 (bsolo_mis) R 20690 7876 7672 0 -1 0 6843 0 0 0 48927 76 0 0 25 0 1 0 810556678 31707136 6818 4294967295 134512640 134714540 3221221776 3221220424 134543609 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7741 6818 1111 63 0 7678 0
vsize: 30964
[startup+500.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20691
Raw data (stat): 20691 (bsolo_mis) R 20690 7876 7672 0 -1 0 6843 0 0 0 49927 77 0 0 25 0 1 0 810556678 31707136 6818 4294967295 134512640 134714540 3221221776 3221220672 134621515 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7741 6818 1111 63 0 7678 0
vsize: 30964
[startup+510.017 s]
Raw data (loadavg): 0.99 0.97 0.96 3/58 20731
Raw data (stat): 20691 (bsolo_mis) R 20690 7876 7672 0 -1 0 6855 0 0 0 50926 78 0 0 25 0 1 0 810556678 31707136 6830 4294967295 134512640 134714540 3221221776 3221220488 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7741 6830 1111 63 0 7678 0
vsize: 30964
[startup+520.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20744
Raw data (stat): 20691 (bsolo_mis) R 20690 7876 7672 0 -1 0 6867 0 0 0 51926 78 0 0 25 0 1 0 810556678 31707136 6842 4294967295 134512640 134714540 3221221776 3221220512 134622747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7741 6842 1111 63 0 7678 0
vsize: 30964
[startup+530.037 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20744
Raw data (stat): 20691 (bsolo_mis) R 20690 7876 7672 0 -1 0 6893 0 0 0 52927 79 0 0 25 0 1 0 810556678 31842304 6868 4294967295 134512640 134714540 3221221776 3221220568 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7774 6868 1111 63 0 7711 0
vsize: 31096
[startup+540.038 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20744
Raw data (stat): 20691 (bsolo_mis) R 20690 7876 7672 0 -1 0 6893 0 0 0 53927 79 0 0 25 0 1 0 810556678 31842304 6868 4294967295 134512640 134714540 3221221776 3221220368 134539462 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7774 6868 1111 63 0 7711 0
vsize: 31096
[startup+550.038 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20744
Raw data (stat): 20691 (bsolo_mis) R 20690 7876 7672 0 -1 0 6919 0 0 0 54926 80 0 0 25 0 1 0 810556678 31977472 6894 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7807 6894 1111 63 0 7744 0
vsize: 31228
[startup+560.038 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20744
Raw data (stat): 20691 (bsolo_mis) R 20690 7876 7672 0 -1 0 6934 0 0 0 55925 81 0 0 25 0 1 0 810556678 31944704 6904 4294967295 134512640 134714540 3221221776 3221220488 134543191 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7799 6904 1111 63 0 7736 0
vsize: 31196
[startup+570.038 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20744
Raw data (stat): 20691 (bsolo_mis) R 20690 7876 7672 0 -1 0 6947 0 0 0 56925 82 0 0 25 0 1 0 810556678 32079872 6917 4294967295 134512640 134714540 3221221776 3221220552 134543568 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7832 6917 1111 63 0 7769 0
vsize: 31328
[startup+580.038 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20746
Raw data (stat): 20691 (bsolo_mis) R 20690 7876 7672 0 -1 0 6961 0 0 0 57925 82 0 0 25 0 1 0 810556678 32079872 6931 4294967295 134512640 134714540 3221221776 3221220488 134558490 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7832 6931 1111 63 0 7769 0
vsize: 31328
[startup+590.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20746
Raw data (stat): 20691 (bsolo_mis) R 20690 7876 7672 0 -1 0 6961 0 0 0 58924 83 0 0 25 0 1 0 810556678 32079872 6931 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7832 6931 1111 63 0 7769 0
vsize: 31328
[startup+600.039 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20746
Raw data (stat): 20691 (bsolo_mis) R 20690 7876 7672 0 -1 0 6961 0 0 0 59924 84 0 0 25 0 1 0 810556678 32079872 6931 4294967295 134512640 134714540 3221221776 3221220568 134536904 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7832 6931 1111 63 0 7769 0
vsize: 31328
[startup+610.039 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20746
Raw data (stat): 20691 (bsolo_mis) R 20690 7876 7672 0 -1 0 6975 0 0 0 60923 84 0 0 25 0 1 0 810556678 32215040 6945 4294967295 134512640 134714540 3221221776 3221220416 134523874 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7865 6945 1111 63 0 7802 0
vsize: 31460
[startup+620.039 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20746
Raw data (stat): 20691 (bsolo_mis) R 20690 7876 7672 0 -1 0 6999 0 0 0 61923 85 0 0 25 0 1 0 810556678 32215040 6969 4294967295 134512640 134714540 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7865 6969 1111 63 0 7802 0
vsize: 31460
[startup+630.039 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20746
Raw data (stat): 20691 (bsolo_mis) R 20690 7876 7672 0 -1 0 7001 0 0 0 62923 85 0 0 25 0 1 0 810556678 32350208 6971 4294967295 134512640 134714540 3221221776 3221220592 134622252 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7898 6971 1111 63 0 7835 0
vsize: 31592
[startup+640.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20746
Raw data (stat): 20691 (bsolo_mis) R 20690 7876 7672 0 -1 0 7001 0 0 0 63922 86 0 0 25 0 1 0 810556678 32350208 6971 4294967295 134512640 134714540 3221221776 3221220568 134542460 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7898 6971 1111 63 0 7835 0
vsize: 31592
[startup+650.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20746
Raw data (stat): 20691 (bsolo_mis) R 20690 7876 7672 0 -1 0 7001 0 0 0 64922 86 0 0 25 0 1 0 810556678 32350208 6971 4294967295 134512640 134714540 3221221776 3221220496 134622884 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7898 6971 1111 63 0 7835 0
vsize: 31592
[startup+660.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20746
Raw data (stat): 20691 (bsolo_mis) R 20690 7876 7672 0 -1 0 7024 0 0 0 65921 87 0 0 25 0 1 0 810556678 32350208 6994 4294967295 134512640 134714540 3221221776 3221220488 134543171 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7898 6994 1111 63 0 7835 0
vsize: 31592
[startup+670.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20746
Raw data (stat): 20691 (bsolo_mis) R 20690 7876 7672 0 -1 0 7040 0 0 0 66921 88 0 0 25 0 1 0 810556678 32485376 7010 4294967295 134512640 134714540 3221221776 3221220568 134543552 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7931 7010 1111 63 0 7868 0
vsize: 31724
[startup+680.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20746
Raw data (stat): 20691 (bsolo_mis) R 20690 7876 7672 0 -1 0 7117 0 0 0 67919 89 0 0 25 0 1 0 810556678 32755712 7087 4294967295 134512640 134714540 3221221776 3221220380 134536766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7997 7087 1111 63 0 7934 0
vsize: 31988
[startup+690.041 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20746
Raw data (stat): 20691 (bsolo_mis) R 20690 7876 7672 0 -1 0 7117 0 0 0 68919 90 0 0 25 0 1 0 810556678 32755712 7087 4294967295 134512640 134714540 3221221776 3221220520 134536866 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7997 7087 1111 63 0 7934 0
vsize: 31988
[startup+700.041 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20746
Raw data (stat): 20691 (bsolo_mis) R 20690 7876 7672 0 -1 0 7117 0 0 0 69918 91 0 0 25 0 1 0 810556678 32755712 7087 4294967295 134512640 134714540 3221221776 3221220404 134696296 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7997 7087 1111 63 0 7934 0
vsize: 31988
[startup+710.041 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20746
Raw data (stat): 20691 (bsolo_mis) R 20690 7876 7672 0 -1 0 7147 0 0 0 70917 92 0 0 25 0 1 0 810556678 32890880 7117 4294967295 134512640 134714540 3221221776 3221220552 134543557 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8030 7117 1111 63 0 7967 0
vsize: 32120
[startup+720.042 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20746
Raw data (stat): 20691 (bsolo_mis) R 20690 7876 7672 0 -1 0 7156 0 0 0 71916 93 0 0 25 0 1 0 810556678 32890880 7126 4294967295 134512640 134714540 3221221776 3221220488 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8030 7126 1111 63 0 7967 0
vsize: 32120
[startup+730.042 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20746
Raw data (stat): 20691 (bsolo_mis) R 20690 7876 7672 0 -1 0 7165 0 0 0 72915 94 0 0 25 0 1 0 810556678 33009664 7135 4294967295 134512640 134714540 3221221776 3221220488 134558490 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8059 7135 1111 63 0 7996 0
vsize: 32236
[startup+740.042 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20746
Raw data (stat): 20691 (bsolo_mis) R 20690 7876 7672 0 -1 0 7170 0 0 0 73915 95 0 0 25 0 1 0 810556678 33001472 7140 4294967295 134512640 134714540 3221221776 3221220460 134535008 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8057 7140 1111 63 0 7994 0
vsize: 32228
[startup+750.043 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20746
Raw data (stat): 20691 (bsolo_mis) R 20690 7876 7672 0 -1 0 7203 0 0 0 74914 95 0 0 25 0 1 0 810556678 33116160 7173 4294967295 134512640 134714540 3221221776 3221220500 134622811 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8085 7173 1111 63 0 8022 0
vsize: 32340
[startup+760.044 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20746
Raw data (stat): 20691 (bsolo_mis) R 20690 7876 7672 0 -1 0 7254 0 0 0 75913 96 0 0 25 0 1 0 810556678 33386496 7224 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8151 7224 1111 63 0 8088 0
vsize: 32604
[startup+770.044 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20746
Raw data (stat): 20691 (bsolo_mis) R 20690 7876 7672 0 -1 0 7258 0 0 0 76913 97 0 0 25 0 1 0 810556678 33386496 7228 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8151 7228 1111 63 0 8088 0
vsize: 32604
[startup+780.045 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20746
Raw data (stat): 20691 (bsolo_mis) R 20690 7876 7672 0 -1 0 7418 0 0 0 77912 99 0 0 25 0 1 0 810556678 33927168 7388 4294967295 134512640 134714540 3221221776 3221220432 134536630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8283 7388 1111 63 0 8220 0
vsize: 33132
[startup+790.046 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20746
Raw data (stat): 20691 (bsolo_mis) R 20690 7876 7672 0 -1 0 7469 0 0 0 78911 100 0 0 25 0 1 0 810556678 34177024 7439 4294967295 134512640 134714540 3221221776 3221220592 134622252 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8344 7439 1111 63 0 8281 0
vsize: 33376
[startup+800.047 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20746
Raw data (stat): 20691 (bsolo_mis) R 20690 7876 7672 0 -1 0 7536 0 0 0 79910 101 0 0 25 0 1 0 810556678 34447360 7506 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8410 7506 1111 63 0 8347 0
vsize: 33640
[startup+810.047 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20746
Raw data (stat): 20691 (bsolo_mis) R 20690 7876 7672 0 -1 0 7536 0 0 0 80910 101 0 0 25 0 1 0 810556678 34447360 7506 4294967295 134512640 134714540 3221221776 3221220520 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8410 7506 1111 63 0 8347 0
vsize: 33640
[startup+820.048 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20746
Raw data (stat): 20691 (bsolo_mis) R 20690 7876 7672 0 -1 0 7566 0 0 0 81909 102 0 0 25 0 1 0 810556678 34582528 7536 4294967295 134512640 134714540 3221221776 3221220488 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8443 7536 1111 63 0 8380 0
vsize: 33772
[startup+830.048 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20746
Raw data (stat): 20691 (bsolo_mis) R 20690 7876 7672 0 -1 0 7617 0 0 0 82908 104 0 0 25 0 1 0 810556678 34852864 7587 4294967295 134512640 134714540 3221221776 3221220592 134622252 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8509 7587 1111 63 0 8446 0
vsize: 34036
[startup+840.049 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20746
Raw data (stat): 20691 (bsolo_mis) R 20690 7876 7672 0 -1 0 7617 0 0 0 83907 104 0 0 25 0 1 0 810556678 34852864 7587 4294967295 134512640 134714540 3221221776 3221220672 134621515 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8509 7587 1111 63 0 8446 0
vsize: 34036
[startup+850.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20746
Raw data (stat): 20691 (bsolo_mis) R 20690 7876 7672 0 -1 0 7621 0 0 0 84907 105 0 0 25 0 1 0 810556678 34848768 7591 4294967295 134512640 134714540 3221221776 3221220500 134622760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8508 7591 1111 63 0 8445 0
vsize: 34032
[startup+860.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20748
Raw data (stat): 20691 (bsolo_mis) R 20690 7876 7672 0 -1 0 7671 0 0 0 85906 106 0 0 25 0 1 0 810556678 34983936 7641 4294967295 134512640 134714540 3221221776 3221220536 134543614 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8541 7641 1111 63 0 8478 0
vsize: 34164
[startup+870.049 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20748
Raw data (stat): 20691 (bsolo_mis) R 20690 7876 7672 0 -1 0 7726 0 0 0 86905 107 0 0 25 0 1 0 810556678 35254272 7696 4294967295 134512640 134714540 3221221776 3221220464 134528425 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8607 7696 1111 63 0 8544 0
vsize: 34428
[startup+880.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20748
Raw data (stat): 20691 (bsolo_mis) R 20690 7876 7672 0 -1 0 7748 0 0 0 87904 108 0 0 25 0 1 0 810556678 35389440 7718 4294967295 134512640 134714540 3221221776 3221220416 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8640 7718 1111 63 0 8577 0
vsize: 34560
[startup+890.051 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20748
Raw data (stat): 20691 (bsolo_mis) R 20690 7876 7672 0 -1 0 7794 0 0 0 88904 108 0 0 25 0 1 0 810556678 35524608 7764 4294967295 134512640 134714540 3221221776 3221220592 134622261 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8673 7764 1111 63 0 8610 0
vsize: 34692
[startup+900.051 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20748
Raw data (stat): 20691 (bsolo_mis) R 20690 7876 7672 0 -1 0 7829 0 0 0 89904 109 0 0 25 0 1 0 810556678 35659776 7799 4294967295 134512640 134714540 3221221776 3221220488 134543174 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8706 7799 1111 63 0 8643 0
vsize: 34824
[startup+910.052 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20748
Raw data (stat): 20691 (bsolo_mis) R 20690 7876 7672 0 -1 0 7849 0 0 0 90903 110 0 0 25 0 1 0 810556678 35794944 7819 4294967295 134512640 134714540 3221221776 3221220512 134622747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8739 7819 1111 63 0 8676 0
vsize: 34956
[startup+920.052 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20748
Raw data (stat): 20691 (bsolo_mis) R 20690 7876 7672 0 -1 0 7860 0 0 0 91903 110 0 0 25 0 1 0 810556678 35794944 7830 4294967295 134512640 134714540 3221221776 3221220336 134542347 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8739 7830 1111 63 0 8676 0
vsize: 34956
[startup+930.052 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20748
Raw data (stat): 20691 (bsolo_mis) R 20690 7876 7672 0 -1 0 7879 0 0 0 92903 110 0 0 25 0 1 0 810556678 35921920 7849 4294967295 134512640 134714540 3221221776 3221220488 134558490 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8770 7849 1111 63 0 8707 0
vsize: 35080
[startup+940.053 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20748
Raw data (stat): 20691 (bsolo_mis) R 20690 7876 7672 0 -1 0 7882 0 0 0 93903 111 0 0 25 0 1 0 810556678 35921920 7852 4294967295 134512640 134714540 3221221776 3221220488 134543187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8770 7852 1111 63 0 8707 0
vsize: 35080
[startup+950.054 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20748
Raw data (stat): 20691 (bsolo_mis) R 20690 7876 7672 0 -1 0 7904 0 0 0 94902 112 0 0 25 0 1 0 810556678 35921920 7874 4294967295 134512640 134714540 3221221776 3221220544 134592119 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8770 7874 1111 63 0 8707 0
vsize: 35080
[startup+960.054 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20748
Raw data (stat): 20691 (bsolo_mis) R 20690 7876 7672 0 -1 0 7936 0 0 0 95902 112 0 0 25 0 1 0 810556678 36057088 7906 4294967295 134512640 134714540 3221221776 3221220488 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8803 7906 1111 63 0 8740 0
vsize: 35212
[startup+970.054 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20748
Raw data (stat): 20691 (bsolo_mis) R 20690 7876 7672 0 -1 0 7953 0 0 0 96902 112 0 0 25 0 1 0 810556678 36192256 7923 4294967295 134512640 134714540 3221221776 3221220568 134543552 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8836 7923 1111 63 0 8773 0
vsize: 35344
[startup+980.054 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20748
Raw data (stat): 20691 (bsolo_mis) R 20690 7876 7672 0 -1 0 7953 0 0 0 97901 113 0 0 25 0 1 0 810556678 36192256 7923 4294967295 134512640 134714540 3221221776 3221220416 134539362 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8836 7923 1111 63 0 8773 0
vsize: 35344
[startup+990.055 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20748
Raw data (stat): 20691 (bsolo_mis) R 20690 7876 7672 0 -1 0 7953 0 0 0 98901 113 0 0 25 0 1 0 810556678 36192256 7923 4294967295 134512640 134714540 3221221776 3221220416 134538795 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8836 7923 1111 63 0 8773 0
vsize: 35344
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20748
Raw data (stat): 20691 (bsolo_mis) R 20690 7876 7672 0 -1 0 7958 0 0 0 99901 114 0 0 25 0 1 0 810556678 36192256 7928 4294967295 134512640 134714540 3221221776 3221220344 1077377368 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8836 7928 1111 63 0 8773 0
vsize: 35344
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20748
Raw data (stat): 20691 (bsolo_mis) R 20690 7876 7672 0 -1 0 8002 0 0 0 100900 115 0 0 25 0 1 0 810556678 36327424 7972 4294967295 134512640 134714540 3221221776 3221220104 1077378259 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8869 7972 1111 63 0 8806 0
vsize: 35476
[startup+1020.06 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20748
Raw data (stat): 20691 (bsolo_mis) R 20690 7876 7672 0 -1 0 8102 0 0 0 101900 115 0 0 25 0 1 0 810556678 36732928 8072 4294967295 134512640 134714540 3221221776 3221220416 134613422 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8968 8072 1111 63 0 8905 0
vsize: 35872
[startup+1030.06 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20748
Raw data (stat): 20691 (bsolo_mis) R 20690 7876 7672 0 -1 0 8120 0 0 0 102899 116 0 0 25 0 1 0 810556678 36868096 8090 4294967295 134512640 134714540 3221221776 3221220504 134622854 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9001 8090 1111 63 0 8938 0
vsize: 36004
[startup+1040.06 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20748
Raw data (stat): 20691 (bsolo_mis) R 20690 7876 7672 0 -1 0 8153 0 0 0 103899 117 0 0 25 0 1 0 810556678 37003264 8123 4294967295 134512640 134714540 3221221776 3221220552 134542409 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9034 8123 1111 63 0 8971 0
vsize: 36136
[startup+1050.06 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20748
Raw data (stat): 20691 (bsolo_mis) R 20690 7876 7672 0 -1 0 8153 0 0 0 104899 117 0 0 25 0 1 0 810556678 37003264 8123 4294967295 134512640 134714540 3221221776 3221220584 134622412 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9034 8123 1111 63 0 8971 0
vsize: 36136
[startup+1060.06 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20748
Raw data (stat): 20691 (bsolo_mis) R 20690 7876 7672 0 -1 0 8153 0 0 0 105899 117 0 0 25 0 1 0 810556678 37003264 8123 4294967295 134512640 134714540 3221221776 3221220556 134542400 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9034 8123 1111 63 0 8971 0
vsize: 36136
[startup+1070.06 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20748
Raw data (stat): 20691 (bsolo_mis) R 20690 7876 7672 0 -1 0 8153 0 0 0 106898 118 0 0 25 0 1 0 810556678 37003264 8123 4294967295 134512640 134714540 3221221776 3221220592 134622252 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9034 8123 1111 63 0 8971 0
vsize: 36136
[startup+1080.06 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20748
Raw data (stat): 20691 (bsolo_mis) R 20690 7876 7672 0 -1 0 8153 0 0 0 107897 119 0 0 25 0 1 0 810556678 37003264 8123 4294967295 134512640 134714540 3221221776 3221220672 134621515 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9034 8123 1111 63 0 8971 0
vsize: 36136
[startup+1090.06 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20748
Raw data (stat): 20691 (bsolo_mis) R 20690 7876 7672 0 -1 0 8172 0 0 0 108897 120 0 0 25 0 1 0 810556678 37138432 8142 4294967295 134512640 134714540 3221221776 3221220520 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9067 8142 1111 63 0 9004 0
vsize: 36268
[startup+1100.06 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20748
Raw data (stat): 20691 (bsolo_mis) R 20690 7876 7672 0 -1 0 8195 0 0 0 109896 120 0 0 25 0 1 0 810556678 37134336 8165 4294967295 134512640 134714540 3221221776 3221220592 134622335 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9066 8165 1111 63 0 9003 0
vsize: 36264
[startup+1110.06 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20748
Raw data (stat): 20691 (bsolo_mis) R 20690 7876 7672 0 -1 0 8214 0 0 0 110896 121 0 0 25 0 1 0 810556678 37269504 8184 4294967295 134512640 134714540 3221221776 3221220512 134622747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9099 8184 1111 63 0 9036 0
vsize: 36396
[startup+1120.06 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20748
Raw data (stat): 20691 (bsolo_mis) R 20690 7876 7672 0 -1 0 8215 0 0 0 111896 121 0 0 25 0 1 0 810556678 37269504 8185 4294967295 134512640 134714540 3221221776 3221220512 134622747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9099 8185 1111 63 0 9036 0
vsize: 36396
[startup+1130.06 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20748
Raw data (stat): 20691 (bsolo_mis) R 20690 7876 7672 0 -1 0 8215 0 0 0 112896 121 0 0 25 0 1 0 810556678 37269504 8185 4294967295 134512640 134714540 3221221776 3221220560 134622395 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9099 8185 1111 63 0 9036 0
vsize: 36396
[startup+1140.06 s]
Raw data (loadavg): 0.99 0.97 0.96 3/55 20748
Raw data (stat): 20691 (bsolo_mis) R 20690 7876 7672 0 -1 0 8215 0 0 0 113896 121 0 0 25 0 1 0 810556678 37269504 8185 4294967295 134512640 134714540 3221221776 3221220352 134542812 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9099 8185 1111 63 0 9036 0
vsize: 36396
[startup+1150.06 s]
Raw data (loadavg): 0.99 0.97 0.96 3/55 20748
Raw data (stat): 20691 (bsolo_mis) R 20690 7876 7672 0 -1 0 8224 0 0 0 114896 122 0 0 25 0 1 0 810556678 37269504 8194 4294967295 134512640 134714540 3221221776 3221220360 134543600 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9099 8194 1111 63 0 9036 0
vsize: 36396
[startup+1160.06 s]
Raw data (loadavg): 0.99 0.97 0.96 3/55 20748
Raw data (stat): 20691 (bsolo_mis) R 20690 7876 7672 0 -1 0 8237 0 0 0 115895 122 0 0 25 0 1 0 810556678 37400576 8207 4294967295 134512640 134714540 3221221776 3221220396 134543615 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9131 8207 1111 63 0 9068 0
vsize: 36524
[startup+1170.06 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20748
Raw data (stat): 20691 (bsolo_mis) R 20690 7876 7672 0 -1 0 8253 0 0 0 116895 123 0 0 25 0 1 0 810556678 37400576 8223 4294967295 134512640 134714540 3221221776 3221220600 134621979 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9131 8223 1111 63 0 9068 0
vsize: 36524
[startup+1174.93 s]
Raw data (loadavg): 0.99 0.97 0.96 1/54 20748
Raw data (stat): 20691 (bsolo_mis) R 20690 7876 7672 0 -1 0 8253 0 0 0 116895 123 0 0 25 0 1 0 810556678 37400576 8223 4294967295 134512640 134714540 3221221776 3221220600 134621979 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9131 8223 1111 63 0 9068 0
vsize: 0

Child status: 10
Real time (s): 1174.93
CPU time (s): 1175.05
CPU user time (s): 1173.79
CPU system time (s): 1.25881
CPU usage (%): 100.011
Max. virtual memory (Kb): 36524
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-512
#### END VERIFIER DATA ####