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-vpm1.opb
MD5SUM	9d68724ddc6098af63bcc619f21688cc
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	20
Optimality of the best value was proved	NO
Number of terms in the objective function	168
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	168
Number of bits of the sum of numbers in the objective function	8
Biggest number in a constraint	819200
Number of bits of the biggest number in a constraint	20
Biggest sum of numbers in a constraint	4941871
Number of bits of the biggest sum of numbers	23
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	459.704
Number of variables	2754
Total number of constraints	612
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	168
Number of constraints which are nor clauses,nor cardinality constraints	444
Minimum length of a constraint	1
Maximum length of a constraint	82
Trace number 26618

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc10 THE 2005-05-24 16:24:40 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=12366 boxname=wulflinc10 idbench=952 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  9d68724ddc6098af63bcc619f21688cc  /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-20-10-vpm1.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-20-10-vpm1.opb
IDLAUNCH: 12366
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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:        892912 kB
Buffers:         34448 kB
Cached:          86572 kB
SwapCached:        224 kB
Active:          71804 kB
Inactive:        52068 kB
HighTotal:      131008 kB
HighFree:        43484 kB
LowTotal:       903652 kB
LowFree:        849428 kB
SwapTotal:     2097136 kB
SwapFree:      2096792 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6568 kB
Slab:            12336 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 16:44:42 (client local time) WITH STATUS 0 IN 1200.25 SECONDS
stats: 12366 7 1200.25 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 2754 variables and 486 constraints.
c After prepocess the problem consists of 1909 variables and 234 constraints.
c preprocess terminated 80.511 s
c Initial Lower Bound: 0
c Lower Bound Elapsed time: 0
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 26 @ 86.354
c NEW SOLUTION FOUND: 25 @ 86.357
c NEW SOLUTION FOUND: 24 @ 187.992
#### 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.84 0.96 0.95 2/54 17228
Raw data (stat): 17228 (runsolver) R 17227 15547 15546 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 773448683 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.001 s]
Raw data (loadavg): 0.87 0.97 0.95 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 6258 0 0 0 982 16 0 0 25 0 1 0 773448683 29396992 6234 4294967295 134512640 134714540 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7177 6234 1111 63 0 7114 0
vsize: 28708
[startup+20.0015 s]
Raw data (loadavg): 0.89 0.97 0.95 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 6274 0 0 0 1981 17 0 0 25 0 1 0 773448683 29396992 6250 4294967295 134512640 134714540 3221224592 3221223292 1076647867 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7177 6250 1111 63 0 7114 0
vsize: 28708
[startup+30.0026 s]
Raw data (loadavg): 0.90 0.97 0.95 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 6274 0 0 0 2981 17 0 0 25 0 1 0 773448683 29396992 6250 4294967295 134512640 134714540 3221224592 3221222972 1077379908 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7177 6250 1111 63 0 7114 0
vsize: 28708
[startup+40.0026 s]
Raw data (loadavg): 0.92 0.97 0.95 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 6274 0 0 0 3980 18 0 0 25 0 1 0 773448683 29396992 6250 4294967295 134512640 134714540 3221224592 3221223300 134618239 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7177 6250 1111 63 0 7114 0
vsize: 28708
[startup+50.0027 s]
Raw data (loadavg): 0.93 0.97 0.95 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 6291 0 0 0 4980 18 0 0 25 0 1 0 773448683 29540352 6267 4294967295 134512640 134714540 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7212 6267 1111 63 0 7149 0
vsize: 28848
[startup+60.0033 s]
Raw data (loadavg): 0.94 0.97 0.95 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 6291 0 0 0 5980 18 0 0 25 0 1 0 773448683 29540352 6267 4294967295 134512640 134714540 3221224592 3221223232 134606468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7212 6267 1111 63 0 7149 0
vsize: 28848
[startup+70.0041 s]
Raw data (loadavg): 0.95 0.97 0.95 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 6291 0 0 0 6979 18 0 0 25 0 1 0 773448683 29540352 6267 4294967295 134512640 134714540 3221224592 3221223232 134606488 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7212 6267 1111 63 0 7149 0
vsize: 28848
[startup+80.0055 s]
Raw data (loadavg): 0.96 0.97 0.95 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 6307 0 0 0 7979 19 0 0 25 0 1 0 773448683 29540352 6283 4294967295 134512640 134714540 3221224592 3221223300 134618239 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7212 6283 1111 63 0 7149 0
vsize: 28848
[startup+90.0057 s]
Raw data (loadavg): 0.96 0.97 0.95 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 9716 0 0 0 8969 29 0 0 25 0 1 0 773448683 43511808 9692 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10623 9692 1111 63 0 10560 0
vsize: 42492
[startup+100.006 s]
Raw data (loadavg): 0.97 0.97 0.95 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 9831 0 0 0 9969 29 0 0 25 0 1 0 773448683 44044288 9807 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10753 9807 1111 63 0 10690 0
vsize: 43012
[startup+110.006 s]
Raw data (loadavg): 0.97 0.97 0.95 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 10679 0 0 0 10966 33 0 0 25 0 1 0 773448683 47558656 10655 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11611 10655 1111 63 0 11548 0
vsize: 46444
[startup+120.005 s]
Raw data (loadavg): 0.98 0.97 0.95 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 12004 0 0 0 11962 36 0 0 25 0 1 0 773448683 53006336 11974 4294967295 134512640 134714540 3221224592 3221223320 134622857 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12941 11974 1111 63 0 12878 0
vsize: 51764
[startup+130.006 s]
Raw data (loadavg): 0.98 0.97 0.95 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 14792 0 0 0 12953 46 0 0 25 0 1 0 773448683 64434176 14762 4294967295 134512640 134714540 3221224592 3221223308 134543156 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15731 14762 1111 63 0 15668 0
vsize: 62924
[startup+140.007 s]
Raw data (loadavg): 0.98 0.97 0.95 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 15342 0 0 0 13952 47 0 0 25 0 1 0 773448683 66678784 15312 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16279 15312 1111 63 0 16216 0
vsize: 65116
[startup+150.006 s]
Raw data (loadavg): 0.98 0.97 0.95 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 15342 0 0 0 14952 47 0 0 25 0 1 0 773448683 66678784 15312 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16279 15312 1111 63 0 16216 0
vsize: 65116
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 15379 0 0 0 15952 48 0 0 25 0 1 0 773448683 66813952 15349 4294967295 134512640 134714540 3221224592 3221223308 134543156 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16312 15349 1111 63 0 16249 0
vsize: 65248
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 15535 0 0 0 16951 48 0 0 25 0 1 0 773448683 67489792 15505 4294967295 134512640 134714540 3221224592 3221223376 134622285 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16477 15505 1111 63 0 16414 0
vsize: 65908
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 15556 0 0 0 17951 49 0 0 25 0 1 0 773448683 67624960 15526 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16510 15526 1111 63 0 16447 0
vsize: 66040
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 16529 0 0 0 18949 51 0 0 25 0 1 0 773448683 71520256 16499 4294967295 134512640 134714540 3221224592 3221223248 134528617 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17461 16499 1111 63 0 17398 0
vsize: 69844
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 17219 0 0 0 19946 53 0 0 25 0 1 0 773448683 74350592 17188 4294967295 134512640 134714540 3221224592 3221223396 134622413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18152 17188 1111 63 0 18089 0
vsize: 72608
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 18139 0 0 0 20944 56 0 0 25 0 1 0 773448683 78209024 18108 4294967295 134512640 134714540 3221224592 3221223304 134543133 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19094 18108 1111 63 0 19031 0
vsize: 76376
[startup+220.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 18217 0 0 0 21943 56 0 0 25 0 1 0 773448683 78479360 18186 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19160 18186 1111 63 0 19097 0
vsize: 76640
[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 18735 0 0 0 22943 57 0 0 25 0 1 0 773448683 80699392 18694 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19702 18694 1111 63 0 19639 0
vsize: 78808
[startup+240.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 18735 0 0 0 23943 57 0 0 25 0 1 0 773448683 80699392 18694 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19702 18694 1111 63 0 19639 0
vsize: 78808
[startup+250.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 18743 0 0 0 24943 57 0 0 25 0 1 0 773448683 80699392 18702 4294967295 134512640 134714540 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19702 18702 1111 63 0 19639 0
vsize: 78808
[startup+260.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 18766 0 0 0 25943 57 0 0 25 0 1 0 773448683 80834560 18725 4294967295 134512640 134714540 3221224592 3221223304 134543157 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19735 18725 1111 63 0 19672 0
vsize: 78940
[startup+270.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 18885 0 0 0 26943 58 0 0 25 0 1 0 773448683 81305600 18844 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19850 18844 1111 63 0 19787 0
vsize: 79400
[startup+280.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 18885 0 0 0 27943 58 0 0 25 0 1 0 773448683 81305600 18844 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19850 18844 1111 63 0 19787 0
vsize: 79400
[startup+290.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 19048 0 0 0 28943 58 0 0 25 0 1 0 773448683 82014208 19007 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20023 19007 1111 63 0 19960 0
vsize: 80092
[startup+300.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 19063 0 0 0 29943 58 0 0 25 0 1 0 773448683 82014208 19022 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20023 19022 1111 63 0 19960 0
vsize: 80092
[startup+310.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 19092 0 0 0 30943 58 0 0 25 0 1 0 773448683 82149376 19051 4294967295 134512640 134714540 3221224592 3221223316 134622859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20056 19051 1111 63 0 19993 0
vsize: 80224
[startup+320.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 19117 0 0 0 31944 58 0 0 25 0 1 0 773448683 82284544 19076 4294967295 134512640 134714540 3221224592 3221223316 134622833 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20089 19076 1111 63 0 20026 0
vsize: 80356
[startup+330.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 19139 0 0 0 32944 58 0 0 25 0 1 0 773448683 82419712 19098 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20122 19098 1111 63 0 20059 0
vsize: 80488
[startup+340.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 19168 0 0 0 33944 58 0 0 25 0 1 0 773448683 82554880 19127 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20155 19127 1111 63 0 20092 0
vsize: 80620
[startup+350.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 19527 0 0 0 34943 59 0 0 25 0 1 0 773448683 83976192 19485 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20502 19485 1111 63 0 20439 0
vsize: 82008
[startup+360.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 19527 0 0 0 35943 59 0 0 25 0 1 0 773448683 83976192 19485 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20502 19485 1111 63 0 20439 0
vsize: 82008
[startup+370.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 19527 0 0 0 36943 59 0 0 25 0 1 0 773448683 83976192 19485 4294967295 134512640 134714540 3221224592 3221223204 134543025 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20502 19485 1111 63 0 20439 0
vsize: 82008
[startup+380.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 20894 0 0 0 37941 63 0 0 25 0 1 0 773448683 89661440 20852 4294967295 134512640 134714540 3221224592 3221223328 134622749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21890 20852 1111 63 0 21827 0
vsize: 87560
[startup+390.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 21552 0 0 0 38938 65 0 0 25 0 1 0 773448683 92495872 21509 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22582 21509 1111 63 0 22519 0
vsize: 90328
[startup+400.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 21785 0 0 0 39938 66 0 0 25 0 1 0 773448683 93458432 21739 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22817 21739 1111 63 0 22754 0
vsize: 91268
[startup+410.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 22017 0 0 0 40938 66 0 0 25 0 1 0 773448683 94449664 21966 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23059 21966 1111 63 0 22996 0
vsize: 92236
[startup+420.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 22175 0 0 0 41938 66 0 0 25 0 1 0 773448683 95019008 22123 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23198 22123 1111 63 0 23135 0
vsize: 92792
[startup+430.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 22175 0 0 0 42938 66 0 0 25 0 1 0 773448683 95019008 22123 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23198 22123 1111 63 0 23135 0
vsize: 92792
[startup+440.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 22175 0 0 0 43938 66 0 0 25 0 1 0 773448683 95019008 22123 4294967295 134512640 134714540 3221224592 3221223304 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23198 22123 1111 63 0 23135 0
vsize: 92792
[startup+450.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 22175 0 0 0 44938 66 0 0 25 0 1 0 773448683 95019008 22123 4294967295 134512640 134714540 3221224592 3221223384 134543552 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23198 22123 1111 63 0 23135 0
vsize: 92792
[startup+460.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 22457 0 0 0 45938 67 0 0 25 0 1 0 773448683 96219136 22405 4294967295 134512640 134714540 3221224592 3221223312 134622815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23491 22405 1111 63 0 23428 0
vsize: 93964
[startup+470.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 22457 0 0 0 46938 67 0 0 25 0 1 0 773448683 96219136 22405 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23491 22405 1111 63 0 23428 0
vsize: 93964
[startup+480.011 s]
Raw data (loadavg): 1.07 0.99 0.96 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 22457 0 0 0 47938 67 0 0 25 0 1 0 773448683 96219136 22405 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23491 22405 1111 63 0 23428 0
vsize: 93964
[startup+490.01 s]
Raw data (loadavg): 1.06 0.99 0.96 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 22457 0 0 0 48938 68 0 0 25 0 1 0 773448683 96219136 22405 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23491 22405 1111 63 0 23428 0
vsize: 93964
[startup+500.01 s]
Raw data (loadavg): 1.05 0.99 0.96 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 22843 0 0 0 49936 69 0 0 25 0 1 0 773448683 97832960 22791 4294967295 134512640 134714540 3221224592 3221223304 134543174 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23885 22791 1111 63 0 23822 0
vsize: 95540
[startup+510.01 s]
Raw data (loadavg): 1.04 0.99 0.96 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 22896 0 0 0 50936 70 0 0 25 0 1 0 773448683 97968128 22844 4294967295 134512640 134714540 3221224592 3221223136 134543043 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23918 22844 1111 63 0 23855 0
vsize: 95672
[startup+520.01 s]
Raw data (loadavg): 1.04 0.99 0.96 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 23674 0 0 0 51934 72 0 0 25 0 1 0 773448683 101199872 23619 4294967295 134512640 134714540 3221224592 3221223464 134536913 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24707 23619 1111 63 0 24644 0
vsize: 98828
[startup+530.01 s]
Raw data (loadavg): 1.03 0.99 0.96 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 23949 0 0 0 52933 73 0 0 25 0 1 0 773448683 102367232 23894 4294967295 134512640 134714540 3221224592 3221223180 134536845 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24992 23894 1111 63 0 24929 0
vsize: 99968
[startup+540.01 s]
Raw data (loadavg): 1.03 0.99 0.96 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 23949 0 0 0 53933 73 0 0 25 0 1 0 773448683 102367232 23894 4294967295 134512640 134714540 3221224592 3221223396 134622267 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24992 23894 1111 63 0 24929 0
vsize: 99968
[startup+550.009 s]
Raw data (loadavg): 1.02 0.99 0.96 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 24484 0 0 0 54931 75 0 0 25 0 1 0 773448683 104591360 24429 4294967295 134512640 134714540 3221224592 3221223216 134536675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25535 24429 1111 63 0 25472 0
vsize: 102140
[startup+560.01 s]
Raw data (loadavg): 1.02 0.99 0.96 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 24719 0 0 0 55930 76 0 0 25 0 1 0 773448683 105537536 24664 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25766 24664 1111 63 0 25703 0
vsize: 103064
[startup+570.009 s]
Raw data (loadavg): 1.01 0.99 0.96 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 25238 0 0 0 56929 78 0 0 25 0 1 0 773448683 107716608 25181 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26298 25181 1111 63 0 26235 0
vsize: 105192
[startup+580.009 s]
Raw data (loadavg): 1.01 0.99 0.96 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 25314 0 0 0 57928 78 0 0 25 0 1 0 773448683 107986944 25257 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26364 25257 1111 63 0 26301 0
vsize: 105456
[startup+590.009 s]
Raw data (loadavg): 1.01 0.99 0.96 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 25314 0 0 0 58929 78 0 0 25 0 1 0 773448683 107986944 25257 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26364 25257 1111 63 0 26301 0
vsize: 105456
[startup+600.008 s]
Raw data (loadavg): 1.01 0.99 0.96 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 25314 0 0 0 59929 78 0 0 25 0 1 0 773448683 107986944 25257 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26364 25257 1111 63 0 26301 0
vsize: 105456
[startup+610.008 s]
Raw data (loadavg): 1.01 0.99 0.96 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 25314 0 0 0 60929 78 0 0 25 0 1 0 773448683 107986944 25257 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26364 25257 1111 63 0 26301 0
vsize: 105456
[startup+620.019 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 25314 0 0 0 61930 78 0 0 25 0 1 0 773448683 107986944 25257 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26364 25257 1111 63 0 26301 0
vsize: 105456
[startup+630.019 s]
Raw data (loadavg): 1.08 1.00 0.97 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 25314 0 0 0 62930 78 0 0 25 0 1 0 773448683 107986944 25257 4294967295 134512640 134714540 3221224592 3221223308 134558476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26364 25257 1111 63 0 26301 0
vsize: 105456
[startup+640.02 s]
Raw data (loadavg): 1.06 1.00 0.97 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 25314 0 0 0 63931 78 0 0 25 0 1 0 773448683 107986944 25257 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26364 25257 1111 63 0 26301 0
vsize: 105456
[startup+650.024 s]
Raw data (loadavg): 1.05 1.00 0.97 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 25314 0 0 0 64931 79 0 0 25 0 1 0 773448683 107986944 25257 4294967295 134512640 134714540 3221224592 3221223316 134622760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26364 25257 1111 63 0 26301 0
vsize: 105456
[startup+660.024 s]
Raw data (loadavg): 1.05 1.00 0.97 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 25314 0 0 0 65931 79 0 0 25 0 1 0 773448683 107986944 25257 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26364 25257 1111 63 0 26301 0
vsize: 105456
[startup+670.023 s]
Raw data (loadavg): 1.04 1.00 0.97 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 25314 0 0 0 66932 79 0 0 25 0 1 0 773448683 107986944 25257 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26364 25257 1111 63 0 26301 0
vsize: 105456
[startup+680.023 s]
Raw data (loadavg): 1.03 1.00 0.97 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 25314 0 0 0 67932 79 0 0 25 0 1 0 773448683 107986944 25257 4294967295 134512640 134714540 3221224592 3221223388 134543540 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26364 25257 1111 63 0 26301 0
vsize: 105456
[startup+690.023 s]
Raw data (loadavg): 1.03 1.00 0.97 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 25314 0 0 0 68932 79 0 0 25 0 1 0 773448683 107986944 25257 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26364 25257 1111 63 0 26301 0
vsize: 105456
[startup+700.023 s]
Raw data (loadavg): 1.02 1.00 0.97 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 25314 0 0 0 69932 79 0 0 25 0 1 0 773448683 107986944 25257 4294967295 134512640 134714540 3221224592 3221223304 134543191 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26364 25257 1111 63 0 26301 0
vsize: 105456
[startup+710.023 s]
Raw data (loadavg): 1.02 1.00 0.97 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 25314 0 0 0 70932 79 0 0 25 0 1 0 773448683 107986944 25257 4294967295 134512640 134714540 3221224592 3221223384 134543552 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26364 25257 1111 63 0 26301 0
vsize: 105456
[startup+720.023 s]
Raw data (loadavg): 1.02 1.00 0.97 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 25314 0 0 0 71932 79 0 0 25 0 1 0 773448683 107986944 25257 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26364 25257 1111 63 0 26301 0
vsize: 105456
[startup+730.023 s]
Raw data (loadavg): 1.01 1.00 0.97 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 25314 0 0 0 72933 79 0 0 25 0 1 0 773448683 107986944 25257 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26364 25257 1111 63 0 26301 0
vsize: 105456
[startup+740.023 s]
Raw data (loadavg): 1.01 1.00 0.97 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 25314 0 0 0 73933 79 0 0 25 0 1 0 773448683 107986944 25257 4294967295 134512640 134714540 3221224592 3221223316 134622760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26364 25257 1111 63 0 26301 0
vsize: 105456
[startup+750.022 s]
Raw data (loadavg): 1.01 1.00 0.97 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 25314 0 0 0 74933 79 0 0 25 0 1 0 773448683 107986944 25257 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26364 25257 1111 63 0 26301 0
vsize: 105456
[startup+760.023 s]
Raw data (loadavg): 1.01 1.00 0.97 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 25314 0 0 0 75933 79 0 0 25 0 1 0 773448683 107986944 25257 4294967295 134512640 134714540 3221224592 3221223100 134535956 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26364 25257 1111 63 0 26301 0
vsize: 105456
[startup+770.022 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 25314 0 0 0 76933 79 0 0 25 0 1 0 773448683 107986944 25257 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26364 25257 1111 63 0 26301 0
vsize: 105456
[startup+780.021 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 25314 0 0 0 77933 79 0 0 25 0 1 0 773448683 107986944 25257 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26364 25257 1111 63 0 26301 0
vsize: 105456
[startup+790.022 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 25314 0 0 0 78934 79 0 0 25 0 1 0 773448683 107986944 25257 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26364 25257 1111 63 0 26301 0
vsize: 105456
[startup+800.022 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 25314 0 0 0 79934 79 0 0 25 0 1 0 773448683 107986944 25257 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26364 25257 1111 63 0 26301 0
vsize: 105456
[startup+810.022 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 25314 0 0 0 80934 79 0 0 25 0 1 0 773448683 107986944 25257 4294967295 134512640 134714540 3221224592 3221223304 134543157 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26364 25257 1111 63 0 26301 0
vsize: 105456
[startup+820.022 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 25314 0 0 0 81934 79 0 0 25 0 1 0 773448683 107986944 25257 4294967295 134512640 134714540 3221224592 3221223384 134543552 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26364 25257 1111 63 0 26301 0
vsize: 105456
[startup+830.021 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 25314 0 0 0 82934 79 0 0 25 0 1 0 773448683 107986944 25257 4294967295 134512640 134714540 3221224592 3221223312 134622865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26364 25257 1111 63 0 26301 0
vsize: 105456
[startup+840.021 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 25314 0 0 0 83935 79 0 0 25 0 1 0 773448683 107986944 25257 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26364 25257 1111 63 0 26301 0
vsize: 105456
[startup+850.021 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 25314 0 0 0 84935 79 0 0 25 0 1 0 773448683 107986944 25257 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26364 25257 1111 63 0 26301 0
vsize: 105456
[startup+860.021 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 25314 0 0 0 85935 79 0 0 25 0 1 0 773448683 107986944 25257 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26364 25257 1111 63 0 26301 0
vsize: 105456
[startup+870.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 25314 0 0 0 86935 79 0 0 25 0 1 0 773448683 107986944 25257 4294967295 134512640 134714540 3221224592 3221223308 134558476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26364 25257 1111 63 0 26301 0
vsize: 105456
[startup+880.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 25314 0 0 0 87935 79 0 0 25 0 1 0 773448683 107986944 25257 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26364 25257 1111 63 0 26301 0
vsize: 105456
[startup+890.021 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 25314 0 0 0 88935 79 0 0 25 0 1 0 773448683 107986944 25257 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26364 25257 1111 63 0 26301 0
vsize: 105456
[startup+900.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 25314 0 0 0 89936 79 0 0 25 0 1 0 773448683 107986944 25257 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26364 25257 1111 63 0 26301 0
vsize: 105456
[startup+910.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 25314 0 0 0 90936 79 0 0 25 0 1 0 773448683 107986944 25257 4294967295 134512640 134714540 3221224592 3221223312 134622817 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26364 25257 1111 63 0 26301 0
vsize: 105456
[startup+920.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 25314 0 0 0 91936 79 0 0 25 0 1 0 773448683 107986944 25257 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26364 25257 1111 63 0 26301 0
vsize: 105456
[startup+930.019 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 25314 0 0 0 92936 79 0 0 25 0 1 0 773448683 107986944 25257 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26364 25257 1111 63 0 26301 0
vsize: 105456
[startup+940.019 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 25314 0 0 0 93936 79 0 0 25 0 1 0 773448683 107986944 25257 4294967295 134512640 134714540 3221224592 3221223312 134622817 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26364 25257 1111 63 0 26301 0
vsize: 105456
[startup+950.018 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 25314 0 0 0 94936 79 0 0 25 0 1 0 773448683 107986944 25257 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26364 25257 1111 63 0 26301 0
vsize: 105456
[startup+960.019 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 25314 0 0 0 95937 79 0 0 25 0 1 0 773448683 107986944 25257 4294967295 134512640 134714540 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26364 25257 1111 63 0 26301 0
vsize: 105456
[startup+970.018 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 25314 0 0 0 96937 79 0 0 25 0 1 0 773448683 107986944 25257 4294967295 134512640 134714540 3221224592 3221223304 134543157 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26364 25257 1111 63 0 26301 0
vsize: 105456
[startup+980.018 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 25314 0 0 0 97937 79 0 0 25 0 1 0 773448683 107986944 25257 4294967295 134512640 134714540 3221224592 3221223308 134558476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26364 25257 1111 63 0 26301 0
vsize: 105456
[startup+990.018 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 25314 0 0 0 98937 79 0 0 25 0 1 0 773448683 107986944 25257 4294967295 134512640 134714540 3221224592 3221223384 134543552 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26364 25257 1111 63 0 26301 0
vsize: 105456
[startup+1000.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 25314 0 0 0 99937 79 0 0 25 0 1 0 773448683 107986944 25257 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26364 25257 1111 63 0 26301 0
vsize: 105456
[startup+1010.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 25314 0 0 0 100937 79 0 0 25 0 1 0 773448683 107986944 25257 4294967295 134512640 134714540 3221224592 3221223316 134622883 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26364 25257 1111 63 0 26301 0
vsize: 105456
[startup+1020.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 25314 0 0 0 101938 79 0 0 25 0 1 0 773448683 107986944 25257 4294967295 134512640 134714540 3221224592 3221223320 134622828 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26364 25257 1111 63 0 26301 0
vsize: 105456
[startup+1030.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 25314 0 0 0 102938 79 0 0 25 0 1 0 773448683 107986944 25257 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26364 25257 1111 63 0 26301 0
vsize: 105456
[startup+1040.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 25314 0 0 0 103938 79 0 0 25 0 1 0 773448683 107986944 25257 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26364 25257 1111 63 0 26301 0
vsize: 105456
[startup+1050.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 25314 0 0 0 104938 79 0 0 25 0 1 0 773448683 107986944 25257 4294967295 134512640 134714540 3221224592 3221223388 134543540 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26364 25257 1111 63 0 26301 0
vsize: 105456
[startup+1060.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 25314 0 0 0 105938 79 0 0 25 0 1 0 773448683 107986944 25257 4294967295 134512640 134714540 3221224592 3221223312 134622884 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26364 25257 1111 63 0 26301 0
vsize: 105456
[startup+1070.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 25314 0 0 0 106939 79 0 0 25 0 1 0 773448683 107986944 25257 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26364 25257 1111 63 0 26301 0
vsize: 105456
[startup+1080.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 25314 0 0 0 107939 79 0 0 25 0 1 0 773448683 107986944 25257 4294967295 134512640 134714540 3221224592 3221223316 134622811 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26364 25257 1111 63 0 26301 0
vsize: 105456
[startup+1090.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 25314 0 0 0 108939 79 0 0 25 0 1 0 773448683 107986944 25257 4294967295 134512640 134714540 3221224592 3221223384 134543552 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26364 25257 1111 63 0 26301 0
vsize: 105456
[startup+1100.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 25314 0 0 0 109939 79 0 0 25 0 1 0 773448683 107986944 25257 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26364 25257 1111 63 0 26301 0
vsize: 105456
[startup+1110.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 25314 0 0 0 110939 79 0 0 25 0 1 0 773448683 107986944 25257 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26364 25257 1111 63 0 26301 0
vsize: 105456
[startup+1120.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 25314 0 0 0 111939 79 0 0 25 0 1 0 773448683 107986944 25257 4294967295 134512640 134714540 3221224592 3221223384 134543552 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26364 25257 1111 63 0 26301 0
vsize: 105456
[startup+1130.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 25314 0 0 0 112940 79 0 0 25 0 1 0 773448683 107986944 25257 4294967295 134512640 134714540 3221224592 3221223408 134622477 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26364 25257 1111 63 0 26301 0
vsize: 105456
[startup+1140.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 25314 0 0 0 113940 79 0 0 25 0 1 0 773448683 107986944 25257 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26364 25257 1111 63 0 26301 0
vsize: 105456
[startup+1150.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 25314 0 0 0 114940 79 0 0 25 0 1 0 773448683 107986944 25257 4294967295 134512640 134714540 3221224592 3221223312 134622884 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26364 25257 1111 63 0 26301 0
vsize: 105456
[startup+1160.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 25314 0 0 0 115940 79 0 0 25 0 1 0 773448683 107986944 25257 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26364 25257 1111 63 0 26301 0
vsize: 105456
[startup+1170.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 25314 0 0 0 116940 79 0 0 25 0 1 0 773448683 107986944 25257 4294967295 134512640 134714540 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26364 25257 1111 63 0 26301 0
vsize: 105456
[startup+1180.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 25314 0 0 0 117941 79 0 0 25 0 1 0 773448683 107986944 25257 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26364 25257 1111 63 0 26301 0
vsize: 105456
[startup+1190.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 25314 0 0 0 118941 79 0 0 25 0 1 0 773448683 107986944 25257 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26364 25257 1111 63 0 26301 0
vsize: 105456
[startup+1200.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 17228
Raw data (stat): 17228 (bsolo_mis) R 17227 15547 15546 0 -1 0 25314 0 0 0 119941 79 0 0 25 0 1 0 773448683 107986944 25257 4294967295 134512640 134714540 3221224592 3221223304 134543144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26364 25257 1111 63 0 26301 0
vsize: 105456
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.07 s]
Raw data (loadavg): 1.00 1.00 0.97 1/54 17228
Raw data (stat): 17228 (bsolo_mis) Z 17227 15547 15546 0 -1 1036 25314 0 0 0 119941 83 0 0 25 0 1 0 773448683 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 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.07
CPU time (s): 1200.25
CPU user time (s): 1199.41
CPU system time (s): 0.839872
CPU usage (%): 100.016
Max. virtual memory (Kb): 105456
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####