PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0201.opb
MD5SUM	ffa3a55eb53181880328dd1b84f91e66
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1523
Optimality of the best value was proved	NO
Number of terms in the objective function	201
Biggest coefficient in the objective function	1920
Number of bits for the biggest coefficient in the objective function	11
Sum of the numbers in the objective function	19980
Number of bits of the sum of numbers in the objective function	15
Biggest number in a constraint	1920
Number of bits of the biggest number in a constraint	11
Biggest sum of numbers in a constraint	19980
Number of bits of the biggest sum of numbers	15
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.02284
Number of variables	201
Total number of constraints	334
Number of constraints which are clauses	20
Number of constraints which are cardinality constraints (but not clauses)	227
Number of constraints which are nor clauses,nor cardinality constraints	87
Minimum length of a constraint	1
Maximum length of a constraint	67
Trace number 28608

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-05-25 03:18:29 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=12119 boxname=wulflinc6 idbench=933 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  ffa3a55eb53181880328dd1b84f91e66  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-p0201.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-p0201.opb
IDLAUNCH: 12119
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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	: 2
cpu MHz		: 451.042
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        532572 kB
Buffers:          7308 kB
Cached:         466036 kB
SwapCached:        412 kB
Active:          22744 kB
Inactive:       452904 kB
HighTotal:      131008 kB
HighFree:        11844 kB
LowTotal:       903652 kB
LowFree:        520728 kB
SwapTotal:     2097136 kB
SwapFree:      2096036 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5692 kB
Slab:            20916 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 03:38:32 (client local time) WITH STATUS 0 IN 1200.47 SECONDS
stats: 12119 7 1200.47 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 201 variables and 133 constraints.
c After prepocess the problem consists of 195 variables and 127 constraints.
c preprocess terminated 0.226 s
c Initial Lower Bound: 1100
c Lower Bound Elapsed time: 0
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 2290 @ 0.244
c NEW SOLUTION FOUND: 2272 @ 0.248
c NEW SOLUTION FOUND: 2247 @ 0.249
c NEW SOLUTION FOUND: 2235 @ 0.253
c NEW SOLUTION FOUND: 2216 @ 0.257
c NEW SOLUTION FOUND: 2204 @ 0.258
c NEW SOLUTION FOUND: 2192 @ 0.263
c NEW SOLUTION FOUND: 2180 @ 0.264
c NEW SOLUTION FOUND: 2171 @ 0.276
c NEW SOLUTION FOUND: 2159 @ 0.277
c NEW SOLUTION FOUND: 2147 @ 0.293
c NEW SOLUTION FOUND: 2140 @ 0.359
c NEW SOLUTION FOUND: 2100 @ 0.498
c NEW SOLUTION FOUND: 2097 @ 0.606
c NEW SOLUTION FOUND: 2085 @ 0.607
c NEW SOLUTION FOUND: 2067 @ 1.158
c NEW SOLUTION FOUND: 2064 @ 1.226
c NEW SOLUTION FOUND: 2052 @ 1.336
c NEW SOLUTION FOUND: 2037 @ 1.475
c NEW SOLUTION FOUND: 2025 @ 1.481
c NEW SOLUTION FOUND: 2020 @ 14.907
c NEW SOLUTION FOUND: 2017 @ 14.911
c NEW SOLUTION FOUND: 2009 @ 15.322
c NEW SOLUTION FOUND: 1985 @ 15.54
c NEW SOLUTION FOUND: 1982 @ 22.717
c NEW SOLUTION FOUND: 1967 @ 65.97
c NEW SOLUTION FOUND: 1954 @ 66.292
c NEW SOLUTION FOUND: 1942 @ 66.363
c NEW SOLUTION FOUND: 1939 @ 340.565
c NEW SOLUTION FOUND: 1927 @ 340.571
c NEW SOLUTION FOUND: 1914 @ 340.827
c NEW SOLUTION FOUND: 1902 @ 340.92
c NEW SOLUTION FOUND: 1899 @ 701.874
c NEW SOLUTION FOUND: 1887 @ 701.944
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.98 0.99 2/54 2061
Raw data (stat): 2061 (runsolver) R 2060 25568 25567 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 777358292 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0004 s]
Raw data (loadavg): 0.93 0.98 0.99 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 4765 0 0 0 987 11 0 0 25 0 1 0 777358292 23314432 4741 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5692 4741 1111 63 0 5629 0
vsize: 22768
[startup+20.001 s]
Raw data (loadavg): 0.94 0.98 0.99 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 6286 0 0 0 1983 16 0 0 25 0 1 0 777358292 29540352 6260 4294967295 134512640 134714540 3221224592 3221223320 134622854 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7212 6260 1111 63 0 7149 0
vsize: 28848
[startup+30.002 s]
Raw data (loadavg): 0.95 0.98 0.99 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 12008 0 0 0 2970 28 0 0 25 0 1 0 777358292 53452800 11932 4294967295 134512640 134714540 3221224592 3221223304 134543157 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13050 11932 1111 63 0 12987 0
vsize: 52200
[startup+40.0018 s]
Raw data (loadavg): 0.96 0.98 0.99 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 12008 0 0 0 3971 28 0 0 25 0 1 0 777358292 53452800 11932 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13050 11932 1111 63 0 12987 0
vsize: 52200
[startup+50.0023 s]
Raw data (loadavg): 0.96 0.98 0.99 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 12008 0 0 0 4971 28 0 0 25 0 1 0 777358292 53452800 11932 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13050 11932 1111 63 0 12987 0
vsize: 52200
[startup+60.0024 s]
Raw data (loadavg): 0.97 0.98 0.99 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 12008 0 0 0 5971 28 0 0 25 0 1 0 777358292 53452800 11932 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13050 11932 1111 63 0 12987 0
vsize: 52200
[startup+70.0038 s]
Raw data (loadavg): 0.97 0.98 0.99 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 16100 0 0 0 6961 39 0 0 25 0 1 0 777358292 70828032 15945 4294967295 134512640 134714540 3221224592 3221223232 134524471 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17292 15945 1111 63 0 17229 0
vsize: 69168
[startup+80.0049 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 16903 0 0 0 7959 41 0 0 25 0 1 0 777358292 74260480 16739 4294967295 134512640 134714540 3221224592 3221223384 134543552 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18130 16739 1111 63 0 18067 0
vsize: 72520
[startup+90.006 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 16903 0 0 0 8959 41 0 0 25 0 1 0 777358292 74260480 16739 4294967295 134512640 134714540 3221224592 3221223392 134622422 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18130 16739 1111 63 0 18067 0
vsize: 72520
[startup+100.006 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 16903 0 0 0 9959 41 0 0 25 0 1 0 777358292 74260480 16739 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18130 16739 1111 63 0 18067 0
vsize: 72520
[startup+110.007 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 16905 0 0 0 10959 41 0 0 25 0 1 0 777358292 74260480 16741 4294967295 134512640 134714540 3221224592 3221223316 134622785 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18130 16741 1111 63 0 18067 0
vsize: 72520
[startup+120.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 16913 0 0 0 11959 42 0 0 25 0 1 0 777358292 74260480 16749 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18130 16749 1111 63 0 18067 0
vsize: 72520
[startup+130.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 16933 0 0 0 12959 43 0 0 25 0 1 0 777358292 74395648 16769 4294967295 134512640 134714540 3221224592 3221223304 134543144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18163 16769 1111 63 0 18100 0
vsize: 72652
[startup+140.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 16939 0 0 0 13959 43 0 0 25 0 1 0 777358292 74395648 16775 4294967295 134512640 134714540 3221224592 3221223388 134536888 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18163 16775 1111 63 0 18100 0
vsize: 72652
[startup+150.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 17014 0 0 0 14959 43 0 0 25 0 1 0 777358292 74665984 16850 4294967295 134512640 134714540 3221224592 3221223316 134622760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18229 16850 1111 63 0 18166 0
vsize: 72916
[startup+160.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 17033 0 0 0 15959 43 0 0 25 0 1 0 777358292 74801152 16869 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18262 16869 1111 63 0 18199 0
vsize: 73048
[startup+170.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 17033 0 0 0 16959 44 0 0 25 0 1 0 777358292 74801152 16869 4294967295 134512640 134714540 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18262 16869 1111 63 0 18199 0
vsize: 73048
[startup+180.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 17033 0 0 0 17959 44 0 0 25 0 1 0 777358292 74801152 16869 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18262 16869 1111 63 0 18199 0
vsize: 73048
[startup+190.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 17033 0 0 0 18959 44 0 0 25 0 1 0 777358292 74801152 16869 4294967295 134512640 134714540 3221224592 3221223304 134543174 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18262 16869 1111 63 0 18199 0
vsize: 73048
[startup+200.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 17033 0 0 0 19959 44 0 0 25 0 1 0 777358292 74801152 16869 4294967295 134512640 134714540 3221224592 3221223328 134622896 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18262 16869 1111 63 0 18199 0
vsize: 73048
[startup+210.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 17033 0 0 0 20960 44 0 0 25 0 1 0 777358292 74801152 16869 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18262 16869 1111 63 0 18199 0
vsize: 73048
[startup+220.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 17033 0 0 0 21960 44 0 0 25 0 1 0 777358292 74801152 16869 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18262 16869 1111 63 0 18199 0
vsize: 73048
[startup+230.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 17033 0 0 0 22961 44 0 0 25 0 1 0 777358292 74801152 16869 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18262 16869 1111 63 0 18199 0
vsize: 73048
[startup+240.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 17033 0 0 0 23961 44 0 0 25 0 1 0 777358292 74801152 16869 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18262 16869 1111 63 0 18199 0
vsize: 73048
[startup+250.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 17033 0 0 0 24961 44 0 0 25 0 1 0 777358292 74801152 16869 4294967295 134512640 134714540 3221224592 3221223320 134622758 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18262 16869 1111 63 0 18199 0
vsize: 73048
[startup+260.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 17033 0 0 0 25962 44 0 0 25 0 1 0 777358292 74801152 16869 4294967295 134512640 134714540 3221224592 3221223304 134558477 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18262 16869 1111 63 0 18199 0
vsize: 73048
[startup+270.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 17033 0 0 0 26962 44 0 0 25 0 1 0 777358292 74801152 16869 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18262 16869 1111 63 0 18199 0
vsize: 73048
[startup+280.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 17034 0 0 0 27962 44 0 0 25 0 1 0 777358292 74801152 16870 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18262 16870 1111 63 0 18199 0
vsize: 73048
[startup+290.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 17034 0 0 0 28963 44 0 0 25 0 1 0 777358292 74801152 16870 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18262 16870 1111 63 0 18199 0
vsize: 73048
[startup+300.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 17034 0 0 0 29963 44 0 0 25 0 1 0 777358292 74801152 16870 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18262 16870 1111 63 0 18199 0
vsize: 73048
[startup+310.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 17034 0 0 0 30963 44 0 0 25 0 1 0 777358292 74801152 16870 4294967295 134512640 134714540 3221224592 3221223384 134542409 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18262 16870 1111 63 0 18199 0
vsize: 73048
[startup+320.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 20483 0 0 0 31955 53 0 0 25 0 1 0 777358292 88907776 20283 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21706 20283 1111 63 0 21643 0
vsize: 86824
[startup+330.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 20483 0 0 0 32956 53 0 0 25 0 1 0 777358292 88907776 20283 4294967295 134512640 134714540 3221224592 3221223312 134622761 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21706 20283 1111 63 0 21643 0
vsize: 86824
[startup+340.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 20483 0 0 0 33956 53 0 0 25 0 1 0 777358292 88907776 20283 4294967295 134512640 134714540 3221224592 3221223408 134622477 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21706 20283 1111 63 0 21643 0
vsize: 86824
[startup+350.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 26397 0 0 0 34943 66 0 0 25 0 1 0 777358292 114802688 26009 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28028 26009 1111 63 0 27965 0
vsize: 112112
[startup+360.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 26397 0 0 0 35943 66 0 0 25 0 1 0 777358292 114802688 26009 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28028 26009 1111 63 0 27965 0
vsize: 112112
[startup+370.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 26399 0 0 0 36943 66 0 0 25 0 1 0 777358292 114802688 26011 4294967295 134512640 134714540 3221224592 3221223304 134558490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28028 26011 1111 63 0 27965 0
vsize: 112112
[startup+380.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 26410 0 0 0 37944 66 0 0 25 0 1 0 777358292 114802688 26022 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28028 26022 1111 63 0 27965 0
vsize: 112112
[startup+390.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 26421 0 0 0 38944 67 0 0 25 0 1 0 777358292 114802688 26033 4294967295 134512640 134714540 3221224592 3221223304 134558477 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28028 26033 1111 63 0 27965 0
vsize: 112112
[startup+400.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 26481 0 0 0 39944 67 0 0 25 0 1 0 777358292 115138560 26089 4294967295 134512640 134714540 3221224592 3221223312 134622766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28110 26089 1111 63 0 28047 0
vsize: 112440
[startup+410.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 26481 0 0 0 40944 67 0 0 25 0 1 0 777358292 115138560 26089 4294967295 134512640 134714540 3221224592 3221223196 134543615 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28110 26089 1111 63 0 28047 0
vsize: 112440
[startup+420.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 26494 0 0 0 41945 67 0 0 25 0 1 0 777358292 115138560 26102 4294967295 134512640 134714540 3221224592 3221223368 134542416 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28110 26102 1111 63 0 28047 0
vsize: 112440
[startup+430.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 26494 0 0 0 42945 67 0 0 25 0 1 0 777358292 115138560 26102 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28110 26102 1111 63 0 28047 0
vsize: 112440
[startup+440.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 26494 0 0 0 43945 67 0 0 25 0 1 0 777358292 115138560 26102 4294967295 134512640 134714540 3221224592 3221223312 134622766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28110 26102 1111 63 0 28047 0
vsize: 112440
[startup+450.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 26494 0 0 0 44945 67 0 0 25 0 1 0 777358292 115138560 26102 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28110 26102 1111 63 0 28047 0
vsize: 112440
[startup+460.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 26494 0 0 0 45946 67 0 0 25 0 1 0 777358292 115138560 26102 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28110 26102 1111 63 0 28047 0
vsize: 112440
[startup+470.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 26494 0 0 0 46946 67 0 0 25 0 1 0 777358292 115138560 26102 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28110 26102 1111 63 0 28047 0
vsize: 112440
[startup+480.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 26494 0 0 0 47947 67 0 0 25 0 1 0 777358292 115138560 26102 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28110 26102 1111 63 0 28047 0
vsize: 112440
[startup+490.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 26494 0 0 0 48947 67 0 0 25 0 1 0 777358292 115138560 26102 4294967295 134512640 134714540 3221224592 3221223328 134622844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28110 26102 1111 63 0 28047 0
vsize: 112440
[startup+500.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 26494 0 0 0 49948 67 0 0 25 0 1 0 777358292 115138560 26102 4294967295 134512640 134714540 3221224592 3221223304 134558477 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28110 26102 1111 63 0 28047 0
vsize: 112440
[startup+510.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 26496 0 0 0 50948 67 0 0 25 0 1 0 777358292 115138560 26104 4294967295 134512640 134714540 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28110 26104 1111 63 0 28047 0
vsize: 112440
[startup+520.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 26496 0 0 0 51948 67 0 0 25 0 1 0 777358292 115138560 26104 4294967295 134512640 134714540 3221224592 3221223328 134622749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28110 26104 1111 63 0 28047 0
vsize: 112440
[startup+530.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 26496 0 0 0 52949 67 0 0 25 0 1 0 777358292 115138560 26104 4294967295 134512640 134714540 3221224592 3221223304 134543191 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28110 26104 1111 63 0 28047 0
vsize: 112440
[startup+540.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 26496 0 0 0 53949 67 0 0 25 0 1 0 777358292 115138560 26104 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28110 26104 1111 63 0 28047 0
vsize: 112440
[startup+550.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 26496 0 0 0 54949 67 0 0 25 0 1 0 777358292 115138560 26104 4294967295 134512640 134714540 3221224592 3221223384 134543552 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28110 26104 1111 63 0 28047 0
vsize: 112440
[startup+560.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 26496 0 0 0 55950 67 0 0 25 0 1 0 777358292 115138560 26104 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28110 26104 1111 63 0 28047 0
vsize: 112440
[startup+570.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 26496 0 0 0 56950 68 0 0 25 0 1 0 777358292 115138560 26104 4294967295 134512640 134714540 3221224592 3221223392 134622638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28110 26104 1111 63 0 28047 0
vsize: 112440
[startup+580.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 26496 0 0 0 57950 68 0 0 25 0 1 0 777358292 115138560 26104 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28110 26104 1111 63 0 28047 0
vsize: 112440
[startup+590.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 26498 0 0 0 58951 68 0 0 25 0 1 0 777358292 115273728 26106 4294967295 134512640 134714540 3221224592 3221223308 134543156 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28143 26106 1111 63 0 28080 0
vsize: 112572
[startup+600.038 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 26499 0 0 0 59951 68 0 0 25 0 1 0 777358292 115273728 26107 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28143 26107 1111 63 0 28080 0
vsize: 112572
[startup+610.039 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 26499 0 0 0 60952 68 0 0 25 0 1 0 777358292 115273728 26107 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28143 26107 1111 63 0 28080 0
vsize: 112572
[startup+620.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 26499 0 0 0 61952 68 0 0 25 0 1 0 777358292 115273728 26107 4294967295 134512640 134714540 3221224592 3221223304 134543179 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28143 26107 1111 63 0 28080 0
vsize: 112572
[startup+630.041 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 26500 0 0 0 62952 68 0 0 25 0 1 0 777358292 115273728 26108 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28143 26108 1111 63 0 28080 0
vsize: 112572
[startup+640.041 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 26501 0 0 0 63953 68 0 0 25 0 1 0 777358292 115273728 26109 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28143 26109 1111 63 0 28080 0
vsize: 112572
[startup+650.041 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 26506 0 0 0 64953 68 0 0 25 0 1 0 777358292 115273728 26114 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28143 26114 1111 63 0 28080 0
vsize: 112572
[startup+660.041 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 26532 0 0 0 65953 68 0 0 25 0 1 0 777358292 115470336 26136 4294967295 134512640 134714540 3221224592 3221223372 134542400 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28191 26136 1111 63 0 28128 0
vsize: 112764
[startup+670.042 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 26532 0 0 0 66954 68 0 0 25 0 1 0 777358292 115470336 26136 4294967295 134512640 134714540 3221224592 3221223408 134622625 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28191 26136 1111 63 0 28128 0
vsize: 112764
[startup+680.043 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 26532 0 0 0 67954 68 0 0 25 0 1 0 777358292 115470336 26136 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28191 26136 1111 63 0 28128 0
vsize: 112764
[startup+690.042 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 26532 0 0 0 68954 68 0 0 25 0 1 0 777358292 115470336 26136 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28191 26136 1111 63 0 28128 0
vsize: 112764
[startup+700.044 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 26593 0 0 0 69955 68 0 0 25 0 1 0 777358292 115605504 26197 4294967295 134512640 134714540 3221224592 3221223052 134535984 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28224 26197 1111 63 0 28161 0
vsize: 112896
[startup+710.044 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 35475 0 0 0 70933 90 0 0 25 0 1 0 777358292 151588864 34997 4294967295 134512640 134714540 3221224592 3221223288 134672932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37009 34997 1111 63 0 36946 0
vsize: 148036
[startup+720.045 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 40759 0 0 0 71922 101 0 0 25 0 1 0 777358292 173654016 40192 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42396 40192 1111 63 0 42333 0
vsize: 169584
[startup+730.046 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 40759 0 0 0 72922 101 0 0 25 0 1 0 777358292 173654016 40192 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42396 40192 1111 63 0 42333 0
vsize: 169584
[startup+740.049 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 40759 0 0 0 73923 101 0 0 25 0 1 0 777358292 173654016 40192 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42396 40192 1111 63 0 42333 0
vsize: 169584
[startup+750.049 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 40759 0 0 0 74923 102 0 0 25 0 1 0 777358292 173654016 40192 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42396 40192 1111 63 0 42333 0
vsize: 169584
[startup+760.049 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 40759 0 0 0 75923 102 0 0 25 0 1 0 777358292 173654016 40192 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42396 40192 1111 63 0 42333 0
vsize: 169584
[startup+770.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 40759 0 0 0 76924 102 0 0 25 0 1 0 777358292 173654016 40192 4294967295 134512640 134714540 3221224592 3221223384 134542412 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42396 40192 1111 63 0 42333 0
vsize: 169584
[startup+780.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 40759 0 0 0 77924 102 0 0 25 0 1 0 777358292 173654016 40192 4294967295 134512640 134714540 3221224592 3221223316 134622833 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42396 40192 1111 63 0 42333 0
vsize: 169584
[startup+790.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 40759 0 0 0 78924 102 0 0 25 0 1 0 777358292 173654016 40192 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42396 40192 1111 63 0 42333 0
vsize: 169584
[startup+800.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 40759 0 0 0 79925 102 0 0 25 0 1 0 777358292 173654016 40192 4294967295 134512640 134714540 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42396 40192 1111 63 0 42333 0
vsize: 169584
[startup+810.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 40759 0 0 0 80925 102 0 0 25 0 1 0 777358292 173654016 40192 4294967295 134512640 134714540 3221224592 3221223312 134622865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42396 40192 1111 63 0 42333 0
vsize: 169584
[startup+820.049 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 40759 0 0 0 81925 102 0 0 25 0 1 0 777358292 173654016 40192 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42396 40192 1111 63 0 42333 0
vsize: 169584
[startup+830.049 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 40759 0 0 0 82925 102 0 0 25 0 1 0 777358292 173654016 40192 4294967295 134512640 134714540 3221224592 3221223384 134536921 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42396 40192 1111 63 0 42333 0
vsize: 169584
[startup+840.049 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 40759 0 0 0 83926 102 0 0 25 0 1 0 777358292 173654016 40192 4294967295 134512640 134714540 3221224592 3221223308 134558493 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42396 40192 1111 63 0 42333 0
vsize: 169584
[startup+850.048 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 40759 0 0 0 84926 102 0 0 25 0 1 0 777358292 173654016 40192 4294967295 134512640 134714540 3221224592 3221223316 134622785 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42396 40192 1111 63 0 42333 0
vsize: 169584
[startup+860.048 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 40759 0 0 0 85926 102 0 0 25 0 1 0 777358292 173654016 40192 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42396 40192 1111 63 0 42333 0
vsize: 169584
[startup+870.048 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 40759 0 0 0 86927 102 0 0 25 0 1 0 777358292 173654016 40192 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42396 40192 1111 63 0 42333 0
vsize: 169584
[startup+880.048 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 40759 0 0 0 87927 102 0 0 25 0 1 0 777358292 173654016 40192 4294967295 134512640 134714540 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42396 40192 1111 63 0 42333 0
vsize: 169584
[startup+890.048 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 40759 0 0 0 88927 102 0 0 25 0 1 0 777358292 173654016 40192 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42396 40192 1111 63 0 42333 0
vsize: 169584
[startup+900.048 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 40759 0 0 0 89928 102 0 0 25 0 1 0 777358292 173654016 40192 4294967295 134512640 134714540 3221224592 3221223384 134536901 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42396 40192 1111 63 0 42333 0
vsize: 169584
[startup+910.048 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 40759 0 0 0 90928 102 0 0 25 0 1 0 777358292 173654016 40192 4294967295 134512640 134714540 3221224592 3221223304 134558477 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42396 40192 1111 63 0 42333 0
vsize: 169584
[startup+920.048 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 40759 0 0 0 91928 102 0 0 25 0 1 0 777358292 173654016 40192 4294967295 134512640 134714540 3221224592 3221223368 134543568 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42396 40192 1111 63 0 42333 0
vsize: 169584
[startup+930.048 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 40759 0 0 0 92929 102 0 0 25 0 1 0 777358292 173654016 40192 4294967295 134512640 134714540 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42396 40192 1111 63 0 42333 0
vsize: 169584
[startup+940.047 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 40759 0 0 0 93929 102 0 0 25 0 1 0 777358292 173654016 40192 4294967295 134512640 134714540 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42396 40192 1111 63 0 42333 0
vsize: 169584
[startup+950.048 s]
Raw data (loadavg): 1.06 1.00 1.00 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 40759 0 0 0 94929 102 0 0 25 0 1 0 777358292 173654016 40192 4294967295 134512640 134714540 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42396 40192 1111 63 0 42333 0
vsize: 169584
[startup+960.047 s]
Raw data (loadavg): 1.05 1.00 1.00 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 40759 0 0 0 95929 102 0 0 25 0 1 0 777358292 173654016 40192 4294967295 134512640 134714540 3221224592 3221223408 134622115 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42396 40192 1111 63 0 42333 0
vsize: 169584
[startup+970.047 s]
Raw data (loadavg): 1.04 1.00 1.00 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 40759 0 0 0 96929 103 0 0 25 0 1 0 777358292 173654016 40192 4294967295 134512640 134714540 3221224592 3221223384 134536900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42396 40192 1111 63 0 42333 0
vsize: 169584
[startup+980.047 s]
Raw data (loadavg): 1.04 1.00 1.00 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 40759 0 0 0 97929 103 0 0 25 0 1 0 777358292 173654016 40192 4294967295 134512640 134714540 3221224592 3221223312 134622817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42396 40192 1111 63 0 42333 0
vsize: 169584
[startup+990.047 s]
Raw data (loadavg): 1.03 1.00 1.00 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 40759 0 0 0 98930 103 0 0 25 0 1 0 777358292 173654016 40192 4294967295 134512640 134714540 3221224592 3221223304 134558490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42396 40192 1111 63 0 42333 0
vsize: 169584
[startup+1000.05 s]
Raw data (loadavg): 1.03 1.00 1.00 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 40759 0 0 0 99930 103 0 0 25 0 1 0 777358292 173654016 40192 4294967295 134512640 134714540 3221224592 3221223316 134622811 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42396 40192 1111 63 0 42333 0
vsize: 169584
[startup+1010.05 s]
Raw data (loadavg): 1.02 1.00 1.00 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 40759 0 0 0 100930 103 0 0 25 0 1 0 777358292 173654016 40192 4294967295 134512640 134714540 3221224592 3221223384 134542412 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42396 40192 1111 63 0 42333 0
vsize: 169584
[startup+1020.05 s]
Raw data (loadavg): 1.02 1.00 1.00 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 40759 0 0 0 101930 103 0 0 25 0 1 0 777358292 173654016 40192 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42396 40192 1111 63 0 42333 0
vsize: 169584
[startup+1030.04 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 40772 0 0 0 102931 103 0 0 25 0 1 0 777358292 173654016 40205 4294967295 134512640 134714540 3221224592 3221223316 134622785 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42396 40205 1111 63 0 42333 0
vsize: 169584
[startup+1040.04 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 40772 0 0 0 103931 103 0 0 25 0 1 0 777358292 173654016 40205 4294967295 134512640 134714540 3221224592 3221223396 134622267 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42396 40205 1111 63 0 42333 0
vsize: 169584
[startup+1050.04 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 40772 0 0 0 104931 103 0 0 25 0 1 0 777358292 173654016 40205 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42396 40205 1111 63 0 42333 0
vsize: 169584
[startup+1060.04 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 40772 0 0 0 105931 103 0 0 25 0 1 0 777358292 173654016 40205 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42396 40205 1111 63 0 42333 0
vsize: 169584
[startup+1070.04 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 40772 0 0 0 106932 103 0 0 25 0 1 0 777358292 173654016 40205 4294967295 134512640 134714540 3221224592 3221223372 134542422 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42396 40205 1111 63 0 42333 0
vsize: 169584
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 40772 0 0 0 107932 103 0 0 25 0 1 0 777358292 173654016 40205 4294967295 134512640 134714540 3221224592 3221223384 134542409 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42396 40205 1111 63 0 42333 0
vsize: 169584
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 40772 0 0 0 108932 103 0 0 25 0 1 0 777358292 173654016 40205 4294967295 134512640 134714540 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42396 40205 1111 63 0 42333 0
vsize: 169584
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 40772 0 0 0 109933 103 0 0 25 0 1 0 777358292 173654016 40205 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42396 40205 1111 63 0 42333 0
vsize: 169584
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 40772 0 0 0 110933 103 0 0 25 0 1 0 777358292 173654016 40205 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42396 40205 1111 63 0 42333 0
vsize: 169584
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 40772 0 0 0 111933 103 0 0 25 0 1 0 777358292 173654016 40205 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42396 40205 1111 63 0 42333 0
vsize: 169584
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 40772 0 0 0 112933 103 0 0 25 0 1 0 777358292 173654016 40205 4294967295 134512640 134714540 3221224592 3221223312 134622865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42396 40205 1111 63 0 42333 0
vsize: 169584
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 40772 0 0 0 113934 103 0 0 25 0 1 0 777358292 173654016 40205 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42396 40205 1111 63 0 42333 0
vsize: 169584
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 40772 0 0 0 114934 103 0 0 25 0 1 0 777358292 173654016 40205 4294967295 134512640 134714540 3221224592 3221223320 134622806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42396 40205 1111 63 0 42333 0
vsize: 169584
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 40772 0 0 0 115934 103 0 0 25 0 1 0 777358292 173654016 40205 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42396 40205 1111 63 0 42333 0
vsize: 169584
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 40791 0 0 0 116935 103 0 0 25 0 1 0 777358292 173797376 40223 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42431 40223 1111 63 0 42368 0
vsize: 169724
[startup+1180.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 40791 0 0 0 117935 103 0 0 25 0 1 0 777358292 173797376 40223 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42431 40223 1111 63 0 42368 0
vsize: 169724
[startup+1190.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 40791 0 0 0 118935 103 0 0 25 0 1 0 777358292 173797376 40223 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42431 40223 1111 63 0 42368 0
vsize: 169724
[startup+1200.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 2061
Raw data (stat): 2061 (bsolo_mis) R 2060 25568 25567 0 -1 0 40791 0 0 0 119936 103 0 0 25 0 1 0 777358292 173797376 40223 4294967295 134512640 134714540 3221224592 3221223396 134622267 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42431 40223 1111 63 0 42368 0
vsize: 169724
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.12 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 2061
Raw data (stat): 2061 (bsolo_mis) Z 2060 25568 25567 0 -1 1036 40791 0 0 0 119936 110 0 0 25 0 1 0 777358292 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.12
CPU time (s): 1200.47
CPU user time (s): 1199.36
CPU system time (s): 1.10683
CPU usage (%): 100.03
Max. virtual memory (Kb): 169724
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####