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/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-4.opb
MD5SUM	417d3abd60fd3b9eb4200ff5119a92c4
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	813
Optimality of the best value was proved	NO
Number of terms in the objective function	1798
Biggest coefficient in the objective function	349
Number of bits for the biggest coefficient in the objective function	9
Sum of the numbers in the objective function	104116
Number of bits of the sum of numbers in the objective function	17
Biggest number in a constraint	349
Number of bits of the biggest number in a constraint	9
Biggest sum of numbers in a constraint	104116
Number of bits of the biggest sum of numbers	17
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.05084
Number of variables	2289
Total number of constraints	3052
Number of constraints which are clauses	360
Number of constraints which are cardinality constraints (but not clauses)	2692
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	195
Trace number 24914

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-14 19:29:37 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3189 boxname=wulflinc31 idbench=355 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  417d3abd60fd3b9eb4200ff5119a92c4  /oldhome/oroussel/tmp/wulflinc31/normalized-ss97-4.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-ss97-4.opb
IDLAUNCH: 3189
/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:        823248 kB
Buffers:         39552 kB
Cached:         150344 kB
SwapCached:       1932 kB
Active:         155080 kB
Inactive:        38020 kB
HighTotal:      131008 kB
HighFree:         1736 kB
LowTotal:       903652 kB
LowFree:        821512 kB
SwapTotal:     2097892 kB
SwapFree:      2095228 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5364 kB
Slab:            12688 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-14 19:49:13 (client local time) WITH STATUS 0 IN 1175.04 SECONDS
stats: 3189 7 1175.04 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 2289 variables and 1141 constraints.
c After prepocess the problem consists of 2280 variables and 956 constraints.
c preprocess terminated 0.897 s
c Initial Lower Bound: 556
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): 1.25 1.03 1.01 2/55 27924
Raw data (stat): 27924 (runsolver) R 27923 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 746337325 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.0009 s]
Raw data (loadavg): 1.21 1.03 1.01 2/55 27924
Raw data (stat): 27924 (bsolo_mis) R 27923 7876 7672 0 -1 0 1153 0 0 0 992 5 0 0 25 0 1 0 746337325 8364032 1124 4294967295 134512640 134714540 3221221792 3221220640 134623456 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2042 1124 1111 63 0 1979 0
vsize: 8168
[startup+20.0008 s]
Raw data (loadavg): 1.17 1.03 1.01 2/55 27924
Raw data (stat): 27924 (bsolo_mis) R 27923 7876 7672 0 -1 0 1153 0 0 0 1991 5 0 0 25 0 1 0 746337325 8364032 1124 4294967295 134512640 134714540 3221221792 3221220528 134556547 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2042 1124 1111 63 0 1979 0
vsize: 8168
[startup+30.0017 s]
Raw data (loadavg): 1.15 1.03 1.01 2/55 27924
Raw data (stat): 27924 (bsolo_mis) R 27923 7876 7672 0 -1 0 1158 0 0 0 2991 6 0 0 25 0 1 0 746337325 8364032 1129 4294967295 134512640 134714540 3221221792 3221220624 134623284 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2042 1129 1111 63 0 1979 0
vsize: 8168
[startup+40.0016 s]
Raw data (loadavg): 1.12 1.03 1.01 2/55 27924
Raw data (stat): 27924 (bsolo_mis) R 27923 7876 7672 0 -1 0 1158 0 0 0 3990 7 0 0 25 0 1 0 746337325 8364032 1129 4294967295 134512640 134714540 3221221792 3221220592 134610667 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2042 1129 1111 63 0 1979 0
vsize: 8168
[startup+50.0025 s]
Raw data (loadavg): 1.10 1.03 1.01 2/55 27924
Raw data (stat): 27924 (bsolo_mis) R 27923 7876 7672 0 -1 0 1176 0 0 0 4989 9 0 0 25 0 1 0 746337325 8499200 1147 4294967295 134512640 134714540 3221221792 3221220536 134536866 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2075 1147 1111 63 0 2012 0
vsize: 8300
[startup+60.0024 s]
Raw data (loadavg): 1.09 1.03 1.00 2/55 27924
Raw data (stat): 27924 (bsolo_mis) R 27923 7876 7672 0 -1 0 1176 0 0 0 5988 10 0 0 25 0 1 0 746337325 8499200 1147 4294967295 134512640 134714540 3221221792 3221220464 1076647864 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2075 1147 1111 63 0 2012 0
vsize: 8300
[startup+70.0023 s]
Raw data (loadavg): 1.07 1.02 1.00 2/55 27924
Raw data (stat): 27924 (bsolo_mis) R 27923 7876 7672 0 -1 0 1176 0 0 0 6987 11 0 0 25 0 1 0 746337325 8499200 1147 4294967295 134512640 134714540 3221221792 3221220640 134623453 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2075 1147 1111 63 0 2012 0
vsize: 8300
[startup+80.0033 s]
Raw data (loadavg): 1.06 1.02 1.00 2/55 27924
Raw data (stat): 27924 (bsolo_mis) R 27923 7876 7672 0 -1 0 1179 0 0 0 7987 11 0 0 25 0 1 0 746337325 8499200 1150 4294967295 134512640 134714540 3221221792 3221220508 134558620 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2075 1150 1111 63 0 2012 0
vsize: 8300
[startup+90.0032 s]
Raw data (loadavg): 1.05 1.02 1.00 2/55 27924
Raw data (stat): 27924 (bsolo_mis) R 27923 7876 7672 0 -1 0 1179 0 0 0 8986 12 0 0 25 0 1 0 746337325 8499200 1150 4294967295 134512640 134714540 3221221792 3221220416 134535442 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2075 1150 1111 63 0 2012 0
vsize: 8300
[startup+100.004 s]
Raw data (loadavg): 1.04 1.02 1.00 2/55 27924
Raw data (stat): 27924 (bsolo_mis) R 27923 7876 7672 0 -1 0 1179 0 0 0 9985 13 0 0 25 0 1 0 746337325 8499200 1150 4294967295 134512640 134714540 3221221792 3221220520 134556493 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2075 1150 1111 63 0 2012 0
vsize: 8300
[startup+110.005 s]
Raw data (loadavg): 1.04 1.02 1.00 2/55 27924
Raw data (stat): 27924 (bsolo_mis) R 27923 7876 7672 0 -1 0 1179 0 0 0 10985 14 0 0 25 0 1 0 746337325 8499200 1150 4294967295 134512640 134714540 3221221792 3221220536 134536866 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2075 1150 1111 63 0 2012 0
vsize: 8300
[startup+120.005 s]
Raw data (loadavg): 1.03 1.02 1.00 2/55 27924
Raw data (stat): 27924 (bsolo_mis) R 27923 7876 7672 0 -1 0 1183 0 0 0 11984 15 0 0 25 0 1 0 746337325 8499200 1154 4294967295 134512640 134714540 3221221792 3221220528 134556480 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2075 1154 1111 63 0 2012 0
vsize: 8300
[startup+130.005 s]
Raw data (loadavg): 1.02 1.02 1.00 2/55 27924
Raw data (stat): 27924 (bsolo_mis) R 27923 7876 7672 0 -1 0 1183 0 0 0 12983 15 0 0 25 0 1 0 746337325 8499200 1154 4294967295 134512640 134714540 3221221792 3221220512 134556671 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2075 1154 1111 63 0 2012 0
vsize: 8300
[startup+140.005 s]
Raw data (loadavg): 1.02 1.02 1.00 2/55 27924
Raw data (stat): 27924 (bsolo_mis) R 27923 7876 7672 0 -1 0 1183 0 0 0 13982 17 0 0 25 0 1 0 746337325 8499200 1154 4294967295 134512640 134714540 3221221792 3221220364 134543588 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2075 1154 1111 63 0 2012 0
vsize: 8300
[startup+150.006 s]
Raw data (loadavg): 1.02 1.02 1.00 2/55 27924
Raw data (stat): 27924 (bsolo_mis) R 27923 7876 7672 0 -1 0 1183 0 0 0 14981 18 0 0 25 0 1 0 746337325 8499200 1154 4294967295 134512640 134714540 3221221792 3221220564 134624428 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2075 1154 1111 63 0 2012 0
vsize: 8300
[startup+160.007 s]
Raw data (loadavg): 1.01 1.02 1.00 2/55 27924
Raw data (stat): 27924 (bsolo_mis) R 27923 7876 7672 0 -1 0 1183 0 0 0 15980 19 0 0 25 0 1 0 746337325 8499200 1154 4294967295 134512640 134714540 3221221792 3221220640 134623453 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2075 1154 1111 63 0 2012 0
vsize: 8300
[startup+170.007 s]
Raw data (loadavg): 1.01 1.02 1.00 2/55 27924
Raw data (stat): 27924 (bsolo_mis) R 27923 7876 7672 0 -1 0 1183 0 0 0 16979 20 0 0 25 0 1 0 746337325 8499200 1154 4294967295 134512640 134714540 3221221792 3221220560 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2075 1154 1111 63 0 2012 0
vsize: 8300
[startup+180.006 s]
Raw data (loadavg): 1.01 1.01 1.00 2/55 27924
Raw data (stat): 27924 (bsolo_mis) R 27923 7876 7672 0 -1 0 1183 0 0 0 17979 21 0 0 25 0 1 0 746337325 8499200 1154 4294967295 134512640 134714540 3221221792 3221220640 134623464 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2075 1154 1111 63 0 2012 0
vsize: 8300
[startup+190.006 s]
Raw data (loadavg): 1.08 1.03 1.00 2/55 27924
Raw data (stat): 27924 (bsolo_mis) R 27923 7876 7672 0 -1 0 1184 0 0 0 18977 22 0 0 25 0 1 0 746337325 8499200 1155 4294967295 134512640 134714540 3221221792 3221220576 134624502 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2075 1155 1111 63 0 2012 0
vsize: 8300
[startup+200.007 s]
Raw data (loadavg): 1.07 1.03 1.00 2/55 27924
Raw data (stat): 27924 (bsolo_mis) R 27923 7876 7672 0 -1 0 1184 0 0 0 19977 23 0 0 25 0 1 0 746337325 8499200 1155 4294967295 134512640 134714540 3221221792 3221220560 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2075 1155 1111 63 0 2012 0
vsize: 8300
[startup+210.007 s]
Raw data (loadavg): 1.06 1.03 1.00 2/55 27924
Raw data (stat): 27924 (bsolo_mis) R 27923 7876 7672 0 -1 0 1184 0 0 0 20976 24 0 0 25 0 1 0 746337325 8499200 1155 4294967295 134512640 134714540 3221221792 3221220432 134696308 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2075 1155 1111 63 0 2012 0
vsize: 8300
[startup+220.007 s]
Raw data (loadavg): 1.05 1.03 1.00 2/55 27924
Raw data (stat): 27924 (bsolo_mis) R 27923 7876 7672 0 -1 0 1184 0 0 0 21975 25 0 0 25 0 1 0 746337325 8499200 1155 4294967295 134512640 134714540 3221221792 3221220560 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2075 1155 1111 63 0 2012 0
vsize: 8300
[startup+230.007 s]
Raw data (loadavg): 1.04 1.03 1.00 2/55 27924
Raw data (stat): 27924 (bsolo_mis) R 27923 7876 7672 0 -1 0 1184 0 0 0 22975 26 0 0 25 0 1 0 746337325 8499200 1155 4294967295 134512640 134714540 3221221792 3221220556 134556736 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2075 1155 1111 63 0 2012 0
vsize: 8300
[startup+240.007 s]
Raw data (loadavg): 1.03 1.02 1.00 2/55 27924
Raw data (stat): 27924 (bsolo_mis) R 27923 7876 7672 0 -1 0 1184 0 0 0 23973 27 0 0 25 0 1 0 746337325 8499200 1155 4294967295 134512640 134714540 3221221792 3221220536 134536879 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2075 1155 1111 63 0 2012 0
vsize: 8300
[startup+250.008 s]
Raw data (loadavg): 1.03 1.02 1.00 2/55 27924
Raw data (stat): 27924 (bsolo_mis) R 27923 7876 7672 0 -1 0 1184 0 0 0 24973 28 0 0 25 0 1 0 746337325 8499200 1155 4294967295 134512640 134714540 3221221792 3221220432 134696112 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2075 1155 1111 63 0 2012 0
vsize: 8300
[startup+260.009 s]
Raw data (loadavg): 1.02 1.02 1.00 2/55 27924
Raw data (stat): 27924 (bsolo_mis) R 27923 7876 7672 0 -1 0 1185 0 0 0 25972 29 0 0 25 0 1 0 746337325 8499200 1156 4294967295 134512640 134714540 3221221792 3221220596 134622157 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2075 1156 1111 63 0 2012 0
vsize: 8300
[startup+270.009 s]
Raw data (loadavg): 1.02 1.02 1.00 2/55 27924
Raw data (stat): 27924 (bsolo_mis) R 27923 7876 7672 0 -1 0 1185 0 0 0 26972 30 0 0 25 0 1 0 746337325 8499200 1156 4294967295 134512640 134714540 3221221792 3221220540 134535506 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2075 1156 1111 63 0 2012 0
vsize: 8300
[startup+280.01 s]
Raw data (loadavg): 1.02 1.02 1.00 2/55 27924
Raw data (stat): 27924 (bsolo_mis) R 27923 7876 7672 0 -1 0 1185 0 0 0 27971 30 0 0 25 0 1 0 746337325 8499200 1156 4294967295 134512640 134714540 3221221792 3221220568 134543141 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2075 1156 1111 63 0 2012 0
vsize: 8300
[startup+290.01 s]
Raw data (loadavg): 1.01 1.02 1.00 2/55 27924
Raw data (stat): 27924 (bsolo_mis) R 27923 7876 7672 0 -1 0 1185 0 0 0 28970 31 0 0 25 0 1 0 746337325 8499200 1156 4294967295 134512640 134714540 3221221792 3221220120 1077377507 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2075 1156 1111 63 0 2012 0
vsize: 8300
[startup+300.011 s]
Raw data (loadavg): 1.01 1.02 1.00 2/55 27924
Raw data (stat): 27924 (bsolo_mis) R 27923 7876 7672 0 -1 0 1189 0 0 0 29970 32 0 0 25 0 1 0 746337325 8499200 1160 4294967295 134512640 134714540 3221221792 3221220536 134672913 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2075 1160 1111 63 0 2012 0
vsize: 8300
[startup+310.01 s]
Raw data (loadavg): 1.01 1.02 1.00 2/55 27924
Raw data (stat): 27924 (bsolo_mis) R 27923 7876 7672 0 -1 0 1189 0 0 0 30968 33 0 0 25 0 1 0 746337325 8499200 1160 4294967295 134512640 134714540 3221221792 3221220556 134543540 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2075 1160 1111 63 0 2012 0
vsize: 8300
[startup+320.01 s]
Raw data (loadavg): 1.01 1.02 1.00 2/55 27924
Raw data (stat): 27924 (bsolo_mis) R 27923 7876 7672 0 -1 0 1189 0 0 0 31967 35 0 0 25 0 1 0 746337325 8499200 1160 4294967295 134512640 134714540 3221221792 3221220640 134623453 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2075 1160 1111 63 0 2012 0
vsize: 8300
[startup+330.012 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 27924
Raw data (stat): 27924 (bsolo_mis) R 27923 7876 7672 0 -1 0 1189 0 0 0 32966 36 0 0 25 0 1 0 746337325 8499200 1160 4294967295 134512640 134714540 3221221792 3221220584 134542445 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2075 1160 1111 63 0 2012 0
vsize: 8300
[startup+340.011 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 27924
Raw data (stat): 27924 (bsolo_mis) R 27923 7876 7672 0 -1 0 1189 0 0 0 33965 37 0 0 25 0 1 0 746337325 8499200 1160 4294967295 134512640 134714540 3221221792 3221220352 134538250 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2075 1160 1111 63 0 2012 0
vsize: 8300
[startup+350.012 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 27924
Raw data (stat): 27924 (bsolo_mis) R 27923 7876 7672 0 -1 0 1189 0 0 0 34964 38 0 0 25 0 1 0 746337325 8499200 1160 4294967295 134512640 134714540 3221221792 3221220560 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2075 1160 1111 63 0 2012 0
vsize: 8300
[startup+360.013 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 27924
Raw data (stat): 27924 (bsolo_mis) R 27923 7876 7672 0 -1 0 1189 0 0 0 35964 39 0 0 25 0 1 0 746337325 8499200 1160 4294967295 134512640 134714540 3221221792 3221220640 134623467 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2075 1160 1111 63 0 2012 0
vsize: 8300
[startup+370.013 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 27924
Raw data (stat): 27924 (bsolo_mis) R 27923 7876 7672 0 -1 0 1189 0 0 0 36963 40 0 0 25 0 1 0 746337325 8499200 1160 4294967295 134512640 134714540 3221221792 3221220436 134524197 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2075 1160 1111 63 0 2012 0
vsize: 8300
[startup+380.013 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 27924
Raw data (stat): 27924 (bsolo_mis) R 27923 7876 7672 0 -1 0 1189 0 0 0 37962 41 0 0 25 0 1 0 746337325 8499200 1160 4294967295 134512640 134714540 3221221792 3221220640 134623456 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2075 1160 1111 63 0 2012 0
vsize: 8300
[startup+390.013 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 27924
Raw data (stat): 27924 (bsolo_mis) R 27923 7876 7672 0 -1 0 1189 0 0 0 38961 42 0 0 25 0 1 0 746337325 8499200 1160 4294967295 134512640 134714540 3221221792 3221220632 134623277 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2075 1160 1111 63 0 2012 0
vsize: 8300
[startup+400.014 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 27924
Raw data (stat): 27924 (bsolo_mis) R 27923 7876 7672 0 -1 0 1189 0 0 0 39960 43 0 0 25 0 1 0 746337325 8499200 1160 4294967295 134512640 134714540 3221221792 3221220560 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2075 1160 1111 63 0 2012 0
vsize: 8300
[startup+410.014 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 27924
Raw data (stat): 27924 (bsolo_mis) R 27923 7876 7672 0 -1 0 1189 0 0 0 40959 44 0 0 25 0 1 0 746337325 8499200 1160 4294967295 134512640 134714540 3221221792 3221220276 134697231 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2075 1160 1111 63 0 2012 0
vsize: 8300
[startup+420.014 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 27924
Raw data (stat): 27924 (bsolo_mis) R 27923 7876 7672 0 -1 0 1189 0 0 0 41957 46 0 0 25 0 1 0 746337325 8499200 1160 4294967295 134512640 134714540 3221221792 3221220512 134556763 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2075 1160 1111 63 0 2012 0
vsize: 8300
[startup+430.015 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 27924
Raw data (stat): 27924 (bsolo_mis) R 27923 7876 7672 0 -1 0 1189 0 0 0 42956 48 0 0 25 0 1 0 746337325 8499200 1160 4294967295 134512640 134714540 3221221792 3221220540 134535620 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2075 1160 1111 63 0 2012 0
vsize: 8300
[startup+440.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27924
Raw data (stat): 27924 (bsolo_mis) R 27923 7876 7672 0 -1 0 1189 0 0 0 43955 49 0 0 25 0 1 0 746337325 8499200 1160 4294967295 134512640 134714540 3221221792 3221220556 134543540 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2075 1160 1111 63 0 2012 0
vsize: 8300
[startup+450.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27924
Raw data (stat): 27924 (bsolo_mis) R 27923 7876 7672 0 -1 0 1189 0 0 0 44954 50 0 0 25 0 1 0 746337325 8499200 1160 4294967295 134512640 134714540 3221221792 3221220540 134556933 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2075 1160 1111 63 0 2012 0
vsize: 8300
[startup+460.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27924
Raw data (stat): 27924 (bsolo_mis) R 27923 7876 7672 0 -1 0 1189 0 0 0 45952 52 0 0 25 0 1 0 746337325 8499200 1160 4294967295 134512640 134714540 3221221792 3221220560 134542598 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2075 1160 1111 63 0 2012 0
vsize: 8300
[startup+470.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27924
Raw data (stat): 27924 (bsolo_mis) R 27923 7876 7672 0 -1 0 1189 0 0 0 46951 54 0 0 25 0 1 0 746337325 8499200 1160 4294967295 134512640 134714540 3221221792 3221220420 134536674 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2075 1160 1111 63 0 2012 0
vsize: 8300
[startup+480.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27924
Raw data (stat): 27924 (bsolo_mis) R 27923 7876 7672 0 -1 0 1189 0 0 0 47950 55 0 0 25 0 1 0 746337325 8499200 1160 4294967295 134512640 134714540 3221221792 3221220536 134536879 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2075 1160 1111 63 0 2012 0
vsize: 8300
[startup+490.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27924
Raw data (stat): 27924 (bsolo_mis) R 27923 7876 7672 0 -1 0 1189 0 0 0 48948 56 0 0 25 0 1 0 746337325 8499200 1160 4294967295 134512640 134714540 3221221792 3221220576 134624457 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2075 1160 1111 63 0 2012 0
vsize: 8300
[startup+500.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27924
Raw data (stat): 27924 (bsolo_mis) R 27923 7876 7672 0 -1 0 1189 0 0 0 49948 57 0 0 25 0 1 0 746337325 8499200 1160 4294967295 134512640 134714540 3221221792 3221220552 134543552 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2075 1160 1111 63 0 2012 0
vsize: 8300
[startup+510.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27924
Raw data (stat): 27924 (bsolo_mis) R 27923 7876 7672 0 -1 0 1189 0 0 0 50947 58 0 0 25 0 1 0 746337325 8499200 1160 4294967295 134512640 134714540 3221221792 3221220480 134556770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2075 1160 1111 63 0 2012 0
vsize: 8300
[startup+520.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27924
Raw data (stat): 27924 (bsolo_mis) R 27923 7876 7672 0 -1 0 1189 0 0 0 51946 59 0 0 25 0 1 0 746337325 8499200 1160 4294967295 134512640 134714540 3221221792 3221220556 134543540 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2075 1160 1111 63 0 2012 0
vsize: 8300
[startup+530.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27924
Raw data (stat): 27924 (bsolo_mis) R 27923 7876 7672 0 -1 0 1189 0 0 0 52945 60 0 0 25 0 1 0 746337325 8499200 1160 4294967295 134512640 134714540 3221221792 3221220640 134623456 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2075 1160 1111 63 0 2012 0
vsize: 8300
[startup+540.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27924
Raw data (stat): 27924 (bsolo_mis) R 27923 7876 7672 0 -1 0 1189 0 0 0 53944 61 0 0 25 0 1 0 746337325 8499200 1160 4294967295 134512640 134714540 3221221792 3221220560 134624435 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2075 1160 1111 63 0 2012 0
vsize: 8300
[startup+550.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27924
Raw data (stat): 27924 (bsolo_mis) R 27923 7876 7672 0 -1 0 1189 0 0 0 54943 63 0 0 25 0 1 0 746337325 8499200 1160 4294967295 134512640 134714540 3221221792 3221220640 134623453 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2075 1160 1111 63 0 2012 0
vsize: 8300
[startup+560.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27924
Raw data (stat): 27924 (bsolo_mis) R 27923 7876 7672 0 -1 0 1189 0 0 0 55942 64 0 0 25 0 1 0 746337325 8499200 1160 4294967295 134512640 134714540 3221221792 3221220416 134539518 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2075 1160 1111 63 0 2012 0
vsize: 8300
[startup+570.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27924
Raw data (stat): 27924 (bsolo_mis) R 27923 7876 7672 0 -1 0 1189 0 0 0 56941 65 0 0 25 0 1 0 746337325 8499200 1160 4294967295 134512640 134714540 3221221792 3221220360 134539591 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2075 1160 1111 63 0 2012 0
vsize: 8300
[startup+580.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27924
Raw data (stat): 27924 (bsolo_mis) R 27923 7876 7672 0 -1 0 1189 0 0 0 57940 66 0 0 25 0 1 0 746337325 8499200 1160 4294967295 134512640 134714540 3221221792 3221220640 134623464 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2075 1160 1111 63 0 2012 0
vsize: 8300
[startup+590.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27924
Raw data (stat): 27924 (bsolo_mis) R 27923 7876 7672 0 -1 0 1189 0 0 0 58939 67 0 0 25 0 1 0 746337325 8499200 1160 4294967295 134512640 134714540 3221221792 3221220492 134558620 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2075 1160 1111 63 0 2012 0
vsize: 8300
[startup+600.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27924
Raw data (stat): 27924 (bsolo_mis) R 27923 7876 7672 0 -1 0 1189 0 0 0 59938 68 0 0 25 0 1 0 746337325 8499200 1160 4294967295 134512640 134714540 3221221792 3221220536 134536879 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2075 1160 1111 63 0 2012 0
vsize: 8300
[startup+610.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27924
Raw data (stat): 27924 (bsolo_mis) R 27923 7876 7672 0 -1 0 1189 0 0 0 60938 69 0 0 25 0 1 0 746337325 8499200 1160 4294967295 134512640 134714540 3221221792 3221220432 134613451 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2075 1160 1111 63 0 2012 0
vsize: 8300
[startup+620.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27924
Raw data (stat): 27924 (bsolo_mis) R 27923 7876 7672 0 -1 0 1189 0 0 0 61937 70 0 0 25 0 1 0 746337325 8499200 1160 4294967295 134512640 134714540 3221221792 3221220512 134556668 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2075 1160 1111 63 0 2012 0
vsize: 8300
[startup+630.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27924
Raw data (stat): 27924 (bsolo_mis) R 27923 7876 7672 0 -1 0 1189 0 0 0 62936 71 0 0 25 0 1 0 746337325 8499200 1160 4294967295 134512640 134714540 3221221792 3221220500 134535798 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2075 1160 1111 63 0 2012 0
vsize: 8300
[startup+640.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27924
Raw data (stat): 27924 (bsolo_mis) R 27923 7876 7672 0 -1 0 1189 0 0 0 63935 72 0 0 25 0 1 0 746337325 8499200 1160 4294967295 134512640 134714540 3221221792 3221220492 134558620 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2075 1160 1111 63 0 2012 0
vsize: 8300
[startup+650.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27924
Raw data (stat): 27924 (bsolo_mis) R 27923 7876 7672 0 -1 0 1189 0 0 0 64934 73 0 0 25 0 1 0 746337325 8499200 1160 4294967295 134512640 134714540 3221221792 3221220384 134542677 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2075 1160 1111 63 0 2012 0
vsize: 8300
[startup+660.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27924
Raw data (stat): 27924 (bsolo_mis) R 27923 7876 7672 0 -1 0 1189 0 0 0 65933 74 0 0 25 0 1 0 746337325 8499200 1160 4294967295 134512640 134714540 3221221792 3221220608 134610900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2075 1160 1111 63 0 2012 0
vsize: 8300
[startup+670.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27924
Raw data (stat): 27924 (bsolo_mis) R 27923 7876 7672 0 -1 0 1189 0 0 0 66932 75 0 0 25 0 1 0 746337325 8499200 1160 4294967295 134512640 134714540 3221221792 3221220576 134624467 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2075 1160 1111 63 0 2012 0
vsize: 8300
[startup+680.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27924
Raw data (stat): 27924 (bsolo_mis) R 27923 7876 7672 0 -1 0 1189 0 0 0 67931 77 0 0 25 0 1 0 746337325 8499200 1160 4294967295 134512640 134714540 3221221792 3221220496 134556927 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2075 1160 1111 63 0 2012 0
vsize: 8300
[startup+690.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27924
Raw data (stat): 27924 (bsolo_mis) R 27923 7876 7672 0 -1 0 1189 0 0 0 68930 78 0 0 25 0 1 0 746337325 8499200 1160 4294967295 134512640 134714540 3221221792 3221220468 134594355 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2075 1160 1111 63 0 2012 0
vsize: 8300
[startup+700.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27924
Raw data (stat): 27924 (bsolo_mis) R 27923 7876 7672 0 -1 0 1189 0 0 0 69929 79 0 0 25 0 1 0 746337325 8499200 1160 4294967295 134512640 134714540 3221221792 3221220328 134613957 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2075 1160 1111 63 0 2012 0
vsize: 8300
[startup+710.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27924
Raw data (stat): 27924 (bsolo_mis) R 27923 7876 7672 0 -1 0 1189 0 0 0 70928 80 0 0 25 0 1 0 746337325 8499200 1160 4294967295 134512640 134714540 3221221792 3221220464 134594364 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2075 1160 1111 63 0 2012 0
vsize: 8300
[startup+720.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27924
Raw data (stat): 27924 (bsolo_mis) R 27923 7876 7672 0 -1 0 1189 0 0 0 71927 81 0 0 25 0 1 0 746337325 8499200 1160 4294967295 134512640 134714540 3221221792 3221220480 134534089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2075 1160 1111 63 0 2012 0
vsize: 8300
[startup+730.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27924
Raw data (stat): 27924 (bsolo_mis) R 27923 7876 7672 0 -1 0 1189 0 0 0 72927 82 0 0 25 0 1 0 746337325 8499200 1160 4294967295 134512640 134714540 3221221792 3221220608 134611108 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2075 1160 1111 63 0 2012 0
vsize: 8300
[startup+740.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27924
Raw data (stat): 27924 (bsolo_mis) R 27923 7876 7672 0 -1 0 1189 0 0 0 73926 83 0 0 25 0 1 0 746337325 8499200 1160 4294967295 134512640 134714540 3221221792 3221220608 134611108 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2075 1160 1111 63 0 2012 0
vsize: 8300
[startup+750.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27924
Raw data (stat): 27924 (bsolo_mis) R 27923 7876 7672 0 -1 0 1189 0 0 0 74925 84 0 0 25 0 1 0 746337325 8499200 1160 4294967295 134512640 134714540 3221221792 3221220536 134536866 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2075 1160 1111 63 0 2012 0
vsize: 8300
[startup+760.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27924
Raw data (stat): 27924 (bsolo_mis) R 27923 7876 7672 0 -1 0 1189 0 0 0 75924 85 0 0 25 0 1 0 746337325 8499200 1160 4294967295 134512640 134714540 3221221792 3221220508 134558630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2075 1160 1111 63 0 2012 0
vsize: 8300
[startup+770.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27924
Raw data (stat): 27924 (bsolo_mis) R 27923 7876 7672 0 -1 0 1189 0 0 0 76923 86 0 0 25 0 1 0 746337325 8499200 1160 4294967295 134512640 134714540 3221221792 3221220544 134592388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2075 1160 1111 63 0 2012 0
vsize: 8300
[startup+780.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27924
Raw data (stat): 27924 (bsolo_mis) R 27923 7876 7672 0 -1 0 1189 0 0 0 77922 88 0 0 25 0 1 0 746337325 8499200 1160 4294967295 134512640 134714540 3221221792 3221220640 134623453 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2075 1160 1111 63 0 2012 0
vsize: 8300
[startup+790.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27924
Raw data (stat): 27924 (bsolo_mis) R 27923 7876 7672 0 -1 0 1189 0 0 0 78921 88 0 0 25 0 1 0 746337325 8499200 1160 4294967295 134512640 134714540 3221221792 3221220552 134624416 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2075 1160 1111 63 0 2012 0
vsize: 8300
[startup+800.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27924
Raw data (stat): 27924 (bsolo_mis) R 27923 7876 7672 0 -1 0 1189 0 0 0 79920 90 0 0 25 0 1 0 746337325 8499200 1160 4294967295 134512640 134714540 3221221792 3221220480 134594343 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2075 1160 1111 63 0 2012 0
vsize: 8300
[startup+810.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27924
Raw data (stat): 27924 (bsolo_mis) R 27923 7876 7672 0 -1 0 1189 0 0 0 80919 91 0 0 25 0 1 0 746337325 8499200 1160 4294967295 134512640 134714540 3221221792 3221220460 134538732 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2075 1160 1111 63 0 2012 0
vsize: 8300
[startup+820.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27924
Raw data (stat): 27924 (bsolo_mis) R 27923 7876 7672 0 -1 0 1189 0 0 0 81919 91 0 0 25 0 1 0 746337325 8499200 1160 4294967295 134512640 134714540 3221221792 3221220536 134536866 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2075 1160 1111 63 0 2012 0
vsize: 8300
[startup+830.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27924
Raw data (stat): 27924 (bsolo_mis) R 27923 7876 7672 0 -1 0 1189 0 0 0 82918 92 0 0 25 0 1 0 746337325 8499200 1160 4294967295 134512640 134714540 3221221792 3221220496 134556513 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2075 1160 1111 63 0 2012 0
vsize: 8300
[startup+840.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27924
Raw data (stat): 27924 (bsolo_mis) R 27923 7876 7672 0 -1 0 1189 0 0 0 83917 93 0 0 25 0 1 0 746337325 8499200 1160 4294967295 134512640 134714540 3221221792 3221220536 134536866 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2075 1160 1111 63 0 2012 0
vsize: 8300
[startup+850.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27924
Raw data (stat): 27924 (bsolo_mis) R 27923 7876 7672 0 -1 0 1189 0 0 0 84916 94 0 0 25 0 1 0 746337325 8499200 1160 4294967295 134512640 134714540 3221221792 3221220564 134624473 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2075 1160 1111 63 0 2012 0
vsize: 8300
[startup+860.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27924
Raw data (stat): 27924 (bsolo_mis) R 27923 7876 7672 0 -1 0 1189 0 0 0 85916 95 0 0 25 0 1 0 746337325 8499200 1160 4294967295 134512640 134714540 3221221792 3221220628 134623280 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2075 1160 1111 63 0 2012 0
vsize: 8300
[startup+870.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27924
Raw data (stat): 27924 (bsolo_mis) R 27923 7876 7672 0 -1 0 1189 0 0 0 86915 96 0 0 25 0 1 0 746337325 8499200 1160 4294967295 134512640 134714540 3221221792 3221220596 134610916 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2075 1160 1111 63 0 2012 0
vsize: 8300
[startup+880.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27924
Raw data (stat): 27924 (bsolo_mis) R 27923 7876 7672 0 -1 0 1190 0 0 0 87915 96 0 0 25 0 1 0 746337325 8499200 1161 4294967295 134512640 134714540 3221221792 3221220576 134542576 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2075 1161 1111 63 0 2012 0
vsize: 8300
[startup+890.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27924
Raw data (stat): 27924 (bsolo_mis) R 27923 7876 7672 0 -1 0 1190 0 0 0 88914 98 0 0 25 0 1 0 746337325 8499200 1161 4294967295 134512640 134714540 3221221792 3221220540 134535506 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2075 1161 1111 63 0 2012 0
vsize: 8300
[startup+900.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27924
Raw data (stat): 27924 (bsolo_mis) R 27923 7876 7672 0 -1 0 1190 0 0 0 89913 99 0 0 25 0 1 0 746337325 8499200 1161 4294967295 134512640 134714540 3221221792 3221220352 134540186 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2075 1161 1111 63 0 2012 0
vsize: 8300
[startup+910.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27924
Raw data (stat): 27924 (bsolo_mis) R 27923 7876 7672 0 -1 0 1190 0 0 0 90912 100 0 0 25 0 1 0 746337325 8499200 1161 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2075 1161 1111 63 0 2012 0
vsize: 8300
[startup+920.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27924
Raw data (stat): 27924 (bsolo_mis) R 27923 7876 7672 0 -1 0 1190 0 0 0 91911 101 0 0 25 0 1 0 746337325 8499200 1161 4294967295 134512640 134714540 3221221792 3221220560 134624479 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2075 1161 1111 63 0 2012 0
vsize: 8300
[startup+930.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27924
Raw data (stat): 27924 (bsolo_mis) R 27923 7876 7672 0 -1 0 1190 0 0 0 92910 102 0 0 25 0 1 0 746337325 8499200 1161 4294967295 134512640 134714540 3221221792 3221220528 134556745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2075 1161 1111 63 0 2012 0
vsize: 8300
[startup+940.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27924
Raw data (stat): 27924 (bsolo_mis) R 27923 7876 7672 0 -1 0 1190 0 0 0 93910 102 0 0 25 0 1 0 746337325 8499200 1161 4294967295 134512640 134714540 3221221792 3221220564 134624473 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2075 1161 1111 63 0 2012 0
vsize: 8300
[startup+950.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27924
Raw data (stat): 27924 (bsolo_mis) R 27923 7876 7672 0 -1 0 1194 0 0 0 94909 103 0 0 25 0 1 0 746337325 8593408 1165 4294967295 134512640 134714540 3221221792 3221220536 134536866 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2098 1165 1111 63 0 2035 0
vsize: 8392
[startup+960.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27924
Raw data (stat): 27924 (bsolo_mis) R 27923 7876 7672 0 -1 0 1194 0 0 0 95909 104 0 0 25 0 1 0 746337325 8593408 1165 4294967295 134512640 134714540 3221221792 3221220536 134536879 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2098 1165 1111 63 0 2035 0
vsize: 8392
[startup+970.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27924
Raw data (stat): 27924 (bsolo_mis) R 27923 7876 7672 0 -1 0 1194 0 0 0 96908 105 0 0 25 0 1 0 746337325 8593408 1165 4294967295 134512640 134714540 3221221792 3221220584 134558593 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2098 1165 1111 63 0 2035 0
vsize: 8392
[startup+980.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27924
Raw data (stat): 27924 (bsolo_mis) R 27923 7876 7672 0 -1 0 1194 0 0 0 97907 105 0 0 25 0 1 0 746337325 8593408 1165 4294967295 134512640 134714540 3221221792 3221220540 134543556 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2098 1165 1111 63 0 2035 0
vsize: 8392
[startup+990.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27924
Raw data (stat): 27924 (bsolo_mis) R 27923 7876 7672 0 -1 0 1194 0 0 0 98907 106 0 0 25 0 1 0 746337325 8593408 1165 4294967295 134512640 134714540 3221221792 3221220640 134623453 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2098 1165 1111 63 0 2035 0
vsize: 8392
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27924
Raw data (stat): 27924 (bsolo_mis) R 27923 7876 7672 0 -1 0 1194 0 0 0 99906 107 0 0 25 0 1 0 746337325 8593408 1165 4294967295 134512640 134714540 3221221792 3221220584 134542448 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2098 1165 1111 63 0 2035 0
vsize: 8392
[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27924
Raw data (stat): 27924 (bsolo_mis) R 27923 7876 7672 0 -1 0 1194 0 0 0 100906 107 0 0 25 0 1 0 746337325 8593408 1165 4294967295 134512640 134714540 3221221792 3221220576 134624467 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2098 1165 1111 63 0 2035 0
vsize: 8392
[startup+1020.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27924
Raw data (stat): 27924 (bsolo_mis) R 27923 7876 7672 0 -1 0 1194 0 0 0 101905 108 0 0 25 0 1 0 746337325 8593408 1165 4294967295 134512640 134714540 3221221792 3221220512 134556783 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2098 1165 1111 63 0 2035 0
vsize: 8392
[startup+1030.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27924
Raw data (stat): 27924 (bsolo_mis) R 27923 7876 7672 0 -1 0 1194 0 0 0 102904 110 0 0 25 0 1 0 746337325 8593408 1165 4294967295 134512640 134714540 3221221792 3221220536 134556383 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2098 1165 1111 63 0 2035 0
vsize: 8392
[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27924
Raw data (stat): 27924 (bsolo_mis) R 27923 7876 7672 0 -1 0 1194 0 0 0 103903 111 0 0 25 0 1 0 746337325 8593408 1165 4294967295 134512640 134714540 3221221792 3221220424 1076647541 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2098 1165 1111 63 0 2035 0
vsize: 8392
[startup+1050.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27924
Raw data (stat): 27924 (bsolo_mis) R 27923 7876 7672 0 -1 0 1194 0 0 0 104902 112 0 0 25 0 1 0 746337325 8593408 1165 4294967295 134512640 134714540 3221221792 3221220576 134584866 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2098 1165 1111 63 0 2035 0
vsize: 8392
[startup+1060.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27924
Raw data (stat): 27924 (bsolo_mis) R 27923 7876 7672 0 -1 0 1194 0 0 0 105902 112 0 0 25 0 1 0 746337325 8593408 1165 4294967295 134512640 134714540 3221221792 3221220640 134623453 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2098 1165 1111 63 0 2035 0
vsize: 8392
[startup+1070.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27924
Raw data (stat): 27924 (bsolo_mis) R 27923 7876 7672 0 -1 0 1194 0 0 0 106901 113 0 0 25 0 1 0 746337325 8593408 1165 4294967295 134512640 134714540 3221221792 3221220640 134623464 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2098 1165 1111 63 0 2035 0
vsize: 8392
[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27924
Raw data (stat): 27924 (bsolo_mis) R 27923 7876 7672 0 -1 0 1194 0 0 0 107900 114 0 0 25 0 1 0 746337325 8593408 1165 4294967295 134512640 134714540 3221221792 3221220640 134623453 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2098 1165 1111 63 0 2035 0
vsize: 8392
[startup+1090.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27924
Raw data (stat): 27924 (bsolo_mis) R 27923 7876 7672 0 -1 0 1194 0 0 0 108900 115 0 0 25 0 1 0 746337325 8593408 1165 4294967295 134512640 134714540 3221221792 3221220432 134613451 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2098 1165 1111 63 0 2035 0
vsize: 8392
[startup+1100.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27924
Raw data (stat): 27924 (bsolo_mis) R 27923 7876 7672 0 -1 0 1194 0 0 0 109900 115 0 0 25 0 1 0 746337325 8593408 1165 4294967295 134512640 134714540 3221221792 3221220432 134542352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2098 1165 1111 63 0 2035 0
vsize: 8392
[startup+1110.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27924
Raw data (stat): 27924 (bsolo_mis) R 27923 7876 7672 0 -1 0 1194 0 0 0 110899 116 0 0 25 0 1 0 746337325 8593408 1165 4294967295 134512640 134714540 3221221792 3221220640 134623453 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2098 1165 1111 63 0 2035 0
vsize: 8392
[startup+1120.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27924
Raw data (stat): 27924 (bsolo_mis) R 27923 7876 7672 0 -1 0 1194 0 0 0 111898 117 0 0 25 0 1 0 746337325 8593408 1165 4294967295 134512640 134714540 3221221792 3221220512 134556498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2098 1165 1111 63 0 2035 0
vsize: 8392
[startup+1130.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27924
Raw data (stat): 27924 (bsolo_mis) R 27923 7876 7672 0 -1 0 1194 0 0 0 112897 118 0 0 25 0 1 0 746337325 8593408 1165 4294967295 134512640 134714540 3221221792 3221220476 134553611 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2098 1165 1111 63 0 2035 0
vsize: 8392
[startup+1140.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27924
Raw data (stat): 27924 (bsolo_mis) R 27923 7876 7672 0 -1 0 1194 0 0 0 113897 119 0 0 25 0 1 0 746337325 8593408 1165 4294967295 134512640 134714540 3221221792 3221220332 134539235 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2098 1165 1111 63 0 2035 0
vsize: 8392
[startup+1150.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27924
Raw data (stat): 27924 (bsolo_mis) R 27923 7876 7672 0 -1 0 1194 0 0 0 114896 119 0 0 25 0 1 0 746337325 8593408 1165 4294967295 134512640 134714540 3221221792 3221220408 134613965 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2098 1165 1111 63 0 2035 0
vsize: 8392
[startup+1160.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27924
Raw data (stat): 27924 (bsolo_mis) R 27923 7876 7672 0 -1 0 1194 0 0 0 115896 120 0 0 25 0 1 0 746337325 8593408 1165 4294967295 134512640 134714540 3221221792 3221220444 1076530932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2098 1165 1111 63 0 2035 0
vsize: 8392
[startup+1170.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 27924
Raw data (stat): 27924 (bsolo_mis) R 27923 7876 7672 0 -1 0 1194 0 0 0 116895 121 0 0 25 0 1 0 746337325 8593408 1165 4294967295 134512640 134714540 3221221792 3221220608 134611099 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2098 1165 1111 63 0 2035 0
vsize: 8392
[startup+1174.9 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 27924
Raw data (stat): 27924 (bsolo_mis) R 27923 7876 7672 0 -1 0 1194 0 0 0 116895 121 0 0 25 0 1 0 746337325 8593408 1165 4294967295 134512640 134714540 3221221792 3221220608 134611099 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2098 1165 1111 63 0 2035 0
vsize: 0

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