PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran8x32.opb
MD5SUM	ff0017de67077abd1f68238274b64e50
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1695644
Optimality of the best value was proved	NO
Number of terms in the objective function	5376
Biggest coefficient in the objective function	5242880
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	1517603678
Number of bits of the sum of numbers in the objective function	31
Biggest number in a constraint	5242880
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	1517603678
Number of bits of the biggest sum of numbers	31
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.03
Number of variables	5376
Total number of constraints	296
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	296
Minimum length of a constraint	21
Maximum length of a constraint	640
Trace number 26860

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc25 THE 2005-05-24 17:21:25 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19360 boxname=wulflinc25 idbench=1490 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  ff0017de67077abd1f68238274b64e50  /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-13-7-ran8x32.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-13-7-ran8x32.opb
IDLAUNCH: 19360
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.220
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.220
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:        883820 kB
Buffers:         35596 kB
Cached:          94152 kB
SwapCached:        812 kB
Active:          62324 kB
Inactive:        69944 kB
HighTotal:      131008 kB
HighFree:        36176 kB
LowTotal:       903652 kB
LowFree:        847644 kB
SwapTotal:     2097892 kB
SwapFree:      2096616 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5600 kB
Slab:            13096 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 17:41:01 (client local time) WITH STATUS 0 IN 1175.03 SECONDS
stats: 19360 7 1175.03 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 5376 variables and 336 constraints.
c After prepocess the problem consists of 2981 variables and 336 constraints.
c preprocess terminated 4.609 s
c Initial Lower Bound: 132
c Lower Bound Elapsed time: 0
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.01 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.85 0.95 0.98 2/54 2682
Raw data (stat): 2682 (runsolver) R 2681 1586 1585 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 832011936 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.0001 s]
Raw data (loadavg): 0.87 0.95 0.98 2/54 2682
Raw data (stat): 2682 (bsolo_mis) R 2681 1586 1585 0 -1 0 6525 0 0 0 983 14 0 0 25 0 1 0 832011936 30523392 6480 4294967295 134512640 134714540 3221224592 3221223392 134611415 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7452 6480 1111 63 0 7389 0
vsize: 29808
[startup+19.9996 s]
Raw data (loadavg): 0.89 0.96 0.98 2/54 2682
Raw data (stat): 2682 (bsolo_mis) R 2681 1586 1585 0 -1 0 6560 0 0 0 1982 15 0 0 25 0 1 0 832011936 30646272 6515 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7482 6515 1111 63 0 7419 0
vsize: 29928
[startup+29.9995 s]
Raw data (loadavg): 0.91 0.96 0.98 2/54 2682
Raw data (stat): 2682 (bsolo_mis) R 2681 1586 1585 0 -1 0 6895 0 0 0 2981 16 0 0 25 0 1 0 832011936 31997952 6850 4294967295 134512640 134714540 3221224592 3221223376 134624457 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7812 6850 1111 63 0 7749 0
vsize: 31248
[startup+40.0001 s]
Raw data (loadavg): 0.92 0.96 0.98 2/54 2682
Raw data (stat): 2682 (bsolo_mis) R 2681 1586 1585 0 -1 0 7010 0 0 0 3980 18 0 0 25 0 1 0 832011936 32403456 6965 4294967295 134512640 134714540 3221224592 3221223408 134610966 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7911 6965 1111 63 0 7848 0
vsize: 31644
[startup+50.0004 s]
Raw data (loadavg): 0.93 0.96 0.98 2/54 2682
Raw data (stat): 2682 (bsolo_mis) R 2681 1586 1585 0 -1 0 7010 0 0 0 4980 18 0 0 25 0 1 0 832011936 32403456 6965 4294967295 134512640 134714540 3221224592 3221223408 134611099 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7911 6965 1111 63 0 7848 0
vsize: 31644
[startup+60.0004 s]
Raw data (loadavg): 0.94 0.96 0.98 2/54 2682
Raw data (stat): 2682 (bsolo_mis) R 2681 1586 1585 0 -1 0 7010 0 0 0 5979 20 0 0 25 0 1 0 832011936 32403456 6965 4294967295 134512640 134714540 3221224592 3221223320 134532441 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7911 6965 1111 63 0 7848 0
vsize: 31644
[startup+70.0006 s]
Raw data (loadavg): 0.95 0.96 0.98 2/54 2682
Raw data (stat): 2682 (bsolo_mis) R 2681 1586 1585 0 -1 0 7010 0 0 0 6978 20 0 0 25 0 1 0 832011936 32403456 6965 4294967295 134512640 134714540 3221224592 3221223320 134558793 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7911 6965 1111 63 0 7848 0
vsize: 31644
[startup+80.0002 s]
Raw data (loadavg): 0.96 0.96 0.98 2/54 2682
Raw data (stat): 2682 (bsolo_mis) R 2681 1586 1585 0 -1 0 7012 0 0 0 7977 21 0 0 25 0 1 0 832011936 32403456 6967 4294967295 134512640 134714540 3221224592 3221223340 134672920 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7911 6967 1111 63 0 7848 0
vsize: 31644
[startup+90.0001 s]
Raw data (loadavg): 0.96 0.96 0.98 2/54 2682
Raw data (stat): 2682 (bsolo_mis) R 2681 1586 1585 0 -1 0 7012 0 0 0 8977 22 0 0 25 0 1 0 832011936 32403456 6967 4294967295 134512640 134714540 3221224592 3221223312 1076647868 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7911 6967 1111 63 0 7848 0
vsize: 31644
[startup+99.9997 s]
Raw data (loadavg): 0.97 0.96 0.98 2/54 2682
Raw data (stat): 2682 (bsolo_mis) R 2681 1586 1585 0 -1 0 7012 0 0 0 9976 23 0 0 25 0 1 0 832011936 32403456 6967 4294967295 134512640 134714540 3221224592 3221223212 134543615 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7911 6967 1111 63 0 7848 0
vsize: 31644
[startup+110 s]
Raw data (loadavg): 0.97 0.96 0.98 2/54 2682
Raw data (stat): 2682 (bsolo_mis) R 2681 1586 1585 0 -1 0 7012 0 0 0 10976 23 0 0 25 0 1 0 832011936 32403456 6967 4294967295 134512640 134714540 3221224592 3221223348 134535492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7911 6967 1111 63 0 7848 0
vsize: 31644
[startup+120 s]
Raw data (loadavg): 0.98 0.97 0.98 2/54 2682
Raw data (stat): 2682 (bsolo_mis) R 2681 1586 1585 0 -1 0 7012 0 0 0 11975 24 0 0 25 0 1 0 832011936 32403456 6967 4294967295 134512640 134714540 3221224592 3221223324 134558784 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7911 6967 1111 63 0 7848 0
vsize: 31644
[startup+129.999 s]
Raw data (loadavg): 0.98 0.97 0.98 2/54 2682
Raw data (stat): 2682 (bsolo_mis) R 2681 1586 1585 0 -1 0 7012 0 0 0 12974 25 0 0 25 0 1 0 832011936 32403456 6967 4294967295 134512640 134714540 3221224592 3221223284 134524411 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7911 6967 1111 63 0 7848 0
vsize: 31644
[startup+139.999 s]
Raw data (loadavg): 0.98 0.97 0.98 2/54 2682
Raw data (stat): 2682 (bsolo_mis) R 2681 1586 1585 0 -1 0 7016 0 0 0 13974 26 0 0 25 0 1 0 832011936 32403456 6971 4294967295 134512640 134714540 3221224592 3221223440 134623464 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7911 6971 1111 63 0 7848 0
vsize: 31644
[startup+149.999 s]
Raw data (loadavg): 0.98 0.97 0.98 2/54 2682
Raw data (stat): 2682 (bsolo_mis) R 2681 1586 1585 0 -1 0 7016 0 0 0 14973 27 0 0 25 0 1 0 832011936 32403456 6971 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7911 6971 1111 63 0 7848 0
vsize: 31644
[startup+159.999 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2682
Raw data (stat): 2682 (bsolo_mis) R 2681 1586 1585 0 -1 0 7016 0 0 0 15972 28 0 0 25 0 1 0 832011936 32403456 6971 4294967295 134512640 134714540 3221224592 3221223400 134611393 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7911 6971 1111 63 0 7848 0
vsize: 31644
[startup+169.999 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2682
Raw data (stat): 2682 (bsolo_mis) R 2681 1586 1585 0 -1 0 7016 0 0 0 16972 29 0 0 25 0 1 0 832011936 32403456 6971 4294967295 134512640 134714540 3221224592 3221223392 134611401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7911 6971 1111 63 0 7848 0
vsize: 31644
[startup+179.999 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2682
Raw data (stat): 2682 (bsolo_mis) R 2681 1586 1585 0 -1 0 7016 0 0 0 17970 30 0 0 25 0 1 0 832011936 32403456 6971 4294967295 134512640 134714540 3221224592 3221223384 134542448 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7911 6971 1111 63 0 7848 0
vsize: 31644
[startup+189.999 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2682
Raw data (stat): 2682 (bsolo_mis) R 2681 1586 1585 0 -1 0 7016 0 0 0 18970 31 0 0 25 0 1 0 832011936 32403456 6971 4294967295 134512640 134714540 3221224592 3221223268 1077374467 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7911 6971 1111 63 0 7848 0
vsize: 31644
[startup+199.998 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2682
Raw data (stat): 2682 (bsolo_mis) R 2681 1586 1585 0 -1 0 7027 0 0 0 19969 32 0 0 25 0 1 0 832011936 32473088 6982 4294967295 134512640 134714540 3221224592 3221223360 134542598 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7928 6982 1111 63 0 7865 0
vsize: 31712
[startup+209.998 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2682
Raw data (stat): 2682 (bsolo_mis) R 2681 1586 1585 0 -1 0 7033 0 0 0 20968 33 0 0 25 0 1 0 832011936 32473088 6988 4294967295 134512640 134714540 3221224592 3221223320 134532455 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7928 6988 1111 63 0 7865 0
vsize: 31712
[startup+219.999 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2682
Raw data (stat): 2682 (bsolo_mis) R 2681 1586 1585 0 -1 0 7033 0 0 0 21968 33 0 0 25 0 1 0 832011936 32473088 6988 4294967295 134512640 134714540 3221224592 3221222876 1077379908 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7928 6988 1111 63 0 7865 0
vsize: 31712
[startup+229.998 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2682
Raw data (stat): 2682 (bsolo_mis) R 2681 1586 1585 0 -1 0 7037 0 0 0 22967 35 0 0 25 0 1 0 832011936 32608256 6992 4294967295 134512640 134714540 3221224592 3221223152 134539596 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7961 6992 1111 63 0 7898 0
vsize: 31844
[startup+239.998 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2682
Raw data (stat): 2682 (bsolo_mis) R 2681 1586 1585 0 -1 0 7037 0 0 0 23966 36 0 0 25 0 1 0 832011936 32608256 6992 4294967295 134512640 134714540 3221224592 3221223216 134535385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7961 6992 1111 63 0 7898 0
vsize: 31844
[startup+249.998 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2682
Raw data (stat): 2682 (bsolo_mis) R 2681 1586 1585 0 -1 0 7037 0 0 0 24965 37 0 0 25 0 1 0 832011936 32608256 6992 4294967295 134512640 134714540 3221224592 3221223408 134611091 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7961 6992 1111 63 0 7898 0
vsize: 31844
[startup+259.998 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2682
Raw data (stat): 2682 (bsolo_mis) R 2681 1586 1585 0 -1 0 7037 0 0 0 25964 38 0 0 25 0 1 0 832011936 32608256 6992 4294967295 134512640 134714540 3221224592 3221223340 134535534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7961 6992 1111 63 0 7898 0
vsize: 31844
[startup+269.998 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2682
Raw data (stat): 2682 (bsolo_mis) R 2681 1586 1585 0 -1 0 7045 0 0 0 26964 38 0 0 25 0 1 0 832011936 32608256 7000 4294967295 134512640 134714540 3221224592 3221223360 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7961 7000 1111 63 0 7898 0
vsize: 31844
[startup+279.998 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2682
Raw data (stat): 2682 (bsolo_mis) R 2681 1586 1585 0 -1 0 7045 0 0 0 27963 40 0 0 25 0 1 0 832011936 32608256 7000 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7961 7000 1111 63 0 7898 0
vsize: 31844
[startup+289.998 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2682
Raw data (stat): 2682 (bsolo_mis) R 2681 1586 1585 0 -1 0 7045 0 0 0 28962 41 0 0 25 0 1 0 832011936 32608256 7000 4294967295 134512640 134714540 3221224592 3221223384 134542448 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7961 7000 1111 63 0 7898 0
vsize: 31844
[startup+299.998 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2682
Raw data (stat): 2682 (bsolo_mis) R 2681 1586 1585 0 -1 0 7045 0 0 0 29961 42 0 0 25 0 1 0 832011936 32608256 7000 4294967295 134512640 134714540 3221224592 3221223336 134558544 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7961 7000 1111 63 0 7898 0
vsize: 31844
[startup+309.998 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2682
Raw data (stat): 2682 (bsolo_mis) R 2681 1586 1585 0 -1 0 7045 0 0 0 30960 43 0 0 25 0 1 0 832011936 32608256 7000 4294967295 134512640 134714540 3221224592 3221223232 134613454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7961 7000 1111 63 0 7898 0
vsize: 31844
[startup+319.998 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2682
Raw data (stat): 2682 (bsolo_mis) R 2681 1586 1585 0 -1 0 7045 0 0 0 31959 44 0 0 25 0 1 0 832011936 32608256 7000 4294967295 134512640 134714540 3221224592 3221223440 134623456 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7961 7000 1111 63 0 7898 0
vsize: 31844
[startup+329.998 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2682
Raw data (stat): 2682 (bsolo_mis) R 2681 1586 1585 0 -1 0 7045 0 0 0 32958 45 0 0 25 0 1 0 832011936 32608256 7000 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7961 7000 1111 63 0 7898 0
vsize: 31844
[startup+339.998 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2682
Raw data (stat): 2682 (bsolo_mis) R 2681 1586 1585 0 -1 0 7045 0 0 0 33957 47 0 0 25 0 1 0 832011936 32608256 7000 4294967295 134512640 134714540 3221224592 3221223400 134558597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7961 7000 1111 63 0 7898 0
vsize: 31844
[startup+349.998 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2682
Raw data (stat): 2682 (bsolo_mis) R 2681 1586 1585 0 -1 0 7045 0 0 0 34956 48 0 0 25 0 1 0 832011936 32608256 7000 4294967295 134512640 134714540 3221224592 3221223328 134591824 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7961 7000 1111 63 0 7898 0
vsize: 31844
[startup+359.998 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2682
Raw data (stat): 2682 (bsolo_mis) R 2681 1586 1585 0 -1 0 7045 0 0 0 35956 48 0 0 25 0 1 0 832011936 32608256 7000 4294967295 134512640 134714540 3221224592 3221223336 134672944 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7961 7000 1111 63 0 7898 0
vsize: 31844
[startup+369.998 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2682
Raw data (stat): 2682 (bsolo_mis) R 2681 1586 1585 0 -1 0 7045 0 0 0 36955 49 0 0 25 0 1 0 832011936 32460800 6988 4294967295 134512640 134714540 3221224592 3221223352 134543552 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7925 6988 1111 63 0 7862 0
vsize: 31700
[startup+379.997 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2682
Raw data (stat): 2682 (bsolo_mis) R 2681 1586 1585 0 -1 0 7045 0 0 0 37954 50 0 0 25 0 1 0 832011936 32460800 6988 4294967295 134512640 134714540 3221224592 3221223336 134672932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7925 6988 1111 63 0 7862 0
vsize: 31700
[startup+389.997 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2682
Raw data (stat): 2682 (bsolo_mis) R 2681 1586 1585 0 -1 0 7045 0 0 0 38954 50 0 0 25 0 1 0 832011936 32460800 6988 4294967295 134512640 134714540 3221224592 3221222980 1077374149 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7925 6988 1111 63 0 7862 0
vsize: 31700
[startup+399.998 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2682
Raw data (stat): 2682 (bsolo_mis) R 2681 1586 1585 0 -1 0 7045 0 0 0 39953 51 0 0 25 0 1 0 832011936 32460800 6988 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7925 6988 1111 63 0 7862 0
vsize: 31700
[startup+409.998 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2682
Raw data (stat): 2682 (bsolo_mis) R 2681 1586 1585 0 -1 0 7045 0 0 0 40953 52 0 0 25 0 1 0 832011936 32460800 6988 4294967295 134512640 134714540 3221224592 3221223232 134535026 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7925 6988 1111 63 0 7862 0
vsize: 31700
[startup+419.998 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2682
Raw data (stat): 2682 (bsolo_mis) R 2681 1586 1585 0 -1 0 7045 0 0 0 41952 53 0 0 25 0 1 0 832011936 32460800 6988 4294967295 134512640 134714540 3221224592 3221223176 134543628 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7925 6988 1111 63 0 7862 0
vsize: 31700
[startup+429.998 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2682
Raw data (stat): 2682 (bsolo_mis) R 2681 1586 1585 0 -1 0 7045 0 0 0 42952 53 0 0 25 0 1 0 832011936 32460800 6988 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7925 6988 1111 63 0 7862 0
vsize: 31700
[startup+439.998 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2682
Raw data (stat): 2682 (bsolo_mis) R 2681 1586 1585 0 -1 0 7045 0 0 0 43951 54 0 0 25 0 1 0 832011936 32460800 6988 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7925 6988 1111 63 0 7862 0
vsize: 31700
[startup+449.998 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2682
Raw data (stat): 2682 (bsolo_mis) R 2681 1586 1585 0 -1 0 7045 0 0 0 44950 55 0 0 25 0 1 0 832011936 32460800 6988 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7925 6988 1111 63 0 7862 0
vsize: 31700
[startup+459.999 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2682
Raw data (stat): 2682 (bsolo_mis) R 2681 1586 1585 0 -1 0 7045 0 0 0 45949 56 0 0 25 0 1 0 832011936 32460800 6988 4294967295 134512640 134714540 3221224592 3221223256 134672913 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7925 6988 1111 63 0 7862 0
vsize: 31700
[startup+469.999 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2682
Raw data (stat): 2682 (bsolo_mis) R 2681 1586 1585 0 -1 0 7045 0 0 0 46948 57 0 0 25 0 1 0 832011936 32460800 6988 4294967295 134512640 134714540 3221224592 3221223304 134558477 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7925 6988 1111 63 0 7862 0
vsize: 31700
[startup+479.999 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2682
Raw data (stat): 2682 (bsolo_mis) R 2681 1586 1585 0 -1 0 7045 0 0 0 47948 58 0 0 25 0 1 0 832011936 32460800 6988 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7925 6988 1111 63 0 7862 0
vsize: 31700
[startup+489.999 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2682
Raw data (stat): 2682 (bsolo_mis) R 2681 1586 1585 0 -1 0 7045 0 0 0 48947 59 0 0 25 0 1 0 832011936 32460800 6988 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7925 6988 1111 63 0 7862 0
vsize: 31700
[startup+500 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2682
Raw data (stat): 2682 (bsolo_mis) R 2681 1586 1585 0 -1 0 7045 0 0 0 49946 60 0 0 25 0 1 0 832011936 32460800 6988 4294967295 134512640 134714540 3221224592 3221222876 1077379846 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7925 6988 1111 63 0 7862 0
vsize: 31700
[startup+510 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2682
Raw data (stat): 2682 (bsolo_mis) R 2681 1586 1585 0 -1 0 7045 0 0 0 50946 61 0 0 25 0 1 0 832011936 32460800 6988 4294967295 134512640 134714540 3221224592 3221223328 134695309 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7925 6988 1111 63 0 7862 0
vsize: 31700
[startup+520 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2682
Raw data (stat): 2682 (bsolo_mis) R 2681 1586 1585 0 -1 0 7045 0 0 0 51945 61 0 0 25 0 1 0 832011936 32460800 6988 4294967295 134512640 134714540 3221224592 3221223328 134534154 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7925 6988 1111 63 0 7862 0
vsize: 31700
[startup+529.999 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2682
Raw data (stat): 2682 (bsolo_mis) R 2681 1586 1585 0 -1 0 7045 0 0 0 52944 63 0 0 25 0 1 0 832011936 32460800 6988 4294967295 134512640 134714540 3221224592 3221223220 1077374218 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7925 6988 1111 63 0 7862 0
vsize: 31700
[startup+540 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2682
Raw data (stat): 2682 (bsolo_mis) R 2681 1586 1585 0 -1 0 7045 0 0 0 53944 63 0 0 25 0 1 0 832011936 32460800 6988 4294967295 134512640 134714540 3221224592 3221223340 134558493 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7925 6988 1111 63 0 7862 0
vsize: 31700
[startup+550 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2682
Raw data (stat): 2682 (bsolo_mis) R 2681 1586 1585 0 -1 0 7045 0 0 0 54942 65 0 0 25 0 1 0 832011936 32460800 6988 4294967295 134512640 134714540 3221224592 3221223384 134558593 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7925 6988 1111 63 0 7862 0
vsize: 31700
[startup+560 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2682
Raw data (stat): 2682 (bsolo_mis) R 2681 1586 1585 0 -1 0 7045 0 0 0 55942 66 0 0 25 0 1 0 832011936 32460800 6988 4294967295 134512640 134714540 3221224592 3221223352 134592331 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7925 6988 1111 63 0 7862 0
vsize: 31700
[startup+570.001 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2682
Raw data (stat): 2682 (bsolo_mis) R 2681 1586 1585 0 -1 0 7045 0 0 0 56941 67 0 0 25 0 1 0 832011936 32460800 6988 4294967295 134512640 134714540 3221224592 3221223232 134538744 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7925 6988 1111 63 0 7862 0
vsize: 31700
[startup+580.001 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2682
Raw data (stat): 2682 (bsolo_mis) R 2681 1586 1585 0 -1 0 7045 0 0 0 57941 67 0 0 25 0 1 0 832011936 32460800 6988 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7925 6988 1111 63 0 7862 0
vsize: 31700
[startup+590.001 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2682
Raw data (stat): 2682 (bsolo_mis) R 2681 1586 1585 0 -1 0 7045 0 0 0 58941 68 0 0 25 0 1 0 832011936 32460800 6988 4294967295 134512640 134714540 3221224592 3221223160 1077377203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7925 6988 1111 63 0 7862 0
vsize: 31700
[startup+600.001 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2682
Raw data (stat): 2682 (bsolo_mis) R 2681 1586 1585 0 -1 0 7045 0 0 0 59940 68 0 0 25 0 1 0 832011936 32460800 6988 4294967295 134512640 134714540 3221224592 3221223340 134558476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7925 6988 1111 63 0 7862 0
vsize: 31700
[startup+610.001 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2682
Raw data (stat): 2682 (bsolo_mis) R 2681 1586 1585 0 -1 0 7045 0 0 0 60939 69 0 0 25 0 1 0 832011936 32460800 6988 4294967295 134512640 134714540 3221224592 3221223376 134584852 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7925 6988 1111 63 0 7862 0
vsize: 31700
[startup+620.001 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2682
Raw data (stat): 2682 (bsolo_mis) R 2681 1586 1585 0 -1 0 7045 0 0 0 61938 70 0 0 25 0 1 0 832011936 32460800 6988 4294967295 134512640 134714540 3221224592 3221223388 134543192 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7925 6988 1111 63 0 7862 0
vsize: 31700
[startup+630.001 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2682
Raw data (stat): 2682 (bsolo_mis) R 2681 1586 1585 0 -1 0 7045 0 0 0 62938 71 0 0 25 0 1 0 832011936 32460800 6988 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7925 6988 1111 63 0 7862 0
vsize: 31700
[startup+640.002 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2682
Raw data (stat): 2682 (bsolo_mis) R 2681 1586 1585 0 -1 0 7059 0 0 0 63937 72 0 0 25 0 1 0 832011936 32587776 7002 4294967295 134512640 134714540 3221224592 3221223336 134558587 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7956 7002 1111 63 0 7893 0
vsize: 31824
[startup+650.001 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2682
Raw data (stat): 2682 (bsolo_mis) R 2681 1586 1585 0 -1 0 7059 0 0 0 64936 73 0 0 25 0 1 0 832011936 32587776 7002 4294967295 134512640 134714540 3221224592 3221223232 134538795 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7956 7002 1111 63 0 7893 0
vsize: 31824
[startup+660.001 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2682
Raw data (stat): 2682 (bsolo_mis) R 2681 1586 1585 0 -1 0 7059 0 0 0 65935 75 0 0 25 0 1 0 832011936 32587776 7002 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7956 7002 1111 63 0 7893 0
vsize: 31824
[startup+670.002 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2682
Raw data (stat): 2682 (bsolo_mis) R 2681 1586 1585 0 -1 0 7059 0 0 0 66935 75 0 0 25 0 1 0 832011936 32587776 7002 4294967295 134512640 134714540 3221224592 3221223212 1077377137 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7956 7002 1111 63 0 7893 0
vsize: 31824
[startup+680.001 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2682
Raw data (stat): 2682 (bsolo_mis) R 2681 1586 1585 0 -1 0 7059 0 0 0 67934 76 0 0 25 0 1 0 832011936 32587776 7002 4294967295 134512640 134714540 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7956 7002 1111 63 0 7893 0
vsize: 31824
[startup+690.001 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2682
Raw data (stat): 2682 (bsolo_mis) R 2681 1586 1585 0 -1 0 7059 0 0 0 68933 77 0 0 25 0 1 0 832011936 32587776 7002 4294967295 134512640 134714540 3221224592 3221223320 134558793 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7956 7002 1111 63 0 7893 0
vsize: 31824
[startup+700.002 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2682
Raw data (stat): 2682 (bsolo_mis) R 2681 1586 1585 0 -1 0 7060 0 0 0 69933 78 0 0 25 0 1 0 832011936 32587776 7003 4294967295 134512640 134714540 3221224592 3221223152 134542300 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7956 7003 1111 63 0 7893 0
vsize: 31824
[startup+710.002 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2682
Raw data (stat): 2682 (bsolo_mis) R 2681 1586 1585 0 -1 0 7060 0 0 0 70932 79 0 0 25 0 1 0 832011936 32587776 7003 4294967295 134512640 134714540 3221224592 3221222876 1077379947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7956 7003 1111 63 0 7893 0
vsize: 31824
[startup+720.002 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2682
Raw data (stat): 2682 (bsolo_mis) R 2681 1586 1585 0 -1 0 7060 0 0 0 71931 79 0 0 25 0 1 0 832011936 32587776 7003 4294967295 134512640 134714540 3221224592 3221223220 1077374071 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7956 7003 1111 63 0 7893 0
vsize: 31824
[startup+730.002 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2682
Raw data (stat): 2682 (bsolo_mis) R 2681 1586 1585 0 -1 0 7068 0 0 0 72930 81 0 0 25 0 1 0 832011936 32587776 7011 4294967295 134512640 134714540 3221224592 3221223184 134543712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7956 7011 1111 63 0 7893 0
vsize: 31824
[startup+740.002 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2682
Raw data (stat): 2682 (bsolo_mis) R 2681 1586 1585 0 -1 0 7068 0 0 0 73929 82 0 0 25 0 1 0 832011936 32587776 7011 4294967295 134512640 134714540 3221224592 3221223328 134556385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7956 7011 1111 63 0 7893 0
vsize: 31824
[startup+750.002 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2682
Raw data (stat): 2682 (bsolo_mis) R 2681 1586 1585 0 -1 0 7068 0 0 0 74929 82 0 0 25 0 1 0 832011936 32587776 7011 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7956 7011 1111 63 0 7893 0
vsize: 31824
[startup+760.003 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2682
Raw data (stat): 2682 (bsolo_mis) R 2681 1586 1585 0 -1 0 7068 0 0 0 75928 84 0 0 25 0 1 0 832011936 32587776 7011 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7956 7011 1111 63 0 7893 0
vsize: 31824
[startup+770.003 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2682
Raw data (stat): 2682 (bsolo_mis) R 2681 1586 1585 0 -1 0 7068 0 0 0 76927 85 0 0 25 0 1 0 832011936 32587776 7011 4294967295 134512640 134714540 3221224592 3221223200 134523401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7956 7011 1111 63 0 7893 0
vsize: 31824
[startup+780.003 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2682
Raw data (stat): 2682 (bsolo_mis) R 2681 1586 1585 0 -1 0 7068 0 0 0 77927 85 0 0 25 0 1 0 832011936 32587776 7011 4294967295 134512640 134714540 3221224592 3221223220 134696296 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7956 7011 1111 63 0 7893 0
vsize: 31824
[startup+790.003 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2682
Raw data (stat): 2682 (bsolo_mis) R 2681 1586 1585 0 -1 0 7068 0 0 0 78926 86 0 0 25 0 1 0 832011936 32587776 7011 4294967295 134512640 134714540 3221224592 3221223180 134542372 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7956 7011 1111 63 0 7893 0
vsize: 31824
[startup+800.003 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2682
Raw data (stat): 2682 (bsolo_mis) R 2681 1586 1585 0 -1 0 7068 0 0 0 79925 88 0 0 25 0 1 0 832011936 32587776 7011 4294967295 134512640 134714540 3221224592 3221223216 134535408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7956 7011 1111 63 0 7893 0
vsize: 31824
[startup+810.004 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2682
Raw data (stat): 2682 (bsolo_mis) R 2681 1586 1585 0 -1 0 7068 0 0 0 80924 88 0 0 25 0 1 0 832011936 32587776 7011 4294967295 134512640 134714540 3221224592 3221223160 1077377291 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7956 7011 1111 63 0 7893 0
vsize: 31824
[startup+820.003 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2682
Raw data (stat): 2682 (bsolo_mis) R 2681 1586 1585 0 -1 0 7068 0 0 0 81923 90 0 0 25 0 1 0 832011936 32587776 7011 4294967295 134512640 134714540 3221224592 3221223336 134672921 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7956 7011 1111 63 0 7893 0
vsize: 31824
[startup+830.003 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2682
Raw data (stat): 2682 (bsolo_mis) R 2681 1586 1585 0 -1 0 7068 0 0 0 82922 91 0 0 25 0 1 0 832011936 32587776 7011 4294967295 134512640 134714540 3221224592 3221223220 1077374101 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7956 7011 1111 63 0 7893 0
vsize: 31824
[startup+840.003 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2682
Raw data (stat): 2682 (bsolo_mis) R 2681 1586 1585 0 -1 0 7068 0 0 0 83921 92 0 0 25 0 1 0 832011936 32587776 7011 4294967295 134512640 134714540 3221224592 3221223256 134672941 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7956 7011 1111 63 0 7893 0
vsize: 31824
[startup+850.003 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2682
Raw data (stat): 2682 (bsolo_mis) R 2681 1586 1585 0 -1 0 7068 0 0 0 84921 93 0 0 25 0 1 0 832011936 32587776 7011 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7956 7011 1111 63 0 7893 0
vsize: 31824
[startup+860.003 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2682
Raw data (stat): 2682 (bsolo_mis) R 2681 1586 1585 0 -1 0 7068 0 0 0 85920 93 0 0 25 0 1 0 832011936 32587776 7011 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7956 7011 1111 63 0 7893 0
vsize: 31824
[startup+870.004 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2682
Raw data (stat): 2682 (bsolo_mis) R 2681 1586 1585 0 -1 0 7068 0 0 0 86919 95 0 0 25 0 1 0 832011936 32587776 7011 4294967295 134512640 134714540 3221224592 3221223340 134535503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7956 7011 1111 63 0 7893 0
vsize: 31824
[startup+880.005 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2682
Raw data (stat): 2682 (bsolo_mis) R 2681 1586 1585 0 -1 0 7068 0 0 0 87919 95 0 0 25 0 1 0 832011936 32587776 7011 4294967295 134512640 134714540 3221224592 3221223232 134613431 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7956 7011 1111 63 0 7893 0
vsize: 31824
[startup+890.005 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2682
Raw data (stat): 2682 (bsolo_mis) R 2681 1586 1585 0 -1 0 7068 0 0 0 88918 97 0 0 25 0 1 0 832011936 32587776 7011 4294967295 134512640 134714540 3221224592 3221223360 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7956 7011 1111 63 0 7893 0
vsize: 31824
[startup+900.005 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2682
Raw data (stat): 2682 (bsolo_mis) R 2681 1586 1585 0 -1 0 7068 0 0 0 89917 98 0 0 25 0 1 0 832011936 32587776 7011 4294967295 134512640 134714540 3221224592 3221223352 134536913 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7956 7011 1111 63 0 7893 0
vsize: 31824
[startup+910.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2682
Raw data (stat): 2682 (bsolo_mis) R 2681 1586 1585 0 -1 0 7068 0 0 0 90915 99 0 0 25 0 1 0 832011936 32587776 7011 4294967295 134512640 134714540 3221224592 3221223316 134556893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7956 7011 1111 63 0 7893 0
vsize: 31824
[startup+920.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2682
Raw data (stat): 2682 (bsolo_mis) R 2681 1586 1585 0 -1 0 7068 0 0 0 91915 100 0 0 25 0 1 0 832011936 32587776 7011 4294967295 134512640 134714540 3221224592 3221223232 134696145 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7956 7011 1111 63 0 7893 0
vsize: 31824
[startup+930.005 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2682
Raw data (stat): 2682 (bsolo_mis) R 2681 1586 1585 0 -1 0 7068 0 0 0 92914 101 0 0 25 0 1 0 832011936 32587776 7011 4294967295 134512640 134714540 3221224592 3221223328 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7956 7011 1111 63 0 7893 0
vsize: 31824
[startup+940.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2682
Raw data (stat): 2682 (bsolo_mis) R 2681 1586 1585 0 -1 0 7068 0 0 0 93914 101 0 0 25 0 1 0 832011936 32587776 7011 4294967295 134512640 134714540 3221224592 3221222876 1077379924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7956 7011 1111 63 0 7893 0
vsize: 31824
[startup+950.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2682
Raw data (stat): 2682 (bsolo_mis) R 2681 1586 1585 0 -1 0 7068 0 0 0 94913 102 0 0 25 0 1 0 832011936 32587776 7011 4294967295 134512640 134714540 3221224592 3221223320 134558793 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7956 7011 1111 63 0 7893 0
vsize: 31824
[startup+960.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2682
Raw data (stat): 2682 (bsolo_mis) R 2681 1586 1585 0 -1 0 7068 0 0 0 95912 103 0 0 25 0 1 0 832011936 32587776 7011 4294967295 134512640 134714540 3221224592 3221223276 134543588 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7956 7011 1111 63 0 7893 0
vsize: 31824
[startup+970.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2682
Raw data (stat): 2682 (bsolo_mis) R 2681 1586 1585 0 -1 0 7068 0 0 0 96911 104 0 0 25 0 1 0 832011936 32587776 7011 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7956 7011 1111 63 0 7893 0
vsize: 31824
[startup+980.005 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2682
Raw data (stat): 2682 (bsolo_mis) R 2681 1586 1585 0 -1 0 7068 0 0 0 97911 105 0 0 25 0 1 0 832011936 32587776 7011 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7956 7011 1111 63 0 7893 0
vsize: 31824
[startup+990.005 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2682
Raw data (stat): 2682 (bsolo_mis) R 2681 1586 1585 0 -1 0 7068 0 0 0 98910 106 0 0 25 0 1 0 832011936 32587776 7011 4294967295 134512640 134714540 3221224592 3221223328 134695297 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7956 7011 1111 63 0 7893 0
vsize: 31824
[startup+1000 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2682
Raw data (stat): 2682 (bsolo_mis) R 2681 1586 1585 0 -1 0 7068 0 0 0 99909 107 0 0 25 0 1 0 832011936 32587776 7011 4294967295 134512640 134714540 3221224592 3221223340 134672920 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7956 7011 1111 63 0 7893 0
vsize: 31824
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2682
Raw data (stat): 2682 (bsolo_mis) R 2681 1586 1585 0 -1 0 7068 0 0 0 100909 108 0 0 25 0 1 0 832011936 32587776 7011 4294967295 134512640 134714540 3221224592 3221223184 134543735 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7956 7011 1111 63 0 7893 0
vsize: 31824
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2682
Raw data (stat): 2682 (bsolo_mis) R 2681 1586 1585 0 -1 0 7068 0 0 0 101908 109 0 0 25 0 1 0 832011936 32587776 7011 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7956 7011 1111 63 0 7893 0
vsize: 31824
[startup+1030 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2682
Raw data (stat): 2682 (bsolo_mis) R 2681 1586 1585 0 -1 0 7068 0 0 0 102907 109 0 0 25 0 1 0 832011936 32587776 7011 4294967295 134512640 134714540 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7956 7011 1111 63 0 7893 0
vsize: 31824
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2682
Raw data (stat): 2682 (bsolo_mis) R 2681 1586 1585 0 -1 0 7068 0 0 0 103907 110 0 0 25 0 1 0 832011936 32587776 7011 4294967295 134512640 134714540 3221224592 3221223340 134535534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7956 7011 1111 63 0 7893 0
vsize: 31824
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2682
Raw data (stat): 2682 (bsolo_mis) R 2681 1586 1585 0 -1 0 7068 0 0 0 104906 111 0 0 25 0 1 0 832011936 32587776 7011 4294967295 134512640 134714540 3221224592 3221223176 134543647 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7956 7011 1111 63 0 7893 0
vsize: 31824
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2682
Raw data (stat): 2682 (bsolo_mis) R 2681 1586 1585 0 -1 0 7068 0 0 0 105905 112 0 0 25 0 1 0 832011936 32587776 7011 4294967295 134512640 134714540 3221224592 3221223336 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7956 7011 1111 63 0 7893 0
vsize: 31824
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2682
Raw data (stat): 2682 (bsolo_mis) R 2681 1586 1585 0 -1 0 7068 0 0 0 106904 113 0 0 25 0 1 0 832011936 32587776 7011 4294967295 134512640 134714540 3221224592 3221223232 134538795 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7956 7011 1111 63 0 7893 0
vsize: 31824
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2682
Raw data (stat): 2682 (bsolo_mis) R 2681 1586 1585 0 -1 0 7068 0 0 0 107903 115 0 0 25 0 1 0 832011936 32587776 7011 4294967295 134512640 134714540 3221224592 3221223336 134558606 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7956 7011 1111 63 0 7893 0
vsize: 31824
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2682
Raw data (stat): 2682 (bsolo_mis) R 2681 1586 1585 0 -1 0 7068 0 0 0 108902 116 0 0 25 0 1 0 832011936 32587776 7011 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7956 7011 1111 63 0 7893 0
vsize: 31824
[startup+1100.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2682
Raw data (stat): 2682 (bsolo_mis) R 2681 1586 1585 0 -1 0 7068 0 0 0 109901 117 0 0 25 0 1 0 832011936 32587776 7011 4294967295 134512640 134714540 3221224592 3221223344 134592443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7956 7011 1111 63 0 7893 0
vsize: 31824
[startup+1110.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2682
Raw data (stat): 2682 (bsolo_mis) R 2681 1586 1585 0 -1 0 7068 0 0 0 110901 117 0 0 25 0 1 0 832011936 32587776 7011 4294967295 134512640 134714540 3221224592 3221223344 134592443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7956 7011 1111 63 0 7893 0
vsize: 31824
[startup+1120.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2682
Raw data (stat): 2682 (bsolo_mis) R 2681 1586 1585 0 -1 0 7068 0 0 0 111900 118 0 0 25 0 1 0 832011936 32587776 7011 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7956 7011 1111 63 0 7893 0
vsize: 31824
[startup+1130.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2682
Raw data (stat): 2682 (bsolo_mis) R 2681 1586 1585 0 -1 0 7068 0 0 0 112899 119 0 0 25 0 1 0 832011936 32587776 7011 4294967295 134512640 134714540 3221224592 3221223172 1077378583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7956 7011 1111 63 0 7893 0
vsize: 31824
[startup+1140.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2682
Raw data (stat): 2682 (bsolo_mis) R 2681 1586 1585 0 -1 0 7068 0 0 0 113898 121 0 0 25 0 1 0 832011936 32587776 7011 4294967295 134512640 134714540 3221224592 3221223284 134534088 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7956 7011 1111 63 0 7893 0
vsize: 31824
[startup+1150 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2682
Raw data (stat): 2682 (bsolo_mis) R 2681 1586 1585 0 -1 0 7068 0 0 0 114897 122 0 0 25 0 1 0 832011936 32587776 7011 4294967295 134512640 134714540 3221224592 3221223288 134558629 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7956 7011 1111 63 0 7893 0
vsize: 31824
[startup+1160.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2682
Raw data (stat): 2682 (bsolo_mis) R 2681 1586 1585 0 -1 0 7068 0 0 0 115896 123 0 0 25 0 1 0 832011936 32587776 7011 4294967295 134512640 134714540 3221224592 3221223012 1077374469 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7956 7011 1111 63 0 7893 0
vsize: 31824
[startup+1170.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2682
Raw data (stat): 2682 (bsolo_mis) R 2681 1586 1585 0 -1 0 7069 0 0 0 116895 124 0 0 25 0 1 0 832011936 32587776 7012 4294967295 134512640 134714540 3221224592 3221223260 134538732 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7956 7012 1111 63 0 7893 0
vsize: 31824
[startup+1174.83 s]
Raw data (loadavg): 0.99 0.97 0.98 1/53 2682
Raw data (stat): 2682 (bsolo_mis) R 2681 1586 1585 0 -1 0 7069 0 0 0 116895 124 0 0 25 0 1 0 832011936 32587776 7012 4294967295 134512640 134714540 3221224592 3221223260 134538732 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7956 7012 1111 63 0 7893 0
vsize: 0

Child status: 0
Real time (s): 1174.83
CPU time (s): 1175.03
CPU user time (s): 1173.77
CPU system time (s): 1.26381
CPU usage (%): 100.017
Max. virtual memory (Kb): 31844
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####