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/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-sctap3.opb
MD5SUM	9acbf5c4d628ba2ce39f0b2ebe624ef2
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	64629117
Optimality of the best value was proved	NO
Number of terms in the objective function	37200
Biggest coefficient in the objective function	41943040
Number of bits for the biggest coefficient in the objective function	26
Sum of the numbers in the objective function	30639361500
Number of bits of the sum of numbers in the objective function	35
Biggest number in a constraint	41943040
Number of bits of the biggest number in a constraint	26
Biggest sum of numbers in a constraint	30639361500
Number of bits of the biggest sum of numbers	35
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.14
Number of variables	49600
Total number of constraints	1480
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	1480
Minimum length of a constraint	60
Maximum length of a constraint	620
Trace number 25973

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-23 17:02:37 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=16331 boxname=wulflinc31 idbench=1257 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  9acbf5c4d628ba2ce39f0b2ebe624ef2  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-sctap3.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-sctap3.opb
IDLAUNCH: 16331
/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:        804644 kB
Buffers:         26940 kB
Cached:         179924 kB
SwapCached:        944 kB
Active:         150852 kB
Inactive:        58104 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        804392 kB
SwapTotal:     2097892 kB
SwapFree:      2095920 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5104 kB
Slab:            15284 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-23 17:22:13 (client local time) WITH STATUS 0 IN 1175.16 SECONDS
stats: 16331 7 1175.16 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 49600 variables and 2028 constraints.
c After prepocess the problem consists of 27280 variables and 2028 constraints.
c preprocess terminated 292.297 s
c Initial Lower Bound: 14
c Lower Bound Elapsed time: 0
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.04 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.94 1.00 0.93 2/55 11471
Raw data (stat): 11471 (runsolver) R 11470 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 823224138 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0012 s]
Raw data (loadavg): 0.95 1.00 0.93 2/55 11471
Raw data (stat): 11471 (bsolo_mis) R 11470 7876 7672 0 -1 0 1110 0 0 0 993 4 0 0 25 0 1 0 823224138 17461248 1087 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4263 1087 1111 63 0 4200 0
vsize: 17052
[startup+20.0021 s]
Raw data (loadavg): 0.96 1.00 0.93 2/55 11471
Raw data (stat): 11471 (bsolo_mis) R 11470 7876 7672 0 -1 0 1747 0 0 0 1991 6 0 0 25 0 1 0 823224138 20156416 1724 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4921 1724 1111 63 0 4858 0
vsize: 19684
[startup+30.004 s]
Raw data (loadavg): 0.97 1.00 0.93 2/55 11471
Raw data (stat): 11471 (bsolo_mis) R 11470 7876 7672 0 -1 0 2421 0 0 0 2990 7 0 0 25 0 1 0 823224138 22831104 2398 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5574 2398 1111 63 0 5511 0
vsize: 22296
[startup+40.004 s]
Raw data (loadavg): 0.97 1.00 0.93 2/55 11471
Raw data (stat): 11471 (bsolo_mis) R 11470 7876 7672 0 -1 0 3111 0 0 0 3989 8 0 0 25 0 1 0 823224138 25653248 3088 4294967295 134512640 134714540 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6263 3088 1111 63 0 6200 0
vsize: 25052
[startup+50.0039 s]
Raw data (loadavg): 0.97 1.00 0.93 2/55 11471
Raw data (stat): 11471 (bsolo_mis) R 11470 7876 7672 0 -1 0 3822 0 0 0 4988 10 0 0 25 0 1 0 823224138 28643328 3799 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6993 3799 1111 63 0 6930 0
vsize: 27972
[startup+60.0048 s]
Raw data (loadavg): 0.98 1.00 0.93 2/55 11471
Raw data (stat): 11471 (bsolo_mis) R 11470 7876 7672 0 -1 0 4554 0 0 0 5987 11 0 0 25 0 1 0 823224138 31604736 4531 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7716 4531 1111 63 0 7653 0
vsize: 30864
[startup+70.0058 s]
Raw data (loadavg): 0.98 1.00 0.93 2/55 11471
Raw data (stat): 11471 (bsolo_mis) R 11470 7876 7672 0 -1 0 5295 0 0 0 6985 13 0 0 25 0 1 0 823224138 34713600 5272 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8475 5272 1111 63 0 8412 0
vsize: 33900
[startup+80.0057 s]
Raw data (loadavg): 0.98 1.00 0.93 2/55 11471
Raw data (stat): 11471 (bsolo_mis) R 11470 7876 7672 0 -1 0 6072 0 0 0 7984 14 0 0 25 0 1 0 823224138 37863424 6049 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9244 6049 1111 63 0 9181 0
vsize: 36976
[startup+90.0056 s]
Raw data (loadavg): 0.98 1.00 0.93 2/55 11471
Raw data (stat): 11471 (bsolo_mis) R 11470 7876 7672 0 -1 0 6866 0 0 0 8982 16 0 0 25 0 1 0 823224138 41107456 6843 4294967295 134512640 134714540 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10036 6843 1111 63 0 9973 0
vsize: 40144
[startup+100.006 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 11471
Raw data (stat): 11471 (bsolo_mis) R 11470 7876 7672 0 -1 0 7674 0 0 0 9981 17 0 0 25 0 1 0 823224138 44494848 7651 4294967295 134512640 134714540 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10863 7651 1111 63 0 10800 0
vsize: 43452
[startup+110.006 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 11471
Raw data (stat): 11471 (bsolo_mis) R 11470 7876 7672 0 -1 0 8517 0 0 0 10980 18 0 0 25 0 1 0 823224138 47886336 8494 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11691 8494 1111 63 0 11628 0
vsize: 46764
[startup+120.006 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 11471
Raw data (stat): 11471 (bsolo_mis) R 11470 7876 7672 0 -1 0 9375 0 0 0 11979 19 0 0 25 0 1 0 823224138 51417088 9352 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12553 9352 1111 63 0 12490 0
vsize: 50212
[startup+130.006 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 11471
Raw data (stat): 11471 (bsolo_mis) R 11470 7876 7672 0 -1 0 10247 0 0 0 12978 21 0 0 25 0 1 0 823224138 54947840 10224 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13415 10224 1111 63 0 13352 0
vsize: 53660
[startup+140.006 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 11471
Raw data (stat): 11471 (bsolo_mis) R 11470 7876 7672 0 -1 0 11151 0 0 0 13976 23 0 0 25 0 1 0 823224138 58617856 11128 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14311 11128 1111 63 0 14248 0
vsize: 57244
[startup+150.006 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 11471
Raw data (stat): 11471 (bsolo_mis) R 11470 7876 7672 0 -1 0 12115 0 0 0 14974 25 0 0 25 0 1 0 823224138 62676992 12092 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15302 12092 1111 63 0 15239 0
vsize: 61208
[startup+160.007 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 11471
Raw data (stat): 11471 (bsolo_mis) R 11470 7876 7672 0 -1 0 13082 0 0 0 15973 27 0 0 25 0 1 0 823224138 66629632 13059 4294967295 134512640 134714540 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16267 13059 1111 63 0 16204 0
vsize: 65068
[startup+170.007 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 11471
Raw data (stat): 11471 (bsolo_mis) R 11470 7876 7672 0 -1 0 14106 0 0 0 16971 29 0 0 25 0 1 0 823224138 70868992 14083 4294967295 134512640 134714540 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17302 14083 1111 63 0 17239 0
vsize: 69208
[startup+180.007 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 11471
Raw data (stat): 11471 (bsolo_mis) R 11470 7876 7672 0 -1 0 15116 0 0 0 17969 31 0 0 25 0 1 0 823224138 74960896 15093 4294967295 134512640 134714540 3221221776 3221219864 1077378037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18301 15093 1111 63 0 18238 0
vsize: 73204
[startup+190.008 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 11473
Raw data (stat): 11471 (bsolo_mis) R 11470 7876 7672 0 -1 0 16194 0 0 0 18967 33 0 0 25 0 1 0 823224138 79339520 16171 4294967295 134512640 134714540 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19370 16171 1111 63 0 19307 0
vsize: 77480
[startup+200.008 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 11473
Raw data (stat): 11471 (bsolo_mis) R 11470 7876 7672 0 -1 0 17307 0 0 0 19965 35 0 0 25 0 1 0 823224138 83853312 17284 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20472 17284 1111 63 0 20409 0
vsize: 81888
[startup+210.009 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 11473
Raw data (stat): 11471 (bsolo_mis) R 11470 7876 7672 0 -1 0 18460 0 0 0 20963 37 0 0 25 0 1 0 823224138 88657920 18437 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21645 18437 1111 63 0 21582 0
vsize: 86580
[startup+220.01 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 11473
Raw data (stat): 11471 (bsolo_mis) R 11470 7876 7672 0 -1 0 19694 0 0 0 21961 39 0 0 25 0 1 0 823224138 93601792 19671 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22852 19671 1111 63 0 22789 0
vsize: 91408
[startup+230.01 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 11473
Raw data (stat): 11471 (bsolo_mis) R 11470 7876 7672 0 -1 0 20950 0 0 0 22960 41 0 0 25 0 1 0 823224138 98824192 20927 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24127 20927 1111 63 0 24064 0
vsize: 96508
[startup+240.011 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 11473
Raw data (stat): 11471 (bsolo_mis) R 11470 7876 7672 0 -1 0 22276 0 0 0 23957 44 0 0 25 0 1 0 823224138 104189952 22253 4294967295 134512640 134714540 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25437 22253 1111 63 0 25374 0
vsize: 101748
[startup+250.011 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 11473
Raw data (stat): 11471 (bsolo_mis) R 11470 7876 7672 0 -1 0 23651 0 0 0 24954 47 0 0 25 0 1 0 823224138 110084096 23628 4294967295 134512640 134714540 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26876 23628 1111 63 0 26813 0
vsize: 107504
[startup+260.012 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 11473
Raw data (stat): 11471 (bsolo_mis) R 11470 7876 7672 0 -1 0 25089 0 0 0 25951 50 0 0 25 0 1 0 823224138 116015104 25066 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28324 25066 1111 63 0 28261 0
vsize: 113296
[startup+270.012 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 11473
Raw data (stat): 11471 (bsolo_mis) R 11470 7876 7672 0 -1 0 26751 0 0 0 26948 54 0 0 25 0 1 0 823224138 122773504 26728 4294967295 134512640 134714540 3221221776 3221220344 1077374049 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29974 26728 1111 63 0 29911 0
vsize: 119896
[startup+280.011 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 11473
Raw data (stat): 11471 (bsolo_mis) R 11470 7876 7672 0 -1 0 37826 0 0 0 27921 80 0 0 25 0 1 0 823224138 167358464 37655 4294967295 134512640 134714540 3221221776 3221219420 1076880050 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40859 37655 1111 63 0 40796 0
vsize: 163436
[startup+290.013 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 11473
Raw data (stat): 11471 (bsolo_mis) R 11470 7876 7672 0 -1 0 91614 0 0 0 28804 197 0 0 25 0 1 0 823224138 180875264 42890 4294967295 134512640 134714540 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44159 42890 1111 63 0 44096 0
vsize: 176636
[startup+300.013 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 11473
Raw data (stat): 11471 (bsolo_mis) R 11470 7876 7672 0 -1 0 107386 0 0 0 29771 229 0 0 25 0 1 0 823224138 186830848 44256 4294967295 134512640 134714540 3221221776 3221220540 134543540 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45613 44256 1111 63 0 45550 0
vsize: 182452
[startup+310.014 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 11473
Raw data (stat): 11471 (bsolo_mis) R 11470 7876 7672 0 -1 0 107386 0 0 0 30771 229 0 0 25 0 1 0 823224138 186830848 44256 4294967295 134512640 134714540 3221221776 3221220520 134536866 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45613 44256 1111 63 0 45550 0
vsize: 182452
[startup+320.015 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 11473
Raw data (stat): 11471 (bsolo_mis) R 11470 7876 7672 0 -1 0 107386 0 0 0 31771 229 0 0 25 0 1 0 823224138 186830848 44256 4294967295 134512640 134714540 3221221776 3221220512 134556870 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45613 44256 1111 63 0 45550 0
vsize: 182452
[startup+330.015 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 11473
Raw data (stat): 11471 (bsolo_mis) R 11470 7876 7672 0 -1 0 107386 0 0 0 32771 230 0 0 25 0 1 0 823224138 186830848 44256 4294967295 134512640 134714540 3221221776 3221220560 134624498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45613 44256 1111 63 0 45550 0
vsize: 182452
[startup+340.015 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 11473
Raw data (stat): 11471 (bsolo_mis) R 11470 7876 7672 0 -1 0 107386 0 0 0 33771 230 0 0 25 0 1 0 823224138 186830848 44256 4294967295 134512640 134714540 3221221776 3221220540 134556732 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45613 44256 1111 63 0 45550 0
vsize: 182452
[startup+350.015 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 11473
Raw data (stat): 11471 (bsolo_mis) R 11470 7876 7672 0 -1 0 107386 0 0 0 34771 230 0 0 25 0 1 0 823224138 186830848 44256 4294967295 134512640 134714540 3221221776 3221220560 134624457 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45613 44256 1111 63 0 45550 0
vsize: 182452
[startup+360.016 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 11473
Raw data (stat): 11471 (bsolo_mis) R 11470 7876 7672 0 -1 0 107388 0 0 0 35771 230 0 0 25 0 1 0 823224138 186830848 44258 4294967295 134512640 134714540 3221221776 3221220560 134624457 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45613 44258 1111 63 0 45550 0
vsize: 182452
[startup+370.016 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 11473
Raw data (stat): 11471 (bsolo_mis) R 11470 7876 7672 0 -1 0 107388 0 0 0 36771 230 0 0 25 0 1 0 823224138 186830848 44258 4294967295 134512640 134714540 3221221776 3221220568 134543174 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45613 44258 1111 63 0 45550 0
vsize: 182452
[startup+380.016 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 11473
Raw data (stat): 11471 (bsolo_mis) R 11470 7876 7672 0 -1 0 107388 0 0 0 37771 230 0 0 25 0 1 0 823224138 186830848 44258 4294967295 134512640 134714540 3221221776 3221220484 134556757 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45613 44258 1111 63 0 45550 0
vsize: 182452
[startup+390.017 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 11473
Raw data (stat): 11471 (bsolo_mis) R 11470 7876 7672 0 -1 0 107388 0 0 0 38771 230 0 0 25 0 1 0 823224138 186830848 44258 4294967295 134512640 134714540 3221221776 3221220512 134556487 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45613 44258 1111 63 0 45550 0
vsize: 182452
[startup+400.017 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 11473
Raw data (stat): 11471 (bsolo_mis) R 11470 7876 7672 0 -1 0 107388 0 0 0 39771 230 0 0 25 0 1 0 823224138 186830848 44258 4294967295 134512640 134714540 3221221776 3221220612 134623280 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45613 44258 1111 63 0 45550 0
vsize: 182452
[startup+410.018 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 11473
Raw data (stat): 11471 (bsolo_mis) R 11470 7876 7672 0 -1 0 107390 0 0 0 40771 231 0 0 25 0 1 0 823224138 186830848 44260 4294967295 134512640 134714540 3221221776 3221220520 134536866 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45613 44260 1111 63 0 45550 0
vsize: 182452
[startup+420.018 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 11473
Raw data (stat): 11471 (bsolo_mis) R 11470 7876 7672 0 -1 0 107390 0 0 0 41771 231 0 0 25 0 1 0 823224138 186830848 44260 4294967295 134512640 134714540 3221221776 3221220580 134610916 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45613 44260 1111 63 0 45550 0
vsize: 182452
[startup+430.018 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 11473
Raw data (stat): 11471 (bsolo_mis) R 11470 7876 7672 0 -1 0 107390 0 0 0 42771 231 0 0 25 0 1 0 823224138 186830848 44260 4294967295 134512640 134714540 3221221776 3221220488 134558621 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45613 44260 1111 63 0 45550 0
vsize: 182452
[startup+440.018 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 11473
Raw data (stat): 11471 (bsolo_mis) R 11470 7876 7672 0 -1 0 107390 0 0 0 43771 231 0 0 25 0 1 0 823224138 186830848 44260 4294967295 134512640 134714540 3221221776 3221220592 134611099 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45613 44260 1111 63 0 45550 0
vsize: 182452
[startup+450.018 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 11473
Raw data (stat): 11471 (bsolo_mis) R 11470 7876 7672 0 -1 0 107390 0 0 0 44771 231 0 0 25 0 1 0 823224138 186830848 44260 4294967295 134512640 134714540 3221221776 3221220560 134624467 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45613 44260 1111 63 0 45550 0
vsize: 182452
[startup+460.019 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 11473
Raw data (stat): 11471 (bsolo_mis) R 11470 7876 7672 0 -1 0 107392 0 0 0 45772 231 0 0 25 0 1 0 823224138 186830848 44262 4294967295 134512640 134714540 3221221776 3221220540 134556736 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45613 44262 1111 63 0 45550 0
vsize: 182452
[startup+470.019 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 11473
Raw data (stat): 11471 (bsolo_mis) R 11470 7876 7672 0 -1 0 107392 0 0 0 46772 231 0 0 25 0 1 0 823224138 186830848 44262 4294967295 134512640 134714540 3221221776 3221220472 134558629 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45613 44262 1111 63 0 45550 0
vsize: 182452
[startup+480.019 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 11473
Raw data (stat): 11471 (bsolo_mis) R 11470 7876 7672 0 -1 0 107392 0 0 0 47772 231 0 0 25 0 1 0 823224138 186830848 44262 4294967295 134512640 134714540 3221221776 3221220560 134624467 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45613 44262 1111 63 0 45550 0
vsize: 182452
[startup+490.019 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 11473
Raw data (stat): 11471 (bsolo_mis) R 11470 7876 7672 0 -1 0 107392 0 0 0 48772 231 0 0 25 0 1 0 823224138 186830848 44262 4294967295 134512640 134714540 3221221776 3221220624 134623464 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45613 44262 1111 63 0 45550 0
vsize: 182452
[startup+500.019 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 11473
Raw data (stat): 11471 (bsolo_mis) R 11470 7876 7672 0 -1 0 107392 0 0 0 49772 231 0 0 25 0 1 0 823224138 186830848 44262 4294967295 134512640 134714540 3221221776 3221220560 134624467 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45613 44262 1111 63 0 45550 0
vsize: 182452
[startup+510.02 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 11473
Raw data (stat): 11471 (bsolo_mis) R 11470 7876 7672 0 -1 0 107394 0 0 0 50772 231 0 0 25 0 1 0 823224138 186830848 44264 4294967295 134512640 134714540 3221221776 3221220512 134556930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45613 44264 1111 63 0 45550 0
vsize: 182452
[startup+520.02 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 11473
Raw data (stat): 11471 (bsolo_mis) R 11470 7876 7672 0 -1 0 107394 0 0 0 51772 232 0 0 25 0 1 0 823224138 186830848 44264 4294967295 134512640 134714540 3221221776 3221220520 134536879 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45613 44264 1111 63 0 45550 0
vsize: 182452
[startup+530.02 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 11473
Raw data (stat): 11471 (bsolo_mis) R 11470 7876 7672 0 -1 0 107394 0 0 0 52772 232 0 0 25 0 1 0 823224138 186830848 44264 4294967295 134512640 134714540 3221221776 3221220624 134623464 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45613 44264 1111 63 0 45550 0
vsize: 182452
[startup+540.021 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 11473
Raw data (stat): 11471 (bsolo_mis) R 11470 7876 7672 0 -1 0 107394 0 0 0 53772 232 0 0 25 0 1 0 823224138 186830848 44264 4294967295 134512640 134714540 3221221776 3221220520 134536879 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45613 44264 1111 63 0 45550 0
vsize: 182452
[startup+550.021 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 11473
Raw data (stat): 11471 (bsolo_mis) R 11470 7876 7672 0 -1 0 107394 0 0 0 54772 232 0 0 25 0 1 0 823224138 186830848 44264 4294967295 134512640 134714540 3221221776 3221220624 134623453 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45613 44264 1111 63 0 45550 0
vsize: 182452
[startup+560.021 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 11473
Raw data (stat): 11471 (bsolo_mis) R 11470 7876 7672 0 -1 0 107396 0 0 0 55772 232 0 0 25 0 1 0 823224138 186830848 44266 4294967295 134512640 134714540 3221221776 3221220448 134553605 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45613 44266 1111 63 0 45550 0
vsize: 182452
[startup+570.022 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 11473
Raw data (stat): 11471 (bsolo_mis) R 11470 7876 7672 0 -1 0 107396 0 0 0 56772 233 0 0 25 0 1 0 823224138 186830848 44266 4294967295 134512640 134714540 3221221776 3221220492 134553168 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45613 44266 1111 63 0 45550 0
vsize: 182452
[startup+580.022 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 11473
Raw data (stat): 11471 (bsolo_mis) R 11470 7876 7672 0 -1 0 107396 0 0 0 57772 233 0 0 25 0 1 0 823224138 186830848 44266 4294967295 134512640 134714540 3221221776 3221220472 134558621 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45613 44266 1111 63 0 45550 0
vsize: 182452
[startup+590.023 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 11473
Raw data (stat): 11471 (bsolo_mis) R 11470 7876 7672 0 -1 0 107396 0 0 0 58772 233 0 0 25 0 1 0 823224138 186830848 44266 4294967295 134512640 134714540 3221221776 3221220624 134623453 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45613 44266 1111 63 0 45550 0
vsize: 182452
[startup+600.023 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 11473
Raw data (stat): 11471 (bsolo_mis) R 11470 7876 7672 0 -1 0 107398 0 0 0 59772 233 0 0 25 0 1 0 823224138 186830848 44268 4294967295 134512640 134714540 3221221776 3221220496 134556897 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45613 44268 1111 63 0 45550 0
vsize: 182452
[startup+610.024 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 11473
Raw data (stat): 11471 (bsolo_mis) R 11470 7876 7672 0 -1 0 107398 0 0 0 60772 233 0 0 25 0 1 0 823224138 186830848 44268 4294967295 134512640 134714540 3221221776 3221220472 134558568 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45613 44268 1111 63 0 45550 0
vsize: 182452
[startup+620.024 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 11473
Raw data (stat): 11471 (bsolo_mis) R 11470 7876 7672 0 -1 0 107398 0 0 0 61772 234 0 0 25 0 1 0 823224138 186830848 44268 4294967295 134512640 134714540 3221221776 3221220520 134536866 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45613 44268 1111 63 0 45550 0
vsize: 182452
[startup+630.024 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 11473
Raw data (stat): 11471 (bsolo_mis) R 11470 7876 7672 0 -1 0 107398 0 0 0 62772 234 0 0 25 0 1 0 823224138 186830848 44268 4294967295 134512640 134714540 3221221776 3221220548 134624473 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45613 44268 1111 63 0 45550 0
vsize: 182452
[startup+640.025 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 11473
Raw data (stat): 11471 (bsolo_mis) R 11470 7876 7672 0 -1 0 107398 0 0 0 63772 234 0 0 25 0 1 0 823224138 186830848 44268 4294967295 134512640 134714540 3221221776 3221220520 134536866 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45613 44268 1111 63 0 45550 0
vsize: 182452
[startup+650.025 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 11473
Raw data (stat): 11471 (bsolo_mis) R 11470 7876 7672 0 -1 0 107400 0 0 0 64772 234 0 0 25 0 1 0 823224138 186830848 44270 4294967295 134512640 134714540 3221221776 3221220512 134556630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45613 44270 1111 63 0 45550 0
vsize: 182452
[startup+660.026 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 11473
Raw data (stat): 11471 (bsolo_mis) R 11470 7876 7672 0 -1 0 107400 0 0 0 65772 234 0 0 25 0 1 0 823224138 186830848 44270 4294967295 134512640 134714540 3221221776 3221220480 134556911 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45613 44270 1111 63 0 45550 0
vsize: 182452
[startup+670.027 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 11473
Raw data (stat): 11471 (bsolo_mis) R 11470 7876 7672 0 -1 0 107400 0 0 0 66772 235 0 0 25 0 1 0 823224138 186830848 44270 4294967295 134512640 134714540 3221221776 3221220520 134536879 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45613 44270 1111 63 0 45550 0
vsize: 182452
[startup+680.027 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 11473
Raw data (stat): 11471 (bsolo_mis) R 11470 7876 7672 0 -1 0 107400 0 0 0 67772 235 0 0 25 0 1 0 823224138 186830848 44270 4294967295 134512640 134714540 3221221776 3221220520 134536866 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45613 44270 1111 63 0 45550 0
vsize: 182452
[startup+690.027 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 11473
Raw data (stat): 11471 (bsolo_mis) R 11470 7876 7672 0 -1 0 107402 0 0 0 68772 235 0 0 25 0 1 0 823224138 186830848 44272 4294967295 134512640 134714540 3221221776 3221220492 134558620 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45613 44272 1111 63 0 45550 0
vsize: 182452
[startup+700.027 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 11473
Raw data (stat): 11471 (bsolo_mis) R 11470 7876 7672 0 -1 0 107402 0 0 0 69772 235 0 0 25 0 1 0 823224138 186830848 44272 4294967295 134512640 134714540 3221221776 3221220624 134623464 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45613 44272 1111 63 0 45550 0
vsize: 182452
[startup+710.028 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 11473
Raw data (stat): 11471 (bsolo_mis) R 11470 7876 7672 0 -1 0 107402 0 0 0 70773 235 0 0 25 0 1 0 823224138 186830848 44272 4294967295 134512640 134714540 3221221776 3221220520 134536866 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45613 44272 1111 63 0 45550 0
vsize: 182452
[startup+720.027 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 11473
Raw data (stat): 11471 (bsolo_mis) R 11470 7876 7672 0 -1 0 107402 0 0 0 71773 235 0 0 25 0 1 0 823224138 186830848 44272 4294967295 134512640 134714540 3221221776 3221220592 134611099 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45613 44272 1111 63 0 45550 0
vsize: 182452
[startup+730.027 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 11473
Raw data (stat): 11471 (bsolo_mis) R 11470 7876 7672 0 -1 0 107404 0 0 0 72772 235 0 0 25 0 1 0 823224138 186830848 44274 4294967295 134512640 134714540 3221221776 3221220560 134624467 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45613 44274 1111 63 0 45550 0
vsize: 182452
[startup+740.028 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 11473
Raw data (stat): 11471 (bsolo_mis) R 11470 7876 7672 0 -1 0 107404 0 0 0 73772 236 0 0 25 0 1 0 823224138 186830848 44274 4294967295 134512640 134714540 3221221776 3221220560 134624467 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45613 44274 1111 63 0 45550 0
vsize: 182452
[startup+750.028 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 11473
Raw data (stat): 11471 (bsolo_mis) R 11470 7876 7672 0 -1 0 107404 0 0 0 74772 236 0 0 25 0 1 0 823224138 186830848 44274 4294967295 134512640 134714540 3221221776 3221220548 134624428 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45613 44274 1111 63 0 45550 0
vsize: 182452
[startup+760.029 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 11473
Raw data (stat): 11471 (bsolo_mis) R 11470 7876 7672 0 -1 0 107406 0 0 0 75772 236 0 0 25 0 1 0 823224138 186830848 44276 4294967295 134512640 134714540 3221221776 3221220568 134543187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45613 44276 1111 63 0 45550 0
vsize: 182452
[startup+770.029 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 11473
Raw data (stat): 11471 (bsolo_mis) R 11470 7876 7672 0 -1 0 107406 0 0 0 76773 236 0 0 25 0 1 0 823224138 186830848 44276 4294967295 134512640 134714540 3221221776 3221220512 134556867 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45613 44276 1111 63 0 45550 0
vsize: 182452
[startup+780.029 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 11473
Raw data (stat): 11471 (bsolo_mis) R 11470 7876 7672 0 -1 0 107406 0 0 0 77773 236 0 0 25 0 1 0 823224138 186830848 44276 4294967295 134512640 134714540 3221221776 3221220592 134611108 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45613 44276 1111 63 0 45550 0
vsize: 182452
[startup+790.029 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 11473
Raw data (stat): 11471 (bsolo_mis) R 11470 7876 7672 0 -1 0 107406 0 0 0 78772 236 0 0 25 0 1 0 823224138 186830848 44276 4294967295 134512640 134714540 3221221776 3221220452 134553609 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45613 44276 1111 63 0 45550 0
vsize: 182452
[startup+800.029 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 11473
Raw data (stat): 11471 (bsolo_mis) R 11470 7876 7672 0 -1 0 107408 0 0 0 79772 236 0 0 25 0 1 0 823224138 186830848 44278 4294967295 134512640 134714540 3221221776 3221220520 134536879 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45613 44278 1111 63 0 45550 0
vsize: 182452
[startup+810.03 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 11473
Raw data (stat): 11471 (bsolo_mis) R 11470 7876 7672 0 -1 0 107408 0 0 0 80772 237 0 0 25 0 1 0 823224138 186830848 44278 4294967295 134512640 134714540 3221221776 3221220560 134624467 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45613 44278 1111 63 0 45550 0
vsize: 182452
[startup+820.03 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 11473
Raw data (stat): 11471 (bsolo_mis) R 11470 7876 7672 0 -1 0 107408 0 0 0 81772 237 0 0 25 0 1 0 823224138 186830848 44278 4294967295 134512640 134714540 3221221776 3221220592 134611108 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45613 44278 1111 63 0 45550 0
vsize: 182452
[startup+830.03 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 11473
Raw data (stat): 11471 (bsolo_mis) R 11470 7876 7672 0 -1 0 107410 0 0 0 82772 237 0 0 25 0 1 0 823224138 186830848 44280 4294967295 134512640 134714540 3221221776 3221220480 134556894 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45613 44280 1111 63 0 45550 0
vsize: 182452
[startup+840.031 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 11473
Raw data (stat): 11471 (bsolo_mis) R 11470 7876 7672 0 -1 0 107410 0 0 0 83772 237 0 0 25 0 1 0 823224138 186830848 44280 4294967295 134512640 134714540 3221221776 3221220524 134556731 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45613 44280 1111 63 0 45550 0
vsize: 182452
[startup+850.03 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 11473
Raw data (stat): 11471 (bsolo_mis) R 11470 7876 7672 0 -1 0 107410 0 0 0 84772 238 0 0 25 0 1 0 823224138 186830848 44280 4294967295 134512640 134714540 3221221776 3221220520 134536866 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45613 44280 1111 63 0 45550 0
vsize: 182452
[startup+860.032 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 11473
Raw data (stat): 11471 (bsolo_mis) R 11470 7876 7672 0 -1 0 107416 0 0 0 85772 238 0 0 25 0 1 0 823224138 186830848 44286 4294967295 134512640 134714540 3221221776 3221220520 134536866 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45613 44286 1111 63 0 45550 0
vsize: 182452
[startup+870.031 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 11473
Raw data (stat): 11471 (bsolo_mis) R 11470 7876 7672 0 -1 0 107417 0 0 0 86772 238 0 0 25 0 1 0 823224138 186830848 44287 4294967295 134512640 134714540 3221221776 3221220496 134556924 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45613 44287 1111 63 0 45550 0
vsize: 182452
[startup+880.031 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 11473
Raw data (stat): 11471 (bsolo_mis) R 11470 7876 7672 0 -1 0 107417 0 0 0 87772 238 0 0 25 0 1 0 823224138 186830848 44287 4294967295 134512640 134714540 3221221776 3221220520 134536866 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45613 44287 1111 63 0 45550 0
vsize: 182452
[startup+890.032 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 11473
Raw data (stat): 11471 (bsolo_mis) R 11470 7876 7672 0 -1 0 107417 0 0 0 88772 239 0 0 25 0 1 0 823224138 186830848 44287 4294967295 134512640 134714540 3221221776 3221220520 134536877 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45613 44287 1111 63 0 45550 0
vsize: 182452
[startup+900.031 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 11473
Raw data (stat): 11471 (bsolo_mis) R 11470 7876 7672 0 -1 0 107658 0 0 0 89771 239 0 0 25 0 1 0 823224138 187912192 44528 4294967295 134512640 134714540 3221221776 3221220512 134556562 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45877 44528 1111 63 0 45814 0
vsize: 183508
[startup+910.032 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 11473
Raw data (stat): 11471 (bsolo_mis) R 11470 7876 7672 0 -1 0 107949 0 0 0 90771 240 0 0 25 0 1 0 823224138 189128704 44819 4294967295 134512640 134714540 3221221776 3221220592 134611099 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46174 44819 1111 63 0 46111 0
vsize: 184696
[startup+920.033 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 11473
Raw data (stat): 11471 (bsolo_mis) R 11470 7876 7672 0 -1 0 108261 0 0 0 91770 241 0 0 25 0 1 0 823224138 190353408 45131 4294967295 134512640 134714540 3221221776 3221220560 134624498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46473 45131 1111 63 0 46410 0
vsize: 185892
[startup+930.033 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 11473
Raw data (stat): 11471 (bsolo_mis) R 11470 7876 7672 0 -1 0 108510 0 0 0 92769 242 0 0 25 0 1 0 823224138 191434752 45380 4294967295 134512640 134714540 3221221776 3221220460 134558620 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46737 45380 1111 63 0 46674 0
vsize: 186948
[startup+940.033 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 11473
Raw data (stat): 11471 (bsolo_mis) R 11470 7876 7672 0 -1 0 108751 0 0 0 93768 243 0 0 25 0 1 0 823224138 192380928 45621 4294967295 134512640 134714540 3221221776 3221220520 134536879 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46968 45621 1111 63 0 46905 0
vsize: 187872
[startup+950.033 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 11473
Raw data (stat): 11471 (bsolo_mis) R 11470 7876 7672 0 -1 0 109122 0 0 0 94767 245 0 0 25 0 1 0 823224138 193892352 45992 4294967295 134512640 134714540 3221221776 3221220568 134542448 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47337 45992 1111 63 0 47274 0
vsize: 189348
[startup+960.034 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 11473
Raw data (stat): 11471 (bsolo_mis) R 11470 7876 7672 0 -1 0 109364 0 0 0 95766 246 0 0 25 0 1 0 823224138 194838528 46234 4294967295 134512640 134714540 3221221776 3221220496 134556642 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47568 46234 1111 63 0 47505 0
vsize: 190272
[startup+970.034 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 11473
Raw data (stat): 11471 (bsolo_mis) R 11470 7876 7672 0 -1 0 109604 0 0 0 96766 246 0 0 25 0 1 0 823224138 195919872 46474 4294967295 134512640 134714540 3221221776 3221220568 134542460 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47832 46474 1111 63 0 47769 0
vsize: 191328
[startup+980.034 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 11473
Raw data (stat): 11471 (bsolo_mis) R 11470 7876 7672 0 -1 0 109838 0 0 0 97765 247 0 0 25 0 1 0 823224138 196866048 46708 4294967295 134512640 134714540 3221221776 3221220520 134536879 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 48063 46708 1111 63 0 48000 0
vsize: 192252
[startup+990.034 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 11473
Raw data (stat): 11471 (bsolo_mis) R 11470 7876 7672 0 -1 0 110082 0 0 0 98764 248 0 0 25 0 1 0 823224138 197840896 46952 4294967295 134512640 134714540 3221221776 3221220524 134556736 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 48301 46952 1111 63 0 48238 0
vsize: 193204
[startup+1000.03 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 11473
Raw data (stat): 11471 (bsolo_mis) R 11470 7876 7672 0 -1 0 110325 0 0 0 99763 249 0 0 25 0 1 0 823224138 198787072 47195 4294967295 134512640 134714540 3221221776 3221220520 134536866 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 48532 47195 1111 63 0 48469 0
vsize: 194128
[startup+1010.03 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 11473
Raw data (stat): 11471 (bsolo_mis) R 11470 7876 7672 0 -1 0 110705 0 0 0 100763 250 0 0 25 0 1 0 823224138 200884224 47575 4294967295 134512640 134714540 3221221776 3221220520 134536879 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49044 47575 1111 63 0 48981 0
vsize: 196176
[startup+1020.04 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 11473
Raw data (stat): 11471 (bsolo_mis) R 11470 7876 7672 0 -1 0 110958 0 0 0 101762 251 0 0 25 0 1 0 823224138 201834496 47828 4294967295 134512640 134714540 3221221776 3221220104 1077378037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49276 47828 1111 63 0 49213 0
vsize: 197104
[startup+1030.04 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 11473
Raw data (stat): 11471 (bsolo_mis) R 11470 7876 7672 0 -1 0 111198 0 0 0 102761 252 0 0 25 0 1 0 823224138 202780672 48068 4294967295 134512640 134714540 3221221776 3221220496 134556913 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49507 48068 1111 63 0 49444 0
vsize: 198028
[startup+1040.04 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 11473
Raw data (stat): 11471 (bsolo_mis) R 11470 7876 7672 0 -1 0 111432 0 0 0 103761 252 0 0 25 0 1 0 823224138 203726848 48302 4294967295 134512640 134714540 3221221776 3221220520 134536879 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49738 48302 1111 63 0 49675 0
vsize: 198952
[startup+1050.04 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 11473
Raw data (stat): 11471 (bsolo_mis) R 11470 7876 7672 0 -1 0 111662 0 0 0 104761 252 0 0 25 0 1 0 823224138 204673024 48532 4294967295 134512640 134714540 3221221776 3221220448 134553180 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49969 48532 1111 63 0 49906 0
vsize: 199876
[startup+1060.04 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 11473
Raw data (stat): 11471 (bsolo_mis) R 11470 7876 7672 0 -1 0 111904 0 0 0 105761 253 0 0 25 0 1 0 823224138 205619200 48774 4294967295 134512640 134714540 3221221776 3221220624 134623464 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50200 48774 1111 63 0 50137 0
vsize: 200800
[startup+1070.04 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 11473
Raw data (stat): 11471 (bsolo_mis) R 11470 7876 7672 0 -1 0 112169 0 0 0 106760 254 0 0 25 0 1 0 823224138 206565376 49039 4294967295 134512640 134714540 3221221776 3221220472 134558629 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50431 49039 1111 63 0 50368 0
vsize: 201724
[startup+1080.04 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 11473
Raw data (stat): 11471 (bsolo_mis) R 11470 7876 7672 0 -1 0 112392 0 0 0 107759 255 0 0 25 0 1 0 823224138 207511552 49262 4294967295 134512640 134714540 3221221776 3221220624 134623453 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50662 49262 1111 63 0 50599 0
vsize: 202648
[startup+1090.04 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 11473
Raw data (stat): 11471 (bsolo_mis) R 11470 7876 7672 0 -1 0 112631 0 0 0 108759 256 0 0 25 0 1 0 823224138 208592896 49501 4294967295 134512640 134714540 3221221776 3221220496 134556899 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50926 49501 1111 63 0 50863 0
vsize: 203704
[startup+1100.04 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 11473
Raw data (stat): 11471 (bsolo_mis) R 11470 7876 7672 0 -1 0 112861 0 0 0 109758 256 0 0 25 0 1 0 823224138 209403904 49731 4294967295 134512640 134714540 3221221776 3221220520 134536866 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 51124 49731 1111 63 0 51061 0
vsize: 204496
[startup+1110.04 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 11473
Raw data (stat): 11471 (bsolo_mis) R 11470 7876 7672 0 -1 0 113095 0 0 0 110758 257 0 0 25 0 1 0 823224138 210485248 49965 4294967295 134512640 134714540 3221221776 3221220520 134536866 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 51388 49965 1111 63 0 51325 0
vsize: 205552
[startup+1120.04 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 11473
Raw data (stat): 11471 (bsolo_mis) R 11470 7876 7672 0 -1 0 113332 0 0 0 111758 257 0 0 25 0 1 0 823224138 211431424 50202 4294967295 134512640 134714540 3221221776 3221220496 134556657 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 51619 50202 1111 63 0 51556 0
vsize: 206476
[startup+1130.04 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 11473
Raw data (stat): 11471 (bsolo_mis) R 11470 7876 7672 0 -1 0 113568 0 0 0 112757 258 0 0 25 0 1 0 823224138 212377600 50438 4294967295 134512640 134714540 3221221776 3221220624 134623456 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 51850 50438 1111 63 0 51787 0
vsize: 207400
[startup+1140.04 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 11473
Raw data (stat): 11471 (bsolo_mis) R 11470 7876 7672 0 -1 0 114130 0 0 0 113756 259 0 0 25 0 1 0 823224138 215252992 50943 4294967295 134512640 134714540 3221221776 3221220476 134558620 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52552 50943 1111 63 0 52489 0
vsize: 210208
[startup+1150.04 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 11473
Raw data (stat): 11471 (bsolo_mis) R 11470 7876 7672 0 -1 0 114365 0 0 0 114756 260 0 0 25 0 1 0 823224138 216371200 51174 4294967295 134512640 134714540 3221221776 3221220624 134623462 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52825 51174 1111 63 0 52762 0
vsize: 211300
[startup+1160.04 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 11473
Raw data (stat): 11471 (bsolo_mis) R 11470 7876 7672 0 -1 0 114593 0 0 0 115755 261 0 0 25 0 1 0 823224138 217317376 51401 4294967295 134512640 134714540 3221221776 3221220624 134623456 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 53056 51401 1111 63 0 52993 0
vsize: 212224
[startup+1170.04 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 11473
Raw data (stat): 11471 (bsolo_mis) R 11470 7876 7672 0 -1 0 114821 0 0 0 116754 261 0 0 25 0 1 0 823224138 218263552 51629 4294967295 134512640 134714540 3221221776 3221220520 134536866 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 53287 51629 1111 63 0 53224 0
vsize: 213148
[startup+1175.04 s]
Raw data (loadavg): 0.99 1.00 0.93 1/54 11473
Raw data (stat): 11471 (bsolo_mis) R 11470 7876 7672 0 -1 0 114821 0 0 0 116754 261 0 0 25 0 1 0 823224138 218263552 51629 4294967295 134512640 134714540 3221221776 3221220520 134536866 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 53287 51629 1111 63 0 53224 0
vsize: 0

Child status: 0
Real time (s): 1175.04
CPU time (s): 1175.16
CPU user time (s): 1172.45
CPU system time (s): 2.71459
CPU usage (%): 100.011
Max. virtual memory (Kb): 213148
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####