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/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos16.opb
MD5SUM	44281820d2b00a47b643433ffa4e2d73
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	117
Optimality of the best value was proved	NO
Number of terms in the objective function	8
Biggest coefficient in the objective function	128
Number of bits for the biggest coefficient in the objective function	8
Sum of the numbers in the objective function	255
Number of bits of the sum of numbers in the objective function	8
Biggest number in a constraint	138
Number of bits of the biggest number in a constraint	8
Biggest sum of numbers in a constraint	535
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	5.96709
Number of variables	464
Total number of constraints	1395
Number of constraints which are clauses	336
Number of constraints which are cardinality constraints (but not clauses)	336
Number of constraints which are nor clauses,nor cardinality constraints	723
Minimum length of a constraint	1
Maximum length of a constraint	128
Trace number 28097

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc22 THE 2005-05-25 00:24:55 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=14589 boxname=wulflinc22 idbench=1123 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  44281820d2b00a47b643433ffa4e2d73  /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-20-10-neos16.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-20-10-neos16.opb
IDLAUNCH: 14589
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.031
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.031
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:        759736 kB
Buffers:         37148 kB
Cached:         204088 kB
SwapCached:      12200 kB
Active:          66056 kB
Inactive:       189536 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        759484 kB
SwapTotal:     2097892 kB
SwapFree:      2085472 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5780 kB
Slab:            13560 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 00:44:32 (client local time) WITH STATUS 10 IN 1175.9 SECONDS
stats: 14589 0 1175.9 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 464 variables and 1069 constraints.
c After prepocess the problem consists of 464 variables and 901 constraints.
c preprocess terminated 0.537 s
c Initial Lower Bound: 0
c Lower Bound Elapsed time: 0
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 120 @ 7.798
s SATISFIABLE
v -C0377_bit0 -C0377_bit1 -C0377_bit2 C0377_bit3 C0377_bit4 C0377_bit5 C0377_bit6 -C0377_bit7 C0337_bit0 C0337_bit1 -C0337_bit2 C0338_bit0 -C0338_bit1 -C0338_bit2 -C0339_bit0 -C0339_bit1 -C0339_bit2 -C0340_bit0 C0340_bit1 C0340_bit2 -C0341_bit0 C0341_bit1 -C0341_bit2 -C0342_bit0 -C0342_bit1 C0342_bit2 C0343_bit0 -C0343_bit1 C0343_bit2 -C0344_bit0 -C0344_bit1 C0344_bit2 C0345_bit0 -C0345_bit1 C0345_bit2 C0346_bit0 -C0346_bit1 -C0346_bit2 -C0347_bit0 -C0347_bit1 C0347_bit2 -C0348_bit0 -C0348_bit1 -C0348_bit2 C0349_bit0 -C0349_bit1 -C0349_bit2 -C0350_bit0 -C0350_bit1 C0350_bit2 C0351_bit0 C0351_bit1 -C0351_bit2 -C0352_bit0 C0352_bit1 C0352_bit2 C0353_bit0 -C0353_bit1 C0353_bit2 -C0354_bit0 C0354_bit1 -C0354_bit2 -C0355_bit0 C0355_bit1 -C0355_bit2 C0356_bit0 C0356_bit1 -C0356_bit2 C0357_bit0 -C0357_bit1 C0357_bit2 -C0358_bit0 C0358_bit1 C0358_bit2 -C0359_bit0 C0359_bit1 C0359_bit2 C0360_bit0 -C0360_bit1 C0360_bit2 -C0361_bit0 C0361_bit1 -C0361_bit2 C0362_bit0 -C0362_bit1 -C0362_bit2 -C0363_bit0 -C0363_bit1 C0363_bit2 C0364_bit0 C0364_bit1 -C0364_bit2 -C0365_bit0 -C0365_bit1 -C0365_bit2 C0366_bit0 -C0366_bit1 -C0366_bit2 C0367_bit0 -C0367_bit1 -C0367_bit2 C0368_bit0 C0368_bit1 -C0368_bit2 C0369_bit0 -C0369_bit1 -C0369_bit2 C0370_bit0 -C0370_bit1 C0370_bit2 -C0371_bit0 -C0371_bit1 C0371_bit2 -C0372_bit0 C0372_bit1 C0372_bit2 C0373_bit0 -C0373_bit1 -C0373_bit2 -C0374_bit0 -C0374_bit1 -C0374_bit2 -C0375_bit0 C0375_bit1 -C0375_bit2 C0376_bit0 C0376_bit1 -C0376_bit2 -C0001_bit0 -C0002_bit0 C0003_bit0 -C0004_bit0 C0005_bit0 C0006_bit0 -C0007_bit0 C0008_bit0 C0009_bit0 C0010_bit0 C0011_bit0 C0012_bit0 C0013_bit0 C0014_bit0 C0015_bit0 -C0016_bit0 -C0017_bit0 -C0018_bit0 C0019_bit0 C0020_bit0 C0021_bit0 C0022_bit0 C0023_bit0 C0024_bit0 C0025_bit0 C0026_bit0 C0027_bit0 C0028_bit0 C0029_bit0 C0030_bit0 C0031_bit0 C0032_bit0 -C0033_bit0 C0034_bit0 C0035_bit0 -C0036_bit0 C0037_bit0 C0038_bit0 -C0039_bit0 -C0040_bit0 -C0041_bit0 -C0042_bit0 -C0043_bit0 -C0044_bit0 -C0045_bit0 -C0046_bit0 -C0047_bit0 -C0048_bit0 -C0049_bit0 -C0050_bit0 -C0051_bit0 -C0052_bit0 -C0053_bit0 -C0054_bit0 C0055_bit0 C0056_bit0 -C0057_bit0 C0058_bit0 C0059_bit0 -C0060_bit0 -C0061_bit0 -C0062_bit0 -C0063_bit0 -C0064_bit0 C0065_bit0 -C0066_bit0 -C0067_bit0 -C0068_bit0 -C0069_bit0 C0070_bit0 -C0071_bit0 -C0072_bit0 -C0073_bit0 -C0074_bit0 -C0075_bit0 -C0076_bit0 -C0077_bit0 -C0078_bit0 -C0079_bit0 C0080_bit0 C0081_bit0 C0082_bit0 C0083_bit0 C0084_bit0 C0085_bit0 C0086_bit0 -C0087_bit0 C0088_bit0 -C0089_bit0 -C0090_bit0 C0091_bit0 -C0092_bit0 -C0093_bit0 -C0094_bit0 -C0095_bit0 -C0096_bit0 -C0097_bit0 -C0098_bit0 -C0099_bit0 C0100_bit0 C0101_bit0 C0102_bit0 -C0103_bit0 -C0104_bit0 -C0105_bit0 -C0106_bit0 -C0107_bit0 -C0108_bit0 -C0109_bit0 -C0110_bit0 -C0111_bit0 -C0112_bit0 -C0113_bit0 -C0114_bit0 -C0115_bit0 -C0116_bit0 C0117_bit0 -C0118_bit0 -C0119_bit0 C0120_bit0 -C0121_bit0 -C0122_bit0 C0123_bit0 C0124_bit0 C0125_bit0 C0126_bit0 C0127_bit0 C0128_bit0 C0129_bit0 C0130_bit0 C0131_bit0 C0132_bit0 C0133_bit0 C0134_bit0 C0135_bit0 C0136_bit0 C0137_bit0 C0138_bit0 -C0139_bit0 -C0140_bit0 C0141_bit0 -C0142_bit0 -C0143_bit0 C0144_bit0 C0145_bit0 C0146_bit0 C0147_bit0 C0148_bit0 -C0149_bit0 C0150_bit0 C0151_bit0 C0152_bit0 C0153_bit0 -C0154_bit0 C0155_bit0 C0156_bit0 C0157_bit0 C0158_bit0 C0159_bit0 C0160_bit0 C0161_bit0 C0162_bit0 C0163_bit0 -C0164_bit0 -C0165_bit0 -C0166_bit0 -C0167_bit0 -C0168_bit0 C0169_bit0 -C0170_bit0 -C0171_bit0 C0172_bit0 -C0173_bit0 C0174_bit0 -C0175_bit0 -C0176_bit0 C0177_bit0 -C0178_bit0 C0179_bit0 C0180_bit0 C0181_bit0 C0182_bit0 C0183_bit0 C0184_bit0 -C0185_bit0 C0186_bit0 -C0187_bit0 -C0188_bit0 C0189_bit0 C0190_bit0 C0191_bit0 C0192_bit0 C0193_bit0 C0194_bit0 C0195_bit0 -C0196_bit0 -C0197_bit0 -C0198_bit0 -C0199_bit0 C0200_bit0 -C0201_bit0 -C0202_bit0 -C0203_bit0 C0204_bit0 -C0205_bit0 -C0206_bit0 C0207_bit0 -C0208_bit0 C0209_bit0 C0210_bit0 -C0211_bit0 C0212_bit0 C0213_bit0 C0214_bit0 C0215_bit0 -C0216_bit0 C0217_bit0 C0218_bit0 C0219_bit0 C0220_bit0 -C0221_bit0 -C0222_bit0 -C0223_bit0 -C0224_bit0 -C0225_bit0 -C0226_bit0 -C0227_bit0 -C0228_bit0 -C0229_bit0 -C0230_bit0 -C0231_bit0 -C0232_bit0 -C0233_bit0 C0234_bit0 -C0235_bit0 -C0236_bit0 -C0237_bit0 -C0238_bit0 C0239_bit0 -C0240_bit0 -C0241_bit0 -C0242_bit0 C0243_bit0 -C0244_bit0 -C0245_bit0 C0246_bit0 -C0247_bit0 -C0248_bit0 -C0249_bit0 C0250_bit0 C0251_bit0 C0252_bit0 -C0253_bit0 C0254_bit0 C0255_bit0 -C0256_bit0 C0257_bit0 -C0258_bit0 C0259_bit0 C0260_bit0 -C0261_bit0 C0262_bit0 -C0263_bit0 -C0264_bit0 -C0265_bit0 -C0266_bit0 -C0267_bit0 -C0268_bit0 C0269_bit0 -C0270_bit0 C0271_bit0 C0272_bit0 -C0273_bit0 -C0274_bit0 -C0275_bit0 -C0276_bit0 -C0277_bit0 -C0278_bit0 -C0279_bit0 C0280_bit0 C0281_bit0 C0282_bit0 C0283_bit0 -C0284_bit0 C0285_bit0 C0286_bit0 C0287_bit0 -C0288_bit0 C0289_bit0 C0290_bit0 -C0291_bit0 C0292_bit0 -C0293_bit0 -C0294_bit0 C0295_bit0 -C0296_bit0 -C0297_bit0 -C0298_bit0 -C0299_bit0 C0300_bit0 -C0301_bit0 -C0302_bit0 -C0303_bit0 -C0304_bit0 C0305_bit0 C0306_bit0 C0307_bit0 C0308_bit0 C0309_bit0 C0310_bit0 C0311_bit0 C0312_bit0 C0313_bit0 C0314_bit0 C0315_bit0 C0316_bit0 C0317_bit0 -C0318_bit0 C0319_bit0 C0320_bit0 C0321_bit0 C0322_bit0 -C0323_bit0 C0324_bit0 C0325_bit0 C0326_bit0 -C0327_bit0 C0328_bit0 C0329_bit0 -C0330_bit0 C0331_bit0 C0332_bit0 C0333_bit0 -C0334_bit0 -C0335_bit0 -C0336_bit0 
c Exit Code: 10
c Total time: 1175.85 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.98 0.94 1/54 28809
Raw data (stat): 28809 (runsolver) D 28808 23310 23309 0 -1 64 4 0 0 0 0 0 0 0 18 0 1 0 834537935 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 3225161850 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.9996 s]
Raw data (loadavg): 0.93 0.98 0.94 2/54 28809
Raw data (stat): 28809 (bsolo_mis) R 28808 23310 23309 0 -1 0 3447 0 0 0 982 7 0 0 25 0 1 0 834537935 17743872 3423 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4332 3423 1111 63 0 4269 0
vsize: 17328
[startup+20.0083 s]
Raw data (loadavg): 0.94 0.98 0.94 2/54 28809
Raw data (stat): 28809 (bsolo_mis) R 28808 23310 23309 0 -1 0 3841 0 0 0 1982 9 0 0 25 0 1 0 834537935 19365888 3817 4294967295 134512640 134714540 3221224592 3221223344 134556650 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4728 3817 1111 63 0 4665 0
vsize: 18912
[startup+30.017 s]
Raw data (loadavg): 0.95 0.98 0.94 2/54 28809
Raw data (stat): 28809 (bsolo_mis) R 28808 23310 23309 0 -1 0 4253 0 0 0 2982 10 0 0 25 0 1 0 834537935 21127168 4229 4294967295 134512640 134714540 3221224592 3221223232 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5158 4229 1111 63 0 5095 0
vsize: 20632
[startup+40.0167 s]
Raw data (loadavg): 0.96 0.98 0.94 2/54 28809
Raw data (stat): 28809 (bsolo_mis) R 28808 23310 23309 0 -1 0 4677 0 0 0 3980 11 0 0 25 0 1 0 834537935 22769664 4653 4294967295 134512640 134714540 3221224592 3221223152 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5559 4653 1111 63 0 5496 0
vsize: 22236
[startup+50.0164 s]
Raw data (loadavg): 0.96 0.98 0.94 2/54 28809
Raw data (stat): 28809 (bsolo_mis) R 28808 23310 23309 0 -1 0 5040 0 0 0 4979 13 0 0 25 0 1 0 834537935 24272896 5015 4294967295 134512640 134714540 3221224592 3221223384 134536906 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5926 5015 1111 63 0 5863 0
vsize: 23704
[startup+60.0161 s]
Raw data (loadavg): 0.97 0.98 0.94 2/54 28809
Raw data (stat): 28809 (bsolo_mis) R 28808 23310 23309 0 -1 0 5216 0 0 0 5979 13 0 0 25 0 1 0 834537935 25092096 5191 4294967295 134512640 134714540 3221224592 3221223384 134542448 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6126 5191 1111 63 0 6063 0
vsize: 24504
[startup+70.0168 s]
Raw data (loadavg): 0.97 0.98 0.94 2/54 28809
Raw data (stat): 28809 (bsolo_mis) R 28808 23310 23309 0 -1 0 5557 0 0 0 6978 14 0 0 25 0 1 0 834537935 26443776 5531 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6456 5531 1111 63 0 6393 0
vsize: 25824
[startup+80.0165 s]
Raw data (loadavg): 0.98 0.98 0.94 2/54 28809
Raw data (stat): 28809 (bsolo_mis) R 28808 23310 23309 0 -1 0 5760 0 0 0 7977 15 0 0 25 0 1 0 834537935 27394048 5732 4294967295 134512640 134714540 3221224592 3221223260 134542828 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6688 5732 1111 63 0 6625 0
vsize: 26752
[startup+90.0163 s]
Raw data (loadavg): 0.98 0.98 0.94 2/54 28809
Raw data (stat): 28809 (bsolo_mis) R 28808 23310 23309 0 -1 0 5961 0 0 0 8977 16 0 0 25 0 1 0 834537935 28213248 5932 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6888 5932 1111 63 0 6825 0
vsize: 27552
[startup+100.016 s]
Raw data (loadavg): 0.98 0.98 0.94 2/54 28809
Raw data (stat): 28809 (bsolo_mis) R 28808 23310 23309 0 -1 0 6057 0 0 0 9977 16 0 0 25 0 1 0 834537935 28618752 6028 4294967295 134512640 134714540 3221224592 3221223248 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6987 6028 1111 63 0 6924 0
vsize: 27948
[startup+110.016 s]
Raw data (loadavg): 0.98 0.98 0.94 2/54 28809
Raw data (stat): 28809 (bsolo_mis) R 28808 23310 23309 0 -1 0 6357 0 0 0 10975 18 0 0 25 0 1 0 834537935 29859840 6327 4294967295 134512640 134714540 3221224592 3221223280 134542836 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7290 6327 1111 63 0 7227 0
vsize: 29160
[startup+120.016 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28809
Raw data (stat): 28809 (bsolo_mis) R 28808 23310 23309 0 -1 0 6683 0 0 0 11974 19 0 0 25 0 1 0 834537935 31215616 6653 4294967295 134512640 134714540 3221224592 3221223152 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7621 6653 1111 63 0 7558 0
vsize: 30484
[startup+130.016 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28809
Raw data (stat): 28809 (bsolo_mis) R 28808 23310 23309 0 -1 0 6925 0 0 0 12973 20 0 0 25 0 1 0 834537935 32161792 6895 4294967295 134512640 134714540 3221224592 3221223376 134558529 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7852 6895 1111 63 0 7789 0
vsize: 31408
[startup+140.016 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28809
Raw data (stat): 28809 (bsolo_mis) R 28808 23310 23309 0 -1 0 6972 0 0 0 13973 20 0 0 25 0 1 0 834537935 32436224 6940 4294967295 134512640 134714540 3221224592 3221223312 134622889 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7919 6940 1111 63 0 7856 0
vsize: 31676
[startup+150.016 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28809
Raw data (stat): 28809 (bsolo_mis) R 28808 23310 23309 0 -1 0 7055 0 0 0 14973 21 0 0 25 0 1 0 834537935 32722944 7022 4294967295 134512640 134714540 3221224592 3221223220 134696296 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7989 7022 1111 63 0 7926 0
vsize: 31956
[startup+160.016 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28809
Raw data (stat): 28809 (bsolo_mis) R 28808 23310 23309 0 -1 0 7401 0 0 0 15971 22 0 0 25 0 1 0 834537935 34246656 7363 4294967295 134512640 134714540 3221224592 3221223392 134622484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8361 7363 1111 63 0 8298 0
vsize: 33444
[startup+170.016 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28809
Raw data (stat): 28809 (bsolo_mis) R 28808 23310 23309 0 -1 0 7678 0 0 0 16970 24 0 0 25 0 1 0 834537935 35487744 7637 4294967295 134512640 134714540 3221224592 3221223396 134610916 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8664 7637 1111 63 0 8601 0
vsize: 34656
[startup+180.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28809
Raw data (stat): 28809 (bsolo_mis) R 28808 23310 23309 0 -1 0 7936 0 0 0 17969 25 0 0 25 0 1 0 834537935 36470784 7894 4294967295 134512640 134714540 3221224592 3221223144 134696493 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8904 7894 1111 63 0 8841 0
vsize: 35616
[startup+190.025 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28809
Raw data (stat): 28809 (bsolo_mis) R 28808 23310 23309 0 -1 0 8112 0 0 0 18970 26 0 0 25 0 1 0 834537935 37289984 8069 4294967295 134512640 134714540 3221224592 3221223100 134535900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9104 8069 1111 63 0 9041 0
vsize: 36416
[startup+200.025 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28809
Raw data (stat): 28809 (bsolo_mis) R 28808 23310 23309 0 -1 0 8345 0 0 0 19969 27 0 0 25 0 1 0 834537935 38301696 8298 4294967295 134512640 134714540 3221224592 3221223384 134536906 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9351 8298 1111 63 0 9288 0
vsize: 37404
[startup+210.025 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28809
Raw data (stat): 28809 (bsolo_mis) R 28808 23310 23309 0 -1 0 8475 0 0 0 20968 27 0 0 25 0 1 0 834537935 38875136 8428 4294967295 134512640 134714540 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9491 8428 1111 63 0 9428 0
vsize: 37964
[startup+220.035 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28809
Raw data (stat): 28809 (bsolo_mis) R 28808 23310 23309 0 -1 0 8603 0 0 0 21969 28 0 0 25 0 1 0 834537935 39448576 8553 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9631 8553 1111 63 0 9568 0
vsize: 38524
[startup+230.034 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28809
Raw data (stat): 28809 (bsolo_mis) R 28808 23310 23309 0 -1 0 8603 0 0 0 22969 28 0 0 25 0 1 0 834537935 39448576 8553 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9631 8553 1111 63 0 9568 0
vsize: 38524
[startup+240.034 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28809
Raw data (stat): 28809 (bsolo_mis) R 28808 23310 23309 0 -1 0 8605 0 0 0 23969 28 0 0 25 0 1 0 834537935 39448576 8555 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9631 8555 1111 63 0 9568 0
vsize: 38524
[startup+250.034 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28809
Raw data (stat): 28809 (bsolo_mis) R 28808 23310 23309 0 -1 0 8605 0 0 0 24969 28 0 0 25 0 1 0 834537935 39448576 8555 4294967295 134512640 134714540 3221224592 3221223316 134622883 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9631 8555 1111 63 0 9568 0
vsize: 38524
[startup+260.033 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28809
Raw data (stat): 28809 (bsolo_mis) R 28808 23310 23309 0 -1 0 8605 0 0 0 25969 28 0 0 25 0 1 0 834537935 39448576 8555 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9631 8555 1111 63 0 9568 0
vsize: 38524
[startup+270.033 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28809
Raw data (stat): 28809 (bsolo_mis) R 28808 23310 23309 0 -1 0 8605 0 0 0 26969 29 0 0 25 0 1 0 834537935 39448576 8555 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9631 8555 1111 63 0 9568 0
vsize: 38524
[startup+280.041 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28809
Raw data (stat): 28809 (bsolo_mis) R 28808 23310 23309 0 -1 0 8605 0 0 0 27970 29 0 0 25 0 1 0 834537935 39448576 8555 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9631 8555 1111 63 0 9568 0
vsize: 38524
[startup+290.049 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28809
Raw data (stat): 28809 (bsolo_mis) R 28808 23310 23309 0 -1 0 8605 0 0 0 28970 29 0 0 25 0 1 0 834537935 39448576 8555 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9631 8555 1111 63 0 9568 0
vsize: 38524
[startup+300.048 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28809
Raw data (stat): 28809 (bsolo_mis) R 28808 23310 23309 0 -1 0 8605 0 0 0 29970 29 0 0 25 0 1 0 834537935 39448576 8555 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9631 8555 1111 63 0 9568 0
vsize: 38524
[startup+310.048 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28809
Raw data (stat): 28809 (bsolo_mis) R 28808 23310 23309 0 -1 0 8605 0 0 0 30970 29 0 0 25 0 1 0 834537935 39448576 8555 4294967295 134512640 134714540 3221224592 3221223312 134622817 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9631 8555 1111 63 0 9568 0
vsize: 38524
[startup+320.048 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28809
Raw data (stat): 28809 (bsolo_mis) R 28808 23310 23309 0 -1 0 8605 0 0 0 31970 29 0 0 25 0 1 0 834537935 39448576 8555 4294967295 134512640 134714540 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9631 8555 1111 63 0 9568 0
vsize: 38524
[startup+330.053 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28809
Raw data (stat): 28809 (bsolo_mis) R 28808 23310 23309 0 -1 0 8605 0 0 0 32971 29 0 0 25 0 1 0 834537935 39448576 8555 4294967295 134512640 134714540 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9631 8555 1111 63 0 9568 0
vsize: 38524
[startup+340.065 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28809
Raw data (stat): 28809 (bsolo_mis) R 28808 23310 23309 0 -1 0 8605 0 0 0 33972 30 0 0 25 0 1 0 834537935 39448576 8555 4294967295 134512640 134714540 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9631 8555 1111 63 0 9568 0
vsize: 38524
[startup+350.065 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28809
Raw data (stat): 28809 (bsolo_mis) R 28808 23310 23309 0 -1 0 8605 0 0 0 34972 30 0 0 25 0 1 0 834537935 39448576 8555 4294967295 134512640 134714540 3221224592 3221223384 134542409 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9631 8555 1111 63 0 9568 0
vsize: 38524
[startup+360.065 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28809
Raw data (stat): 28809 (bsolo_mis) R 28808 23310 23309 0 -1 0 8807 0 0 0 35971 31 0 0 25 0 1 0 834537935 40267776 8755 4294967295 134512640 134714540 3221224592 3221223408 134622115 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9831 8755 1111 63 0 9768 0
vsize: 39324
[startup+370.064 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28809
Raw data (stat): 28809 (bsolo_mis) R 28808 23310 23309 0 -1 0 8986 0 0 0 36971 31 0 0 25 0 1 0 834537935 41078784 8931 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10029 8931 1111 63 0 9966 0
vsize: 40116
[startup+380.064 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 28809
Raw data (stat): 28809 (bsolo_mis) R 28808 23310 23309 0 -1 0 9206 0 0 0 37970 32 0 0 25 0 1 0 834537935 41906176 9150 4294967295 134512640 134714540 3221224592 3221223100 134535885 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10231 9150 1111 63 0 10168 0
vsize: 40924
[startup+390.079 s]
Raw data (loadavg): 1.07 1.00 0.94 2/54 28809
Raw data (stat): 28809 (bsolo_mis) R 28808 23310 23309 0 -1 0 9439 0 0 0 38970 34 0 0 25 0 1 0 834537935 42852352 9383 4294967295 134512640 134714540 3221224592 3221223312 134622884 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10462 9383 1111 63 0 10399 0
vsize: 41848
[startup+400.095 s]
Raw data (loadavg): 1.06 1.00 0.94 2/54 28809
Raw data (stat): 28809 (bsolo_mis) R 28808 23310 23309 0 -1 0 9456 0 0 0 39972 34 0 0 25 0 1 0 834537935 42987520 9400 4294967295 134512640 134714540 3221224592 3221223304 134543144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10495 9400 1111 63 0 10432 0
vsize: 41980
[startup+410.094 s]
Raw data (loadavg): 1.05 1.00 0.94 2/54 28809
Raw data (stat): 28809 (bsolo_mis) R 28808 23310 23309 0 -1 0 9725 0 0 0 40970 36 0 0 25 0 1 0 834537935 44072960 9667 4294967295 134512640 134714540 3221224592 3221223232 134539516 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10760 9667 1111 63 0 10697 0
vsize: 43040
[startup+420.094 s]
Raw data (loadavg): 1.04 1.00 0.94 2/54 28809
Raw data (stat): 28809 (bsolo_mis) R 28808 23310 23309 0 -1 0 9772 0 0 0 41970 37 0 0 25 0 1 0 834537935 44343296 9714 4294967295 134512640 134714540 3221224592 3221223220 134543092 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10826 9715 1111 63 0 10763 0
vsize: 43304
[startup+430.103 s]
Raw data (loadavg): 1.03 1.00 0.94 2/54 28809
Raw data (stat): 28809 (bsolo_mis) R 28808 23310 23309 0 -1 0 9977 0 0 0 42970 38 0 0 25 0 1 0 834537935 45182976 9914 4294967295 134512640 134714540 3221224592 3221222824 134613965 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11031 9914 1111 63 0 10968 0
vsize: 44124
[startup+440.102 s]
Raw data (loadavg): 1.03 1.00 0.94 2/54 28809
Raw data (stat): 28809 (bsolo_mis) R 28808 23310 23309 0 -1 0 10395 0 0 0 43968 39 0 0 25 0 1 0 834537935 46981120 10329 4294967295 134512640 134714540 3221224592 3221223304 134543144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11470 10329 1111 63 0 11407 0
vsize: 45880
[startup+450.102 s]
Raw data (loadavg): 1.02 1.00 0.94 2/54 28809
Raw data (stat): 28809 (bsolo_mis) R 28808 23310 23309 0 -1 0 10678 0 0 0 44967 41 0 0 25 0 1 0 834537935 48099328 10610 4294967295 134512640 134714540 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11743 10610 1111 63 0 11680 0
vsize: 46972
[startup+460.129 s]
Raw data (loadavg): 1.02 1.00 0.94 2/54 28809
Raw data (stat): 28809 (bsolo_mis) R 28808 23310 23309 0 -1 0 11358 0 0 0 45967 43 0 0 25 0 1 0 834537935 50851840 11286 4294967295 134512640 134714540 3221224592 3221223152 134542306 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12415 11286 1111 63 0 12352 0
vsize: 49660
[startup+470.147 s]
Raw data (loadavg): 1.02 1.00 0.94 2/54 28809
Raw data (stat): 28809 (bsolo_mis) R 28808 23310 23309 0 -1 0 11928 0 0 0 46967 45 0 0 25 0 1 0 834537935 53178368 11850 4294967295 134512640 134714540 3221224592 3221223328 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12983 11850 1111 63 0 12920 0
vsize: 51932
[startup+480.147 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 28809
Raw data (stat): 28809 (bsolo_mis) R 28808 23310 23309 0 -1 0 12449 0 0 0 47965 47 0 0 25 0 1 0 834537935 55545856 12364 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13561 12364 1111 63 0 13498 0
vsize: 54244
[startup+490.148 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 28809
Raw data (stat): 28809 (bsolo_mis) R 28808 23310 23309 0 -1 0 12852 0 0 0 48964 49 0 0 25 0 1 0 834537935 57253888 12754 4294967295 134512640 134714540 3221224592 3221223304 134558485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13978 12754 1111 63 0 13915 0
vsize: 55912
[startup+500.148 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 28809
Raw data (stat): 28809 (bsolo_mis) R 28808 23310 23309 0 -1 0 13148 0 0 0 49963 50 0 0 25 0 1 0 834537935 58576896 13038 4294967295 134512640 134714540 3221224592 3221223384 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14301 13038 1111 63 0 14238 0
vsize: 57204
[startup+510.148 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 28809
Raw data (stat): 28809 (bsolo_mis) R 28808 23310 23309 0 -1 0 13383 0 0 0 50963 50 0 0 25 0 1 0 834537935 59547648 13272 4294967295 134512640 134714540 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14538 13272 1111 63 0 14475 0
vsize: 58152
[startup+520.162 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28809
Raw data (stat): 28809 (bsolo_mis) R 28808 23310 23309 0 -1 0 13495 0 0 0 51964 51 0 0 25 0 1 0 834537935 60088320 13380 4294967295 134512640 134714540 3221224592 3221223308 134543156 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14670 13380 1111 63 0 14607 0
vsize: 58680
[startup+530.162 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28809
Raw data (stat): 28809 (bsolo_mis) R 28808 23310 23309 0 -1 0 13628 0 0 0 52963 52 0 0 25 0 1 0 834537935 60628992 13513 4294967295 134512640 134714540 3221224592 3221223384 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14802 13513 1111 63 0 14739 0
vsize: 59208
[startup+540.27 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28809
Raw data (stat): 28809 (bsolo_mis) R 28808 23310 23309 0 -1 0 13843 0 0 0 53973 53 0 0 25 0 1 0 834537935 61444096 13728 4294967295 134512640 134714540 3221224592 3221223408 134622335 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15001 13728 1111 63 0 14938 0
vsize: 60004
[startup+550.27 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28809
Raw data (stat): 28809 (bsolo_mis) R 28808 23310 23309 0 -1 0 14061 0 0 0 54972 54 0 0 25 0 1 0 834537935 62296064 13940 4294967295 134512640 134714540 3221224592 3221223320 134622828 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15209 13940 1111 63 0 15146 0
vsize: 60836
[startup+560.27 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28809
Raw data (stat): 28809 (bsolo_mis) R 28808 23310 23309 0 -1 0 14345 0 0 0 55971 55 0 0 25 0 1 0 834537935 63627264 14216 4294967295 134512640 134714540 3221224592 3221223388 134543540 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15534 14216 1111 63 0 15471 0
vsize: 62136
[startup+570.279 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28809
Raw data (stat): 28809 (bsolo_mis) R 28808 23310 23309 0 -1 0 14553 0 0 0 56971 56 0 0 25 0 1 0 834537935 64479232 14423 4294967295 134512640 134714540 3221224592 3221223384 134542414 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15742 14423 1111 63 0 15679 0
vsize: 62968
[startup+580.279 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28809
Raw data (stat): 28809 (bsolo_mis) R 28808 23310 23309 0 -1 0 14669 0 0 0 57971 57 0 0 25 0 1 0 834537935 64958464 14534 4294967295 134512640 134714540 3221224592 3221223408 134610886 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15859 14534 1111 63 0 15796 0
vsize: 63436
[startup+590.279 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28809
Raw data (stat): 28809 (bsolo_mis) R 28808 23310 23309 0 -1 0 14923 0 0 0 58970 58 0 0 25 0 1 0 834537935 65933312 14786 4294967295 134512640 134714540 3221224592 3221223316 134622811 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16097 14786 1111 63 0 16034 0
vsize: 64388
[startup+600.279 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28809
Raw data (stat): 28809 (bsolo_mis) R 28808 23310 23309 0 -1 0 15393 0 0 0 59969 59 0 0 25 0 1 0 834537935 68042752 15245 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16612 15245 1111 63 0 16549 0
vsize: 66448
[startup+610.284 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28809
Raw data (stat): 28809 (bsolo_mis) R 28808 23310 23309 0 -1 0 15605 0 0 0 60969 60 0 0 25 0 1 0 834537935 68870144 15457 4294967295 134512640 134714540 3221224592 3221223408 134622261 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16814 15457 1111 63 0 16751 0
vsize: 67256
[startup+620.284 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28809
Raw data (stat): 28809 (bsolo_mis) R 28808 23310 23309 0 -1 0 15765 0 0 0 61968 61 0 0 25 0 1 0 834537935 69545984 15617 4294967295 134512640 134714540 3221224592 3221223316 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16979 15617 1111 63 0 16916 0
vsize: 67916
[startup+630.285 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28809
Raw data (stat): 28809 (bsolo_mis) R 28808 23310 23309 0 -1 0 16221 0 0 0 62967 62 0 0 25 0 1 0 834537935 71372800 16067 4294967295 134512640 134714540 3221224592 3221223368 134542401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17425 16067 1111 63 0 17362 0
vsize: 69700
[startup+640.292 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28809
Raw data (stat): 28809 (bsolo_mis) R 28808 23310 23309 0 -1 0 16485 0 0 0 63966 64 0 0 25 0 1 0 834537935 72507392 16326 4294967295 134512640 134714540 3221224592 3221223132 134535967 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17702 16326 1111 63 0 17639 0
vsize: 70808
[startup+650.292 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28809
Raw data (stat): 28809 (bsolo_mis) R 28808 23310 23309 0 -1 0 16676 0 0 0 64966 64 0 0 25 0 1 0 834537935 73359360 16514 4294967295 134512640 134714540 3221224592 3221223308 134543124 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17910 16514 1111 63 0 17847 0
vsize: 71640
[startup+660.292 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28809
Raw data (stat): 28809 (bsolo_mis) R 28808 23310 23309 0 -1 0 16860 0 0 0 65965 65 0 0 25 0 1 0 834537935 74076160 16692 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18085 16692 1111 63 0 18022 0
vsize: 72340
[startup+670.298 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28809
Raw data (stat): 28809 (bsolo_mis) R 28808 23310 23309 0 -1 0 16923 0 0 0 66965 66 0 0 25 0 1 0 834537935 74424320 16751 4294967295 134512640 134714540 3221224592 3221223308 134558476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18170 16751 1111 63 0 18107 0
vsize: 72680
[startup+680.299 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28809
Raw data (stat): 28809 (bsolo_mis) R 28808 23310 23309 0 -1 0 17040 0 0 0 67965 66 0 0 25 0 1 0 834537935 75022336 16860 4294967295 134512640 134714540 3221224592 3221223260 134535978 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18316 16860 1111 63 0 18253 0
vsize: 73264
[startup+690.3 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28809
Raw data (stat): 28809 (bsolo_mis) R 28808 23310 23309 0 -1 0 17232 0 0 0 68965 67 0 0 25 0 1 0 834537935 75751424 17048 4294967295 134512640 134714540 3221224592 3221223304 134543191 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18494 17048 1111 63 0 18431 0
vsize: 73976
[startup+700.3 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28809
Raw data (stat): 28809 (bsolo_mis) R 28808 23310 23309 0 -1 0 17402 0 0 0 69964 68 0 0 25 0 1 0 834537935 76427264 17217 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18659 17217 1111 63 0 18596 0
vsize: 74636
[startup+710.3 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28809
Raw data (stat): 28809 (bsolo_mis) R 28808 23310 23309 0 -1 0 17491 0 0 0 70964 68 0 0 25 0 1 0 834537935 76832768 17306 4294967295 134512640 134714540 3221224592 3221223304 134543144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18758 17306 1111 63 0 18695 0
vsize: 75032
[startup+720.3 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28809
Raw data (stat): 28809 (bsolo_mis) R 28808 23310 23309 0 -1 0 17786 0 0 0 71963 69 0 0 25 0 1 0 834537935 78077952 17597 4294967295 134512640 134714540 3221224592 3221223396 134622373 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19062 17597 1111 63 0 18999 0
vsize: 76248
[startup+730.3 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28809
Raw data (stat): 28809 (bsolo_mis) R 28808 23310 23309 0 -1 0 18122 0 0 0 72962 70 0 0 25 0 1 0 834537935 79466496 17916 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19401 17916 1111 63 0 19338 0
vsize: 77604
[startup+740.301 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28809
Raw data (stat): 28809 (bsolo_mis) R 28808 23310 23309 0 -1 0 18286 0 0 0 73962 70 0 0 25 0 1 0 834537935 80142336 18080 4294967295 134512640 134714540 3221224592 3221223148 134539237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19566 18080 1111 63 0 19503 0
vsize: 78264
[startup+750.3 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28809
Raw data (stat): 28809 (bsolo_mis) R 28808 23310 23309 0 -1 0 18465 0 0 0 74962 71 0 0 25 0 1 0 834537935 80957440 18255 4294967295 134512640 134714540 3221224592 3221223320 134622758 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19765 18255 1111 63 0 19702 0
vsize: 79060
[startup+760.308 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28809
Raw data (stat): 28809 (bsolo_mis) R 28808 23310 23309 0 -1 0 18749 0 0 0 75961 72 0 0 25 0 1 0 834537935 82272256 18527 4294967295 134512640 134714540 3221224592 3221223320 134558571 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20086 18527 1111 63 0 20023 0
vsize: 80344
[startup+770.309 s]
Raw data (loadavg): 1.08 1.02 0.95 2/54 28809
Raw data (stat): 28809 (bsolo_mis) R 28808 23310 23309 0 -1 0 18922 0 0 0 76961 72 0 0 25 0 1 0 834537935 82845696 18699 4294967295 134512640 134714540 3221224592 3221223384 134536900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20226 18699 1111 63 0 20163 0
vsize: 80904
[startup+780.308 s]
Raw data (loadavg): 1.14 1.03 0.95 2/54 28809
Raw data (stat): 28809 (bsolo_mis) R 28808 23310 23309 0 -1 0 19005 0 0 0 77961 73 0 0 25 0 1 0 834537935 83251200 18781 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20325 18781 1111 63 0 20262 0
vsize: 81300
[startup+790.308 s]
Raw data (loadavg): 1.12 1.03 0.95 2/54 28809
Raw data (stat): 28809 (bsolo_mis) R 28808 23310 23309 0 -1 0 19050 0 0 0 78961 73 0 0 25 0 1 0 834537935 83386368 18826 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20358 18826 1111 63 0 20295 0
vsize: 81432
[startup+800.308 s]
Raw data (loadavg): 1.10 1.03 0.95 2/54 28809
Raw data (stat): 28809 (bsolo_mis) R 28808 23310 23309 0 -1 0 19206 0 0 0 79960 74 0 0 25 0 1 0 834537935 84074496 18978 4294967295 134512640 134714540 3221224592 3221223316 134622760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20526 18978 1111 63 0 20463 0
vsize: 82104
[startup+810.308 s]
Raw data (loadavg): 1.08 1.03 0.95 2/54 28809
Raw data (stat): 28809 (bsolo_mis) R 28808 23310 23309 0 -1 0 19469 0 0 0 80960 74 0 0 25 0 1 0 834537935 85270528 19231 4294967295 134512640 134714540 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20818 19231 1111 63 0 20755 0
vsize: 83272
[startup+820.309 s]
Raw data (loadavg): 1.07 1.03 0.95 2/54 28809
Raw data (stat): 28809 (bsolo_mis) R 28808 23310 23309 0 -1 0 19616 0 0 0 81960 75 0 0 25 0 1 0 834537935 85811200 19378 4294967295 134512640 134714540 3221224592 3221223124 134543025 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20950 19378 1111 63 0 20887 0
vsize: 83800
[startup+830.315 s]
Raw data (loadavg): 1.06 1.03 0.95 2/54 28809
Raw data (stat): 28809 (bsolo_mis) R 28808 23310 23309 0 -1 0 19761 0 0 0 82960 75 0 0 25 0 1 0 834537935 86351872 19523 4294967295 134512640 134714540 3221224592 3221223316 134622760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21082 19523 1111 63 0 21019 0
vsize: 84328
[startup+840.315 s]
Raw data (loadavg): 1.05 1.02 0.95 2/54 28809
Raw data (stat): 28809 (bsolo_mis) R 28808 23310 23309 0 -1 0 19832 0 0 0 83960 76 0 0 25 0 1 0 834537935 86622208 19594 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21148 19594 1111 63 0 21085 0
vsize: 84592
[startup+850.317 s]
Raw data (loadavg): 1.04 1.02 0.95 2/54 28809
Raw data (stat): 28809 (bsolo_mis) R 28808 23310 23309 0 -1 0 19953 0 0 0 84960 76 0 0 25 0 1 0 834537935 87162880 19715 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21280 19715 1111 63 0 21217 0
vsize: 85120
[startup+860.325 s]
Raw data (loadavg): 1.04 1.02 0.95 2/54 28809
Raw data (stat): 28809 (bsolo_mis) R 28808 23310 23309 0 -1 0 20116 0 0 0 85960 77 0 0 25 0 1 0 834537935 87838720 19878 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21445 19878 1111 63 0 21382 0
vsize: 85780
[startup+870.326 s]
Raw data (loadavg): 1.03 1.02 0.95 2/54 28809
Raw data (stat): 28809 (bsolo_mis) R 28808 23310 23309 0 -1 0 20167 0 0 0 86959 78 0 0 25 0 1 0 834537935 87973888 19929 4294967295 134512640 134714540 3221224592 3221223384 134536921 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21478 19929 1111 63 0 21415 0
vsize: 85912
[startup+880.326 s]
Raw data (loadavg): 1.02 1.02 0.95 2/54 28809
Raw data (stat): 28809 (bsolo_mis) R 28808 23310 23309 0 -1 0 20306 0 0 0 87959 78 0 0 25 0 1 0 834537935 88535040 20067 4294967295 134512640 134714540 3221224592 3221223384 134542412 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21615 20067 1111 63 0 21552 0
vsize: 86460
[startup+890.331 s]
Raw data (loadavg): 1.02 1.02 0.95 2/54 28809
Raw data (stat): 28809 (bsolo_mis) R 28808 23310 23309 0 -1 0 20427 0 0 0 88959 79 0 0 25 0 1 0 834537935 89112576 20187 4294967295 134512640 134714540 3221224592 3221223396 134622157 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21756 20187 1111 63 0 21693 0
vsize: 87024
[startup+900.331 s]
Raw data (loadavg): 1.02 1.02 0.95 2/54 28809
Raw data (stat): 28809 (bsolo_mis) R 28808 23310 23309 0 -1 0 20635 0 0 0 89959 80 0 0 25 0 1 0 834537935 89923584 20393 4294967295 134512640 134714540 3221224592 3221223328 134622896 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21954 20393 1111 63 0 21891 0
vsize: 87816
[startup+910.367 s]
Raw data (loadavg): 1.01 1.02 0.95 2/54 28809
Raw data (stat): 28809 (bsolo_mis) R 28808 23310 23309 0 -1 0 20878 0 0 0 90961 81 0 0 25 0 1 0 834537935 91054080 20630 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22230 20630 1111 63 0 22167 0
vsize: 88920
[startup+920.37 s]
Raw data (loadavg): 1.01 1.02 0.95 2/54 28809
Raw data (stat): 28809 (bsolo_mis) R 28808 23310 23309 0 -1 0 21119 0 0 0 91961 82 0 0 25 0 1 0 834537935 92000256 20871 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22461 20871 1111 63 0 22398 0
vsize: 89844
[startup+930.369 s]
Raw data (loadavg): 1.01 1.02 0.95 2/54 28809
Raw data (stat): 28809 (bsolo_mis) R 28808 23310 23309 0 -1 0 21119 0 0 0 92961 82 0 0 25 0 1 0 834537935 92000256 20871 4294967295 134512640 134714540 3221224592 3221223384 134558485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22461 20871 1111 63 0 22398 0
vsize: 89844
[startup+940.369 s]
Raw data (loadavg): 1.01 1.01 0.95 2/54 28809
Raw data (stat): 28809 (bsolo_mis) R 28808 23310 23309 0 -1 0 21119 0 0 0 93961 82 0 0 25 0 1 0 834537935 92000256 20871 4294967295 134512640 134714540 3221224592 3221223312 134622865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22461 20871 1111 63 0 22398 0
vsize: 89844
[startup+950.37 s]
Raw data (loadavg): 1.01 1.01 0.95 2/54 28809
Raw data (stat): 28809 (bsolo_mis) R 28808 23310 23309 0 -1 0 21210 0 0 0 94960 83 0 0 25 0 1 0 834537935 92315648 20958 4294967295 134512640 134714540 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22538 20958 1111 63 0 22475 0
vsize: 90152
[startup+960.369 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 28809
Raw data (stat): 28809 (bsolo_mis) R 28808 23310 23309 0 -1 0 21327 0 0 0 95960 83 0 0 25 0 1 0 834537935 92856320 21075 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22670 21075 1111 63 0 22607 0
vsize: 90680
[startup+970.375 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 28809
Raw data (stat): 28809 (bsolo_mis) R 28808 23310 23309 0 -1 0 21646 0 0 0 96960 84 0 0 25 0 1 0 834537935 94072832 21393 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22967 21393 1111 63 0 22904 0
vsize: 91868
[startup+980.48 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 28809
Raw data (stat): 28809 (bsolo_mis) R 28808 23310 23309 0 -1 0 21681 0 0 0 97970 84 0 0 25 0 1 0 834537935 94208000 21428 4294967295 134512640 134714540 3221224592 3221223328 134622796 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23000 21428 1111 63 0 22937 0
vsize: 92000
[startup+990.485 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 28809
Raw data (stat): 28809 (bsolo_mis) R 28808 23310 23309 0 -1 0 21795 0 0 0 98970 85 0 0 25 0 1 0 834537935 94748672 21542 4294967295 134512640 134714540 3221224592 3221223152 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23132 21542 1111 63 0 23069 0
vsize: 92528
[startup+1000.52 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 28809
Raw data (stat): 28809 (bsolo_mis) R 28808 23310 23309 0 -1 0 21915 0 0 0 99974 85 0 0 25 0 1 0 834537935 95166464 21658 4294967295 134512640 134714540 3221224592 3221223148 134539324 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23234 21658 1111 63 0 23171 0
vsize: 92936
[startup+1010.52 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 28809
Raw data (stat): 28809 (bsolo_mis) R 28808 23310 23309 0 -1 0 22030 0 0 0 100973 86 0 0 25 0 1 0 834537935 95784960 21769 4294967295 134512640 134714540 3221224592 3221223308 134543192 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23385 21769 1111 63 0 23322 0
vsize: 93540
[startup+1020.52 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 28809
Raw data (stat): 28809 (bsolo_mis) R 28808 23310 23309 0 -1 0 22140 0 0 0 101973 87 0 0 25 0 1 0 834537935 96190464 21879 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23484 21879 1111 63 0 23421 0
vsize: 93936
[startup+1030.52 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 28809
Raw data (stat): 28809 (bsolo_mis) R 28808 23310 23309 0 -1 0 22241 0 0 0 102973 87 0 0 25 0 1 0 834537935 96665600 21971 4294967295 134512640 134714540 3221224592 3221223392 134622358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23600 21971 1111 63 0 23537 0
vsize: 94400
[startup+1040.53 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 28809
Raw data (stat): 28809 (bsolo_mis) R 28808 23310 23309 0 -1 0 22344 0 0 0 103973 88 0 0 25 0 1 0 834537935 97071104 22074 4294967295 134512640 134714540 3221224592 3221223304 134558485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23699 22074 1111 63 0 23636 0
vsize: 94796
[startup+1050.53 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 28809
Raw data (stat): 28809 (bsolo_mis) R 28808 23310 23309 0 -1 0 22408 0 0 0 104973 88 0 0 25 0 1 0 834537935 97341440 22138 4294967295 134512640 134714540 3221224592 3221223312 134622865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23765 22138 1111 63 0 23702 0
vsize: 95060
[startup+1060.54 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 28809
Raw data (stat): 28809 (bsolo_mis) R 28808 23310 23309 0 -1 0 22514 0 0 0 105974 88 0 0 25 0 1 0 834537935 97746944 22240 4294967295 134512640 134714540 3221224592 3221223308 134558476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23864 22240 1111 63 0 23801 0
vsize: 95456
[startup+1070.54 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 28809
Raw data (stat): 28809 (bsolo_mis) R 28808 23310 23309 0 -1 0 22601 0 0 0 106973 89 0 0 25 0 1 0 834537935 98181120 22323 4294967295 134512640 134714540 3221224592 3221223408 134622625 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23970 22323 1111 63 0 23907 0
vsize: 95880
[startup+1080.54 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 28809
Raw data (stat): 28809 (bsolo_mis) R 28808 23310 23309 0 -1 0 22739 0 0 0 107973 89 0 0 25 0 1 0 834537935 98721792 22460 4294967295 134512640 134714540 3221224592 3221223288 134528705 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24102 22460 1111 63 0 24039 0
vsize: 96408
[startup+1090.55 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 28809
Raw data (stat): 28809 (bsolo_mis) R 28808 23310 23309 0 -1 0 22787 0 0 0 108974 89 0 0 25 0 1 0 834537935 98856960 22508 4294967295 134512640 134714540 3221224592 3221223396 134611046 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24135 22508 1111 63 0 24072 0
vsize: 96540
[startup+1100.55 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 28809
Raw data (stat): 28809 (bsolo_mis) R 28808 23310 23309 0 -1 0 22942 0 0 0 109973 90 0 0 25 0 1 0 834537935 99602432 22659 4294967295 134512640 134714540 3221224592 3221223296 134528538 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24317 22659 1111 63 0 24254 0
vsize: 97268
[startup+1110.55 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 28809
Raw data (stat): 28809 (bsolo_mis) R 28808 23310 23309 0 -1 0 23185 0 0 0 110971 91 0 0 25 0 1 0 834537935 100491264 22898 4294967295 134512640 134714540 3221224592 3221223232 134536657 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24534 22898 1111 63 0 24471 0
vsize: 98136
[startup+1120.55 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 28809
Raw data (stat): 28809 (bsolo_mis) R 28808 23310 23309 0 -1 0 23227 0 0 0 111971 92 0 0 25 0 1 0 834537935 100761600 22940 4294967295 134512640 134714540 3221224592 3221223368 134542416 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24600 22940 1111 63 0 24537 0
vsize: 98400
[startup+1130.56 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 28809
Raw data (stat): 28809 (bsolo_mis) R 28808 23310 23309 0 -1 0 23290 0 0 0 112972 92 0 0 25 0 1 0 834537935 101031936 23003 4294967295 134512640 134714540 3221224592 3221223384 134536900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24666 23003 1111 63 0 24603 0
vsize: 98664
[startup+1140.56 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 28809
Raw data (stat): 28809 (bsolo_mis) R 28808 23310 23309 0 -1 0 23332 0 0 0 113972 93 0 0 25 0 1 0 834537935 101224448 23041 4294967295 134512640 134714540 3221224592 3221223384 134536921 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24713 23041 1111 63 0 24650 0
vsize: 98852
[startup+1150.57 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 28809
Raw data (stat): 28809 (bsolo_mis) R 28808 23310 23309 0 -1 0 23486 0 0 0 114972 93 0 0 25 0 1 0 834537935 101765120 23195 4294967295 134512640 134714540 3221224592 3221223320 134622828 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24845 23195 1111 63 0 24782 0
vsize: 99380
[startup+1160.57 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 28809
Raw data (stat): 28809 (bsolo_mis) R 28808 23310 23309 0 -1 0 23600 0 0 0 115972 94 0 0 25 0 1 0 834537935 102170624 23309 4294967295 134512640 134714540 3221224592 3221223408 134610880 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24944 23309 1111 63 0 24881 0
vsize: 99776
[startup+1170.57 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 28809
Raw data (stat): 28809 (bsolo_mis) R 28808 23310 23309 0 -1 0 23786 0 0 0 116971 95 0 0 25 0 1 0 834537935 102981632 23495 4294967295 134512640 134714540 3221224592 3221223304 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25142 23495 1111 63 0 25079 0
vsize: 100568
[startup+1175.82 s]
Raw data (loadavg): 1.00 1.00 0.95 1/53 28809
Raw data (stat): 28809 (bsolo_mis) R 28808 23310 23309 0 -1 0 23786 0 0 0 116971 95 0 0 25 0 1 0 834537935 102981632 23495 4294967295 134512640 134714540 3221224592 3221223304 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25142 23495 1111 63 0 25079 0
vsize: 0

Child status: 10
Real time (s): 1175.82
CPU time (s): 1175.9
CPU user time (s): 1174.9
CPU system time (s): 0.996848
CPU usage (%): 100.006
Max. virtual memory (Kb): 100568
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	120
#### END VERIFIER DATA ####