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/logic-synthesis/normalized-alu4.b.opb
MD5SUM	db06e7fbd4f70a4af68f8f196fdb3636
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	50
Optimality of the best value was proved	NO
Number of terms in the objective function	808
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	808
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	808
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.03884
Number of variables	807
Total number of constraints	1838
Number of constraints which are clauses	1823
Number of constraints which are cardinality constraints (but not clauses)	15
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	98
Trace number 23443

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-03 15:36:28 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=542 boxname=wulflinc31 idbench=61 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  db06e7fbd4f70a4af68f8f196fdb3636  /oldhome/oroussel/tmp/wulflinc31/normalized-alu4.b.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-alu4.b.opb
IDLAUNCH: 542
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        919156 kB
Buffers:         40252 kB
Cached:          52984 kB
SwapCached:        944 kB
Active:          78260 kB
Inactive:        17464 kB
HighTotal:      131008 kB
HighFree:        77000 kB
LowTotal:       903652 kB
LowFree:        842156 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5536 kB
Slab:            14132 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-03 15:56:09 (client local time) WITH STATUS 10 IN 1180.2 SECONDS
stats: 542 0 1180.2 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 808 variables and 1823 constraints.
c After prepocess the problem consists of 792 variables and 811 constraints.
c preprocess terminated 2.759 s
c Initial Lower Bound: 47
c Lower Bound Elapsed time: 0.62825
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 52 @ 10.952
c NEW SOLUTION FOUND: 51 @ 11.929
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 
c Exit Code: 10
c Total time: 1180.17 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.95 0.97 2/54 3902
Raw data (stat): 3902 (runsolver) R 3901 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 649887334 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+9.99998 s]
Raw data (loadavg): 0.93 0.96 0.97 2/54 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 7058 0 0 0 975 20 0 0 25 0 1 0 649887334 10326016 1796 4294967295 134512640 134714508 3221221792 3221218896 1074139048 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2521 1796 1111 63 0 2458 0
vsize: 10084
[startup+20.0006 s]
Raw data (loadavg): 0.94 0.96 0.97 2/54 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 15745 0 0 0 1951 43 0 0 25 0 1 0 649887334 11501568 2115 4294967295 134512640 134714508 3221221792 3221219792 1074918937 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2808 2115 1111 63 0 2745 0
vsize: 11232
[startup+30.0014 s]
Raw data (loadavg): 0.95 0.96 0.97 2/54 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 25915 0 0 0 2924 70 0 0 25 0 1 0 649887334 11837440 2202 4294967295 134512640 134714508 3221221792 3221220080 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2890 2202 1111 63 0 2827 0
vsize: 11560
[startup+40.0017 s]
Raw data (loadavg): 0.96 0.96 0.97 2/54 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 36304 0 0 0 3895 99 0 0 25 0 1 0 649887334 13553664 2554 4294967295 134512640 134714508 3221221792 3221218160 1075894538 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3309 2554 1111 63 0 3246 0
vsize: 13236
[startup+50.0023 s]
Raw data (loadavg): 0.96 0.96 0.97 2/54 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 44526 0 0 0 4877 118 0 0 25 0 1 0 649887334 13836288 2658 4294967295 134512640 134714508 3221221792 3221219792 1074918520 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3378 2658 1111 63 0 3315 0
vsize: 13512
[startup+60.0022 s]
Raw data (loadavg): 0.97 0.96 0.97 2/54 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 53508 0 0 0 5856 139 0 0 25 0 1 0 649887334 14569472 2839 4294967295 134512640 134714508 3221221792 3221219792 1074917044 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3557 2839 1111 63 0 3494 0
vsize: 14228
[startup+70.0035 s]
Raw data (loadavg): 0.97 0.96 0.97 2/54 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 62100 0 0 0 6835 161 0 0 25 0 1 0 649887334 14798848 2927 4294967295 134512640 134714508 3221221792 3221219744 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3613 2927 1111 63 0 3550 0
vsize: 14452
[startup+80.0041 s]
Raw data (loadavg): 0.98 0.96 0.97 2/54 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 73815 0 0 0 7808 188 0 0 25 0 1 0 649887334 14798848 2927 4294967295 134512640 134714508 3221221792 3221220080 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3613 2927 1111 63 0 3550 0
vsize: 14452
[startup+90.004 s]
Raw data (loadavg): 0.98 0.96 0.97 2/54 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 86840 0 0 0 8777 219 0 0 25 0 1 0 649887334 15888384 3186 4294967295 134512640 134714508 3221221792 3221219792 1074918576 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3879 3186 1111 63 0 3816 0
vsize: 15516
[startup+100.004 s]
Raw data (loadavg): 0.98 0.96 0.97 2/54 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 102415 0 0 0 9739 256 0 0 25 0 1 0 649887334 15986688 3209 4294967295 134512640 134714508 3221221792 3221219792 1074918005 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3903 3209 1111 63 0 3840 0
vsize: 15612
[startup+110.004 s]
Raw data (loadavg): 0.98 0.97 0.97 2/54 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 114719 0 0 0 10711 285 0 0 25 0 1 0 649887334 16388096 3232 4294967295 134512640 134714508 3221221792 3221218776 1074831303 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4001 3232 1111 63 0 3938 0
vsize: 16004
[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 127821 0 0 0 11680 316 0 0 25 0 1 0 649887334 16646144 3366 4294967295 134512640 134714508 3221221792 3221219792 1074918319 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4064 3366 1111 63 0 4001 0
vsize: 16256
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 140509 0 0 0 12650 346 0 0 25 0 1 0 649887334 16654336 3380 4294967295 134512640 134714508 3221221792 3221220080 1074153792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4066 3380 1111 63 0 4003 0
vsize: 16264
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 147276 0 0 0 13632 364 0 0 25 0 1 0 649887334 17346560 3549 4294967295 134512640 134714508 3221221792 3221218912 1074865635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4235 3549 1111 63 0 4172 0
vsize: 16940
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 157990 0 0 0 14607 390 0 0 25 0 1 0 649887334 18051072 3712 4294967295 134512640 134714508 3221221792 3221219368 1077410205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4407 3712 1111 63 0 4344 0
vsize: 17628
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 171242 0 0 0 15575 421 0 0 25 0 1 0 649887334 17436672 3529 4294967295 134512640 134714508 3221221792 3221219760 1077814665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4257 3529 1111 63 0 4194 0
vsize: 17028
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 183681 0 0 0 16544 452 0 0 25 0 1 0 649887334 17432576 3546 4294967295 134512640 134714508 3221221792 3221219576 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4256 3551 1111 63 0 4193 0
vsize: 17024
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 196058 0 0 0 17514 482 0 0 25 0 1 0 649887334 18862080 3851 4294967295 134512640 134714508 3221221792 3221217864 1074950215 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4605 3851 1111 63 0 4542 0
vsize: 18420
[startup+190.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 208103 0 0 0 18486 511 0 0 25 0 1 0 649887334 18628608 3862 4294967295 134512640 134714508 3221221792 3221219792 1074918594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4548 3862 1111 63 0 4485 0
vsize: 18192
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 219448 0 0 0 19458 538 0 0 25 0 1 0 649887334 18235392 3764 4294967295 134512640 134714508 3221221792 3221220080 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4452 3764 1111 63 0 4389 0
vsize: 17808
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 230926 0 0 0 20431 566 0 0 25 0 1 0 649887334 19632128 4048 4294967295 134512640 134714508 3221221792 3221218712 1074950114 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4746 4001 1111 63 0 4683 0
vsize: 19172
[startup+220.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 244384 0 0 0 21400 597 0 0 25 0 1 0 649887334 20328448 4242 4294967295 134512640 134714508 3221221792 3221218712 1074950114 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4963 4242 1111 63 0 4900 0
vsize: 19852
[startup+230.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 256032 0 0 0 22372 625 0 0 25 0 1 0 649887334 19357696 4040 4294967295 134512640 134714508 3221221792 3221219680 1074839094 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4726 4040 1111 63 0 4663 0
vsize: 18904
[startup+240.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 266419 0 0 0 23347 650 0 0 25 0 1 0 649887334 20361216 4254 4294967295 134512640 134714508 3221221792 3221218896 1074138723 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4971 4254 1111 63 0 4908 0
vsize: 19884
[startup+250.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 278718 0 0 0 24318 680 0 0 25 0 1 0 649887334 20602880 4312 4294967295 134512640 134714508 3221221792 3221219792 1074918583 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5030 4312 1111 63 0 4967 0
vsize: 20120
[startup+260.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 289256 0 0 0 25292 705 0 0 25 0 1 0 649887334 20914176 4397 4294967295 134512640 134714508 3221221792 3221220096 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5106 4397 1111 63 0 5043 0
vsize: 20424
[startup+270.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 300877 0 0 0 26264 734 0 0 25 0 1 0 649887334 21360640 4529 4294967295 134512640 134714508 3221221792 3221219184 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5216 4530 1111 63 0 5153 0
vsize: 20860
[startup+280.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 312836 0 0 0 27235 763 0 0 25 0 1 0 649887334 21635072 4596 4294967295 134512640 134714508 3221221792 3221220348 134536817 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5282 4596 1111 63 0 5219 0
vsize: 21128
[startup+290.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 323661 0 0 0 28208 790 0 0 25 0 1 0 649887334 22810624 4883 4294967295 134512640 134714508 3221221792 3221219792 1074918594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5569 4883 1111 63 0 5506 0
vsize: 22276
[startup+300.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 336897 0 0 0 29178 820 0 0 25 0 1 0 649887334 22499328 4807 4294967295 134512640 134714508 3221221792 3221220192 1074118879 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5493 4807 1111 63 0 5430 0
vsize: 21972
[startup+310.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 348838 0 0 0 30150 849 0 0 25 0 1 0 649887334 22405120 4758 4294967295 134512640 134714508 3221221792 3221219728 1077814665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5470 4758 1111 63 0 5407 0
vsize: 21880
[startup+320.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 360471 0 0 0 31120 878 0 0 25 0 1 0 649887334 23158784 4940 4294967295 134512640 134714508 3221221792 3221219904 1074867344 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5654 4940 1111 63 0 5591 0
vsize: 22616
[startup+330.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 372201 0 0 0 32093 906 0 0 25 0 1 0 649887334 23674880 5010 4294967295 134512640 134714508 3221221792 3221219072 1074140041 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5780 5016 1111 63 0 5717 0
vsize: 23120
[startup+340.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 383200 0 0 0 33064 935 0 0 25 0 1 0 649887334 24190976 5155 4294967295 134512640 134714508 3221221792 3221218160 1075894549 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5906 5155 1111 63 0 5843 0
vsize: 23624
[startup+350.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 396010 0 0 0 34034 965 0 0 25 0 1 0 649887334 23179264 4965 4294967295 134512640 134714508 3221221792 3221220096 1074153786 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5659 4965 1111 63 0 5596 0
vsize: 22636
[startup+360.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 408057 0 0 0 35005 994 0 0 25 0 1 0 649887334 23453696 5040 4294967295 134512640 134714508 3221221792 3221220096 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5726 5040 1111 63 0 5663 0
vsize: 22904
[startup+370.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 420413 0 0 0 35976 1023 0 0 25 0 1 0 649887334 25362432 5464 4294967295 134512640 134714508 3221221792 3221217920 1075112391 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6192 5464 1111 63 0 6129 0
vsize: 24768
[startup+380.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 433220 0 0 0 36945 1054 0 0 25 0 1 0 649887334 25120768 5447 4294967295 134512640 134714508 3221221792 3221219752 1074138315 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6133 5447 1111 63 0 6070 0
vsize: 24532
[startup+390.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 445372 0 0 0 37915 1085 0 0 25 0 1 0 649887334 26611712 5660 4294967295 134512640 134714508 3221221792 3221218832 1075971414 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6497 5663 1111 63 0 6434 0
vsize: 25988
[startup+400.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 456653 0 0 0 38889 1111 0 0 25 0 1 0 649887334 25292800 5489 4294967295 134512640 134714508 3221221792 3221218896 1074138623 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6175 5489 1111 63 0 6112 0
vsize: 24700
[startup+410.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 468332 0 0 0 39861 1139 0 0 25 0 1 0 649887334 24244224 5233 4294967295 134512640 134714508 3221221792 3221219072 1074153736 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5919 5233 1111 63 0 5856 0
vsize: 23676
[startup+420.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 481607 0 0 0 40830 1170 0 0 25 0 1 0 649887334 25260032 5481 4294967295 134512640 134714508 3221221792 3221219072 1074140041 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6167 5481 1111 63 0 6104 0
vsize: 24668
[startup+430.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 494028 0 0 0 41800 1200 0 0 25 0 1 0 649887334 26124288 5692 4294967295 134512640 134714508 3221221792 3221219440 1075818331 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6378 5692 1111 63 0 6315 0
vsize: 25512
[startup+440.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 505012 0 0 0 42773 1227 0 0 25 0 1 0 649887334 26472448 5777 4294967295 134512640 134714508 3221221792 3221219752 1074138293 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6463 5777 1111 63 0 6400 0
vsize: 25852
[startup+450.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 518547 0 0 0 43741 1260 0 0 25 0 1 0 649887334 26550272 5771 4294967295 134512640 134714508 3221221792 3221219904 1074867308 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6482 5771 1111 63 0 6419 0
vsize: 25928
[startup+460.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 531093 0 0 0 44710 1291 0 0 25 0 1 0 649887334 27000832 5906 4294967295 134512640 134714508 3221221792 3221219792 1074918322 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6592 5906 1111 63 0 6529 0
vsize: 26368
[startup+470.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 542085 0 0 0 45683 1318 0 0 25 0 1 0 649887334 26427392 5732 4294967295 134512640 134714508 3221221792 3221220096 1074039235 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6452 5732 1111 63 0 6389 0
vsize: 25808
[startup+480.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 553026 0 0 0 46657 1344 0 0 25 0 1 0 649887334 26083328 5682 4294967295 134512640 134714508 3221221792 3221220128 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6368 5682 1111 63 0 6305 0
vsize: 25472
[startup+490.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 566993 0 0 0 47625 1377 0 0 25 0 1 0 649887334 26300416 5704 4294967295 134512640 134714508 3221221792 3221220044 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6421 5704 1111 63 0 6358 0
vsize: 25684
[startup+500.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 578480 0 0 0 48598 1404 0 0 25 0 1 0 649887334 26853376 5800 4294967295 134512640 134714508 3221221792 3221220320 134648531 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6556 5800 1111 63 0 6493 0
vsize: 26224
[startup+510.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 588156 0 0 0 49572 1430 0 0 25 0 1 0 649887334 27623424 6058 4294967295 134512640 134714508 3221221792 3221219520 1075828444 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6744 6058 1111 63 0 6681 0
vsize: 26976
[startup+520.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 600370 0 0 0 50543 1459 0 0 25 0 1 0 649887334 27455488 6017 4294967295 134512640 134714508 3221221792 3221219792 1074918576 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6703 6017 1111 63 0 6640 0
vsize: 26812
[startup+530.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 612723 0 0 0 51512 1490 0 0 25 0 1 0 649887334 26972160 5851 4294967295 134512640 134714508 3221221792 3221219944 1074950102 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6585 5851 1111 63 0 6522 0
vsize: 26340
[startup+540.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 624851 0 0 0 52484 1518 0 0 25 0 1 0 649887334 27717632 6081 4294967295 134512640 134714508 3221221792 3221219440 1075818300 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6767 6081 1111 63 0 6704 0
vsize: 27068
[startup+550.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 637281 0 0 0 53454 1549 0 0 25 0 1 0 649887334 26591232 5806 4294967295 134512640 134714508 3221221792 3221220144 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6492 5806 1111 63 0 6429 0
vsize: 25968
[startup+560.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 649278 0 0 0 54425 1577 0 0 25 0 1 0 649887334 28258304 6149 4294967295 134512640 134714508 3221221792 3221218392 1075850755 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6899 6149 1111 63 0 6836 0
vsize: 27596
[startup+570.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 659474 0 0 0 55401 1602 0 0 25 0 1 0 649887334 27140096 5940 4294967295 134512640 134714508 3221221792 3221220144 1074115251 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6626 5940 1111 63 0 6563 0
vsize: 26504
[startup+580.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 669167 0 0 0 56379 1624 0 0 25 0 1 0 649887334 27287552 5976 4294967295 134512640 134714508 3221221792 3221219840 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6662 5976 1111 63 0 6599 0
vsize: 26648
[startup+590.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 680292 0 0 0 57353 1649 0 0 25 0 1 0 649887334 27066368 5922 4294967295 134512640 134714508 3221221792 3221220096 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6608 5922 1111 63 0 6545 0
vsize: 26432
[startup+600.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 691308 0 0 0 58327 1676 0 0 25 0 1 0 649887334 27066368 5922 4294967295 134512640 134714508 3221221792 3221218176 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6608 5922 1111 63 0 6545 0
vsize: 26432
[startup+610.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 701346 0 0 0 59305 1698 0 0 25 0 1 0 649887334 27295744 5978 4294967295 134512640 134714508 3221221792 3221219728 1077814665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6664 5978 1111 63 0 6601 0
vsize: 26656
[startup+620.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 713923 0 0 0 60277 1727 0 0 25 0 1 0 649887334 27234304 5960 4294967295 134512640 134714508 3221221792 3221219808 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6649 5960 1111 63 0 6586 0
vsize: 26596
[startup+630.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 725674 0 0 0 61249 1755 0 0 25 0 1 0 649887334 27910144 6071 4294967295 134512640 134714508 3221221792 3221219944 1074950114 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6814 6071 1111 63 0 6751 0
vsize: 27256
[startup+640.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 738802 0 0 0 62217 1787 0 0 25 0 1 0 649887334 27602944 6035 4294967295 134512640 134714508 3221221792 3221220128 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6739 6035 1111 63 0 6676 0
vsize: 26956
[startup+650.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 750624 0 0 0 63190 1814 0 0 25 0 1 0 649887334 27918336 6050 4294967295 134512640 134714508 3221221792 3221216992 1077387418 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6816 6057 1111 63 0 6753 0
vsize: 27264
[startup+660.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 761447 0 0 0 64165 1839 0 0 25 0 1 0 649887334 28934144 6369 4294967295 134512640 134714508 3221221792 3221219792 1074918597 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7064 6369 1111 63 0 7001 0
vsize: 28256
[startup+670.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 773944 0 0 0 65136 1868 0 0 25 0 1 0 649887334 28012544 6153 4294967295 134512640 134714508 3221221792 3221220128 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6839 6153 1111 63 0 6776 0
vsize: 27356
[startup+680.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 780353 0 0 0 66119 1886 0 0 25 0 1 0 649887334 31518720 6989 4294967295 134512640 134714508 3221221792 3221219792 1074918594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7695 6989 1111 63 0 7632 0
vsize: 30780
[startup+690.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 790233 0 0 0 67094 1911 0 0 25 0 1 0 649887334 28778496 6340 4294967295 134512640 134714508 3221221792 3221218832 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7026 6340 1111 63 0 6963 0
vsize: 28104
[startup+700.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 799908 0 0 0 68071 1934 0 0 25 0 1 0 649887334 28323840 6229 4294967295 134512640 134714508 3221221792 3221220080 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6915 6229 1111 63 0 6852 0
vsize: 27660
[startup+710.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 813566 0 0 0 69039 1966 0 0 25 0 1 0 649887334 28057600 6164 4294967295 134512640 134714508 3221221792 3221220128 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6850 6164 1111 63 0 6787 0
vsize: 27400
[startup+720.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 826428 0 0 0 70010 1995 0 0 25 0 1 0 649887334 28504064 6252 4294967295 134512640 134714508 3221221792 3221219944 1074950114 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6959 6252 1111 63 0 6896 0
vsize: 27836
[startup+730.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 838044 0 0 0 70984 2022 0 0 25 0 1 0 649887334 28225536 6205 4294967295 134512640 134714508 3221221792 3221219728 1077814665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6891 6205 1111 63 0 6828 0
vsize: 27564
[startup+740.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 849914 0 0 0 71955 2051 0 0 25 0 1 0 649887334 28020736 6155 4294967295 134512640 134714508 3221221792 3221220080 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6841 6155 1111 63 0 6778 0
vsize: 27364
[startup+750.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 861490 0 0 0 72928 2078 0 0 25 0 1 0 649887334 28872704 6363 4294967295 134512640 134714508 3221221792 3221219704 1074138306 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7049 6363 1111 63 0 6986 0
vsize: 28196
[startup+760.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 873828 0 0 0 73899 2107 0 0 25 0 1 0 649887334 28778496 6340 4294967295 134512640 134714508 3221221792 3221220080 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7026 6340 1111 63 0 6963 0
vsize: 28104
[startup+770.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 886427 0 0 0 74871 2135 0 0 25 0 1 0 649887334 30031872 6646 4294967295 134512640 134714508 3221221792 3221219792 1074918591 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7332 6646 1111 63 0 7269 0
vsize: 29328
[startup+780.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 900187 0 0 0 75839 2167 0 0 25 0 1 0 649887334 28749824 6333 4294967295 134512640 134714508 3221221792 3221216592 1074153749 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7019 6333 1111 63 0 6956 0
vsize: 28076
[startup+790.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 912042 0 0 0 76810 2196 0 0 25 0 1 0 649887334 30494720 6759 4294967295 134512640 134714508 3221221792 3221219904 1074867281 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7445 6759 1111 63 0 7382 0
vsize: 29780
[startup+800.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 924984 0 0 0 77778 2228 0 0 25 0 1 0 649887334 29585408 6537 4294967295 134512640 134714508 3221221792 3221220096 1074153792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7224 6538 1111 63 0 7161 0
vsize: 28892
[startup+810.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 937905 0 0 0 78748 2259 0 0 25 0 1 0 649887334 29720576 6570 4294967295 134512640 134714508 3221221792 3221220080 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7256 6570 1111 63 0 7193 0
vsize: 29024
[startup+820.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 951347 0 0 0 79717 2290 0 0 25 0 1 0 649887334 31019008 6887 4294967295 134512640 134714508 3221221792 3221219792 1074916565 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7573 6887 1111 63 0 7510 0
vsize: 30292
[startup+830.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 965663 0 0 0 80684 2323 0 0 25 0 1 0 649887334 30470144 6732 4294967295 134512640 134714508 3221221792 3221219488 1077814665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7439 6732 1111 63 0 7376 0
vsize: 29756
[startup+840.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 980503 0 0 0 81650 2357 0 0 25 0 1 0 649887334 30330880 6714 4294967295 134512640 134714508 3221221792 3221219696 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7405 6714 1111 63 0 7342 0
vsize: 29620
[startup+850.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 992578 0 0 0 82623 2385 0 0 25 0 1 0 649887334 30461952 6751 4294967295 134512640 134714508 3221221792 3221219728 1077814665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7437 6751 1111 63 0 7374 0
vsize: 29748
[startup+860.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 1005792 0 0 0 83590 2418 0 0 25 0 1 0 649887334 31023104 6857 4294967295 134512640 134714508 3221221792 3221219456 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7574 6857 1111 63 0 7511 0
vsize: 30296
[startup+870.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 1015989 0 0 0 84565 2443 0 0 25 0 1 0 649887334 30769152 6816 4294967295 134512640 134714508 3221221792 3221215768 1077380786 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7512 6816 1111 63 0 7449 0
vsize: 30048
[startup+880.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 1028014 0 0 0 85536 2472 0 0 25 0 1 0 649887334 31186944 6928 4294967295 134512640 134714508 3221221792 3221219776 1077814665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7614 6928 1111 63 0 7551 0
vsize: 30456
[startup+890.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 1041830 0 0 0 86504 2504 0 0 25 0 1 0 649887334 31506432 7001 4294967295 134512640 134714508 3221221792 3221217648 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7692 7001 1111 63 0 7629 0
vsize: 30768
[startup+900.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 1046125 0 0 0 87493 2515 0 0 25 0 1 0 649887334 35287040 7929 4294967295 134512640 134714508 3221221792 3221219792 1074915850 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8615 7929 1111 63 0 8552 0
vsize: 34460
[startup+910.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 1053389 0 0 0 88476 2533 0 0 25 0 1 0 649887334 34701312 7786 4294967295 134512640 134714508 3221221792 3221219904 1074867344 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8472 7786 1111 63 0 8409 0
vsize: 33888
[startup+920.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 1066351 0 0 0 89442 2567 0 0 25 0 1 0 649887334 31481856 6968 4294967295 134512640 134714508 3221221792 3221216284 1074206265 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7686 6968 1111 63 0 7623 0
vsize: 30744
[startup+930.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 1078648 0 0 0 90412 2597 0 0 25 0 1 0 649887334 31981568 7105 4294967295 134512640 134714508 3221221792 3221219136 1074839039 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7808 7105 1111 63 0 7745 0
vsize: 31232
[startup+940.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 1083288 0 0 0 91400 2610 0 0 25 0 1 0 649887334 35196928 7907 4294967295 134512640 134714508 3221221792 3221219792 1074918597 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8593 7907 1111 63 0 8530 0
vsize: 34372
[startup+950.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 1092522 0 0 0 92378 2631 0 0 25 0 1 0 649887334 34807808 7812 4294967295 134512640 134714508 3221221792 3221219904 1074867340 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8498 7812 1111 63 0 8435 0
vsize: 33992
[startup+960.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 1103392 0 0 0 93352 2658 0 0 25 0 1 0 649887334 32088064 7148 4294967295 134512640 134714508 3221221792 3221216096 1074153792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7834 7148 1111 63 0 7771 0
vsize: 31336
[startup+970.024 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 1116144 0 0 0 94321 2689 0 0 25 0 1 0 649887334 32419840 7210 4294967295 134512640 134714508 3221221792 3221220080 1074153779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7915 7210 1111 63 0 7852 0
vsize: 31660
[startup+980.024 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 1124126 0 0 0 95300 2710 0 0 25 0 1 0 649887334 34959360 7849 4294967295 134512640 134714508 3221221792 3221219792 1074918594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8535 7849 1111 63 0 8472 0
vsize: 34140
[startup+990.024 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 1130982 0 0 0 96282 2728 0 0 25 0 1 0 649887334 33767424 7504 4294967295 134512640 134714508 3221221792 3221219704 1074138316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8244 7512 1111 63 0 8181 0
vsize: 32976
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 1137756 0 0 0 97264 2746 0 0 25 0 1 0 649887334 33198080 7413 4294967295 134512640 134714508 3221221792 3221220044 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8105 7413 1111 63 0 8042 0
vsize: 32420
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 1145712 0 0 0 98244 2766 0 0 25 0 1 0 649887334 34435072 7716 4294967295 134512640 134714508 3221221792 3221218544 1074247419 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8407 7716 1111 63 0 8344 0
vsize: 33628
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 1155229 0 0 0 99221 2790 0 0 25 0 1 0 649887334 33374208 7462 4294967295 134512640 134714508 3221221792 3221220096 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8148 7462 1111 63 0 8085 0
vsize: 32592
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 1164028 0 0 0 100199 2812 0 0 25 0 1 0 649887334 33005568 7372 4294967295 134512640 134714508 3221221792 3221216448 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8058 7372 1111 63 0 7995 0
vsize: 32232
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 1171392 0 0 0 101181 2830 0 0 25 0 1 0 649887334 33173504 7413 4294967295 134512640 134714508 3221221792 3221219616 1074153760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8099 7413 1111 63 0 8036 0
vsize: 32396
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 1180420 0 0 0 102159 2853 0 0 25 0 1 0 649887334 32718848 7302 4294967295 134512640 134714508 3221221792 3221219408 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7989 7302 1111 63 0 7926 0
vsize: 31952
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 1185304 0 0 0 103147 2864 0 0 25 0 1 0 649887334 35909632 8065 4294967295 134512640 134714508 3221221792 3221219792 1074918599 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8767 8065 1111 63 0 8704 0
vsize: 35068
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 1193912 0 0 0 104128 2884 0 0 25 0 1 0 649887334 33292288 7442 4294967295 134512640 134714508 3221221792 3221220144 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8128 7442 1111 63 0 8065 0
vsize: 32512
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 1200493 0 0 0 105111 2901 0 0 25 0 1 0 649887334 33505280 7494 4294967295 134512640 134714508 3221221792 3221219328 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8180 7494 1111 63 0 8117 0
vsize: 32720
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 1207080 0 0 0 106095 2917 0 0 25 0 1 0 649887334 33570816 7510 4294967295 134512640 134714508 3221221792 3221217840 1074153786 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8196 7510 1111 63 0 8133 0
vsize: 32784
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 1213556 0 0 0 107079 2933 0 0 25 0 1 0 649887334 33996800 7613 4294967295 134512640 134714508 3221221792 3221219944 1074950114 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8300 7613 1111 63 0 8237 0
vsize: 33200
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 1221501 0 0 0 108059 2953 0 0 25 0 1 0 649887334 33132544 7403 4294967295 134512640 134714508 3221221792 3221220032 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8089 7403 1111 63 0 8026 0
vsize: 32356
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 1231978 0 0 0 109034 2979 0 0 25 0 1 0 649887334 33230848 7427 4294967295 134512640 134714508 3221221792 3221220128 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8113 7427 1111 63 0 8050 0
vsize: 32452
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 1238980 0 0 0 110017 2996 0 0 25 0 1 0 649887334 34041856 7593 4294967295 134512640 134714508 3221221792 3221220092 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8311 7593 1111 63 0 8248 0
vsize: 33244
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 1244969 0 0 0 111002 3011 0 0 25 0 1 0 649887334 33611776 7520 4294967295 134512640 134714508 3221221792 3221220128 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8206 7520 1111 63 0 8143 0
vsize: 32824
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 1252020 0 0 0 111986 3028 0 0 25 0 1 0 649887334 36814848 8209 4294967295 134512640 134714508 3221221792 3221218984 1074138303 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8988 8218 1111 63 0 8925 0
vsize: 35952
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 1257231 0 0 0 112972 3041 0 0 25 0 1 0 649887334 33865728 7582 4294967295 134512640 134714508 3221221792 3221220080 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8268 7582 1111 63 0 8205 0
vsize: 33072
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 1261912 0 0 0 113960 3054 0 0 25 0 1 0 649887334 36589568 8172 4294967295 134512640 134714508 3221221792 3221218020 1075115109 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8933 8172 1111 63 0 8870 0
vsize: 35732
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 1272537 0 0 0 114936 3078 0 0 25 0 1 0 649887334 35479552 7774 4294967295 134512640 134714508 3221221792 3221218856 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8662 7775 1111 63 0 8599 0
vsize: 34648
[startup+1180.09 s]
Raw data (loadavg): 0.99 0.97 0.97 1/53 3902
Raw data (stat): 3902 (bsolo_lpr_cuts) R 3901 7876 7672 0 -1 0 1272537 0 0 0 114936 3078 0 0 25 0 1 0 649887334 35479552 7774 4294967295 134512640 134714508 3221221792 3221218856 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8662 7775 1111 63 0 8599 0
vsize: 0

Child status: 10
Real time (s): 1180.09
CPU time (s): 1180.2
CPU user time (s): 1149.39
CPU system time (s): 30.8073
CPU usage (%): 100.01
Max. virtual memory (Kb): 35952
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	51
#### END VERIFIER DATA ####