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/submitted/een/normalized-p0201.opb
MD5SUM	ff4eb45c2603a47e5b79b2649e926ba4
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.01984
Number of variables	195
Total number of constraints	133
Number of constraints which are clauses	20
Number of constraints which are cardinality constraints (but not clauses)	26
Number of constraints which are nor clauses,nor cardinality constraints	87
Minimum length of a constraint	3
Maximum length of a constraint	65
Trace number 25124

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-16 23:52:31 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=5151 boxname=wulflinc31 idbench=397 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  ff4eb45c2603a47e5b79b2649e926ba4  /oldhome/oroussel/tmp/wulflinc31/normalized-p0201.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-p0201.opb
IDLAUNCH: 5151
/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:        766348 kB
Buffers:         51876 kB
Cached:         187300 kB
SwapCached:       1952 kB
Active:         202676 kB
Inactive:        45380 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        766096 kB
SwapTotal:     2097892 kB
SwapFree:      2095228 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5380 kB
Slab:            14616 kB
Committed_AS:    63856 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-17 00:12:34 (client local time) WITH STATUS 0 IN 1200.44 SECONDS
stats: 5151 7 1200.44 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 201 variables and 133 constraints.
c After prepocess the problem consists of 201 variables and 127 constraints.
c preprocess terminated 0.131 s
c Initial Lower Bound: 1100
c Lower Bound Elapsed time: 0
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 2310 @ 0.149
c NEW SOLUTION FOUND: 2292 @ 0.152
c NEW SOLUTION FOUND: 2267 @ 0.153
c NEW SOLUTION FOUND: 2255 @ 0.156
c NEW SOLUTION FOUND: 2248 @ 0.161
c NEW SOLUTION FOUND: 2236 @ 0.162
c NEW SOLUTION FOUND: 2224 @ 0.162
c NEW SOLUTION FOUND: 2200 @ 0.166
c NEW SOLUTION FOUND: 2191 @ 0.176
c NEW SOLUTION FOUND: 2179 @ 0.178
c NEW SOLUTION FOUND: 2167 @ 0.183
c NEW SOLUTION FOUND: 2160 @ 0.203
c NEW SOLUTION FOUND: 2155 @ 0.328
c NEW SOLUTION FOUND: 2152 @ 0.376
c NEW SOLUTION FOUND: 2144 @ 0.407
c NEW SOLUTION FOUND: 2135 @ 0.425
c NEW SOLUTION FOUND: 2120 @ 0.435
c NEW SOLUTION FOUND: 2105 @ 0.885
c NEW SOLUTION FOUND: 2087 @ 1.708
c NEW SOLUTION FOUND: 2081 @ 1.743
c NEW SOLUTION FOUND: 2057 @ 1.765
c NEW SOLUTION FOUND: 2045 @ 2.289
c NEW SOLUTION FOUND: 2029 @ 19.616
c NEW SOLUTION FOUND: 2017 @ 19.618
c NEW SOLUTION FOUND: 2005 @ 19.858
c NEW SOLUTION FOUND: 2002 @ 27.562
c NEW SOLUTION FOUND: 1999 @ 41.93
c NEW SOLUTION FOUND: 1987 @ 41.949
c NEW SOLUTION FOUND: 1974 @ 42.135
c NEW SOLUTION FOUND: 1962 @ 42.153
c NEW SOLUTION FOUND: 1959 @ 156.951
c NEW SOLUTION FOUND: 1947 @ 156.955
c NEW SOLUTION FOUND: 1946 @ 157.157
c NEW SOLUTION FOUND: 1922 @ 157.159
c NEW SOLUTION FOUND: 1919 @ 423.761
c NEW SOLUTION FOUND: 1907 @ 427.538
c NEW SOLUTION FOUND: 1903 @ 671.855
c NEW SOLUTION FOUND: 1891 @ 671.86
c NEW SOLUTION FOUND: 1867 @ 671.893
#### 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.93 0.98 0.97 2/55 18650
Raw data (stat): 18650 (runsolver) R 18649 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 765196840 1056768 100 4294967295 134512640 135381576 3221221696 3221216916 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0001 s]
Raw data (loadavg): 0.94 0.98 0.97 2/55 18650
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 4302 0 0 0 983 12 0 0 25 0 1 0 765196840 21463040 4276 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5240 4276 1111 63 0 5177 0
vsize: 20960
[startup+20.0016 s]
Raw data (loadavg): 0.95 0.98 0.97 2/55 18650
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 4743 0 0 0 1982 13 0 0 25 0 1 0 765196840 23228416 4717 4294967295 134512640 134714540 3221221792 3221220040 1077377249 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5671 4717 1111 63 0 5608 0
vsize: 22684
[startup+30.002 s]
Raw data (loadavg): 0.95 0.98 0.97 2/55 18650
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 8411 0 0 0 2973 22 0 0 25 0 1 0 765196840 38547456 8348 4294967295 134512640 134714540 3221221792 3221220512 134622884 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9411 8348 1111 63 0 9348 0
vsize: 37644
[startup+40.0029 s]
Raw data (loadavg): 0.96 0.98 0.97 2/55 18650
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 8411 0 0 0 3972 22 0 0 25 0 1 0 765196840 38547456 8348 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9411 8348 1111 63 0 9348 0
vsize: 37644
[startup+50.0041 s]
Raw data (loadavg): 0.97 0.98 0.97 2/55 18650
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 12114 0 0 0 4963 31 0 0 25 0 1 0 765196840 54247424 11992 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13244 11992 1111 63 0 13181 0
vsize: 52976
[startup+60.0038 s]
Raw data (loadavg): 0.97 0.98 0.97 2/55 18650
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 12170 0 0 0 5963 31 0 0 25 0 1 0 765196840 54517760 12048 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13310 12048 1111 63 0 13247 0
vsize: 53240
[startup+70.0047 s]
Raw data (loadavg): 0.97 0.98 0.97 2/55 18650
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 12170 0 0 0 6964 31 0 0 25 0 1 0 765196840 54517760 12048 4294967295 134512640 134714540 3221221792 3221220504 134543171 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13310 12048 1111 63 0 13247 0
vsize: 53240
[startup+80.005 s]
Raw data (loadavg): 0.98 0.98 0.97 2/55 18650
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 12170 0 0 0 7964 31 0 0 25 0 1 0 765196840 54517760 12048 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13310 12048 1111 63 0 13247 0
vsize: 53240
[startup+90.0059 s]
Raw data (loadavg): 0.98 0.98 0.97 2/55 18650
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 12170 0 0 0 8964 31 0 0 25 0 1 0 765196840 54517760 12048 4294967295 134512640 134714540 3221221792 3221220504 134543168 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13310 12048 1111 63 0 13247 0
vsize: 53240
[startup+100.006 s]
Raw data (loadavg): 0.98 0.98 0.97 2/55 18650
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 12171 0 0 0 9964 31 0 0 25 0 1 0 765196840 54517760 12049 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13310 12049 1111 63 0 13247 0
vsize: 53240
[startup+110.006 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 18650
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 12171 0 0 0 10964 31 0 0 25 0 1 0 765196840 54517760 12049 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13310 12049 1111 63 0 13247 0
vsize: 53240
[startup+120.006 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 18650
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 12171 0 0 0 11964 31 0 0 25 0 1 0 765196840 54517760 12049 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13310 12049 1111 63 0 13247 0
vsize: 53240
[startup+130.006 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 18650
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 12171 0 0 0 12965 31 0 0 25 0 1 0 765196840 54517760 12049 4294967295 134512640 134714540 3221221792 3221220584 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13310 12049 1111 63 0 13247 0
vsize: 53240
[startup+140.008 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 18650
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 12171 0 0 0 13965 31 0 0 25 0 1 0 765196840 54517760 12049 4294967295 134512640 134714540 3221221792 3221220504 134543144 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13310 12049 1111 63 0 13247 0
vsize: 53240
[startup+150.009 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 18650
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 14380 0 0 0 14961 36 0 0 25 0 1 0 765196840 63889408 14226 4294967295 134512640 134714540 3221221792 3221220516 134622728 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15598 14226 1111 63 0 15535 0
vsize: 62392
[startup+160.008 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 18650
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 17487 0 0 0 15952 44 0 0 25 0 1 0 765196840 76509184 17308 4294967295 134512640 134714540 3221221792 3221220320 134539608 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18679 17309 1111 63 0 18616 0
vsize: 74716
[startup+170.008 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 18650
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 20955 0 0 0 16945 52 0 0 25 0 1 0 765196840 90877952 20746 4294967295 134512640 134714540 3221221792 3221220592 134622177 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22187 20746 1111 63 0 22124 0
vsize: 88748
[startup+180.008 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 18650
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 21029 0 0 0 17944 52 0 0 25 0 1 0 765196840 91148288 20820 4294967295 134512640 134714540 3221221792 3221220504 134543125 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22253 20820 1111 63 0 22190 0
vsize: 89012
[startup+190.011 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 18650
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 21029 0 0 0 18945 53 0 0 25 0 1 0 765196840 91148288 20820 4294967295 134512640 134714540 3221221792 3221220508 134543192 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22253 20820 1111 63 0 22190 0
vsize: 89012
[startup+200.011 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 18650
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 21029 0 0 0 19945 53 0 0 25 0 1 0 765196840 91148288 20820 4294967295 134512640 134714540 3221221792 3221220512 134622839 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22253 20820 1111 63 0 22190 0
vsize: 89012
[startup+210.011 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 18650
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 21029 0 0 0 20945 53 0 0 25 0 1 0 765196840 91148288 20820 4294967295 134512640 134714540 3221221792 3221220528 134622740 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22253 20820 1111 63 0 22190 0
vsize: 89012
[startup+220.012 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 18650
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 21029 0 0 0 21945 53 0 0 25 0 1 0 765196840 91148288 20820 4294967295 134512640 134714540 3221221792 3221220504 134543168 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22253 20820 1111 63 0 22190 0
vsize: 89012
[startup+230.012 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 18650
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 21031 0 0 0 22945 53 0 0 25 0 1 0 765196840 91148288 20822 4294967295 134512640 134714540 3221221792 3221220588 134536922 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22253 20822 1111 63 0 22190 0
vsize: 89012
[startup+240.013 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 18650
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 21031 0 0 0 23945 53 0 0 25 0 1 0 765196840 91148288 20822 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22253 20822 1111 63 0 22190 0
vsize: 89012
[startup+250.013 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 18650
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 21031 0 0 0 24945 53 0 0 25 0 1 0 765196840 91148288 20822 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22253 20822 1111 63 0 22190 0
vsize: 89012
[startup+260.013 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 18650
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 21031 0 0 0 25945 53 0 0 25 0 1 0 765196840 91148288 20822 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22253 20822 1111 63 0 22190 0
vsize: 89012
[startup+270.014 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 18650
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 21031 0 0 0 26946 53 0 0 25 0 1 0 765196840 91148288 20822 4294967295 134512640 134714540 3221221792 3221220504 134543168 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22253 20822 1111 63 0 22190 0
vsize: 89012
[startup+280.014 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 18650
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 21032 0 0 0 27946 53 0 0 25 0 1 0 765196840 91148288 20823 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22253 20823 1111 63 0 22190 0
vsize: 89012
[startup+290.015 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 18650
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 21032 0 0 0 28946 53 0 0 25 0 1 0 765196840 91148288 20823 4294967295 134512640 134714540 3221221792 3221220504 134543168 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22253 20823 1111 63 0 22190 0
vsize: 89012
[startup+300.015 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 18650
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 21033 0 0 0 29946 53 0 0 25 0 1 0 765196840 91148288 20824 4294967295 134512640 134714540 3221221792 3221220520 134622755 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22253 20824 1111 63 0 22190 0
vsize: 89012
[startup+310.015 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 18650
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 21035 0 0 0 30946 53 0 0 25 0 1 0 765196840 91148288 20826 4294967295 134512640 134714540 3221221792 3221220608 134622261 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22253 20826 1111 63 0 22190 0
vsize: 89012
[startup+320.015 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 18650
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 21035 0 0 0 31946 53 0 0 25 0 1 0 765196840 91148288 20826 4294967295 134512640 134714540 3221221792 3221220528 134622896 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22253 20826 1111 63 0 22190 0
vsize: 89012
[startup+330.015 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 18650
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 21044 0 0 0 32946 53 0 0 25 0 1 0 765196840 91148288 20835 4294967295 134512640 134714540 3221221792 3221220568 134542409 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22253 20835 1111 63 0 22190 0
vsize: 89012
[startup+340.015 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 18650
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 21044 0 0 0 33947 53 0 0 25 0 1 0 765196840 91148288 20835 4294967295 134512640 134714540 3221221792 3221220572 134542400 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22253 20835 1111 63 0 22190 0
vsize: 89012
[startup+350.015 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 18650
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 21045 0 0 0 34947 53 0 0 25 0 1 0 765196840 91148288 20836 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22253 20836 1111 63 0 22190 0
vsize: 89012
[startup+360.015 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 18650
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 21045 0 0 0 35947 53 0 0 25 0 1 0 765196840 91148288 20836 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22253 20836 1111 63 0 22190 0
vsize: 89012
[startup+370.015 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 18650
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 21046 0 0 0 36947 53 0 0 25 0 1 0 765196840 91148288 20837 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22253 20837 1111 63 0 22190 0
vsize: 89012
[startup+380.015 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 18650
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 21049 0 0 0 37947 53 0 0 25 0 1 0 765196840 91148288 20840 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22253 20840 1111 63 0 22190 0
vsize: 89012
[startup+390.017 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 18650
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 21050 0 0 0 38947 53 0 0 25 0 1 0 765196840 91283456 20841 4294967295 134512640 134714540 3221221792 3221220584 134543552 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22286 20841 1111 63 0 22223 0
vsize: 89144
[startup+400.017 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 18650
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 21051 0 0 0 39948 53 0 0 25 0 1 0 765196840 91283456 20842 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22286 20842 1111 63 0 22223 0
vsize: 89144
[startup+410.017 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 18650
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 21055 0 0 0 40947 54 0 0 25 0 1 0 765196840 91283456 20846 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22286 20846 1111 63 0 22223 0
vsize: 89144
[startup+420.017 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 18650
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 21076 0 0 0 41948 54 0 0 25 0 1 0 765196840 91283456 20867 4294967295 134512640 134714540 3221221792 3221220688 134621515 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22286 20867 1111 63 0 22223 0
vsize: 89144
[startup+430.017 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 18650
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 27621 0 0 0 42932 68 0 0 25 0 1 0 765196840 120147968 27200 4294967295 134512640 134714540 3221221792 3221220532 134604483 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29333 27200 1111 63 0 29270 0
vsize: 117332
[startup+440.018 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 18650
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 37568 0 0 0 43902 98 0 0 25 0 1 0 765196840 160624640 37045 4294967295 134512640 134714540 3221221792 3221220504 134543168 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39215 37045 1111 63 0 39152 0
vsize: 156860
[startup+450.195 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 18650
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 37568 0 0 0 44920 98 0 0 25 0 1 0 765196840 160624640 37045 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39215 37045 1111 63 0 39152 0
vsize: 156860
[startup+460.196 s]
Raw data (loadavg): 1.07 1.00 0.98 3/58 18687
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 37568 0 0 0 45920 99 0 0 25 0 1 0 765196840 160624640 37045 4294967295 134512640 134714540 3221221792 3221220584 134543552 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39215 37045 1111 63 0 39152 0
vsize: 156860
[startup+470.25 s]
Raw data (loadavg): 1.22 1.03 0.99 2/57 18697
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 37569 0 0 0 46925 99 0 0 25 0 1 0 765196840 160624640 37046 4294967295 134512640 134714540 3221221792 3221220576 134622290 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39215 37046 1111 63 0 39152 0
vsize: 156860
[startup+480.25 s]
Raw data (loadavg): 1.26 1.05 0.99 2/55 18703
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 37569 0 0 0 47926 99 0 0 25 0 1 0 765196840 160624640 37046 4294967295 134512640 134714540 3221221792 3221220592 134622417 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39215 37046 1111 63 0 39152 0
vsize: 156860
[startup+490.251 s]
Raw data (loadavg): 1.22 1.05 0.99 2/55 18703
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 37569 0 0 0 48926 99 0 0 25 0 1 0 765196840 160624640 37046 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39215 37046 1111 63 0 39152 0
vsize: 156860
[startup+500.251 s]
Raw data (loadavg): 1.18 1.04 0.99 2/55 18703
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 37580 0 0 0 49926 99 0 0 25 0 1 0 765196840 160624640 37057 4294967295 134512640 134714540 3221221792 3221220504 134543174 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39215 37057 1111 63 0 39152 0
vsize: 156860
[startup+510.251 s]
Raw data (loadavg): 1.15 1.04 0.99 2/55 18703
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 37609 0 0 0 50926 99 0 0 25 0 1 0 765196840 160759808 37086 4294967295 134512640 134714540 3221221792 3221220356 134543025 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39248 37086 1111 63 0 39185 0
vsize: 156992
[startup+520.252 s]
Raw data (loadavg): 1.13 1.04 0.99 2/55 18703
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 37636 0 0 0 51926 99 0 0 25 0 1 0 765196840 160894976 37113 4294967295 134512640 134714540 3221221792 3221220588 134536888 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39281 37113 1111 63 0 39218 0
vsize: 157124
[startup+530.252 s]
Raw data (loadavg): 1.11 1.04 0.99 2/55 18703
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 39016 0 0 0 52923 102 0 0 25 0 1 0 765196840 166342656 38487 4294967295 134512640 134714540 3221221792 3221220584 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40611 38487 1111 63 0 40548 0
vsize: 162444
[startup+540.253 s]
Raw data (loadavg): 1.09 1.04 0.99 2/55 18705
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 39017 0 0 0 53923 102 0 0 25 0 1 0 765196840 166342656 38488 4294967295 134512640 134714540 3221221792 3221220520 134622758 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40611 38488 1111 63 0 40548 0
vsize: 162444
[startup+550.253 s]
Raw data (loadavg): 1.08 1.03 0.99 2/55 18705
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 39017 0 0 0 54923 102 0 0 25 0 1 0 765196840 166342656 38488 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40611 38488 1111 63 0 40548 0
vsize: 162444
[startup+560.253 s]
Raw data (loadavg): 1.07 1.03 0.99 2/55 18705
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 39017 0 0 0 55923 102 0 0 25 0 1 0 765196840 166342656 38488 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40611 38488 1111 63 0 40548 0
vsize: 162444
[startup+570.254 s]
Raw data (loadavg): 1.06 1.03 0.99 2/55 18705
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 39017 0 0 0 56923 102 0 0 25 0 1 0 765196840 166342656 38488 4294967295 134512640 134714540 3221221792 3221220584 134542409 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40611 38488 1111 63 0 40548 0
vsize: 162444
[startup+580.254 s]
Raw data (loadavg): 1.05 1.03 0.99 2/55 18705
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 39017 0 0 0 57924 102 0 0 25 0 1 0 765196840 166342656 38488 4294967295 134512640 134714540 3221221792 3221220608 134622477 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40611 38488 1111 63 0 40548 0
vsize: 162444
[startup+590.255 s]
Raw data (loadavg): 1.04 1.03 0.99 2/55 18705
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 39017 0 0 0 58924 102 0 0 25 0 1 0 765196840 166342656 38488 4294967295 134512640 134714540 3221221792 3221220584 134542412 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40611 38488 1111 63 0 40548 0
vsize: 162444
[startup+600.256 s]
Raw data (loadavg): 1.03 1.03 0.99 2/55 18705
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 39017 0 0 0 59924 102 0 0 25 0 1 0 765196840 166342656 38488 4294967295 134512640 134714540 3221221792 3221220504 134543168 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40611 38488 1111 63 0 40548 0
vsize: 162444
[startup+610.255 s]
Raw data (loadavg): 1.03 1.03 0.99 2/55 18705
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 39017 0 0 0 60924 102 0 0 25 0 1 0 765196840 166342656 38488 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40611 38488 1111 63 0 40548 0
vsize: 162444
[startup+620.256 s]
Raw data (loadavg): 1.02 1.02 0.99 2/55 18705
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 39017 0 0 0 61924 102 0 0 25 0 1 0 765196840 166342656 38488 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40611 38488 1111 63 0 40548 0
vsize: 162444
[startup+630.256 s]
Raw data (loadavg): 1.02 1.02 0.99 2/55 18705
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 39017 0 0 0 62924 102 0 0 25 0 1 0 765196840 166342656 38488 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40611 38488 1111 63 0 40548 0
vsize: 162444
[startup+640.256 s]
Raw data (loadavg): 1.02 1.02 0.99 2/55 18705
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 39019 0 0 0 63925 102 0 0 25 0 1 0 765196840 166342656 38490 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40611 38490 1111 63 0 40548 0
vsize: 162444
[startup+650.257 s]
Raw data (loadavg): 1.01 1.02 0.99 2/55 18705
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 39056 0 0 0 64925 102 0 0 25 0 1 0 765196840 166477824 38527 4294967295 134512640 134714540 3221221792 3221220508 134558493 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40644 38527 1111 63 0 40581 0
vsize: 162576
[startup+660.256 s]
Raw data (loadavg): 1.01 1.02 0.99 2/55 18705
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 39135 0 0 0 65925 103 0 0 25 0 1 0 765196840 166883328 38605 4294967295 134512640 134714540 3221221792 3221220504 134543191 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40743 38605 1111 63 0 40680 0
vsize: 162972
[startup+670.256 s]
Raw data (loadavg): 1.01 1.02 0.99 2/55 18705
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 39135 0 0 0 66925 103 0 0 25 0 1 0 765196840 166883328 38605 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40743 38605 1111 63 0 40680 0
vsize: 162972
[startup+680.257 s]
Raw data (loadavg): 1.01 1.02 0.99 2/55 18705
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 39409 0 0 0 67924 103 0 0 25 0 1 0 765196840 168026112 38875 4294967295 134512640 134714540 3221221792 3221220596 134622629 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41022 38875 1111 63 0 40959 0
vsize: 164088
[startup+690.258 s]
Raw data (loadavg): 1.00 1.02 0.99 2/55 18705
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 39409 0 0 0 68924 103 0 0 25 0 1 0 765196840 168026112 38875 4294967295 134512640 134714540 3221221792 3221220504 134543168 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41022 38875 1111 63 0 40959 0
vsize: 164088
[startup+700.258 s]
Raw data (loadavg): 1.00 1.02 0.99 2/55 18705
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 39409 0 0 0 69924 103 0 0 25 0 1 0 765196840 168026112 38875 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41022 38875 1111 63 0 40959 0
vsize: 164088
[startup+710.258 s]
Raw data (loadavg): 1.00 1.02 0.99 2/55 18705
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 39409 0 0 0 70924 103 0 0 25 0 1 0 765196840 168026112 38875 4294967295 134512640 134714540 3221221792 3221220512 134622834 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41022 38875 1111 63 0 40959 0
vsize: 164088
[startup+720.259 s]
Raw data (loadavg): 1.00 1.01 0.99 2/55 18705
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 39409 0 0 0 71924 103 0 0 25 0 1 0 765196840 168026112 38875 4294967295 134512640 134714540 3221221792 3221220512 134622889 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41022 38875 1111 63 0 40959 0
vsize: 164088
[startup+730.259 s]
Raw data (loadavg): 1.00 1.01 0.99 2/55 18705
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 39409 0 0 0 72925 103 0 0 25 0 1 0 765196840 168026112 38875 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41022 38875 1111 63 0 40959 0
vsize: 164088
[startup+740.26 s]
Raw data (loadavg): 1.00 1.01 0.99 2/55 18705
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 39409 0 0 0 73925 103 0 0 25 0 1 0 765196840 168026112 38875 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41022 38875 1111 63 0 40959 0
vsize: 164088
[startup+750.261 s]
Raw data (loadavg): 1.00 1.01 0.99 2/55 18705
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 39409 0 0 0 74925 103 0 0 25 0 1 0 765196840 168026112 38875 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41022 38875 1111 63 0 40959 0
vsize: 164088
[startup+760.261 s]
Raw data (loadavg): 1.00 1.01 0.99 2/55 18705
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 39409 0 0 0 75925 103 0 0 25 0 1 0 765196840 168026112 38875 4294967295 134512640 134714540 3221221792 3221220584 134543552 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41022 38875 1111 63 0 40959 0
vsize: 164088
[startup+770.261 s]
Raw data (loadavg): 1.00 1.01 0.99 2/55 18705
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 39409 0 0 0 76925 103 0 0 25 0 1 0 765196840 168026112 38875 4294967295 134512640 134714540 3221221792 3221220504 134543174 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41022 38875 1111 63 0 40959 0
vsize: 164088
[startup+780.262 s]
Raw data (loadavg): 1.00 1.01 0.99 2/55 18705
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 39409 0 0 0 77925 104 0 0 25 0 1 0 765196840 168026112 38875 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41022 38875 1111 63 0 40959 0
vsize: 164088
[startup+790.263 s]
Raw data (loadavg): 1.00 1.01 0.99 2/55 18705
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 39410 0 0 0 78925 104 0 0 25 0 1 0 765196840 168026112 38876 4294967295 134512640 134714540 3221221792 3221220584 134542412 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41022 38876 1111 63 0 40959 0
vsize: 164088
[startup+800.263 s]
Raw data (loadavg): 1.00 1.01 0.99 2/55 18705
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 39446 0 0 0 79925 104 0 0 25 0 1 0 765196840 168161280 38912 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41055 38912 1111 63 0 40992 0
vsize: 164220
[startup+810.263 s]
Raw data (loadavg): 1.00 1.01 0.99 2/55 18705
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 39446 0 0 0 80925 104 0 0 25 0 1 0 765196840 168161280 38912 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41055 38912 1111 63 0 40992 0
vsize: 164220
[startup+820.264 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 18705
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 39446 0 0 0 81925 104 0 0 25 0 1 0 765196840 168161280 38912 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41055 38912 1111 63 0 40992 0
vsize: 164220
[startup+830.264 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 18705
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 39446 0 0 0 82926 104 0 0 25 0 1 0 765196840 168161280 38912 4294967295 134512640 134714540 3221221792 3221220504 134543168 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41055 38912 1111 63 0 40992 0
vsize: 164220
[startup+840.264 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 18705
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 39446 0 0 0 83926 104 0 0 25 0 1 0 765196840 168161280 38912 4294967295 134512640 134714540 3221221792 3221220520 134622882 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41055 38912 1111 63 0 40992 0
vsize: 164220
[startup+850.265 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 18707
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 39446 0 0 0 84926 104 0 0 25 0 1 0 765196840 168161280 38912 4294967295 134512640 134714540 3221221792 3221220504 134543168 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41055 38912 1111 63 0 40992 0
vsize: 164220
[startup+860.266 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 18707
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 39446 0 0 0 85926 104 0 0 25 0 1 0 765196840 168161280 38912 4294967295 134512640 134714540 3221221792 3221220608 134622477 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41055 38912 1111 63 0 40992 0
vsize: 164220
[startup+870.267 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 18707
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 39446 0 0 0 86926 104 0 0 25 0 1 0 765196840 168161280 38912 4294967295 134512640 134714540 3221221792 3221220520 134622755 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41055 38912 1111 63 0 40992 0
vsize: 164220
[startup+880.266 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 18707
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 39446 0 0 0 87926 104 0 0 25 0 1 0 765196840 168161280 38912 4294967295 134512640 134714540 3221221792 3221220520 134622831 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41055 38912 1111 63 0 40992 0
vsize: 164220
[startup+890.267 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 18707
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 39446 0 0 0 88927 105 0 0 25 0 1 0 765196840 168161280 38912 4294967295 134512640 134714540 3221221792 3221220504 134543191 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41055 38912 1111 63 0 40992 0
vsize: 164220
[startup+900.267 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 18707
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 39446 0 0 0 89927 105 0 0 25 0 1 0 765196840 168161280 38912 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41055 38912 1111 63 0 40992 0
vsize: 164220
[startup+910.267 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 18707
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 39446 0 0 0 90927 105 0 0 25 0 1 0 765196840 168161280 38912 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41055 38912 1111 63 0 40992 0
vsize: 164220
[startup+920.268 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 18707
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 39446 0 0 0 91927 105 0 0 25 0 1 0 765196840 168161280 38912 4294967295 134512640 134714540 3221221792 3221220504 134543157 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41055 38912 1111 63 0 40992 0
vsize: 164220
[startup+930.268 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 18707
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 39447 0 0 0 92927 105 0 0 25 0 1 0 765196840 168161280 38913 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41055 38913 1111 63 0 40992 0
vsize: 164220
[startup+940.268 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 18707
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 39447 0 0 0 93927 105 0 0 25 0 1 0 765196840 168161280 38913 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41055 38913 1111 63 0 40992 0
vsize: 164220
[startup+950.268 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 18707
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 39447 0 0 0 94927 105 0 0 25 0 1 0 765196840 168161280 38913 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41055 38913 1111 63 0 40992 0
vsize: 164220
[startup+960.268 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 18707
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 39447 0 0 0 95928 105 0 0 25 0 1 0 765196840 168161280 38913 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41055 38913 1111 63 0 40992 0
vsize: 164220
[startup+970.268 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 18707
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 39447 0 0 0 96928 105 0 0 25 0 1 0 765196840 168161280 38913 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41055 38913 1111 63 0 40992 0
vsize: 164220
[startup+980.268 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 18707
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 39447 0 0 0 97928 105 0 0 25 0 1 0 765196840 168161280 38913 4294967295 134512640 134714540 3221221792 3221220584 134543552 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41055 38913 1111 63 0 40992 0
vsize: 164220
[startup+990.268 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 18707
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 39449 0 0 0 98928 105 0 0 25 0 1 0 765196840 168161280 38915 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41055 38915 1111 63 0 40992 0
vsize: 164220
[startup+1000.27 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 18707
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 39449 0 0 0 99928 105 0 0 25 0 1 0 765196840 168161280 38915 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41055 38915 1111 63 0 40992 0
vsize: 164220
[startup+1010.27 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 18707
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 39449 0 0 0 100928 105 0 0 25 0 1 0 765196840 168161280 38915 4294967295 134512640 134714540 3221221792 3221220584 134543552 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41055 38915 1111 63 0 40992 0
vsize: 164220
[startup+1020.27 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 18707
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 39449 0 0 0 101928 105 0 0 25 0 1 0 765196840 168161280 38915 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41055 38915 1111 63 0 40992 0
vsize: 164220
[startup+1030.27 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 18707
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 39449 0 0 0 102929 105 0 0 25 0 1 0 765196840 168161280 38915 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41055 38915 1111 63 0 40992 0
vsize: 164220
[startup+1040.27 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 18707
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 39449 0 0 0 103929 105 0 0 25 0 1 0 765196840 168161280 38915 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41055 38915 1111 63 0 40992 0
vsize: 164220
[startup+1050.27 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 18707
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 39449 0 0 0 104929 105 0 0 25 0 1 0 765196840 168161280 38915 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41055 38915 1111 63 0 40992 0
vsize: 164220
[startup+1060.27 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 18707
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 39449 0 0 0 105929 105 0 0 25 0 1 0 765196840 168161280 38915 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41055 38915 1111 63 0 40992 0
vsize: 164220
[startup+1070.27 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 18707
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 39449 0 0 0 106929 105 0 0 25 0 1 0 765196840 168161280 38915 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41055 38915 1111 63 0 40992 0
vsize: 164220
[startup+1080.27 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 18707
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 39449 0 0 0 107929 105 0 0 25 0 1 0 765196840 168161280 38915 4294967295 134512640 134714540 3221221792 3221220504 134543133 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41055 38915 1111 63 0 40992 0
vsize: 164220
[startup+1090.27 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 18707
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 39449 0 0 0 108929 105 0 0 25 0 1 0 765196840 168161280 38915 4294967295 134512640 134714540 3221221792 3221220512 134622761 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41055 38915 1111 63 0 40992 0
vsize: 164220
[startup+1100.27 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 18707
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 39449 0 0 0 109929 105 0 0 25 0 1 0 765196840 168161280 38915 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41055 38915 1111 63 0 40992 0
vsize: 164220
[startup+1110.27 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 18707
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 39449 0 0 0 110930 105 0 0 25 0 1 0 765196840 168161280 38915 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41055 38915 1111 63 0 40992 0
vsize: 164220
[startup+1120.27 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 18707
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 39449 0 0 0 111930 105 0 0 25 0 1 0 765196840 168161280 38915 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41055 38915 1111 63 0 40992 0
vsize: 164220
[startup+1130.27 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 18707
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 39449 0 0 0 112930 105 0 0 25 0 1 0 765196840 168161280 38915 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41055 38915 1111 63 0 40992 0
vsize: 164220
[startup+1140.27 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 18707
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 39449 0 0 0 113930 105 0 0 25 0 1 0 765196840 168161280 38915 4294967295 134512640 134714540 3221221792 3221220584 134536900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41055 38915 1111 63 0 40992 0
vsize: 164220
[startup+1150.27 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 18707
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 39449 0 0 0 114930 105 0 0 25 0 1 0 765196840 168161280 38915 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41055 38915 1111 63 0 40992 0
vsize: 164220
[startup+1160.27 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 18707
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 39449 0 0 0 115930 105 0 0 25 0 1 0 765196840 168161280 38915 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41055 38915 1111 63 0 40992 0
vsize: 164220
[startup+1170.27 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 18707
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 39449 0 0 0 116931 105 0 0 25 0 1 0 765196840 168161280 38915 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41055 38915 1111 63 0 40992 0
vsize: 164220
[startup+1180.27 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 18707
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 39449 0 0 0 117931 105 0 0 25 0 1 0 765196840 168161280 38915 4294967295 134512640 134714540 3221221792 3221220584 134536921 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41055 38915 1111 63 0 40992 0
vsize: 164220
[startup+1190.27 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 18707
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 39449 0 0 0 118931 105 0 0 25 0 1 0 765196840 168161280 38915 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41055 38915 1111 63 0 40992 0
vsize: 164220
[startup+1200.27 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 18707
Raw data (stat): 18650 (bsolo_mis) R 18649 7876 7672 0 -1 0 39449 0 0 0 119931 105 0 0 25 0 1 0 765196840 168161280 38915 4294967295 134512640 134714540 3221221792 3221220508 134558493 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41055 38915 1111 63 0 40992 0
vsize: 164220
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.34 s]
Raw data (loadavg): 1.00 1.00 0.99 1/55 18707
Raw data (stat): 18650 (bsolo_mis) Z 18649 7876 7672 0 -1 1036 39449 0 0 0 119931 112 0 0 25 0 1 0 765196840 0 0 4294967295 0 0 0 0 0 0 0 1 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.34
CPU time (s): 1200.44
CPU user time (s): 1199.31
CPU system time (s): 1.12983
CPU usage (%): 100.008
Max. virtual memory (Kb): 164220
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####