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/frb35-17-opb/normalized-frb35-17-3.opb
MD5SUM	25457db86ce3cc3b7604dfa37c8096b4
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-28
Optimality of the best value was proved	NO
Number of terms in the objective function	595
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	595
Number of bits of the sum of numbers in the objective function	10
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	595
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.05
Number of variables	595
Total number of constraints	27931
Number of constraints which are clauses	27931
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 24742

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-12 09:35:28 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2881 boxname=wulflinc31 idbench=321 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  25457db86ce3cc3b7604dfa37c8096b4  /oldhome/oroussel/tmp/wulflinc31/normalized-frb35-17-3.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-frb35-17-3.opb
IDLAUNCH: 2881
/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:        892004 kB
Buffers:         32032 kB
Cached:          89180 kB
SwapCached:       1936 kB
Active:          83480 kB
Inactive:        40968 kB
HighTotal:      131008 kB
HighFree:        40908 kB
LowTotal:       903652 kB
LowFree:        851096 kB
SwapTotal:     2097892 kB
SwapFree:      2095224 kB
Dirty:             644 kB
Writeback:           0 kB
Mapped:           5352 kB
Slab:            12604 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-12 09:55:06 (client local time) WITH STATUS 10 IN 1176.55 SECONDS
stats: 2881 0 1176.55 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 595 variables and 27931 constraints.
c After prepocess the problem consists of 595 variables and 20315 constraints.
c preprocess terminated 169.327 s
c Initial Lower Bound: -65
c Lower Bound Elapsed time: 542.745
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: -1 @ 712.447
c NEW SOLUTION FOUND: -2 @ 712.452
c NEW SOLUTION FOUND: -3 @ 712.476
c NEW SOLUTION FOUND: -4 @ 712.503
c NEW SOLUTION FOUND: -5 @ 712.536
c NEW SOLUTION FOUND: -6 @ 712.578
c NEW SOLUTION FOUND: -7 @ 712.625
c NEW SOLUTION FOUND: -8 @ 712.676
c NEW SOLUTION FOUND: -9 @ 712.808
c NEW SOLUTION FOUND: -10 @ 713.138
c NEW SOLUTION FOUND: -11 @ 713.601
c NEW SOLUTION FOUND: -12 @ 714.625
c NEW SOLUTION FOUND: -13 @ 715.549
c NEW SOLUTION FOUND: -14 @ 718.019
c NEW SOLUTION FOUND: -15 @ 722.005
c NEW SOLUTION FOUND: -16 @ 726.495
c NEW SOLUTION FOUND: -17 @ 731.529
c NEW SOLUTION FOUND: -18 @ 741.854
c NEW SOLUTION FOUND: -19 @ 752.575
c NEW SOLUTION FOUND: -20 @ 776.902
c NEW SOLUTION FOUND: -21 @ 904.77
s SATISFIABLE
v -C595 -C594 -C593 -C592 -C591 -C590 -C589 -C588 -C587 -C586 -C585 -C584 -C583 -C582 -C581 -C580 C579 -C578 -C577 -C576 -C575 -C574 -C573 -C572 -C571 -C570 C569 -C568 -C567 -C566 -C565 -C564 -C563 -C562 C561 -C560 -C559 -C558 -C557 -C556 -C555 -C554 -C553 -C552 -C551 -C550 -C549 -C548 -C547 -C546 -C545 -C544 -C543 -C542 -C541 -C540 -C539 -C538 -C537 -C536 -C535 -C534 -C533 -C532 -C531 -C530 -C529 -C528 -C527 -C526 -C525 -C524 -C523 -C522 C521 -C520 -C519 -C518 -C517 -C516 -C515 -C514 -C513 -C512 -C511 -C510 -C509 -C508 -C507 -C506 -C505 C504 -C503 -C502 -C501 -C500 -C499 -C498 -C497 -C496 -C495 -C494 -C493 C492 -C491 -C490 -C489 -C488 -C487 -C486 -C485 -C484 -C483 -C482 -C481 -C480 -C479 -C478 -C477 -C476 -C475 -C474 -C473 -C472 -C471 -C470 -C469 -C468 -C467 -C466 -C465 -C464 -C463 -C462 -C461 -C460 -C459 -C458 -C457 -C456 -C455 -C454 -C453 -C452 -C451 -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: 1176.51 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.99 1.00 1.00 2/55 8175
Raw data (stat): 8175 (runsolver) R 8174 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 725490076 1056768 100 4294967295 134512640 135381576 3221221696 3221216916 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0761 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 8175
Raw data (stat): 8175 (bsolo_lpr) R 8174 7876 7672 0 -1 0 9953 0 0 0 975 28 0 0 25 0 1 0 725490076 40136704 8968 4294967295 134512640 134714508 3221221792 3221220156 134539296 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9799 8968 1111 63 0 9736 0
vsize: 39196
[startup+20.172 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 8175
Raw data (stat): 8175 (bsolo_lpr) R 8174 7876 7672 0 -1 0 9953 0 0 0 1984 28 0 0 25 0 1 0 725490076 40136704 8968 4294967295 134512640 134714508 3221221792 3221220204 134543653 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9799 8968 1111 63 0 9736 0
vsize: 39196
[startup+30.1718 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 8175
Raw data (stat): 8175 (bsolo_lpr) R 8174 7876 7672 0 -1 0 10218 0 0 0 2983 29 0 0 25 0 1 0 725490076 40808448 9132 4294967295 134512640 134714508 3221221792 3221220408 134543804 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9963 9132 1111 63 0 9900 0
vsize: 39852
[startup+40.2001 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 8175
Raw data (stat): 8175 (bsolo_lpr) R 8174 7876 7672 0 -1 0 10218 0 0 0 3986 29 0 0 25 0 1 0 725490076 40808448 9132 4294967295 134512640 134714508 3221221792 3221220420 134594953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9963 9132 1111 63 0 9900 0
vsize: 39852
[startup+50.2877 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 8175
Raw data (stat): 8175 (bsolo_lpr) R 8174 7876 7672 0 -1 0 10218 0 0 0 4995 29 0 0 25 0 1 0 725490076 40808448 9132 4294967295 134512640 134714508 3221221792 3221220156 134539237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9963 9132 1111 63 0 9900 0
vsize: 39852
[startup+60.2876 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 8175
Raw data (stat): 8175 (bsolo_lpr) R 8174 7876 7672 0 -1 0 10218 0 0 0 5995 29 0 0 25 0 1 0 725490076 40808448 9132 4294967295 134512640 134714508 3221221792 3221220368 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9963 9132 1111 63 0 9900 0
vsize: 39852
[startup+70.2889 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 8175
Raw data (stat): 8175 (bsolo_lpr) R 8174 7876 7672 0 -1 0 10218 0 0 0 6996 29 0 0 25 0 1 0 725490076 40808448 9132 4294967295 134512640 134714508 3221221792 3221220208 134543681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9963 9132 1111 63 0 9900 0
vsize: 39852
[startup+80.2895 s]
Raw data (loadavg): 1.07 1.02 1.00 2/55 8175
Raw data (stat): 8175 (bsolo_lpr) R 8174 7876 7672 0 -1 0 10218 0 0 0 7996 29 0 0 25 0 1 0 725490076 40808448 9132 4294967295 134512640 134714508 3221221792 3221220188 134543588 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9963 9132 1111 63 0 9900 0
vsize: 39852
[startup+90.3851 s]
Raw data (loadavg): 1.06 1.01 1.00 2/55 8175
Raw data (stat): 8175 (bsolo_lpr) R 8174 7876 7672 0 -1 0 10218 0 0 0 9005 29 0 0 25 0 1 0 725490076 40808448 9132 4294967295 134512640 134714508 3221221792 3221220272 134539462 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9963 9132 1111 63 0 9900 0
vsize: 39852
[startup+100.385 s]
Raw data (loadavg): 1.05 1.01 1.00 2/55 8175
Raw data (stat): 8175 (bsolo_lpr) R 8174 7876 7672 0 -1 0 10218 0 0 0 10006 29 0 0 25 0 1 0 725490076 40808448 9132 4294967295 134512640 134714508 3221221792 3221220176 134542368 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9963 9132 1111 63 0 9900 0
vsize: 39852
[startup+110.385 s]
Raw data (loadavg): 1.04 1.01 1.00 2/55 8175
Raw data (stat): 8175 (bsolo_lpr) R 8174 7876 7672 0 -1 0 10218 0 0 0 11005 29 0 0 25 0 1 0 725490076 40808448 9132 4294967295 134512640 134714508 3221221792 3221220464 134627187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9963 9132 1111 63 0 9900 0
vsize: 39852
[startup+120.386 s]
Raw data (loadavg): 1.04 1.01 1.00 2/55 8175
Raw data (stat): 8175 (bsolo_lpr) R 8174 7876 7672 0 -1 0 10218 0 0 0 12005 30 0 0 25 0 1 0 725490076 40808448 9132 4294967295 134512640 134714508 3221221792 3221220464 134627250 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9963 9132 1111 63 0 9900 0
vsize: 39852
[startup+130.386 s]
Raw data (loadavg): 1.03 1.01 1.00 2/55 8175
Raw data (stat): 8175 (bsolo_lpr) R 8174 7876 7672 0 -1 0 10218 0 0 0 13005 30 0 0 25 0 1 0 725490076 40808448 9132 4294967295 134512640 134714508 3221221792 3221220464 134627250 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9963 9132 1111 63 0 9900 0
vsize: 39852
[startup+140.459 s]
Raw data (loadavg): 1.03 1.01 1.00 2/55 8175
Raw data (stat): 8175 (bsolo_lpr) R 8174 7876 7672 0 -1 0 10218 0 0 0 14013 30 0 0 25 0 1 0 725490076 40808448 9132 4294967295 134512640 134714508 3221221792 3221220464 134627252 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9963 9132 1111 63 0 9900 0
vsize: 39852
[startup+150.46 s]
Raw data (loadavg): 1.02 1.01 1.00 2/55 8175
Raw data (stat): 8175 (bsolo_lpr) R 8174 7876 7672 0 -1 0 10218 0 0 0 15013 30 0 0 25 0 1 0 725490076 40808448 9132 4294967295 134512640 134714508 3221221792 3221220464 134627250 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9963 9132 1111 63 0 9900 0
vsize: 39852
[startup+160.46 s]
Raw data (loadavg): 1.02 1.01 1.00 2/55 8175
Raw data (stat): 8175 (bsolo_lpr) R 8174 7876 7672 0 -1 0 10285 0 0 0 16013 30 0 0 25 0 1 0 725490076 41213952 9199 4294967295 134512640 134714508 3221221792 3221220360 134558593 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10062 9199 1111 63 0 9999 0
vsize: 40248
[startup+170.462 s]
Raw data (loadavg): 1.01 1.01 1.00 2/55 8175
Raw data (stat): 8175 (bsolo_lpr) R 8174 7876 7672 0 -1 0 10837 0 0 0 17012 31 0 0 25 0 1 0 725490076 43597824 9751 4294967295 134512640 134714508 3221221792 3221220096 1074153779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10644 9751 1111 63 0 10581 0
vsize: 42576
[startup+180.462 s]
Raw data (loadavg): 1.01 1.01 1.00 2/55 8175
Raw data (stat): 8175 (bsolo_lpr) R 8174 7876 7672 0 -1 0 11051 0 0 0 18009 34 0 0 25 0 1 0 725490076 44380160 9965 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10835 9965 1111 63 0 10772 0
vsize: 43340
[startup+190.462 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 8175
Raw data (stat): 8175 (bsolo_lpr) R 8174 7876 7672 0 -1 0 11092 0 0 0 19008 35 0 0 25 0 1 0 725490076 44519424 10006 4294967295 134512640 134714508 3221221792 3221220000 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10869 10006 1111 63 0 10806 0
vsize: 43476
[startup+200.462 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 8175
Raw data (stat): 8175 (bsolo_lpr) R 8174 7876 7672 0 -1 0 11158 0 0 0 20007 36 0 0 25 0 1 0 725490076 44765184 10072 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10929 10072 1111 63 0 10866 0
vsize: 43716
[startup+210.463 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 8175
Raw data (stat): 8175 (bsolo_lpr) R 8174 7876 7672 0 -1 0 11184 0 0 0 21006 38 0 0 25 0 1 0 725490076 44863488 10098 4294967295 134512640 134714508 3221221792 3221219712 1077814665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10953 10098 1111 63 0 10890 0
vsize: 43812
[startup+220.463 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8175
Raw data (stat): 8175 (bsolo_lpr) R 8174 7876 7672 0 -1 0 11290 0 0 0 22005 39 0 0 25 0 1 0 725490076 45236224 10190 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11044 10190 1111 63 0 10981 0
vsize: 44176
[startup+230.464 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8175
Raw data (stat): 8175 (bsolo_lpr) R 8174 7876 7672 0 -1 0 11312 0 0 0 23004 40 0 0 25 0 1 0 725490076 45322240 10212 4294967295 134512640 134714508 3221221792 3221220000 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11065 10212 1111 63 0 11002 0
vsize: 44260
[startup+240.464 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8175
Raw data (stat): 8175 (bsolo_lpr) R 8174 7876 7672 0 -1 0 11333 0 0 0 24004 40 0 0 25 0 1 0 725490076 45404160 10233 4294967295 134512640 134714508 3221221792 3221220016 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11085 10233 1111 63 0 11022 0
vsize: 44340
[startup+250.464 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8175
Raw data (stat): 8175 (bsolo_lpr) R 8174 7876 7672 0 -1 0 11374 0 0 0 25003 41 0 0 25 0 1 0 725490076 45568000 10274 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11125 10274 1111 63 0 11062 0
vsize: 44500
[startup+260.465 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8175
Raw data (stat): 8175 (bsolo_lpr) R 8174 7876 7672 0 -1 0 11395 0 0 0 26003 41 0 0 25 0 1 0 725490076 45649920 10295 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11145 10295 1111 63 0 11082 0
vsize: 44580
[startup+270.465 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8175
Raw data (stat): 8175 (bsolo_lpr) R 8174 7876 7672 0 -1 0 15693 0 0 0 26995 49 0 0 25 0 1 0 725490076 61001728 13301 4294967295 134512640 134714508 3221221792 3221217920 1074815170 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14893 13301 1111 63 0 14830 0
vsize: 59572
[startup+280.466 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8175
Raw data (stat): 8175 (bsolo_lpr) R 8174 7876 7672 0 -1 0 15879 0 0 0 27995 50 0 0 25 0 1 0 725490076 59486208 12903 4294967295 134512640 134714508 3221221792 3221218256 1075088563 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14523 12903 1111 63 0 14460 0
vsize: 58092
[startup+290.467 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8175
Raw data (stat): 8175 (bsolo_lpr) R 8174 7876 7672 0 -1 0 15954 0 0 0 28994 51 0 0 25 0 1 0 725490076 59793408 12976 4294967295 134512640 134714508 3221221792 3221217952 1075115709 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14598 12976 1111 63 0 14535 0
vsize: 58392
[startup+300.467 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8175
Raw data (stat): 8175 (bsolo_lpr) R 8174 7876 7672 0 -1 0 16027 0 0 0 29994 51 0 0 25 0 1 0 725490076 60108800 13045 4294967295 134512640 134714508 3221221792 3221217856 1074969458 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14675 13045 1111 63 0 14612 0
vsize: 58700
[startup+310.467 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8175
Raw data (stat): 8175 (bsolo_lpr) R 8174 7876 7672 0 -1 0 16102 0 0 0 30994 51 0 0 25 0 1 0 725490076 60436480 13116 4294967295 134512640 134714508 3221221792 3221217872 1075095094 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14755 13116 1111 63 0 14692 0
vsize: 59020
[startup+320.468 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8175
Raw data (stat): 8175 (bsolo_lpr) R 8174 7876 7672 0 -1 0 16149 0 0 0 31994 51 0 0 25 0 1 0 725490076 60436480 13161 4294967295 134512640 134714508 3221221792 3221217596 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14755 13161 1111 63 0 14692 0
vsize: 59020
[startup+330.468 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8175
Raw data (stat): 8175 (bsolo_lpr) R 8174 7876 7672 0 -1 0 16234 0 0 0 32994 52 0 0 25 0 1 0 725490076 60792832 13242 4294967295 134512640 134714508 3221221792 3221217940 1075115049 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14842 13242 1111 63 0 14779 0
vsize: 59368
[startup+340.468 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8175
Raw data (stat): 8175 (bsolo_lpr) R 8174 7876 7672 0 -1 0 16306 0 0 0 33994 52 0 0 25 0 1 0 725490076 61157376 13312 4294967295 134512640 134714508 3221221792 3221217856 1074969463 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14931 13312 1111 63 0 14868 0
vsize: 59724
[startup+350.469 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8175
Raw data (stat): 8175 (bsolo_lpr) R 8174 7876 7672 0 -1 0 16322 0 0 0 34994 52 0 0 25 0 1 0 725490076 61157376 13324 4294967295 134512640 134714508 3221221792 3221217672 1075964771 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14931 13324 1111 63 0 14868 0
vsize: 59724
[startup+360.47 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8175
Raw data (stat): 8175 (bsolo_lpr) R 8174 7876 7672 0 -1 0 16336 0 0 0 35994 52 0 0 25 0 1 0 725490076 61157376 13334 4294967295 134512640 134714508 3221221792 3221217952 1075115715 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14931 13334 1111 63 0 14868 0
vsize: 59724
[startup+370.47 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8175
Raw data (stat): 8175 (bsolo_lpr) R 8174 7876 7672 0 -1 0 16341 0 0 0 36995 52 0 0 25 0 1 0 725490076 61321216 13337 4294967295 134512640 134714508 3221221792 3221218304 1074886229 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14971 13337 1111 63 0 14908 0
vsize: 59884
[startup+380.472 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8175
Raw data (stat): 8175 (bsolo_lpr) R 8174 7876 7672 0 -1 0 16346 0 0 0 37995 52 0 0 25 0 1 0 725490076 61157376 13336 4294967295 134512640 134714508 3221221792 3221217724 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14931 13336 1111 63 0 14868 0
vsize: 59724
[startup+390.473 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8175
Raw data (stat): 8175 (bsolo_lpr) R 8174 7876 7672 0 -1 0 16351 0 0 0 38995 52 0 0 25 0 1 0 725490076 61157376 13337 4294967295 134512640 134714508 3221221792 3221217984 1074961146 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14931 13337 1111 63 0 14868 0
vsize: 59724
[startup+400.473 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8175
Raw data (stat): 8175 (bsolo_lpr) R 8174 7876 7672 0 -1 0 16355 0 0 0 39995 52 0 0 25 0 1 0 725490076 61157376 13337 4294967295 134512640 134714508 3221221792 3221217812 1075964258 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14931 13337 1111 63 0 14868 0
vsize: 59724
[startup+410.474 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8175
Raw data (stat): 8175 (bsolo_lpr) R 8174 7876 7672 0 -1 0 16360 0 0 0 40995 52 0 0 25 0 1 0 725490076 61157376 13338 4294967295 134512640 134714508 3221221792 3221217856 1074969458 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14931 13338 1111 63 0 14868 0
vsize: 59724
[startup+420.474 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8175
Raw data (stat): 8175 (bsolo_lpr) R 8174 7876 7672 0 -1 0 16369 0 0 0 41996 52 0 0 25 0 1 0 725490076 61157376 13343 4294967295 134512640 134714508 3221221792 3221217920 1074815253 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14931 13343 1111 63 0 14868 0
vsize: 59724
[startup+430.474 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8175
Raw data (stat): 8175 (bsolo_lpr) R 8174 7876 7672 0 -1 0 16373 0 0 0 42996 52 0 0 25 0 1 0 725490076 61157376 13343 4294967295 134512640 134714508 3221221792 3221217984 1074961304 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14931 13343 1111 63 0 14868 0
vsize: 59724
[startup+440.474 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8175
Raw data (stat): 8175 (bsolo_lpr) R 8174 7876 7672 0 -1 0 16377 0 0 0 43996 52 0 0 25 0 1 0 725490076 61157376 13343 4294967295 134512640 134714508 3221221792 3221217940 1075115039 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14931 13343 1111 63 0 14868 0
vsize: 59724
[startup+450.475 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8175
Raw data (stat): 8175 (bsolo_lpr) R 8174 7876 7672 0 -1 0 16381 0 0 0 44996 52 0 0 25 0 1 0 725490076 61157376 13343 4294967295 134512640 134714508 3221221792 3221217724 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14931 13343 1111 63 0 14868 0
vsize: 59724
[startup+460.484 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8175
Raw data (stat): 8175 (bsolo_lpr) R 8174 7876 7672 0 -1 0 16387 0 0 0 45997 52 0 0 25 0 1 0 725490076 61157376 13345 4294967295 134512640 134714508 3221221792 3221217596 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14931 13345 1111 63 0 14868 0
vsize: 59724
[startup+470.485 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8175
Raw data (stat): 8175 (bsolo_lpr) R 8174 7876 7672 0 -1 0 16537 0 0 0 46997 53 0 0 25 0 1 0 725490076 61943808 13491 4294967295 134512640 134714508 3221221792 3221217920 1074815253 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15123 13491 1111 63 0 15060 0
vsize: 60492
[startup+480.486 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8175
Raw data (stat): 8175 (bsolo_lpr) R 8174 7876 7672 0 -1 0 16643 0 0 0 47997 53 0 0 25 0 1 0 725490076 62533632 13595 4294967295 134512640 134714508 3221221792 3221218480 1076083560 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15267 13595 1111 63 0 15204 0
vsize: 61068
[startup+490.486 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8175
Raw data (stat): 8175 (bsolo_lpr) R 8174 7876 7672 0 -1 0 16645 0 0 0 48997 53 0 0 25 0 1 0 725490076 62369792 13593 4294967295 134512640 134714508 3221221792 3221217872 1075094806 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15227 13593 1111 63 0 15164 0
vsize: 60908
[startup+500.487 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8175
Raw data (stat): 8175 (bsolo_lpr) R 8174 7876 7672 0 -1 0 16738 0 0 0 49997 53 0 0 25 0 1 0 725490076 62824448 13682 4294967295 134512640 134714508 3221221792 3221218256 1075088563 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15338 13682 1111 63 0 15275 0
vsize: 61352
[startup+510.486 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8175
Raw data (stat): 8175 (bsolo_lpr) R 8174 7876 7672 0 -1 0 16758 0 0 0 50997 53 0 0 25 0 1 0 725490076 62824448 13698 4294967295 134512640 134714508 3221221792 3221217940 1075115046 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15338 13698 1111 63 0 15275 0
vsize: 61352
[startup+520.496 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8175
Raw data (stat): 8175 (bsolo_lpr) R 8174 7876 7672 0 -1 0 16850 0 0 0 51998 54 0 0 25 0 1 0 725490076 63287296 13786 4294967295 134512640 134714508 3221221792 3221217872 1075095094 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15451 13786 1111 63 0 15388 0
vsize: 61804
[startup+530.497 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8175
Raw data (stat): 8175 (bsolo_lpr) R 8174 7876 7672 0 -1 0 16877 0 0 0 52998 54 0 0 25 0 1 0 725490076 63287296 13809 4294967295 134512640 134714508 3221221792 3221217940 1075115060 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15451 13809 1111 63 0 15388 0
vsize: 61804
[startup+540.496 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8175
Raw data (stat): 8175 (bsolo_lpr) R 8174 7876 7672 0 -1 0 16882 0 0 0 53998 54 0 0 25 0 1 0 725490076 63287296 13810 4294967295 134512640 134714508 3221221792 3221217812 1075964252 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15451 13810 1111 63 0 15388 0
vsize: 61804
[startup+550.497 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8175
Raw data (stat): 8175 (bsolo_lpr) R 8174 7876 7672 0 -1 0 16889 0 0 0 54998 54 0 0 25 0 1 0 725490076 63451136 13815 4294967295 134512640 134714508 3221221792 3221218368 1075967886 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15491 13815 1111 63 0 15428 0
vsize: 61964
[startup+560.498 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8175
Raw data (stat): 8175 (bsolo_lpr) R 8174 7876 7672 0 -1 0 16898 0 0 0 55998 54 0 0 25 0 1 0 725490076 63287296 13820 4294967295 134512640 134714508 3221221792 3221217596 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15451 13820 1111 63 0 15388 0
vsize: 61804
[startup+570.498 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8175
Raw data (stat): 8175 (bsolo_lpr) R 8174 7876 7672 0 -1 0 16902 0 0 0 56998 54 0 0 25 0 1 0 725490076 63287296 13820 4294967295 134512640 134714508 3221221792 3221217952 1075115709 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15451 13820 1111 63 0 15388 0
vsize: 61804
[startup+580.498 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8175
Raw data (stat): 8175 (bsolo_lpr) R 8174 7876 7672 0 -1 0 16910 0 0 0 57998 54 0 0 25 0 1 0 725490076 63287296 13824 4294967295 134512640 134714508 3221221792 3221217952 1075115715 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15451 13824 1111 63 0 15388 0
vsize: 61804
[startup+590.499 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8175
Raw data (stat): 8175 (bsolo_lpr) R 8174 7876 7672 0 -1 0 16927 0 0 0 58998 54 0 0 25 0 1 0 725490076 63287296 13837 4294967295 134512640 134714508 3221221792 3221217744 1074790363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15451 13837 1111 63 0 15388 0
vsize: 61804
[startup+600.499 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8175
Raw data (stat): 8175 (bsolo_lpr) R 8174 7876 7672 0 -1 0 16936 0 0 0 59998 54 0 0 25 0 1 0 725490076 63451136 13844 4294967295 134512640 134714508 3221221792 3221218304 1074885182 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15491 13844 1111 63 0 15428 0
vsize: 61964
[startup+610.499 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8175
Raw data (stat): 8175 (bsolo_lpr) R 8174 7876 7672 0 -1 0 16938 0 0 0 60999 54 0 0 25 0 1 0 725490076 63287296 13842 4294967295 134512640 134714508 3221221792 3221217680 1075965246 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15451 13842 1111 63 0 15388 0
vsize: 61804
[startup+620.501 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8175
Raw data (stat): 8175 (bsolo_lpr) R 8174 7876 7672 0 -1 0 16947 0 0 0 61999 54 0 0 25 0 1 0 725490076 63287296 13847 4294967295 134512640 134714508 3221221792 3221217596 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15451 13847 1111 63 0 15388 0
vsize: 61804
[startup+630.502 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8175
Raw data (stat): 8175 (bsolo_lpr) R 8174 7876 7672 0 -1 0 16952 0 0 0 62999 54 0 0 25 0 1 0 725490076 63287296 13848 4294967295 134512640 134714508 3221221792 3221217724 1074788953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15451 13848 1111 63 0 15388 0
vsize: 61804
[startup+640.502 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8175
Raw data (stat): 8175 (bsolo_lpr) R 8174 7876 7672 0 -1 0 16956 0 0 0 63999 54 0 0 25 0 1 0 725490076 63287296 13848 4294967295 134512640 134714508 3221221792 3221217596 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15451 13848 1111 63 0 15388 0
vsize: 61804
[startup+650.503 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8175
Raw data (stat): 8175 (bsolo_lpr) R 8174 7876 7672 0 -1 0 16962 0 0 0 65000 54 0 0 25 0 1 0 725490076 63287296 13852 4294967295 134512640 134714508 3221221792 3221217952 1075115709 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15451 13852 1111 63 0 15388 0
vsize: 61804
[startup+660.503 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8175
Raw data (stat): 8175 (bsolo_lpr) R 8174 7876 7672 0 -1 0 16966 0 0 0 66000 54 0 0 25 0 1 0 725490076 63287296 13852 4294967295 134512640 134714508 3221221792 3221217952 1075115730 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15451 13852 1111 63 0 15388 0
vsize: 61804
[startup+670.505 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8175
Raw data (stat): 8175 (bsolo_lpr) R 8174 7876 7672 0 -1 0 16971 0 0 0 67000 54 0 0 25 0 1 0 725490076 63287296 13853 4294967295 134512640 134714508 3221221792 3221217680 1075965232 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15451 13853 1111 63 0 15388 0
vsize: 61804
[startup+680.505 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8175
Raw data (stat): 8175 (bsolo_lpr) R 8174 7876 7672 0 -1 0 16975 0 0 0 68000 55 0 0 25 0 1 0 725490076 63287296 13853 4294967295 134512640 134714508 3221221792 3221217596 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15451 13853 1111 63 0 15388 0
vsize: 61804
[startup+690.504 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8175
Raw data (stat): 8175 (bsolo_lpr) R 8174 7876 7672 0 -1 0 23247 0 0 0 68987 68 0 0 25 0 1 0 725490076 50298880 11507 4294967295 134512640 134714508 3221221792 3221219864 1074950114 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12280 11507 1111 63 0 12217 0
vsize: 49120
[startup+700.505 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8175
Raw data (stat): 8175 (bsolo_lpr) R 8174 7876 7672 0 -1 0 24819 0 0 0 69980 75 0 0 25 0 1 0 725490076 50843648 11513 4294967295 134512640 134714508 3221221792 3221219732 1074786479 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12413 11513 1111 63 0 12350 0
vsize: 49652
[startup+710.505 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8175
Raw data (stat): 8175 (bsolo_lpr) R 8174 7876 7672 0 -1 0 26421 0 0 0 70974 81 0 0 25 0 1 0 725490076 50843648 11513 4294967295 134512640 134714508 3221221792 3221219732 1074786556 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12413 11513 1111 63 0 12350 0
vsize: 49652
[startup+720.505 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8175
Raw data (stat): 8175 (bsolo_lpr) R 8174 7876 7672 0 -1 0 55542 0 0 0 71896 159 0 0 25 0 1 0 725490076 54644736 10662 4294967295 134512640 134714508 3221221792 3221218848 1075084528 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13341 10662 1111 63 0 13278 0
vsize: 53364
[startup+730.506 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8175
Raw data (stat): 8175 (bsolo_lpr) R 8174 7876 7672 0 -1 0 61499 0 0 0 72879 176 0 0 25 0 1 0 725490076 44814336 10223 4294967295 134512640 134714508 3221221792 3221219792 1074051745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10941 10223 1111 63 0 10878 0
vsize: 43764
[startup+740.506 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8175
Raw data (stat): 8175 (bsolo_lpr) R 8174 7876 7672 0 -1 0 76460 0 0 0 73841 214 0 0 25 0 1 0 725490076 44830720 10227 4294967295 134512640 134714508 3221221792 3221220068 1077374550 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10945 10227 1111 63 0 10882 0
vsize: 43780
[startup+750.507 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8175
Raw data (stat): 8175 (bsolo_lpr) R 8174 7876 7672 0 -1 0 93291 0 0 0 74799 256 0 0 25 0 1 0 725490076 44830720 10230 4294967295 134512640 134714508 3221221792 3221220192 1074153779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10945 10230 1111 63 0 10882 0
vsize: 43780
[startup+760.507 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8175
Raw data (stat): 8175 (bsolo_lpr) R 8174 7876 7672 0 -1 0 111617 0 0 0 75750 305 0 0 25 0 1 0 725490076 45363200 10311 4294967295 134512640 134714508 3221221792 3221218984 1074138315 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12318 10315 1111 63 0 12255 0
vsize: 44300
[startup+770.508 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8175
Raw data (stat): 8175 (bsolo_lpr) R 8174 7876 7672 0 -1 0 128355 0 0 0 76707 348 0 0 25 0 1 0 725490076 44847104 10234 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10949 10234 1111 63 0 10886 0
vsize: 43796
[startup+780.509 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8175
Raw data (stat): 8175 (bsolo_lpr) R 8174 7876 7672 0 -1 0 141524 0 0 0 77672 383 0 0 25 0 1 0 725490076 44912640 10250 4294967295 134512640 134714508 3221221792 3221220176 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10965 10250 1111 63 0 10902 0
vsize: 43860
[startup+790.509 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8175
Raw data (stat): 8175 (bsolo_lpr) R 8174 7876 7672 0 -1 0 154523 0 0 0 78639 416 0 0 25 0 1 0 725490076 44879872 10242 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10957 10242 1111 63 0 10894 0
vsize: 43828
[startup+800.51 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8175
Raw data (stat): 8175 (bsolo_lpr) R 8174 7876 7672 0 -1 0 169576 0 0 0 79601 455 0 0 25 0 1 0 725490076 44797952 10222 4294967295 134512640 134714508 3221221792 3221220172 1074143072 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10937 10222 1111 63 0 10874 0
vsize: 43748
[startup+810.509 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8175
Raw data (stat): 8175 (bsolo_lpr) R 8174 7876 7672 0 -1 0 186253 0 0 0 80559 497 0 0 25 0 1 0 725490076 60178432 10441 4294967295 134512640 134714508 3221221792 3221218912 1074834317 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14692 10441 1111 63 0 14629 0
vsize: 58768
[startup+820.511 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8175
Raw data (stat): 8175 (bsolo_lpr) R 8174 7876 7672 0 -1 0 194304 0 0 0 81539 517 0 0 25 0 1 0 725490076 44912640 10250 4294967295 134512640 134714508 3221221792 3221220176 1074153792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10965 10250 1111 63 0 10902 0
vsize: 43860
[startup+830.512 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8175
Raw data (stat): 8175 (bsolo_lpr) R 8174 7876 7672 0 -1 0 206778 0 0 0 82509 547 0 0 25 0 1 0 725490076 44879872 10242 4294967295 134512640 134714508 3221221792 3221220176 1074153753 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10957 10242 1111 63 0 10894 0
vsize: 43828
[startup+840.511 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8175
Raw data (stat): 8175 (bsolo_lpr) R 8174 7876 7672 0 -1 0 219302 0 0 0 83478 579 0 0 25 0 1 0 725490076 44863488 10238 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10953 10238 1111 63 0 10890 0
vsize: 43812
[startup+850.511 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8175
Raw data (stat): 8175 (bsolo_lpr) R 8174 7876 7672 0 -1 0 231916 0 0 0 84448 609 0 0 25 0 1 0 725490076 45801472 10356 4294967295 134512640 134714508 3221221792 3221219632 1075798486 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11182 10356 1111 63 0 11119 0
vsize: 44728
[startup+860.512 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8175
Raw data (stat): 8175 (bsolo_lpr) R 8174 7876 7672 0 -1 0 242683 0 0 0 85422 635 0 0 25 0 1 0 725490076 61083648 10708 4294967295 134512640 134714508 3221221792 3221218912 1074834340 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14913 10708 1111 63 0 14850 0
vsize: 59652
[startup+870.513 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8175
Raw data (stat): 8175 (bsolo_lpr) R 8174 7876 7672 0 -1 0 257122 0 0 0 86386 672 0 0 25 0 1 0 725490076 61100032 10685 4294967295 134512640 134714508 3221221792 3221218912 1074835532 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14917 10685 1111 63 0 14854 0
vsize: 59668
[startup+880.513 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8175
Raw data (stat): 8175 (bsolo_lpr) R 8174 7876 7672 0 -1 0 269396 0 0 0 87357 701 0 0 25 0 1 0 725490076 60850176 10579 4294967295 134512640 134714508 3221221792 3221218032 1075115709 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14856 10579 1111 63 0 14793 0
vsize: 59424
[startup+890.513 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8175
Raw data (stat): 8175 (bsolo_lpr) R 8174 7876 7672 0 -1 0 283816 0 0 0 88320 737 0 0 25 0 1 0 725490076 44945408 10258 4294967295 134512640 134714508 3221221792 3221220144 1074115271 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10973 10258 1111 63 0 10910 0
vsize: 43892
[startup+900.514 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8175
Raw data (stat): 8175 (bsolo_lpr) R 8174 7876 7672 0 -1 0 303844 0 0 0 89272 786 0 0 25 0 1 0 725490076 60579840 12270 4294967295 134512640 134714508 3221221792 3221217892 1075964290 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14790 12270 1111 63 0 14727 0
vsize: 59160
[startup+910.514 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8175
Raw data (stat): 8175 (bsolo_lpr) R 8174 7876 7672 0 -1 0 318282 0 0 0 90234 823 0 0 25 0 1 0 725490076 61153280 12423 4294967295 134512640 134714508 3221221792 3221217804 1074788964 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14930 12423 1111 63 0 14867 0
vsize: 59720
[startup+920.515 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8175
Raw data (stat): 8175 (bsolo_lpr) R 8174 7876 7672 0 -1 0 328662 0 0 0 91207 850 0 0 25 0 1 0 725490076 44945408 10258 4294967295 134512640 134714508 3221221792 3221220192 1074153760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10973 10258 1111 63 0 10910 0
vsize: 43892
[startup+930.516 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8175
Raw data (stat): 8175 (bsolo_lpr) R 8174 7876 7672 0 -1 0 341241 0 0 0 92175 882 0 0 25 0 1 0 725490076 44912640 10250 4294967295 134512640 134714508 3221221792 3221220176 1074153792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10965 10250 1111 63 0 10902 0
vsize: 43860
[startup+940.516 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8175
Raw data (stat): 8175 (bsolo_lpr) R 8174 7876 7672 0 -1 0 357726 0 0 0 93133 925 0 0 25 0 1 0 725490076 44912640 10250 4294967295 134512640 134714508 3221221792 3221220176 1074153794 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10965 10250 1111 63 0 10902 0
vsize: 43860
[startup+950.517 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8175
Raw data (stat): 8175 (bsolo_lpr) R 8174 7876 7672 0 -1 0 370834 0 0 0 94098 960 0 0 25 0 1 0 725490076 44847104 10234 4294967295 134512640 134714508 3221221792 3221220176 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10949 10234 1111 63 0 10886 0
vsize: 43796
[startup+960.517 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8175
Raw data (stat): 8175 (bsolo_lpr) R 8174 7876 7672 0 -1 0 379075 0 0 0 95079 979 0 0 25 0 1 0 725490076 44879872 10242 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10957 10242 1111 63 0 10894 0
vsize: 43828
[startup+970.519 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8175
Raw data (stat): 8175 (bsolo_lpr) R 8174 7876 7672 0 -1 0 391866 0 0 0 96048 1010 0 0 25 0 1 0 725490076 45531136 10323 4294967295 134512640 134714508 3221221792 3221219672 1077410163 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11116 10323 1111 63 0 11053 0
vsize: 44464
[startup+980.519 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8175
Raw data (stat): 8175 (bsolo_lpr) R 8174 7876 7672 0 -1 0 402794 0 0 0 97022 1036 0 0 25 0 1 0 725490076 44863488 10246 4294967295 134512640 134714508 3221221792 3221220192 1074153779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10953 10246 1111 63 0 10890 0
vsize: 43812
[startup+990.519 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8175
Raw data (stat): 8175 (bsolo_lpr) R 8174 7876 7672 0 -1 0 411597 0 0 0 98000 1059 0 0 25 0 1 0 725490076 60788736 10568 4294967295 134512640 134714508 3221221792 3221218032 1075115715 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14841 10568 1111 63 0 14778 0
vsize: 59364
[startup+1000.52 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8175
Raw data (stat): 8175 (bsolo_lpr) R 8174 7876 7672 0 -1 0 421950 0 0 0 98973 1085 0 0 25 0 1 0 725490076 44879872 10250 4294967295 134512640 134714508 3221221792 3221220172 1074152822 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10957 10250 1111 63 0 10894 0
vsize: 43828
[startup+1010.52 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8175
Raw data (stat): 8175 (bsolo_lpr) R 8174 7876 7672 0 -1 0 436343 0 0 0 99939 1120 0 0 25 0 1 0 725490076 60313600 10403 4294967295 134512640 134714508 3221221792 3221218864 1074867212 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14725 10403 1111 63 0 14662 0
vsize: 58900
[startup+1020.52 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8175
Raw data (stat): 8175 (bsolo_lpr) R 8174 7876 7672 0 -1 0 450741 0 0 0 100904 1156 0 0 25 0 1 0 725490076 44863488 10246 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10953 10246 1111 63 0 10890 0
vsize: 43812
[startup+1030.52 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8175
Raw data (stat): 8175 (bsolo_lpr) R 8174 7876 7672 0 -1 0 461225 0 0 0 101877 1183 0 0 25 0 1 0 725490076 44912640 10258 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10965 10258 1111 63 0 10902 0
vsize: 43860
[startup+1040.52 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8175
Raw data (stat): 8175 (bsolo_lpr) R 8174 7876 7672 0 -1 0 470001 0 0 0 102853 1206 0 0 25 0 1 0 725490076 61403136 10811 4294967295 134512640 134714508 3221221792 3221217952 1075091577 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14991 10811 1111 63 0 14928 0
vsize: 59964
[startup+1050.52 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8175
Raw data (stat): 8175 (bsolo_lpr) R 8174 7876 7672 0 -1 0 481444 0 0 0 103826 1234 0 0 25 0 1 0 725490076 60956672 11710 4294967295 134512640 134714508 3221221792 3221217952 1075095371 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14882 11718 1111 63 0 14819 0
vsize: 59528
[startup+1060.52 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8175
Raw data (stat): 8175 (bsolo_lpr) R 8174 7876 7672 0 -1 0 494509 0 0 0 104793 1267 0 0 25 0 1 0 725490076 60825600 12347 4294967295 134512640 134714508 3221221792 3221218064 1074960835 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14850 12347 1111 63 0 14787 0
vsize: 59400
[startup+1070.52 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8175
Raw data (stat): 8175 (bsolo_lpr) R 8174 7876 7672 0 -1 0 504938 0 0 0 105766 1294 0 0 25 0 1 0 725490076 44912640 10258 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10965 10258 1111 63 0 10902 0
vsize: 43860
[startup+1080.52 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8175
Raw data (stat): 8175 (bsolo_lpr) R 8174 7876 7672 0 -1 0 517057 0 0 0 106736 1324 0 0 25 0 1 0 725490076 44912640 10258 4294967295 134512640 134714508 3221221792 3221220144 1074153675 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10965 10258 1111 63 0 10902 0
vsize: 43860
[startup+1090.52 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8175
Raw data (stat): 8175 (bsolo_lpr) R 8174 7876 7672 0 -1 0 529624 0 0 0 107706 1354 0 0 25 0 1 0 725490076 44814336 10234 4294967295 134512640 134714508 3221221792 3221220104 1074138150 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10941 10234 1111 63 0 10878 0
vsize: 43764
[startup+1100.53 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8175
Raw data (stat): 8175 (bsolo_lpr) R 8174 7876 7672 0 -1 0 542314 0 0 0 108674 1387 0 0 25 0 1 0 725490076 44879872 10250 4294967295 134512640 134714508 3221221792 3221220104 1074138150 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10957 10250 1111 63 0 10894 0
vsize: 43828
[startup+1110.53 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8175
Raw data (stat): 8175 (bsolo_lpr) R 8174 7876 7672 0 -1 0 556606 0 0 0 109639 1422 0 0 25 0 1 0 725490076 61190144 12421 4294967295 134512640 134714508 3221221792 3221217952 1075095371 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14939 12425 1111 63 0 14876 0
vsize: 59756
[startup+1120.53 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8175
Raw data (stat): 8175 (bsolo_lpr) R 8174 7876 7672 0 -1 0 565412 0 0 0 110618 1444 0 0 25 0 1 0 725490076 61136896 10817 4294967295 134512640 134714508 3221221792 3221217952 1075095344 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14926 10828 1111 63 0 14863 0
vsize: 59704
[startup+1130.53 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8175
Raw data (stat): 8175 (bsolo_lpr) R 8174 7876 7672 0 -1 0 579726 0 0 0 111583 1478 0 0 25 0 1 0 725490076 44863488 10246 4294967295 134512640 134714508 3221221792 3221220104 1074138162 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10953 10246 1111 63 0 10890 0
vsize: 43812
[startup+1140.53 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8175
Raw data (stat): 8175 (bsolo_lpr) R 8174 7876 7672 0 -1 0 587572 0 0 0 112564 1498 0 0 25 0 1 0 725490076 61485056 12550 4294967295 134512640 134714508 3221221792 3221217804 1074788953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15011 12550 1111 63 0 14948 0
vsize: 60044
[startup+1150.53 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8175
Raw data (stat): 8175 (bsolo_lpr) R 8174 7876 7672 0 -1 0 596069 0 0 0 113544 1518 0 0 25 0 1 0 725490076 44879872 10250 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10957 10250 1111 63 0 10894 0
vsize: 43828
[startup+1160.53 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8175
Raw data (stat): 8175 (bsolo_lpr) R 8174 7876 7672 0 -1 0 604076 0 0 0 114523 1539 0 0 25 0 1 0 725490076 44879872 10250 4294967295 134512640 134714508 3221221792 3221220192 1074153760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10957 10250 1111 63 0 10894 0
vsize: 43828
[startup+1170.53 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8175
Raw data (stat): 8175 (bsolo_lpr) R 8174 7876 7672 0 -1 0 616412 0 0 0 115494 1569 0 0 25 0 1 0 725490076 44879872 10250 4294967295 134512640 134714508 3221221792 3221220176 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10957 10250 1111 63 0 10894 0
vsize: 43828
[startup+1176.45 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 8175
Raw data (stat): 8175 (bsolo_lpr) R 8174 7876 7672 0 -1 0 616412 0 0 0 115494 1569 0 0 25 0 1 0 725490076 44879872 10250 4294967295 134512640 134714508 3221221792 3221220176 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10957 10250 1111 63 0 10894 0
vsize: 0

Child status: 10
Real time (s): 1176.45
CPU time (s): 1176.55
CPU user time (s): 1160.59
CPU system time (s): 15.9616
CPU usage (%): 100.009
Max. virtual memory (Kb): 61964
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-21
#### END VERIFIER DATA ####