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.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-5.opb
MD5SUM	00a81d808a7a59d6e11f17e19e68d826
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-30
Optimality of the best value was proved	NO
Number of terms in the objective function	450
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	450
Number of bits of the sum of numbers in the objective function	9
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	450
Number of bits of the biggest sum of numbers	9
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.04884
Number of variables	450
Total number of constraints	17794
Number of constraints which are clauses	17794
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	2
Trace number 24729

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-12 05:14:42 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2856 boxname=wulflinc31 idbench=318 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  00a81d808a7a59d6e11f17e19e68d826  /oldhome/oroussel/tmp/wulflinc31/normalized-frb30-15-5.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-frb30-15-5.opb
IDLAUNCH: 2856
/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:        897108 kB
Buffers:         29416 kB
Cached:          86832 kB
SwapCached:       1936 kB
Active:          73216 kB
Inactive:        46232 kB
HighTotal:      131008 kB
HighFree:        43316 kB
LowTotal:       903652 kB
LowFree:        853792 kB
SwapTotal:     2097892 kB
SwapFree:      2095224 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5352 kB
Slab:            12476 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-12 05:34:18 (client local time) WITH STATUS 10 IN 1175.04 SECONDS
stats: 2856 0 1175.04 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 450 variables and 17794 constraints.
c After prepocess the problem consists of 450 variables and 10929 constraints.
c preprocess terminated 55.649 s
c Initial Lower Bound: -228
c Lower Bound Elapsed time: 0
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: -2 @ 55.83
c NEW SOLUTION FOUND: -3 @ 55.84
c NEW SOLUTION FOUND: -4 @ 55.852
c NEW SOLUTION FOUND: -5 @ 55.883
c NEW SOLUTION FOUND: -6 @ 55.951
c NEW SOLUTION FOUND: -7 @ 56.047
c NEW SOLUTION FOUND: -8 @ 56.111
c NEW SOLUTION FOUND: -9 @ 57.54
c NEW SOLUTION FOUND: -10 @ 59.589
c NEW SOLUTION FOUND: -11 @ 63.718
c NEW SOLUTION FOUND: -12 @ 73.752
c NEW SOLUTION FOUND: -13 @ 139.344
c NEW SOLUTION FOUND: -14 @ 162.272
c NEW SOLUTION FOUND: -15 @ 340.476
c NEW SOLUTION FOUND: -16 @ 396.473
s SATISFIABLE
v -C450 -C449 -C448 -C447 -C446 -C445 -C444 -C443 -C442 -C441 -C440 -C439 -C438 -C437 -C436 -C435 -C434 -C433 -C432 -C431 -C430 -C429 -C428 -C427 -C426 -C425 -C424 -C423 -C422 -C421 -C420 -C419 -C418 -C417 -C416 -C415 -C414 -C413 -C412 -C411 -C410 -C409 -C408 -C407 -C406 -C405 -C404 -C403 -C402 -C401 -C400 -C399 -C398 -C397 -C396 -C395 -C394 -C393 -C392 -C391 -C390 -C389 -C388 -C387 -C386 -C385 -C384 -C383 -C382 -C381 -C380 C379 -C378 -C377 -C376 -C375 -C374 -C373 -C372 -C371 -C370 -C369 -C368 -C367 -C366 -C365 -C364 -C363 -C362 -C361 -C360 -C359 -C358 -C357 -C356 -C355 -C354 -C353 -C352 -C351 -C350 -C349 -C348 -C347 -C346 -C345 -C344 -C343 -C342 -C341 -C340 -C339 -C338 -C337 C336 -C335 -C334 -C333 -C332 -C331 -C330 -C329 -C328 -C327 -C326 -C325 -C324 -C323 -C322 -C321 -C320 -C319 -C318 -C317 -C316 -C315 -C314 -C313 -C312 -C311 -C310 -C309 -C308 -C307 -C306 -C305 -C304 -C303 -C302 -C301 -C300 -C299 -C298 -C297 -C296 -C295 -C294 -C293 -C292 -C291 -C290 -C289 -C288 -C287 -C286 -C285 -C284 -C283 -C282 -C281 -C280 -C279 C278 -C277 -C276 -C275 -C274 -C273 -C272 -C271 -C270 -C269 -C268 -C267 -C266 -C265 C264 -C263 -C262 -C261 -C260 -C259 -C258 -C257 -C256 -C255 -C254 -C253 -C252 -C251 -C250 -C249 -C248 -C247 -C246 -C245 -C244 -C243 C242 -C241 C240 -C239 -C238 -C237 -C236 -C235 -C234 -C233 -C232 -C231 -C230 -C229 -C228 -C227 -C226 -C225 -C224 -C223 -C222 -C221 -C220 -C219 -C218 C217 -C216 -C215 -C214 -C213 -C212 -C211 -C210 -C209 -C208 -C207 -C206 -C205 -C204 -C203 -C202 -C201 -C200 -C199 -C198 -C197 -C196 -C195 -C194 -C193 -C192 -C191 -C190 -C189 -C188 -C187 -C186 -C185 -C184 -C183 -C182 -C181 -C180 -C179 -C178 -C177 -C176 -C175 -C174 -C173 C172 -C171 -C170 -C169 -C168 -C167 -C166 -C165 -C164 -C163 -C162 -C161 -C160 C159 -C158 -C157 -C156 -C155 -C154 -C153 -C152 -C151 -C150 -C149 -C148 -C147 -C146 -C145 -C144 -C143 -C142 -C141 -C140 -C139 -C138 -C137 -C136 -C135 -C134 -C133 -C132 -C131 -C130 -C129 -C128 -C127 -C126 -C125 -C124 -C123 -C122 -C121 C120 -C119 -C118 -C117 -C116 -C115 -C114 -C113 -C112 -C111 -C110 -C109 -C108 -C107 -C106 -C105 -C104 -C103 -C102 C101 -C100 -C99 -C98 -C97 -C96 -C95 -C94 -C93 -C92 -C91 -C90 -C89 -C88 -C87 -C86 -C85 -C84 -C83 -C82 -C81 -C80 -C79 -C78 -C77 C76 -C75 -C74 -C73 -C72 C71 -C70 -C69 -C68 -C67 -C66 -C65 -C64 -C63 -C62 -C61 -C60 -C59 -C58 -C57 -C56 -C55 -C54 -C53 -C52 -C51 -C50 -C49 -C48 -C47 -C46 -C45 -C44 -C43 -C42 C41 -C40 -C39 -C38 -C37 -C36 -C35 -C34 -C33 -C32 -C31 -C30 -C29 -C28 -C27 -C26 -C25 -C24 -C23 C22 -C21 -C20 -C19 -C18 -C17 -C16 -C15 -C14 -C13 C12 -C11 -C10 -C9 -C8 -C7 -C6 -C5 -C4 -C3 -C2 -C1 
c Exit Code: 10
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.92 0.98 0.99 2/55 6691
Raw data (stat): 6691 (runsolver) R 6690 7876 7672 0 -1 64 0 0 0 0 0 0 0 0 19 0 1 0 723925251 1056768 98 4294967295 134512640 135381576 3221221696 3221217124 135011389 0 0 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 98 215 215 0 43 0
vsize: 1032
[startup+9.99982 s]
Raw data (loadavg): 0.93 0.98 0.99 2/55 6691
Raw data (stat): 6691 (bsolo_mis) R 6690 7876 7672 0 -1 0 6264 0 0 0 980 17 0 0 25 0 1 0 723925251 28987392 6142 4294967295 134512640 134714540 3221221792 3221220408 134543796 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6142 1111 63 0 7014 0
vsize: 28308
[startup+20.0009 s]
Raw data (loadavg): 0.94 0.98 0.99 2/55 6691
Raw data (stat): 6691 (bsolo_mis) R 6690 7876 7672 0 -1 0 6264 0 0 0 1980 17 0 0 25 0 1 0 723925251 28987392 6142 4294967295 134512640 134714540 3221221792 3221220372 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6142 1111 63 0 7014 0
vsize: 28308
[startup+30.0005 s]
Raw data (loadavg): 0.95 0.98 0.99 2/55 6691
Raw data (stat): 6691 (bsolo_mis) R 6690 7876 7672 0 -1 0 6264 0 0 0 2980 17 0 0 25 0 1 0 723925251 28987392 6142 4294967295 134512640 134714540 3221221792 3221220208 134543756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6142 1111 63 0 7014 0
vsize: 28308
[startup+40.0005 s]
Raw data (loadavg): 0.96 0.98 0.99 2/55 6691
Raw data (stat): 6691 (bsolo_mis) R 6690 7876 7672 0 -1 0 6264 0 0 0 3980 17 0 0 25 0 1 0 723925251 28987392 6142 4294967295 134512640 134714540 3221221792 3221220368 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6142 1111 63 0 7014 0
vsize: 28308
[startup+50.0007 s]
Raw data (loadavg): 0.96 0.98 0.99 2/55 6691
Raw data (stat): 6691 (bsolo_mis) R 6690 7876 7672 0 -1 0 6264 0 0 0 4980 17 0 0 25 0 1 0 723925251 28987392 6142 4294967295 134512640 134714540 3221221792 3221220408 134543804 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6142 1111 63 0 7014 0
vsize: 28308
[startup+60.0005 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 6691
Raw data (stat): 6691 (bsolo_mis) R 6690 7876 7672 0 -1 0 6280 0 0 0 5979 18 0 0 25 0 1 0 723925251 28987392 6158 4294967295 134512640 134714540 3221221792 3221220512 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7077 6158 1111 63 0 7014 0
vsize: 28308
[startup+70.0012 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 6691
Raw data (stat): 6691 (bsolo_mis) R 6690 7876 7672 0 -1 0 6280 0 0 0 6978 19 0 0 25 0 1 0 723925251 28987392 6158 4294967295 134512640 134714540 3221221792 3221220172 1077379913 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6158 1111 63 0 7014 0
vsize: 28308
[startup+80.0014 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 6691
Raw data (stat): 6691 (bsolo_mis) R 6690 7876 7672 0 -1 0 6280 0 0 0 7976 21 0 0 25 0 1 0 723925251 28987392 6158 4294967295 134512640 134714540 3221221792 3221220432 134539362 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6158 1111 63 0 7014 0
vsize: 28308
[startup+90.0021 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 6691
Raw data (stat): 6691 (bsolo_mis) R 6690 7876 7672 0 -1 0 6280 0 0 0 8974 22 0 0 25 0 1 0 723925251 28987392 6158 4294967295 134512640 134714540 3221221792 3221220536 134558582 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6158 1111 63 0 7014 0
vsize: 28308
[startup+100.002 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 6691
Raw data (stat): 6691 (bsolo_mis) R 6690 7876 7672 0 -1 0 6280 0 0 0 9974 23 0 0 25 0 1 0 723925251 28987392 6158 4294967295 134512640 134714540 3221221792 3221220480 134558501 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6158 1111 63 0 7014 0
vsize: 28308
[startup+110.002 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 6691
Raw data (stat): 6691 (bsolo_mis) R 6690 7876 7672 0 -1 0 6280 0 0 0 10972 25 0 0 25 0 1 0 723925251 28987392 6158 4294967295 134512640 134714540 3221221792 3221220412 134613400 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6158 1111 63 0 7014 0
vsize: 28308
[startup+120.003 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6691
Raw data (stat): 6691 (bsolo_mis) R 6690 7876 7672 0 -1 0 6280 0 0 0 11971 26 0 0 25 0 1 0 723925251 28987392 6158 4294967295 134512640 134714540 3221221792 3221220488 134551621 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6158 1111 63 0 7014 0
vsize: 28308
[startup+130.003 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6691
Raw data (stat): 6691 (bsolo_mis) R 6690 7876 7672 0 -1 0 6280 0 0 0 12969 28 0 0 25 0 1 0 723925251 28987392 6158 4294967295 134512640 134714540 3221221792 3221220388 1077374152 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6158 1111 63 0 7014 0
vsize: 28308
[startup+140.003 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6691
Raw data (stat): 6691 (bsolo_mis) R 6690 7876 7672 0 -1 0 6280 0 0 0 13968 30 0 0 25 0 1 0 723925251 28987392 6158 4294967295 134512640 134714540 3221221792 3221220416 1076647581 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6158 1111 63 0 7014 0
vsize: 28308
[startup+150.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6691
Raw data (stat): 6691 (bsolo_mis) R 6690 7876 7672 0 -1 0 6280 0 0 0 14967 31 0 0 25 0 1 0 723925251 28987392 6158 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6158 1111 63 0 7014 0
vsize: 28308
[startup+160.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6691
Raw data (stat): 6691 (bsolo_mis) R 6690 7876 7672 0 -1 0 6280 0 0 0 15966 32 0 0 25 0 1 0 723925251 28987392 6158 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6158 1111 63 0 7014 0
vsize: 28308
[startup+170.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6691
Raw data (stat): 6691 (bsolo_mis) R 6690 7876 7672 0 -1 0 6280 0 0 0 16964 33 0 0 25 0 1 0 723925251 28987392 6158 4294967295 134512640 134714540 3221221792 3221220440 134552650 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6158 1111 63 0 7014 0
vsize: 28308
[startup+180.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6691
Raw data (stat): 6691 (bsolo_mis) R 6690 7876 7672 0 -1 0 6280 0 0 0 17963 35 0 0 25 0 1 0 723925251 28987392 6158 4294967295 134512640 134714540 3221221792 3221220308 134552069 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6158 1111 63 0 7014 0
vsize: 28308
[startup+190.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6691
Raw data (stat): 6691 (bsolo_mis) R 6690 7876 7672 0 -1 0 6280 0 0 0 18963 35 0 0 25 0 1 0 723925251 28987392 6158 4294967295 134512640 134714540 3221221792 3221220336 134543740 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6158 1111 63 0 7014 0
vsize: 28308
[startup+200.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6691
Raw data (stat): 6691 (bsolo_mis) R 6690 7876 7672 0 -1 0 6280 0 0 0 19962 36 0 0 25 0 1 0 723925251 28987392 6158 4294967295 134512640 134714540 3221221792 3221220584 134588033 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6158 1111 63 0 7014 0
vsize: 28308
[startup+210.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6691
Raw data (stat): 6691 (bsolo_mis) R 6690 7876 7672 0 -1 0 6280 0 0 0 20961 38 0 0 25 0 1 0 723925251 28987392 6158 4294967295 134512640 134714540 3221221792 3221220380 134552672 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6158 1111 63 0 7014 0
vsize: 28308
[startup+220.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6691
Raw data (stat): 6691 (bsolo_mis) R 6690 7876 7672 0 -1 0 6280 0 0 0 21960 39 0 0 25 0 1 0 723925251 28987392 6158 4294967295 134512640 134714540 3221221792 3221220496 134591920 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6158 1111 63 0 7014 0
vsize: 28308
[startup+230.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6691
Raw data (stat): 6691 (bsolo_mis) R 6690 7876 7672 0 -1 0 6280 0 0 0 22959 40 0 0 25 0 1 0 723925251 28987392 6158 4294967295 134512640 134714540 3221221792 3221220480 134558542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6158 1111 63 0 7014 0
vsize: 28308
[startup+240.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6691
Raw data (stat): 6691 (bsolo_mis) R 6690 7876 7672 0 -1 0 6280 0 0 0 23958 41 0 0 25 0 1 0 723925251 28987392 6158 4294967295 134512640 134714540 3221221792 3221220488 134551617 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6158 1111 63 0 7014 0
vsize: 28308
[startup+250.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6691
Raw data (stat): 6691 (bsolo_mis) R 6690 7876 7672 0 -1 0 6280 0 0 0 24957 43 0 0 25 0 1 0 723925251 28987392 6158 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6158 1111 63 0 7014 0
vsize: 28308
[startup+260.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6691
Raw data (stat): 6691 (bsolo_mis) R 6690 7876 7672 0 -1 0 6280 0 0 0 25956 44 0 0 25 0 1 0 723925251 28987392 6158 4294967295 134512640 134714540 3221221792 3221220332 134551980 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6158 1111 63 0 7014 0
vsize: 28308
[startup+270.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6691
Raw data (stat): 6691 (bsolo_mis) R 6690 7876 7672 0 -1 0 6280 0 0 0 26955 45 0 0 25 0 1 0 723925251 28987392 6158 4294967295 134512640 134714540 3221221792 3221220608 134610813 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6158 1111 63 0 7014 0
vsize: 28308
[startup+280.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6691
Raw data (stat): 6691 (bsolo_mis) R 6690 7876 7672 0 -1 0 6280 0 0 0 27954 46 0 0 25 0 1 0 723925251 28987392 6158 4294967295 134512640 134714540 3221221792 3221220420 1077374580 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6158 1111 63 0 7014 0
vsize: 28308
[startup+290.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6691
Raw data (stat): 6691 (bsolo_mis) R 6690 7876 7672 0 -1 0 6280 0 0 0 28953 46 0 0 25 0 1 0 723925251 28987392 6158 4294967295 134512640 134714540 3221221792 3221220360 134548551 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6158 1111 63 0 7014 0
vsize: 28308
[startup+300.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6691
Raw data (stat): 6691 (bsolo_mis) R 6690 7876 7672 0 -1 0 6280 0 0 0 29953 47 0 0 25 0 1 0 723925251 28987392 6158 4294967295 134512640 134714540 3221221792 3221220172 1077379843 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6158 1111 63 0 7014 0
vsize: 28308
[startup+310.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6691
Raw data (stat): 6691 (bsolo_mis) R 6690 7876 7672 0 -1 0 6280 0 0 0 30952 48 0 0 25 0 1 0 723925251 28987392 6158 4294967295 134512640 134714540 3221221792 3221220488 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6158 1111 63 0 7014 0
vsize: 28308
[startup+320.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6691
Raw data (stat): 6691 (bsolo_mis) R 6690 7876 7672 0 -1 0 6280 0 0 0 31951 49 0 0 25 0 1 0 723925251 28987392 6158 4294967295 134512640 134714540 3221221792 3221220352 134549313 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6158 1111 63 0 7014 0
vsize: 28308
[startup+330.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6691
Raw data (stat): 6691 (bsolo_mis) R 6690 7876 7672 0 -1 0 6280 0 0 0 32950 50 0 0 25 0 1 0 723925251 28987392 6158 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6158 1111 63 0 7014 0
vsize: 28308
[startup+340.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6691
Raw data (stat): 6691 (bsolo_mis) R 6690 7876 7672 0 -1 0 6280 0 0 0 33949 52 0 0 25 0 1 0 723925251 28987392 6158 4294967295 134512640 134714540 3221221792 3221220536 134558582 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6158 1111 63 0 7014 0
vsize: 28308
[startup+350.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6691
Raw data (stat): 6691 (bsolo_mis) R 6690 7876 7672 0 -1 0 6280 0 0 0 34947 54 0 0 25 0 1 0 723925251 28987392 6158 4294967295 134512640 134714540 3221221792 3221220536 134587990 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7077 6158 1111 63 0 7014 0
vsize: 28308
[startup+360.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6691
Raw data (stat): 6691 (bsolo_mis) R 6690 7876 7672 0 -1 0 6280 0 0 0 35945 55 0 0 25 0 1 0 723925251 28987392 6158 4294967295 134512640 134714540 3221221792 3221220384 134613442 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6158 1111 63 0 7014 0
vsize: 28308
[startup+370.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6691
Raw data (stat): 6691 (bsolo_mis) R 6690 7876 7672 0 -1 0 6280 0 0 0 36944 56 0 0 25 0 1 0 723925251 28987392 6158 4294967295 134512640 134714540 3221221792 3221220416 134594364 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6158 1111 63 0 7014 0
vsize: 28308
[startup+380.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6691
Raw data (stat): 6691 (bsolo_mis) R 6690 7876 7672 0 -1 0 6280 0 0 0 37944 56 0 0 25 0 1 0 723925251 28987392 6158 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6158 1111 63 0 7014 0
vsize: 28308
[startup+390.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6691
Raw data (stat): 6691 (bsolo_mis) R 6690 7876 7672 0 -1 0 6280 0 0 0 38942 58 0 0 25 0 1 0 723925251 28987392 6158 4294967295 134512640 134714540 3221221792 3221220172 1077379846 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6158 1111 63 0 7014 0
vsize: 28308
[startup+400.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6691
Raw data (stat): 6691 (bsolo_mis) R 6690 7876 7672 0 -1 0 6280 0 0 0 39942 58 0 0 25 0 1 0 723925251 28987392 6158 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6158 1111 63 0 7014 0
vsize: 28308
[startup+410.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6691
Raw data (stat): 6691 (bsolo_mis) R 6690 7876 7672 0 -1 0 6280 0 0 0 40941 59 0 0 25 0 1 0 723925251 28987392 6158 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6158 1111 63 0 7014 0
vsize: 28308
[startup+420.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6691
Raw data (stat): 6691 (bsolo_mis) R 6690 7876 7672 0 -1 0 6280 0 0 0 41941 60 0 0 25 0 1 0 723925251 28987392 6158 4294967295 134512640 134714540 3221221792 3221220312 1077377353 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6158 1111 63 0 7014 0
vsize: 28308
[startup+430.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6691
Raw data (stat): 6691 (bsolo_mis) R 6690 7876 7672 0 -1 0 6280 0 0 0 42940 61 0 0 25 0 1 0 723925251 28987392 6158 4294967295 134512640 134714540 3221221792 3221220172 1077379908 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6158 1111 63 0 7014 0
vsize: 28308
[startup+440.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6691
Raw data (stat): 6691 (bsolo_mis) R 6690 7876 7672 0 -1 0 6280 0 0 0 43939 62 0 0 25 0 1 0 723925251 28987392 6158 4294967295 134512640 134714540 3221221792 3221220384 134542312 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6158 1111 63 0 7014 0
vsize: 28308
[startup+450.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6691
Raw data (stat): 6691 (bsolo_mis) R 6690 7876 7672 0 -1 0 6280 0 0 0 44938 63 0 0 25 0 1 0 723925251 28987392 6158 4294967295 134512640 134714540 3221221792 3221220384 134613457 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6158 1111 63 0 7014 0
vsize: 28308
[startup+460.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6691
Raw data (stat): 6691 (bsolo_mis) R 6690 7876 7672 0 -1 0 6280 0 0 0 45937 65 0 0 25 0 1 0 723925251 28987392 6158 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6158 1111 63 0 7014 0
vsize: 28308
[startup+470.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6691
Raw data (stat): 6691 (bsolo_mis) R 6690 7876 7672 0 -1 0 6280 0 0 0 46936 66 0 0 25 0 1 0 723925251 28987392 6158 4294967295 134512640 134714540 3221221792 3221220488 134586419 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6158 1111 63 0 7014 0
vsize: 28308
[startup+480.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6691
Raw data (stat): 6691 (bsolo_mis) R 6690 7876 7672 0 -1 0 6280 0 0 0 47935 67 0 0 25 0 1 0 723925251 28987392 6158 4294967295 134512640 134714540 3221221792 3221220324 1077378632 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6158 1111 63 0 7014 0
vsize: 28308
[startup+490.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6691
Raw data (stat): 6691 (bsolo_mis) R 6690 7876 7672 0 -1 0 6280 0 0 0 48934 68 0 0 25 0 1 0 723925251 28987392 6158 4294967295 134512640 134714540 3221221792 3221220420 1077374455 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6158 1111 63 0 7014 0
vsize: 28308
[startup+500.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6691
Raw data (stat): 6691 (bsolo_mis) R 6690 7876 7672 0 -1 0 6280 0 0 0 49934 69 0 0 25 0 1 0 723925251 28987392 6158 4294967295 134512640 134714540 3221221792 3221220420 1077374508 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6158 1111 63 0 7014 0
vsize: 28308
[startup+510.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6691
Raw data (stat): 6691 (bsolo_mis) R 6690 7876 7672 0 -1 0 6280 0 0 0 50932 70 0 0 25 0 1 0 723925251 28987392 6158 4294967295 134512640 134714540 3221221792 3221220320 134549463 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6158 1111 63 0 7014 0
vsize: 28308
[startup+520.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6691
Raw data (stat): 6691 (bsolo_mis) R 6690 7876 7672 0 -1 0 6280 0 0 0 51931 71 0 0 25 0 1 0 723925251 28987392 6158 4294967295 134512640 134714540 3221221792 3221220480 134591824 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6158 1111 63 0 7014 0
vsize: 28308
[startup+530.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6691
Raw data (stat): 6691 (bsolo_mis) R 6690 7876 7672 0 -1 0 6280 0 0 0 52931 72 0 0 25 0 1 0 723925251 28987392 6158 4294967295 134512640 134714540 3221221792 3221220400 1076647576 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6158 1111 63 0 7014 0
vsize: 28308
[startup+540.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6691
Raw data (stat): 6691 (bsolo_mis) R 6690 7876 7672 0 -1 0 6280 0 0 0 53930 73 0 0 25 0 1 0 723925251 28987392 6158 4294967295 134512640 134714540 3221221792 3221220576 134551454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6158 1111 63 0 7014 0
vsize: 28308
[startup+550.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6691
Raw data (stat): 6691 (bsolo_mis) R 6690 7876 7672 0 -1 0 6280 0 0 0 54930 73 0 0 25 0 1 0 723925251 28987392 6158 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6158 1111 63 0 7014 0
vsize: 28308
[startup+560.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6691
Raw data (stat): 6691 (bsolo_mis) R 6690 7876 7672 0 -1 0 6280 0 0 0 55929 74 0 0 25 0 1 0 723925251 28987392 6158 4294967295 134512640 134714540 3221221792 3221220500 134603750 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6158 1111 63 0 7014 0
vsize: 28308
[startup+570.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6691
Raw data (stat): 6691 (bsolo_mis) R 6690 7876 7672 0 -1 0 6280 0 0 0 56928 75 0 0 25 0 1 0 723925251 28987392 6158 4294967295 134512640 134714540 3221221792 3221220568 134543144 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6158 1111 63 0 7014 0
vsize: 28308
[startup+580.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6691
Raw data (stat): 6691 (bsolo_mis) R 6690 7876 7672 0 -1 0 6280 0 0 0 57927 77 0 0 25 0 1 0 723925251 28987392 6158 4294967295 134512640 134714540 3221221792 3221220500 134603750 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6158 1111 63 0 7014 0
vsize: 28308
[startup+590.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6691
Raw data (stat): 6691 (bsolo_mis) R 6690 7876 7672 0 -1 0 6280 0 0 0 58925 78 0 0 25 0 1 0 723925251 28987392 6158 4294967295 134512640 134714540 3221221792 3221220172 1077379908 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6158 1111 63 0 7014 0
vsize: 28308
[startup+600.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6691
Raw data (stat): 6691 (bsolo_mis) R 6690 7876 7672 0 -1 0 6280 0 0 0 59924 80 0 0 25 0 1 0 723925251 28987392 6158 4294967295 134512640 134714540 3221221792 3221220312 1077377413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6158 1111 63 0 7014 0
vsize: 28308
[startup+610.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6691
Raw data (stat): 6691 (bsolo_mis) R 6690 7876 7672 0 -1 0 6280 0 0 0 60923 81 0 0 25 0 1 0 723925251 28987392 6158 4294967295 134512640 134714540 3221221792 3221220368 134543097 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6158 1111 63 0 7014 0
vsize: 28308
[startup+620.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6691
Raw data (stat): 6691 (bsolo_mis) R 6690 7876 7672 0 -1 0 6280 0 0 0 61921 83 0 0 25 0 1 0 723925251 28987392 6158 4294967295 134512640 134714540 3221221792 3221220480 134534159 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6158 1111 63 0 7014 0
vsize: 28308
[startup+630.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6691
Raw data (stat): 6691 (bsolo_mis) R 6690 7876 7672 0 -1 0 6280 0 0 0 62920 84 0 0 25 0 1 0 723925251 28987392 6158 4294967295 134512640 134714540 3221221792 3221220172 1077379843 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6158 1111 63 0 7014 0
vsize: 28308
[startup+640.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6691
Raw data (stat): 6691 (bsolo_mis) R 6690 7876 7672 0 -1 0 6280 0 0 0 63920 85 0 0 25 0 1 0 723925251 28987392 6158 4294967295 134512640 134714540 3221221792 3221220512 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6158 1111 63 0 7014 0
vsize: 28308
[startup+650.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6691
Raw data (stat): 6691 (bsolo_mis) R 6690 7876 7672 0 -1 0 6280 0 0 0 64918 87 0 0 25 0 1 0 723925251 28987392 6158 4294967295 134512640 134714540 3221221792 3221220548 134556757 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6158 1111 63 0 7014 0
vsize: 28308
[startup+660.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6691
Raw data (stat): 6691 (bsolo_mis) R 6690 7876 7672 0 -1 0 6280 0 0 0 65918 87 0 0 25 0 1 0 723925251 28987392 6158 4294967295 134512640 134714540 3221221792 3221220500 134603835 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6158 1111 63 0 7014 0
vsize: 28308
[startup+670.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6691
Raw data (stat): 6691 (bsolo_mis) R 6690 7876 7672 0 -1 0 6280 0 0 0 66917 88 0 0 25 0 1 0 723925251 28987392 6158 4294967295 134512640 134714540 3221221792 3221220388 1077374149 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6158 1111 63 0 7014 0
vsize: 28308
[startup+680.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6691
Raw data (stat): 6691 (bsolo_mis) R 6690 7876 7672 0 -1 0 6280 0 0 0 67917 89 0 0 25 0 1 0 723925251 28987392 6158 4294967295 134512640 134714540 3221221792 3221220568 134543144 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6158 1111 63 0 7014 0
vsize: 28308
[startup+690.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6691
Raw data (stat): 6691 (bsolo_mis) R 6690 7876 7672 0 -1 0 6280 0 0 0 68916 90 0 0 25 0 1 0 723925251 28987392 6158 4294967295 134512640 134714540 3221221792 3221220352 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6158 1111 63 0 7014 0
vsize: 28308
[startup+700.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6691
Raw data (stat): 6691 (bsolo_mis) R 6690 7876 7672 0 -1 0 6280 0 0 0 69914 92 0 0 25 0 1 0 723925251 28987392 6158 4294967295 134512640 134714540 3221221792 3221220512 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6158 1111 63 0 7014 0
vsize: 28308
[startup+710.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6691
Raw data (stat): 6691 (bsolo_mis) R 6690 7876 7672 0 -1 0 6280 0 0 0 70913 93 0 0 25 0 1 0 723925251 28987392 6158 4294967295 134512640 134714540 3221221792 3221220424 134543606 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6158 1111 63 0 7014 0
vsize: 28308
[startup+720.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6691
Raw data (stat): 6691 (bsolo_mis) R 6690 7876 7672 0 -1 0 6280 0 0 0 71912 94 0 0 25 0 1 0 723925251 28987392 6158 4294967295 134512640 134714540 3221221792 3221220480 134558542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6158 1111 63 0 7014 0
vsize: 28308
[startup+730.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6691
Raw data (stat): 6691 (bsolo_mis) R 6690 7876 7672 0 -1 0 6280 0 0 0 72911 96 0 0 25 0 1 0 723925251 28987392 6158 4294967295 134512640 134714540 3221221792 3221220480 134558521 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6158 1111 63 0 7014 0
vsize: 28308
[startup+740.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6691
Raw data (stat): 6691 (bsolo_mis) R 6690 7876 7672 0 -1 0 6280 0 0 0 73910 97 0 0 25 0 1 0 723925251 28987392 6158 4294967295 134512640 134714540 3221221792 3221220428 134552632 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6158 1111 63 0 7014 0
vsize: 28308
[startup+750.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6691
Raw data (stat): 6691 (bsolo_mis) R 6690 7876 7672 0 -1 0 6280 0 0 0 74908 99 0 0 25 0 1 0 723925251 28987392 6158 4294967295 134512640 134714540 3221221792 3221220348 134536779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6158 1111 63 0 7014 0
vsize: 28308
[startup+760.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6691
Raw data (stat): 6691 (bsolo_mis) R 6690 7876 7672 0 -1 0 6280 0 0 0 75907 100 0 0 25 0 1 0 723925251 28987392 6158 4294967295 134512640 134714540 3221221792 3221220500 134603388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6158 1111 63 0 7014 0
vsize: 28308
[startup+770.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6691
Raw data (stat): 6691 (bsolo_mis) R 6690 7876 7672 0 -1 0 6280 0 0 0 76906 101 0 0 25 0 1 0 723925251 28987392 6158 4294967295 134512640 134714540 3221221792 3221220508 134543615 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6158 1111 63 0 7014 0
vsize: 28308
[startup+780.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6691
Raw data (stat): 6691 (bsolo_mis) R 6690 7876 7672 0 -1 0 6280 0 0 0 77905 102 0 0 25 0 1 0 723925251 28987392 6158 4294967295 134512640 134714540 3221221792 3221220412 134551608 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6158 1111 63 0 7014 0
vsize: 28308
[startup+790.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6691
Raw data (stat): 6691 (bsolo_mis) R 6690 7876 7672 0 -1 0 6280 0 0 0 78904 103 0 0 25 0 1 0 723925251 28987392 6158 4294967295 134512640 134714540 3221221792 3221220328 1077377771 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6158 1111 63 0 7014 0
vsize: 28308
[startup+800.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6691
Raw data (stat): 6691 (bsolo_mis) R 6690 7876 7672 0 -1 0 6280 0 0 0 79903 104 0 0 25 0 1 0 723925251 28987392 6158 4294967295 134512640 134714540 3221221792 3221220448 134524417 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6158 1111 63 0 7014 0
vsize: 28308
[startup+810.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6691
Raw data (stat): 6691 (bsolo_mis) R 6690 7876 7672 0 -1 0 6280 0 0 0 80902 106 0 0 25 0 1 0 723925251 28987392 6158 4294967295 134512640 134714540 3221221792 3221220304 134552032 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6158 1111 63 0 7014 0
vsize: 28308
[startup+820.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6691
Raw data (stat): 6691 (bsolo_mis) R 6690 7876 7672 0 -1 0 6280 0 0 0 81901 107 0 0 25 0 1 0 723925251 28987392 6158 4294967295 134512640 134714540 3221221792 3221220588 134673068 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6158 1111 63 0 7014 0
vsize: 28308
[startup+830.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6691
Raw data (stat): 6691 (bsolo_mis) R 6690 7876 7672 0 -1 0 6280 0 0 0 82901 108 0 0 25 0 1 0 723925251 28987392 6158 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6158 1111 63 0 7014 0
vsize: 28308
[startup+840.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6691
Raw data (stat): 6691 (bsolo_mis) R 6690 7876 7672 0 -1 0 6280 0 0 0 83900 108 0 0 25 0 1 0 723925251 28987392 6158 4294967295 134512640 134714540 3221221792 3221220444 134534084 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6158 1111 63 0 7014 0
vsize: 28308
[startup+850.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6691
Raw data (stat): 6691 (bsolo_mis) R 6690 7876 7672 0 -1 0 6280 0 0 0 84899 109 0 0 25 0 1 0 723925251 28987392 6158 4294967295 134512640 134714540 3221221792 3221220388 1077374189 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6158 1111 63 0 7014 0
vsize: 28308
[startup+860.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6691
Raw data (stat): 6691 (bsolo_mis) R 6690 7876 7672 0 -1 0 6280 0 0 0 85898 111 0 0 25 0 1 0 723925251 28987392 6158 4294967295 134512640 134714540 3221221792 3221220432 1076647565 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6158 1111 63 0 7014 0
vsize: 28308
[startup+870.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6691
Raw data (stat): 6691 (bsolo_mis) R 6690 7876 7672 0 -1 0 6280 0 0 0 86897 112 0 0 25 0 1 0 723925251 28987392 6158 4294967295 134512640 134714540 3221221792 3221220200 1077377655 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6158 1111 63 0 7014 0
vsize: 28308
[startup+880.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6691
Raw data (stat): 6691 (bsolo_mis) R 6690 7876 7672 0 -1 0 6280 0 0 0 87896 113 0 0 25 0 1 0 723925251 28987392 6158 4294967295 134512640 134714540 3221221792 3221220312 1077378283 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6158 1111 63 0 7014 0
vsize: 28308
[startup+890.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6691
Raw data (stat): 6691 (bsolo_mis) R 6690 7876 7672 0 -1 0 6280 0 0 0 88896 114 0 0 25 0 1 0 723925251 28987392 6158 4294967295 134512640 134714540 3221221792 3221220384 134696112 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6158 1111 63 0 7014 0
vsize: 28308
[startup+900.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6691
Raw data (stat): 6691 (bsolo_mis) R 6690 7876 7672 0 -1 0 6280 0 0 0 89895 114 0 0 25 0 1 0 723925251 28987392 6158 4294967295 134512640 134714540 3221221792 3221220368 134549494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6158 1111 63 0 7014 0
vsize: 28308
[startup+910.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6691
Raw data (stat): 6691 (bsolo_mis) R 6690 7876 7672 0 -1 0 6280 0 0 0 90894 115 0 0 25 0 1 0 723925251 28987392 6158 4294967295 134512640 134714540 3221221792 3221220552 134558593 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6158 1111 63 0 7014 0
vsize: 28308
[startup+920.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6691
Raw data (stat): 6691 (bsolo_mis) R 6690 7876 7672 0 -1 0 6280 0 0 0 91894 116 0 0 25 0 1 0 723925251 28987392 6158 4294967295 134512640 134714540 3221221792 3221220420 1077374498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6158 1111 63 0 7014 0
vsize: 28308
[startup+930.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6691
Raw data (stat): 6691 (bsolo_mis) R 6690 7876 7672 0 -1 0 6280 0 0 0 92893 117 0 0 25 0 1 0 723925251 28987392 6158 4294967295 134512640 134714540 3221221792 3221220172 1077379903 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6158 1111 63 0 7014 0
vsize: 28308
[startup+940.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6691
Raw data (stat): 6691 (bsolo_mis) R 6690 7876 7672 0 -1 0 6280 0 0 0 93892 118 0 0 25 0 1 0 723925251 28987392 6158 4294967295 134512640 134714540 3221221792 3221220304 134552035 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6158 1111 63 0 7014 0
vsize: 28308
[startup+950.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6691
Raw data (stat): 6691 (bsolo_mis) R 6690 7876 7672 0 -1 0 6280 0 0 0 94891 120 0 0 25 0 1 0 723925251 28987392 6158 4294967295 134512640 134714540 3221221792 3221220216 1077377398 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6158 1111 63 0 7014 0
vsize: 28308
[startup+960.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6691
Raw data (stat): 6691 (bsolo_mis) R 6690 7876 7672 0 -1 0 6280 0 0 0 95890 121 0 0 25 0 1 0 723925251 28987392 6158 4294967295 134512640 134714540 3221221792 3221220368 1077377192 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6158 1111 63 0 7014 0
vsize: 28308
[startup+970.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6691
Raw data (stat): 6691 (bsolo_mis) R 6690 7876 7672 0 -1 0 6280 0 0 0 96889 122 0 0 25 0 1 0 723925251 28987392 6158 4294967295 134512640 134714540 3221221792 3221220496 134603754 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6158 1111 63 0 7014 0
vsize: 28308
[startup+980.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6691
Raw data (stat): 6691 (bsolo_mis) R 6690 7876 7672 0 -1 0 6280 0 0 0 97887 124 0 0 25 0 1 0 723925251 28987392 6158 4294967295 134512640 134714540 3221221792 3221220568 134543557 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6158 1111 63 0 7014 0
vsize: 28308
[startup+990.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6691
Raw data (stat): 6691 (bsolo_mis) R 6690 7876 7672 0 -1 0 6280 0 0 0 98887 124 0 0 25 0 1 0 723925251 28987392 6158 4294967295 134512640 134714540 3221221792 3221220528 134529091 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6158 1111 63 0 7014 0
vsize: 28308
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6691
Raw data (stat): 6691 (bsolo_mis) R 6690 7876 7672 0 -1 0 6280 0 0 0 99886 125 0 0 25 0 1 0 723925251 28987392 6158 4294967295 134512640 134714540 3221221792 3221220328 1077377725 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6158 1111 63 0 7014 0
vsize: 28308
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6691
Raw data (stat): 6691 (bsolo_mis) R 6690 7876 7672 0 -1 0 6280 0 0 0 100885 126 0 0 25 0 1 0 723925251 28987392 6158 4294967295 134512640 134714540 3221221792 3221220444 134552632 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6158 1111 63 0 7014 0
vsize: 28308
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6691
Raw data (stat): 6691 (bsolo_mis) R 6690 7876 7672 0 -1 0 6280 0 0 0 101884 128 0 0 25 0 1 0 723925251 28987392 6158 4294967295 134512640 134714540 3221221792 3221220312 1077377241 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6158 1111 63 0 7014 0
vsize: 28308
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6691
Raw data (stat): 6691 (bsolo_mis) R 6690 7876 7672 0 -1 0 6280 0 0 0 102883 129 0 0 25 0 1 0 723925251 28987392 6158 4294967295 134512640 134714540 3221221792 3221220216 1077377771 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6158 1111 63 0 7014 0
vsize: 28308
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6691
Raw data (stat): 6691 (bsolo_mis) R 6690 7876 7672 0 -1 0 6280 0 0 0 103883 130 0 0 25 0 1 0 723925251 28987392 6158 4294967295 134512640 134714540 3221221792 3221220556 134554888 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6158 1111 63 0 7014 0
vsize: 28308
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6691
Raw data (stat): 6691 (bsolo_mis) R 6690 7876 7672 0 -1 0 6280 0 0 0 104881 131 0 0 25 0 1 0 723925251 28987392 6158 4294967295 134512640 134714540 3221221792 3221220592 134611012 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6158 1111 63 0 7014 0
vsize: 28308
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6691
Raw data (stat): 6691 (bsolo_mis) R 6690 7876 7672 0 -1 0 6280 0 0 0 105880 132 0 0 25 0 1 0 723925251 28987392 6158 4294967295 134512640 134714540 3221221792 3221220416 1076999581 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6158 1111 63 0 7014 0
vsize: 28308
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6691
Raw data (stat): 6691 (bsolo_mis) R 6690 7876 7672 0 -1 0 6280 0 0 0 106879 133 0 0 25 0 1 0 723925251 28987392 6158 4294967295 134512640 134714540 3221221792 3221220504 134592433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6158 1111 63 0 7014 0
vsize: 28308
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6691
Raw data (stat): 6691 (bsolo_mis) R 6690 7876 7672 0 -1 0 6280 0 0 0 107878 134 0 0 25 0 1 0 723925251 28987392 6158 4294967295 134512640 134714540 3221221792 3221220476 134518100 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6158 1111 63 0 7014 0
vsize: 28308
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6691
Raw data (stat): 6691 (bsolo_mis) R 6690 7876 7672 0 -1 0 6280 0 0 0 108877 136 0 0 25 0 1 0 723925251 28987392 6158 4294967295 134512640 134714540 3221221792 3221220172 1077379843 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6158 1111 63 0 7014 0
vsize: 28308
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6691
Raw data (stat): 6691 (bsolo_mis) R 6690 7876 7672 0 -1 0 6280 0 0 0 109875 137 0 0 25 0 1 0 723925251 28987392 6158 4294967295 134512640 134714540 3221221792 3221220400 134524198 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6158 1111 63 0 7014 0
vsize: 28308
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6691
Raw data (stat): 6691 (bsolo_mis) R 6690 7876 7672 0 -1 0 6280 0 0 0 110874 139 0 0 25 0 1 0 723925251 28987392 6158 4294967295 134512640 134714540 3221221792 3221220384 134696114 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6158 1111 63 0 7014 0
vsize: 28308
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6691
Raw data (stat): 6691 (bsolo_mis) R 6690 7876 7672 0 -1 0 6280 0 0 0 111872 141 0 0 25 0 1 0 723925251 28987392 6158 4294967295 134512640 134714540 3221221792 3221220496 134603759 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6158 1111 63 0 7014 0
vsize: 28308
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6691
Raw data (stat): 6691 (bsolo_mis) R 6690 7876 7672 0 -1 0 6280 0 0 0 112871 142 0 0 25 0 1 0 723925251 28987392 6158 4294967295 134512640 134714540 3221221792 3221220420 1077374543 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6158 1111 63 0 7014 0
vsize: 28308
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6691
Raw data (stat): 6691 (bsolo_mis) R 6690 7876 7672 0 -1 0 6280 0 0 0 113870 144 0 0 25 0 1 0 723925251 28987392 6158 4294967295 134512640 134714540 3221221792 3221220464 134524405 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6158 1111 63 0 7014 0
vsize: 28308
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6691
Raw data (stat): 6691 (bsolo_mis) R 6690 7876 7672 0 -1 0 6280 0 0 0 114868 145 0 0 25 0 1 0 723925251 28987392 6158 4294967295 134512640 134714540 3221221792 3221220576 134551454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6158 1111 63 0 7014 0
vsize: 28308
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6691
Raw data (stat): 6691 (bsolo_mis) R 6690 7876 7672 0 -1 0 6280 0 0 0 115868 146 0 0 25 0 1 0 723925251 28987392 6158 4294967295 134512640 134714540 3221221792 3221220552 134558587 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6158 1111 63 0 7014 0
vsize: 28308
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6691
Raw data (stat): 6691 (bsolo_mis) R 6690 7876 7672 0 -1 0 6280 0 0 0 116867 147 0 0 25 0 1 0 723925251 28987392 6158 4294967295 134512640 134714540 3221221792 3221220372 1077374218 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6158 1111 63 0 7014 0
vsize: 28308
[startup+1174.92 s]
Raw data (loadavg): 0.99 0.98 0.99 1/54 6691
Raw data (stat): 6691 (bsolo_mis) R 6690 7876 7672 0 -1 0 6280 0 0 0 116867 147 0 0 25 0 1 0 723925251 28987392 6158 4294967295 134512640 134714540 3221221792 3221220372 1077374218 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6158 1111 63 0 7014 0
vsize: 0

Child status: 10
Real time (s): 1174.92
CPU time (s): 1175.04
CPU user time (s): 1173.55
CPU system time (s): 1.49077
CPU usage (%): 100.01
Max. virtual memory (Kb): 28308
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-16
#### END VERIFIER DATA ####