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:
  1. 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.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser !
  3. 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.
  4. 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

Nameweb/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-5.opb
MD5SUM38d41fdbe49543e8928c5210e4323f00
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -35
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 numbers10
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1195.04
Number of variables760
Total number of constraints41619
Number of constraints which are clauses41619
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2

Trace number 9823

Launcher Data

LAUNCH ON wulflinc26 THE 2005-09-23 15:28:26 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8558 boxname=wulflinc26 idbench=354 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  38d41fdbe49543e8928c5210e4323f00  /oldhome/oroussel/tmp/wulflinc26/normalized-frb40-19-5.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc26/normalized-frb40-19-5.opb
IDLAUNCH: 8558
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.055
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.055
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:        925252 kB
Buffers:         10956 kB
Cached:          81252 kB
SwapCached:          0 kB
Active:          45064 kB
Inactive:        50020 kB
HighTotal:      131008 kB
HighFree:        46760 kB
LowTotal:       903652 kB
LowFree:        878492 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6972 kB
Slab:             8752 kB
Committed_AS:    63656 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 15:48:36 (client local time) WITH STATUS 10 IN 1208.3 SECONDS
stats: 8558 0 1208.3 10

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: 12166/259586	Time: 43.6364/86400
c Decision: 14985/259586	Time: 117.142/86400
c Decision: 17866/259586	Time: 166.314/86400
c Decision: 17866/259586	Time: 192.238/86400
c Decision: 17866/259586	Time: 221.606/86400
c Decision: 17866/259586	Time: 251.892/86400
c Decision: 17866/259586	Time: 279.886/86400
c Decision: 17866/259586	Time: 306.672/86400
c Decision: 17866/259586	Time: 340.095/86400
c Decision: 17866/259586	Time: 374.275/86400
c Decision: 17884/259586	Time: 411.022/86400
c Decision: 17884/259586	Time: 440.687/86400
c Decision: 17901/259586	Time: 471.51/86400
c Decision: 17901/259586	Time: 504.67/86400
c Decision: 17901/259586	Time: 533.717/86400
c Decision: 17901/259586	Time: 568.016/86400
c Decision: 17901/259586	Time: 600.553/86400
c Decision: 17901/259586	Time: 631.058/86400
c Decision: 17901/259586	Time: 664.695/86400
c Decision: 17901/259586	Time: 700.996/86400
c Decision: 17901/259586	Time: 731.486/86400
c Decision: 17901/259586	Time: 763.876/86400
c Decision: 17901/259586	Time: 800.822/86400
c Decision: 17901/259586	Time: 834.751/86400
c Decision: 17901/259586	Time: 870.122/86400
c Decision: 17901/259586	Time: 900.275/86400
c Decision: 17901/259586	Time: 930.655/86400
c Decision: 17901/259586	Time: 966.54/86400
c Decision: 17901/259586	Time: 994.882/86400
c Decision: 17901/259586	Time: 1032.4/86400
c Decision: 17901/259586	Time: 1068.37/86400
c Decision: 21528/259586	Time: 1119.78/86400
c Decision: 21528/259586	Time: 1156.16/86400
c Decision: 21528/259586	Time: 1186.35/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

Watcher Data

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb
Enforcing VSIZE limit: 994918400 bytes
Current StackSize limit: 67108864 bytes
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 21233575 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7382/statm): 373 2 364 364 0 9 0
[pid=7382] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc26/normalized-frb40-19-5.opb

[startup+10.0024 s]
Raw data (loadavg): 0.93 0.95 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 26314 0 0 0 939 57 0 0 25 0 1 0 21233575 90963968 15273 4294967295 134512640 135987407 3221224560 3221143856 134878675 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7382/statm): 22208 15273 364 364 0 21844 0
[pid=7382] vsize: 88832
Current children cumulated CPU time (s) 9.96
Current children cumulated vsize (Kb) 88832

[startup+20.003 s]
Raw data (loadavg): 0.94 0.96 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 44391 0 0 0 1886 102 0 0 25 0 1 0 21233575 136130560 26486 4294967295 134512640 135987407 3221224560 3221223120 134812010 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7382/statm): 33235 26486 364 364 0 32871 0
[pid=7382] vsize: 132940
Current children cumulated CPU time (s) 19.88
Current children cumulated vsize (Kb) 132940

[startup+30.0027 s]
Raw data (loadavg): 0.95 0.96 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 45750 0 0 0 2865 110 0 0 25 0 1 0 21233575 140828672 27423 4294967295 134512640 135987407 3221224560 3221223120 134811972 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7382/statm): 34382 27423 364 364 0 34018 0
[pid=7382] vsize: 137528
Current children cumulated CPU time (s) 29.75
Current children cumulated vsize (Kb) 137528

[startup+40.0034 s]
Raw data (loadavg): 0.95 0.96 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 47702 0 0 0 3856 117 0 0 25 0 1 0 21233575 149000192 28785 4294967295 134512640 135987407 3221224560 3221223120 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7382/statm): 36377 28785 364 364 0 36013 0
[pid=7382] vsize: 145508
Current children cumulated CPU time (s) 39.73
Current children cumulated vsize (Kb) 145508

[startup+50.0041 s]
Raw data (loadavg): 0.96 0.96 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 48684 0 0 0 4850 120 0 0 25 0 1 0 21233575 153112576 29506 4294967295 134512640 135987407 3221224560 3221223296 134812593 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7382/statm): 37381 29506 364 364 0 37017 0
[pid=7382] vsize: 149524
Current children cumulated CPU time (s) 49.7
Current children cumulated vsize (Kb) 149524

[startup+60.0048 s]
Raw data (loadavg): 0.97 0.96 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 49895 0 0 0 5842 124 0 0 25 0 1 0 21233575 156172288 30045 4294967295 134512640 135987407 3221224560 3221223120 134811807 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7382/statm): 38128 30045 364 364 0 37764 0
[pid=7382] vsize: 152512
Current children cumulated CPU time (s) 59.66
Current children cumulated vsize (Kb) 152512

[startup+70.0055 s]
Raw data (loadavg): 0.97 0.96 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 51110 0 0 0 6825 132 0 0 25 0 1 0 21233575 160473088 30901 4294967295 134512640 135987407 3221224560 3221223120 134811807 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7382/statm): 39178 30901 364 364 0 38814 0
[pid=7382] vsize: 156712
Current children cumulated CPU time (s) 69.57
Current children cumulated vsize (Kb) 156712

[startup+80.0052 s]
Raw data (loadavg): 0.98 0.96 0.95 1/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) T 7381 7382 4005 0 -1 0 52061 0 0 0 7814 136 0 0 25 0 1 0 21233575 164691968 31542 4294967295 134512640 135987407 3221224560 3221223260 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/7382/statm): 40208 31542 364 364 0 39844 0
[pid=7382] vsize: 160832
Current children cumulated CPU time (s) 79.5
Current children cumulated vsize (Kb) 160832

[startup+90.0058 s]
Raw data (loadavg): 0.98 0.96 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 52830 0 0 0 8804 140 0 0 25 0 1 0 21233575 166678528 31982 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7382/statm): 40693 31982 364 364 0 40329 0
[pid=7382] vsize: 162772
Current children cumulated CPU time (s) 89.44
Current children cumulated vsize (Kb) 162772

[startup+100.006 s]
Raw data (loadavg): 0.98 0.96 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 53713 0 0 0 9798 143 0 0 25 0 1 0 21233575 169058304 32439 4294967295 134512640 135987407 3221224560 3221223120 134812163 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7382/statm): 41274 32439 364 364 0 40910 0
[pid=7382] vsize: 165096
Current children cumulated CPU time (s) 99.41
Current children cumulated vsize (Kb) 165096

[startup+110.006 s]
Raw data (loadavg): 0.98 0.96 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 54114 0 0 0 10791 146 0 0 25 0 1 0 21233575 170528768 32741 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7382/statm): 41633 32741 364 364 0 41269 0
[pid=7382] vsize: 166532
Current children cumulated CPU time (s) 109.37
Current children cumulated vsize (Kb) 166532

[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 54616 0 0 0 11785 148 0 0 25 0 1 0 21233575 171978752 32981 4294967295 134512640 135987407 3221224560 3221222992 134788429 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7382/statm): 41987 32981 364 364 0 41623 0
[pid=7382] vsize: 167948
Current children cumulated CPU time (s) 119.33
Current children cumulated vsize (Kb) 167948

[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 54778 0 0 0 12782 150 0 0 25 0 1 0 21233575 172371968 33045 4294967295 134512640 135987407 3221224560 3221223296 134812644 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7382/statm): 42083 33045 364 364 0 41719 0
[pid=7382] vsize: 168332
Current children cumulated CPU time (s) 129.32
Current children cumulated vsize (Kb) 168332

[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 55597 0 0 0 13777 153 0 0 25 0 1 0 21233575 173297664 33258 4294967295 134512640 135987407 3221224560 3221223120 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7382/statm): 42309 33258 364 364 0 41945 0
[pid=7382] vsize: 169236
Current children cumulated CPU time (s) 139.3
Current children cumulated vsize (Kb) 169236

[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 56594 0 0 0 14767 158 0 0 25 0 1 0 21233575 175796224 33767 4294967295 134512640 135987407 3221224560 3221223120 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7382/statm): 42919 33767 364 364 0 42555 0
[pid=7382] vsize: 171676
Current children cumulated CPU time (s) 149.25
Current children cumulated vsize (Kb) 171676

[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 56641 0 0 0 15764 159 0 0 25 0 1 0 21233575 175931392 33814 4294967295 134512640 135987407 3221224560 3221223120 134811980 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7382/statm): 42952 33814 364 364 0 42588 0
[pid=7382] vsize: 171808
Current children cumulated CPU time (s) 159.23
Current children cumulated vsize (Kb) 171808

[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 56728 0 0 0 16761 160 0 0 25 0 1 0 21233575 176197632 33868 4294967295 134512640 135987407 3221224560 3221223248 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7382/statm): 43017 33868 364 364 0 42653 0
[pid=7382] vsize: 172068
Current children cumulated CPU time (s) 169.21
Current children cumulated vsize (Kb) 172068

[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 56758 0 0 0 17758 161 0 0 25 0 1 0 21233575 176197632 33898 4294967295 134512640 135987407 3221224560 3221223120 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7382/statm): 43017 33898 364 364 0 42653 0
[pid=7382] vsize: 172068
Current children cumulated CPU time (s) 179.19
Current children cumulated vsize (Kb) 172068

[startup+190.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 57487 0 0 0 18751 164 0 0 25 0 1 0 21233575 176857088 33988 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7382/statm): 43178 33988 364 364 0 42814 0
[pid=7382] vsize: 172712
Current children cumulated CPU time (s) 189.15
Current children cumulated vsize (Kb) 172712

[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 57649 0 0 0 19748 166 0 0 25 0 1 0 21233575 177385472 34085 4294967295 134512640 135987407 3221224560 3221223120 134812038 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7382/statm): 43307 34085 364 364 0 42943 0
[pid=7382] vsize: 173228
Current children cumulated CPU time (s) 199.14
Current children cumulated vsize (Kb) 173228

[startup+210.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 58178 0 0 0 20745 168 0 0 25 0 1 0 21233575 177385472 34106 4294967295 134512640 135987407 3221224560 3221223296 134812703 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7382/statm): 43307 34106 364 364 0 42943 0
[pid=7382] vsize: 173228
Current children cumulated CPU time (s) 209.13
Current children cumulated vsize (Kb) 173228

[startup+220.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 58209 0 0 0 21741 169 0 0 25 0 1 0 21233575 177385472 34137 4294967295 134512640 135987407 3221224560 3221222992 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7382/statm): 43307 34137 364 364 0 42943 0
[pid=7382] vsize: 173228
Current children cumulated CPU time (s) 219.1
Current children cumulated vsize (Kb) 173228

[startup+230.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 58235 0 0 0 22740 170 0 0 25 0 1 0 21233575 177385472 34163 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7382/statm): 43307 34163 364 364 0 42943 0
[pid=7382] vsize: 173228
Current children cumulated CPU time (s) 229.1
Current children cumulated vsize (Kb) 173228

[startup+240.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 58853 0 0 0 23737 172 0 0 25 0 1 0 21233575 177647616 34208 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7382/statm): 43371 34208 364 364 0 43007 0
[pid=7382] vsize: 173484
Current children cumulated CPU time (s) 239.09
Current children cumulated vsize (Kb) 173484

[startup+250.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 58875 0 0 0 24734 174 0 0 25 0 1 0 21233575 177647616 34230 4294967295 134512640 135987407 3221224560 3221223248 134824720 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7382/statm): 43371 34230 364 364 0 43007 0
[pid=7382] vsize: 173484
Current children cumulated CPU time (s) 249.08
Current children cumulated vsize (Kb) 173484

[startup+260.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 58942 0 0 0 25731 174 0 0 25 0 1 0 21233575 177778688 34264 4294967295 134512640 135987407 3221224560 3221223120 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7382/statm): 43403 34264 364 364 0 43039 0
[pid=7382] vsize: 173612
Current children cumulated CPU time (s) 259.05
Current children cumulated vsize (Kb) 173612

[startup+270.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 59512 0 0 0 26727 177 0 0 25 0 1 0 21233575 177909760 34293 4294967295 134512640 135987407 3221224560 3221223296 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7382/statm): 43435 34293 364 364 0 43071 0
[pid=7382] vsize: 173740
Current children cumulated CPU time (s) 269.04
Current children cumulated vsize (Kb) 173740

[startup+280.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 59514 0 0 0 27725 177 0 0 25 0 1 0 21233575 177909760 34295 4294967295 134512640 135987407 3221224560 3221223120 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7382/statm): 43435 34295 364 364 0 43071 0
[pid=7382] vsize: 173740
Current children cumulated CPU time (s) 279.02
Current children cumulated vsize (Kb) 173740

[startup+290.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 59516 0 0 0 28723 178 0 0 25 0 1 0 21233575 177909760 34297 4294967295 134512640 135987407 3221224560 3221223120 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7382/statm): 43435 34297 364 364 0 43071 0
[pid=7382] vsize: 173740
Current children cumulated CPU time (s) 289.01
Current children cumulated vsize (Kb) 173740

[startup+300.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 60109 0 0 0 29718 180 0 0 25 0 1 0 21233575 178171904 34317 4294967295 134512640 135987407 3221224560 3221223120 134811972 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7382/statm): 43499 34317 364 364 0 43135 0
[pid=7382] vsize: 173996
Current children cumulated CPU time (s) 298.98
Current children cumulated vsize (Kb) 173996

[startup+310.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 60110 0 0 0 30715 182 0 0 25 0 1 0 21233575 178171904 34318 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7382/statm): 43499 34318 364 364 0 43135 0
[pid=7382] vsize: 173996
Current children cumulated CPU time (s) 308.97
Current children cumulated vsize (Kb) 173996

[startup+320.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 60112 0 0 0 31712 183 0 0 25 0 1 0 21233575 178171904 34320 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7382/statm): 43499 34320 364 364 0 43135 0
[pid=7382] vsize: 173996
Current children cumulated CPU time (s) 318.95
Current children cumulated vsize (Kb) 173996

[startup+330.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 60621 0 0 0 32707 185 0 0 25 0 1 0 21233575 178171904 34321 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7382/statm): 43499 34321 364 364 0 43135 0
[pid=7382] vsize: 173996
Current children cumulated CPU time (s) 328.92
Current children cumulated vsize (Kb) 173996

[startup+340.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 60622 0 0 0 33705 186 0 0 25 0 1 0 21233575 178171904 34322 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7382/statm): 43499 34322 364 364 0 43135 0
[pid=7382] vsize: 173996
Current children cumulated CPU time (s) 338.91
Current children cumulated vsize (Kb) 173996

[startup+350.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 60632 0 0 0 34704 187 0 0 25 0 1 0 21233575 178171904 34332 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7382/statm): 43499 34332 364 364 0 43135 0
[pid=7382] vsize: 173996
Current children cumulated CPU time (s) 348.91
Current children cumulated vsize (Kb) 173996

[startup+360.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 61141 0 0 0 35701 188 0 0 25 0 1 0 21233575 178171904 34333 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7382/statm): 43499 34333 364 364 0 43135 0
[pid=7382] vsize: 173996
Current children cumulated CPU time (s) 358.89
Current children cumulated vsize (Kb) 173996

[startup+370.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 61156 0 0 0 36699 189 0 0 25 0 1 0 21233575 178171904 34348 4294967295 134512640 135987407 3221224560 3221222992 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7382/statm): 43499 34348 364 364 0 43135 0
[pid=7382] vsize: 173996
Current children cumulated CPU time (s) 368.88
Current children cumulated vsize (Kb) 173996

[startup+380.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 61173 0 0 0 37696 191 0 0 25 0 1 0 21233575 178171904 34365 4294967295 134512640 135987407 3221224560 3221223280 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7382/statm): 43499 34365 364 364 0 43135 0
[pid=7382] vsize: 173996
Current children cumulated CPU time (s) 378.87
Current children cumulated vsize (Kb) 173996

[startup+390.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 61273 0 0 0 38694 192 0 0 25 0 1 0 21233575 178434048 34400 4294967295 134512640 135987407 3221224560 3221223152 134814246 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7382/statm): 43563 34400 364 364 0 43199 0
[pid=7382] vsize: 174252
Current children cumulated CPU time (s) 388.86
Current children cumulated vsize (Kb) 174252

[startup+400.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 61894 0 0 0 39687 195 0 0 25 0 1 0 21233575 178831360 34448 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7382/statm): 43660 34448 364 364 0 43296 0
[pid=7382] vsize: 174640
Current children cumulated CPU time (s) 398.82
Current children cumulated vsize (Kb) 174640

[startup+410.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 61916 0 0 0 40685 196 0 0 25 0 1 0 21233575 178831360 34470 4294967295 134512640 135987407 3221224560 3221223280 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7382/statm): 43660 34470 364 364 0 43296 0
[pid=7382] vsize: 174640
Current children cumulated CPU time (s) 408.81
Current children cumulated vsize (Kb) 174640

[startup+420.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 61942 0 0 0 41683 196 0 0 25 0 1 0 21233575 178831360 34496 4294967295 134512640 135987407 3221224560 3221223120 134811907 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7382/statm): 43660 34496 364 364 0 43296 0
[pid=7382] vsize: 174640
Current children cumulated CPU time (s) 418.79
Current children cumulated vsize (Kb) 174640

[startup+430.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 62481 0 0 0 42679 199 0 0 25 0 1 0 21233575 178831360 34527 4294967295 134512640 135987407 3221224560 3221223120 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7382/statm): 43660 34527 364 364 0 43296 0
[pid=7382] vsize: 174640
Current children cumulated CPU time (s) 428.78
Current children cumulated vsize (Kb) 174640

[startup+440.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 62482 0 0 0 43676 200 0 0 25 0 1 0 21233575 178831360 34528 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7382/statm): 43660 34528 364 364 0 43296 0
[pid=7382] vsize: 174640
Current children cumulated CPU time (s) 438.76
Current children cumulated vsize (Kb) 174640

[startup+450.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 62535 0 0 0 44673 201 0 0 25 0 1 0 21233575 178962432 34548 4294967295 134512640 135987407 3221224560 3221223120 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7382/statm): 43692 34548 364 364 0 43328 0
[pid=7382] vsize: 174768
Current children cumulated CPU time (s) 448.74
Current children cumulated vsize (Kb) 174768

[startup+460.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 63044 0 0 0 45669 204 0 0 25 0 1 0 21233575 178962432 34549 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7382/statm): 43692 34549 364 364 0 43328 0
[pid=7382] vsize: 174768
Current children cumulated CPU time (s) 458.73
Current children cumulated vsize (Kb) 174768

[startup+470.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 63055 0 0 0 46667 204 0 0 25 0 1 0 21233575 178962432 34560 4294967295 134512640 135987407 3221224560 3221222992 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7382/statm): 43692 34560 364 364 0 43328 0
[pid=7382] vsize: 174768
Current children cumulated CPU time (s) 468.71
Current children cumulated vsize (Kb) 174768

[startup+480.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 63056 0 0 0 47663 206 0 0 25 0 1 0 21233575 178962432 34561 4294967295 134512640 135987407 3221224560 3221223120 134811975 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7382/statm): 43692 34561 364 364 0 43328 0
[pid=7382] vsize: 174768
Current children cumulated CPU time (s) 478.69
Current children cumulated vsize (Kb) 174768

[startup+490.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 63566 0 0 0 48661 207 0 0 25 0 1 0 21233575 178962432 34563 4294967295 134512640 135987407 3221224560 3221223120 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7382/statm): 43692 34563 364 364 0 43328 0
[pid=7382] vsize: 174768
Current children cumulated CPU time (s) 488.68
Current children cumulated vsize (Kb) 174768

[startup+500.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 63567 0 0 0 49658 209 0 0 25 0 1 0 21233575 178962432 34564 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7382/statm): 43692 34564 364 364 0 43328 0
[pid=7382] vsize: 174768
Current children cumulated CPU time (s) 498.67
Current children cumulated vsize (Kb) 174768

[startup+510.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 63604 0 0 0 50654 210 0 0 25 0 1 0 21233575 179097600 34601 4294967295 134512640 135987407 3221224560 3221223120 134812056 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7382/statm): 43725 34601 364 364 0 43361 0
[pid=7382] vsize: 174900
Current children cumulated CPU time (s) 508.64
Current children cumulated vsize (Kb) 174900

[startup+520.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 63644 0 0 0 51653 211 0 0 25 0 1 0 21233575 179228672 34608 4294967295 134512640 135987407 3221224560 3221222992 134788429 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7382/statm): 43757 34608 364 364 0 43393 0
[pid=7382] vsize: 175028
Current children cumulated CPU time (s) 518.64
Current children cumulated vsize (Kb) 175028

[startup+530.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 64154 0 0 0 52650 213 0 0 25 0 1 0 21233575 179228672 34610 4294967295 134512640 135987407 3221224560 3221223120 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7382/statm): 43757 34610 364 364 0 43393 0
[pid=7382] vsize: 175028
Current children cumulated CPU time (s) 528.63
Current children cumulated vsize (Kb) 175028

[startup+540.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 64155 0 0 0 53647 214 0 0 25 0 1 0 21233575 179228672 34611 4294967295 134512640 135987407 3221224560 3221223248 134824803 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7382/statm): 43757 34611 364 364 0 43393 0
[pid=7382] vsize: 175028
Current children cumulated CPU time (s) 538.61
Current children cumulated vsize (Kb) 175028

[startup+550.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 64665 0 0 0 54644 216 0 0 25 0 1 0 21233575 181309440 35121 4294967295 134512640 135987407 3221224560 3221222816 134829357 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7382/statm): 44265 35121 364 364 0 43901 0
[pid=7382] vsize: 177060
Current children cumulated CPU time (s) 548.6
Current children cumulated vsize (Kb) 177060

[startup+560.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 64666 0 0 0 55642 217 0 0 25 0 1 0 21233575 179228672 34614 4294967295 134512640 135987407 3221224560 3221223248 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7382/statm): 43757 34614 364 364 0 43393 0
[pid=7382] vsize: 175028
Current children cumulated CPU time (s) 558.59
Current children cumulated vsize (Kb) 175028

[startup+570.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 64669 0 0 0 56640 218 0 0 25 0 1 0 21233575 179228672 34617 4294967295 134512640 135987407 3221224560 3221223120 134811813 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7382/statm): 43757 34617 364 364 0 43393 0
[pid=7382] vsize: 175028
Current children cumulated CPU time (s) 568.58
Current children cumulated vsize (Kb) 175028

[startup+580.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 64685 0 0 0 57638 219 0 0 25 0 1 0 21233575 179228672 34633 4294967295 134512640 135987407 3221224560 3221223184 134801247 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7382/statm): 43757 34633 364 364 0 43393 0
[pid=7382] vsize: 175028
Current children cumulated CPU time (s) 578.57
Current children cumulated vsize (Kb) 175028

[startup+590.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 65201 0 0 0 58635 221 0 0 25 0 1 0 21233575 179228672 34641 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7382/statm): 43757 34641 364 364 0 43393 0
[pid=7382] vsize: 175028
Current children cumulated CPU time (s) 588.56
Current children cumulated vsize (Kb) 175028

[startup+600.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 65203 0 0 0 59634 221 0 0 25 0 1 0 21233575 179228672 34643 4294967295 134512640 135987407 3221224560 3221223120 134812056 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7382/statm): 43757 34643 364 364 0 43393 0
[pid=7382] vsize: 175028
Current children cumulated CPU time (s) 598.55
Current children cumulated vsize (Kb) 175028

[startup+610.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 65204 0 0 0 60633 222 0 0 25 0 1 0 21233575 179228672 34644 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7382/statm): 43757 34644 364 364 0 43393 0
[pid=7382] vsize: 175028
Current children cumulated CPU time (s) 608.55
Current children cumulated vsize (Kb) 175028

[startup+620.021 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 65713 0 0 0 61630 224 0 0 25 0 1 0 21233575 179228672 34645 4294967295 134512640 135987407 3221224560 3221223280 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7382/statm): 43757 34645 364 364 0 43393 0
[pid=7382] vsize: 175028
Current children cumulated CPU time (s) 618.54
Current children cumulated vsize (Kb) 175028

[startup+630.021 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 65716 0 0 0 62629 225 0 0 25 0 1 0 21233575 179228672 34648 4294967295 134512640 135987407 3221224560 3221223120 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7382/statm): 43757 34648 364 364 0 43393 0
[pid=7382] vsize: 175028
Current children cumulated CPU time (s) 628.54
Current children cumulated vsize (Kb) 175028

[startup+640.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 65718 0 0 0 63626 226 0 0 25 0 1 0 21233575 179228672 34650 4294967295 134512640 135987407 3221224560 3221223248 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7382/statm): 43757 34650 364 364 0 43393 0
[pid=7382] vsize: 175028
Current children cumulated CPU time (s) 638.52
Current children cumulated vsize (Kb) 175028

[startup+650.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 66227 0 0 0 64623 228 0 0 25 0 1 0 21233575 179228672 34651 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7382/statm): 43757 34651 364 364 0 43393 0
[pid=7382] vsize: 175028
Current children cumulated CPU time (s) 648.51
Current children cumulated vsize (Kb) 175028

[startup+660.021 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 66228 0 0 0 65621 228 0 0 25 0 1 0 21233575 179228672 34652 4294967295 134512640 135987407 3221224560 3221223120 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7382/statm): 43757 34652 364 364 0 43393 0
[pid=7382] vsize: 175028
Current children cumulated CPU time (s) 658.49
Current children cumulated vsize (Kb) 175028

[startup+670.021 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 66254 0 0 0 66619 229 0 0 25 0 1 0 21233575 179228672 34678 4294967295 134512640 135987407 3221224560 3221223120 134811937 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7382/statm): 43757 34678 364 364 0 43393 0
[pid=7382] vsize: 175028
Current children cumulated CPU time (s) 668.48
Current children cumulated vsize (Kb) 175028

[startup+680.021 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 66279 0 0 0 67617 230 0 0 25 0 1 0 21233575 196141056 34703 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7382/statm): 47886 34703 364 364 0 47522 0
[pid=7382] vsize: 191544
Current children cumulated CPU time (s) 678.47
Current children cumulated vsize (Kb) 191544

[startup+690.022 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 66817 0 0 0 68614 232 0 0 25 0 1 0 21233575 196141056 34733 4294967295 134512640 135987407 3221224560 3221223120 134811778 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7382/statm): 47886 34733 364 364 0 47522 0
[pid=7382] vsize: 191544
Current children cumulated CPU time (s) 688.46
Current children cumulated vsize (Kb) 191544

[startup+700.022 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 66839 0 0 0 69612 233 0 0 25 0 1 0 21233575 196141056 34755 4294967295 134512640 135987407 3221224560 3221223120 134811975 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7382/statm): 47886 34755 364 364 0 47522 0
[pid=7382] vsize: 191544
Current children cumulated CPU time (s) 698.45
Current children cumulated vsize (Kb) 191544

[startup+710.022 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 66858 0 0 0 70610 234 0 0 25 0 1 0 21233575 196141056 34774 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7382/statm): 47886 34774 364 364 0 47522 0
[pid=7382] vsize: 191544
Current children cumulated CPU time (s) 708.44
Current children cumulated vsize (Kb) 191544

[startup+720.023 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 67390 0 0 0 71607 236 0 0 25 0 1 0 21233575 196141056 34798 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7382/statm): 47886 34798 364 364 0 47522 0
[pid=7382] vsize: 191544
Current children cumulated CPU time (s) 718.43
Current children cumulated vsize (Kb) 191544

[startup+730.023 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 67415 0 0 0 72605 237 0 0 25 0 1 0 21233575 196141056 34823 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7382/statm): 47886 34823 364 364 0 47522 0
[pid=7382] vsize: 191544
Current children cumulated CPU time (s) 728.42
Current children cumulated vsize (Kb) 191544

[startup+740.022 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 67440 0 0 0 73602 238 0 0 25 0 1 0 21233575 196141056 34848 4294967295 134512640 135987407 3221224560 3221223120 134812126 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7382/statm): 47886 34848 364 364 0 47522 0
[pid=7382] vsize: 191544
Current children cumulated CPU time (s) 738.4
Current children cumulated vsize (Kb) 191544

[startup+750.022 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 67962 0 0 0 74600 240 0 0 25 0 1 0 21233575 196141056 34862 4294967295 134512640 135987407 3221224560 3221223120 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7382/statm): 47886 34862 364 364 0 47522 0
[pid=7382] vsize: 191544
Current children cumulated CPU time (s) 748.4
Current children cumulated vsize (Kb) 191544

[startup+760.023 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 67967 0 0 0 75597 241 0 0 25 0 1 0 21233575 196141056 34867 4294967295 134512640 135987407 3221224560 3221223216 134812346 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7382/statm): 47886 34867 364 364 0 47522 0
[pid=7382] vsize: 191544
Current children cumulated CPU time (s) 758.38
Current children cumulated vsize (Kb) 191544

[startup+770.023 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 67970 0 0 0 76594 242 0 0 25 0 1 0 21233575 196141056 34870 4294967295 134512640 135987407 3221224560 3221223248 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7382/statm): 47886 34870 364 364 0 47522 0
[pid=7382] vsize: 191544
Current children cumulated CPU time (s) 768.36
Current children cumulated vsize (Kb) 191544

[startup+780.023 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 67975 0 0 0 77592 242 0 0 25 0 1 0 21233575 196141056 34875 4294967295 134512640 135987407 3221224560 3221223152 134814271 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7382/statm): 47886 34875 364 364 0 47522 0
[pid=7382] vsize: 191544
Current children cumulated CPU time (s) 778.34
Current children cumulated vsize (Kb) 191544

[startup+790.024 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 68490 0 0 0 78589 244 0 0 25 0 1 0 21233575 196276224 34882 4294967295 134512640 135987407 3221224560 3221223244 134812262 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7382/statm): 47919 34882 364 364 0 47555 0
[pid=7382] vsize: 191676
Current children cumulated CPU time (s) 788.33
Current children cumulated vsize (Kb) 191676

[startup+800.023 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 68493 0 0 0 79588 244 0 0 25 0 1 0 21233575 196276224 34885 4294967295 134512640 135987407 3221224560 3221222992 134788457 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7382/statm): 47919 34885 364 364 0 47555 0
[pid=7382] vsize: 191676
Current children cumulated CPU time (s) 798.32
Current children cumulated vsize (Kb) 191676

[startup+810.024 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 68498 0 0 0 80587 245 0 0 25 0 1 0 21233575 196276224 34890 4294967295 134512640 135987407 3221224560 3221223120 134812129 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7382/statm): 47919 34890 364 364 0 47555 0
[pid=7382] vsize: 191676
Current children cumulated CPU time (s) 808.32
Current children cumulated vsize (Kb) 191676

[startup+820.024 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 69016 0 0 0 81583 247 0 0 25 0 1 0 21233575 196276224 34900 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7382/statm): 47919 34900 364 364 0 47555 0
[pid=7382] vsize: 191676
Current children cumulated CPU time (s) 818.3
Current children cumulated vsize (Kb) 191676

[startup+830.024 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 69020 0 0 0 82581 248 0 0 25 0 1 0 21233575 196276224 34904 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7382/statm): 47919 34904 364 364 0 47555 0
[pid=7382] vsize: 191676
Current children cumulated CPU time (s) 828.29
Current children cumulated vsize (Kb) 191676

[startup+840.024 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 69068 0 0 0 83579 249 0 0 25 0 1 0 21233575 196407296 34919 4294967295 134512640 135987407 3221224560 3221223120 134811778 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7382/statm): 47951 34919 364 364 0 47587 0
[pid=7382] vsize: 191804
Current children cumulated CPU time (s) 838.28
Current children cumulated vsize (Kb) 191804

[startup+850.024 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 69072 0 0 0 84577 250 0 0 25 0 1 0 21233575 196407296 34923 4294967295 134512640 135987407 3221224560 3221223120 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7382/statm): 47951 34923 364 364 0 47587 0
[pid=7382] vsize: 191804
Current children cumulated CPU time (s) 848.27
Current children cumulated vsize (Kb) 191804

[startup+860.025 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 69586 0 0 0 85574 252 0 0 25 0 1 0 21233575 196407296 34929 4294967295 134512640 135987407 3221224560 3221223120 134812028 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7382/statm): 47951 34929 364 364 0 47587 0
[pid=7382] vsize: 191804
Current children cumulated CPU time (s) 858.26
Current children cumulated vsize (Kb) 191804

[startup+870.024 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 69593 0 0 0 86573 252 0 0 25 0 1 0 21233575 196407296 34936 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7382/statm): 47951 34936 364 364 0 47587 0
[pid=7382] vsize: 191804
Current children cumulated CPU time (s) 868.25
Current children cumulated vsize (Kb) 191804

[startup+880.024 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 69598 0 0 0 87571 253 0 0 25 0 1 0 21233575 196542464 34941 4294967295 134512640 135987407 3221224560 3221223296 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7382/statm): 47984 34941 364 364 0 47620 0
[pid=7382] vsize: 191936
Current children cumulated CPU time (s) 878.24
Current children cumulated vsize (Kb) 191936

[startup+890.025 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 70122 0 0 0 88568 255 0 0 25 0 1 0 21233575 196542464 34957 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7382/statm): 47984 34957 364 364 0 47620 0
[pid=7382] vsize: 191936
Current children cumulated CPU time (s) 888.23
Current children cumulated vsize (Kb) 191936

[startup+900.025 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 70142 0 0 0 89566 256 0 0 25 0 1 0 21233575 196542464 34977 4294967295 134512640 135987407 3221224560 3221223120 134811975 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7382/statm): 47984 34977 364 364 0 47620 0
[pid=7382] vsize: 191936
Current children cumulated CPU time (s) 898.22
Current children cumulated vsize (Kb) 191936

[startup+910.026 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 70167 0 0 0 90564 257 0 0 25 0 1 0 21233575 196542464 35002 4294967295 134512640 135987407 3221224560 3221223120 134812166 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7382/statm): 47984 35002 364 364 0 47620 0
[pid=7382] vsize: 191936
Current children cumulated CPU time (s) 908.21
Current children cumulated vsize (Kb) 191936

[startup+920.026 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 70692 0 0 0 91561 259 0 0 25 0 1 0 21233575 196542464 35019 4294967295 134512640 135987407 3221224560 3221223120 134812038 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7382/statm): 47984 35019 364 364 0 47620 0
[pid=7382] vsize: 191936
Current children cumulated CPU time (s) 918.2
Current children cumulated vsize (Kb) 191936

[startup+930.025 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 70697 0 0 0 92559 259 0 0 25 0 1 0 21233575 196542464 35024 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7382/statm): 47984 35024 364 364 0 47620 0
[pid=7382] vsize: 191936
Current children cumulated CPU time (s) 928.18
Current children cumulated vsize (Kb) 191936

[startup+940.025 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 70703 0 0 0 93557 260 0 0 25 0 1 0 21233575 196542464 35030 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7382/statm): 47984 35030 364 364 0 47620 0
[pid=7382] vsize: 191936
Current children cumulated CPU time (s) 938.17
Current children cumulated vsize (Kb) 191936

[startup+950.026 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 71245 0 0 0 94553 262 0 0 25 0 1 0 21233575 196542464 35064 4294967295 134512640 135987407 3221224560 3221223120 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7382/statm): 47984 35064 364 364 0 47620 0
[pid=7382] vsize: 191936
Current children cumulated CPU time (s) 948.15
Current children cumulated vsize (Kb) 191936

[startup+960.026 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 71284 0 0 0 95549 263 0 0 25 0 1 0 21233575 196542464 35103 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7382/statm): 47984 35103 364 364 0 47620 0
[pid=7382] vsize: 191936
Current children cumulated CPU time (s) 958.12
Current children cumulated vsize (Kb) 191936

[startup+970.027 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 71321 0 0 0 96547 264 0 0 25 0 1 0 21233575 196808704 35107 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7382/statm): 48049 35107 364 364 0 47685 0
[pid=7382] vsize: 192196
Current children cumulated CPU time (s) 968.11
Current children cumulated vsize (Kb) 192196

[startup+980.027 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 71325 0 0 0 97546 265 0 0 25 0 1 0 21233575 196808704 35111 4294967295 134512640 135987407 3221224560 3221223120 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7382/statm): 48049 35111 364 364 0 47685 0
[pid=7382] vsize: 192196
Current children cumulated CPU time (s) 978.11
Current children cumulated vsize (Kb) 192196

[startup+990.027 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 71835 0 0 0 98543 266 0 0 25 0 1 0 21233575 196808704 35113 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7382/statm): 48049 35113 364 364 0 47685 0
[pid=7382] vsize: 192196
Current children cumulated CPU time (s) 988.09
Current children cumulated vsize (Kb) 192196

[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 71839 0 0 0 99541 267 0 0 25 0 1 0 21233575 196808704 35117 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7382/statm): 48049 35117 364 364 0 47685 0
[pid=7382] vsize: 192196
Current children cumulated CPU time (s) 998.08
Current children cumulated vsize (Kb) 192196

[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 71841 0 0 0 100539 268 0 0 25 0 1 0 21233575 196808704 35119 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7382/statm): 48049 35119 364 364 0 47685 0
[pid=7382] vsize: 192196
Current children cumulated CPU time (s) 1008.07
Current children cumulated vsize (Kb) 192196

[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 72360 0 0 0 101536 270 0 0 25 0 1 0 21233575 196808704 35130 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7382/statm): 48049 35130 364 364 0 47685 0
[pid=7382] vsize: 192196
Current children cumulated CPU time (s) 1018.06
Current children cumulated vsize (Kb) 192196

[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 72406 0 0 0 102534 271 0 0 25 0 1 0 21233575 196939776 35143 4294967295 134512640 135987407 3221224560 3221223120 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7382/statm): 48081 35143 364 364 0 47717 0
[pid=7382] vsize: 192324
Current children cumulated CPU time (s) 1028.05
Current children cumulated vsize (Kb) 192324

[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 72439 0 0 0 103533 271 0 0 25 0 1 0 21233575 196939776 35176 4294967295 134512640 135987407 3221224560 3221223192 134811683 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7382/statm): 48081 35176 364 364 0 47717 0
[pid=7382] vsize: 192324
Current children cumulated CPU time (s) 1038.04
Current children cumulated vsize (Kb) 192324

[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 72951 0 0 0 104530 273 0 0 25 0 1 0 21233575 196939776 35180 4294967295 134512640 135987407 3221224560 3221223296 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7382/statm): 48081 35180 364 364 0 47717 0
[pid=7382] vsize: 192324
Current children cumulated CPU time (s) 1048.03
Current children cumulated vsize (Kb) 192324

[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 72958 0 0 0 105528 273 0 0 25 0 1 0 21233575 196939776 35187 4294967295 134512640 135987407 3221224560 3221222992 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7382/statm): 48081 35187 364 364 0 47717 0
[pid=7382] vsize: 192324
Current children cumulated CPU time (s) 1058.01
Current children cumulated vsize (Kb) 192324

[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 72961 0 0 0 106525 274 0 0 25 0 1 0 21233575 196939776 35190 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7382/statm): 48081 35190 364 364 0 47717 0
[pid=7382] vsize: 192324
Current children cumulated CPU time (s) 1067.99
Current children cumulated vsize (Kb) 192324

[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 72964 0 0 0 107523 275 0 0 25 0 1 0 21233575 196939776 35193 4294967295 134512640 135987407 3221224560 3221223280 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7382/statm): 48081 35193 364 364 0 47717 0
[pid=7382] vsize: 192324
Current children cumulated CPU time (s) 1077.98
Current children cumulated vsize (Kb) 192324

[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 73475 0 0 0 108520 277 0 0 25 0 1 0 21233575 196939776 35196 4294967295 134512640 135987407 3221224560 3221223216 134812319 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7382/statm): 48081 35196 364 364 0 47717 0
[pid=7382] vsize: 192324
Current children cumulated CPU time (s) 1087.97
Current children cumulated vsize (Kb) 192324

[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 73477 0 0 0 109517 278 0 0 25 0 1 0 21233575 196939776 35198 4294967295 134512640 135987407 3221224560 3221222992 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7382/statm): 48081 35198 364 364 0 47717 0
[pid=7382] vsize: 192324
Current children cumulated CPU time (s) 1097.95
Current children cumulated vsize (Kb) 192324

[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 73484 0 0 0 110515 279 0 0 25 0 1 0 21233575 197074944 35205 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7382/statm): 48114 35205 364 364 0 47750 0
[pid=7382] vsize: 192456
Current children cumulated CPU time (s) 1107.94
Current children cumulated vsize (Kb) 192456

[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 73489 0 0 0 111513 280 0 0 25 0 1 0 21233575 197074944 35210 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7382/statm): 48114 35210 364 364 0 47750 0
[pid=7382] vsize: 192456
Current children cumulated CPU time (s) 1117.93
Current children cumulated vsize (Kb) 192456

[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 73496 0 0 0 112510 280 0 0 25 0 1 0 21233575 197074944 35217 4294967295 134512640 135987407 3221224560 3221223120 134812035 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7382/statm): 48114 35217 364 364 0 47750 0
[pid=7382] vsize: 192456
Current children cumulated CPU time (s) 1127.9
Current children cumulated vsize (Kb) 192456

[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 74012 0 0 0 113507 282 0 0 25 0 1 0 21233575 197074944 35225 4294967295 134512640 135987407 3221224560 3221223248 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7382/statm): 48114 35225 364 364 0 47750 0
[pid=7382] vsize: 192456
Current children cumulated CPU time (s) 1137.89
Current children cumulated vsize (Kb) 192456

[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 74017 0 0 0 114506 283 0 0 25 0 1 0 21233575 197074944 35230 4294967295 134512640 135987407 3221224560 3221223120 134811959 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7382/statm): 48114 35230 364 364 0 47750 0
[pid=7382] vsize: 192456
Current children cumulated CPU time (s) 1147.89
Current children cumulated vsize (Kb) 192456

[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 74022 0 0 0 115504 283 0 0 25 0 1 0 21233575 197074944 35235 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7382/statm): 48114 35235 364 364 0 47750 0
[pid=7382] vsize: 192456
Current children cumulated CPU time (s) 1157.87
Current children cumulated vsize (Kb) 192456

[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 74023 0 0 0 116501 285 0 0 25 0 1 0 21233575 197074944 35236 4294967295 134512640 135987407 3221224560 3221222992 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7382/statm): 48114 35236 364 364 0 47750 0
[pid=7382] vsize: 192456
Current children cumulated CPU time (s) 1167.86
Current children cumulated vsize (Kb) 192456

[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 74539 0 0 0 117498 286 0 0 25 0 1 0 21233575 197074944 35244 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7382/statm): 48114 35244 364 364 0 47750 0
[pid=7382] vsize: 192456
Current children cumulated CPU time (s) 1177.84
Current children cumulated vsize (Kb) 192456

[startup+1190.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 74540 0 0 0 118497 287 0 0 25 0 1 0 21233575 197074944 35245 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7382/statm): 48114 35245 364 364 0 47750 0
[pid=7382] vsize: 192456
Current children cumulated CPU time (s) 1187.84
Current children cumulated vsize (Kb) 192456

[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 74546 0 0 0 119494 288 0 0 25 0 1 0 21233575 197214208 35251 4294967295 134512640 135987407 3221224560 3221223248 134824720 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7382/statm): 48148 35251 364 364 0 47784 0
[pid=7382] vsize: 192592
Current children cumulated CPU time (s) 1197.82
Current children cumulated vsize (Kb) 192592

[startup+1210.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 75057 0 0 0 120491 290 0 0 25 0 1 0 21233575 197214208 35254 4294967295 134512640 135987407 3221224560 3221223296 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7382/statm): 48148 35254 364 364 0 47784 0
[pid=7382] vsize: 192592
Current children cumulated CPU time (s) 1207.81
Current children cumulated vsize (Kb) 192592



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7382
Raw data (/proc/7382/stat): 7382 (pb2sat) R 7381 7382 4005 0 -1 0 75057 0 0 0 120491 290 0 0 25 0 1 0 21233575 197214208 35254 4294967295 134512640 135987407 3221224560 3221223120 134812010 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7382/statm): 48148 35254 364 364 0 47784 0
[pid=7382] vsize: 192592
Current children cumulated CPU time (s) 1207.81
Current children cumulated vsize (Kb) 192592

Sending SIGTERM to -7382
Sleeping 2 seconds
One traced child (pid=7382) exited with status: 10
All traced children have exited ! Game is over.

Child status: 10
Real time (s): 1210.52
CPU time (s): 1208.3
CPU user time (s): 1205.32
CPU system time (s): 2.97755
CPU usage (%): 99.8162
Max. virtual memory (cumulated for all children) (Kb): 192592

Verifier Data

Verifier:	OK	0