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-ii32a1.opb
MD5SUM	eb47f4c49e66c2bccec3237bb66dd1b2
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	444
Optimality of the best value was proved	NO
Number of terms in the objective function	918
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	918
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	918
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	9.00763
Number of variables	918
Total number of constraints	9671
Number of constraints which are clauses	9671
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 39522

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-07 11:48:09 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27588 boxname=wulflinc1 idbench=146 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  eb47f4c49e66c2bccec3237bb66dd1b2  /oldhome/oroussel/tmp/wulflinc1/normalized-ii32a1.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-ii32a1.opb
IDLAUNCH: 27588
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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	: 2
cpu MHz		: 451.053
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:        879732 kB
Buffers:         33596 kB
Cached:          90428 kB
SwapCached:       6876 kB
Active:          23820 kB
Inactive:       108192 kB
HighTotal:      131008 kB
HighFree:       100072 kB
LowTotal:       903652 kB
LowFree:        779660 kB
SwapTotal:     2097136 kB
SwapFree:      2089012 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5584 kB
Slab:            17216 kB
Committed_AS:    92708 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 12:07:45 (client local time) WITH STATUS 10 IN 1176.43 SECONDS
stats: 27588 0 1176.43 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 918 variables and 9671 constraints.
c After prepocess the problem consists of 918 variables and 9671 constraints.
c preprocess terminated 31.819 s
c Initial Lower Bound: 290
c Lower Bound Elapsed time: 5.4465
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 459 @ 235.37
c NEW SOLUTION FOUND: 458 @ 235.373
c NEW SOLUTION FOUND: 457 @ 235.39
c NEW SOLUTION FOUND: 456 @ 235.399
c NEW SOLUTION FOUND: 455 @ 235.419
c NEW SOLUTION FOUND: 454 @ 235.43
c NEW SOLUTION FOUND: 453 @ 235.441
c NEW SOLUTION FOUND: 452 @ 235.463
c NEW SOLUTION FOUND: 451 @ 235.486
c NEW SOLUTION FOUND: 450 @ 235.498
c NEW SOLUTION FOUND: 449 @ 235.51
c NEW SOLUTION FOUND: 448 @ 235.534
c NEW SOLUTION FOUND: 447 @ 235.547
c NEW SOLUTION FOUND: 446 @ 235.56
c NEW SOLUTION FOUND: 445 @ 235.612
c NEW SOLUTION FOUND: 444 @ 235.626
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 -x697 x698 x699 -x700 -x701 x702 -x703 x704 x705 -x706 -x707 x708 -x709 x710 -x711 x712 x713 -x714 x715 -x716 -x717 x718 -x719 x720 -x721 x722 x723 -x724 -x725 x726 -x727 x728 -x729 x730 x731 -x732 -x733 x734 -x735 x736 x737 -x738 -x739 x740 x741 -x742 -x743 x744 -x745 x746 x747 -x748 -x749 x750 x751 -x752 -x753 x754 -x755 x756 -x757 x758 -x759 x760 x761 -x762 -x763 x764 x765 -x766 -x767 x768 -x769 x770 x771 -x772 -x773 x774 -x775 x776 -x777 x778 x779 -x780 -x781 x782 -x783 -x784 x785 -x786 -x787 x788 x789 -x790 -x791 x792 -x793 -x794 x795 -x796 -x797 x798 x799 -x800 -x801 x802 -x803 x804 -x805 x806 -x807 x808 x809 -x810 -x811 x812 x813 -x814 -x815 x816 x817 -x818 -x819 x820 -x821 x822 x823 -x824 -x825 x826 -x827 x828 -x829 x830 x831 -x832 -x833 -x834 x835 -x836 -x837 x838 -x839 x840 -x841 x842 x843 -x844 -x845 x846 -x847 x848 x849 -x850 -x851 x852 x853 -x854 -x855 x856 -x857 x858 x859 -x860 -x861 x862 -x863 x864 x865 -x866 -x867 x868 -x869 x870 -x871 x872 x873 -x874 -x875 x876 x877 -x878 -x879 -x880 -x881 x882 x883 -x884 -x885 x886 -x887 x888 -x889 x890 x891 -x892 -x893 -x894 x895 -x896 -x897 x898 -x899 x900 -x901 x902 x903 -x904 -x905 x906 -x907 x908 x909 -x910 -x911 x912 x913 -x914 -x915 x916 -x917 x918 
c Exit Code: 10
c Total time: 1176.42 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.91 0.97 0.91 2/55 5344
Raw data (stat): 5344 (runsolver) R 5343 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 835895601 884736 94 4294967295 134512640 135332820 3221224480 3221219660 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.0003 s]
Raw data (loadavg): 0.93 0.97 0.91 2/55 5344
Raw data (stat): 5344 (bsolo_lpr-v2) R 5343 8378 8377 0 -1 0 2611 0 0 0 989 7 0 0 25 0 1 0 835895601 13864960 2528 4294967295 134512640 134716908 3221224592 3221223076 134543063 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3385 2528 1111 63 0 3322 0
vsize: 13540
[startup+20.0011 s]
Raw data (loadavg): 0.94 0.97 0.91 2/55 5344
Raw data (stat): 5344 (bsolo_lpr-v2) R 5343 8378 8377 0 -1 0 2617 0 0 0 1990 7 0 0 25 0 1 0 835895601 13864960 2534 4294967295 134512640 134716908 3221224592 3221223264 134627200 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3385 2534 1111 63 0 3322 0
vsize: 13540
[startup+30.0009 s]
Raw data (loadavg): 0.95 0.97 0.91 2/55 5344
Raw data (stat): 5344 (bsolo_lpr-v2) R 5343 8378 8377 0 -1 0 2617 0 0 0 2990 8 0 0 25 0 1 0 835895601 13864960 2534 4294967295 134512640 134716908 3221224592 3221223264 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3385 2534 1111 63 0 3322 0
vsize: 13540
[startup+40.0007 s]
Raw data (loadavg): 0.95 0.97 0.91 2/55 5344
Raw data (stat): 5344 (bsolo_lpr-v2) R 5343 8378 8377 0 -1 0 4569 0 0 0 3985 12 0 0 25 0 1 0 835895601 22560768 4091 4294967295 134512640 134716908 3221224592 3221221560 1075007302 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5508 4091 1111 63 0 5445 0
vsize: 22032
[startup+50.0014 s]
Raw data (loadavg): 0.96 0.97 0.91 2/55 5344
Raw data (stat): 5344 (bsolo_lpr-v2) R 5343 8378 8377 0 -1 0 4704 0 0 0 4985 12 0 0 25 0 1 0 835895601 22921216 4226 4294967295 134512640 134716908 3221224592 3221220716 1075116741 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5596 4226 1111 63 0 5533 0
vsize: 22384
[startup+60.0016 s]
Raw data (loadavg): 0.97 0.97 0.91 2/55 5344
Raw data (stat): 5344 (bsolo_lpr-v2) R 5343 8378 8377 0 -1 0 12979 0 0 0 5964 33 0 0 25 0 1 0 835895601 15925248 3177 4294967295 134512640 134716908 3221224592 3221223176 134543589 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3888 3177 1111 63 0 3825 0
vsize: 15552
[startup+70.002 s]
Raw data (loadavg): 0.97 0.97 0.91 2/55 5344
Raw data (stat): 5344 (bsolo_lpr-v2) R 5343 8378 8377 0 -1 0 13071 0 0 0 6964 34 0 0 25 0 1 0 835895601 16330752 3269 4294967295 134512640 134716908 3221224592 3221223180 134543653 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3987 3269 1111 63 0 3924 0
vsize: 15948
[startup+80.0018 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 5344
Raw data (stat): 5344 (bsolo_lpr-v2) R 5343 8378 8377 0 -1 0 13217 0 0 0 7963 34 0 0 25 0 1 0 835895601 17006592 3415 4294967295 134512640 134716908 3221224592 3221223304 134535770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4152 3415 1111 63 0 4089 0
vsize: 16608
[startup+90.0016 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 5344
Raw data (stat): 5344 (bsolo_lpr-v2) R 5343 8378 8377 0 -1 0 13363 0 0 0 8962 35 0 0 25 0 1 0 835895601 17547264 3561 4294967295 134512640 134716908 3221224592 3221223184 134543707 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4284 3561 1111 63 0 4221 0
vsize: 17136
[startup+100.001 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 5344
Raw data (stat): 5344 (bsolo_lpr-v2) R 5343 8378 8377 0 -1 0 13525 0 0 0 9961 36 0 0 25 0 1 0 835895601 18223104 3723 4294967295 134512640 134716908 3221224592 3221223280 134523345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4449 3723 1111 63 0 4386 0
vsize: 17796
[startup+110.001 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 5344
Raw data (stat): 5344 (bsolo_lpr-v2) R 5343 8378 8377 0 -1 0 13674 0 0 0 10961 37 0 0 25 0 1 0 835895601 18898944 3872 4294967295 134512640 134716908 3221224592 3221223284 134528601 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4614 3872 1111 63 0 4551 0
vsize: 18456
[startup+120.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5344
Raw data (stat): 5344 (bsolo_lpr-v2) R 5343 8378 8377 0 -1 0 13795 0 0 0 11962 37 0 0 25 0 1 0 835895601 19304448 3993 4294967295 134512640 134716908 3221224592 3221223152 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4713 3993 1111 63 0 4650 0
vsize: 18852
[startup+130.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5344
Raw data (stat): 5344 (bsolo_lpr-v2) R 5343 8378 8377 0 -1 0 13933 0 0 0 12961 38 0 0 25 0 1 0 835895601 19845120 4131 4294967295 134512640 134716908 3221224592 3221223152 134542303 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4845 4131 1111 63 0 4782 0
vsize: 19380
[startup+140.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5344
Raw data (stat): 5344 (bsolo_lpr-v2) R 5343 8378 8377 0 -1 0 14077 0 0 0 13961 38 0 0 25 0 1 0 835895601 20520960 4275 4294967295 134512640 134716908 3221224592 3221223372 134600348 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5010 4275 1111 63 0 4947 0
vsize: 20040
[startup+150.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5344
Raw data (stat): 5344 (bsolo_lpr-v2) R 5343 8378 8377 0 -1 0 14267 0 0 0 14961 38 0 0 25 0 1 0 835895601 21331968 4465 4294967295 134512640 134716908 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5208 4465 1111 63 0 5145 0
vsize: 20832
[startup+160.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5344
Raw data (stat): 5344 (bsolo_lpr-v2) R 5343 8378 8377 0 -1 0 14460 0 0 0 15960 39 0 0 25 0 1 0 835895601 22007808 4658 4294967295 134512640 134716908 3221224592 3221223232 134543110 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5373 4658 1111 63 0 5310 0
vsize: 21492
[startup+170.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5344
Raw data (stat): 5344 (bsolo_lpr-v2) R 5343 8378 8377 0 -1 0 14615 0 0 0 16960 40 0 0 25 0 1 0 835895601 22683648 4813 4294967295 134512640 134716908 3221224592 3221223196 134536766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5538 4813 1111 63 0 5475 0
vsize: 22152
[startup+180.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5344
Raw data (stat): 5344 (bsolo_lpr-v2) R 5343 8378 8377 0 -1 0 14779 0 0 0 17959 41 0 0 25 0 1 0 835895601 23359488 4977 4294967295 134512640 134716908 3221224592 3221223232 134539376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5703 4977 1111 63 0 5640 0
vsize: 22812
[startup+190.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5344
Raw data (stat): 5344 (bsolo_lpr-v2) R 5343 8378 8377 0 -1 0 14958 0 0 0 18958 42 0 0 25 0 1 0 835895601 24035328 5156 4294967295 134512640 134716908 3221224592 3221223176 134543614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5868 5156 1111 63 0 5805 0
vsize: 23472
[startup+200.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5344
Raw data (stat): 5344 (bsolo_lpr-v2) R 5343 8378 8377 0 -1 0 15131 0 0 0 19958 42 0 0 25 0 1 0 835895601 24846336 5329 4294967295 134512640 134716908 3221224592 3221223236 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6066 5329 1111 63 0 6003 0
vsize: 24264
[startup+210.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5344
Raw data (stat): 5344 (bsolo_lpr-v2) R 5343 8378 8377 0 -1 0 15287 0 0 0 20958 43 0 0 25 0 1 0 835895601 25387008 5485 4294967295 134512640 134716908 3221224592 3221223152 134542303 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6198 5485 1111 63 0 6135 0
vsize: 24792
[startup+220.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5344
Raw data (stat): 5344 (bsolo_lpr-v2) R 5343 8378 8377 0 -1 0 15444 0 0 0 21957 43 0 0 25 0 1 0 835895601 26062848 5642 4294967295 134512640 134716908 3221224592 3221223232 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6363 5642 1111 63 0 6300 0
vsize: 25452
[startup+230.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5344
Raw data (stat): 5344 (bsolo_lpr-v2) R 5343 8378 8377 0 -1 0 15573 0 0 0 22957 44 0 0 25 0 1 0 835895601 26603520 5771 4294967295 134512640 134716908 3221224592 3221223196 134536817 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6495 5771 1111 63 0 6432 0
vsize: 25980
[startup+240.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5344
Raw data (stat): 5344 (bsolo_lpr-v2) R 5343 8378 8377 0 -1 0 16643 0 0 0 23953 48 0 0 25 0 1 0 835895601 27066368 5916 4294967295 134512640 134716908 3221224592 3221221824 1075552823 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6608 5916 1111 63 0 6545 0
vsize: 26432
[startup+250.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5344
Raw data (stat): 5344 (bsolo_lpr-v2) R 5343 8378 8377 0 -1 0 18651 0 0 0 24947 53 0 0 25 0 1 0 835895601 26943488 5886 4294967295 134512640 134716908 3221224592 3221222992 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6578 5886 1111 63 0 6515 0
vsize: 26312
[startup+260.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5344
Raw data (stat): 5344 (bsolo_lpr-v2) R 5343 8378 8377 0 -1 0 21167 0 0 0 25942 59 0 0 25 0 1 0 835895601 31936512 6325 4294967295 134512640 134716908 3221224592 3221220552 1074789587 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7797 6325 1111 63 0 7734 0
vsize: 31188
[startup+270.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5344
Raw data (stat): 5344 (bsolo_lpr-v2) R 5343 8378 8377 0 -1 0 23299 0 0 0 26936 64 0 0 25 0 1 0 835895601 26927104 5883 4294967295 134512640 134716908 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6574 5883 1111 63 0 6511 0
vsize: 26296
[startup+280.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5344
Raw data (stat): 5344 (bsolo_lpr-v2) R 5343 8378 8377 0 -1 0 25351 0 0 0 27931 70 0 0 25 0 1 0 835895601 32391168 6489 4294967295 134512640 134716908 3221224592 3221220928 1075113481 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7908 6489 1111 63 0 7845 0
vsize: 31632
[startup+290.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5344
Raw data (stat): 5344 (bsolo_lpr-v2) R 5343 8378 8377 0 -1 0 26650 0 0 0 28928 73 0 0 25 0 1 0 835895601 32567296 6506 4294967295 134512640 134716908 3221224592 3221220820 1075115003 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7951 6506 1111 63 0 7888 0
vsize: 31804
[startup+300.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5344
Raw data (stat): 5344 (bsolo_lpr-v2) R 5343 8378 8377 0 -1 0 28607 0 0 0 29924 77 0 0 25 0 1 0 835895601 27103232 5926 4294967295 134512640 134716908 3221224592 3221222640 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6617 5926 1111 63 0 6554 0
vsize: 26468
[startup+310.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5344
Raw data (stat): 5344 (bsolo_lpr-v2) R 5343 8378 8377 0 -1 0 30549 0 0 0 30919 82 0 0 25 0 1 0 835895601 32448512 6447 4294967295 134512640 134716908 3221224592 3221221056 1075602763 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7922 6447 1111 63 0 7859 0
vsize: 31688
[startup+320.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5344
Raw data (stat): 5344 (bsolo_lpr-v2) R 5343 8378 8377 0 -1 0 32750 0 0 0 31913 88 0 0 25 0 1 0 835895601 32235520 6426 4294967295 134512640 134716908 3221224592 3221220752 1075092737 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7870 6426 1111 63 0 7807 0
vsize: 31480
[startup+330.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5344
Raw data (stat): 5344 (bsolo_lpr-v2) R 5343 8378 8377 0 -1 0 34129 0 0 0 32909 92 0 0 25 0 1 0 835895601 26943488 5887 4294967295 134512640 134716908 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6578 5887 1111 63 0 6515 0
vsize: 26312
[startup+340.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5344
Raw data (stat): 5344 (bsolo_lpr-v2) R 5343 8378 8377 0 -1 0 35871 0 0 0 33905 96 0 0 25 0 1 0 835895601 32698368 6539 4294967295 134512640 134716908 3221224592 3221220648 1074789520 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7983 6539 1111 63 0 7920 0
vsize: 31932
[startup+350.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5344
Raw data (stat): 5344 (bsolo_lpr-v2) R 5343 8378 8377 0 -1 0 38370 0 0 0 34898 104 0 0 25 0 1 0 835895601 32501760 6474 4294967295 134512640 134716908 3221224592 3221220752 1074794684 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7935 6474 1111 63 0 7872 0
vsize: 31740
[startup+360.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5344
Raw data (stat): 5344 (bsolo_lpr-v2) R 5343 8378 8377 0 -1 0 39758 0 0 0 35894 108 0 0 25 0 1 0 835895601 32595968 6523 4294967295 134512640 134716908 3221224592 3221220864 1074961138 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7958 6523 1111 63 0 7895 0
vsize: 31832
[startup+370.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5344
Raw data (stat): 5344 (bsolo_lpr-v2) R 5343 8378 8377 0 -1 0 42043 0 0 0 36889 113 0 0 25 0 1 0 835895601 32325632 6385 4294967295 134512640 134716908 3221224592 3221220800 1074815176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7892 6385 1111 63 0 7829 0
vsize: 31568
[startup+380.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5344
Raw data (stat): 5344 (bsolo_lpr-v2) R 5343 8378 8377 0 -1 0 43385 0 0 0 37885 117 0 0 25 0 1 0 835895601 32677888 6538 4294967295 134512640 134716908 3221224592 3221220812 1075116866 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7978 6538 1111 63 0 7915 0
vsize: 31912
[startup+390.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5344
Raw data (stat): 5344 (bsolo_lpr-v2) R 5343 8378 8377 0 -1 0 45690 0 0 0 38880 123 0 0 25 0 1 0 835895601 32292864 6322 4294967295 134512640 134716908 3221224592 3221220832 1075115709 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7884 6322 1111 63 0 7821 0
vsize: 31536
[startup+400.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5344
Raw data (stat): 5344 (bsolo_lpr-v2) R 5343 8378 8377 0 -1 0 47473 0 0 0 39875 127 0 0 25 0 1 0 835895601 26931200 5891 4294967295 134512640 134716908 3221224592 3221222992 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6575 5891 1111 63 0 6512 0
vsize: 26300
[startup+410.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5344
Raw data (stat): 5344 (bsolo_lpr-v2) R 5343 8378 8377 0 -1 0 49326 0 0 0 40871 132 0 0 25 0 1 0 835895601 32243712 6420 4294967295 134512640 134716908 3221224592 3221221664 1074867340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7872 6420 1111 63 0 7809 0
vsize: 31488
[startup+420.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5344
Raw data (stat): 5344 (bsolo_lpr-v2) R 5343 8378 8377 0 -1 0 51466 0 0 0 41865 138 0 0 25 0 1 0 835895601 32313344 6462 4294967295 134512640 134716908 3221224592 3221220812 1075116741 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7889 6462 1111 63 0 7826 0
vsize: 31556
[startup+430.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5344
Raw data (stat): 5344 (bsolo_lpr-v2) R 5343 8378 8377 0 -1 0 53116 0 0 0 42862 142 0 0 25 0 1 0 835895601 27074560 5926 4294967295 134512640 134716908 3221224592 3221222992 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6610 5926 1111 63 0 6547 0
vsize: 26440
[startup+440.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5344
Raw data (stat): 5344 (bsolo_lpr-v2) R 5343 8378 8377 0 -1 0 55363 0 0 0 43856 147 0 0 25 0 1 0 835895601 26939392 5893 4294967295 134512640 134716908 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6577 5893 1111 63 0 6514 0
vsize: 26308
[startup+450.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5344
Raw data (stat): 5344 (bsolo_lpr-v2) R 5343 8378 8377 0 -1 0 57662 0 0 0 44850 153 0 0 25 0 1 0 835895601 26914816 5887 4294967295 134512640 134716908 3221224592 3221222864 1074206185 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6571 5887 1111 63 0 6508 0
vsize: 26284
[startup+460.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5344
Raw data (stat): 5344 (bsolo_lpr-v2) R 5343 8378 8377 0 -1 0 59621 0 0 0 45846 158 0 0 25 0 1 0 835895601 26910720 5886 4294967295 134512640 134716908 3221224592 3221222992 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6570 5886 1111 63 0 6507 0
vsize: 26280
[startup+470.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5344
Raw data (stat): 5344 (bsolo_lpr-v2) R 5343 8378 8377 0 -1 0 61200 0 0 0 46843 161 0 0 25 0 1 0 835895601 32116736 6422 4294967295 134512640 134716908 3221224592 3221220752 1074794466 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7841 6422 1111 63 0 7778 0
vsize: 31364
[startup+480.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5344
Raw data (stat): 5344 (bsolo_lpr-v2) R 5343 8378 8377 0 -1 0 63203 0 0 0 47838 166 0 0 25 0 1 0 835895601 32329728 6473 4294967295 134512640 134716908 3221224592 3221221596 1074621112 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7893 6473 1111 63 0 7830 0
vsize: 31572
[startup+490.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5344
Raw data (stat): 5344 (bsolo_lpr-v2) R 5343 8378 8377 0 -1 0 65185 0 0 0 48833 171 0 0 25 0 1 0 835895601 32292864 6369 4294967295 134512640 134716908 3221224592 3221220820 1075115073 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7884 6369 1111 63 0 7821 0
vsize: 31536
[startup+500.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5344
Raw data (stat): 5344 (bsolo_lpr-v2) R 5343 8378 8377 0 -1 0 66562 0 0 0 49830 175 0 0 25 0 1 0 835895601 27193344 5955 4294967295 134512640 134716908 3221224592 3221222992 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6639 5955 1111 63 0 6576 0
vsize: 26556
[startup+510.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5344
Raw data (stat): 5344 (bsolo_lpr-v2) R 5343 8378 8377 0 -1 0 68366 0 0 0 50826 179 0 0 25 0 1 0 835895601 32509952 6528 4294967295 134512640 134716908 3221224592 3221220812 1075116767 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7937 6528 1111 63 0 7874 0
vsize: 31748
[startup+520.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5344
Raw data (stat): 5344 (bsolo_lpr-v2) R 5343 8378 8377 0 -1 0 70515 0 0 0 51820 185 0 0 25 0 1 0 835895601 32096256 6370 4294967295 134512640 134716908 3221224592 3221220820 1075115043 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7836 6370 1111 63 0 7773 0
vsize: 31344
[startup+530.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5344
Raw data (stat): 5344 (bsolo_lpr-v2) R 5343 8378 8377 0 -1 0 71839 0 0 0 52816 189 0 0 25 0 1 0 835895601 27193344 5955 4294967295 134512640 134716908 3221224592 3221222776 1077377495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6639 5955 1111 63 0 6576 0
vsize: 26556
[startup+540.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5344
Raw data (stat): 5344 (bsolo_lpr-v2) R 5343 8378 8377 0 -1 0 73467 0 0 0 53812 194 0 0 25 0 1 0 835895601 27193344 5955 4294967295 134512640 134716908 3221224592 3221222992 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6639 5955 1111 63 0 6576 0
vsize: 26556
[startup+550.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5344
Raw data (stat): 5344 (bsolo_lpr-v2) R 5343 8378 8377 0 -1 0 75550 0 0 0 54806 199 0 0 25 0 1 0 835895601 31948800 6327 4294967295 134512640 134716908 3221224592 3221221248 1075967880 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7800 6327 1111 63 0 7737 0
vsize: 31200
[startup+560.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5344
Raw data (stat): 5344 (bsolo_lpr-v2) R 5343 8378 8377 0 -1 0 77170 0 0 0 55803 203 0 0 25 0 1 0 835895601 32079872 6380 4294967295 134512640 134716908 3221224592 3221220812 1075116532 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7832 6380 1111 63 0 7769 0
vsize: 31328
[startup+570.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5344
Raw data (stat): 5344 (bsolo_lpr-v2) R 5343 8378 8377 0 -1 0 78732 0 0 0 56799 207 0 0 25 0 1 0 835895601 32067584 6392 4294967295 134512640 134716908 3221224592 3221220864 1074961267 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7829 6392 1111 63 0 7766 0
vsize: 31316
[startup+580.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5344
Raw data (stat): 5344 (bsolo_lpr-v2) R 5343 8378 8377 0 -1 0 80524 0 0 0 57794 212 0 0 25 0 1 0 835895601 32165888 6419 4294967295 134512640 134716908 3221224592 3221220736 1074969474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7853 6419 1111 63 0 7790 0
vsize: 31412
[startup+590.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5344
Raw data (stat): 5344 (bsolo_lpr-v2) R 5343 8378 8377 0 -1 0 82648 0 0 0 58789 218 0 0 25 0 1 0 835895601 32391168 6472 4294967295 134512640 134716908 3221224592 3221221664 1074867334 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7908 6472 1111 63 0 7845 0
vsize: 31632
[startup+600.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5344
Raw data (stat): 5344 (bsolo_lpr-v2) R 5343 8378 8377 0 -1 0 84312 0 0 0 59785 222 0 0 25 0 1 0 835895601 27172864 5950 4294967295 134512640 134716908 3221224592 3221222992 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6634 5950 1111 63 0 6571 0
vsize: 26536
[startup+610.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5344
Raw data (stat): 5344 (bsolo_lpr-v2) R 5343 8378 8377 0 -1 0 86085 0 0 0 60779 227 0 0 25 0 1 0 835895601 32583680 6497 4294967295 134512640 134716908 3221224592 3221221124 1075863638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7955 6497 1111 63 0 7892 0
vsize: 31820
[startup+620.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5344
Raw data (stat): 5344 (bsolo_lpr-v2) R 5343 8378 8377 0 -1 0 88112 0 0 0 61775 232 0 0 25 0 1 0 835895601 32043008 6363 4294967295 134512640 134716908 3221224592 3221221124 1074260656 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7823 6363 1111 63 0 7760 0
vsize: 31292
[startup+630.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5344
Raw data (stat): 5344 (bsolo_lpr-v2) R 5343 8378 8377 0 -1 0 90190 0 0 0 62770 237 0 0 25 0 1 0 835895601 32391168 6483 4294967295 134512640 134716908 3221224592 3221220460 1074787622 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7908 6483 1111 63 0 7845 0
vsize: 31632
[startup+640.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5344
Raw data (stat): 5344 (bsolo_lpr-v2) R 5343 8378 8377 0 -1 0 91845 0 0 0 63767 240 0 0 25 0 1 0 835895601 27189248 5954 4294967295 134512640 134716908 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6638 5954 1111 63 0 6575 0
vsize: 26552
[startup+650.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5344
Raw data (stat): 5344 (bsolo_lpr-v2) R 5343 8378 8377 0 -1 0 93628 0 0 0 64763 245 0 0 25 0 1 0 835895601 32395264 6494 4294967295 134512640 134716908 3221224592 3221220752 1075092837 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7909 6494 1111 63 0 7846 0
vsize: 31636
[startup+660.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5344
Raw data (stat): 5344 (bsolo_lpr-v2) R 5343 8378 8377 0 -1 0 95329 0 0 0 65758 249 0 0 25 0 1 0 835895601 27848704 6083 4294967295 134512640 134716908 3221224592 3221222552 1074138315 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6799 6083 1111 63 0 6736 0
vsize: 27196
[startup+670.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5344
Raw data (stat): 5344 (bsolo_lpr-v2) R 5343 8378 8377 0 -1 0 97038 0 0 0 66754 253 0 0 25 0 1 0 835895601 32419840 6501 4294967295 134512640 134716908 3221224592 3221220864 1074960847 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7915 6501 1111 63 0 7852 0
vsize: 31660
[startup+680.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5344
Raw data (stat): 5344 (bsolo_lpr-v2) R 5343 8378 8377 0 -1 0 99280 0 0 0 67748 259 0 0 25 0 1 0 835895601 32382976 6471 4294967295 134512640 134716908 3221224592 3221220720 1075112086 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7906 6471 1111 63 0 7843 0
vsize: 31624
[startup+690.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5344
Raw data (stat): 5344 (bsolo_lpr-v2) R 5343 8378 8377 0 -1 0 100924 0 0 0 68743 264 0 0 25 0 1 0 835895601 32067584 6264 4294967295 134512640 134716908 3221224592 3221220648 1074860267 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7829 6264 1111 63 0 7766 0
vsize: 31316
[startup+700.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5344
Raw data (stat): 5344 (bsolo_lpr-v2) R 5343 8378 8377 0 -1 0 102486 0 0 0 69740 268 0 0 25 0 1 0 835895601 27193344 5955 4294967295 134512640 134716908 3221224592 3221222992 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6639 5955 1111 63 0 6576 0
vsize: 26556
[startup+710.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5344
Raw data (stat): 5344 (bsolo_lpr-v2) R 5343 8378 8377 0 -1 0 104268 0 0 0 70736 272 0 0 25 0 1 0 835895601 32579584 6500 4294967295 134512640 134716908 3221224592 3221220820 1075115049 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7954 6500 1111 63 0 7891 0
vsize: 31816
[startup+720.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5397
Raw data (stat): 5344 (bsolo_lpr-v2) R 5343 8378 8377 0 -1 0 106417 0 0 0 71730 278 0 0 25 0 1 0 835895601 32403456 6477 4294967295 134512640 134716908 3221224592 3221221424 1075115375 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7911 6477 1111 63 0 7848 0
vsize: 31644
[startup+730.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5397
Raw data (stat): 5344 (bsolo_lpr-v2) R 5343 8378 8377 0 -1 0 108482 0 0 0 72724 284 0 0 25 0 1 0 835895601 32477184 6366 4294967295 134512640 134716908 3221224592 3221220832 1075115704 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7929 6366 1111 63 0 7866 0
vsize: 31716
[startup+740.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5397
Raw data (stat): 5344 (bsolo_lpr-v2) R 5343 8378 8377 0 -1 0 110236 0 0 0 73720 288 0 0 25 0 1 0 835895601 27402240 6006 4294967295 134512640 134716908 3221224592 3221222992 1074118848 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6690 6006 1111 63 0 6627 0
vsize: 26760
[startup+750.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5397
Raw data (stat): 5344 (bsolo_lpr-v2) R 5343 8378 8377 0 -1 0 112049 0 0 0 74716 292 0 0 25 0 1 0 835895601 32440320 6501 4294967295 134512640 134716908 3221224592 3221221112 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7920 6501 1111 63 0 7857 0
vsize: 31680
[startup+760.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5397
Raw data (stat): 5344 (bsolo_lpr-v2) R 5343 8378 8377 0 -1 0 114307 0 0 0 75710 298 0 0 25 0 1 0 835895601 32419840 6485 4294967295 134512640 134716908 3221224592 3221220552 1074789590 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7915 6485 1111 63 0 7852 0
vsize: 31660
[startup+770.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5397
Raw data (stat): 5344 (bsolo_lpr-v2) R 5343 8378 8377 0 -1 0 115915 0 0 0 76706 302 0 0 25 0 1 0 835895601 27193344 5955 4294967295 134512640 134716908 3221224592 3221222992 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6639 5955 1111 63 0 6576 0
vsize: 26556
[startup+780.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5401
Raw data (stat): 5344 (bsolo_lpr-v2) R 5343 8378 8377 0 -1 0 117732 0 0 0 77702 307 0 0 25 0 1 0 835895601 32632832 6519 4294967295 134512640 134716908 3221224592 3221220812 1075116541 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7967 6519 1111 63 0 7904 0
vsize: 31868
[startup+790.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5401
Raw data (stat): 5344 (bsolo_lpr-v2) R 5343 8378 8377 0 -1 0 119920 0 0 0 78697 312 0 0 25 0 1 0 835895601 32399360 6487 4294967295 134512640 134716908 3221224592 3221221520 1075960384 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7910 6487 1111 63 0 7847 0
vsize: 31640
[startup+800.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5401
Raw data (stat): 5344 (bsolo_lpr-v2) R 5343 8378 8377 0 -1 0 122050 0 0 0 79693 316 0 0 25 0 1 0 835895601 32432128 6484 4294967295 134512640 134716908 3221224592 3221220820 1075115043 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7918 6484 1111 63 0 7855 0
vsize: 31672
[startup+810.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5401
Raw data (stat): 5344 (bsolo_lpr-v2) R 5343 8378 8377 0 -1 0 124304 0 0 0 80688 321 0 0 25 0 1 0 835895601 32411648 6393 4294967295 134512640 134716908 3221224592 3221220736 1074970218 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7913 6393 1111 63 0 7850 0
vsize: 31652
[startup+820.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5401
Raw data (stat): 5344 (bsolo_lpr-v2) R 5343 8378 8377 0 -1 0 125666 0 0 0 81685 324 0 0 25 0 1 0 835895601 32673792 6526 4294967295 134512640 134716908 3221224592 3221220812 1075116767 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7977 6526 1111 63 0 7914 0
vsize: 31908
[startup+830.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5401
Raw data (stat): 5344 (bsolo_lpr-v2) R 5343 8378 8377 0 -1 0 127978 0 0 0 82680 329 0 0 25 0 1 0 835895601 32415744 6501 4294967295 134512640 134716908 3221224592 3221220812 1075116508 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7914 6501 1111 63 0 7851 0
vsize: 31656
[startup+840.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5401
Raw data (stat): 5344 (bsolo_lpr-v2) R 5343 8378 8377 0 -1 0 130178 0 0 0 83675 335 0 0 25 0 1 0 835895601 32387072 6475 4294967295 134512640 134716908 3221224592 3221221624 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7907 6475 1111 63 0 7844 0
vsize: 31628
[startup+850.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5401
Raw data (stat): 5344 (bsolo_lpr-v2) R 5343 8378 8377 0 -1 0 132352 0 0 0 84669 340 0 0 25 0 1 0 835895601 32432128 6444 4294967295 134512640 134716908 3221224592 3221221248 1075967941 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7918 6444 1111 63 0 7855 0
vsize: 31672
[startup+860.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5401
Raw data (stat): 5344 (bsolo_lpr-v2) R 5343 8378 8377 0 -1 0 133975 0 0 0 85666 344 0 0 25 0 1 0 835895601 27189248 5954 4294967295 134512640 134716908 3221224592 3221222904 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6638 5954 1111 63 0 6575 0
vsize: 26552
[startup+870.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5401
Raw data (stat): 5344 (bsolo_lpr-v2) R 5343 8378 8377 0 -1 0 136156 0 0 0 86661 349 0 0 25 0 1 0 835895601 27160576 5947 4294967295 134512640 134716908 3221224592 3221222940 1074206848 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6631 5947 1111 63 0 6568 0
vsize: 26524
[startup+880.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5401
Raw data (stat): 5344 (bsolo_lpr-v2) R 5343 8378 8377 0 -1 0 137979 0 0 0 87658 352 0 0 25 0 1 0 835895601 32628736 6508 4294967295 134512640 134716908 3221224592 3221220648 1074789631 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7966 6508 1111 63 0 7903 0
vsize: 31864
[startup+890.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5401
Raw data (stat): 5344 (bsolo_lpr-v2) R 5343 8378 8377 0 -1 0 140117 0 0 0 88653 358 0 0 25 0 1 0 835895601 32391168 6481 4294967295 134512640 134716908 3221224592 3221220864 1074960868 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7908 6481 1111 63 0 7845 0
vsize: 31632
[startup+900.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5401
Raw data (stat): 5344 (bsolo_lpr-v2) R 5343 8378 8377 0 -1 0 142301 0 0 0 89647 363 0 0 25 0 1 0 835895601 32411648 6488 4294967295 134512640 134716908 3221224592 3221220812 1075116489 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7913 6488 1111 63 0 7850 0
vsize: 31652
[startup+910.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5401
Raw data (stat): 5344 (bsolo_lpr-v2) R 5343 8378 8377 0 -1 0 144305 0 0 0 90643 368 0 0 25 0 1 0 835895601 32452608 6504 4294967295 134512640 134716908 3221224592 3221220812 1075116471 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7923 6504 1111 63 0 7860 0
vsize: 31692
[startup+920.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5401
Raw data (stat): 5344 (bsolo_lpr-v2) R 5343 8378 8377 0 -1 0 146147 0 0 0 91639 372 0 0 25 0 1 0 835895601 32223232 6438 4294967295 134512640 134716908 3221224592 3221220864 1074961146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7867 6438 1111 63 0 7804 0
vsize: 31468
[startup+930.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5401
Raw data (stat): 5344 (bsolo_lpr-v2) R 5343 8378 8377 0 -1 0 148228 0 0 0 92634 377 0 0 25 0 1 0 835895601 27168768 5949 4294967295 134512640 134716908 3221224592 3221222800 1074153722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6633 5949 1111 63 0 6570 0
vsize: 26532
[startup+940.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5401
Raw data (stat): 5344 (bsolo_lpr-v2) R 5343 8378 8377 0 -1 0 149903 0 0 0 93629 382 0 0 25 0 1 0 835895601 27164672 5948 4294967295 134512640 134716908 3221224592 3221223248 134652244 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6632 5948 1111 63 0 6569 0
vsize: 26528
[startup+950.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5401
Raw data (stat): 5344 (bsolo_lpr-v2) R 5343 8378 8377 0 -1 0 151675 0 0 0 94624 387 0 0 25 0 1 0 835895601 27189248 5954 4294967295 134512640 134716908 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6638 5954 1111 63 0 6575 0
vsize: 26552
[startup+960.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5401
Raw data (stat): 5344 (bsolo_lpr-v2) R 5343 8378 8377 0 -1 0 153782 0 0 0 95619 393 0 0 25 0 1 0 835895601 32030720 6328 4294967295 134512640 134716908 3221224592 3221220864 1074961146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7820 6328 1111 63 0 7757 0
vsize: 31280
[startup+970.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5401
Raw data (stat): 5344 (bsolo_lpr-v2) R 5343 8378 8377 0 -1 0 155599 0 0 0 96614 398 0 0 25 0 1 0 835895601 32165888 6408 4294967295 134512640 134716908 3221224592 3221220552 1074789570 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7853 6408 1111 63 0 7790 0
vsize: 31412
[startup+980.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5401
Raw data (stat): 5344 (bsolo_lpr-v2) R 5343 8378 8377 0 -1 0 157736 0 0 0 97608 404 0 0 25 0 1 0 835895601 32550912 6489 4294967295 134512640 134716908 3221224592 3221220864 1074961146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7947 6490 1111 63 0 7884 0
vsize: 31788
[startup+990.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5401
Raw data (stat): 5344 (bsolo_lpr-v2) R 5343 8378 8377 0 -1 0 159258 0 0 0 98605 407 0 0 25 0 1 0 835895601 27373568 5999 4294967295 134512640 134716908 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6683 5999 1111 63 0 6620 0
vsize: 26732
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5401
Raw data (stat): 5344 (bsolo_lpr-v2) R 5343 8378 8377 0 -1 0 161064 0 0 0 99601 412 0 0 25 0 1 0 835895601 32575488 6520 4294967295 134512640 134716908 3221224592 3221221424 1075115790 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7953 6520 1111 63 0 7890 0
vsize: 31812
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5401
Raw data (stat): 5344 (bsolo_lpr-v2) R 5343 8378 8377 0 -1 0 162586 0 0 0 100597 415 0 0 25 0 1 0 835895601 27389952 6003 4294967295 134512640 134716908 3221224592 3221223264 134652581 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6687 6003 1111 63 0 6624 0
vsize: 26748
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5401
Raw data (stat): 5344 (bsolo_lpr-v2) R 5343 8378 8377 0 -1 0 164408 0 0 0 101593 420 0 0 25 0 1 0 835895601 32518144 6527 4294967295 134512640 134716908 3221224592 3221220832 1075115715 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7939 6527 1111 63 0 7876 0
vsize: 31756
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5401
Raw data (stat): 5344 (bsolo_lpr-v2) R 5343 8378 8377 0 -1 0 166556 0 0 0 102588 425 0 0 25 0 1 0 835895601 32518144 6499 4294967295 134512640 134716908 3221224592 3221220864 1074799101 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7939 6499 1111 63 0 7876 0
vsize: 31756
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5401
Raw data (stat): 5344 (bsolo_lpr-v2) R 5343 8378 8377 0 -1 0 168112 0 0 0 103585 428 0 0 25 0 1 0 835895601 27365376 5997 4294967295 134512640 134716908 3221224592 3221222968 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6681 5997 1111 63 0 6618 0
vsize: 26724
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5401
Raw data (stat): 5344 (bsolo_lpr-v2) R 5343 8378 8377 0 -1 0 169927 0 0 0 104580 433 0 0 25 0 1 0 835895601 32509952 6526 4294967295 134512640 134716908 3221224592 3221220864 1074960926 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7937 6526 1111 63 0 7874 0
vsize: 31748
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5403
Raw data (stat): 5344 (bsolo_lpr-v2) R 5343 8378 8377 0 -1 0 172005 0 0 0 105575 439 0 0 25 0 1 0 835895601 32645120 6471 4294967295 134512640 134716908 3221224592 3221220736 1074969499 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7970 6471 1111 63 0 7907 0
vsize: 31880
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5403
Raw data (stat): 5344 (bsolo_lpr-v2) R 5343 8378 8377 0 -1 0 173160 0 0 0 106572 442 0 0 25 0 1 0 835895601 32612352 6534 4294967295 134512640 134716908 3221224592 3221221512 1074950114 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7962 6534 1111 63 0 7899 0
vsize: 31848
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5403
Raw data (stat): 5344 (bsolo_lpr-v2) R 5343 8378 8377 0 -1 0 175232 0 0 0 107567 447 0 0 25 0 1 0 835895601 32526336 6503 4294967295 134512640 134716908 3221224592 3221220800 1075792835 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7941 6503 1111 63 0 7878 0
vsize: 31764
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5403
Raw data (stat): 5344 (bsolo_lpr-v2) R 5343 8378 8377 0 -1 0 177277 0 0 0 108561 453 0 0 25 0 1 0 835895601 32620544 6482 4294967295 134512640 134716908 3221224592 3221220656 1074791011 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7964 6482 1111 63 0 7901 0
vsize: 31856
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5403
Raw data (stat): 5344 (bsolo_lpr-v2) R 5343 8378 8377 0 -1 0 178409 0 0 0 109558 457 0 0 25 0 1 0 835895601 32677888 6525 4294967295 134512640 134716908 3221224592 3221220812 1075116728 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7978 6525 1111 63 0 7915 0
vsize: 31912
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5403
Raw data (stat): 5344 (bsolo_lpr-v2) R 5343 8378 8377 0 -1 0 180444 0 0 0 110552 463 0 0 25 0 1 0 835895601 32542720 6514 4294967295 134512640 134716908 3221224592 3221220812 1075116501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7945 6514 1111 63 0 7882 0
vsize: 31780
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5403
Raw data (stat): 5344 (bsolo_lpr-v2) R 5343 8378 8377 0 -1 0 182195 0 0 0 111548 467 0 0 25 0 1 0 835895601 32600064 6513 4294967295 134512640 134716908 3221224592 3221220812 1075116495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7959 6513 1111 63 0 7896 0
vsize: 31836
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5403
Raw data (stat): 5344 (bsolo_lpr-v2) R 5343 8378 8377 0 -1 0 183639 0 0 0 112544 471 0 0 25 0 1 0 835895601 27480064 6025 4294967295 134512640 134716908 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6709 6025 1111 63 0 6646 0
vsize: 26836
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5403
Raw data (stat): 5344 (bsolo_lpr-v2) R 5343 8378 8377 0 -1 0 185257 0 0 0 113540 475 0 0 25 0 1 0 835895601 27463680 6021 4294967295 134512640 134716908 3221224592 3221222992 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6705 6021 1111 63 0 6642 0
vsize: 26820
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5403
Raw data (stat): 5344 (bsolo_lpr-v2) R 5343 8378 8377 0 -1 0 186712 0 0 0 114536 479 0 0 25 0 1 0 835895601 32739328 6540 4294967295 134512640 134716908 3221224592 3221221656 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7993 6540 1111 63 0 7930 0
vsize: 31972
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5403
Raw data (stat): 5344 (bsolo_lpr-v2) R 5343 8378 8377 0 -1 0 188568 0 0 0 115531 484 0 0 25 0 1 0 835895601 32194560 6462 4294967295 134512640 134716908 3221224592 3221220748 1075091113 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7860 6462 1111 63 0 7797 0
vsize: 31440
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5403
Raw data (stat): 5344 (bsolo_lpr-v2) R 5343 8378 8377 0 -1 0 190120 0 0 0 116527 488 0 0 25 0 1 0 835895601 32227328 6455 4294967295 134512640 134716908 3221224592 3221221636 1074846178 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7868 6455 1111 63 0 7805 0
vsize: 31472
[startup+1176.29 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 5403
Raw data (stat): 5344 (bsolo_lpr-v2) R 5343 8378 8377 0 -1 0 190120 0 0 0 116527 488 0 0 25 0 1 0 835895601 32227328 6455 4294967295 134512640 134716908 3221224592 3221221636 1074846178 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7868 6455 1111 63 0 7805 0
vsize: 0

Child status: 10
Real time (s): 1176.29
CPU time (s): 1176.43
CPU user time (s): 1171.5
CPU system time (s): 4.93225
CPU usage (%): 100.012
Max. virtual memory (Kb): 31972
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	444
#### END VERIFIER DATA ####