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/submitted/manquinho/primes-dimacs-cnf/normalized-ii32b3.opb
MD5SUM	2998f4c8b2aa0ba71848641193ef2744
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	331
Optimality of the best value was proved	NO
Number of terms in the objective function	696
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	696
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	696
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	1.03984
Number of variables	696
Total number of constraints	6082
Number of constraints which are clauses	6082
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	32
Trace number 39525

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-07 11:56:25 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27591 boxname=wulflinc4 idbench=149 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  2998f4c8b2aa0ba71848641193ef2744  /oldhome/oroussel/tmp/wulflinc4/normalized-ii32b3.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-ii32b3.opb
IDLAUNCH: 27591
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        398328 kB
Buffers:         34560 kB
Cached:         578232 kB
SwapCached:        568 kB
Active:          57468 kB
Inactive:       557496 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        398076 kB
SwapTotal:     2097136 kB
SwapFree:      2095660 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5328 kB
Slab:            15748 kB
Committed_AS:    71784 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 12:16:02 (client local time) WITH STATUS 10 IN 1176.65 SECONDS
stats: 27591 0 1176.65 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 696 variables and 6082 constraints.
c After prepocess the problem consists of 696 variables and 6082 constraints.
c preprocess terminated 15.724 s
c Initial Lower Bound: 232
c Lower Bound Elapsed time: 1.653
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 348 @ 27.195
c NEW SOLUTION FOUND: 347 @ 27.206
c NEW SOLUTION FOUND: 346 @ 27.214
c NEW SOLUTION FOUND: 344 @ 27.247
c NEW SOLUTION FOUND: 342 @ 45.234
c NEW SOLUTION FOUND: 333 @ 63.532
s SATISFIABLE
v -x1 x2 x3 -x4 -x5 -x6 x7 -x8 -x9 -x10 x11 -x12 x13 -x14 x15 -x16 x17 -x18 x19 -x20 -x21 -x22 x23 -x24 x25 -x26 x27 -x28 x29 -x30 -x31 -x32 x33 -x34 -x35 x36 x37 -x38 -x39 -x40 x41 -x42 -x43 -x44 x45 -x46 -x47 x48 -x49 -x50 x51 -x52 x53 -x54 -x55 x56 x57 -x58 x59 -x60 x61 -x62 -x63 -x64 -x65 x66 x67 -x68 x69 -x70 x71 -x72 x73 -x74 -x75 -x76 -x77 -x78 x79 -x80 x81 -x82 -x83 -x84 -x85 -x86 x87 -x88 x89 -x90 x91 -x92 x93 -x94 x95 -x96 x97 -x98 x99 -x100 x101 -x102 x103 -x104 x105 -x106 x107 -x108 x109 -x110 x111 -x112 x113 -x114 x115 -x116 x117 -x118 x119 -x120 -x121 -x122 x123 -x124 x125 -x126 x127 -x128 x129 -x130 x131 -x132 -x133 x134 x135 -x136 x137 -x138 x139 -x140 x141 -x142 x143 -x144 x145 -x146 -x147 x148 x149 -x150 x151 -x152 x153 -x154 x155 -x156 x157 -x158 x159 -x160 x161 -x162 x163 -x164 x165 -x166 x167 -x168 x169 -x170 x171 -x172 x173 -x174 x175 -x176 x177 -x178 x179 -x180 x181 -x182 x183 -x184 x185 -x186 x187 -x188 x189 -x190 x191 -x192 x193 -x194 x195 -x196 x197 -x198 x199 -x200 x201 -x202 x203 -x204 x205 -x206 -x207 x208 x209 -x210 x211 -x212 x213 -x214 x215 -x216 x217 -x218 x219 -x220 x221 -x222 x223 -x224 x225 -x226 x227 -x228 x229 -x230 x231 -x232 x233 -x234 x235 -x236 x237 -x238 x239 -x240 x241 -x242 x243 -x244 x245 -x246 x247 -x248 x249 -x250 x251 -x252 -x253 x254 x255 -x256 x257 -x258 x259 -x260 x261 -x262 x263 -x264 x265 -x266 x267 -x268 x269 -x270 x271 -x272 x273 -x274 x275 -x276 x277 -x278 x279 -x280 x281 -x282 x283 -x284 x285 -x286 x287 -x288 x289 -x290 x291 -x292 x293 -x294 x295 -x296 x297 -x298 x299 -x300 x301 -x302 x303 -x304 x305 -x306 x307 -x308 x309 -x310 x311 -x312 x313 -x314 x315 -x316 x317 -x318 x319 -x320 x321 -x322 x323 -x324 x325 -x326 x327 -x328 -x329 x330 x331 -x332 x333 -x334 x335 -x336 x337 -x338 x339 -x340 x341 -x342 x343 -x344 x345 -x346 -x347 x348 x349 -x350 x351 -x352 x353 -x354 x355 -x356 -x357 x358 x359 -x360 x361 -x362 x363 -x364 x365 -x366 x367 -x368 x369 -x370 x371 -x372 x373 -x374 x375 -x376 x377 -x378 x379 -x380 x381 -x382 x383 -x384 -x385 x386 x387 -x388 -x389 x390 -x391 x392 -x393 x394 x395 -x396 -x397 x398 -x399 x400 x401 -x402 -x403 x404 -x405 x406 x407 -x408 -x409 x410 -x411 x412 x413 -x414 x415 -x416 -x417 x418 -x419 x420 -x421 x422 -x423 x424 x425 -x426 -x427 x428 -x429 x430 x431 -x432 -x433 x434 -x435 x436 x437 -x438 -x439 x440 x441 -x442 -x443 x444 -x445 x446 x447 -x448 -x449 x450 -x451 x452 -x453 x454 x455 -x456 -x457 x458 -x459 -x460 x461 -x462 -x463 x464 -x465 x466 x467 -x468 -x469 x470 -x471 x472 x473 -x474 -x475 x476 -x477 x478 x479 -x480 -x481 x482 -x483 x484 x485 -x486 -x487 x488 -x489 x490 x491 -x492 -x493 x494 x495 -x496 -x497 x498 -x499 x500 x501 -x502 -x503 x504 -x505 x506 -x507 x508 x509 -x510 -x511 x512 x513 -x514 -x515 x516 x517 -x518 -x519 x520 -x521 x522 -x523 x524 -x525 x526 x527 -x528 -x529 x530 x531 -x532 -x533 x534 -x535 x536 x537 -x538 -x539 x540 -x541 x542 -x543 x544 x545 -x546 -x547 x548 x549 -x550 -x551 x552 -x553 x554 -x555 x556 x557 -x558 -x559 x560 -x561 x562 x563 -x564 -x565 x566 x567 -x568 -x569 x570 -x571 x572 x573 -x574 -x575 x576 -x577 x578 x579 -x580 -x581 x582 -x583 x584 -x585 x586 x587 -x588 -x589 x590 -x591 x592 x593 -x594 -x595 x596 -x597 x598 x599 -x600 -x601 x602 -x603 x604 x605 -x606 -x607 x608 x609 -x610 -x611 x612 -x613 x614 x615 -x616 -x617 x618 -x619 x620 -x621 x622 x623 -x624 -x625 x626 -x627 x628 x629 -x630 -x631 x632 x633 -x634 -x635 -x636 -x637 x638 -x639 x640 x641 -x642 -x643 x644 x645 -x646 -x647 x648 -x649 x650 x651 -x652 -x653 x654 -x655 x656 x657 -x658 -x659 x660 -x661 x662 -x663 x664 x665 -x666 -x667 x668 x669 -x670 -x671 x672 -x673 x674 -x675 x676 x677 -x678 -x679 x680 -x681 x682 x683 -x684 -x685 x686 x687 -x688 -x689 x690 -x691 x692 -x693 x694 x695 -x696 
c Exit Code: 10
c Total time: 1176.64 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
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.92 0.98 0.93 1/54 13287
Raw data (stat): 13287 (runsolver) R 13286 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 892792683 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0006 s]
Raw data (loadavg): 0.93 0.98 0.93 2/54 13287
Raw data (stat): 13287 (bsolo_lpr-v2) R 13286 21152 21151 0 -1 0 2014 0 0 0 991 6 0 0 25 0 1 0 892792683 11423744 1931 4294967295 134512640 134716908 3221224592 3221223264 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2789 1931 1111 63 0 2726 0
vsize: 11156
[startup+20.002 s]
Raw data (loadavg): 0.94 0.98 0.93 2/54 13287
Raw data (stat): 13287 (bsolo_lpr-v2) R 13286 21152 21151 0 -1 0 3420 0 0 0 1988 9 0 0 25 0 1 0 892792683 17436672 3142 4294967295 134512640 134716908 3221224592 3221220364 1074787518 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4257 3142 1111 63 0 4194 0
vsize: 17028
[startup+30.0028 s]
Raw data (loadavg): 0.95 0.98 0.93 2/54 13287
Raw data (stat): 13287 (bsolo_lpr-v2) R 13286 21152 21151 0 -1 0 8747 0 0 0 2975 22 0 0 25 0 1 0 892792683 15728640 2657 4294967295 134512640 134716908 3221224592 3221221136 1075088563 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3840 2657 1111 63 0 3777 0
vsize: 15360
[startup+40.0031 s]
Raw data (loadavg): 0.96 0.98 0.93 2/54 13287
Raw data (stat): 13287 (bsolo_lpr-v2) R 13286 21152 21151 0 -1 0 11558 0 0 0 3967 29 0 0 25 0 1 0 892792683 16187392 2784 4294967295 134512640 134716908 3221224592 3221220820 1075114950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3952 2784 1111 63 0 3889 0
vsize: 15808
[startup+50.0035 s]
Raw data (loadavg): 0.96 0.98 0.93 2/54 13287
Raw data (stat): 13287 (bsolo_lpr-v2) R 13286 21152 21151 0 -1 0 14623 0 0 0 4961 35 0 0 25 0 1 0 892792683 16384000 2824 4294967295 134512640 134716908 3221224592 3221220864 1074961264 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4000 2824 1111 63 0 3937 0
vsize: 16000
[startup+60.0042 s]
Raw data (loadavg): 0.97 0.98 0.93 2/54 13287
Raw data (stat): 13287 (bsolo_lpr-v2) R 13286 21152 21151 0 -1 0 17220 0 0 0 5954 42 0 0 25 0 1 0 892792683 15884288 2700 4294967295 134512640 134716908 3221224592 3221221512 1074950108 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3878 2700 1111 63 0 3815 0
vsize: 15512
[startup+70.0047 s]
Raw data (loadavg): 0.97 0.98 0.93 2/54 13287
Raw data (stat): 13287 (bsolo_lpr-v2) R 13286 21152 21151 0 -1 0 21274 0 0 0 6945 51 0 0 25 0 1 0 892792683 16363520 2845 4294967295 134512640 134716908 3221224592 3221221248 1075967892 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3995 2845 1111 63 0 3932 0
vsize: 15980
[startup+80.0045 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 13287
Raw data (stat): 13287 (bsolo_lpr-v2) R 13286 21152 21151 0 -1 0 24580 0 0 0 7937 59 0 0 25 0 1 0 892792683 15953920 2711 4294967295 134512640 134716908 3221224592 3221221680 1075661523 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3895 2711 1111 63 0 3832 0
vsize: 15580
[startup+90.0047 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 13287
Raw data (stat): 13287 (bsolo_lpr-v2) R 13286 21152 21151 0 -1 0 28845 0 0 0 8926 70 0 0 25 0 1 0 892792683 16179200 2744 4294967295 134512640 134716908 3221224592 3221220736 1074970267 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3950 2744 1111 63 0 3887 0
vsize: 15800
[startup+100.005 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 13287
Raw data (stat): 13287 (bsolo_lpr-v2) R 13286 21152 21151 0 -1 0 32145 0 0 0 9919 78 0 0 25 0 1 0 892792683 13131776 2526 4294967295 134512640 134716908 3221224592 3221222904 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3206 2526 1111 63 0 3143 0
vsize: 12824
[startup+110.005 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 13287
Raw data (stat): 13287 (bsolo_lpr-v2) R 13286 21152 21151 0 -1 0 37025 0 0 0 10909 88 0 0 25 0 1 0 892792683 16384000 2854 4294967295 134512640 134716908 3221224592 3221221552 1074790221 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4000 2854 1111 63 0 3937 0
vsize: 16000
[startup+120.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 13287
Raw data (stat): 13287 (bsolo_lpr-v2) R 13286 21152 21151 0 -1 0 39912 0 0 0 11902 95 0 0 25 0 1 0 892792683 13131776 2526 4294967295 134512640 134716908 3221224592 3221222992 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3206 2526 1111 63 0 3143 0
vsize: 12824
[startup+130.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 13287
Raw data (stat): 13287 (bsolo_lpr-v2) R 13286 21152 21151 0 -1 0 43652 0 0 0 12894 104 0 0 25 0 1 0 892792683 13131776 2526 4294967295 134512640 134716908 3221224592 3221222976 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3206 2526 1111 63 0 3143 0
vsize: 12824
[startup+140.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 13287
Raw data (stat): 13287 (bsolo_lpr-v2) R 13286 21152 21151 0 -1 0 48715 0 0 0 13883 115 0 0 25 0 1 0 892792683 16703488 2922 4294967295 134512640 134716908 3221224592 3221220736 1074969440 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4078 2922 1111 63 0 4015 0
vsize: 16312
[startup+150.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 13287
Raw data (stat): 13287 (bsolo_lpr-v2) R 13286 21152 21151 0 -1 0 51337 0 0 0 14875 122 0 0 25 0 1 0 892792683 13131776 2526 4294967295 134512640 134716908 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3206 2526 1111 63 0 3143 0
vsize: 12824
[startup+160.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 13287
Raw data (stat): 13287 (bsolo_lpr-v2) R 13286 21152 21151 0 -1 0 54290 0 0 0 15868 130 0 0 25 0 1 0 892792683 16420864 2855 4294967295 134512640 134716908 3221224592 3221220820 1075115109 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4009 2855 1111 63 0 3946 0
vsize: 16036
[startup+170.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 13287
Raw data (stat): 13287 (bsolo_lpr-v2) R 13286 21152 21151 0 -1 0 57032 0 0 0 16861 137 0 0 25 0 1 0 892792683 13131776 2526 4294967295 134512640 134716908 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3206 2526 1111 63 0 3143 0
vsize: 12824
[startup+180.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 13287
Raw data (stat): 13287 (bsolo_lpr-v2) R 13286 21152 21151 0 -1 0 59779 0 0 0 17855 143 0 0 25 0 1 0 892792683 13131776 2526 4294967295 134512640 134716908 3221224592 3221222928 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3206 2526 1111 63 0 3143 0
vsize: 12824
[startup+190.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 13287
Raw data (stat): 13287 (bsolo_lpr-v2) R 13286 21152 21151 0 -1 0 62524 0 0 0 18848 151 0 0 25 0 1 0 892792683 16388096 2828 4294967295 134512640 134716908 3221224592 3221220928 1075113472 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4001 2828 1111 63 0 3938 0
vsize: 16004
[startup+200.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 13287
Raw data (stat): 13287 (bsolo_lpr-v2) R 13286 21152 21151 0 -1 0 65243 0 0 0 19842 157 0 0 25 0 1 0 892792683 13131776 2526 4294967295 134512640 134716908 3221224592 3221222896 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3206 2526 1111 63 0 3143 0
vsize: 12824
[startup+210.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 13287
Raw data (stat): 13287 (bsolo_lpr-v2) R 13286 21152 21151 0 -1 0 68305 0 0 0 20834 165 0 0 25 0 1 0 892792683 13131776 2526 4294967295 134512640 134716908 3221224592 3221222908 1074206272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3206 2526 1111 63 0 3143 0
vsize: 12824
[startup+220.012 s]
Raw data (loadavg): 0.99 0.98 0.93 2/57 13324
Raw data (stat): 13287 (bsolo_lpr-v2) R 13286 21152 21151 0 -1 0 71562 0 0 0 21827 172 0 0 25 0 1 0 892792683 13131776 2526 4294967295 134512640 134716908 3221224592 3221223232 134652402 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3206 2526 1111 63 0 3143 0
vsize: 12824
[startup+230.011 s]
Raw data (loadavg): 1.07 1.00 0.94 2/54 13340
Raw data (stat): 13287 (bsolo_lpr-v2) R 13286 21152 21151 0 -1 0 74034 0 0 0 22821 179 0 0 25 0 1 0 892792683 13266944 2528 4294967295 134512640 134716908 3221224592 3221222992 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3239 2528 1111 63 0 3176 0
vsize: 12956
[startup+240.012 s]
Raw data (loadavg): 1.06 1.00 0.94 2/54 13340
Raw data (stat): 13287 (bsolo_lpr-v2) R 13286 21152 21151 0 -1 0 76773 0 0 0 23814 185 0 0 25 0 1 0 892792683 16478208 2895 4294967295 134512640 134716908 3221224592 3221220820 1075114948 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4023 2895 1111 63 0 3960 0
vsize: 16092
[startup+250.011 s]
Raw data (loadavg): 1.05 1.00 0.94 2/54 13340
Raw data (stat): 13287 (bsolo_lpr-v2) R 13286 21152 21151 0 -1 0 79586 0 0 0 24808 191 0 0 25 0 1 0 892792683 16338944 2802 4294967295 134512640 134716908 3221224592 3221220864 1074961256 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3989 2802 1111 63 0 3926 0
vsize: 15956
[startup+260.011 s]
Raw data (loadavg): 1.04 1.00 0.94 2/54 13340
Raw data (stat): 13287 (bsolo_lpr-v2) R 13286 21152 21151 0 -1 0 82388 0 0 0 25800 199 0 0 25 0 1 0 892792683 13164544 2534 4294967295 134512640 134716908 3221224592 3221222992 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3214 2534 1111 63 0 3151 0
vsize: 12856
[startup+270.011 s]
Raw data (loadavg): 1.03 1.00 0.94 2/54 13340
Raw data (stat): 13287 (bsolo_lpr-v2) R 13286 21152 21151 0 -1 0 84990 0 0 0 26794 206 0 0 25 0 1 0 892792683 13201408 2543 4294967295 134512640 134716908 3221224592 3221223216 134652482 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3223 2543 1111 63 0 3160 0
vsize: 12892
[startup+280.011 s]
Raw data (loadavg): 1.03 1.00 0.94 2/54 13340
Raw data (stat): 13287 (bsolo_lpr-v2) R 13286 21152 21151 0 -1 0 87576 0 0 0 27788 212 0 0 25 0 1 0 892792683 13225984 2549 4294967295 134512640 134716908 3221224592 3221223132 134539237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3229 2549 1111 63 0 3166 0
vsize: 12916
[startup+290.012 s]
Raw data (loadavg): 1.02 1.00 0.94 2/54 13342
Raw data (stat): 13287 (bsolo_lpr-v2) R 13286 21152 21151 0 -1 0 90256 0 0 0 28782 219 0 0 25 0 1 0 892792683 15974400 2681 4294967295 134512640 134716908 3221224592 3221220928 1075113502 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3900 2681 1111 63 0 3837 0
vsize: 15600
[startup+300.013 s]
Raw data (loadavg): 1.02 1.00 0.94 2/54 13342
Raw data (stat): 13287 (bsolo_lpr-v2) R 13286 21152 21151 0 -1 0 93197 0 0 0 29775 225 0 0 25 0 1 0 892792683 16314368 2833 4294967295 134512640 134716908 3221224592 3221220648 1074789611 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3983 2833 1111 63 0 3920 0
vsize: 15932
[startup+310.012 s]
Raw data (loadavg): 1.02 1.00 0.94 2/54 13342
Raw data (stat): 13287 (bsolo_lpr-v2) R 13286 21152 21151 0 -1 0 96022 0 0 0 30768 233 0 0 25 0 1 0 892792683 13447168 2575 4294967295 134512640 134716908 3221224592 3221222336 1075646800 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3283 2575 1111 63 0 3220 0
vsize: 13132
[startup+320.012 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 13342
Raw data (stat): 13287 (bsolo_lpr-v2) R 13286 21152 21151 0 -1 0 99200 0 0 0 31760 241 0 0 25 0 1 0 892792683 13750272 2645 4294967295 134512640 134716908 3221224592 3221222592 1074916565 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3357 2645 1111 63 0 3294 0
vsize: 13428
[startup+330.012 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 13342
Raw data (stat): 13287 (bsolo_lpr-v2) R 13286 21152 21151 0 -1 0 102086 0 0 0 32754 247 0 0 25 0 1 0 892792683 13393920 2590 4294967295 134512640 134716908 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3270 2590 1111 63 0 3207 0
vsize: 13080
[startup+340.013 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 13342
Raw data (stat): 13287 (bsolo_lpr-v2) R 13286 21152 21151 0 -1 0 104766 0 0 0 33747 254 0 0 25 0 1 0 892792683 13529088 2592 4294967295 134512640 134716908 3221224592 3221222640 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3303 2592 1111 63 0 3240 0
vsize: 13212
[startup+350.012 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 13342
Raw data (stat): 13287 (bsolo_lpr-v2) R 13286 21152 21151 0 -1 0 107608 0 0 0 34740 261 0 0 25 0 1 0 892792683 13672448 2658 4294967295 134512640 134716908 3221224592 3221222992 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3338 2658 1111 63 0 3275 0
vsize: 13352
[startup+360.013 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 13342
Raw data (stat): 13287 (bsolo_lpr-v2) R 13286 21152 21151 0 -1 0 110134 0 0 0 35735 267 0 0 25 0 1 0 892792683 16105472 2766 4294967295 134512640 134716908 3221224592 3221220864 1074960876 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3932 2766 1111 63 0 3869 0
vsize: 15728
[startup+370.013 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 13342
Raw data (stat): 13287 (bsolo_lpr-v2) R 13286 21152 21151 0 -1 0 111826 0 0 0 36730 271 0 0 25 0 1 0 892792683 13672448 2658 4294967295 134512640 134716908 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3338 2658 1111 63 0 3275 0
vsize: 13352
[startup+380.013 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 13342
Raw data (stat): 13287 (bsolo_lpr-v2) R 13286 21152 21151 0 -1 0 115477 0 0 0 37723 279 0 0 25 0 1 0 892792683 16715776 2917 4294967295 134512640 134716908 3221224592 3221221536 1074620113 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4081 2917 1111 63 0 4018 0
vsize: 16324
[startup+390.013 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 13342
Raw data (stat): 13287 (bsolo_lpr-v2) R 13286 21152 21151 0 -1 0 117902 0 0 0 38718 284 0 0 25 0 1 0 892792683 13393920 2590 4294967295 134512640 134716908 3221224592 3221222968 1074063729 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3270 2590 1111 63 0 3207 0
vsize: 13080
[startup+400.014 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 13342
Raw data (stat): 13287 (bsolo_lpr-v2) R 13286 21152 21151 0 -1 0 120649 0 0 0 39711 291 0 0 25 0 1 0 892792683 17203200 3085 4294967295 134512640 134716908 3221224592 3221221632 1075971413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4200 3085 1111 63 0 4137 0
vsize: 16800
[startup+410.014 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 13342
Raw data (stat): 13287 (bsolo_lpr-v2) R 13286 21152 21151 0 -1 0 123369 0 0 0 40705 297 0 0 25 0 1 0 892792683 17231872 3076 4294967295 134512640 134716908 3221224592 3221220820 1075115049 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4207 3076 1111 63 0 4144 0
vsize: 16828
[startup+420.014 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 13342
Raw data (stat): 13287 (bsolo_lpr-v2) R 13286 21152 21151 0 -1 0 125934 0 0 0 41699 303 0 0 25 0 1 0 892792683 13705216 2666 4294967295 134512640 134716908 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3346 2666 1111 63 0 3283 0
vsize: 13384
[startup+430.014 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 13342
Raw data (stat): 13287 (bsolo_lpr-v2) R 13286 21152 21151 0 -1 0 128591 0 0 0 42694 309 0 0 25 0 1 0 892792683 13705216 2666 4294967295 134512640 134716908 3221224592 3221222992 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3346 2666 1111 63 0 3283 0
vsize: 13384
[startup+440.014 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 13342
Raw data (stat): 13287 (bsolo_lpr-v2) R 13286 21152 21151 0 -1 0 131298 0 0 0 43688 315 0 0 25 0 1 0 892792683 17174528 3100 4294967295 134512640 134716908 3221224592 3221221596 1074621032 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4193 3100 1111 63 0 4130 0
vsize: 16772
[startup+450.014 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 13342
Raw data (stat): 13287 (bsolo_lpr-v2) R 13286 21152 21151 0 -1 0 134175 0 0 0 44682 321 0 0 25 0 1 0 892792683 13705216 2666 4294967295 134512640 134716908 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3346 2666 1111 63 0 3283 0
vsize: 13384
[startup+460.014 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 13342
Raw data (stat): 13287 (bsolo_lpr-v2) R 13286 21152 21151 0 -1 0 137176 0 0 0 45675 328 0 0 25 0 1 0 892792683 16306176 2781 4294967295 134512640 134716908 3221224592 3221221424 1075115406 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3981 2781 1111 63 0 3918 0
vsize: 15924
[startup+470.015 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 13342
Raw data (stat): 13287 (bsolo_lpr-v2) R 13286 21152 21151 0 -1 0 139860 0 0 0 46669 334 0 0 25 0 1 0 892792683 17022976 2937 4294967295 134512640 134716908 3221224592 3221220864 1074961496 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4156 2937 1111 63 0 4093 0
vsize: 16624
[startup+480.015 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 13342
Raw data (stat): 13287 (bsolo_lpr-v2) R 13286 21152 21151 0 -1 0 142146 0 0 0 47663 340 0 0 25 0 1 0 892792683 16932864 2987 4294967295 134512640 134716908 3221224592 3221220820 1075115003 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4134 2987 1111 63 0 4071 0
vsize: 16536
[startup+490.015 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 13342
Raw data (stat): 13287 (bsolo_lpr-v2) R 13286 21152 21151 0 -1 0 144107 0 0 0 48658 346 0 0 25 0 1 0 892792683 13840384 2685 4294967295 134512640 134716908 3221224592 3221222832 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3379 2685 1111 63 0 3316 0
vsize: 13516
[startup+500.015 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 13342
Raw data (stat): 13287 (bsolo_lpr-v2) R 13286 21152 21151 0 -1 0 147358 0 0 0 49650 354 0 0 25 0 1 0 892792683 13705216 2666 4294967295 134512640 134716908 3221224592 3221222592 1074918591 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3346 2666 1111 63 0 3283 0
vsize: 13384
[startup+510.016 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 13342
Raw data (stat): 13287 (bsolo_lpr-v2) R 13286 21152 21151 0 -1 0 150362 0 0 0 50643 361 0 0 25 0 1 0 892792683 13848576 2701 4294967295 134512640 134716908 3221224592 3221223248 134543712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3381 2701 1111 63 0 3318 0
vsize: 13524
[startup+520.016 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 13342
Raw data (stat): 13287 (bsolo_lpr-v2) R 13286 21152 21151 0 -1 0 153080 0 0 0 51637 367 0 0 25 0 1 0 892792683 13795328 2688 4294967295 134512640 134716908 3221224592 3221222992 1074153815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3368 2688 1111 63 0 3305 0
vsize: 13472
[startup+530.016 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 13342
Raw data (stat): 13287 (bsolo_lpr-v2) R 13286 21152 21151 0 -1 0 155159 0 0 0 52632 372 0 0 25 0 1 0 892792683 17608704 3193 4294967295 134512640 134716908 3221224592 3221220812 1075116767 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4299 3193 1111 63 0 4236 0
vsize: 17196
[startup+540.017 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 13342
Raw data (stat): 13287 (bsolo_lpr-v2) R 13286 21152 21151 0 -1 0 158180 0 0 0 53625 380 0 0 25 0 1 0 892792683 17469440 3123 4294967295 134512640 134716908 3221224592 3221220736 1074970231 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4265 3123 1111 63 0 4202 0
vsize: 17060
[startup+550.017 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 13342
Raw data (stat): 13287 (bsolo_lpr-v2) R 13286 21152 21151 0 -1 0 161435 0 0 0 54617 388 0 0 25 0 1 0 892792683 13963264 2702 4294967295 134512640 134716908 3221224592 3221222688 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3409 2702 1111 63 0 3346 0
vsize: 13636
[startup+560.016 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 13342
Raw data (stat): 13287 (bsolo_lpr-v2) R 13286 21152 21151 0 -1 0 165117 0 0 0 55608 397 0 0 25 0 1 0 892792683 17543168 3199 4294967295 134512640 134716908 3221224592 3221220736 1074970277 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4283 3199 1111 63 0 4220 0
vsize: 17132
[startup+570.018 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 13344
Raw data (stat): 13287 (bsolo_lpr-v2) R 13286 21152 21151 0 -1 0 168350 0 0 0 56601 404 0 0 25 0 1 0 892792683 13705216 2666 4294967295 134512640 134716908 3221224592 3221222904 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3346 2666 1111 63 0 3283 0
vsize: 13384
[startup+580.018 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 13344
Raw data (stat): 13287 (bsolo_lpr-v2) R 13286 21152 21151 0 -1 0 171142 0 0 0 57595 410 0 0 25 0 1 0 892792683 13705216 2666 4294967295 134512640 134716908 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3346 2666 1111 63 0 3283 0
vsize: 13384
[startup+590.018 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 13344
Raw data (stat): 13287 (bsolo_lpr-v2) R 13286 21152 21151 0 -1 0 174236 0 0 0 58588 418 0 0 25 0 1 0 892792683 17235968 3039 4294967295 134512640 134716908 3221224592 3221220752 1075091583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4208 3039 1111 63 0 4145 0
vsize: 16832
[startup+600.018 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 13344
Raw data (stat): 13287 (bsolo_lpr-v2) R 13286 21152 21151 0 -1 0 176535 0 0 0 59583 423 0 0 25 0 1 0 892792683 14565376 2784 4294967295 134512640 134716908 3221224592 3221222704 1074867340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3556 2784 1111 63 0 3493 0
vsize: 14224
[startup+610.018 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 13344
Raw data (stat): 13287 (bsolo_lpr-v2) R 13286 21152 21151 0 -1 0 179375 0 0 0 60576 430 0 0 25 0 1 0 892792683 17272832 3070 4294967295 134512640 134716908 3221224592 3221220472 1074788494 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4217 3070 1111 63 0 4154 0
vsize: 16868
[startup+620.018 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 13344
Raw data (stat): 13287 (bsolo_lpr-v2) R 13286 21152 21151 0 -1 0 182055 0 0 0 61569 437 0 0 25 0 1 0 892792683 17731584 3200 4294967295 134512640 134716908 3221224592 3221220812 1075116535 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4329 3200 1111 63 0 4266 0
vsize: 17316
[startup+630.018 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 13344
Raw data (stat): 13287 (bsolo_lpr-v2) R 13286 21152 21151 0 -1 0 185416 0 0 0 62561 446 0 0 25 0 1 0 892792683 13705216 2666 4294967295 134512640 134716908 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3346 2666 1111 63 0 3283 0
vsize: 13384
[startup+640.019 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 13344
Raw data (stat): 13287 (bsolo_lpr-v2) R 13286 21152 21151 0 -1 0 188523 0 0 0 63555 452 0 0 25 0 1 0 892792683 17354752 3080 4294967295 134512640 134716908 3221224592 3221220832 1075115724 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4237 3080 1111 63 0 4174 0
vsize: 16948
[startup+650.018 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 13344
Raw data (stat): 13287 (bsolo_lpr-v2) R 13286 21152 21151 0 -1 0 191361 0 0 0 64547 460 0 0 25 0 1 0 892792683 13705216 2666 4294967295 134512640 134716908 3221224592 3221222904 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3346 2666 1111 63 0 3283 0
vsize: 13384
[startup+660.018 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 13344
Raw data (stat): 13287 (bsolo_lpr-v2) R 13286 21152 21151 0 -1 0 194129 0 0 0 65540 467 0 0 25 0 1 0 892792683 16838656 2857 4294967295 134512640 134716908 3221224592 3221220820 1075115049 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4111 2857 1111 63 0 4048 0
vsize: 16444
[startup+670.019 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 13344
Raw data (stat): 13287 (bsolo_lpr-v2) R 13286 21152 21151 0 -1 0 197080 0 0 0 66534 473 0 0 25 0 1 0 892792683 17268736 3024 4294967295 134512640 134716908 3221224592 3221220720 1075561089 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4216 3024 1111 63 0 4153 0
vsize: 16864
[startup+680.019 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 13344
Raw data (stat): 13287 (bsolo_lpr-v2) R 13286 21152 21151 0 -1 0 199932 0 0 0 67528 479 0 0 25 0 1 0 892792683 16437248 2771 4294967295 134512640 134716908 3221224592 3221220736 1074970277 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4013 2771 1111 63 0 3950 0
vsize: 16052
[startup+690.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 13344
Raw data (stat): 13287 (bsolo_lpr-v2) R 13286 21152 21151 0 -1 0 202851 0 0 0 68522 485 0 0 25 0 1 0 892792683 17182720 2984 4294967295 134512640 134716908 3221224592 3221220648 1074789806 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4195 2984 1111 63 0 4132 0
vsize: 16780
[startup+700.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 13344
Raw data (stat): 13287 (bsolo_lpr-v2) R 13286 21152 21151 0 -1 0 205778 0 0 0 69516 492 0 0 25 0 1 0 892792683 13852672 2702 4294967295 134512640 134716908 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3382 2702 1111 63 0 3319 0
vsize: 13528
[startup+710.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 13344
Raw data (stat): 13287 (bsolo_lpr-v2) R 13286 21152 21151 0 -1 0 208502 0 0 0 70509 499 0 0 25 0 1 0 892792683 13844480 2700 4294967295 134512640 134716908 3221224592 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3380 2700 1111 63 0 3317 0
vsize: 13520
[startup+720.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 13344
Raw data (stat): 13287 (bsolo_lpr-v2) R 13286 21152 21151 0 -1 0 210898 0 0 0 71503 505 0 0 25 0 1 0 892792683 13791232 2687 4294967295 134512640 134716908 3221224592 3221222992 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3367 2687 1111 63 0 3304 0
vsize: 13468
[startup+730.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 13344
Raw data (stat): 13287 (bsolo_lpr-v2) R 13286 21152 21151 0 -1 0 213617 0 0 0 72497 512 0 0 25 0 1 0 892792683 16777216 2900 4294967295 134512640 134716908 3221224592 3221220720 1075561089 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4096 2900 1111 63 0 4033 0
vsize: 16384
[startup+740.021 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 13344
Raw data (stat): 13287 (bsolo_lpr-v2) R 13286 21152 21151 0 -1 0 216217 0 0 0 73490 518 0 0 25 0 1 0 892792683 14008320 2714 4294967295 134512640 134716908 3221224592 3221222992 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3420 2714 1111 63 0 3357 0
vsize: 13680
[startup+750.021 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 13344
Raw data (stat): 13287 (bsolo_lpr-v2) R 13286 21152 21151 0 -1 0 219175 0 0 0 74484 525 0 0 25 0 1 0 892792683 14106624 2764 4294967295 134512640 134716908 3221224592 3221222992 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3444 2764 1111 63 0 3381 0
vsize: 13776
[startup+760.021 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 13344
Raw data (stat): 13287 (bsolo_lpr-v2) R 13286 21152 21151 0 -1 0 222270 0 0 0 75476 533 0 0 25 0 1 0 892792683 16719872 2847 4294967295 134512640 134716908 3221224592 3221221120 1075890974 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4082 2847 1111 63 0 4019 0
vsize: 16328
[startup+770.022 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 13344
Raw data (stat): 13287 (bsolo_lpr-v2) R 13286 21152 21151 0 -1 0 225256 0 0 0 76469 540 0 0 25 0 1 0 892792683 16867328 2994 4294967295 134512640 134716908 3221224592 3221221424 1075115806 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4118 2994 1111 63 0 4055 0
vsize: 16472
[startup+780.022 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 13344
Raw data (stat): 13287 (bsolo_lpr-v2) R 13286 21152 21151 0 -1 0 227603 0 0 0 77463 546 0 0 25 0 1 0 892792683 16990208 3005 4294967295 134512640 134716908 3221224592 3221221664 1074867212 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4148 3005 1111 63 0 4085 0
vsize: 16592
[startup+790.022 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 13344
Raw data (stat): 13287 (bsolo_lpr-v2) R 13286 21152 21151 0 -1 0 229618 0 0 0 78459 551 0 0 25 0 1 0 892792683 14102528 2763 4294967295 134512640 134716908 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3443 2763 1111 63 0 3380 0
vsize: 13772
[startup+800.022 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 13344
Raw data (stat): 13287 (bsolo_lpr-v2) R 13286 21152 21151 0 -1 0 232002 0 0 0 79454 556 0 0 25 0 1 0 892792683 14102528 2763 4294967295 134512640 134716908 3221224592 3221222992 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3443 2763 1111 63 0 3380 0
vsize: 13772
[startup+810.022 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 13344
Raw data (stat): 13287 (bsolo_lpr-v2) R 13286 21152 21151 0 -1 0 234707 0 0 0 80446 563 0 0 25 0 1 0 892792683 17469440 3138 4294967295 134512640 134716908 3221224592 3221221664 1074867323 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4265 3138 1111 63 0 4202 0
vsize: 17060
[startup+820.023 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 13344
Raw data (stat): 13287 (bsolo_lpr-v2) R 13286 21152 21151 0 -1 0 237346 0 0 0 81441 569 0 0 25 0 1 0 892792683 14102528 2763 4294967295 134512640 134716908 3221224592 3221222784 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3443 2763 1111 63 0 3380 0
vsize: 13772
[startup+830.024 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 13344
Raw data (stat): 13287 (bsolo_lpr-v2) R 13286 21152 21151 0 -1 0 240273 0 0 0 82434 576 0 0 25 0 1 0 892792683 14102528 2763 4294967295 134512640 134716908 3221224592 3221222880 1074153893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3443 2763 1111 63 0 3380 0
vsize: 13772
[startup+840.025 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 13344
Raw data (stat): 13287 (bsolo_lpr-v2) R 13286 21152 21151 0 -1 0 242498 0 0 0 83430 581 0 0 25 0 1 0 892792683 14258176 2801 4294967295 134512640 134716908 3221224592 3221222992 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3481 2801 1111 63 0 3418 0
vsize: 13924
[startup+850.024 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 13344
Raw data (stat): 13287 (bsolo_lpr-v2) R 13286 21152 21151 0 -1 0 245384 0 0 0 84422 588 0 0 25 0 1 0 892792683 16723968 2896 4294967295 134512640 134716908 3221224592 3221220752 1074794646 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4083 2896 1111 63 0 4020 0
vsize: 16332
[startup+860.024 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 13344
Raw data (stat): 13287 (bsolo_lpr-v2) R 13286 21152 21151 0 -1 0 248402 0 0 0 85415 596 0 0 25 0 1 0 892792683 14102528 2763 4294967295 134512640 134716908 3221224592 3221222864 1074208252 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3443 2763 1111 63 0 3380 0
vsize: 13772
[startup+870.025 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 13344
Raw data (stat): 13287 (bsolo_lpr-v2) R 13286 21152 21151 0 -1 0 251422 0 0 0 86407 604 0 0 25 0 1 0 892792683 14102528 2763 4294967295 134512640 134716908 3221224592 3221222992 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3443 2763 1111 63 0 3380 0
vsize: 13772
[startup+880.025 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 13344
Raw data (stat): 13287 (bsolo_lpr-v2) R 13286 21152 21151 0 -1 0 254410 0 0 0 87401 611 0 0 25 0 1 0 892792683 14102528 2763 4294967295 134512640 134716908 3221224592 3221222992 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3443 2763 1111 63 0 3380 0
vsize: 13772
[startup+890.026 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 13344
Raw data (stat): 13287 (bsolo_lpr-v2) R 13286 21152 21151 0 -1 0 256411 0 0 0 88395 616 0 0 25 0 1 0 892792683 14102528 2763 4294967295 134512640 134716908 3221224592 3221222992 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3443 2763 1111 63 0 3380 0
vsize: 13772
[startup+900.027 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 13344
Raw data (stat): 13287 (bsolo_lpr-v2) R 13286 21152 21151 0 -1 0 259285 0 0 0 89388 623 0 0 25 0 1 0 892792683 16576512 2839 4294967295 134512640 134716908 3221224592 3221220832 1075115768 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4047 2839 1111 63 0 3984 0
vsize: 16188
[startup+910.026 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 13344
Raw data (stat): 13287 (bsolo_lpr-v2) R 13286 21152 21151 0 -1 0 261817 0 0 0 90383 628 0 0 25 0 1 0 892792683 14143488 2773 4294967295 134512640 134716908 3221224592 3221222992 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3453 2773 1111 63 0 3390 0
vsize: 13812
[startup+920.027 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 13344
Raw data (stat): 13287 (bsolo_lpr-v2) R 13286 21152 21151 0 -1 0 264773 0 0 0 91377 635 0 0 25 0 1 0 892792683 17281024 3119 4294967295 134512640 134716908 3221224592 3221221184 1074886995 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4219 3119 1111 63 0 4156 0
vsize: 16876
[startup+930.028 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 13344
Raw data (stat): 13287 (bsolo_lpr-v2) R 13286 21152 21151 0 -1 0 267460 0 0 0 92371 641 0 0 25 0 1 0 892792683 17264640 3098 4294967295 134512640 134716908 3221224592 3221220752 1074794536 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4215 3098 1111 63 0 4152 0
vsize: 16860
[startup+940.028 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 13344
Raw data (stat): 13287 (bsolo_lpr-v2) R 13286 21152 21151 0 -1 0 270202 0 0 0 93365 647 0 0 25 0 1 0 892792683 14143488 2773 4294967295 134512640 134716908 3221224592 3221222992 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3453 2773 1111 63 0 3390 0
vsize: 13812
[startup+950.028 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 13344
Raw data (stat): 13287 (bsolo_lpr-v2) R 13286 21152 21151 0 -1 0 273067 0 0 0 94358 655 0 0 25 0 1 0 892792683 14143488 2773 4294967295 134512640 134716908 3221224592 3221222992 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3453 2773 1111 63 0 3390 0
vsize: 13812
[startup+960.028 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 13344
Raw data (stat): 13287 (bsolo_lpr-v2) R 13286 21152 21151 0 -1 0 275759 0 0 0 95352 661 0 0 25 0 1 0 892792683 14143488 2773 4294967295 134512640 134716908 3221224592 3221222736 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3453 2773 1111 63 0 3390 0
vsize: 13812
[startup+970.029 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 13344
Raw data (stat): 13287 (bsolo_lpr-v2) R 13286 21152 21151 0 -1 0 278352 0 0 0 96345 668 0 0 25 0 1 0 892792683 14143488 2773 4294967295 134512640 134716908 3221224592 3221222992 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3453 2773 1111 63 0 3390 0
vsize: 13812
[startup+980.029 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 13344
Raw data (stat): 13287 (bsolo_lpr-v2) R 13286 21152 21151 0 -1 0 281249 0 0 0 97337 676 0 0 25 0 1 0 892792683 17342464 3111 4294967295 134512640 134716908 3221224592 3221220820 1075115039 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4234 3111 1111 63 0 4171 0
vsize: 16936
[startup+990.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 13344
Raw data (stat): 13287 (bsolo_lpr-v2) R 13286 21152 21151 0 -1 0 284051 0 0 0 98330 683 0 0 25 0 1 0 892792683 17383424 3099 4294967295 134512640 134716908 3221224592 3221220736 1074971016 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4244 3099 1111 63 0 4181 0
vsize: 16976
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 13344
Raw data (stat): 13287 (bsolo_lpr-v2) R 13286 21152 21151 0 -1 0 286724 0 0 0 99324 690 0 0 25 0 1 0 892792683 14143488 2773 4294967295 134512640 134716908 3221224592 3221222992 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3453 2773 1111 63 0 3390 0
vsize: 13812
[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 13344
Raw data (stat): 13287 (bsolo_lpr-v2) R 13286 21152 21151 0 -1 0 289450 0 0 0 100318 696 0 0 25 0 1 0 892792683 17297408 3065 4294967295 134512640 134716908 3221224592 3221221148 1075088528 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4223 3065 1111 63 0 4160 0
vsize: 16892
[startup+1020.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 13344
Raw data (stat): 13287 (bsolo_lpr-v2) R 13286 21152 21151 0 -1 0 292128 0 0 0 101311 703 0 0 25 0 1 0 892792683 14143488 2773 4294967295 134512640 134716908 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3453 2773 1111 63 0 3390 0
vsize: 13812
[startup+1030.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 13344
Raw data (stat): 13287 (bsolo_lpr-v2) R 13286 21152 21151 0 -1 0 295067 0 0 0 102304 710 0 0 25 0 1 0 892792683 14200832 2787 4294967295 134512640 134716908 3221224592 3221223148 134536817 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3467 2787 1111 63 0 3404 0
vsize: 13868
[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 13344
Raw data (stat): 13287 (bsolo_lpr-v2) R 13286 21152 21151 0 -1 0 298027 0 0 0 103297 717 0 0 25 0 1 0 892792683 17399808 3112 4294967295 134512640 134716908 3221224592 3221220736 1074969486 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4248 3112 1111 63 0 4185 0
vsize: 16992
[startup+1050.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 13344
Raw data (stat): 13287 (bsolo_lpr-v2) R 13286 21152 21151 0 -1 0 300543 0 0 0 104291 724 0 0 25 0 1 0 892792683 16867328 2925 4294967295 134512640 134716908 3221224592 3221220736 1074970240 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4118 2925 1111 63 0 4055 0
vsize: 16472
[startup+1060.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 13344
Raw data (stat): 13287 (bsolo_lpr-v2) R 13286 21152 21151 0 -1 0 303396 0 0 0 105285 730 0 0 25 0 1 0 892792683 14143488 2773 4294967295 134512640 134716908 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3453 2773 1111 63 0 3390 0
vsize: 13812
[startup+1070.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 13344
Raw data (stat): 13287 (bsolo_lpr-v2) R 13286 21152 21151 0 -1 0 306014 0 0 0 106278 737 0 0 25 0 1 0 892792683 14143488 2773 4294967295 134512640 134716908 3221224592 3221222992 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3453 2773 1111 63 0 3390 0
vsize: 13812
[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 13344
Raw data (stat): 13287 (bsolo_lpr-v2) R 13286 21152 21151 0 -1 0 309392 0 0 0 107269 746 0 0 25 0 1 0 892792683 14471168 2783 4294967295 134512640 134716908 3221224592 3221222320 1075828508 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3533 2783 1111 63 0 3470 0
vsize: 14132
[startup+1090.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 13344
Raw data (stat): 13287 (bsolo_lpr-v2) R 13286 21152 21151 0 -1 0 312821 0 0 0 108262 753 0 0 25 0 1 0 892792683 17285120 3076 4294967295 134512640 134716908 3221224592 3221220820 1075115046 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4220 3076 1111 63 0 4157 0
vsize: 16880
[startup+1100.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 13344
Raw data (stat): 13287 (bsolo_lpr-v2) R 13286 21152 21151 0 -1 0 315705 0 0 0 109256 760 0 0 25 0 1 0 892792683 17694720 3216 4294967295 134512640 134716908 3221224592 3221221168 1076049404 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4320 3216 1111 63 0 4257 0
vsize: 17280
[startup+1110.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 13344
Raw data (stat): 13287 (bsolo_lpr-v2) R 13286 21152 21151 0 -1 0 318711 0 0 0 110248 768 0 0 25 0 1 0 892792683 14143488 2774 4294967295 134512640 134716908 3221224592 3221222992 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3453 2774 1111 63 0 3390 0
vsize: 13812
[startup+1120.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 13344
Raw data (stat): 13287 (bsolo_lpr-v2) R 13286 21152 21151 0 -1 0 321719 0 0 0 111243 773 0 0 25 0 1 0 892792683 17014784 2937 4294967295 134512640 134716908 3221224592 3221220656 1075084533 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4154 2937 1111 63 0 4091 0
vsize: 16616
[startup+1130.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 13344
Raw data (stat): 13287 (bsolo_lpr-v2) R 13286 21152 21151 0 -1 0 324259 0 0 0 112235 781 0 0 25 0 1 0 892792683 17051648 2995 4294967295 134512640 134716908 3221224592 3221221124 1075863672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4163 2995 1111 63 0 4100 0
vsize: 16652
[startup+1140.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 13344
Raw data (stat): 13287 (bsolo_lpr-v2) R 13286 21152 21151 0 -1 0 326792 0 0 0 113229 787 0 0 25 0 1 0 892792683 16601088 2838 4294967295 134512640 134716908 3221224592 3221221648 1075276398 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4053 2838 1111 63 0 3990 0
vsize: 16212
[startup+1150.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 13344
Raw data (stat): 13287 (bsolo_lpr-v2) R 13286 21152 21151 0 -1 0 329139 0 0 0 114223 794 0 0 25 0 1 0 892792683 14143488 2774 4294967295 134512640 134716908 3221224592 3221222992 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3453 2774 1111 63 0 3390 0
vsize: 13812
[startup+1160.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 13344
Raw data (stat): 13287 (bsolo_lpr-v2) R 13286 21152 21151 0 -1 0 331736 0 0 0 115217 800 0 0 25 0 1 0 892792683 14266368 2804 4294967295 134512640 134716908 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3483 2804 1111 63 0 3420 0
vsize: 13932
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 13344
Raw data (stat): 13287 (bsolo_lpr-v2) R 13286 21152 21151 0 -1 0 334742 0 0 0 116210 806 0 0 25 0 1 0 892792683 14548992 2873 4294967295 134512640 134716908 3221224592 3221223208 134558477 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3552 2873 1111 63 0 3489 0
vsize: 14208
[startup+1176.51 s]
Raw data (loadavg): 1.00 1.00 0.94 1/53 13344
Raw data (stat): 13287 (bsolo_lpr-v2) R 13286 21152 21151 0 -1 0 334742 0 0 0 116210 806 0 0 25 0 1 0 892792683 14548992 2873 4294967295 134512640 134716908 3221224592 3221223208 134558477 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3552 2873 1111 63 0 3489 0
vsize: 0

Child status: 10
Real time (s): 1176.51
CPU time (s): 1176.65
CPU user time (s): 1168.53
CPU system time (s): 8.11877
CPU usage (%): 100.012
Max. virtual memory (Kb): 17316
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	333
#### END VERIFIER DATA ####