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/synthesis-ptl-cmos-circuits/normalized-9symml.opb
MD5SUM	48809ba02390b1184dab90aed89aff8e
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	4517
Optimality of the best value was proved	NO
Number of terms in the objective function	651
Biggest coefficient in the objective function	61
Number of bits for the biggest coefficient in the objective function	6
Sum of the numbers in the objective function	28138
Number of bits of the sum of numbers in the objective function	15
Biggest number in a constraint	61
Number of bits of the biggest number in a constraint	6
Biggest sum of numbers in a constraint	28138
Number of bits of the biggest sum of numbers	15
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.02684
Number of variables	651
Total number of constraints	1658
Number of constraints which are clauses	1656
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	2
Minimum length of a constraint	1
Maximum length of a constraint	42
Trace number 24367

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-09 21:05:34 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2206 boxname=wulflinc31 idbench=246 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  48809ba02390b1184dab90aed89aff8e  /oldhome/oroussel/tmp/wulflinc31/normalized-9symml.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-9symml.opb
IDLAUNCH: 2206
/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:        136188 kB
Buffers:         45532 kB
Cached:         818444 kB
SwapCached:        644 kB
Active:         492988 kB
Inactive:       373272 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        135936 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:              44 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            26364 kB
Committed_AS:    63648 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-09 21:18:01 (client local time) WITH STATUS 30 IN 746.209 SECONDS
stats: 2206 0 746.209 30
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 651 variables and 1658 constraints.
c After prepocess the problem consists of 634 variables and 1380 constraints.
c preprocess terminated 0.71 s
c Initial Lower Bound: 4476
c Lower Bound Elapsed time: 0.556625
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 4585 @ 10.817
c NEW SOLUTION FOUND: 4583 @ 11.63
c NEW SOLUTION FOUND: 4543 @ 12.478
c NEW SOLUTION FOUND: 4524 @ 547.095
c NEW SOLUTION FOUND: 4523 @ 547.427
c NEW SOLUTION FOUND: 4518 @ 554.899
c NEW SOLUTION FOUND: 4517 @ 555.265
s OPTIMUM FOUND
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 
c Exit Code: 30
c Total time: 746.173 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.94 0.94 0.90 2/54 3130
Raw data (stat): 3130 (runsolver) R 3129 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 703708150 1056768 100 4294967295 134512640 135381576 3221221696 3221216916 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10 s]
Raw data (loadavg): 0.95 0.94 0.90 2/54 3130
Raw data (stat): 3130 (bsolo_lpr) R 3129 7876 7672 0 -1 0 5365 0 0 0 981 15 0 0 25 0 1 0 703708150 9175040 1385 4294967295 134512640 134714508 3221221792 3221218784 1075110443 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2240 1385 1111 63 0 2177 0
vsize: 8960
[startup+20.001 s]
Raw data (loadavg): 0.96 0.94 0.90 2/54 3130
Raw data (stat): 3130 (bsolo_lpr) R 3129 7876 7672 0 -1 0 7473 0 0 0 1974 21 0 0 25 0 1 0 703708150 8237056 1342 4294967295 134512640 134714508 3221221792 3221220144 1074153672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2011 1342 1111 63 0 1948 0
vsize: 8044
[startup+30.0018 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 3130
Raw data (stat): 3130 (bsolo_lpr) R 3129 7876 7672 0 -1 0 9680 0 0 0 2968 27 0 0 25 0 1 0 703708150 8237056 1342 4294967295 134512640 134714508 3221221792 3221218320 1074153648 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2011 1342 1111 63 0 1948 0
vsize: 8044
[startup+40.0017 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 3130
Raw data (stat): 3130 (bsolo_lpr) R 3129 7876 7672 0 -1 0 11892 0 0 0 3961 34 0 0 25 0 1 0 703708150 9121792 1416 4294967295 134512640 134714508 3221221792 3221218368 1076049404 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2227 1416 1111 63 0 2164 0
vsize: 8908
[startup+50.0029 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 3130
Raw data (stat): 3130 (bsolo_lpr) R 3129 7876 7672 0 -1 0 14206 0 0 0 4955 41 0 0 25 0 1 0 703708150 8237056 1342 4294967295 134512640 134714508 3221221792 3221220088 1074138162 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2011 1342 1111 63 0 1948 0
vsize: 8044
[startup+60.0026 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 3130
Raw data (stat): 3130 (bsolo_lpr) R 3129 7876 7672 0 -1 0 17764 0 0 0 5945 51 0 0 25 0 1 0 703708150 9281536 1445 4294967295 134512640 134714508 3221221792 3221218944 1075969834 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2266 1445 1111 63 0 2203 0
vsize: 9064
[startup+70.008 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 3130
Raw data (stat): 3130 (bsolo_lpr) R 3129 7876 7672 0 -1 0 21833 0 0 0 6935 61 0 0 25 0 1 0 703708150 8413184 1385 4294967295 134512640 134714508 3221221792 3221220128 1073986742 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2054 1385 1111 63 0 1991 0
vsize: 8216
[startup+80.0084 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 3130
Raw data (stat): 3130 (bsolo_lpr) R 3129 7876 7672 0 -1 0 26352 0 0 0 7924 73 0 0 25 0 1 0 703708150 8683520 1451 4294967295 134512640 134714508 3221221792 3221220144 1074153800 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2120 1451 1111 63 0 2057 0
vsize: 8480
[startup+90.0084 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 3130
Raw data (stat): 3130 (bsolo_lpr) R 3129 7876 7672 0 -1 0 30202 0 0 0 8913 83 0 0 25 0 1 0 703708150 8757248 1469 4294967295 134512640 134714508 3221221792 3221219816 1077380592 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2138 1469 1111 63 0 2075 0
vsize: 8552
[startup+100.01 s]
Raw data (loadavg): 0.99 0.95 0.91 3/54 3130
Raw data (stat): 3130 (bsolo_lpr) R 3129 7876 7672 0 -1 0 34249 0 0 0 9902 95 0 0 25 0 1 0 703708150 8949760 1516 4294967295 134512640 134714508 3221221792 3221220176 1074153792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2185 1516 1111 63 0 2122 0
vsize: 8740
[startup+110.012 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 3130
Raw data (stat): 3130 (bsolo_lpr) R 3129 7876 7672 0 -1 0 38332 0 0 0 10892 105 0 0 25 0 1 0 703708150 10223616 1650 4294967295 134512640 134714508 3221221792 3221218720 1075960378 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2496 1650 1111 63 0 2433 0
vsize: 9984
[startup+120.012 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 3130
Raw data (stat): 3130 (bsolo_lpr) R 3129 7876 7672 0 -1 0 42984 0 0 0 11881 116 0 0 25 0 1 0 703708150 9207808 1579 4294967295 134512640 134714508 3221221792 3221220176 1074153736 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2248 1579 1111 63 0 2185 0
vsize: 8992
[startup+130.012 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 3130
Raw data (stat): 3130 (bsolo_lpr) R 3129 7876 7672 0 -1 0 46817 0 0 0 12871 127 0 0 25 0 1 0 703708150 9469952 1643 4294967295 134512640 134714508 3221221792 3221220176 1074153786 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2312 1643 1111 63 0 2249 0
vsize: 9248
[startup+140.012 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 3130
Raw data (stat): 3130 (bsolo_lpr) R 3129 7876 7672 0 -1 0 50659 0 0 0 13860 137 0 0 25 0 1 0 703708150 9646080 1686 4294967295 134512640 134714508 3221221792 3221220176 1074153672 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2355 1686 1111 63 0 2292 0
vsize: 9420
[startup+150.013 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 3130
Raw data (stat): 3130 (bsolo_lpr) R 3129 7876 7672 0 -1 0 54324 0 0 0 14851 147 0 0 25 0 1 0 703708150 9744384 1710 4294967295 134512640 134714508 3221221792 3221220088 1074138259 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2379 1710 1111 63 0 2316 0
vsize: 9516
[startup+160.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3130
Raw data (stat): 3130 (bsolo_lpr) R 3129 7876 7672 0 -1 0 58021 0 0 0 15842 156 0 0 25 0 1 0 703708150 10813440 1817 4294967295 134512640 134714508 3221221792 3221217876 1075964386 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2640 1817 1111 63 0 2577 0
vsize: 10560
[startup+170.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3130
Raw data (stat): 3130 (bsolo_lpr) R 3129 7876 7672 0 -1 0 61527 0 0 0 16832 167 0 0 25 0 1 0 703708150 9928704 1755 4294967295 134512640 134714508 3221221792 3221220056 1074205872 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2424 1755 1111 63 0 2361 0
vsize: 9696
[startup+180.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3130
Raw data (stat): 3130 (bsolo_lpr) R 3129 7876 7672 0 -1 0 65035 0 0 0 17824 174 0 0 25 0 1 0 703708150 10997760 1867 4294967295 134512640 134714508 3221221792 3221217952 1074794664 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2685 1867 1111 63 0 2622 0
vsize: 10740
[startup+190.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3130
Raw data (stat): 3130 (bsolo_lpr) R 3129 7876 7672 0 -1 0 69032 0 0 0 18816 183 0 0 25 0 1 0 703708150 10174464 1815 4294967295 134512640 134714508 3221221792 3221219520 1075635580 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2484 1815 1111 63 0 2421 0
vsize: 9936
[startup+200.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3130
Raw data (stat): 3130 (bsolo_lpr) R 3129 7876 7672 0 -1 0 72692 0 0 0 19807 191 0 0 25 0 1 0 703708150 10285056 1842 4294967295 134512640 134714508 3221221792 3221220144 1074153660 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2511 1842 1111 63 0 2448 0
vsize: 10044
[startup+210.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3130
Raw data (stat): 3130 (bsolo_lpr) R 3129 7876 7672 0 -1 0 76353 0 0 0 20798 201 0 0 25 0 1 0 703708150 11399168 1962 4294967295 134512640 134714508 3221221792 3221218856 1075007305 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2783 1962 1111 63 0 2720 0
vsize: 11132
[startup+220.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3130
Raw data (stat): 3130 (bsolo_lpr) R 3129 7876 7672 0 -1 0 79942 0 0 0 21789 211 0 0 25 0 1 0 703708150 10543104 1905 4294967295 134512640 134714508 3221221792 3221218896 1074138614 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2574 1905 1111 63 0 2511 0
vsize: 10296
[startup+230.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3130
Raw data (stat): 3130 (bsolo_lpr) R 3129 7876 7672 0 -1 0 83390 0 0 0 22779 220 0 0 25 0 1 0 703708150 11046912 1973 4294967295 134512640 134714508 3221221792 3221219904 1074867344 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2697 1973 1111 63 0 2634 0
vsize: 10788
[startup+240.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3130
Raw data (stat): 3130 (bsolo_lpr) R 3129 7876 7672 0 -1 0 86608 0 0 0 23772 227 0 0 25 0 1 0 703708150 10854400 1981 4294967295 134512640 134714508 3221221792 3221220088 1074138155 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2650 1981 1111 63 0 2587 0
vsize: 10600
[startup+250.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3130
Raw data (stat): 3130 (bsolo_lpr) R 3129 7876 7672 0 -1 0 89993 0 0 0 24764 236 0 0 25 0 1 0 703708150 10956800 2006 4294967295 134512640 134714508 3221221792 3221219768 1077380592 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2675 2006 1111 63 0 2612 0
vsize: 10700
[startup+260.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3130
Raw data (stat): 3130 (bsolo_lpr) R 3129 7876 7672 0 -1 0 93539 0 0 0 25754 246 0 0 25 0 1 0 703708150 11157504 2055 4294967295 134512640 134714508 3221221792 3221220172 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2724 2055 1111 63 0 2661 0
vsize: 10896
[startup+270.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3130
Raw data (stat): 3130 (bsolo_lpr) R 3129 7876 7672 0 -1 0 97248 0 0 0 26746 255 0 0 25 0 1 0 703708150 12193792 2147 4294967295 134512640 134714508 3221221792 3221218712 1075964778 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2977 2147 1111 63 0 2914 0
vsize: 11908
[startup+280.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3130
Raw data (stat): 3130 (bsolo_lpr) R 3129 7876 7672 0 -1 0 100945 0 0 0 27738 262 0 0 25 0 1 0 703708150 11640832 2149 4294967295 134512640 134714508 3221221792 3221219440 1075818361 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2842 2149 1111 63 0 2779 0
vsize: 11368
[startup+290.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3130
Raw data (stat): 3130 (bsolo_lpr) R 3129 7876 7672 0 -1 0 104680 0 0 0 28730 270 0 0 25 0 1 0 703708150 12636160 2244 4294967295 134512640 134714508 3221221792 3221218912 1074834473 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3085 2244 1111 63 0 3022 0
vsize: 12340
[startup+300.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3130
Raw data (stat): 3130 (bsolo_lpr) R 3129 7876 7672 0 -1 0 108448 0 0 0 29721 279 0 0 25 0 1 0 703708150 12152832 2298 4294967295 134512640 134714508 3221221792 3221219024 1075552782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2967 2298 1111 63 0 2904 0
vsize: 11868
[startup+310.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3130
Raw data (stat): 3130 (bsolo_lpr) R 3129 7876 7672 0 -1 0 111725 0 0 0 30712 289 0 0 25 0 1 0 703708150 13111296 2361 4294967295 134512640 134714508 3221221792 3221218176 1074973186 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3201 2361 1111 63 0 3138 0
vsize: 12804
[startup+320.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3130
Raw data (stat): 3130 (bsolo_lpr) R 3129 7876 7672 0 -1 0 115393 0 0 0 31703 298 0 0 25 0 1 0 703708150 13381632 2441 4294967295 134512640 134714508 3221221792 3221218128 1075113420 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3267 2441 1111 63 0 3204 0
vsize: 13068
[startup+330.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3130
Raw data (stat): 3130 (bsolo_lpr) R 3129 7876 7672 0 -1 0 118403 0 0 0 32695 306 0 0 25 0 1 0 703708150 13533184 2486 4294967295 134512640 134714508 3221221792 3221218112 1075169667 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3304 2486 1111 63 0 3241 0
vsize: 13216
[startup+340.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3130
Raw data (stat): 3130 (bsolo_lpr) R 3129 7876 7672 0 -1 0 121850 0 0 0 33686 315 0 0 25 0 1 0 703708150 12775424 2439 4294967295 134512640 134714508 3221221792 3221219792 1074917922 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3119 2439 1111 63 0 3056 0
vsize: 12476
[startup+350.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3130
Raw data (stat): 3130 (bsolo_lpr) R 3129 7876 7672 0 -1 0 125401 0 0 0 34677 325 0 0 25 0 1 0 703708150 13807616 2553 4294967295 134512640 134714508 3221221792 3221217688 1074789695 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3371 2553 1111 63 0 3308 0
vsize: 13484
[startup+360.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3130
Raw data (stat): 3130 (bsolo_lpr) R 3129 7876 7672 0 -1 0 128776 0 0 0 35668 334 0 0 25 0 1 0 703708150 13930496 2583 4294967295 134512640 134714508 3221221792 3221217936 1074971855 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3401 2583 1111 63 0 3338 0
vsize: 13604
[startup+370.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3130
Raw data (stat): 3130 (bsolo_lpr) R 3129 7876 7672 0 -1 0 131889 0 0 0 36660 342 0 0 25 0 1 0 703708150 13139968 2539 4294967295 134512640 134714508 3221221792 3221220192 1074119046 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3208 2539 1111 63 0 3145 0
vsize: 12832
[startup+380.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3130
Raw data (stat): 3130 (bsolo_lpr) R 3129 7876 7672 0 -1 0 135476 0 0 0 37648 354 0 0 25 0 1 0 703708150 13086720 2526 4294967295 134512640 134714508 3221221792 3221220096 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3195 2526 1111 63 0 3132 0
vsize: 12780
[startup+390.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3130
Raw data (stat): 3130 (bsolo_lpr) R 3129 7876 7672 0 -1 0 138959 0 0 0 38640 362 0 0 25 0 1 0 703708150 13352960 2570 4294967295 134512640 134714508 3221221792 3221219760 1075961074 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3260 2570 1111 63 0 3197 0
vsize: 13040
[startup+400.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3130
Raw data (stat): 3130 (bsolo_lpr) R 3129 7876 7672 0 -1 0 142714 0 0 0 39630 373 0 0 25 0 1 0 703708150 14249984 2652 4294967295 134512640 134714508 3221221792 3221218020 1075115141 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3479 2652 1111 63 0 3416 0
vsize: 13916
[startup+410.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3130
Raw data (stat): 3130 (bsolo_lpr) R 3129 7876 7672 0 -1 0 146401 0 0 0 40619 384 0 0 25 0 1 0 703708150 13504512 2628 4294967295 134512640 134714508 3221221792 3221220192 1074153773 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3297 2628 1111 63 0 3234 0
vsize: 13188
[startup+420.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3130
Raw data (stat): 3130 (bsolo_lpr) R 3129 7876 7672 0 -1 0 150034 0 0 0 41609 394 0 0 25 0 1 0 703708150 13688832 2673 4294967295 134512640 134714508 3221221792 3221220236 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3342 2673 1111 63 0 3279 0
vsize: 13368
[startup+430.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3130
Raw data (stat): 3130 (bsolo_lpr) R 3129 7876 7672 0 -1 0 153369 0 0 0 42599 404 0 0 25 0 1 0 703708150 14802944 2795 4294967295 134512640 134714508 3221221792 3221217952 1075091544 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3614 2795 1111 63 0 3551 0
vsize: 14456
[startup+440.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3130
Raw data (stat): 3130 (bsolo_lpr) R 3129 7876 7672 0 -1 0 157088 0 0 0 43590 413 0 0 25 0 1 0 703708150 13942784 2735 4294967295 134512640 134714508 3221221792 3221220144 1074153822 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3404 2735 1111 63 0 3341 0
vsize: 13616
[startup+450.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3130
Raw data (stat): 3130 (bsolo_lpr) R 3129 7876 7672 0 -1 0 160656 0 0 0 44581 423 0 0 25 0 1 0 703708150 14290944 2811 4294967295 134512640 134714508 3221221792 3221219792 1074918613 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3489 2811 1111 63 0 3426 0
vsize: 13956
[startup+460.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3130
Raw data (stat): 3130 (bsolo_lpr) R 3129 7876 7672 0 -1 0 163791 0 0 0 45573 430 0 0 25 0 1 0 703708150 15196160 2879 4294967295 134512640 134714508 3221221792 3221217696 1075965240 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3710 2879 1111 63 0 3647 0
vsize: 14840
[startup+470.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3130
Raw data (stat): 3130 (bsolo_lpr) R 3129 7876 7672 0 -1 0 167152 0 0 0 46566 438 0 0 25 0 1 0 703708150 14426112 2853 4294967295 134512640 134714508 3221221792 3221220120 1077410279 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3522 2853 1111 63 0 3459 0
vsize: 14088
[startup+480.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3130
Raw data (stat): 3130 (bsolo_lpr) R 3129 7876 7672 0 -1 0 170775 0 0 0 47557 447 0 0 25 0 1 0 703708150 14528512 2878 4294967295 134512640 134714508 3221221792 3221220096 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3547 2878 1111 63 0 3484 0
vsize: 14188
[startup+490.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3130
Raw data (stat): 3130 (bsolo_lpr) R 3129 7876 7672 0 -1 0 174169 0 0 0 48548 456 0 0 25 0 1 0 703708150 14766080 2936 4294967295 134512640 134714508 3221221792 3221220096 1073986759 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3605 2936 1111 63 0 3542 0
vsize: 14420
[startup+500.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3130
Raw data (stat): 3130 (bsolo_lpr) R 3129 7876 7672 0 -1 0 177441 0 0 0 49540 464 0 0 25 0 1 0 703708150 15757312 3024 4294967295 134512640 134714508 3221221792 3221217888 1074790218 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3847 3024 1111 63 0 3784 0
vsize: 15388
[startup+510.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3130
Raw data (stat): 3130 (bsolo_lpr) R 3129 7876 7672 0 -1 0 181050 0 0 0 50530 475 0 0 25 0 1 0 703708150 15962112 3054 4294967295 134512640 134714508 3221221792 3221218560 1076083615 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3897 3054 1111 63 0 3834 0
vsize: 15588
[startup+520.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3130
Raw data (stat): 3130 (bsolo_lpr) R 3129 7876 7672 0 -1 0 184184 0 0 0 51521 484 0 0 25 0 1 0 703708150 16031744 3084 4294967295 134512640 134714508 3221221792 3221218064 1074960872 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3914 3084 1111 63 0 3851 0
vsize: 15656
[startup+530.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3130
Raw data (stat): 3130 (bsolo_lpr) R 3129 7876 7672 0 -1 0 187285 0 0 0 52514 491 0 0 25 0 1 0 703708150 16207872 3119 4294967295 134512640 134714508 3221221792 3221217952 1075092837 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3957 3119 1111 63 0 3894 0
vsize: 15828
[startup+540.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3130
Raw data (stat): 3130 (bsolo_lpr) R 3129 7876 7672 0 -1 0 190737 0 0 0 53505 500 0 0 25 0 1 0 703708150 15364096 3082 4294967295 134512640 134714508 3221221792 3221220176 1074153675 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3751 3082 1111 63 0 3688 0
vsize: 15004
[startup+550.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3130
Raw data (stat): 3130 (bsolo_lpr) R 3129 7876 7672 0 -1 0 194058 0 0 0 54497 508 0 0 25 0 1 0 703708150 16408576 3185 4294967295 134512640 134714508 3221221792 3221217728 1075965253 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4006 3185 1111 63 0 3943 0
vsize: 16024
[startup+560.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3130
Raw data (stat): 3130 (bsolo_lpr) R 3129 7876 7672 0 -1 0 197766 0 0 0 55489 516 0 0 25 0 1 0 703708150 16592896 3233 4294967295 134512640 134714508 3221221792 3221217928 1077410285 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4051 3233 1111 63 0 3988 0
vsize: 16204
[startup+570.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3130
Raw data (stat): 3130 (bsolo_lpr) R 3129 7876 7672 0 -1 0 201798 0 0 0 56480 525 0 0 25 0 1 0 703708150 15724544 3170 4294967295 134512640 134714508 3221221792 3221219800 1077380592 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3839 3170 1111 63 0 3776 0
vsize: 15356
[startup+580.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3130
Raw data (stat): 3130 (bsolo_lpr) R 3129 7876 7672 0 -1 0 205240 0 0 0 57471 534 0 0 25 0 1 0 703708150 16916480 3322 4294967295 134512640 134714508 3221221792 3221218304 1075084539 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4130 3322 1111 63 0 4067 0
vsize: 16520
[startup+590.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3130
Raw data (stat): 3130 (bsolo_lpr) R 3129 7876 7672 0 -1 0 208816 0 0 0 58463 542 0 0 25 0 1 0 703708150 16973824 3321 4294967295 134512640 134714508 3221221792 3221217884 1075663518 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4144 3321 1111 63 0 4081 0
vsize: 16576
[startup+600.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3130
Raw data (stat): 3130 (bsolo_lpr) R 3129 7876 7672 0 -1 0 212819 0 0 0 59454 552 0 0 25 0 1 0 703708150 17334272 3381 4294967295 134512640 134714508 3221221792 3221218832 1075971395 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4232 3387 1111 63 0 4169 0
vsize: 16928
[startup+610.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3130
Raw data (stat): 3130 (bsolo_lpr) R 3129 7876 7672 0 -1 0 216587 0 0 0 60445 561 0 0 25 0 1 0 703708150 17674240 3485 4294967295 134512640 134714508 3221221792 3221217940 1075964406 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4315 3485 1111 63 0 4252 0
vsize: 17260
[startup+620.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3130
Raw data (stat): 3130 (bsolo_lpr) R 3129 7876 7672 0 -1 0 219912 0 0 0 61438 568 0 0 25 0 1 0 703708150 16773120 3425 4294967295 134512640 134714508 3221221792 3221219800 1077380592 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4095 3425 1111 63 0 4032 0
vsize: 16380
[startup+630.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3130
Raw data (stat): 3130 (bsolo_lpr) R 3129 7876 7672 0 -1 0 223192 0 0 0 62430 577 0 0 25 0 1 0 703708150 18001920 3521 4294967295 134512640 134714508 3221221792 3221218236 1075132448 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4395 3521 1111 63 0 4332 0
vsize: 17580
[startup+640.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3130
Raw data (stat): 3130 (bsolo_lpr) R 3129 7876 7672 0 -1 0 227213 0 0 0 63420 586 0 0 25 0 1 0 703708150 16908288 3458 4294967295 134512640 134714508 3221221792 3221219720 1077380592 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4128 3458 1111 63 0 4065 0
vsize: 16512
[startup+650.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3130
Raw data (stat): 3130 (bsolo_lpr) R 3129 7876 7672 0 -1 0 231195 0 0 0 64411 595 0 0 25 0 1 0 703708150 18317312 3599 4294967295 134512640 134714508 3221221792 3221217848 1074860225 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4472 3599 1111 63 0 4409 0
vsize: 17888
[startup+660.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3130
Raw data (stat): 3130 (bsolo_lpr) R 3129 7876 7672 0 -1 0 234885 0 0 0 65402 605 0 0 25 0 1 0 703708150 17223680 3535 4294967295 134512640 134714508 3221221792 3221220192 1074153815 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4205 3535 1111 63 0 4142 0
vsize: 16820
[startup+670.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3130
Raw data (stat): 3130 (bsolo_lpr) R 3129 7876 7672 0 -1 0 238885 0 0 0 66390 617 0 0 25 0 1 0 703708150 17338368 3563 4294967295 134512640 134714508 3221221792 3221219772 1073987056 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4233 3563 1111 63 0 4170 0
vsize: 16932
[startup+680.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3130
Raw data (stat): 3130 (bsolo_lpr) R 3129 7876 7672 0 -1 0 242875 0 0 0 67381 626 0 0 25 0 1 0 703708150 17477632 3597 4294967295 134512640 134714508 3221221792 3221220168 1074207649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4267 3597 1111 63 0 4204 0
vsize: 17068
[startup+690.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3130
Raw data (stat): 3130 (bsolo_lpr) R 3129 7876 7672 0 -1 0 246765 0 0 0 68373 634 0 0 25 0 1 0 703708150 18714624 3730 4294967295 134512640 134714508 3221221792 3221218112 1075171212 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4569 3730 1111 63 0 4506 0
vsize: 18276
[startup+700.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3130
Raw data (stat): 3130 (bsolo_lpr) R 3129 7876 7672 0 -1 0 250699 0 0 0 69364 643 0 0 25 0 1 0 703708150 17682432 3647 4294967295 134512640 134714508 3221221792 3221220192 1074153779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4317 3647 1111 63 0 4254 0
vsize: 17268
[startup+710.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3130
Raw data (stat): 3130 (bsolo_lpr) R 3129 7876 7672 0 -1 0 254340 0 0 0 70356 651 0 0 25 0 1 0 703708150 17719296 3656 4294967295 134512640 134714508 3221221792 3221220104 1074138171 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4326 3656 1111 63 0 4263 0
vsize: 17304
[startup+720.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3130
Raw data (stat): 3130 (bsolo_lpr) R 3129 7876 7672 0 -1 0 258374 0 0 0 71346 662 0 0 25 0 1 0 703708150 17936384 3709 4294967295 134512640 134714508 3221221792 3221218912 1074866250 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4379 3709 1111 63 0 4316 0
vsize: 17516
[startup+730.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3130
Raw data (stat): 3130 (bsolo_lpr) R 3129 7876 7672 0 -1 0 262478 0 0 0 72337 671 0 0 25 0 1 0 703708150 19238912 3843 4294967295 134512640 134714508 3221221792 3221218864 1074867308 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4697 3843 1111 63 0 4634 0
vsize: 18788
[startup+740.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3130
Raw data (stat): 3130 (bsolo_lpr) R 3129 7876 7672 0 -1 0 266488 0 0 0 73328 680 0 0 25 0 1 0 703708150 18296832 3797 4294967295 134512640 134714508 3221221792 3221220176 1074153822 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4467 3797 1111 63 0 4404 0
vsize: 17868
[startup+746.148 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 3130
Raw data (stat): 3130 (bsolo_lpr) R 3129 7876 7672 0 -1 0 266488 0 0 0 73328 680 0 0 25 0 1 0 703708150 18296832 3797 4294967295 134512640 134714508 3221221792 3221220176 1074153822 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4467 3797 1111 63 0 4404 0
vsize: 0

Child status: 30
Real time (s): 746.148
CPU time (s): 746.209
CPU user time (s): 739.339
CPU system time (s): 6.86996
CPU usage (%): 100.008
Max. virtual memory (Kb): 18788
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	4517
#### END VERIFIER DATA ####