PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-1.opb
MD5SUM	94f501465233508e2f652cf118ddaf2d
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-31
Optimality of the best value was proved	NO
Number of terms in the objective function	760
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	760
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	760
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.06
Number of variables	760
Total number of constraints	41314
Number of constraints which are clauses	41314
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	2
Trace number 42206

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-16 02:11:25 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25422 boxname=wulflinc1 idbench=324 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  94f501465233508e2f652cf118ddaf2d  /oldhome/oroussel/tmp/wulflinc1/normalized-frb40-19-1.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-frb40-19-1.opb
IDLAUNCH: 25422
/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:        798680 kB
Buffers:         34276 kB
Cached:         177576 kB
SwapCached:       1192 kB
Active:          77772 kB
Inactive:       136400 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        798428 kB
SwapTotal:     2097136 kB
SwapFree:      2094880 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5364 kB
Slab:            15936 kB
Committed_AS:    92720 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 02:31:27 (client local time) WITH STATUS 0 IN 1202.25 SECONDS
stats: 25422 0 1202.25 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
c got solution with objective value: 760
c big objective detected
c trying from 0 to 511

c Decision: 5325/259586	Time: 41.6537/86400
c Decision: 5325/259586	Time: 75.1476/86400
c Decision: 6514/259586	Time: 122.187/86400
c Decision: 8026/259586	Time: 166.314/86400
c Decision: 8026/259586	Time: 199.842/86400
c Decision: 8026/259586	Time: 234.034/86400
c Decision: 12351/259586	Time: 262.738/86400
c Decision: 12351/259586	Time: 293.293/86400
c Decision: 12351/259586	Time: 327.624/86400
c Decision: 19484/259586	Time: 370.468/86400
c Decision: 19504/259586	Time: 429.348/86400
c Decision: 19504/259586	Time: 473.236/86400
c Decision: 33678/259586	Time: 506.686/86400
c Decision: 33678/259586	Time: 537.789/86400
c Decision: 33678/259586	Time: 565.376/86400
c Decision: 36102/259586	Time: 598.112/86400
c Decision: 53081/259586	Time: 663.738/86400
c Decision: 53081/259586	Time: 689.141/86400
c Decision: 53081/259586	Time: 727.823/86400
c Decision: 53750/259586	Time: 793.23/86400
c Decision: 53750/259586	Time: 828.389/86400
c trying from 512 to 759

c got solution with objective value: 758
c starting final optimization

c Decision: 392645/549527	Time: 100.469/86400s SATISFIABLE
v -C1 -C10 -C100 -C101 -C102 -C103 -C104 -C105 -C106 -C107 -C108 -C109 -C11 -C110 -C111 -C112 -C113 -C114 -C115 -C116 -C117 -C118 -C119 -C12 -C120 -C121 -C122 -C123 -C124 -C125 -C126 -C127 -C128 -C129 -C13 -C130 -C131 -C132 -C133 -C134 -C135 -C136 -C137 -C138 -C139 -C14 -C140 -C141 -C142 -C143 -C144 -C145 -C146 -C147 -C148 -C149 -C15 -C150 -C151 -C152 -C153 -C154 -C155 -C156 -C157 -C158 -C159 -C16 -C160 -C161 -C162 -C163 -C164 -C165 -C166 -C167 -C168 -C169 -C17 -C170 -C171 -C172 -C173 -C174 -C175 -C176 -C177 -C178 -C179 -C18 -C180 -C181 -C182 -C183 -C184 -C185 -C186 -C187 -C188 -C189 -C19 -C190 -C191 -C192 -C193 -C194 -C195 -C196 -C197 -C198 -C199 -C2 -C20 -C200 -C201 -C202 -C203 -C204 -C205 -C206 -C207 -C208 -C209 -C21 -C210 -C211 -C212 -C213 -C214 -C215 -C216 -C217 -C218 -C219 -C22 -C220 -C221 -C222 -C223 -C224 -C225 -C226 -C227 -C228 -C229 -C23 -C230 -C231 -C232 -C233 -C234 -C235 -C236 -C237 -C238 -C239 -C24 -C240 -C241 -C242 -C243 -C244 -C245 -C246 -C247 -C248 -C249 -C25 -C250 -C251 -C252 -C253 -C254 -C255 -C256 -C257 -C258 -C259 -C26 C260 -C261 -C262 -C263 -C264 -C265 -C266 -C267 -C268 -C269 -C27 -C270 -C271 -C272 -C273 -C274 -C275 -C276 -C277 -C278 -C279 -C28 -C280 -C281 -C282 -C283 -C284 C285 -C286 -C287 -C288 -C289 -C29 -C290 -C291 -C292 -C293 -C294 -C295 -C296 -C297 -C298 -C299 -C3 -C30 -C300 -C301 -C302 -C303 -C304 -C305 -C306 -C307 -C308 -C309 -C31 -C310 -C311 -C312 -C313 -C314 -C315 -C316 -C317 -C318 -C319 -C32 -C320 -C321 -C322 -C323 -C324 -C325 -C326 -C327 -C328 -C329 -C33 -C330 -C331 -C332 -C333 -C334 -C335 -C336 -C337 -C338 -C339 -C34 -C340 -C341 -C342 -C343 -C344 -C345 -C346 -C347 -C348 -C349 -C35 -C350 -C351 -C352 -C353 -C354 -C355 -C356 -C357 -C358 -C359 -C36 -C360 -C361 -C362 -C363 -C364 -C365 -C366 -C367 -C368 -C369 -C37 -C370 -C371 -C372 -C373 -C374 -C375 -C376 -C377 -C378 -C379 -C38 -C380 -C381 -C382 -C383 -C384 -C385 -C386 -C387 -C388 -C389 -C39 -C390 -C391 -C392 -C393 -C394 -C395 -C396 -C397 -C398 -C399 -C4 -C40 -C400 -C401 -C402 -C403 -C404 -C405 -C406 -C407 -C408 -C409 -C41 -C410 -C411 -C412 -C413 -C414 -C415 -C416 -C417 -C418 -C419 -C42 -C420 -C421 -C422 -C423 -C424 -C425 -C426 -C427 -C428 -C429 -C43 -C430 -C431 -C432 -C433 -C434 -C435 -C436 -C437 -C438 -C439 -C44 -C440 -C441 -C442 -C443 -C444 -C445 -C446 -C447 -C448 -C449 -C45 -C450 -C451 -C452 -C453 -C454 -C455 -C456 -C457 -C458 -C459 -C46 -C460 -C461 -C462 -C463 -C464 -C465 -C466 -C467 -C468 -C469 -C47 -C470 -C471 -C472 -C473 -C474 -C475 -C476 -C477 -C478 -C479 -C48 -C480 -C481 -C482 -C483 -C484 -C485 -C486 -C487 -C488 -C489 -C49 -C490 -C491 -C492 -C493 -C494 -C495 -C496 -C497 -C498 -C499 -C5 -C50 -C500 -C501 -C502 -C503 -C504 -C505 -C506 -C507 -C508 -C509 -C51 -C510 -C511 -C512 -C513 -C514 -C515 -C516 -C517 -C518 -C519 -C52 -C520 -C521 -C522 -C523 -C524 -C525 -C526 -C527 -C528 -C529 -C53 -C530 -C531 -C532 -C533 -C534 -C535 -C536 -C537 -C538 -C539 -C54 -C540 -C541 -C542 -C543 -C544 -C545 -C546 -C547 -C548 -C549 -C55 -C550 -C551 -C552 -C553 -C554 -C555 -C556 -C557 -C558 -C559 -C56 -C560 -C561 -C562 -C563 -C564 -C565 -C566 -C567 -C568 -C569 -C57 -C570 -C571 -C572 -C573 -C574 -C575 -C576 -C577 -C578 -C579 -C58 -C580 -C581 -C582 -C583 -C584 -C585 -C586 -C587 -C588 -C589 -C59 -C590 -C591 -C592 -C593 -C594 -C595 -C596 -C597 -C598 -C599 -C6 -C60 -C600 -C601 -C602 -C603 -C604 -C605 -C606 -C607 -C608 -C609 -C61 -C610 -C611 -C612 -C613 -C614 -C615 -C616 -C617 -C618 -C619 -C62 -C620 -C621 -C622 -C623 -C624 -C625 -C626 -C627 -C628 -C629 -C63 -C630 -C631 -C632 -C633 -C634 -C635 -C636 -C637 -C638 -C639 -C64 -C640 -C641 -C642 -C643 -C644 -C645 -C646 -C647 -C648 -C649 -C65 -C650 -C651 -C652 -C653 -C654 -C655 -C656 -C657 -C658 -C659 -C66 -C660 -C661 -C662 -C663 -C664 -C665 -C666 -C667 -C668 -C669 -C67 -C670 -C671 -C672 -C673 -C674 -C675 -C676 -C677 -C678 -C679 -C68 -C680 -C681 -C682 -C683 -C684 -C685 -C686 -C687 -C688 -C689 -C69 -C690 -C691 -C692 -C693 -C694 -C695 -C696 -C697 -C698 -C699 -C7 -C70 -C700 -C701 -C702 -C703 -C704 -C705 -C706 -C707 -C708 -C709 -C71 -C710 -C711 -C712 -C713 -C714 -C715 -C716 -C717 -C718 -C719 -C72 -C720 -C721 -C722 -C723 -C724 -C725 -C726 -C727 -C728 -C729 -C73 -C730 -C731 -C732 -C733 -C734 -C735 -C736 -C737 -C738 -C739 -C74 -C740 -C741 -C742 -C743 -C744 -C745 -C746 -C747 -C748 -C749 -C75 -C750 -C751 -C752 -C753 -C754 -C755 -C756 -C757 -C758 -C759 -C76 -C760 -C77 -C78 -C79 -C8 -C80 -C81 -C82 -C83 -C84 -C85 -C86 -C87 -C88 -C89 -C9 -C90 -C91 -C92 -C93 -C94 -C95 -C96 -C97 -C98 -C99 
#### 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.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (runsolver) R 10839 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 910204874 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 24845 0 0 0 945 54 0 0 25 0 1 0 910204874 84828160 14006 4294967295 134512640 135730672 3221224592 3220970872 134787727 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 20710 14006 301 301 0 20409 0
vsize: 82840
[startup+20.0005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 42251 0 0 0 1906 93 0 0 25 0 1 0 910204874 128135168 24549 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 31283 24549 301 301 0 30982 0
vsize: 125132
[startup+30.0013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 43539 0 0 0 2903 96 0 0 25 0 1 0 910204874 133681152 25474 4294967295 134512640 135730672 3221224592 3221222988 134748653 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 32637 25474 301 301 0 32336 0
vsize: 130548
[startup+40.0011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 44083 0 0 0 3902 98 0 0 25 0 1 0 910204874 135524352 25838 4294967295 134512640 135730672 3221224592 3221222928 134744850 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 33087 25838 301 301 0 32786 0
vsize: 132348
[startup+50.0019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 44300 0 0 0 4902 98 0 0 25 0 1 0 910204874 136265728 25989 4294967295 134512640 135730672 3221224592 3221222864 134740270 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 33268 25989 301 301 0 32967 0
vsize: 133072
[startup+60.0022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 45197 0 0 0 5899 101 0 0 25 0 1 0 910204874 137650176 26280 4294967295 134512640 135730672 3221224592 3221222816 134747942 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 33606 26280 301 301 0 33305 0
vsize: 134424
[startup+70.0025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 46520 0 0 0 6896 104 0 0 25 0 1 0 910204874 143208448 27307 4294967295 134512640 135730672 3221224592 3221222640 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 34963 27307 301 301 0 34662 0
vsize: 139852
[startup+80.0032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 47262 0 0 0 7893 107 0 0 25 0 1 0 910204874 146755584 28016 4294967295 134512640 135730672 3221224592 3221222568 135284590 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35829 28016 301 301 0 35528 0
vsize: 143316
[startup+90.0031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 48303 0 0 0 8891 109 0 0 25 0 1 0 910204874 151101440 28925 4294967295 134512640 135730672 3221224592 3221222468 134769153 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36890 28925 301 301 0 36589 0
vsize: 147560
[startup+100.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 48760 0 0 0 9888 111 0 0 25 0 1 0 910204874 151502848 28874 4294967295 134512640 135730672 3221224592 3221222816 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36988 28874 301 301 0 36687 0
vsize: 147952
[startup+110.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 50444 0 0 0 10884 115 0 0 25 0 1 0 910204874 156205056 29618 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38136 29618 301 301 0 37835 0
vsize: 152544
[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 50545 0 0 0 11883 115 0 0 25 0 1 0 910204874 156606464 29686 4294967295 134512640 135730672 3221224592 3221223008 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38234 29686 301 301 0 37933 0
vsize: 152936
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 50566 0 0 0 12884 115 0 0 25 0 1 0 910204874 156606464 29707 4294967295 134512640 135730672 3221224592 3221222816 134747602 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38234 29707 301 301 0 37933 0
vsize: 152936
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 51211 0 0 0 13882 117 0 0 25 0 1 0 910204874 157003776 29811 4294967295 134512640 135730672 3221224592 3221222816 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38331 29811 301 301 0 38030 0
vsize: 153324
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 52014 0 0 0 14881 118 0 0 25 0 1 0 910204874 159113216 30256 4294967295 134512640 135730672 3221224592 3221222912 134763582 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38846 30256 301 301 0 38545 0
vsize: 155384
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 52831 0 0 0 15879 120 0 0 25 0 1 0 910204874 161230848 30714 4294967295 134512640 135730672 3221224592 3221222816 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39363 30714 301 301 0 39062 0
vsize: 157452
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 52913 0 0 0 16879 120 0 0 25 0 1 0 910204874 161501184 30796 4294967295 134512640 135730672 3221224592 3221222944 134748255 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39429 30796 301 301 0 39128 0
vsize: 157716
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 53016 0 0 0 17879 121 0 0 25 0 1 0 910204874 161763328 30834 4294967295 134512640 135730672 3221224592 3221222816 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39493 30834 301 301 0 39192 0
vsize: 157972
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 54075 0 0 0 18876 124 0 0 25 0 1 0 910204874 163901440 31253 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40015 31253 301 301 0 39714 0
vsize: 160060
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 54230 0 0 0 19875 125 0 0 25 0 1 0 910204874 164573184 31375 4294967295 134512640 135730672 3221224592 3221222976 134734769 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40179 31375 301 301 0 39878 0
vsize: 160716
[startup+210.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 54318 0 0 0 20875 126 0 0 25 0 1 0 910204874 164843520 31463 4294967295 134512640 135730672 3221224592 3221222656 134739213 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40245 31463 301 301 0 39944 0
vsize: 160980
[startup+220.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 55373 0 0 0 21872 128 0 0 25 0 1 0 910204874 166424576 31749 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40631 31749 301 301 0 40330 0
vsize: 162524
[startup+230.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 55994 0 0 0 22871 130 0 0 25 0 1 0 910204874 168415232 32074 4294967295 134512640 135730672 3221224592 3221222816 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41117 32074 301 301 0 40816 0
vsize: 164468
[startup+240.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 56427 0 0 0 23870 131 0 0 25 0 1 0 910204874 169467904 32279 4294967295 134512640 135730672 3221224592 3221222816 134747570 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41374 32279 301 301 0 41073 0
vsize: 165496
[startup+250.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 57117 0 0 0 24868 133 0 0 25 0 1 0 910204874 169861120 32363 4294967295 134512640 135730672 3221224592 3221222816 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41470 32363 301 301 0 41169 0
vsize: 165880
[startup+260.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 57156 0 0 0 25867 134 0 0 25 0 1 0 910204874 169996288 32402 4294967295 134512640 135730672 3221224592 3221222944 134748120 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41503 32402 301 301 0 41202 0
vsize: 166012
[startup+270.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 57158 0 0 0 26868 134 0 0 25 0 1 0 910204874 169996288 32404 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41503 32404 301 301 0 41202 0
vsize: 166012
[startup+280.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 57667 0 0 0 27866 135 0 0 25 0 1 0 910204874 169996288 32405 4294967295 134512640 135730672 3221224592 3221222944 134748120 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41503 32405 301 301 0 41202 0
vsize: 166012
[startup+290.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 57673 0 0 0 28866 135 0 0 25 0 1 0 910204874 169996288 32411 4294967295 134512640 135730672 3221224592 3221222944 134748111 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41503 32411 301 301 0 41202 0
vsize: 166012
[startup+300.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 57675 0 0 0 29866 136 0 0 25 0 1 0 910204874 169996288 32413 4294967295 134512640 135730672 3221224592 3221222816 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41503 32413 301 301 0 41202 0
vsize: 166012
[startup+310.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 58206 0 0 0 30865 137 0 0 25 0 1 0 910204874 170131456 32436 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41536 32436 301 301 0 41235 0
vsize: 166144
[startup+320.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 58255 0 0 0 31864 138 0 0 25 0 1 0 910204874 170262528 32452 4294967295 134512640 135730672 3221224592 3221222816 134747627 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41568 32452 301 301 0 41267 0
vsize: 166272
[startup+330.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 58431 0 0 0 32864 138 0 0 25 0 1 0 910204874 170655744 32529 4294967295 134512640 135730672 3221224592 3221222816 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41664 32529 301 301 0 41363 0
vsize: 166656
[startup+340.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 58722 0 0 0 33863 139 0 0 25 0 1 0 910204874 171712512 32690 4294967295 134512640 135730672 3221224592 3221222916 134747725 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41922 32690 301 301 0 41621 0
vsize: 167688
[startup+350.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 59389 0 0 0 34861 141 0 0 25 0 1 0 910204874 172240896 32783 4294967295 134512640 135730672 3221224592 3221222924 134747727 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42051 32783 301 301 0 41750 0
vsize: 168204
[startup+360.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 60112 0 0 0 35860 142 0 0 25 0 1 0 910204874 174751744 33212 4294967295 134512640 135730672 3221224592 3221222816 134747970 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42664 33212 301 301 0 42363 0
vsize: 170656
[startup+370.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 60324 0 0 0 36859 143 0 0 25 0 1 0 910204874 175407104 33325 4294967295 134512640 135730672 3221224592 3221222864 134740310 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42824 33325 301 301 0 42523 0
vsize: 171296
[startup+380.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 60338 0 0 0 37859 143 0 0 25 0 1 0 910204874 175407104 33339 4294967295 134512640 135730672 3221224592 3221222928 134748234 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42824 33339 301 301 0 42523 0
vsize: 171296
[startup+390.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 60860 0 0 0 38858 144 0 0 25 0 1 0 910204874 175407104 33353 4294967295 134512640 135730672 3221224592 3221222912 134764020 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42824 33353 301 301 0 42523 0
vsize: 171296
[startup+400.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 60905 0 0 0 39858 145 0 0 25 0 1 0 910204874 175673344 33398 4294967295 134512640 135730672 3221224592 3221222640 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42889 33398 301 301 0 42588 0
vsize: 171556
[startup+410.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 61244 0 0 0 40857 146 0 0 25 0 1 0 910204874 176721920 33606 4294967295 134512640 135730672 3221224592 3221222940 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43145 33606 301 301 0 42844 0
vsize: 172580
[startup+420.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 61260 0 0 0 41857 146 0 0 25 0 1 0 910204874 176721920 33622 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43145 33622 301 301 0 42844 0
vsize: 172580
[startup+430.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 61468 0 0 0 42857 147 0 0 25 0 1 0 910204874 177516544 33764 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43339 33764 301 301 0 43038 0
vsize: 173356
[startup+440.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 61571 0 0 0 43856 147 0 0 25 0 1 0 910204874 177778688 33801 4294967295 134512640 135730672 3221224592 3221222640 134732479 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43403 33801 301 301 0 43102 0
vsize: 173612
[startup+450.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 62182 0 0 0 44855 149 0 0 25 0 1 0 910204874 178044928 33904 4294967295 134512640 135730672 3221224592 3221222640 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43468 33904 301 301 0 43167 0
vsize: 173872
[startup+460.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 62638 0 0 0 45854 150 0 0 25 0 1 0 910204874 179355648 34034 4294967295 134512640 135730672 3221224592 3221222816 134747735 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43788 34034 301 301 0 43487 0
vsize: 175152
[startup+470.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 62669 0 0 0 46854 150 0 0 25 0 1 0 910204874 179355648 34065 4294967295 134512640 135730672 3221224592 3221222800 134748053 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43788 34065 301 301 0 43487 0
vsize: 175152
[startup+480.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 62688 0 0 0 47854 151 0 0 25 0 1 0 910204874 179355648 34084 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43788 34084 301 301 0 43487 0
vsize: 175152
[startup+490.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 63197 0 0 0 48853 152 0 0 25 0 1 0 910204874 179355648 34085 4294967295 134512640 135730672 3221224592 3221222816 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43788 34085 301 301 0 43487 0
vsize: 175152
[startup+500.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 63303 0 0 0 49853 152 0 0 25 0 1 0 910204874 179884032 34126 4294967295 134512640 135730672 3221224592 3221222816 134747602 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43917 34126 301 301 0 43616 0
vsize: 175668
[startup+510.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 63304 0 0 0 50853 152 0 0 25 0 1 0 910204874 179884032 34127 4294967295 134512640 135730672 3221224592 3221222816 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43917 34127 301 301 0 43616 0
vsize: 175668
[startup+520.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 63311 0 0 0 51853 152 0 0 25 0 1 0 910204874 179884032 34134 4294967295 134512640 135730672 3221224592 3221222816 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43917 34134 301 301 0 43616 0
vsize: 175668
[startup+530.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 63820 0 0 0 52852 153 0 0 25 0 1 0 910204874 179884032 34135 4294967295 134512640 135730672 3221224592 3221223008 134748499 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43917 34135 301 301 0 43616 0
vsize: 175668
[startup+540.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 63835 0 0 0 53852 153 0 0 25 0 1 0 910204874 179884032 34150 4294967295 134512640 135730672 3221224592 3221222816 134747757 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43917 34150 301 301 0 43616 0
vsize: 175668
[startup+550.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 63837 0 0 0 54852 153 0 0 25 0 1 0 910204874 179884032 34152 4294967295 134512640 135730672 3221224592 3221222816 134747608 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43917 34152 301 301 0 43616 0
vsize: 175668
[startup+560.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 64356 0 0 0 55851 154 0 0 25 0 1 0 910204874 179884032 34163 4294967295 134512640 135730672 3221224592 3221222816 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43917 34163 301 301 0 43616 0
vsize: 175668
[startup+570.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 64358 0 0 0 56851 155 0 0 25 0 1 0 910204874 179884032 34165 4294967295 134512640 135730672 3221224592 3221222816 134747513 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43917 34165 301 301 0 43616 0
vsize: 175668
[startup+580.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 64867 0 0 0 57850 156 0 0 25 0 1 0 910204874 181964800 34674 4294967295 134512640 135730672 3221224592 3221222496 134769202 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44425 34674 301 301 0 44124 0
vsize: 177700
[startup+590.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 64890 0 0 0 58850 156 0 0 25 0 1 0 910204874 179884032 34189 4294967295 134512640 135730672 3221224592 3221222816 134747634 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43917 34189 301 301 0 43616 0
vsize: 175668
[startup+600.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 64909 0 0 0 59850 156 0 0 25 0 1 0 910204874 179884032 34208 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43917 34208 301 301 0 43616 0
vsize: 175668
[startup+610.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 64923 0 0 0 60850 157 0 0 25 0 1 0 910204874 179884032 34222 4294967295 134512640 135730672 3221224592 3221222816 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43917 34222 301 301 0 43616 0
vsize: 175668
[startup+620.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 65435 0 0 0 61849 157 0 0 25 0 1 0 910204874 179884032 34226 4294967295 134512640 135730672 3221224592 3221222976 134734774 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43917 34226 301 301 0 43616 0
vsize: 175668
[startup+630.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 65437 0 0 0 62849 158 0 0 25 0 1 0 910204874 179884032 34228 4294967295 134512640 135730672 3221224592 3221222800 134732804 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43917 34228 301 301 0 43616 0
vsize: 175668
[startup+640.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 65729 0 0 0 63849 158 0 0 25 0 1 0 910204874 180674560 34390 4294967295 134512640 135730672 3221224592 3221222816 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44110 34390 301 301 0 43809 0
vsize: 176440
[startup+650.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 65876 0 0 0 64848 159 0 0 25 0 1 0 910204874 180936704 34472 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44174 34472 301 301 0 43873 0
vsize: 176696
[startup+660.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 65877 0 0 0 65848 159 0 0 25 0 1 0 910204874 180936704 34473 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44174 34473 301 301 0 43873 0
vsize: 176696
[startup+670.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 65879 0 0 0 66848 159 0 0 25 0 1 0 910204874 180936704 34475 4294967295 134512640 135730672 3221224592 3221222816 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44174 34475 301 301 0 43873 0
vsize: 176696
[startup+680.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 66388 0 0 0 67847 161 0 0 25 0 1 0 910204874 180936704 34476 4294967295 134512640 135730672 3221224592 3221222976 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44174 34476 301 301 0 43873 0
vsize: 176696
[startup+690.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 66389 0 0 0 68847 161 0 0 25 0 1 0 910204874 180936704 34477 4294967295 134512640 135730672 3221224592 3221222816 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44174 34477 301 301 0 43873 0
vsize: 176696
[startup+700.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 66391 0 0 0 69847 162 0 0 25 0 1 0 910204874 180936704 34479 4294967295 134512640 135730672 3221224592 3221222976 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44174 34479 301 301 0 43873 0
vsize: 176696
[startup+710.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 66900 0 0 0 70845 163 0 0 25 0 1 0 910204874 180936704 34480 4294967295 134512640 135730672 3221224592 3221222816 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44174 34480 301 301 0 43873 0
vsize: 176696
[startup+720.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 66901 0 0 0 71845 163 0 0 25 0 1 0 910204874 180936704 34481 4294967295 134512640 135730672 3221224592 3221223008 134748452 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44174 34481 301 301 0 43873 0
vsize: 176696
[startup+730.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 66902 0 0 0 72845 163 0 0 25 0 1 0 910204874 180936704 34482 4294967295 134512640 135730672 3221224592 3221223008 134748499 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44174 34482 301 301 0 43873 0
vsize: 176696
[startup+740.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 66904 0 0 0 73845 163 0 0 25 0 1 0 910204874 180936704 34484 4294967295 134512640 135730672 3221224592 3221222816 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44174 34484 301 301 0 43873 0
vsize: 176696
[startup+750.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 67572 0 0 0 74844 165 0 0 25 0 1 0 910204874 181329920 34546 4294967295 134512640 135730672 3221224592 3221222816 134747616 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44270 34546 301 301 0 43969 0
vsize: 177080
[startup+760.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 67597 0 0 0 75844 165 0 0 25 0 1 0 910204874 181329920 34571 4294967295 134512640 135730672 3221224592 3221222912 134764086 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44270 34571 301 301 0 43969 0
vsize: 177080
[startup+770.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 68232 0 0 0 76843 166 0 0 25 0 1 0 910204874 183042048 34913 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44688 34913 301 301 0 44387 0
vsize: 178752
[startup+780.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 68341 0 0 0 77843 167 0 0 25 0 1 0 910204874 183304192 34957 4294967295 134512640 135730672 3221224592 3221223008 134748554 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44752 34957 301 301 0 44451 0
vsize: 179008
[startup+790.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 68343 0 0 0 78843 167 0 0 25 0 1 0 910204874 183304192 34959 4294967295 134512640 135730672 3221224592 3221222816 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44752 34959 301 301 0 44451 0
vsize: 179008
[startup+800.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 68349 0 0 0 79843 167 0 0 25 0 1 0 910204874 183304192 34965 4294967295 134512640 135730672 3221224592 3221222816 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44752 34965 301 301 0 44451 0
vsize: 179008
[startup+810.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 68868 0 0 0 80842 168 0 0 25 0 1 0 910204874 183304192 34976 4294967295 134512640 135730672 3221224592 3221222816 134747970 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44752 34976 301 301 0 44451 0
vsize: 179008
[startup+820.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 68878 0 0 0 81842 168 0 0 25 0 1 0 910204874 183304192 34986 4294967295 134512640 135730672 3221224592 3221222912 134747445 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44752 34986 301 301 0 44451 0
vsize: 179008
[startup+830.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 68888 0 0 0 82842 169 0 0 25 0 1 0 910204874 183304192 34996 4294967295 134512640 135730672 3221224592 3221222640 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44752 34996 301 301 0 44451 0
vsize: 179008
[startup+840.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 68896 0 0 0 83842 169 0 0 25 0 1 0 910204874 183304192 35004 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44752 35004 301 301 0 44451 0
vsize: 179008
[startup+850.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 69408 0 0 0 84841 170 0 0 25 0 1 0 910204874 183304192 35008 4294967295 134512640 135730672 3221224592 3221222816 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44752 35008 301 301 0 44451 0
vsize: 179008
[startup+860.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 69449 0 0 0 85841 170 0 0 25 0 1 0 910204874 183304192 35049 4294967295 134512640 135730672 3221224592 3221222816 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44752 35049 301 301 0 44451 0
vsize: 179008
[startup+870.019 s]
Raw data (loadavg): 0.99 0.97 0.91 3/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 70555 0 0 0 86839 172 0 0 25 0 1 0 910204874 186191872 35503 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45457 35503 301 301 0 45156 0
vsize: 181828
[startup+880.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 71038 0 0 0 87839 173 0 0 25 0 1 0 910204874 187637760 35758 4294967295 134512640 135730672 3221224592 3221222912 134763582 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45810 35758 301 301 0 45509 0
vsize: 183240
[startup+890.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 71294 0 0 0 88838 174 0 0 25 0 1 0 910204874 188424192 35820 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 46002 35820 301 301 0 45701 0
vsize: 184008
[startup+900.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 71457 0 0 0 89838 174 0 0 25 0 1 0 910204874 188948480 35854 4294967295 134512640 135730672 3221224592 3221222816 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 46130 35854 301 301 0 45829 0
vsize: 184520
[startup+910.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 71459 0 0 0 90838 174 0 0 25 0 1 0 910204874 188948480 35856 4294967295 134512640 135730672 3221224592 3221222816 134747578 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 46130 35856 301 301 0 45829 0
vsize: 184520
[startup+920.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 71461 0 0 0 91838 174 0 0 25 0 1 0 910204874 188948480 35858 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 46130 35858 301 301 0 45829 0
vsize: 184520
[startup+930.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 71463 0 0 0 92838 175 0 0 25 0 1 0 910204874 188948480 35860 4294967295 134512640 135730672 3221224592 3221222816 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 46130 35860 301 301 0 45829 0
vsize: 184520
[startup+940.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 71466 0 0 0 93838 175 0 0 25 0 1 0 910204874 188948480 35863 4294967295 134512640 135730672 3221224592 3221222816 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 46130 35863 301 301 0 45829 0
vsize: 184520
[startup+950.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 71694 0 0 0 94838 175 0 0 25 0 1 0 910204874 189472768 35962 4294967295 134512640 135730672 3221224592 3221222816 134747808 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 46258 35962 301 301 0 45957 0
vsize: 185032
[startup+960.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 71721 0 0 0 95838 176 0 0 25 0 1 0 910204874 189472768 35989 4294967295 134512640 135730672 3221224592 3221222960 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 46258 35989 301 301 0 45957 0
vsize: 185032
[startup+970.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 86616 0 0 0 96803 210 0 0 25 0 1 0 910204874 232919040 46176 4294967295 134512640 135730672 3221224592 3221122440 135284287 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 56865 46176 301 301 0 56564 0
vsize: 227460
[startup+980.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 123467 0 0 0 97729 284 0 0 25 0 1 0 910204874 351006720 60833 4294967295 134512640 135730672 3221224592 3221201328 134742865 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 85695 60834 301 301 0 85394 0
vsize: 342780
[startup+990.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 129323 0 0 0 98717 296 0 0 25 0 1 0 910204874 358780928 62773 4294967295 134512640 135730672 3221224592 3221222688 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 87593 62773 301 301 0 87292 0
vsize: 350372
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 129811 0 0 0 99716 297 0 0 25 0 1 0 910204874 361115648 63162 4294967295 134512640 135730672 3221224592 3221222688 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 88163 63162 301 301 0 87862 0
vsize: 352652
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 129967 0 0 0 100716 298 0 0 25 0 1 0 910204874 361648128 63253 4294967295 134512640 135730672 3221224592 3221222848 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 88293 63253 301 301 0 87992 0
vsize: 353172
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 130006 0 0 0 101716 298 0 0 25 0 1 0 910204874 361648128 63292 4294967295 134512640 135730672 3221224592 3221222688 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 88293 63292 301 301 0 87992 0
vsize: 353172
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 130014 0 0 0 102715 299 0 0 25 0 1 0 910204874 378425344 63300 4294967295 134512640 135730672 3221224592 3221222784 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 92389 63300 301 301 0 92088 0
vsize: 369556
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 130018 0 0 0 103716 299 0 0 25 0 1 0 910204874 378425344 63304 4294967295 134512640 135730672 3221224592 3221222848 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 92389 63304 301 301 0 92088 0
vsize: 369556
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 130024 0 0 0 104716 299 0 0 25 0 1 0 910204874 378425344 63310 4294967295 134512640 135730672 3221224592 3221222688 134747575 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 92389 63310 301 301 0 92088 0
vsize: 369556
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 130263 0 0 0 105715 299 0 0 25 0 1 0 910204874 379351040 63450 4294967295 134512640 135730672 3221224592 3221222688 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 92615 63450 301 301 0 92314 0
vsize: 370460
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 130372 0 0 0 106715 300 0 0 25 0 1 0 910204874 379617280 63559 4294967295 134512640 135730672 3221224592 3221222812 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 92680 63559 301 301 0 92379 0
vsize: 370720
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 130528 0 0 0 107714 301 0 0 25 0 1 0 910204874 380280832 63682 4294967295 134512640 135730672 3221224592 3221222688 134747570 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 92842 63682 301 301 0 92541 0
vsize: 371368
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 131624 0 0 0 108712 304 0 0 25 0 1 0 910204874 380280832 63704 4294967295 134512640 135730672 3221224592 3221222688 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 92842 63704 301 301 0 92541 0
vsize: 371368
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 131803 0 0 0 109711 304 0 0 25 0 1 0 910204874 380674048 63785 4294967295 134512640 135730672 3221224592 3221222672 134732790 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 92938 63785 301 301 0 92637 0
vsize: 371752
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 131989 0 0 0 110711 305 0 0 25 0 1 0 910204874 381202432 63905 4294967295 134512640 135730672 3221224592 3221222688 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93067 63905 301 301 0 92766 0
vsize: 372268
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 131991 0 0 0 111711 305 0 0 25 0 1 0 910204874 381202432 63907 4294967295 134512640 135730672 3221224592 3221222512 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93067 63907 301 301 0 92766 0
vsize: 372268
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 131998 0 0 0 112711 305 0 0 25 0 1 0 910204874 381202432 63914 4294967295 134512640 135730672 3221224592 3221222784 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93067 63914 301 301 0 92766 0
vsize: 372268
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 131999 0 0 0 113711 305 0 0 25 0 1 0 910204874 381202432 63915 4294967295 134512640 135730672 3221224592 3221222688 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93067 63915 301 301 0 92766 0
vsize: 372268
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 132002 0 0 0 114711 305 0 0 25 0 1 0 910204874 381202432 63918 4294967295 134512640 135730672 3221224592 3221222688 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93067 63918 301 301 0 92766 0
vsize: 372268
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 132007 0 0 0 115711 305 0 0 25 0 1 0 910204874 381202432 63923 4294967295 134512640 135730672 3221224592 3221222736 134740279 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93067 63923 301 301 0 92766 0
vsize: 372268
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 132012 0 0 0 116711 305 0 0 25 0 1 0 910204874 381202432 63928 4294967295 134512640 135730672 3221224592 3221222848 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93067 63928 301 301 0 92766 0
vsize: 372268
[startup+1180.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 132019 0 0 0 117711 306 0 0 25 0 1 0 910204874 381202432 63935 4294967295 134512640 135730672 3221224592 3221222688 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93067 63935 301 301 0 92766 0
vsize: 372268
[startup+1190.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 132026 0 0 0 118711 306 0 0 25 0 1 0 910204874 381202432 63942 4294967295 134512640 135730672 3221224592 3221222816 134748091 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93067 63942 301 301 0 92766 0
vsize: 372268
[startup+1200.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 132035 0 0 0 119711 306 0 0 25 0 1 0 910204874 381202432 63951 4294967295 134512640 135730672 3221224592 3221222688 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93067 63951 301 301 0 92766 0
vsize: 372268
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.1 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 10840
Raw data (stat): 10840 (pb2sat-v2) R 10839 8378 8377 0 -1 0 132035 0 0 0 119711 306 0 0 25 0 1 0 910204874 381202432 63951 4294967295 134512640 135730672 3221224592 3221222688 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93067 63951 301 301 0 92766 0
vsize: 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1202.1
CPU time (s): 1202.25
CPU user time (s): 1199.06
CPU system time (s): 3.18751
CPU usage (%): 100.013
Max. virtual memory (Kb): 372268
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-2
#### END VERIFIER DATA ####