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/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-sp98ar.opb
MD5SUM	9565d6b3010c78b37c39352cc9731cb7
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	2147483647
Optimality of the best value was proved	NO
Number of terms in the objective function	15085
Biggest coefficient in the objective function	504328818
Number of bits for the biggest coefficient in the objective function	29
Sum of the numbers in the objective function	2067304124713
Number of bits of the sum of numbers in the objective function	41
Biggest number in a constraint	504328818
Number of bits of the biggest number in a constraint	29
Biggest sum of numbers in a constraint	2067304124713
Number of bits of the biggest sum of numbers	41
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	13.9929
Number of variables	15085
Total number of constraints	16520
Number of constraints which are clauses	181
Number of constraints which are cardinality constraints (but not clauses)	15927
Number of constraints which are nor clauses,nor cardinality constraints	412
Minimum length of a constraint	1
Maximum length of a constraint	4222
Trace number 26121

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-24 08:55:30 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=15252 boxname=wulflinc31 idbench=1174 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  9565d6b3010c78b37c39352cc9731cb7  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-sp98ar.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-sp98ar.opb
IDLAUNCH: 15252
/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:        742008 kB
Buffers:         24656 kB
Cached:         247012 kB
SwapCached:        944 kB
Active:          86076 kB
Inactive:       187724 kB
HighTotal:      131008 kB
HighFree:        26796 kB
LowTotal:       903652 kB
LowFree:        715212 kB
SwapTotal:     2097892 kB
SwapFree:      2095920 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5104 kB
Slab:            13084 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 09:15:06 (client local time) WITH STATUS 0 IN 1175.27 SECONDS
stats: 15252 7 1175.27 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 15085 variables and 1430 constraints.
c After prepocess the problem consists of 15076 variables and 1368 constraints.
c preprocess terminated 613.325 s
c Initial Lower Bound: 617470868
c Lower Bound Elapsed time: 0
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.06 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.00 1.00 1.00 2/55 26363
Raw data (stat): 26363 (runsolver) R 26362 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 828942062 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+9.99965 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26363
Raw data (stat): 26363 (bsolo_mis) R 26362 7876 7672 0 -1 0 19978 0 0 0 957 38 0 0 25 0 1 0 828942062 95227904 19955 4294967295 134512640 134714540 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23249 19955 1111 63 0 23186 0
vsize: 92996
[startup+20.001 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26363
Raw data (stat): 26363 (bsolo_mis) R 26362 7876 7672 0 -1 0 38858 0 0 0 1923 73 0 0 25 0 1 0 828942062 172564480 38835 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42130 38835 1111 63 0 42067 0
vsize: 168520
[startup+30.0009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26363
Raw data (stat): 26363 (bsolo_mis) R 26362 7876 7672 0 -1 0 57007 0 0 0 2889 107 0 0 25 0 1 0 828942062 246935552 56984 4294967295 134512640 134714540 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 60287 56984 1111 63 0 60224 0
vsize: 241148
[startup+40.0015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26363
Raw data (stat): 26363 (bsolo_mis) R 26362 7876 7672 0 -1 0 75584 0 0 0 3859 136 0 0 25 0 1 0 828942062 323084288 75561 4294967295 134512640 134714540 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 78878 75561 1111 63 0 78815 0
vsize: 315512
[startup+50.0029 s]
Raw data (loadavg): 1.08 1.02 1.00 2/55 26363
Raw data (stat): 26363 (bsolo_mis) R 26362 7876 7672 0 -1 0 92240 0 0 0 4830 166 0 0 25 0 1 0 828942062 391155712 92217 4294967295 134512640 134714540 3221221776 3221218252 1077198274 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 95497 92217 1111 63 0 95434 0
vsize: 381988
[startup+60.0028 s]
Raw data (loadavg): 1.07 1.02 1.00 2/55 26363
Raw data (stat): 26363 (bsolo_mis) R 26362 7876 7672 0 -1 0 93109 0 0 0 5827 169 0 0 25 0 1 0 828942062 394833920 93086 4294967295 134512640 134714540 3221221776 3221220052 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 96395 93086 1111 63 0 96332 0
vsize: 385580
[startup+70.0032 s]
Raw data (loadavg): 1.06 1.01 1.00 2/55 26363
Raw data (stat): 26363 (bsolo_mis) R 26362 7876 7672 0 -1 0 93710 0 0 0 6825 171 0 0 25 0 1 0 828942062 397336576 93683 4294967295 134512640 134714540 3221221776 3221220052 1077414407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 97006 93683 1111 63 0 96943 0
vsize: 388024
[startup+80.0046 s]
Raw data (loadavg): 1.05 1.01 1.00 2/55 26363
Raw data (stat): 26363 (bsolo_mis) R 26362 7876 7672 0 -1 0 94477 0 0 0 7824 173 0 0 25 0 1 0 828942062 400601088 94450 4294967295 134512640 134714540 3221221776 3221220064 134566780 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 97803 94450 1111 63 0 97740 0
vsize: 391212
[startup+90.0055 s]
Raw data (loadavg): 1.04 1.01 1.00 2/55 26363
Raw data (stat): 26363 (bsolo_mis) R 26362 7876 7672 0 -1 0 95234 0 0 0 8821 175 0 0 25 0 1 0 828942062 403726336 95207 4294967295 134512640 134714540 3221221776 3221220052 1077414385 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 98566 95207 1111 63 0 98503 0
vsize: 394264
[startup+100.006 s]
Raw data (loadavg): 1.03 1.01 1.00 2/55 26363
Raw data (stat): 26363 (bsolo_mis) R 26362 7876 7672 0 -1 0 96122 0 0 0 9819 178 0 0 25 0 1 0 828942062 407425024 96095 4294967295 134512640 134714540 3221221776 3221220052 1077414401 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 99469 96095 1111 63 0 99406 0
vsize: 397876
[startup+110.006 s]
Raw data (loadavg): 1.03 1.01 1.00 2/55 26363
Raw data (stat): 26363 (bsolo_mis) R 26362 7876 7672 0 -1 0 97015 0 0 0 10815 181 0 0 25 0 1 0 828942062 411095040 96988 4294967295 134512640 134714540 3221221776 3221220052 1077414358 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 100365 96988 1111 63 0 100302 0
vsize: 401460
[startup+120.007 s]
Raw data (loadavg): 1.02 1.01 1.00 2/55 26363
Raw data (stat): 26363 (bsolo_mis) R 26362 7876 7672 0 -1 0 97864 0 0 0 11814 183 0 0 25 0 1 0 828942062 414629888 97837 4294967295 134512640 134714540 3221221776 3221220052 1077414382 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 101228 97837 1111 63 0 101165 0
vsize: 404912
[startup+130.007 s]
Raw data (loadavg): 1.02 1.01 1.00 2/55 26363
Raw data (stat): 26363 (bsolo_mis) R 26362 7876 7672 0 -1 0 98680 0 0 0 12811 186 0 0 25 0 1 0 828942062 418037760 98653 4294967295 134512640 134714540 3221221776 3221220052 1077414345 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 102060 98653 1111 63 0 101997 0
vsize: 408240
[startup+140.008 s]
Raw data (loadavg): 1.02 1.01 1.00 2/55 26363
Raw data (stat): 26363 (bsolo_mis) R 26362 7876 7672 0 -1 0 99564 0 0 0 13809 188 0 0 25 0 1 0 828942062 421703680 99537 4294967295 134512640 134714540 3221221776 3221220060 1077399562 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 102955 99537 1111 63 0 102892 0
vsize: 411820
[startup+150.009 s]
Raw data (loadavg): 1.01 1.01 1.00 2/55 26363
Raw data (stat): 26363 (bsolo_mis) R 26362 7876 7672 0 -1 0 101164 0 0 0 14805 192 0 0 25 0 1 0 828942062 418566144 101055 4294967295 134512640 134714540 3221221776 3221220220 134536817 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 102189 101055 1111 63 0 102126 0
vsize: 408756
[startup+160.01 s]
Raw data (loadavg): 1.01 1.01 1.00 2/55 26363
Raw data (stat): 26363 (bsolo_mis) R 26362 7876 7672 0 -1 0 101164 0 0 0 15805 193 0 0 25 0 1 0 828942062 418566144 101055 4294967295 134512640 134714540 3221221776 3221220228 134535880 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 102189 101055 1111 63 0 102126 0
vsize: 408756
[startup+170.01 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 26363
Raw data (stat): 26363 (bsolo_mis) R 26362 7876 7672 0 -1 0 101164 0 0 0 16805 193 0 0 25 0 1 0 828942062 418566144 101055 4294967295 134512640 134714540 3221221776 3221220220 134535900 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 102189 101055 1111 63 0 102126 0
vsize: 408756
[startup+180.011 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 26363
Raw data (stat): 26363 (bsolo_mis) R 26362 7876 7672 0 -1 0 101164 0 0 0 17804 193 0 0 25 0 1 0 828942062 418566144 101055 4294967295 134512640 134714540 3221221776 3221220256 134543041 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 102189 101055 1111 63 0 102126 0
vsize: 408756
[startup+190.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26363
Raw data (stat): 26363 (bsolo_mis) R 26362 7876 7672 0 -1 0 101164 0 0 0 18805 193 0 0 25 0 1 0 828942062 418566144 101055 4294967295 134512640 134714540 3221221776 3221220256 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 102189 101055 1111 63 0 102126 0
vsize: 408756
[startup+200.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26363
Raw data (stat): 26363 (bsolo_mis) R 26362 7876 7672 0 -1 0 101164 0 0 0 19805 193 0 0 25 0 1 0 828942062 418566144 101055 4294967295 134512640 134714540 3221221776 3221220528 134630792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 102189 101055 1111 63 0 102126 0
vsize: 408756
[startup+210.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26363
Raw data (stat): 26363 (bsolo_mis) R 26362 7876 7672 0 -1 0 101164 0 0 0 20805 193 0 0 25 0 1 0 828942062 418566144 101055 4294967295 134512640 134714540 3221221776 3221220220 134536817 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 102189 101055 1111 63 0 102126 0
vsize: 408756
[startup+220.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26363
Raw data (stat): 26363 (bsolo_mis) R 26362 7876 7672 0 -1 0 101164 0 0 0 21805 193 0 0 25 0 1 0 828942062 418566144 101055 4294967295 134512640 134714540 3221221776 3221220220 134536817 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 102189 101055 1111 63 0 102126 0
vsize: 408756
[startup+230.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26363
Raw data (stat): 26363 (bsolo_mis) R 26362 7876 7672 0 -1 0 101164 0 0 0 22805 193 0 0 25 0 1 0 828942062 418566144 101055 4294967295 134512640 134714540 3221221776 3221220240 134543030 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 102189 101055 1111 63 0 102126 0
vsize: 408756
[startup+240.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26363
Raw data (stat): 26363 (bsolo_mis) R 26362 7876 7672 0 -1 0 101164 0 0 0 23806 193 0 0 25 0 1 0 828942062 418566144 101055 4294967295 134512640 134714540 3221221776 3221220220 134536766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 102189 101055 1111 63 0 102126 0
vsize: 408756
[startup+250.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26363
Raw data (stat): 26363 (bsolo_mis) R 26362 7876 7672 0 -1 0 101164 0 0 0 24806 193 0 0 25 0 1 0 828942062 418566144 101055 4294967295 134512640 134714540 3221221776 3221220240 134543097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 102189 101055 1111 63 0 102126 0
vsize: 408756
[startup+260.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26363
Raw data (stat): 26363 (bsolo_mis) R 26362 7876 7672 0 -1 0 101164 0 0 0 25806 193 0 0 25 0 1 0 828942062 418566144 101055 4294967295 134512640 134714540 3221221776 3221220240 134543030 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 102189 101055 1111 63 0 102126 0
vsize: 408756
[startup+270.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26363
Raw data (stat): 26363 (bsolo_mis) R 26362 7876 7672 0 -1 0 101164 0 0 0 26806 193 0 0 25 0 1 0 828942062 418566144 101055 4294967295 134512640 134714540 3221221776 3221220528 134630792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 102189 101055 1111 63 0 102126 0
vsize: 408756
[startup+280.224 s]
Raw data (loadavg): 1.08 1.02 1.01 3/58 26401
Raw data (stat): 26363 (bsolo_mis) R 26362 7876 7672 0 -1 0 101164 0 0 0 27826 193 0 0 25 0 1 0 828942062 418566144 101055 4294967295 134512640 134714540 3221221776 3221220528 134630792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 102189 101055 1111 63 0 102126 0
vsize: 408756
[startup+290.226 s]
Raw data (loadavg): 1.14 1.03 1.01 2/55 26416
Raw data (stat): 26363 (bsolo_mis) R 26362 7876 7672 0 -1 0 101164 0 0 0 28827 193 0 0 25 0 1 0 828942062 418566144 101055 4294967295 134512640 134714540 3221221776 3221220240 134543097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 102189 101055 1111 63 0 102126 0
vsize: 408756
[startup+300.226 s]
Raw data (loadavg): 1.12 1.03 1.01 2/55 26416
Raw data (stat): 26363 (bsolo_mis) R 26362 7876 7672 0 -1 0 101164 0 0 0 29827 193 0 0 25 0 1 0 828942062 418566144 101055 4294967295 134512640 134714540 3221221776 3221220220 134536766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 102189 101055 1111 63 0 102126 0
vsize: 408756
[startup+310.225 s]
Raw data (loadavg): 1.10 1.03 1.01 2/55 26416
Raw data (stat): 26363 (bsolo_mis) R 26362 7876 7672 0 -1 0 101164 0 0 0 30827 193 0 0 25 0 1 0 828942062 418566144 101055 4294967295 134512640 134714540 3221221776 3221220240 134543030 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 102189 101055 1111 63 0 102126 0
vsize: 408756
[startup+320.226 s]
Raw data (loadavg): 1.08 1.03 1.01 2/55 26416
Raw data (stat): 26363 (bsolo_mis) R 26362 7876 7672 0 -1 0 101164 0 0 0 31827 194 0 0 25 0 1 0 828942062 418566144 101055 4294967295 134512640 134714540 3221221776 3221220220 134536814 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 102189 101055 1111 63 0 102126 0
vsize: 408756
[startup+330.226 s]
Raw data (loadavg): 1.07 1.03 1.01 2/55 26416
Raw data (stat): 26363 (bsolo_mis) R 26362 7876 7672 0 -1 0 101164 0 0 0 32827 194 0 0 25 0 1 0 828942062 418566144 101055 4294967295 134512640 134714540 3221221776 3221220528 134630795 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 102189 101055 1111 63 0 102126 0
vsize: 408756
[startup+340.228 s]
Raw data (loadavg): 1.06 1.03 1.00 2/55 26416
Raw data (stat): 26363 (bsolo_mis) R 26362 7876 7672 0 -1 0 101164 0 0 0 33828 194 0 0 25 0 1 0 828942062 418566144 101055 4294967295 134512640 134714540 3221221776 3221220220 134536766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 102189 101055 1111 63 0 102126 0
vsize: 408756
[startup+350.227 s]
Raw data (loadavg): 1.05 1.02 1.00 2/55 26418
Raw data (stat): 26363 (bsolo_mis) R 26362 7876 7672 0 -1 0 101165 0 0 0 34828 194 0 0 25 0 1 0 828942062 418566144 101056 4294967295 134512640 134714540 3221221776 3221220156 134539235 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 102189 101056 1111 63 0 102126 0
vsize: 408756
[startup+360.227 s]
Raw data (loadavg): 1.04 1.02 1.00 2/55 26418
Raw data (stat): 26363 (bsolo_mis) R 26362 7876 7672 0 -1 0 101165 0 0 0 35828 194 0 0 25 0 1 0 828942062 418566144 101056 4294967295 134512640 134714540 3221221776 3221220220 134535900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 102189 101056 1111 63 0 102126 0
vsize: 408756
[startup+370.227 s]
Raw data (loadavg): 1.04 1.02 1.00 2/55 26418
Raw data (stat): 26363 (bsolo_mis) R 26362 7876 7672 0 -1 0 101165 0 0 0 36828 194 0 0 25 0 1 0 828942062 418566144 101056 4294967295 134512640 134714540 3221221776 3221220220 134535900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 102189 101056 1111 63 0 102126 0
vsize: 408756
[startup+380.227 s]
Raw data (loadavg): 1.03 1.02 1.00 2/55 26418
Raw data (stat): 26363 (bsolo_mis) R 26362 7876 7672 0 -1 0 101165 0 0 0 37828 194 0 0 25 0 1 0 828942062 418566144 101056 4294967295 134512640 134714540 3221221776 3221220220 134536766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 102189 101056 1111 63 0 102126 0
vsize: 408756
[startup+390.236 s]
Raw data (loadavg): 1.02 1.02 1.00 2/55 26418
Raw data (stat): 26363 (bsolo_mis) R 26362 7876 7672 0 -1 0 101166 0 0 0 38829 194 0 0 25 0 1 0 828942062 418566144 101057 4294967295 134512640 134714540 3221221776 3221220240 134543097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 102189 101057 1111 63 0 102126 0
vsize: 408756
[startup+400.236 s]
Raw data (loadavg): 1.02 1.02 1.00 2/55 26418
Raw data (stat): 26363 (bsolo_mis) R 26362 7876 7672 0 -1 0 101166 0 0 0 39829 194 0 0 25 0 1 0 828942062 418566144 101057 4294967295 134512640 134714540 3221221776 3221220240 134543097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 102189 101057 1111 63 0 102126 0
vsize: 408756
[startup+410.236 s]
Raw data (loadavg): 1.02 1.02 1.00 2/55 26418
Raw data (stat): 26363 (bsolo_mis) R 26362 7876 7672 0 -1 0 101166 0 0 0 40829 194 0 0 25 0 1 0 828942062 418566144 101057 4294967295 134512640 134714540 3221221776 3221220244 134543092 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 102189 101057 1111 63 0 102126 0
vsize: 408756
[startup+420.236 s]
Raw data (loadavg): 1.01 1.02 1.00 2/55 26418
Raw data (stat): 26363 (bsolo_mis) R 26362 7876 7672 0 -1 0 101167 0 0 0 41829 194 0 0 25 0 1 0 828942062 418566144 101058 4294967295 134512640 134714540 3221221776 3221220220 134535900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 102189 101058 1111 63 0 102126 0
vsize: 408756
[startup+430.236 s]
Raw data (loadavg): 1.01 1.02 1.00 2/55 26418
Raw data (stat): 26363 (bsolo_mis) R 26362 7876 7672 0 -1 0 101167 0 0 0 42829 194 0 0 25 0 1 0 828942062 418566144 101058 4294967295 134512640 134714540 3221221776 3221220220 134535900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 102189 101058 1111 63 0 102126 0
vsize: 408756
[startup+440.237 s]
Raw data (loadavg): 1.01 1.02 1.00 2/55 26418
Raw data (stat): 26363 (bsolo_mis) R 26362 7876 7672 0 -1 0 101168 0 0 0 43829 194 0 0 25 0 1 0 828942062 418566144 101059 4294967295 134512640 134714540 3221221776 3221220240 134543030 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 102189 101059 1111 63 0 102126 0
vsize: 408756
[startup+450.237 s]
Raw data (loadavg): 1.01 1.01 1.00 2/55 26418
Raw data (stat): 26363 (bsolo_mis) R 26362 7876 7672 0 -1 0 101170 0 0 0 44829 195 0 0 25 0 1 0 828942062 418566144 101061 4294967295 134512640 134714540 3221221776 3221220240 134543030 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 102189 101061 1111 63 0 102126 0
vsize: 408756
[startup+460.239 s]
Raw data (loadavg): 1.01 1.01 1.00 2/55 26418
Raw data (stat): 26363 (bsolo_mis) R 26362 7876 7672 0 -1 0 101171 0 0 0 45829 195 0 0 25 0 1 0 828942062 418566144 101062 4294967295 134512640 134714540 3221221776 3221220528 134630792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 102189 101062 1111 63 0 102126 0
vsize: 408756
[startup+470.239 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 26418
Raw data (stat): 26363 (bsolo_mis) R 26362 7876 7672 0 -1 0 101172 0 0 0 46830 195 0 0 25 0 1 0 828942062 418566144 101063 4294967295 134512640 134714540 3221221776 3221220220 134536817 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 102189 101063 1111 63 0 102126 0
vsize: 408756
[startup+480.239 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 26418
Raw data (stat): 26363 (bsolo_mis) R 26362 7876 7672 0 -1 0 101175 0 0 0 47830 195 0 0 25 0 1 0 828942062 418566144 101066 4294967295 134512640 134714540 3221221776 3221220244 134543092 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 102189 101066 1111 63 0 102126 0
vsize: 408756
[startup+490.24 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 26418
Raw data (stat): 26363 (bsolo_mis) R 26362 7876 7672 0 -1 0 101177 0 0 0 48830 195 0 0 25 0 1 0 828942062 418566144 101068 4294967295 134512640 134714540 3221221776 3221220220 134535900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 102189 101068 1111 63 0 102126 0
vsize: 408756
[startup+500.24 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 26418
Raw data (stat): 26363 (bsolo_mis) R 26362 7876 7672 0 -1 0 101177 0 0 0 49830 195 0 0 25 0 1 0 828942062 418566144 101068 4294967295 134512640 134714540 3221221776 3221220220 134535942 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 102189 101068 1111 63 0 102126 0
vsize: 408756
[startup+510.24 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 26418
Raw data (stat): 26363 (bsolo_mis) R 26362 7876 7672 0 -1 0 101178 0 0 0 50830 195 0 0 25 0 1 0 828942062 418566144 101069 4294967295 134512640 134714540 3221221776 3221220220 134535900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 102189 101069 1111 63 0 102126 0
vsize: 408756
[startup+520.24 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 26418
Raw data (stat): 26363 (bsolo_mis) R 26362 7876 7672 0 -1 0 101179 0 0 0 51830 195 0 0 25 0 1 0 828942062 418566144 101070 4294967295 134512640 134714540 3221221776 3221220220 134536766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 102189 101070 1111 63 0 102126 0
vsize: 408756
[startup+530.241 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 26418
Raw data (stat): 26363 (bsolo_mis) R 26362 7876 7672 0 -1 0 101179 0 0 0 52830 195 0 0 25 0 1 0 828942062 418566144 101070 4294967295 134512640 134714540 3221221776 3221220244 134543092 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 102189 101070 1111 63 0 102126 0
vsize: 408756
[startup+540.242 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 26418
Raw data (stat): 26363 (bsolo_mis) R 26362 7876 7672 0 -1 0 101180 0 0 0 53831 195 0 0 25 0 1 0 828942062 418566144 101071 4294967295 134512640 134714540 3221221776 3221220220 134535956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 102189 101071 1111 63 0 102126 0
vsize: 408756
[startup+550.242 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26418
Raw data (stat): 26363 (bsolo_mis) R 26362 7876 7672 0 -1 0 101183 0 0 0 54831 195 0 0 25 0 1 0 828942062 418566144 101074 4294967295 134512640 134714540 3221221776 3221220220 134536817 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 102189 101074 1111 63 0 102126 0
vsize: 408756
[startup+560.242 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26418
Raw data (stat): 26363 (bsolo_mis) R 26362 7876 7672 0 -1 0 101184 0 0 0 55831 195 0 0 25 0 1 0 828942062 418566144 101075 4294967295 134512640 134714540 3221221776 3221220220 134536766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 102189 101075 1111 63 0 102126 0
vsize: 408756
[startup+570.242 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26418
Raw data (stat): 26363 (bsolo_mis) R 26362 7876 7672 0 -1 0 101184 0 0 0 56831 195 0 0 25 0 1 0 828942062 418566144 101075 4294967295 134512640 134714540 3221221776 3221220160 134542365 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 102189 101075 1111 63 0 102126 0
vsize: 408756
[startup+580.242 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26418
Raw data (stat): 26363 (bsolo_mis) R 26362 7876 7672 0 -1 0 101184 0 0 0 57831 195 0 0 25 0 1 0 828942062 418566144 101075 4294967295 134512640 134714540 3221221776 3221220528 134630795 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 102189 101075 1111 63 0 102126 0
vsize: 408756
[startup+590.243 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26418
Raw data (stat): 26363 (bsolo_mis) R 26362 7876 7672 0 -1 0 101188 0 0 0 58831 195 0 0 25 0 1 0 828942062 418566144 101079 4294967295 134512640 134714540 3221221776 3221220220 134535900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 102189 101079 1111 63 0 102126 0
vsize: 408756
[startup+600.244 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26418
Raw data (stat): 26363 (bsolo_mis) R 26362 7876 7672 0 -1 0 101192 0 0 0 59831 195 0 0 25 0 1 0 828942062 418566144 101083 4294967295 134512640 134714540 3221221776 3221220220 134536775 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 102189 101083 1111 63 0 102126 0
vsize: 408756
[startup+610.243 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26420
Raw data (stat): 26363 (bsolo_mis) R 26362 7876 7672 0 -1 0 101194 0 0 0 60831 195 0 0 25 0 1 0 828942062 418566144 101085 4294967295 134512640 134714540 3221221776 3221220240 134543030 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 102189 101085 1111 63 0 102126 0
vsize: 408756
[startup+620.243 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26420
Raw data (stat): 26363 (bsolo_mis) R 26362 7876 7672 0 -1 0 101668 0 0 0 61830 197 0 0 25 0 1 0 828942062 420642816 101559 4294967295 134512640 134714540 3221221776 3221220560 134624467 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 102696 101559 1111 63 0 102633 0
vsize: 410784
[startup+630.243 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26420
Raw data (stat): 26363 (bsolo_mis) R 26362 7876 7672 0 -1 0 101724 0 0 0 62829 197 0 0 25 0 1 0 828942062 420913152 101615 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 102762 101615 1111 63 0 102699 0
vsize: 411048
[startup+640.245 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26420
Raw data (stat): 26363 (bsolo_mis) R 26362 7876 7672 0 -1 0 101776 0 0 0 63829 198 0 0 25 0 1 0 828942062 421048320 101667 4294967295 134512640 134714540 3221221776 3221220592 134611099 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 102795 101667 1111 63 0 102732 0
vsize: 411180
[startup+650.244 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26420
Raw data (stat): 26363 (bsolo_mis) R 26362 7876 7672 0 -1 0 101835 0 0 0 64829 198 0 0 25 0 1 0 828942062 421318656 101726 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 102861 101726 1111 63 0 102798 0
vsize: 411444
[startup+660.244 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26420
Raw data (stat): 26363 (bsolo_mis) R 26362 7876 7672 0 -1 0 101898 0 0 0 65829 198 0 0 25 0 1 0 828942062 421588992 101789 4294967295 134512640 134714540 3221221776 3221220580 134622157 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 102927 101789 1111 63 0 102864 0
vsize: 411708
[startup+670.245 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26420
Raw data (stat): 26363 (bsolo_mis) R 26362 7876 7672 0 -1 0 101956 0 0 0 66830 198 0 0 25 0 1 0 828942062 421859328 101847 4294967295 134512640 134714540 3221221776 3221220512 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 102993 101847 1111 63 0 102930 0
vsize: 411972
[startup+680.245 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26420
Raw data (stat): 26363 (bsolo_mis) R 26362 7876 7672 0 -1 0 102009 0 0 0 67830 198 0 0 25 0 1 0 828942062 421994496 101900 4294967295 134512640 134714540 3221221776 3221220568 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 103026 101900 1111 63 0 102963 0
vsize: 412104
[startup+690.246 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26420
Raw data (stat): 26363 (bsolo_mis) R 26362 7876 7672 0 -1 0 102066 0 0 0 68830 198 0 0 25 0 1 0 828942062 422264832 101957 4294967295 134512640 134714540 3221221776 3221220580 134622157 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 103092 101957 1111 63 0 103029 0
vsize: 412368
[startup+700.247 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26420
Raw data (stat): 26363 (bsolo_mis) R 26362 7876 7672 0 -1 0 102152 0 0 0 69830 199 0 0 25 0 1 0 828942062 422670336 102043 4294967295 134512640 134714540 3221221776 3221220592 134622124 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 103191 102043 1111 63 0 103128 0
vsize: 412764
[startup+710.247 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26420
Raw data (stat): 26363 (bsolo_mis) R 26362 7876 7672 0 -1 0 102217 0 0 0 70829 199 0 0 25 0 1 0 828942062 422940672 102108 4294967295 134512640 134714540 3221221776 3221220592 134611099 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 103257 102108 1111 63 0 103194 0
vsize: 413028
[startup+720.247 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26420
Raw data (stat): 26363 (bsolo_mis) R 26362 7876 7672 0 -1 0 102273 0 0 0 71829 199 0 0 25 0 1 0 828942062 423075840 102164 4294967295 134512640 134714540 3221221776 3221220568 134543191 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 103290 102164 1111 63 0 103227 0
vsize: 413160
[startup+730.247 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26420
Raw data (stat): 26363 (bsolo_mis) R 26362 7876 7672 0 -1 0 102330 0 0 0 72829 199 0 0 25 0 1 0 828942062 423346176 102221 4294967295 134512640 134714540 3221221776 3221220548 134624885 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 103356 102221 1111 63 0 103293 0
vsize: 413424
[startup+740.248 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26420
Raw data (stat): 26363 (bsolo_mis) R 26362 7876 7672 0 -1 0 102384 0 0 0 73829 199 0 0 25 0 1 0 828942062 423616512 102275 4294967295 134512640 134714540 3221221776 3221220592 134611091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 103422 102275 1111 63 0 103359 0
vsize: 413688
[startup+750.247 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26420
Raw data (stat): 26363 (bsolo_mis) R 26362 7876 7672 0 -1 0 102441 0 0 0 74830 199 0 0 25 0 1 0 828942062 423751680 102332 4294967295 134512640 134714540 3221221776 3221220624 134623453 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 103455 102332 1111 63 0 103392 0
vsize: 413820
[startup+760.248 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26420
Raw data (stat): 26363 (bsolo_mis) R 26362 7876 7672 0 -1 0 102500 0 0 0 75829 200 0 0 25 0 1 0 828942062 424022016 102391 4294967295 134512640 134714540 3221221776 3221220488 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 103521 102391 1111 63 0 103458 0
vsize: 414084
[startup+770.248 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26420
Raw data (stat): 26363 (bsolo_mis) R 26362 7876 7672 0 -1 0 102556 0 0 0 76829 200 0 0 25 0 1 0 828942062 424292352 102447 4294967295 134512640 134714540 3221221776 3221220492 134558476 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 103587 102447 1111 63 0 103524 0
vsize: 414348
[startup+780.248 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26420
Raw data (stat): 26363 (bsolo_mis) R 26362 7876 7672 0 -1 0 102621 0 0 0 77829 200 0 0 25 0 1 0 828942062 424562688 102512 4294967295 134512640 134714540 3221221776 3221220592 134622115 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 103653 102512 1111 63 0 103590 0
vsize: 414612
[startup+790.249 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26420
Raw data (stat): 26363 (bsolo_mis) R 26362 7876 7672 0 -1 0 102722 0 0 0 78829 200 0 0 25 0 1 0 828942062 424972288 102613 4294967295 134512640 134714540 3221221776 3221220592 134611091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 103753 102613 1111 63 0 103690 0
vsize: 415012
[startup+800.25 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26420
Raw data (stat): 26363 (bsolo_mis) R 26362 7876 7672 0 -1 0 102779 0 0 0 79830 200 0 0 25 0 1 0 828942062 425242624 102670 4294967295 134512640 134714540 3221221776 3221220592 134622115 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 103819 102670 1111 63 0 103756 0
vsize: 415276
[startup+810.25 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26420
Raw data (stat): 26363 (bsolo_mis) R 26362 7876 7672 0 -1 0 102834 0 0 0 80830 201 0 0 25 0 1 0 828942062 425377792 102725 4294967295 134512640 134714540 3221221776 3221220564 134558543 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 103852 102725 1111 63 0 103789 0
vsize: 415408
[startup+820.25 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26420
Raw data (stat): 26363 (bsolo_mis) R 26362 7876 7672 0 -1 0 102893 0 0 0 81829 201 0 0 25 0 1 0 828942062 425648128 102784 4294967295 134512640 134714540 3221221776 3221220568 134543165 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 103918 102784 1111 63 0 103855 0
vsize: 415672
[startup+830.251 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26420
Raw data (stat): 26363 (bsolo_mis) R 26362 7876 7672 0 -1 0 102946 0 0 0 82830 201 0 0 25 0 1 0 828942062 425918464 102837 4294967295 134512640 134714540 3221221776 3221220592 134622115 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 103984 102837 1111 63 0 103921 0
vsize: 415936
[startup+840.252 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26420
Raw data (stat): 26363 (bsolo_mis) R 26362 7876 7672 0 -1 0 103001 0 0 0 83830 201 0 0 25 0 1 0 828942062 426053632 102892 4294967295 134512640 134714540 3221221776 3221220568 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 104017 102892 1111 63 0 103954 0
vsize: 416068
[startup+850.252 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26420
Raw data (stat): 26363 (bsolo_mis) R 26362 7876 7672 0 -1 0 103054 0 0 0 84830 201 0 0 25 0 1 0 828942062 426323968 102945 4294967295 134512640 134714540 3221221776 3221220592 134611379 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 104083 102945 1111 63 0 104020 0
vsize: 416332
[startup+860.252 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26420
Raw data (stat): 26363 (bsolo_mis) R 26362 7876 7672 0 -1 0 103108 0 0 0 85830 202 0 0 25 0 1 0 828942062 426594304 102999 4294967295 134512640 134714540 3221221776 3221220512 134695297 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 104149 102999 1111 63 0 104086 0
vsize: 416596
[startup+870.253 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26420
Raw data (stat): 26363 (bsolo_mis) R 26362 7876 7672 0 -1 0 103168 0 0 0 86830 202 0 0 25 0 1 0 828942062 426864640 103059 4294967295 134512640 134714540 3221221776 3221220592 134622115 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 104215 103059 1111 63 0 104152 0
vsize: 416860
[startup+880.253 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26420
Raw data (stat): 26363 (bsolo_mis) R 26362 7876 7672 0 -1 0 103223 0 0 0 87830 202 0 0 25 0 1 0 828942062 426999808 103114 4294967295 134512640 134714540 3221221776 3221220592 134610948 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 104248 103114 1111 63 0 104185 0
vsize: 416992
[startup+890.254 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26420
Raw data (stat): 26363 (bsolo_mis) R 26362 7876 7672 0 -1 0 103277 0 0 0 88830 202 0 0 25 0 1 0 828942062 427270144 103168 4294967295 134512640 134714540 3221221776 3221220580 134622157 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 104314 103168 1111 63 0 104251 0
vsize: 417256
[startup+900.255 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26420
Raw data (stat): 26363 (bsolo_mis) R 26362 7876 7672 0 -1 0 103333 0 0 0 89830 202 0 0 25 0 1 0 828942062 427540480 103224 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 104380 103224 1111 63 0 104317 0
vsize: 417520
[startup+910.254 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26420
Raw data (stat): 26363 (bsolo_mis) R 26362 7876 7672 0 -1 0 103388 0 0 0 90830 202 0 0 25 0 1 0 828942062 427675648 103279 4294967295 134512640 134714540 3221221776 3221220344 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 104413 103279 1111 63 0 104350 0
vsize: 417652
[startup+920.254 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26420
Raw data (stat): 26363 (bsolo_mis) R 26362 7876 7672 0 -1 0 103445 0 0 0 91830 203 0 0 25 0 1 0 828942062 427945984 103336 4294967295 134512640 134714540 3221221776 3221220580 134611395 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 104479 103336 1111 63 0 104416 0
vsize: 417916
[startup+930.254 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26420
Raw data (stat): 26363 (bsolo_mis) R 26362 7876 7672 0 -1 0 103505 0 0 0 92830 203 0 0 25 0 1 0 828942062 428216320 103396 4294967295 134512640 134714540 3221221776 3221220576 134622163 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 104545 103396 1111 63 0 104482 0
vsize: 418180
[startup+940.255 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26420
Raw data (stat): 26363 (bsolo_mis) R 26362 7876 7672 0 -1 0 103566 0 0 0 93830 203 0 0 25 0 1 0 828942062 428486656 103457 4294967295 134512640 134714540 3221221776 3221220592 134622128 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 104611 103457 1111 63 0 104548 0
vsize: 418444
[startup+950.255 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26420
Raw data (stat): 26363 (bsolo_mis) R 26362 7876 7672 0 -1 0 103675 0 0 0 94830 203 0 0 25 0 1 0 828942062 428920832 103566 4294967295 134512640 134714540 3221221776 3221220464 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 104717 103566 1111 63 0 104654 0
vsize: 418868
[startup+960.255 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26420
Raw data (stat): 26363 (bsolo_mis) R 26362 7876 7672 0 -1 0 103769 0 0 0 95829 204 0 0 25 0 1 0 828942062 429334528 103657 4294967295 134512640 134714540 3221221776 3221220672 134621515 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 104818 103657 1111 63 0 104755 0
vsize: 419272
[startup+970.256 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26420
Raw data (stat): 26363 (bsolo_mis) R 26362 7876 7672 0 -1 0 103839 0 0 0 96829 204 0 0 25 0 1 0 828942062 429621248 103726 4294967295 134512640 134714540 3221221776 3221220592 134622115 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 104888 103726 1111 63 0 104825 0
vsize: 419552
[startup+980.256 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26420
Raw data (stat): 26363 (bsolo_mis) R 26362 7876 7672 0 -1 0 103898 0 0 0 97829 204 0 0 25 0 1 0 828942062 429899776 103785 4294967295 134512640 134714540 3221221776 3221220476 134558630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 104956 103785 1111 63 0 104893 0
vsize: 419824
[startup+990.257 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26420
Raw data (stat): 26363 (bsolo_mis) R 26362 7876 7672 0 -1 0 103963 0 0 0 98829 204 0 0 25 0 1 0 828942062 430170112 103850 4294967295 134512640 134714540 3221221776 3221220580 134622157 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 105022 103850 1111 63 0 104959 0
vsize: 420088
[startup+1000.26 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26420
Raw data (stat): 26363 (bsolo_mis) R 26362 7876 7672 0 -1 0 104016 0 0 0 99830 204 0 0 25 0 1 0 828942062 430440448 103903 4294967295 134512640 134714540 3221221776 3221220336 134543030 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 105088 103903 1111 63 0 105025 0
vsize: 420352
[startup+1010.26 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26420
Raw data (stat): 26363 (bsolo_mis) R 26362 7876 7672 0 -1 0 104075 0 0 0 100829 205 0 0 25 0 1 0 828942062 430710784 103962 4294967295 134512640 134714540 3221221776 3221220672 134621520 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 105154 103962 1111 63 0 105091 0
vsize: 420616
[startup+1020.26 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26420
Raw data (stat): 26363 (bsolo_mis) R 26362 7876 7672 0 -1 0 104128 0 0 0 101830 205 0 0 25 0 1 0 828942062 430845952 104015 4294967295 134512640 134714540 3221221776 3221220496 134556927 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 105187 104015 1111 63 0 105124 0
vsize: 420748
[startup+1030.26 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26420
Raw data (stat): 26363 (bsolo_mis) R 26362 7876 7672 0 -1 0 104188 0 0 0 102829 205 0 0 25 0 1 0 828942062 431116288 104075 4294967295 134512640 134714540 3221221776 3221220648 134543600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 105253 104075 1111 63 0 105190 0
vsize: 421012
[startup+1040.26 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26420
Raw data (stat): 26363 (bsolo_mis) R 26362 7876 7672 0 -1 0 104253 0 0 0 103829 206 0 0 25 0 1 0 828942062 431403008 104139 4294967295 134512640 134714540 3221221776 3221220588 134622150 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 105323 104139 1111 63 0 105260 0
vsize: 421292
[startup+1050.26 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26420
Raw data (stat): 26363 (bsolo_mis) R 26362 7876 7672 0 -1 0 104313 0 0 0 104829 206 0 0 25 0 1 0 828942062 431677440 104199 4294967295 134512640 134714540 3221221776 3221220624 134623464 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 105390 104199 1111 63 0 105327 0
vsize: 421560
[startup+1060.26 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26420
Raw data (stat): 26363 (bsolo_mis) R 26362 7876 7672 0 -1 0 104379 0 0 0 105829 206 0 0 25 0 1 0 828942062 431947776 104265 4294967295 134512640 134714540 3221221776 3221220592 134622115 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 105456 104265 1111 63 0 105393 0
vsize: 421824
[startup+1070.26 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26420
Raw data (stat): 26363 (bsolo_mis) R 26362 7876 7672 0 -1 0 104450 0 0 0 106829 206 0 0 25 0 1 0 828942062 432082944 104336 4294967295 134512640 134714540 3221221776 3221220672 134621515 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 105489 104336 1111 63 0 105426 0
vsize: 421956
[startup+1080.26 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26420
Raw data (stat): 26363 (bsolo_mis) R 26362 7876 7672 0 -1 0 104511 0 0 0 107829 207 0 0 25 0 1 0 828942062 432353280 104397 4294967295 134512640 134714540 3221221776 3221220548 134624473 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 105555 104397 1111 63 0 105492 0
vsize: 422220
[startup+1090.26 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26420
Raw data (stat): 26363 (bsolo_mis) R 26362 7876 7672 0 -1 0 104572 0 0 0 108829 207 0 0 25 0 1 0 828942062 432623616 104458 4294967295 134512640 134714540 3221221776 3221220572 134558496 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 105621 104458 1111 63 0 105558 0
vsize: 422484
[startup+1100.26 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26420
Raw data (stat): 26363 (bsolo_mis) R 26362 7876 7672 0 -1 0 104643 0 0 0 109829 207 0 0 25 0 1 0 828942062 432893952 104529 4294967295 134512640 134714540 3221221776 3221220592 134622115 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 105687 104529 1111 63 0 105624 0
vsize: 422748
[startup+1110.26 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26420
Raw data (stat): 26363 (bsolo_mis) R 26362 7876 7672 0 -1 0 104713 0 0 0 110829 207 0 0 25 0 1 0 828942062 433164288 104599 4294967295 134512640 134714540 3221221776 3221220512 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 105753 104599 1111 63 0 105690 0
vsize: 423012
[startup+1120.26 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26420
Raw data (stat): 26363 (bsolo_mis) R 26362 7876 7672 0 -1 0 104782 0 0 0 111828 208 0 0 25 0 1 0 828942062 433569792 104668 4294967295 134512640 134714540 3221221776 3221220648 134536921 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 105852 104668 1111 63 0 105789 0
vsize: 423408
[startup+1130.26 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26420
Raw data (stat): 26363 (bsolo_mis) R 26362 7876 7672 0 -1 0 104850 0 0 0 112829 208 0 0 25 0 1 0 828942062 433840128 104736 4294967295 134512640 134714540 3221221776 3221220488 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 105918 104736 1111 63 0 105855 0
vsize: 423672
[startup+1140.26 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26420
Raw data (stat): 26363 (bsolo_mis) R 26362 7876 7672 0 -1 0 104915 0 0 0 113828 208 0 0 25 0 1 0 828942062 434110464 104801 4294967295 134512640 134714540 3221221776 3221220592 134622115 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 105984 104801 1111 63 0 105921 0
vsize: 423936
[startup+1150.26 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26420
Raw data (stat): 26363 (bsolo_mis) R 26362 7876 7672 0 -1 0 104994 0 0 0 114829 208 0 0 25 0 1 0 828942062 434397184 104880 4294967295 134512640 134714540 3221221776 3221220672 134621515 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 106054 104880 1111 63 0 105991 0
vsize: 424216
[startup+1160.26 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26420
Raw data (stat): 26363 (bsolo_mis) R 26362 7876 7672 0 -1 0 105074 0 0 0 115829 208 0 0 25 0 1 0 828942062 434667520 104960 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 106120 104960 1111 63 0 106057 0
vsize: 424480
[startup+1170.26 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 26420
Raw data (stat): 26363 (bsolo_mis) R 26362 7876 7672 0 -1 0 105139 0 0 0 116829 208 0 0 25 0 1 0 828942062 434937856 105025 4294967295 134512640 134714540 3221221776 3221220624 134623464 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 106186 105025 1111 63 0 106123 0
vsize: 424744
[startup+1175.15 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 26420
Raw data (stat): 26363 (bsolo_mis) R 26362 7876 7672 0 -1 0 105139 0 0 0 116829 208 0 0 25 0 1 0 828942062 434937856 105025 4294967295 134512640 134714540 3221221776 3221220624 134623464 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 106186 105025 1111 63 0 106123 0
vsize: 0

Child status: 0
Real time (s): 1175.15
CPU time (s): 1175.27
CPU user time (s): 1172.98
CPU system time (s): 2.28365
CPU usage (%): 100.01
Max. virtual memory (Kb): 424744
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####