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-4.opb
MD5SUM	615f734b8951521e89cf22f42d6d26cc
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.05084
Number of variables	450
Total number of constraints	17831
Number of constraints which are clauses	17831
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 24724

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-12 03:34:34 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2847 boxname=wulflinc31 idbench=317 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  615f734b8951521e89cf22f42d6d26cc  /oldhome/oroussel/tmp/wulflinc31/normalized-frb30-15-4.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-frb30-15-4.opb
IDLAUNCH: 2847
/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:        899716 kB
Buffers:         27000 kB
Cached:          86460 kB
SwapCached:       1936 kB
Active:          68084 kB
Inactive:        48544 kB
HighTotal:      131008 kB
HighFree:        43652 kB
LowTotal:       903652 kB
LowFree:        856064 kB
SwapTotal:     2097892 kB
SwapFree:      2095224 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5352 kB
Slab:            12548 kB
Committed_AS:    63856 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-12 03:54:09 (client local time) WITH STATUS 10 IN 1175.04 SECONDS
stats: 2847 0 1175.04 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 450 variables and 17831 constraints.
c After prepocess the problem consists of 450 variables and 11191 constraints.
c preprocess terminated 52.522 s
c Initial Lower Bound: -232
c Lower Bound Elapsed time: 0
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: -2 @ 52.707
c NEW SOLUTION FOUND: -3 @ 52.727
c NEW SOLUTION FOUND: -4 @ 52.766
c NEW SOLUTION FOUND: -5 @ 52.824
c NEW SOLUTION FOUND: -6 @ 52.886
c NEW SOLUTION FOUND: -7 @ 53.105
c NEW SOLUTION FOUND: -8 @ 53.53
c NEW SOLUTION FOUND: -9 @ 54.468
c NEW SOLUTION FOUND: -10 @ 55.14
c NEW SOLUTION FOUND: -11 @ 59.824
c NEW SOLUTION FOUND: -12 @ 69.752
c NEW SOLUTION FOUND: -13 @ 83.88
c NEW SOLUTION FOUND: -14 @ 254.154
c NEW SOLUTION FOUND: -15 @ 401.061
c NEW SOLUTION FOUND: -16 @ 430.862
c NEW SOLUTION FOUND: -17 @ 549.451
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 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.91 0.98 0.99 2/55 6097
Raw data (stat): 6097 (runsolver) R 6096 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 723324353 1056768 100 4294967295 134512640 135381576 3221221696 3221216916 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0013 s]
Raw data (loadavg): 0.93 0.98 0.99 2/55 6097
Raw data (stat): 6097 (bsolo_mis) R 6096 7876 7672 0 -1 0 5189 0 0 0 981 15 0 0 25 0 1 0 723324353 24444928 5058 4294967295 134512640 134714540 3221221792 3221220272 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5968 5058 1111 63 0 5905 0
vsize: 23872
[startup+20.0022 s]
Raw data (loadavg): 0.94 0.98 0.99 2/55 6097
Raw data (stat): 6097 (bsolo_mis) R 6096 7876 7672 0 -1 0 5335 0 0 0 1980 16 0 0 25 0 1 0 723324353 24543232 5084 4294967295 134512640 134714540 3221221792 3221220328 134542982 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5992 5084 1111 63 0 5929 0
vsize: 23968
[startup+30.0027 s]
Raw data (loadavg): 0.95 0.98 0.99 2/55 6097
Raw data (stat): 6097 (bsolo_mis) R 6096 7876 7672 0 -1 0 5335 0 0 0 2980 16 0 0 25 0 1 0 723324353 24543232 5084 4294967295 134512640 134714540 3221221792 3221220156 134539223 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5992 5084 1111 63 0 5929 0
vsize: 23968
[startup+40.0031 s]
Raw data (loadavg): 0.95 0.98 0.99 2/55 6097
Raw data (stat): 6097 (bsolo_mis) R 6096 7876 7672 0 -1 0 5335 0 0 0 3980 16 0 0 25 0 1 0 723324353 24543232 5084 4294967295 134512640 134714540 3221221792 3221220304 134543700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5992 5084 1111 63 0 5929 0
vsize: 23968
[startup+50.0035 s]
Raw data (loadavg): 0.96 0.98 0.99 2/55 6097
Raw data (stat): 6097 (bsolo_mis) R 6096 7876 7672 0 -1 0 5372 0 0 0 4980 16 0 0 25 0 1 0 723324353 24686592 5121 4294967295 134512640 134714540 3221221792 3221220592 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6027 5121 1111 63 0 5964 0
vsize: 24108
[startup+60.0046 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 6097
Raw data (stat): 6097 (bsolo_mis) R 6096 7876 7672 0 -1 0 5494 0 0 0 5979 18 0 0 25 0 1 0 723324353 25194496 5243 4294967295 134512640 134714540 3221221792 3221220576 134551450 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6151 5243 1111 63 0 6088 0
vsize: 24604
[startup+70.0059 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 6097
Raw data (stat): 6097 (bsolo_mis) R 6096 7876 7672 0 -1 0 5523 0 0 0 6977 20 0 0 25 0 1 0 723324353 25227264 5247 4294967295 134512640 134714540 3221221792 3221220352 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6159 5247 1111 63 0 6096 0
vsize: 24636
[startup+80.0069 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 6097
Raw data (stat): 6097 (bsolo_mis) R 6096 7876 7672 0 -1 0 5527 0 0 0 7975 22 0 0 25 0 1 0 723324353 25206784 5251 4294967295 134512640 134714540 3221221792 3221220320 134551989 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6154 5251 1111 63 0 6091 0
vsize: 24616
[startup+90.0074 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 6097
Raw data (stat): 6097 (bsolo_mis) R 6096 7876 7672 0 -1 0 5542 0 0 0 8973 24 0 0 25 0 1 0 723324353 25071616 5229 4294967295 134512640 134714540 3221221792 3221220252 134535967 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6121 5229 1111 63 0 6058 0
vsize: 24484
[startup+100.008 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 6097
Raw data (stat): 6097 (bsolo_mis) R 6096 7876 7672 0 -1 0 5598 0 0 0 9971 26 0 0 25 0 1 0 723324353 25317376 5285 4294967295 134512640 134714540 3221221792 3221220512 134592137 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6181 5285 1111 63 0 6118 0
vsize: 24724
[startup+110.009 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 6097
Raw data (stat): 6097 (bsolo_mis) R 6096 7876 7672 0 -1 0 5598 0 0 0 10970 28 0 0 25 0 1 0 723324353 25251840 5273 4294967295 134512640 134714540 3221221792 3221220388 1077374149 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6165 5273 1111 63 0 6102 0
vsize: 24660
[startup+120.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6097
Raw data (stat): 6097 (bsolo_mis) R 6096 7876 7672 0 -1 0 5598 0 0 0 11968 30 0 0 25 0 1 0 723324353 25251840 5273 4294967295 134512640 134714540 3221221792 3221220596 134610916 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6165 5273 1111 63 0 6102 0
vsize: 24660
[startup+130.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6097
Raw data (stat): 6097 (bsolo_mis) R 6096 7876 7672 0 -1 0 5606 0 0 0 12966 32 0 0 25 0 1 0 723324353 25366528 5281 4294967295 134512640 134714540 3221221792 3221220172 1077379936 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6193 5281 1111 63 0 6130 0
vsize: 24772
[startup+140.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6097
Raw data (stat): 6097 (bsolo_mis) R 6096 7876 7672 0 -1 0 5606 0 0 0 13965 33 0 0 25 0 1 0 723324353 25206784 5262 4294967295 134512640 134714540 3221221792 3221220172 1077379843 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6154 5262 1111 63 0 6091 0
vsize: 24616
[startup+150.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6097
Raw data (stat): 6097 (bsolo_mis) R 6096 7876 7672 0 -1 0 5609 0 0 0 14964 34 0 0 25 0 1 0 723324353 25341952 5265 4294967295 134512640 134714540 3221221792 3221220488 134586385 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6187 5265 1111 63 0 6124 0
vsize: 24748
[startup+160.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6097
Raw data (stat): 6097 (bsolo_mis) R 6096 7876 7672 0 -1 0 5609 0 0 0 15963 36 0 0 25 0 1 0 723324353 25182208 5256 4294967295 134512640 134714540 3221221792 3221220448 134524583 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6148 5256 1111 63 0 6085 0
vsize: 24592
[startup+170.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6097
Raw data (stat): 6097 (bsolo_mis) R 6096 7876 7672 0 -1 0 5618 0 0 0 16961 38 0 0 25 0 1 0 723324353 25255936 5265 4294967295 134512640 134714540 3221221792 3221220500 134603388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6166 5265 1111 63 0 6103 0
vsize: 24664
[startup+180.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6097
Raw data (stat): 6097 (bsolo_mis) R 6096 7876 7672 0 -1 0 5622 0 0 0 17959 39 0 0 25 0 1 0 723324353 25239552 5269 4294967295 134512640 134714540 3221221792 3221220432 134594230 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6162 5269 1111 63 0 6099 0
vsize: 24648
[startup+190.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6097
Raw data (stat): 6097 (bsolo_mis) R 6096 7876 7672 0 -1 0 5625 0 0 0 18957 42 0 0 25 0 1 0 723324353 25374720 5272 4294967295 134512640 134714540 3221221792 3221220384 134696114 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6195 5272 1111 63 0 6132 0
vsize: 24780
[startup+200.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6097
Raw data (stat): 6097 (bsolo_mis) R 6096 7876 7672 0 -1 0 5633 0 0 0 19956 43 0 0 25 0 1 0 723324353 25374720 5280 4294967295 134512640 134714540 3221221792 3221220380 134539237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6195 5280 1111 63 0 6132 0
vsize: 24780
[startup+210.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6097
Raw data (stat): 6097 (bsolo_mis) R 6096 7876 7672 0 -1 0 5633 0 0 0 20955 44 0 0 25 0 1 0 723324353 25305088 5280 4294967295 134512640 134714540 3221221792 3221220368 134542300 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6178 5280 1111 63 0 6115 0
vsize: 24712
[startup+220.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6097
Raw data (stat): 6097 (bsolo_mis) R 6096 7876 7672 0 -1 0 5633 0 0 0 21953 47 0 0 25 0 1 0 723324353 25305088 5280 4294967295 134512640 134714540 3221221792 3221220420 1077374543 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6178 5280 1111 63 0 6115 0
vsize: 24712
[startup+230.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6097
Raw data (stat): 6097 (bsolo_mis) R 6096 7876 7672 0 -1 0 5633 0 0 0 22951 48 0 0 25 0 1 0 723324353 25141248 5246 4294967295 134512640 134714540 3221221792 3221220312 1077377778 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6138 5246 1111 63 0 6075 0
vsize: 24552
[startup+240.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6097
Raw data (stat): 6097 (bsolo_mis) R 6096 7876 7672 0 -1 0 5656 0 0 0 23950 49 0 0 25 0 1 0 723324353 25276416 5269 4294967295 134512640 134714540 3221221792 3221220584 134542448 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6171 5269 1111 63 0 6108 0
vsize: 24684
[startup+250.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6097
Raw data (stat): 6097 (bsolo_mis) R 6096 7876 7672 0 -1 0 5659 0 0 0 24949 51 0 0 25 0 1 0 723324353 25276416 5272 4294967295 134512640 134714540 3221221792 3221220484 1077377141 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6171 5272 1111 63 0 6108 0
vsize: 24684
[startup+260.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6097
Raw data (stat): 6097 (bsolo_mis) R 6096 7876 7672 0 -1 0 5659 0 0 0 25946 54 0 0 25 0 1 0 723324353 25276416 5272 4294967295 134512640 134714540 3221221792 3221220468 134523868 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6171 5272 1111 63 0 6108 0
vsize: 24684
[startup+270.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6097
Raw data (stat): 6097 (bsolo_mis) R 6096 7876 7672 0 -1 0 5659 0 0 0 26945 55 0 0 25 0 1 0 723324353 25276416 5272 4294967295 134512640 134714540 3221221792 3221220444 134552651 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6171 5272 1111 63 0 6108 0
vsize: 24684
[startup+280.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6097
Raw data (stat): 6097 (bsolo_mis) R 6096 7876 7672 0 -1 0 5659 0 0 0 27944 57 0 0 25 0 1 0 723324353 25276416 5272 4294967295 134512640 134714540 3221221792 3221220592 134611361 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6171 5272 1111 63 0 6108 0
vsize: 24684
[startup+290.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6097
Raw data (stat): 6097 (bsolo_mis) R 6096 7876 7672 0 -1 0 5659 0 0 0 28942 59 0 0 25 0 1 0 723324353 25276416 5272 4294967295 134512640 134714540 3221221792 3221220368 134548846 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6171 5272 1111 63 0 6108 0
vsize: 24684
[startup+300.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6097
Raw data (stat): 6097 (bsolo_mis) R 6096 7876 7672 0 -1 0 5659 0 0 0 29940 61 0 0 25 0 1 0 723324353 25276416 5272 4294967295 134512640 134714540 3221221792 3221220484 1077374082 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6171 5272 1111 63 0 6108 0
vsize: 24684
[startup+310.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6097
Raw data (stat): 6097 (bsolo_mis) R 6096 7876 7672 0 -1 0 5674 0 0 0 30939 62 0 0 25 0 1 0 723324353 25411584 5287 4294967295 134512640 134714540 3221221792 3221220388 1077374062 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6204 5287 1111 63 0 6141 0
vsize: 24816
[startup+320.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6097
Raw data (stat): 6097 (bsolo_mis) R 6096 7876 7672 0 -1 0 5674 0 0 0 31938 63 0 0 25 0 1 0 723324353 25374720 5287 4294967295 134512640 134714540 3221221792 3221220512 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6195 5287 1111 63 0 6132 0
vsize: 24780
[startup+330.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6097
Raw data (stat): 6097 (bsolo_mis) R 6096 7876 7672 0 -1 0 5675 0 0 0 32937 64 0 0 25 0 1 0 723324353 25374720 5288 4294967295 134512640 134714540 3221221792 3221220308 134552069 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6195 5288 1111 63 0 6132 0
vsize: 24780
[startup+340.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6097
Raw data (stat): 6097 (bsolo_mis) R 6096 7876 7672 0 -1 0 5682 0 0 0 33935 66 0 0 25 0 1 0 723324353 25374720 5295 4294967295 134512640 134714540 3221221792 3221220488 134586419 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6195 5295 1111 63 0 6132 0
vsize: 24780
[startup+350.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6097
Raw data (stat): 6097 (bsolo_mis) R 6096 7876 7672 0 -1 0 5697 0 0 0 34934 67 0 0 25 0 1 0 723324353 25448448 5310 4294967295 134512640 134714540 3221221792 3221220552 134558582 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6213 5310 1111 63 0 6150 0
vsize: 24852
[startup+360.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6097
Raw data (stat): 6097 (bsolo_mis) R 6096 7876 7672 0 -1 0 5697 0 0 0 35932 70 0 0 25 0 1 0 723324353 25448448 5310 4294967295 134512640 134714540 3221221792 3221220576 134551454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6213 5310 1111 63 0 6150 0
vsize: 24852
[startup+370.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6097
Raw data (stat): 6097 (bsolo_mis) R 6096 7876 7672 0 -1 0 5697 0 0 0 36930 72 0 0 25 0 1 0 723324353 25206784 5262 4294967295 134512640 134714540 3221221792 3221220576 134551454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6154 5262 1111 63 0 6091 0
vsize: 24616
[startup+380.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6097
Raw data (stat): 6097 (bsolo_mis) R 6096 7876 7672 0 -1 0 5700 0 0 0 37928 73 0 0 25 0 1 0 723324353 25341952 5265 4294967295 134512640 134714540 3221221792 3221220280 134613965 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6187 5265 1111 63 0 6124 0
vsize: 24748
[startup+390.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6097
Raw data (stat): 6097 (bsolo_mis) R 6096 7876 7672 0 -1 0 5703 0 0 0 38927 75 0 0 25 0 1 0 723324353 25341952 5268 4294967295 134512640 134714540 3221221792 3221220420 1077374471 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6187 5268 1111 63 0 6124 0
vsize: 24748
[startup+400.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6097
Raw data (stat): 6097 (bsolo_mis) R 6096 7876 7672 0 -1 0 5719 0 0 0 39926 76 0 0 25 0 1 0 723324353 25247744 5272 4294967295 134512640 134714540 3221221792 3221220444 1077374497 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6164 5272 1111 63 0 6101 0
vsize: 24656
[startup+410.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6097
Raw data (stat): 6097 (bsolo_mis) R 6096 7876 7672 0 -1 0 5731 0 0 0 40924 78 0 0 25 0 1 0 723324353 25382912 5284 4294967295 134512640 134714540 3221221792 3221220500 134603388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6197 5284 1111 63 0 6134 0
vsize: 24788
[startup+420.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6097
Raw data (stat): 6097 (bsolo_mis) R 6096 7876 7672 0 -1 0 5731 0 0 0 41924 79 0 0 25 0 1 0 723324353 25378816 5284 4294967295 134512640 134714540 3221221792 3221220352 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6196 5284 1111 63 0 6133 0
vsize: 24784
[startup+430.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6097
Raw data (stat): 6097 (bsolo_mis) R 6096 7876 7672 0 -1 0 5731 0 0 0 42922 80 0 0 25 0 1 0 723324353 25378816 5284 4294967295 134512640 134714540 3221221792 3221220356 134523611 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6196 5284 1111 63 0 6133 0
vsize: 24784
[startup+440.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6097
Raw data (stat): 6097 (bsolo_mis) R 6096 7876 7672 0 -1 0 5731 0 0 0 43921 82 0 0 25 0 1 0 723324353 25161728 5251 4294967295 134512640 134714540 3221221792 3221220496 134553608 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6143 5251 1111 63 0 6080 0
vsize: 24572
[startup+450.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6097
Raw data (stat): 6097 (bsolo_mis) R 6096 7876 7672 0 -1 0 5740 0 0 0 44920 82 0 0 25 0 1 0 723324353 25243648 5260 4294967295 134512640 134714540 3221221792 3221220384 134539376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6163 5260 1111 63 0 6100 0
vsize: 24652
[startup+460.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6097
Raw data (stat): 6097 (bsolo_mis) R 6096 7876 7672 0 -1 0 5747 0 0 0 45919 84 0 0 25 0 1 0 723324353 25243648 5267 4294967295 134512640 134714540 3221221792 3221220552 134558597 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6163 5267 1111 63 0 6100 0
vsize: 24652
[startup+470.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6097
Raw data (stat): 6097 (bsolo_mis) R 6096 7876 7672 0 -1 0 5761 0 0 0 46919 85 0 0 25 0 1 0 723324353 25333760 5281 4294967295 134512640 134714540 3221221792 3221220608 134611099 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6185 5281 1111 63 0 6122 0
vsize: 24740
[startup+480.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6097
Raw data (stat): 6097 (bsolo_mis) R 6096 7876 7672 0 -1 0 5761 0 0 0 47917 86 0 0 25 0 1 0 723324353 25333760 5281 4294967295 134512640 134714540 3221221792 3221220512 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6185 5281 1111 63 0 6122 0
vsize: 24740
[startup+490.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6097
Raw data (stat): 6097 (bsolo_mis) R 6096 7876 7672 0 -1 0 5763 0 0 0 48916 88 0 0 25 0 1 0 723324353 25333760 5283 4294967295 134512640 134714540 3221221792 3221220420 1077374508 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6185 5283 1111 63 0 6122 0
vsize: 24740
[startup+500.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6097
Raw data (stat): 6097 (bsolo_mis) R 6096 7876 7672 0 -1 0 5763 0 0 0 49914 89 0 0 25 0 1 0 723324353 25333760 5283 4294967295 134512640 134714540 3221221792 3221220468 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6185 5283 1111 63 0 6122 0
vsize: 24740
[startup+510.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6097
Raw data (stat): 6097 (bsolo_mis) R 6096 7876 7672 0 -1 0 5785 0 0 0 50913 90 0 0 25 0 1 0 723324353 25448448 5305 4294967295 134512640 134714540 3221221792 3221220512 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6213 5305 1111 63 0 6150 0
vsize: 24852
[startup+520.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6097
Raw data (stat): 6097 (bsolo_mis) R 6096 7876 7672 0 -1 0 5785 0 0 0 51912 92 0 0 25 0 1 0 723324353 25448448 5305 4294967295 134512640 134714540 3221221792 3221220504 134592337 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6213 5305 1111 63 0 6150 0
vsize: 24852
[startup+530.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6097
Raw data (stat): 6097 (bsolo_mis) R 6096 7876 7672 0 -1 0 5785 0 0 0 52910 94 0 0 25 0 1 0 723324353 25448448 5305 4294967295 134512640 134714540 3221221792 3221220560 134695748 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6213 5305 1111 63 0 6150 0
vsize: 24852
[startup+540.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6097
Raw data (stat): 6097 (bsolo_mis) R 6096 7876 7672 0 -1 0 5785 0 0 0 53910 95 0 0 25 0 1 0 723324353 25153536 5249 4294967295 134512640 134714540 3221221792 3221220352 134542347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6141 5249 1111 63 0 6078 0
vsize: 24564
[startup+550.038 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6097
Raw data (stat): 6097 (bsolo_mis) R 6096 7876 7672 0 -1 0 5804 0 0 0 54909 96 0 0 25 0 1 0 723324353 25174016 5254 4294967295 134512640 134714540 3221221792 3221220388 1077374189 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6146 5254 1111 63 0 6083 0
vsize: 24584
[startup+560.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6097
Raw data (stat): 6097 (bsolo_mis) R 6096 7876 7672 0 -1 0 5810 0 0 0 55908 97 0 0 25 0 1 0 723324353 25309184 5260 4294967295 134512640 134714540 3221221792 3221220576 134551454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6179 5260 1111 63 0 6116 0
vsize: 24716
[startup+570.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6097
Raw data (stat): 6097 (bsolo_mis) R 6096 7876 7672 0 -1 0 5817 0 0 0 56906 98 0 0 25 0 1 0 723324353 25309184 5267 4294967295 134512640 134714540 3221221792 3221220432 134594338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6179 5267 1111 63 0 6116 0
vsize: 24716
[startup+580.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6097
Raw data (stat): 6097 (bsolo_mis) R 6096 7876 7672 0 -1 0 5832 0 0 0 57905 100 0 0 25 0 1 0 723324353 25309184 5282 4294967295 134512640 134714540 3221221792 3221220412 134549504 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6179 5282 1111 63 0 6116 0
vsize: 24716
[startup+590.041 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6097
Raw data (stat): 6097 (bsolo_mis) R 6096 7876 7672 0 -1 0 5836 0 0 0 58904 101 0 0 25 0 1 0 723324353 25341952 5263 4294967295 134512640 134714540 3221221792 3221220320 134552065 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6187 5263 1111 63 0 6124 0
vsize: 24748
[startup+600.041 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6097
Raw data (stat): 6097 (bsolo_mis) R 6096 7876 7672 0 -1 0 5855 0 0 0 59903 102 0 0 25 0 1 0 723324353 25309184 5282 4294967295 134512640 134714540 3221221792 3221220492 1076647540 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6179 5282 1111 63 0 6116 0
vsize: 24716
[startup+610.042 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6097
Raw data (stat): 6097 (bsolo_mis) R 6096 7876 7672 0 -1 0 5855 0 0 0 60901 104 0 0 25 0 1 0 723324353 25309184 5282 4294967295 134512640 134714540 3221221792 3221220372 1077374125 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6179 5282 1111 63 0 6116 0
vsize: 24716
[startup+620.042 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6097
Raw data (stat): 6097 (bsolo_mis) R 6096 7876 7672 0 -1 0 5855 0 0 0 61900 105 0 0 25 0 1 0 723324353 25309184 5282 4294967295 134512640 134714540 3221221792 3221220512 134603377 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6179 5282 1111 63 0 6116 0
vsize: 24716
[startup+630.043 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6097
Raw data (stat): 6097 (bsolo_mis) R 6096 7876 7672 0 -1 0 5855 0 0 0 62899 106 0 0 25 0 1 0 723324353 25309184 5282 4294967295 134512640 134714540 3221221792 3221220496 134591984 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6179 5282 1111 63 0 6116 0
vsize: 24716
[startup+640.044 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6097
Raw data (stat): 6097 (bsolo_mis) R 6096 7876 7672 0 -1 0 5870 0 0 0 63898 108 0 0 25 0 1 0 723324353 25415680 5297 4294967295 134512640 134714540 3221221792 3221220348 134551980 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6205 5297 1111 63 0 6142 0
vsize: 24820
[startup+650.044 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6097
Raw data (stat): 6097 (bsolo_mis) R 6096 7876 7672 0 -1 0 5870 0 0 0 64897 109 0 0 25 0 1 0 723324353 25415680 5297 4294967295 134512640 134714540 3221221792 3221220420 1077374508 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6205 5297 1111 63 0 6142 0
vsize: 24820
[startup+660.045 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6097
Raw data (stat): 6097 (bsolo_mis) R 6096 7876 7672 0 -1 0 5870 0 0 0 65896 110 0 0 25 0 1 0 723324353 25415680 5297 4294967295 134512640 134714540 3221221792 3221220596 134611006 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6205 5297 1111 63 0 6142 0
vsize: 24820
[startup+670.044 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6097
Raw data (stat): 6097 (bsolo_mis) R 6096 7876 7672 0 -1 0 5889 0 0 0 66895 111 0 0 25 0 1 0 723324353 25550848 5316 4294967295 134512640 134714540 3221221792 3221220440 134524426 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6238 5316 1111 63 0 6175 0
vsize: 24952
[startup+680.053 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6097
Raw data (stat): 6097 (bsolo_mis) R 6096 7876 7672 0 -1 0 5889 0 0 0 67895 112 0 0 25 0 1 0 723324353 25444352 5316 4294967295 134512640 134714540 3221221792 3221220368 134548608 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6212 5316 1111 63 0 6149 0
vsize: 24848
[startup+690.054 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6097
Raw data (stat): 6097 (bsolo_mis) R 6096 7876 7672 0 -1 0 5889 0 0 0 68894 114 0 0 25 0 1 0 723324353 25444352 5316 4294967295 134512640 134714540 3221221792 3221220464 134603705 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6212 5316 1111 63 0 6149 0
vsize: 24848
[startup+700.055 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6097
Raw data (stat): 6097 (bsolo_mis) R 6096 7876 7672 0 -1 0 5889 0 0 0 69893 115 0 0 25 0 1 0 723324353 25444352 5316 4294967295 134512640 134714540 3221221792 3221220416 1076647581 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6212 5316 1111 63 0 6149 0
vsize: 24848
[startup+710.056 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6097
Raw data (stat): 6097 (bsolo_mis) R 6096 7876 7672 0 -1 0 5889 0 0 0 70892 116 0 0 25 0 1 0 723324353 25444352 5316 4294967295 134512640 134714540 3221221792 3221220560 134590151 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6212 5316 1111 63 0 6149 0
vsize: 24848
[startup+720.056 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6097
Raw data (stat): 6097 (bsolo_mis) R 6096 7876 7672 0 -1 0 5889 0 0 0 71890 118 0 0 25 0 1 0 723324353 25444352 5316 4294967295 134512640 134714540 3221221792 3221220528 134584866 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6212 5316 1111 63 0 6149 0
vsize: 24848
[startup+730.057 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6097
Raw data (stat): 6097 (bsolo_mis) R 6096 7876 7672 0 -1 0 5889 0 0 0 72889 119 0 0 25 0 1 0 723324353 25444352 5316 4294967295 134512640 134714540 3221221792 3221220460 134558493 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6212 5316 1111 63 0 6149 0
vsize: 24848
[startup+740.058 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6097
Raw data (stat): 6097 (bsolo_mis) R 6096 7876 7672 0 -1 0 5889 0 0 0 73889 120 0 0 25 0 1 0 723324353 25444352 5316 4294967295 134512640 134714540 3221221792 3221220576 134551454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6212 5316 1111 63 0 6149 0
vsize: 24848
[startup+750.059 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6097
Raw data (stat): 6097 (bsolo_mis) R 6096 7876 7672 0 -1 0 5889 0 0 0 74888 121 0 0 25 0 1 0 723324353 25444352 5316 4294967295 134512640 134714540 3221221792 3221220528 134695306 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6212 5316 1111 63 0 6149 0
vsize: 24848
[startup+760.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6097
Raw data (stat): 6097 (bsolo_mis) R 6096 7876 7672 0 -1 0 5889 0 0 0 75886 122 0 0 25 0 1 0 723324353 25444352 5316 4294967295 134512640 134714540 3221221792 3221220368 134696358 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6212 5316 1111 63 0 6149 0
vsize: 24848
[startup+770.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6097
Raw data (stat): 6097 (bsolo_mis) R 6096 7876 7672 0 -1 0 5889 0 0 0 76884 125 0 0 25 0 1 0 723324353 25444352 5316 4294967295 134512640 134714540 3221221792 3221220568 134543144 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6212 5316 1111 63 0 6149 0
vsize: 24848
[startup+780.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6097
Raw data (stat): 6097 (bsolo_mis) R 6096 7876 7672 0 -1 0 5889 0 0 0 77882 127 0 0 25 0 1 0 723324353 25444352 5316 4294967295 134512640 134714540 3221221792 3221220352 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6212 5316 1111 63 0 6149 0
vsize: 24848
[startup+790.061 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6097
Raw data (stat): 6097 (bsolo_mis) R 6096 7876 7672 0 -1 0 5889 0 0 0 78880 129 0 0 25 0 1 0 723324353 25444352 5316 4294967295 134512640 134714540 3221221792 3221220608 134610997 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6212 5316 1111 63 0 6149 0
vsize: 24848
[startup+800.062 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6097
Raw data (stat): 6097 (bsolo_mis) R 6096 7876 7672 0 -1 0 5889 0 0 0 79879 130 0 0 25 0 1 0 723324353 25444352 5316 4294967295 134512640 134714540 3221221792 3221220416 134523856 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6212 5316 1111 63 0 6149 0
vsize: 24848
[startup+810.062 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6097
Raw data (stat): 6097 (bsolo_mis) R 6096 7876 7672 0 -1 0 5889 0 0 0 80878 132 0 0 25 0 1 0 723324353 25444352 5316 4294967295 134512640 134714540 3221221792 3221220332 134552072 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6212 5316 1111 63 0 6149 0
vsize: 24848
[startup+820.063 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6097
Raw data (stat): 6097 (bsolo_mis) R 6096 7876 7672 0 -1 0 5889 0 0 0 81877 132 0 0 25 0 1 0 723324353 25444352 5316 4294967295 134512640 134714540 3221221792 3221220512 134592119 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6212 5316 1111 63 0 6149 0
vsize: 24848
[startup+830.063 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6097
Raw data (stat): 6097 (bsolo_mis) R 6096 7876 7672 0 -1 0 5889 0 0 0 82876 134 0 0 25 0 1 0 723324353 25444352 5316 4294967295 134512640 134714540 3221221792 3221220332 134539235 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6212 5316 1111 63 0 6149 0
vsize: 24848
[startup+840.064 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6097
Raw data (stat): 6097 (bsolo_mis) R 6096 7876 7672 0 -1 0 5889 0 0 0 83874 136 0 0 25 0 1 0 723324353 25444352 5316 4294967295 134512640 134714540 3221221792 3221220172 1077379843 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6212 5316 1111 63 0 6149 0
vsize: 24848
[startup+850.065 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6097
Raw data (stat): 6097 (bsolo_mis) R 6096 7876 7672 0 -1 0 5891 0 0 0 84873 138 0 0 25 0 1 0 723324353 25444352 5318 4294967295 134512640 134714540 3221221792 3221220412 134551608 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6212 5318 1111 63 0 6149 0
vsize: 24848
[startup+860.066 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6097
Raw data (stat): 6097 (bsolo_mis) R 6096 7876 7672 0 -1 0 5891 0 0 0 85871 139 0 0 25 0 1 0 723324353 25444352 5318 4294967295 134512640 134714540 3221221792 3221220468 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6212 5318 1111 63 0 6149 0
vsize: 24848
[startup+870.066 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6097
Raw data (stat): 6097 (bsolo_mis) R 6096 7876 7672 0 -1 0 5891 0 0 0 86870 140 0 0 25 0 1 0 723324353 25444352 5318 4294967295 134512640 134714540 3221221792 3221220492 134551608 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6212 5318 1111 63 0 6149 0
vsize: 24848
[startup+880.067 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6097
Raw data (stat): 6097 (bsolo_mis) R 6096 7876 7672 0 -1 0 5891 0 0 0 87869 141 0 0 25 0 1 0 723324353 25444352 5318 4294967295 134512640 134714540 3221221792 3221220488 1076647541 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6212 5318 1111 63 0 6149 0
vsize: 24848
[startup+890.067 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6097
Raw data (stat): 6097 (bsolo_mis) R 6096 7876 7672 0 -1 0 5891 0 0 0 88868 143 0 0 25 0 1 0 723324353 25444352 5318 4294967295 134512640 134714540 3221221792 3221220284 134539237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6212 5318 1111 63 0 6149 0
vsize: 24848
[startup+900.068 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6097
Raw data (stat): 6097 (bsolo_mis) R 6096 7876 7672 0 -1 0 5891 0 0 0 89867 144 0 0 25 0 1 0 723324353 25444352 5318 4294967295 134512640 134714540 3221221792 3221220480 134558529 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6212 5318 1111 63 0 6149 0
vsize: 24848
[startup+910.069 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6097
Raw data (stat): 6097 (bsolo_mis) R 6096 7876 7672 0 -1 0 5891 0 0 0 90865 146 0 0 25 0 1 0 723324353 25444352 5318 4294967295 134512640 134714540 3221221792 3221220172 1077379944 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6212 5318 1111 63 0 6149 0
vsize: 24848
[startup+920.07 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6097
Raw data (stat): 6097 (bsolo_mis) R 6096 7876 7672 0 -1 0 5891 0 0 0 91865 147 0 0 25 0 1 0 723324353 25444352 5318 4294967295 134512640 134714540 3221221792 3221220492 134558476 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6212 5318 1111 63 0 6149 0
vsize: 24848
[startup+930.07 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6097
Raw data (stat): 6097 (bsolo_mis) R 6096 7876 7672 0 -1 0 5891 0 0 0 92863 148 0 0 25 0 1 0 723324353 25444352 5318 4294967295 134512640 134714540 3221221792 3221220488 134586419 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6212 5318 1111 63 0 6149 0
vsize: 24848
[startup+940.071 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6097
Raw data (stat): 6097 (bsolo_mis) R 6096 7876 7672 0 -1 0 5891 0 0 0 93862 150 0 0 25 0 1 0 723324353 25444352 5318 4294967295 134512640 134714540 3221221792 3221220596 134611006 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6212 5318 1111 63 0 6149 0
vsize: 24848
[startup+950.072 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6097
Raw data (stat): 6097 (bsolo_mis) R 6096 7876 7672 0 -1 0 5891 0 0 0 94860 152 0 0 25 0 1 0 723324353 25444352 5318 4294967295 134512640 134714540 3221221792 3221220460 134534134 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6212 5318 1111 63 0 6149 0
vsize: 24848
[startup+960.073 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6097
Raw data (stat): 6097 (bsolo_mis) R 6096 7876 7672 0 -1 0 5891 0 0 0 95859 153 0 0 25 0 1 0 723324353 25444352 5318 4294967295 134512640 134714540 3221221792 3221220480 134558507 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6212 5318 1111 63 0 6149 0
vsize: 24848
[startup+970.074 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6097
Raw data (stat): 6097 (bsolo_mis) R 6096 7876 7672 0 -1 0 5891 0 0 0 96857 155 0 0 25 0 1 0 723324353 25444352 5318 4294967295 134512640 134714540 3221221792 3221220568 134543133 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6212 5318 1111 63 0 6149 0
vsize: 24848
[startup+980.074 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6097
Raw data (stat): 6097 (bsolo_mis) R 6096 7876 7672 0 -1 0 5891 0 0 0 97855 157 0 0 25 0 1 0 723324353 25444352 5318 4294967295 134512640 134714540 3221221792 3221220608 134611084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6212 5318 1111 63 0 6149 0
vsize: 24848
[startup+990.074 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6097
Raw data (stat): 6097 (bsolo_mis) R 6096 7876 7672 0 -1 0 5891 0 0 0 98854 158 0 0 25 0 1 0 723324353 25444352 5318 4294967295 134512640 134714540 3221221792 3221220172 1077379851 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6212 5318 1111 63 0 6149 0
vsize: 24848
[startup+1000.07 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6097
Raw data (stat): 6097 (bsolo_mis) R 6096 7876 7672 0 -1 0 5891 0 0 0 99853 160 0 0 25 0 1 0 723324353 25444352 5318 4294967295 134512640 134714540 3221221792 3221220436 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6212 5318 1111 63 0 6149 0
vsize: 24848
[startup+1010.08 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6097
Raw data (stat): 6097 (bsolo_mis) R 6096 7876 7672 0 -1 0 5891 0 0 0 100851 161 0 0 25 0 1 0 723324353 25444352 5318 4294967295 134512640 134714540 3221221792 3221220432 134524436 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6212 5318 1111 63 0 6149 0
vsize: 24848
[startup+1020.08 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6097
Raw data (stat): 6097 (bsolo_mis) R 6096 7876 7672 0 -1 0 5891 0 0 0 101850 163 0 0 25 0 1 0 723324353 25444352 5318 4294967295 134512640 134714540 3221221792 3221220496 134534146 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6212 5318 1111 63 0 6149 0
vsize: 24848
[startup+1030.08 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6097
Raw data (stat): 6097 (bsolo_mis) R 6096 7876 7672 0 -1 0 5891 0 0 0 102849 164 0 0 25 0 1 0 723324353 25444352 5318 4294967295 134512640 134714540 3221221792 3221220384 134613451 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6212 5318 1111 63 0 6149 0
vsize: 24848
[startup+1040.08 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6097
Raw data (stat): 6097 (bsolo_mis) R 6096 7876 7672 0 -1 0 5891 0 0 0 103847 166 0 0 25 0 1 0 723324353 25444352 5318 4294967295 134512640 134714540 3221221792 3221220456 134543665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6212 5318 1111 63 0 6149 0
vsize: 24848
[startup+1050.08 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6097
Raw data (stat): 6097 (bsolo_mis) R 6096 7876 7672 0 -1 0 5891 0 0 0 104847 167 0 0 25 0 1 0 723324353 25296896 5284 4294967295 134512640 134714540 3221221792 3221220608 134610900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6176 5284 1111 63 0 6113 0
vsize: 24704
[startup+1060.08 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6097
Raw data (stat): 6097 (bsolo_mis) R 6096 7876 7672 0 -1 0 5891 0 0 0 105845 168 0 0 25 0 1 0 723324353 25296896 5284 4294967295 134512640 134714540 3221221792 3221220420 1077374508 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6176 5284 1111 63 0 6113 0
vsize: 24704
[startup+1070.08 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6097
Raw data (stat): 6097 (bsolo_mis) R 6096 7876 7672 0 -1 0 5900 0 0 0 106844 169 0 0 25 0 1 0 723324353 25337856 5293 4294967295 134512640 134714540 3221221792 3221220572 134543124 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6186 5293 1111 63 0 6123 0
vsize: 24744
[startup+1080.08 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6097
Raw data (stat): 6097 (bsolo_mis) R 6096 7876 7672 0 -1 0 5900 0 0 0 107843 170 0 0 25 0 1 0 723324353 25337856 5293 4294967295 134512640 134714540 3221221792 3221220352 134549327 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6186 5293 1111 63 0 6123 0
vsize: 24744
[startup+1090.08 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6097
Raw data (stat): 6097 (bsolo_mis) R 6096 7876 7672 0 -1 0 5900 0 0 0 108842 172 0 0 25 0 1 0 723324353 25337856 5293 4294967295 134512640 134714540 3221221792 3221220456 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6186 5293 1111 63 0 6123 0
vsize: 24744
[startup+1100.08 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6097
Raw data (stat): 6097 (bsolo_mis) R 6096 7876 7672 0 -1 0 5900 0 0 0 109841 173 0 0 25 0 1 0 723324353 25337856 5293 4294967295 134512640 134714540 3221221792 3221220352 134549334 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6186 5293 1111 63 0 6123 0
vsize: 24744
[startup+1110.08 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6097
Raw data (stat): 6097 (bsolo_mis) R 6096 7876 7672 0 -1 0 5900 0 0 0 110840 174 0 0 25 0 1 0 723324353 25317376 5289 4294967295 134512640 134714540 3221221792 3221220432 134594343 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6181 5289 1111 63 0 6118 0
vsize: 24724
[startup+1120.08 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6097
Raw data (stat): 6097 (bsolo_mis) R 6096 7876 7672 0 -1 0 5900 0 0 0 111839 175 0 0 25 0 1 0 723324353 25317376 5289 4294967295 134512640 134714540 3221221792 3221220608 134610997 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6181 5289 1111 63 0 6118 0
vsize: 24724
[startup+1130.08 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6097
Raw data (stat): 6097 (bsolo_mis) R 6096 7876 7672 0 -1 0 5900 0 0 0 112837 177 0 0 25 0 1 0 723324353 25317376 5289 4294967295 134512640 134714540 3221221792 3221220368 134542814 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6181 5289 1111 63 0 6118 0
vsize: 24724
[startup+1140.09 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6097
Raw data (stat): 6097 (bsolo_mis) R 6096 7876 7672 0 -1 0 5900 0 0 0 113836 179 0 0 25 0 1 0 723324353 25317376 5289 4294967295 134512640 134714540 3221221792 3221220568 134543568 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6181 5289 1111 63 0 6118 0
vsize: 24724
[startup+1150.09 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6097
Raw data (stat): 6097 (bsolo_mis) R 6096 7876 7672 0 -1 0 5901 0 0 0 114835 180 0 0 25 0 1 0 723324353 25452544 5290 4294967295 134512640 134714540 3221221792 3221220328 1077378438 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6214 5290 1111 63 0 6151 0
vsize: 24856
[startup+1160.09 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6097
Raw data (stat): 6097 (bsolo_mis) R 6096 7876 7672 0 -1 0 5901 0 0 0 115834 181 0 0 25 0 1 0 723324353 25321472 5290 4294967295 134512640 134714540 3221221792 3221220608 134611223 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6182 5290 1111 63 0 6119 0
vsize: 24728
[startup+1170.09 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6097
Raw data (stat): 6097 (bsolo_mis) R 6096 7876 7672 0 -1 0 5904 0 0 0 116832 183 0 0 25 0 1 0 723324353 25456640 5293 4294967295 134512640 134714540 3221221792 3221220480 134558521 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6215 5293 1111 63 0 6152 0
vsize: 24860
[startup+1174.97 s]
Raw data (loadavg): 0.99 0.98 0.99 1/54 6097
Raw data (stat): 6097 (bsolo_mis) R 6096 7876 7672 0 -1 0 5904 0 0 0 116832 183 0 0 25 0 1 0 723324353 25456640 5293 4294967295 134512640 134714540 3221221792 3221220480 134558521 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6215 5293 1111 63 0 6152 0
vsize: 0

Child status: 10
Real time (s): 1174.97
CPU time (s): 1175.04
CPU user time (s): 1173.19
CPU system time (s): 1.84672
CPU usage (%): 100.006
Max. virtual memory (Kb): 24952
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-17
#### END VERIFIER DATA ####