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/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-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	6.02808
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 25488

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-19 20:46:48 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19594 boxname=wulflinc31 idbench=1508 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  44281820d2b00a47b643433ffa4e2d73  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-neos16.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-neos16.opb
IDLAUNCH: 19594
/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:        902360 kB
Buffers:          9908 kB
Cached:         102256 kB
SwapCached:        920 kB
Active:          44548 kB
Inactive:        69716 kB
HighTotal:      131008 kB
HighFree:        26572 kB
LowTotal:       903652 kB
LowFree:        875788 kB
SwapTotal:     2097892 kB
SwapFree:      2095972 kB
Dirty:             100 kB
Writeback:           0 kB
Mapped:           5088 kB
Slab:            12452 kB
Committed_AS:    63820 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-19 21:06:25 (client local time) WITH STATUS 10 IN 1175.59 SECONDS
stats: 19594 0 1175.59 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.549 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.895
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.52 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.99 1.00 0.97 2/55 24938
Raw data (stat): 24938 (runsolver) R 24937 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 790005466 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0007 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 24938
Raw data (stat): 24938 (bsolo_mis) R 24937 7876 7672 0 -1 0 3440 0 0 0 985 11 0 0 25 0 1 0 790005466 17743872 3415 4294967295 134512640 134714540 3221221776 3221220280 134613962 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4332 3415 1111 63 0 4269 0
vsize: 17328
[startup+20.0015 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 24938
Raw data (stat): 24938 (bsolo_mis) R 24937 7876 7672 0 -1 0 3824 0 0 0 1984 13 0 0 25 0 1 0 790005466 19230720 3799 4294967295 134512640 134714540 3221221776 3221220568 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4695 3799 1111 63 0 4632 0
vsize: 18780
[startup+30.0025 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 24938
Raw data (stat): 24938 (bsolo_mis) R 24937 7876 7672 0 -1 0 4245 0 0 0 2982 15 0 0 25 0 1 0 790005466 20992000 4220 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5125 4220 1111 63 0 5062 0
vsize: 20500
[startup+40.0033 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 24938
Raw data (stat): 24938 (bsolo_mis) R 24937 7876 7672 0 -1 0 4660 0 0 0 3980 16 0 0 25 0 1 0 790005466 22769664 4635 4294967295 134512640 134714540 3221221776 3221220568 134536901 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5559 4635 1111 63 0 5496 0
vsize: 22236
[startup+50.0033 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 24938
Raw data (stat): 24938 (bsolo_mis) R 24937 7876 7672 0 -1 0 5041 0 0 0 4980 18 0 0 25 0 1 0 790005466 24272896 5015 4294967295 134512640 134714540 3221221776 3221220572 134558476 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5926 5015 1111 63 0 5863 0
vsize: 23704
[startup+60.0042 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 24938
Raw data (stat): 24938 (bsolo_mis) R 24937 7876 7672 0 -1 0 5194 0 0 0 5979 18 0 0 25 0 1 0 790005466 24956928 5168 4294967295 134512640 134714540 3221221776 3221220580 134610916 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6093 5168 1111 63 0 6030 0
vsize: 24372
[startup+70.0051 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 24938
Raw data (stat): 24938 (bsolo_mis) R 24937 7876 7672 0 -1 0 5522 0 0 0 6979 19 0 0 25 0 1 0 790005466 26308608 5495 4294967295 134512640 134714540 3221221776 3221220528 134558507 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6423 5495 1111 63 0 6360 0
vsize: 25692
[startup+80.006 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 24938
Raw data (stat): 24938 (bsolo_mis) R 24937 7876 7672 0 -1 0 5738 0 0 0 7978 20 0 0 25 0 1 0 790005466 27258880 5709 4294967295 134512640 134714540 3221221776 3221220512 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6655 5709 1111 63 0 6592 0
vsize: 26620
[startup+90.006 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 24938
Raw data (stat): 24938 (bsolo_mis) R 24937 7876 7672 0 -1 0 5945 0 0 0 8977 21 0 0 25 0 1 0 790005466 28078080 5915 4294967295 134512640 134714540 3221221776 3221220504 134622752 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6855 5915 1111 63 0 6792 0
vsize: 27420
[startup+100.006 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 24938
Raw data (stat): 24938 (bsolo_mis) R 24937 7876 7672 0 -1 0 6043 0 0 0 9976 22 0 0 25 0 1 0 790005466 28483584 6013 4294967295 134512640 134714540 3221221776 3221220488 134558490 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6954 6013 1111 63 0 6891 0
vsize: 27816
[startup+110.007 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 24938
Raw data (stat): 24938 (bsolo_mis) R 24937 7876 7672 0 -1 0 6316 0 0 0 10975 23 0 0 25 0 1 0 790005466 29708288 6285 4294967295 134512640 134714540 3221221776 3221220660 134621571 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7253 6285 1111 63 0 7190 0
vsize: 29012
[startup+120.008 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 24938
Raw data (stat): 24938 (bsolo_mis) R 24937 7876 7672 0 -1 0 6658 0 0 0 11975 24 0 0 25 0 1 0 790005466 31080448 6627 4294967295 134512640 134714540 3221221776 3221220488 134558482 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7588 6627 1111 63 0 7525 0
vsize: 30352
[startup+130.009 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 24938
Raw data (stat): 24938 (bsolo_mis) R 24937 7876 7672 0 -1 0 6882 0 0 0 12974 25 0 0 25 0 1 0 790005466 32026624 6851 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7819 6851 1111 63 0 7756 0
vsize: 31276
[startup+140.01 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 24938
Raw data (stat): 24938 (bsolo_mis) R 24937 7876 7672 0 -1 0 6973 0 0 0 13974 25 0 0 25 0 1 0 790005466 32436224 6940 4294967295 134512640 134714540 3221221776 3221220592 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7919 6940 1111 63 0 7856 0
vsize: 31676
[startup+150.01 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 24938
Raw data (stat): 24938 (bsolo_mis) R 24937 7876 7672 0 -1 0 7039 0 0 0 14974 25 0 0 25 0 1 0 790005466 32722944 7005 4294967295 134512640 134714540 3221221776 3221220592 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7989 7005 1111 63 0 7926 0
vsize: 31956
[startup+160.011 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 24938
Raw data (stat): 24938 (bsolo_mis) R 24937 7876 7672 0 -1 0 7325 0 0 0 15973 27 0 0 25 0 1 0 790005466 33976320 7286 4294967295 134512640 134714540 3221221776 3221220488 134543157 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8295 7286 1111 63 0 8232 0
vsize: 33180
[startup+170.012 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 24938
Raw data (stat): 24938 (bsolo_mis) R 24937 7876 7672 0 -1 0 7633 0 0 0 16971 29 0 0 25 0 1 0 790005466 35217408 7591 4294967295 134512640 134714540 3221221776 3221220416 134539376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8598 7591 1111 63 0 8535 0
vsize: 34392
[startup+180.012 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 24938
Raw data (stat): 24938 (bsolo_mis) R 24937 7876 7672 0 -1 0 7932 0 0 0 17970 30 0 0 25 0 1 0 790005466 36470784 7889 4294967295 134512640 134714540 3221221776 3221220568 134536889 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8904 7889 1111 63 0 8841 0
vsize: 35616
[startup+190.012 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 24938
Raw data (stat): 24938 (bsolo_mis) R 24937 7876 7672 0 -1 0 8081 0 0 0 18969 31 0 0 25 0 1 0 790005466 37154816 8037 4294967295 134512640 134714540 3221221776 3221220260 134697231 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9071 8037 1111 63 0 9008 0
vsize: 36284
[startup+200.013 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 24938
Raw data (stat): 24938 (bsolo_mis) R 24937 7876 7672 0 -1 0 8314 0 0 0 19968 32 0 0 25 0 1 0 790005466 38166528 8268 4294967295 134512640 134714540 3221221776 3221220512 134622896 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9318 8268 1111 63 0 9255 0
vsize: 37272
[startup+210.014 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 24938
Raw data (stat): 24938 (bsolo_mis) R 24937 7876 7672 0 -1 0 8457 0 0 0 20968 32 0 0 25 0 1 0 790005466 38739968 8409 4294967295 134512640 134714540 3221221776 3221220568 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9458 8409 1111 63 0 9395 0
vsize: 37832
[startup+220.015 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 24938
Raw data (stat): 24938 (bsolo_mis) R 24937 7876 7672 0 -1 0 8587 0 0 0 21967 33 0 0 25 0 1 0 790005466 39448576 8536 4294967295 134512640 134714540 3221221776 3221220344 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9631 8536 1111 63 0 9568 0
vsize: 38524
[startup+230.016 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 24938
Raw data (stat): 24938 (bsolo_mis) R 24937 7876 7672 0 -1 0 8604 0 0 0 22968 33 0 0 25 0 1 0 790005466 39448576 8553 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9631 8553 1111 63 0 9568 0
vsize: 38524
[startup+240.017 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 24938
Raw data (stat): 24938 (bsolo_mis) R 24937 7876 7672 0 -1 0 8605 0 0 0 23968 33 0 0 25 0 1 0 790005466 39448576 8554 4294967295 134512640 134714540 3221221776 3221220592 134622252 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9631 8554 1111 63 0 9568 0
vsize: 38524
[startup+250.017 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 24938
Raw data (stat): 24938 (bsolo_mis) R 24937 7876 7672 0 -1 0 8606 0 0 0 24968 33 0 0 25 0 1 0 790005466 39448576 8555 4294967295 134512640 134714540 3221221776 3221220592 134622464 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9631 8555 1111 63 0 9568 0
vsize: 38524
[startup+260.018 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 24938
Raw data (stat): 24938 (bsolo_mis) R 24937 7876 7672 0 -1 0 8606 0 0 0 25968 33 0 0 25 0 1 0 790005466 39448576 8555 4294967295 134512640 134714540 3221221776 3221220488 134543144 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9631 8555 1111 63 0 9568 0
vsize: 38524
[startup+270.018 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 24938
Raw data (stat): 24938 (bsolo_mis) R 24937 7876 7672 0 -1 0 8606 0 0 0 26968 33 0 0 25 0 1 0 790005466 39448576 8555 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9631 8555 1111 63 0 9568 0
vsize: 38524
[startup+280.018 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 24938
Raw data (stat): 24938 (bsolo_mis) R 24937 7876 7672 0 -1 0 8606 0 0 0 27968 33 0 0 25 0 1 0 790005466 39448576 8555 4294967295 134512640 134714540 3221221776 3221220488 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9631 8555 1111 63 0 9568 0
vsize: 38524
[startup+290.018 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 24938
Raw data (stat): 24938 (bsolo_mis) R 24937 7876 7672 0 -1 0 8606 0 0 0 28969 33 0 0 25 0 1 0 790005466 39448576 8555 4294967295 134512640 134714540 3221221776 3221220580 134622267 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9631 8555 1111 63 0 9568 0
vsize: 38524
[startup+300.018 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 24938
Raw data (stat): 24938 (bsolo_mis) R 24937 7876 7672 0 -1 0 8606 0 0 0 29969 33 0 0 25 0 1 0 790005466 39448576 8555 4294967295 134512640 134714540 3221221776 3221220568 134542412 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9631 8555 1111 63 0 9568 0
vsize: 38524
[startup+310.019 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 24938
Raw data (stat): 24938 (bsolo_mis) R 24937 7876 7672 0 -1 0 8606 0 0 0 30969 33 0 0 25 0 1 0 790005466 39448576 8555 4294967295 134512640 134714540 3221221776 3221220488 134543168 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9631 8555 1111 63 0 9568 0
vsize: 38524
[startup+320.018 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 24938
Raw data (stat): 24938 (bsolo_mis) R 24937 7876 7672 0 -1 0 8606 0 0 0 31969 33 0 0 25 0 1 0 790005466 39448576 8555 4294967295 134512640 134714540 3221221776 3221220568 134536904 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9631 8555 1111 63 0 9568 0
vsize: 38524
[startup+330.018 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 24938
Raw data (stat): 24938 (bsolo_mis) R 24937 7876 7672 0 -1 0 8606 0 0 0 32969 33 0 0 25 0 1 0 790005466 39448576 8555 4294967295 134512640 134714540 3221221776 3221220488 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9631 8555 1111 63 0 9568 0
vsize: 38524
[startup+340.019 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 24938
Raw data (stat): 24938 (bsolo_mis) R 24937 7876 7672 0 -1 0 8606 0 0 0 33969 33 0 0 25 0 1 0 790005466 39448576 8555 4294967295 134512640 134714540 3221221776 3221220568 134542412 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9631 8555 1111 63 0 9568 0
vsize: 38524
[startup+350.02 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 24938
Raw data (stat): 24938 (bsolo_mis) R 24937 7876 7672 0 -1 0 8606 0 0 0 34970 33 0 0 25 0 1 0 790005466 39448576 8555 4294967295 134512640 134714540 3221221776 3221220488 134543168 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9631 8555 1111 63 0 9568 0
vsize: 38524
[startup+360.02 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 24938
Raw data (stat): 24938 (bsolo_mis) R 24937 7876 7672 0 -1 0 8606 0 0 0 35970 33 0 0 25 0 1 0 790005466 39448576 8555 4294967295 134512640 134714540 3221221776 3221220580 134622267 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9631 8555 1111 63 0 9568 0
vsize: 38524
[startup+370.021 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 24938
Raw data (stat): 24938 (bsolo_mis) R 24937 7876 7672 0 -1 0 8915 0 0 0 36969 34 0 0 25 0 1 0 790005466 40673280 8860 4294967295 134512640 134714540 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9930 8860 1111 63 0 9867 0
vsize: 39720
[startup+380.021 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 24938
Raw data (stat): 24938 (bsolo_mis) R 24937 7876 7672 0 -1 0 9093 0 0 0 37969 35 0 0 25 0 1 0 790005466 41492480 9036 4294967295 134512640 134714540 3221221776 3221220368 134542723 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10130 9036 1111 63 0 10067 0
vsize: 40520
[startup+390.021 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 24938
Raw data (stat): 24938 (bsolo_mis) R 24937 7876 7672 0 -1 0 9319 0 0 0 38968 36 0 0 25 0 1 0 790005466 42446848 9262 4294967295 134512640 134714540 3221221776 3221220496 134625072 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10363 9262 1111 63 0 10300 0
vsize: 41452
[startup+400.021 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 24938
Raw data (stat): 24938 (bsolo_mis) R 24937 7876 7672 0 -1 0 9440 0 0 0 39967 37 0 0 25 0 1 0 790005466 42852352 9383 4294967295 134512640 134714540 3221221776 3221220592 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10462 9383 1111 63 0 10399 0
vsize: 41848
[startup+410.022 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 24938
Raw data (stat): 24938 (bsolo_mis) R 24937 7876 7672 0 -1 0 9628 0 0 0 40966 38 0 0 25 0 1 0 790005466 43667456 9569 4294967295 134512640 134714540 3221221776 3221220488 134543144 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10661 9569 1111 63 0 10598 0
vsize: 42644
[startup+420.023 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 24938
Raw data (stat): 24938 (bsolo_mis) R 24937 7876 7672 0 -1 0 9743 0 0 0 41966 38 0 0 25 0 1 0 790005466 44208128 9684 4294967295 134512640 134714540 3221221776 3221220496 134622865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10793 9684 1111 63 0 10730 0
vsize: 43172
[startup+430.023 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 24938
Raw data (stat): 24938 (bsolo_mis) R 24937 7876 7672 0 -1 0 9833 0 0 0 42966 39 0 0 25 0 1 0 790005466 44478464 9772 4294967295 134512640 134714540 3221221776 3221220504 134558629 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10859 9772 1111 63 0 10796 0
vsize: 43436
[startup+440.024 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 24938
Raw data (stat): 24938 (bsolo_mis) R 24937 7876 7672 0 -1 0 10117 0 0 0 43965 40 0 0 25 0 1 0 790005466 45723648 10052 4294967295 134512640 134714540 3221221776 3221220512 134622740 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11163 10052 1111 63 0 11100 0
vsize: 44652
[startup+450.024 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 24938
Raw data (stat): 24938 (bsolo_mis) R 24937 7876 7672 0 -1 0 10475 0 0 0 44963 42 0 0 25 0 1 0 790005466 47251456 10408 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11536 10408 1111 63 0 11473 0
vsize: 46144
[startup+460.024 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 24938
Raw data (stat): 24938 (bsolo_mis) R 24937 7876 7672 0 -1 0 10967 0 0 0 45962 43 0 0 25 0 1 0 790005466 49184768 10898 4294967295 134512640 134714540 3221221776 3221220556 134543556 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12008 10898 1111 63 0 11945 0
vsize: 48032
[startup+470.026 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 24938
Raw data (stat): 24938 (bsolo_mis) R 24937 7876 7672 0 -1 0 11634 0 0 0 46960 45 0 0 25 0 1 0 790005466 51933184 11559 4294967295 134512640 134714540 3221221776 3221220592 134611099 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12679 11559 1111 63 0 12616 0
vsize: 50716
[startup+480.025 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 24938
Raw data (stat): 24938 (bsolo_mis) R 24937 7876 7672 0 -1 0 12201 0 0 0 47958 48 0 0 25 0 1 0 790005466 54398976 12117 4294967295 134512640 134714540 3221221776 3221220712 134579061 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13281 12117 1111 63 0 13218 0
vsize: 53124
[startup+490.025 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 24938
Raw data (stat): 24938 (bsolo_mis) R 24937 7876 7672 0 -1 0 12620 0 0 0 48955 50 0 0 25 0 1 0 790005466 56233984 12529 4294967295 134512640 134714540 3221221776 3221220440 134543614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13729 12529 1111 63 0 13666 0
vsize: 54916
[startup+500.025 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 24938
Raw data (stat): 24938 (bsolo_mis) R 24937 7876 7672 0 -1 0 13061 0 0 0 49954 51 0 0 25 0 1 0 790005466 58306560 12950 4294967295 134512640 134714540 3221221776 3221220592 134622115 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14235 12950 1111 63 0 14172 0
vsize: 56940
[startup+510.026 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 24938
Raw data (stat): 24938 (bsolo_mis) R 24937 7876 7672 0 -1 0 13238 0 0 0 50953 53 0 0 25 0 1 0 790005466 59006976 13126 4294967295 134512640 134714540 3221221776 3221220504 134622831 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14406 13126 1111 63 0 14343 0
vsize: 57624
[startup+520.026 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 24938
Raw data (stat): 24938 (bsolo_mis) R 24937 7876 7672 0 -1 0 13450 0 0 0 51953 53 0 0 25 0 1 0 790005466 59817984 13336 4294967295 134512640 134714540 3221221776 3221220492 134543156 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14604 13336 1111 63 0 14541 0
vsize: 58416
[startup+530.026 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 24938
Raw data (stat): 24938 (bsolo_mis) R 24937 7876 7672 0 -1 0 13560 0 0 0 52953 53 0 0 25 0 1 0 790005466 60358656 13444 4294967295 134512640 134714540 3221221776 3221220488 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14736 13444 1111 63 0 14673 0
vsize: 58944
[startup+540.027 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 24938
Raw data (stat): 24938 (bsolo_mis) R 24937 7876 7672 0 -1 0 13690 0 0 0 53952 54 0 0 25 0 1 0 790005466 60764160 13574 4294967295 134512640 134714540 3221221776 3221220364 134542288 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14835 13574 1111 63 0 14772 0
vsize: 59340
[startup+550.027 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 24938
Raw data (stat): 24938 (bsolo_mis) R 24937 7876 7672 0 -1 0 13960 0 0 0 54952 55 0 0 25 0 1 0 790005466 61849600 13842 4294967295 134512640 134714540 3221221776 3221220104 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15100 13842 1111 63 0 15037 0
vsize: 60400
[startup+560.028 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 24938
Raw data (stat): 24938 (bsolo_mis) R 24937 7876 7672 0 -1 0 14204 0 0 0 55951 56 0 0 25 0 1 0 790005466 63037440 14078 4294967295 134512640 134714540 3221221776 3221220580 134622632 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15390 14078 1111 63 0 15327 0
vsize: 61560
[startup+570.029 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 24938
Raw data (stat): 24938 (bsolo_mis) R 24937 7876 7672 0 -1 0 14489 0 0 0 56950 57 0 0 25 0 1 0 790005466 64204800 14358 4294967295 134512640 134714540 3221221776 3221220496 134622917 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15675 14358 1111 63 0 15612 0
vsize: 62700
[startup+580.029 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 24938
Raw data (stat): 24938 (bsolo_mis) R 24937 7876 7672 0 -1 0 14595 0 0 0 57949 58 0 0 25 0 1 0 790005466 64614400 14464 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15775 14464 1111 63 0 15712 0
vsize: 63100
[startup+590.029 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 24938
Raw data (stat): 24938 (bsolo_mis) R 24937 7876 7672 0 -1 0 14753 0 0 0 58949 58 0 0 25 0 1 0 790005466 65228800 14617 4294967295 134512640 134714540 3221221776 3221220592 134622335 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15925 14617 1111 63 0 15862 0
vsize: 63700
[startup+600.029 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 24938
Raw data (stat): 24938 (bsolo_mis) R 24937 7876 7672 0 -1 0 15133 0 0 0 59948 59 0 0 25 0 1 0 790005466 66908160 14989 4294967295 134512640 134714540 3221221776 3221220572 134536888 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16335 14989 1111 63 0 16272 0
vsize: 65340
[startup+610.029 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 24938
Raw data (stat): 24938 (bsolo_mis) R 24937 7876 7672 0 -1 0 15526 0 0 0 60946 62 0 0 25 0 1 0 790005466 68599808 15377 4294967295 134512640 134714540 3221221776 3221220488 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16748 15377 1111 63 0 16685 0
vsize: 66992
[startup+620.029 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 24938
Raw data (stat): 24938 (bsolo_mis) R 24937 7876 7672 0 -1 0 15615 0 0 0 61946 62 0 0 25 0 1 0 790005466 68870144 15466 4294967295 134512640 134714540 3221221776 3221220488 134543168 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16814 15466 1111 63 0 16751 0
vsize: 67256
[startup+630.029 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 24938
Raw data (stat): 24938 (bsolo_mis) R 24937 7876 7672 0 -1 0 15914 0 0 0 62946 63 0 0 25 0 1 0 790005466 70135808 15760 4294967295 134512640 134714540 3221221776 3221220488 134543171 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17123 15760 1111 63 0 17060 0
vsize: 68492
[startup+640.03 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 24938
Raw data (stat): 24938 (bsolo_mis) R 24937 7876 7672 0 -1 0 16444 0 0 0 63944 64 0 0 25 0 1 0 790005466 72372224 16284 4294967295 134512640 134714540 3221221776 3221220568 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17669 16284 1111 63 0 17606 0
vsize: 70676
[startup+650.03 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 24938
Raw data (stat): 24938 (bsolo_mis) R 24937 7876 7672 0 -1 0 16534 0 0 0 64944 65 0 0 25 0 1 0 790005466 72642560 16374 4294967295 134512640 134714540 3221221776 3221220624 134623453 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17735 16374 1111 63 0 17672 0
vsize: 70940
[startup+660.031 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 24938
Raw data (stat): 24938 (bsolo_mis) R 24937 7876 7672 0 -1 0 16753 0 0 0 65943 66 0 0 25 0 1 0 790005466 73670656 16586 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17986 16586 1111 63 0 17923 0
vsize: 71944
[startup+670.031 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 24938
Raw data (stat): 24938 (bsolo_mis) R 24937 7876 7672 0 -1 0 16889 0 0 0 66943 66 0 0 25 0 1 0 790005466 74289152 16716 4294967295 134512640 134714540 3221221776 3221220488 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18137 16716 1111 63 0 18074 0
vsize: 72548
[startup+680.031 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 24938
Raw data (stat): 24938 (bsolo_mis) R 24937 7876 7672 0 -1 0 17005 0 0 0 67943 66 0 0 25 0 1 0 790005466 74887168 16824 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18283 16824 1111 63 0 18220 0
vsize: 73132
[startup+690.032 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 24938
Raw data (stat): 24938 (bsolo_mis) R 24937 7876 7672 0 -1 0 17120 0 0 0 68943 67 0 0 25 0 1 0 790005466 75292672 16939 4294967295 134512640 134714540 3221221776 3221220592 134622252 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18382 16939 1111 63 0 18319 0
vsize: 73528
[startup+700.032 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 24938
Raw data (stat): 24938 (bsolo_mis) R 24937 7876 7672 0 -1 0 17338 0 0 0 69942 67 0 0 25 0 1 0 790005466 76156928 17152 4294967295 134512640 134714540 3221221776 3221220572 134543540 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18593 17152 1111 63 0 18530 0
vsize: 74372
[startup+710.033 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 24938
Raw data (stat): 24938 (bsolo_mis) R 24937 7876 7672 0 -1 0 17446 0 0 0 70943 67 0 0 25 0 1 0 790005466 76562432 17260 4294967295 134512640 134714540 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18692 17260 1111 63 0 18629 0
vsize: 74768
[startup+720.034 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 24938
Raw data (stat): 24938 (bsolo_mis) R 24937 7876 7672 0 -1 0 17687 0 0 0 71942 68 0 0 25 0 1 0 790005466 77660160 17499 4294967295 134512640 134714540 3221221776 3221220504 134543804 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18960 17499 1111 63 0 18897 0
vsize: 75840
[startup+730.034 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 24938
Raw data (stat): 24938 (bsolo_mis) R 24937 7876 7672 0 -1 0 17954 0 0 0 72941 69 0 0 25 0 1 0 790005466 78893056 17748 4294967295 134512640 134714540 3221221776 3221220672 134621515 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19261 17748 1111 63 0 19198 0
vsize: 77044
[startup+740.035 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 24938
Raw data (stat): 24938 (bsolo_mis) R 24937 7876 7672 0 -1 0 18149 0 0 0 73940 70 0 0 25 0 1 0 790005466 79601664 17942 4294967295 134512640 134714540 3221221776 3221220568 134536904 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19434 17942 1111 63 0 19371 0
vsize: 77736
[startup+750.036 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 24938
Raw data (stat): 24938 (bsolo_mis) R 24937 7876 7672 0 -1 0 18346 0 0 0 74940 71 0 0 25 0 1 0 790005466 80412672 18139 4294967295 134512640 134714540 3221221776 3221220488 134543191 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19632 18139 1111 63 0 19569 0
vsize: 78528
[startup+760.036 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 24938
Raw data (stat): 24938 (bsolo_mis) R 24937 7876 7672 0 -1 0 18671 0 0 0 75939 72 0 0 25 0 1 0 790005466 81866752 18448 4294967295 134512640 134714540 3221221776 3221220560 134622318 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19987 18448 1111 63 0 19924 0
vsize: 79948
[startup+770.037 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 24938
Raw data (stat): 24938 (bsolo_mis) R 24937 7876 7672 0 -1 0 18786 0 0 0 76938 73 0 0 25 0 1 0 790005466 82407424 18563 4294967295 134512640 134714540 3221221776 3221220332 134539237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20119 18563 1111 63 0 20056 0
vsize: 80476
[startup+780.037 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 24938
Raw data (stat): 24938 (bsolo_mis) R 24937 7876 7672 0 -1 0 18974 0 0 0 77938 73 0 0 25 0 1 0 790005466 83116032 18749 4294967295 134512640 134714540 3221221776 3221220592 134622252 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20292 18749 1111 63 0 20229 0
vsize: 81168
[startup+790.037 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 24938
Raw data (stat): 24938 (bsolo_mis) R 24937 7876 7672 0 -1 0 19022 0 0 0 78938 73 0 0 25 0 1 0 790005466 83251200 18797 4294967295 134512640 134714540 3221221776 3221220492 134543156 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20325 18797 1111 63 0 20262 0
vsize: 81300
[startup+800.378 s]
Raw data (loadavg): 0.99 1.00 0.97 3/58 24986
Raw data (stat): 24938 (bsolo_mis) R 24937 7876 7672 0 -1 0 19133 0 0 0 79972 74 0 0 25 0 1 0 790005466 83804160 18904 4294967295 134512640 134714540 3221221776 3221220592 134622252 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20460 18904 1111 63 0 20397 0
vsize: 81840
[startup+810.379 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 24991
Raw data (stat): 24938 (bsolo_mis) R 24937 7876 7672 0 -1 0 19321 0 0 0 80972 74 0 0 25 0 1 0 790005466 84549632 19086 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20642 19086 1111 63 0 20579 0
vsize: 82568
[startup+820.379 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 24991
Raw data (stat): 24938 (bsolo_mis) R 24937 7876 7672 0 -1 0 19495 0 0 0 81971 75 0 0 25 0 1 0 790005466 85405696 19256 4294967295 134512640 134714540 3221221776 3221220512 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20851 19256 1111 63 0 20788 0
vsize: 83404
[startup+830.379 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 24991
Raw data (stat): 24938 (bsolo_mis) R 24937 7876 7672 0 -1 0 19713 0 0 0 82970 76 0 0 25 0 1 0 790005466 86216704 19474 4294967295 134512640 134714540 3221221776 3221220544 134624477 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21049 19474 1111 63 0 20986 0
vsize: 84196
[startup+840.38 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 24991
Raw data (stat): 24938 (bsolo_mis) R 24937 7876 7672 0 -1 0 19770 0 0 0 83970 76 0 0 25 0 1 0 790005466 86487040 19531 4294967295 134512640 134714540 3221221776 3221220488 134558485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21115 19531 1111 63 0 21052 0
vsize: 84460
[startup+850.38 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 24991
Raw data (stat): 24938 (bsolo_mis) R 24937 7876 7672 0 -1 0 19886 0 0 0 84969 77 0 0 25 0 1 0 790005466 86892544 19647 4294967295 134512640 134714540 3221221776 3221220492 134558493 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21214 19647 1111 63 0 21151 0
vsize: 84856
[startup+860.381 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 24991
Raw data (stat): 24938 (bsolo_mis) R 24937 7876 7672 0 -1 0 20020 0 0 0 85969 78 0 0 25 0 1 0 790005466 87433216 19781 4294967295 134512640 134714540 3221221776 3221220320 134543051 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21346 19781 1111 63 0 21283 0
vsize: 85384
[startup+870.38 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 24993
Raw data (stat): 24938 (bsolo_mis) R 24937 7876 7672 0 -1 0 20149 0 0 0 86969 78 0 0 25 0 1 0 790005466 87973888 19910 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21478 19910 1111 63 0 21415 0
vsize: 85912
[startup+880.381 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 24993
Raw data (stat): 24938 (bsolo_mis) R 24937 7876 7672 0 -1 0 20221 0 0 0 87968 79 0 0 25 0 1 0 790005466 88264704 19981 4294967295 134512640 134714540 3221221776 3221220592 134622252 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21549 19981 1111 63 0 21486 0
vsize: 86196
[startup+890.382 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 24993
Raw data (stat): 24938 (bsolo_mis) R 24937 7876 7672 0 -1 0 20356 0 0 0 88968 80 0 0 25 0 1 0 790005466 88805376 20116 4294967295 134512640 134714540 3221221776 3221220488 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21681 20116 1111 63 0 21618 0
vsize: 86724
[startup+900.382 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 24993
Raw data (stat): 24938 (bsolo_mis) R 24937 7876 7672 0 -1 0 20582 0 0 0 89967 81 0 0 25 0 1 0 790005466 89788416 20341 4294967295 134512640 134714540 3221221776 3221220492 134543124 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21921 20341 1111 63 0 21858 0
vsize: 87684
[startup+910.382 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 24993
Raw data (stat): 24938 (bsolo_mis) R 24937 7876 7672 0 -1 0 20722 0 0 0 90967 81 0 0 25 0 1 0 790005466 90329088 20479 4294967295 134512640 134714540 3221221776 3221220360 134543589 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22053 20479 1111 63 0 21990 0
vsize: 88212
[startup+920.383 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 24993
Raw data (stat): 24938 (bsolo_mis) R 24937 7876 7672 0 -1 0 20982 0 0 0 91966 82 0 0 25 0 1 0 790005466 91459584 20733 4294967295 134512640 134714540 3221221776 3221220592 134622252 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22329 20733 1111 63 0 22266 0
vsize: 89316
[startup+930.383 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 24993
Raw data (stat): 24938 (bsolo_mis) R 24937 7876 7672 0 -1 0 21120 0 0 0 92966 82 0 0 25 0 1 0 790005466 92000256 20871 4294967295 134512640 134714540 3221221776 3221220488 134543168 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22461 20871 1111 63 0 22398 0
vsize: 89844
[startup+940.383 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 24993
Raw data (stat): 24938 (bsolo_mis) R 24937 7876 7672 0 -1 0 21120 0 0 0 93966 82 0 0 25 0 1 0 790005466 92000256 20871 4294967295 134512640 134714540 3221221776 3221220592 134622252 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22461 20871 1111 63 0 22398 0
vsize: 89844
[startup+950.383 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 24993
Raw data (stat): 24938 (bsolo_mis) R 24937 7876 7672 0 -1 0 21127 0 0 0 94966 82 0 0 25 0 1 0 790005466 92000256 20878 4294967295 134512640 134714540 3221221776 3221220648 134536900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22461 20878 1111 63 0 22398 0
vsize: 89844
[startup+960.384 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 24993
Raw data (stat): 24938 (bsolo_mis) R 24937 7876 7672 0 -1 0 21251 0 0 0 95965 84 0 0 25 0 1 0 790005466 92450816 20998 4294967295 134512640 134714540 3221221776 3221220580 134622267 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22571 20998 1111 63 0 22508 0
vsize: 90284
[startup+970.384 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 24993
Raw data (stat): 24938 (bsolo_mis) R 24937 7876 7672 0 -1 0 21453 0 0 0 96965 84 0 0 25 0 1 0 790005466 93261824 21200 4294967295 134512640 134714540 3221221776 3221220568 134536879 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22769 21200 1111 63 0 22706 0
vsize: 91076
[startup+980.384 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 24993
Raw data (stat): 24938 (bsolo_mis) R 24937 7876 7672 0 -1 0 21664 0 0 0 97964 85 0 0 25 0 1 0 790005466 94208000 21410 4294967295 134512640 134714540 3221221776 3221220592 134622261 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23000 21410 1111 63 0 22937 0
vsize: 92000
[startup+990.385 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 24993
Raw data (stat): 24938 (bsolo_mis) R 24937 7876 7672 0 -1 0 21720 0 0 0 98964 85 0 0 25 0 1 0 790005466 94343168 21466 4294967295 134512640 134714540 3221221776 3221220488 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23033 21466 1111 63 0 22970 0
vsize: 92132
[startup+1000.38 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 24993
Raw data (stat): 24938 (bsolo_mis) R 24937 7876 7672 0 -1 0 21842 0 0 0 99964 85 0 0 25 0 1 0 790005466 94883840 21588 4294967295 134512640 134714540 3221221776 3221220580 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23165 21588 1111 63 0 23102 0
vsize: 92660
[startup+1010.39 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 24993
Raw data (stat): 24938 (bsolo_mis) R 24937 7876 7672 0 -1 0 21975 0 0 0 100964 86 0 0 25 0 1 0 790005466 95514624 21713 4294967295 134512640 134714540 3221221776 3221220512 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23319 21713 1111 63 0 23256 0
vsize: 93276
[startup+1020.39 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 24993
Raw data (stat): 24938 (bsolo_mis) R 24937 7876 7672 0 -1 0 22069 0 0 0 101964 86 0 0 25 0 1 0 790005466 95920128 21807 4294967295 134512640 134714540 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23418 21807 1111 63 0 23355 0
vsize: 93672
[startup+1030.39 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 24993
Raw data (stat): 24938 (bsolo_mis) R 24937 7876 7672 0 -1 0 22141 0 0 0 102964 86 0 0 25 0 1 0 790005466 96190464 21879 4294967295 134512640 134714540 3221221776 3221220348 134539237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23484 21879 1111 63 0 23421 0
vsize: 93936
[startup+1040.39 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 24993
Raw data (stat): 24938 (bsolo_mis) R 24937 7876 7672 0 -1 0 22328 0 0 0 103964 86 0 0 25 0 1 0 790005466 96935936 22057 4294967295 134512640 134714540 3221221776 3221220488 134543168 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23666 22057 1111 63 0 23603 0
vsize: 94664
[startup+1050.39 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 24993
Raw data (stat): 24938 (bsolo_mis) R 24937 7876 7672 0 -1 0 22355 0 0 0 104964 87 0 0 25 0 1 0 790005466 97071104 22084 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23699 22084 1111 63 0 23636 0
vsize: 94796
[startup+1060.39 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 24993
Raw data (stat): 24938 (bsolo_mis) R 24937 7876 7672 0 -1 0 22463 0 0 0 105963 87 0 0 25 0 1 0 790005466 97476608 22188 4294967295 134512640 134714540 3221221776 3221220496 134622889 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23798 22188 1111 63 0 23735 0
vsize: 95192
[startup+1070.39 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 24993
Raw data (stat): 24938 (bsolo_mis) R 24937 7876 7672 0 -1 0 22553 0 0 0 106963 88 0 0 25 0 1 0 790005466 97910784 22274 4294967295 134512640 134714540 3221221776 3221220504 134622882 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23904 22274 1111 63 0 23841 0
vsize: 95616
[startup+1080.39 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 24993
Raw data (stat): 24938 (bsolo_mis) R 24937 7876 7672 0 -1 0 22672 0 0 0 107963 88 0 0 25 0 1 0 790005466 98451456 22393 4294967295 134512640 134714540 3221221776 3221220504 134622854 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24036 22393 1111 63 0 23973 0
vsize: 96144
[startup+1090.39 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 24993
Raw data (stat): 24938 (bsolo_mis) R 24937 7876 7672 0 -1 0 22744 0 0 0 108963 89 0 0 25 0 1 0 790005466 98721792 22464 4294967295 134512640 134714540 3221221776 3221220496 134622860 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24102 22464 1111 63 0 24039 0
vsize: 96408
[startup+1100.39 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 24993
Raw data (stat): 24938 (bsolo_mis) R 24937 7876 7672 0 -1 0 22816 0 0 0 109962 89 0 0 25 0 1 0 790005466 98992128 22536 4294967295 134512640 134714540 3221221776 3221220512 134622873 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24168 22536 1111 63 0 24105 0
vsize: 96672
[startup+1110.39 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 24993
Raw data (stat): 24938 (bsolo_mis) R 24937 7876 7672 0 -1 0 23047 0 0 0 110962 90 0 0 25 0 1 0 790005466 100085760 22759 4294967295 134512640 134714540 3221221776 3221220316 134535895 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24435 22759 1111 63 0 24372 0
vsize: 97740
[startup+1120.39 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 24993
Raw data (stat): 24938 (bsolo_mis) R 24937 7876 7672 0 -1 0 23209 0 0 0 111961 91 0 0 25 0 1 0 790005466 100626432 22921 4294967295 134512640 134714540 3221221776 3221220568 134542412 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24567 22921 1111 63 0 24504 0
vsize: 98268
[startup+1130.39 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 24993
Raw data (stat): 24938 (bsolo_mis) R 24937 7876 7672 0 -1 0 23234 0 0 0 112961 91 0 0 25 0 1 0 790005466 100761600 22946 4294967295 134512640 134714540 3221221776 3221220568 134542409 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24600 22946 1111 63 0 24537 0
vsize: 98400
[startup+1140.39 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 24993
Raw data (stat): 24938 (bsolo_mis) R 24937 7876 7672 0 -1 0 23296 0 0 0 113961 91 0 0 25 0 1 0 790005466 101031936 23008 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24666 23008 1111 63 0 24603 0
vsize: 98664
[startup+1150.39 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 24993
Raw data (stat): 24938 (bsolo_mis) R 24937 7876 7672 0 -1 0 23398 0 0 0 114961 92 0 0 25 0 1 0 790005466 101494784 23106 4294967295 134512640 134714540 3221221776 3221220592 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24779 23106 1111 63 0 24716 0
vsize: 99116
[startup+1160.39 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 24993
Raw data (stat): 24938 (bsolo_mis) R 24937 7876 7672 0 -1 0 23521 0 0 0 115961 92 0 0 25 0 1 0 790005466 101900288 23229 4294967295 134512640 134714540 3221221776 3221220580 134622267 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24878 23229 1111 63 0 24815 0
vsize: 99512
[startup+1170.39 s]
Raw data (loadavg): 0.99 1.00 0.97 2/55 24995
Raw data (stat): 24938 (bsolo_mis) R 24937 7876 7672 0 -1 0 23656 0 0 0 116961 92 0 0 25 0 1 0 790005466 102440960 23364 4294967295 134512640 134714540 3221221776 3221220592 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25010 23364 1111 63 0 24947 0
vsize: 100040
[startup+1175.45 s]
Raw data (loadavg): 0.99 1.00 0.97 1/54 24995
Raw data (stat): 24938 (bsolo_mis) R 24937 7876 7672 0 -1 0 23656 0 0 0 116961 92 0 0 25 0 1 0 790005466 102440960 23364 4294967295 134512640 134714540 3221221776 3221220592 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25010 23364 1111 63 0 24947 0
vsize: 0

Child status: 10
Real time (s): 1175.44
CPU time (s): 1175.59
CPU user time (s): 1174.61
CPU system time (s): 0.974851
CPU usage (%): 100.012
Max. virtual memory (Kb): 100040
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	120
#### END VERIFIER DATA ####