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/frb30-15-opb/normalized-frb30-15-3.opb
MD5SUM063fe125a766c5e46d0ecbf211fd8049
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -30
Optimality of the best value was proved YES
Number of terms in the objective function 450
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 450
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 450
Number of bits of the biggest sum of numbers9
Best result obtained on this benchmarkOPTIMUM FOUND
Best CPU time to get the best result obtained on this benchmark481.604
Number of variables450
Total number of constraints17809
Number of constraints which are clauses17809
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 9814

Launcher Data

LAUNCH ON wulflinc6 THE 2005-09-23 15:25:50 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8549 boxname=wulflinc6 idbench=345 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  063fe125a766c5e46d0ecbf211fd8049  /oldhome/oroussel/tmp/wulflinc6/normalized-frb30-15-3.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc6/normalized-frb30-15-3.opb
IDLAUNCH: 8549
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.158
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.158
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        932524 kB
Buffers:         12420 kB
Cached:          72580 kB
SwapCached:          0 kB
Active:          41676 kB
Inactive:        46244 kB
HighTotal:      131008 kB
HighFree:        54936 kB
LowTotal:       903652 kB
LowFree:        877588 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:             8692 kB
Committed_AS:    63656 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 15:46:00 (client local time) WITH STATUS 10 IN 1206.45 SECONDS
stats: 8549 0 1206.45 10

Solver Data

c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
c got solution with objective value: 450
c small objective detected

c Decision: 34289/102388	Time: 53.2289/86400
c Decision: 34547/102388	Time: 80.9107/86400
c Decision: 36801/102388	Time: 143.344/86400
c Decision: 37239/102388	Time: 179.949/86400
c Decision: 40218/102388	Time: 214.068/86400
c [startup+348.243 s]  setting bit 8 to 0

c Decision: 15223/102388	Time: 24.2183/86400
c Decision: 15223/102388	Time: 37.3043/86400
c Decision: 15223/102388	Time: 48.9206/86400
c Decision: 15340/102388	Time: 66.6959/86400
c Decision: 15340/102388	Time: 77.7082/86400
c Decision: 15340/102388	Time: 89.7943/86400
c Decision: 15340/102388	Time: 102.312/86400
c Decision: 15475/102388	Time: 127.496/86400
c Decision: 15475/102388	Time: 142.823/86400
c Decision: 15475/102388	Time: 156.484/86400
c Decision: 15475/102388	Time: 172.694/86400
c Decision: 15475/102388	Time: 185.269/86400
c Decision: 15475/102388	Time: 200.53/86400
c Decision: 15475/102388	Time: 215.702/86400
c Decision: 15475/102388	Time: 230.821/86400
c Decision: 15840/102388	Time: 245.535/86400
c Decision: 15840/102388	Time: 260.521/86400
c Decision: 15840/102388	Time: 275.717/86400
c Decision: 15840/102388	Time: 290.959/86400
c Decision: 15840/102388	Time: 307.634/86400
c Decision: 15840/102388	Time: 322.151/86400
c Decision: 15840/102388	Time: 339.036/86400
c Decision: 15840/102388	Time: 354.442/86400
c Decision: 16715/102388	Time: 377.253/86400
c Decision: 16957/102388	Time: 395.258/86400
c [startup+806.894 s]  setting bit 7 to 0

c Decision: 47924/102388	Time: 88.5145/86400
c Decision: 48296/102388	Time: 99.4769/86400
c Decision: 48296/102388	Time: 109.15/86400
c Decision: 48296/102388	Time: 118.114/86400
c Decision: 48296/102388	Time: 126.482/86400
c Decision: 48296/102388	Time: 138.025/86400
c Decision: 48296/102388	Time: 148.513/86400
c Decision: 48296/102388	Time: 158.954/86400
c Decision: 48296/102388	Time: 170.207/86400
c Decision: 48296/102388	Time: 179.989/86400
c Decision: 48299/102388	Time: 196.901/86400
c Decision: 48300/102388	Time: 216.195/86400
c [startup+1064.13 s]  setting bit 6 to 0

c Decision: 66049/102388	Time: 55.8305/86400
c Decision: 66049/102388	Time: 61.5386/86400
c Decision: 66049/102388	Time: 68.3166/86400
c Decision: 66049/102388	Time: 77.6802/86400
c Decision: 66049/102388	Time: 84.6641/86400
c Decision: 66049/102388	Time: 91.911/86400
c Decision: 66049/102388	Time: 100.109/86400
c Decision: 66049/102388	Time: 107.667/86400
c Decision: 66049/102388	Time: 116.556/86400
c Decision: 66049/102388	Time: 124.154/86400
c Decision: 66049/102388	Time: 131.675/86400
c Decision: 66049/102388	Time: 141.33/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 -C46 -C47 -C48 -C49 -C5 -C50 -C51 -C52 -C53 -C54 -C55 -C56 -C57 -C58 -C59 -C6 -C60 -C61 -C62 -C63 -C64 -C65 -C66 -C67 -C68 -C69 -C7 -C70 -C71 -C72 -C73 -C74 -C75 -C76 -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/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 21269159 1527808 2 4294967295 134512640 135987407 3221224576 3221224576 134512928 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7416/statm): 373 2 364 364 0 9 0
[pid=7416] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc6/normalized-frb30-15-3.opb

[startup+10.0018 s]
Raw data (loadavg): 0.93 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 17238 0 0 0 955 40 0 0 25 0 1 0 21269159 55955456 11479 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7416/statm): 13661 11479 364 364 0 13297 0
[pid=7416] vsize: 54644
Current children cumulated CPU time (s) 9.95
Current children cumulated vsize (Kb) 54644

[startup+20.0025 s]
Raw data (loadavg): 0.94 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 18195 0 0 0 1950 43 0 0 25 0 1 0 21269159 60116992 12205 4294967295 134512640 135987407 3221224576 3221223280 134790000 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7416/statm): 14677 12205 364 364 0 14313 0
[pid=7416] vsize: 58708
Current children cumulated CPU time (s) 19.93
Current children cumulated vsize (Kb) 58708

[startup+30.0033 s]
Raw data (loadavg): 0.95 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 18552 0 0 0 2945 45 0 0 25 0 1 0 21269159 61652992 12463 4294967295 134512640 135987407 3221224576 3221223000 134801607 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7416/statm): 15052 12463 364 364 0 14688 0
[pid=7416] vsize: 60208
Current children cumulated CPU time (s) 29.9
Current children cumulated vsize (Kb) 60208

[startup+40.004 s]
Raw data (loadavg): 0.96 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 18681 0 0 0 3942 47 0 0 25 0 1 0 21269159 61980672 12559 4294967295 134512640 135987407 3221224576 3221222992 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7416/statm): 15132 12559 364 364 0 14768 0
[pid=7416] vsize: 60528
Current children cumulated CPU time (s) 39.89
Current children cumulated vsize (Kb) 60528

[startup+50.0038 s]
Raw data (loadavg): 0.96 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 18710 0 0 0 4938 49 0 0 25 0 1 0 21269159 61980672 12588 4294967295 134512640 135987407 3221224576 3221223248 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7416/statm): 15132 12588 364 364 0 14768 0
[pid=7416] vsize: 60528
Current children cumulated CPU time (s) 49.87
Current children cumulated vsize (Kb) 60528

[startup+60.0045 s]
Raw data (loadavg): 0.97 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 18943 0 0 0 5935 51 0 0 25 0 1 0 21269159 61980672 12621 4294967295 134512640 135987407 3221224576 3221223120 134812000 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7416/statm): 15132 12621 364 364 0 14768 0
[pid=7416] vsize: 60528
Current children cumulated CPU time (s) 59.86
Current children cumulated vsize (Kb) 60528

[startup+70.0043 s]
Raw data (loadavg): 0.97 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 19023 0 0 0 6931 52 0 0 25 0 1 0 21269159 62443520 12701 4294967295 134512640 135987407 3221224576 3221223248 134824238 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7416/statm): 15245 12701 364 364 0 14881 0
[pid=7416] vsize: 60980
Current children cumulated CPU time (s) 69.83
Current children cumulated vsize (Kb) 60980

[startup+80.0051 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 19042 0 0 0 7929 53 0 0 25 0 1 0 21269159 62443520 12720 4294967295 134512640 135987407 3221224576 3221222992 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7416/statm): 15245 12720 364 364 0 14881 0
[pid=7416] vsize: 60980
Current children cumulated CPU time (s) 79.82
Current children cumulated vsize (Kb) 60980

[startup+90.0058 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 19279 0 0 0 8927 55 0 0 25 0 1 0 21269159 62578688 12757 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7416/statm): 15278 12757 364 364 0 14914 0
[pid=7416] vsize: 61112
Current children cumulated CPU time (s) 89.82
Current children cumulated vsize (Kb) 61112

[startup+100.006 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 19295 0 0 0 9923 56 0 0 25 0 1 0 21269159 62578688 12773 4294967295 134512640 135987407 3221224576 3221222992 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7416/statm): 15278 12773 364 364 0 14914 0
[pid=7416] vsize: 61112
Current children cumulated CPU time (s) 99.79
Current children cumulated vsize (Kb) 61112

[startup+110.006 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 19315 0 0 0 10921 56 0 0 25 0 1 0 21269159 62578688 12793 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7416/statm): 15278 12793 364 364 0 14914 0
[pid=7416] vsize: 61112
Current children cumulated CPU time (s) 109.77
Current children cumulated vsize (Kb) 61112

[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 19409 0 0 0 11918 58 0 0 25 0 1 0 21269159 62840832 12822 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7416/statm): 15342 12822 364 364 0 14978 0
[pid=7416] vsize: 61368
Current children cumulated CPU time (s) 119.76
Current children cumulated vsize (Kb) 61368

[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 19482 0 0 0 12916 58 0 0 25 0 1 0 21269159 63107072 12862 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7416/statm): 15407 12862 364 364 0 15043 0
[pid=7416] vsize: 61628
Current children cumulated CPU time (s) 129.74
Current children cumulated vsize (Kb) 61628

[startup+140.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 19522 0 0 0 13914 59 0 0 25 0 1 0 21269159 63107072 12902 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7416/statm): 15407 12902 364 364 0 15043 0
[pid=7416] vsize: 61628
Current children cumulated CPU time (s) 139.73
Current children cumulated vsize (Kb) 61628

[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 19750 0 0 0 14910 61 0 0 25 0 1 0 21269159 63107072 12930 4294967295 134512640 135987407 3221224576 3221223216 134812361 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7416/statm): 15407 12930 364 364 0 15043 0
[pid=7416] vsize: 61628
Current children cumulated CPU time (s) 149.71
Current children cumulated vsize (Kb) 61628

[startup+160.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 19770 0 0 0 15906 63 0 0 25 0 1 0 21269159 63107072 12950 4294967295 134512640 135987407 3221224576 3221223120 134811937 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7416/statm): 15407 12950 364 364 0 15043 0
[pid=7416] vsize: 61628
Current children cumulated CPU time (s) 159.69
Current children cumulated vsize (Kb) 61628

[startup+170.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 19797 0 0 0 16903 64 0 0 25 0 1 0 21269159 63242240 12977 4294967295 134512640 135987407 3221224576 3221223008 135486786 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7416/statm): 15440 12977 364 364 0 15076 0
[pid=7416] vsize: 61760
Current children cumulated CPU time (s) 169.67
Current children cumulated vsize (Kb) 61760

[startup+180.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 19818 0 0 0 17900 65 0 0 25 0 1 0 21269159 63242240 12998 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7416/statm): 15440 12998 364 364 0 15076 0
[pid=7416] vsize: 61760
Current children cumulated CPU time (s) 179.65
Current children cumulated vsize (Kb) 61760

[startup+190.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 20043 0 0 0 18898 67 0 0 25 0 1 0 21269159 63242240 13023 4294967295 134512640 135987407 3221224576 3221223184 134801245 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7416/statm): 15440 13023 364 364 0 15076 0
[pid=7416] vsize: 61760
Current children cumulated CPU time (s) 189.65
Current children cumulated vsize (Kb) 61760

[startup+200.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 20068 0 0 0 19896 67 0 0 25 0 1 0 21269159 63242240 13048 4294967295 134512640 135987407 3221224576 3221223248 134824261 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7416/statm): 15440 13048 364 364 0 15076 0
[pid=7416] vsize: 61760
Current children cumulated CPU time (s) 199.63
Current children cumulated vsize (Kb) 61760

[startup+210.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 20092 0 0 0 20892 69 0 0 25 0 1 0 21269159 63377408 13072 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7416/statm): 15473 13072 364 364 0 15109 0
[pid=7416] vsize: 61892
Current children cumulated CPU time (s) 209.61
Current children cumulated vsize (Kb) 61892

[startup+220.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 20148 0 0 0 21889 70 0 0 25 0 1 0 21269159 63512576 13128 4294967295 134512640 135987407 3221224576 3221223248 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7416/statm): 15506 13128 364 364 0 15142 0
[pid=7416] vsize: 62024
Current children cumulated CPU time (s) 219.59
Current children cumulated vsize (Kb) 62024

[startup+230.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 20366 0 0 0 22886 72 0 0 25 0 1 0 21269159 63512576 13146 4294967295 134512640 135987407 3221224576 3221223120 134812002 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7416/statm): 15506 13146 364 364 0 15142 0
[pid=7416] vsize: 62024
Current children cumulated CPU time (s) 229.58
Current children cumulated vsize (Kb) 62024

[startup+240.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 20386 0 0 0 23883 73 0 0 25 0 1 0 21269159 63512576 13166 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7416/statm): 15506 13166 364 364 0 15142 0
[pid=7416] vsize: 62024
Current children cumulated CPU time (s) 239.56
Current children cumulated vsize (Kb) 62024

[startup+250.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 20407 0 0 0 24880 74 0 0 25 0 1 0 21269159 63512576 13187 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7416/statm): 15506 13187 364 364 0 15142 0
[pid=7416] vsize: 62024
Current children cumulated CPU time (s) 249.54
Current children cumulated vsize (Kb) 62024

[startup+260.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 20432 0 0 0 25877 76 0 0 25 0 1 0 21269159 63512576 13212 4294967295 134512640 135987407 3221224576 3221223248 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7416/statm): 15506 13212 364 364 0 15142 0
[pid=7416] vsize: 62024
Current children cumulated CPU time (s) 259.53
Current children cumulated vsize (Kb) 62024

[startup+270.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 20455 0 0 0 26874 77 0 0 25 0 1 0 21269159 63512576 13235 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7416/statm): 15506 13235 364 364 0 15142 0
[pid=7416] vsize: 62024
Current children cumulated CPU time (s) 269.51
Current children cumulated vsize (Kb) 62024

[startup+280.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 20479 0 0 0 27871 78 0 0 25 0 1 0 21269159 63647744 13259 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7416/statm): 15539 13259 364 364 0 15175 0
[pid=7416] vsize: 62156
Current children cumulated CPU time (s) 279.49
Current children cumulated vsize (Kb) 62156

[startup+290.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 20498 0 0 0 28868 79 0 0 25 0 1 0 21269159 63647744 13278 4294967295 134512640 135987407 3221224576 3221223120 134812138 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7416/statm): 15539 13278 364 364 0 15175 0
[pid=7416] vsize: 62156
Current children cumulated CPU time (s) 289.47
Current children cumulated vsize (Kb) 62156

[startup+300.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 20526 0 0 0 29865 80 0 0 25 0 1 0 21269159 63647744 13306 4294967295 134512640 135987407 3221224576 3221223120 134812005 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7416/statm): 15539 13306 364 364 0 15175 0
[pid=7416] vsize: 62156
Current children cumulated CPU time (s) 299.45
Current children cumulated vsize (Kb) 62156

[startup+310.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 20551 0 0 0 30863 81 0 0 25 0 1 0 21269159 63647744 13331 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7416/statm): 15539 13331 364 364 0 15175 0
[pid=7416] vsize: 62156
Current children cumulated CPU time (s) 309.44
Current children cumulated vsize (Kb) 62156

[startup+320.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 20580 0 0 0 31861 81 0 0 25 0 1 0 21269159 63647744 13360 4294967295 134512640 135987407 3221224576 3221223120 134812025 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7416/statm): 15539 13360 364 364 0 15175 0
[pid=7416] vsize: 62156
Current children cumulated CPU time (s) 319.42
Current children cumulated vsize (Kb) 62156

[startup+330.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 20606 0 0 0 32857 83 0 0 25 0 1 0 21269159 63782912 13386 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7416/statm): 15572 13386 364 364 0 15208 0
[pid=7416] vsize: 62288
Current children cumulated CPU time (s) 329.4
Current children cumulated vsize (Kb) 62288

[startup+340.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 20705 0 0 0 33855 84 0 0 25 0 1 0 21269159 64045056 13420 4294967295 134512640 135987407 3221224576 3221223120 134812148 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7416/statm): 15636 13420 364 364 0 15272 0
[pid=7416] vsize: 62544
Current children cumulated CPU time (s) 339.39
Current children cumulated vsize (Kb) 62544

[startup+350.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 20962 0 0 0 34851 86 0 0 25 0 1 0 21269159 64045056 13477 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7416/statm): 15636 13477 364 364 0 15272 0
[pid=7416] vsize: 62544
Current children cumulated CPU time (s) 349.37
Current children cumulated vsize (Kb) 62544

[startup+360.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 21046 0 0 0 35846 88 0 0 25 0 1 0 21269159 64200704 13561 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7416/statm): 15674 13561 364 364 0 15310 0
[pid=7416] vsize: 62696
Current children cumulated CPU time (s) 359.34
Current children cumulated vsize (Kb) 62696

[startup+370.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 21098 0 0 0 36841 89 0 0 25 0 1 0 21269159 64200704 13613 4294967295 134512640 135987407 3221224576 3221223248 134824720 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7416/statm): 15674 13613 364 364 0 15310 0
[pid=7416] vsize: 62696
Current children cumulated CPU time (s) 369.3
Current children cumulated vsize (Kb) 62696

[startup+380.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 21333 0 0 0 37836 92 0 0 25 0 1 0 21269159 64335872 13648 4294967295 134512640 135987407 3221224576 3221223248 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7416/statm): 15707 13648 364 364 0 15343 0
[pid=7416] vsize: 62828
Current children cumulated CPU time (s) 379.28
Current children cumulated vsize (Kb) 62828

[startup+390.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 21650 0 0 0 38828 96 0 0 25 0 1 0 21269159 64819200 13765 4294967295 134512640 135987407 3221224576 3221223184 134801140 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7416/statm): 15825 13765 364 364 0 15461 0
[pid=7416] vsize: 63300
Current children cumulated CPU time (s) 389.24
Current children cumulated vsize (Kb) 63300

[startup+400.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 21758 0 0 0 39820 100 0 0 25 0 1 0 21269159 65347584 13873 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7416/statm): 15954 13873 364 364 0 15590 0
[pid=7416] vsize: 63816
Current children cumulated CPU time (s) 399.2
Current children cumulated vsize (Kb) 63816

[startup+410.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 22099 0 0 0 40813 102 0 0 25 0 1 0 21269159 66818048 14148 4294967295 134512640 135987407 3221224576 3221223296 134812696 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7416/statm): 16313 14148 364 364 0 15949 0
[pid=7416] vsize: 65252
Current children cumulated CPU time (s) 409.15
Current children cumulated vsize (Kb) 65252

[startup+420.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 22383 0 0 0 41807 105 0 0 25 0 1 0 21269159 75476992 14232 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7416/statm): 18427 14232 364 364 0 18063 0
[pid=7416] vsize: 73708
Current children cumulated CPU time (s) 419.12
Current children cumulated vsize (Kb) 73708

[startup+430.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 22627 0 0 0 42801 107 0 0 25 0 1 0 21269159 75476992 14276 4294967295 134512640 135987407 3221224576 3221223120 134811800 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7416/statm): 18427 14276 364 364 0 18063 0
[pid=7416] vsize: 73708
Current children cumulated CPU time (s) 429.08
Current children cumulated vsize (Kb) 73708

[startup+440.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 22668 0 0 0 43796 108 0 0 25 0 1 0 21269159 75476992 14317 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7416/statm): 18427 14317 364 364 0 18063 0
[pid=7416] vsize: 73708
Current children cumulated CPU time (s) 439.04
Current children cumulated vsize (Kb) 73708

[startup+450.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 22752 0 0 0 44791 111 0 0 25 0 1 0 21269159 75743232 14368 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7416/statm): 18492 14368 364 364 0 18128 0
[pid=7416] vsize: 73968
Current children cumulated CPU time (s) 449.02
Current children cumulated vsize (Kb) 73968

[startup+460.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 23014 0 0 0 45785 114 0 0 25 0 1 0 21269159 75743232 14430 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7416/statm): 18492 14430 364 364 0 18128 0
[pid=7416] vsize: 73968
Current children cumulated CPU time (s) 458.99
Current children cumulated vsize (Kb) 73968

[startup+470.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 23080 0 0 0 46781 116 0 0 25 0 1 0 21269159 75878400 14496 4294967295 134512640 135987407 3221224576 3221223120 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7416/statm): 18525 14496 364 364 0 18161 0
[pid=7416] vsize: 74100
Current children cumulated CPU time (s) 468.97
Current children cumulated vsize (Kb) 74100

[startup+480.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 23338 0 0 0 47776 118 0 0 25 0 1 0 21269159 76017664 14554 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7416/statm): 18559 14554 364 364 0 18195 0
[pid=7416] vsize: 74236
Current children cumulated CPU time (s) 478.94
Current children cumulated vsize (Kb) 74236

[startup+490.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 23393 0 0 0 48772 120 0 0 25 0 1 0 21269159 76017664 14609 4294967295 134512640 135987407 3221224576 3221223280 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7416/statm): 18559 14609 364 364 0 18195 0
[pid=7416] vsize: 74236
Current children cumulated CPU time (s) 488.92
Current children cumulated vsize (Kb) 74236

[startup+500.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 23657 0 0 0 49767 122 0 0 25 0 1 0 21269159 76017664 14673 4294967295 134512640 135987407 3221224576 3221223120 134811986 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7416/statm): 18559 14673 364 364 0 18195 0
[pid=7416] vsize: 74236
Current children cumulated CPU time (s) 498.89
Current children cumulated vsize (Kb) 74236

[startup+510.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 23936 0 0 0 50762 123 0 0 25 0 1 0 21269159 76292096 14752 4294967295 134512640 135987407 3221224576 3221223280 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7416/statm): 18626 14752 364 364 0 18262 0
[pid=7416] vsize: 74504
Current children cumulated CPU time (s) 508.85
Current children cumulated vsize (Kb) 74504

[startup+520.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 23980 0 0 0 51757 126 0 0 25 0 1 0 21269159 76292096 14796 4294967295 134512640 135987407 3221224576 3221223248 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7416/statm): 18626 14796 364 364 0 18262 0
[pid=7416] vsize: 74504
Current children cumulated CPU time (s) 518.83
Current children cumulated vsize (Kb) 74504

[startup+530.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 24257 0 0 0 52750 129 0 0 25 0 1 0 21269159 76566528 14873 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7416/statm): 18693 14873 364 364 0 18329 0
[pid=7416] vsize: 74772
Current children cumulated CPU time (s) 528.79
Current children cumulated vsize (Kb) 74772

[startup+540.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 24539 0 0 0 53745 132 0 0 25 0 1 0 21269159 76697600 14922 4294967295 134512640 135987407 3221224576 3221223184 134801245 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7416/statm): 18725 14922 364 364 0 18361 0
[pid=7416] vsize: 74900
Current children cumulated CPU time (s) 538.77
Current children cumulated vsize (Kb) 74900

[startup+550.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 24793 0 0 0 54740 134 0 0 25 0 1 0 21269159 76832768 14976 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7416/statm): 18758 14976 364 364 0 18394 0
[pid=7416] vsize: 75032
Current children cumulated CPU time (s) 548.74
Current children cumulated vsize (Kb) 75032

[startup+560.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 24847 0 0 0 55737 136 0 0 25 0 1 0 21269159 76832768 15030 4294967295 134512640 135987407 3221224576 3221222992 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7416/statm): 18758 15030 364 364 0 18394 0
[pid=7416] vsize: 75032
Current children cumulated CPU time (s) 558.73
Current children cumulated vsize (Kb) 75032

[startup+570.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 25147 0 0 0 56730 139 0 0 25 0 1 0 21269159 77148160 15130 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7416/statm): 18835 15130 364 364 0 18471 0
[pid=7416] vsize: 75340
Current children cumulated CPU time (s) 568.69
Current children cumulated vsize (Kb) 75340

[startup+580.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 25391 0 0 0 57726 141 0 0 25 0 1 0 21269159 77148160 15174 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7416/statm): 18835 15174 364 364 0 18471 0
[pid=7416] vsize: 75340
Current children cumulated CPU time (s) 578.67
Current children cumulated vsize (Kb) 75340

[startup+590.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 25441 0 0 0 58719 144 0 0 25 0 1 0 21269159 77287424 15224 4294967295 134512640 135987407 3221224576 3221223120 134811807 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7416/statm): 18869 15224 364 364 0 18505 0
[pid=7416] vsize: 75476
Current children cumulated CPU time (s) 588.63
Current children cumulated vsize (Kb) 75476

[startup+600.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 25867 0 0 0 59712 147 0 0 25 0 1 0 21269159 78352384 15450 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7416/statm): 19129 15450 364 364 0 18765 0
[pid=7416] vsize: 76516
Current children cumulated CPU time (s) 598.59
Current children cumulated vsize (Kb) 76516

[startup+610.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 26070 0 0 0 60708 148 0 0 25 0 1 0 21269159 78352384 15453 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7416/statm): 19129 15453 364 364 0 18765 0
[pid=7416] vsize: 76516
Current children cumulated CPU time (s) 608.56
Current children cumulated vsize (Kb) 76516

[startup+620.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 26073 0 0 0 61705 149 0 0 25 0 1 0 21269159 78352384 15456 4294967295 134512640 135987407 3221224576 3221223120 134812018 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7416/statm): 19129 15456 364 364 0 18765 0
[pid=7416] vsize: 76516
Current children cumulated CPU time (s) 618.54
Current children cumulated vsize (Kb) 76516

[startup+630.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 26275 0 0 0 62701 151 0 0 25 0 1 0 21269159 78352384 15458 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7416/statm): 19129 15458 364 364 0 18765 0
[pid=7416] vsize: 76516
Current children cumulated CPU time (s) 628.52
Current children cumulated vsize (Kb) 76516

[startup+640.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 26481 0 0 0 63697 153 0 0 25 0 1 0 21269159 79171584 15664 4294967295 134512640 135987407 3221224576 3221222792 134827499 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7416/statm): 19329 15664 364 364 0 18965 0
[pid=7416] vsize: 77316
Current children cumulated CPU time (s) 638.5
Current children cumulated vsize (Kb) 77316

[startup+650.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 26603 0 0 0 64691 155 0 0 25 0 1 0 21269159 78966784 15586 4294967295 134512640 135987407 3221224576 3221223120 134812002 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7416/statm): 19279 15586 364 364 0 18915 0
[pid=7416] vsize: 77116
Current children cumulated CPU time (s) 648.46
Current children cumulated vsize (Kb) 77116

[startup+660.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) T 7415 7416 4060 0 -1 0 26896 0 0 0 65686 157 0 0 25 0 1 0 21269159 79568896 15679 4294967295 134512640 135987407 3221224576 3221223260 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7416/statm): 19426 15679 364 364 0 19062 0
[pid=7416] vsize: 77704
Current children cumulated CPU time (s) 658.43
Current children cumulated vsize (Kb) 77704

[startup+670.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 26902 0 0 0 66681 159 0 0 25 0 1 0 21269159 79568896 15685 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7416/statm): 19426 15685 364 364 0 19062 0
[pid=7416] vsize: 77704
Current children cumulated CPU time (s) 668.4
Current children cumulated vsize (Kb) 77704

[startup+680.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 27105 0 0 0 67676 161 0 0 25 0 1 0 21269159 79568896 15688 4294967295 134512640 135987407 3221224576 3221223180 134812115 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7416/statm): 19426 15688 364 364 0 19062 0
[pid=7416] vsize: 77704
Current children cumulated CPU time (s) 678.37
Current children cumulated vsize (Kb) 77704

[startup+690.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 27311 0 0 0 68673 162 0 0 25 0 1 0 21269159 79568896 15694 4294967295 134512640 135987407 3221224576 3221223280 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7416/statm): 19426 15694 364 364 0 19062 0
[pid=7416] vsize: 77704
Current children cumulated CPU time (s) 688.35
Current children cumulated vsize (Kb) 77704

[startup+700.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) T 7415 7416 4060 0 -1 0 27333 0 0 0 69671 163 0 0 25 0 1 0 21269159 79704064 15716 4294967295 134512640 135987407 3221224576 3221223260 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7416/statm): 19459 15716 364 364 0 19095 0
[pid=7416] vsize: 77836
Current children cumulated CPU time (s) 698.34
Current children cumulated vsize (Kb) 77836

[startup+710.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 27536 0 0 0 70666 165 0 0 25 0 1 0 21269159 79704064 15719 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7416/statm): 19459 15719 364 364 0 19095 0
[pid=7416] vsize: 77836
Current children cumulated CPU time (s) 708.31
Current children cumulated vsize (Kb) 77836

[startup+720.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 27539 0 0 0 71662 166 0 0 25 0 1 0 21269159 79704064 15722 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7416/statm): 19459 15722 364 364 0 19095 0
[pid=7416] vsize: 77836
Current children cumulated CPU time (s) 718.28
Current children cumulated vsize (Kb) 77836

[startup+730.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 27785 0 0 0 72658 168 0 0 25 0 1 0 21269159 79974400 15768 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7416/statm): 19525 15768 364 364 0 19161 0
[pid=7416] vsize: 78100
Current children cumulated CPU time (s) 728.26
Current children cumulated vsize (Kb) 78100

[startup+740.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 27787 0 0 0 73655 169 0 0 25 0 1 0 21269159 79974400 15770 4294967295 134512640 135987407 3221224576 3221223120 134811741 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7416/statm): 19525 15770 364 364 0 19161 0
[pid=7416] vsize: 78100
Current children cumulated CPU time (s) 738.24
Current children cumulated vsize (Kb) 78100

[startup+750.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 27990 0 0 0 74651 171 0 0 25 0 1 0 21269159 79974400 15773 4294967295 134512640 135987407 3221224576 3221223120 134811816 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7416/statm): 19525 15773 364 364 0 19161 0
[pid=7416] vsize: 78100
Current children cumulated CPU time (s) 748.22
Current children cumulated vsize (Kb) 78100

[startup+760.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 27992 0 0 0 75648 172 0 0 25 0 1 0 21269159 79974400 15775 4294967295 134512640 135987407 3221224576 3221223280 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7416/statm): 19525 15775 364 364 0 19161 0
[pid=7416] vsize: 78100
Current children cumulated CPU time (s) 758.2
Current children cumulated vsize (Kb) 78100

[startup+770.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 28004 0 0 0 76645 173 0 0 25 0 1 0 21269159 79974400 15787 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7416/statm): 19525 15787 364 364 0 19161 0
[pid=7416] vsize: 78100
Current children cumulated CPU time (s) 768.18
Current children cumulated vsize (Kb) 78100

[startup+780.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 28007 0 0 0 77642 174 0 0 25 0 1 0 21269159 79974400 15790 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7416/statm): 19525 15790 364 364 0 19161 0
[pid=7416] vsize: 78100
Current children cumulated CPU time (s) 778.16
Current children cumulated vsize (Kb) 78100

[startup+790.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 28051 0 0 0 78638 176 0 0 25 0 1 0 21269159 80109568 15834 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7416/statm): 19558 15834 364 364 0 19194 0
[pid=7416] vsize: 78232
Current children cumulated CPU time (s) 788.14
Current children cumulated vsize (Kb) 78232

[startup+800.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 28067 0 0 0 79635 177 0 0 25 0 1 0 21269159 80109568 15850 4294967295 134512640 135987407 3221224576 3221223120 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7416/statm): 19558 15850 364 364 0 19194 0
[pid=7416] vsize: 78232
Current children cumulated CPU time (s) 798.12
Current children cumulated vsize (Kb) 78232

[startup+810.031 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 28301 0 0 0 80629 179 0 0 25 0 1 0 21269159 80109568 15884 4294967295 134512640 135987407 3221224576 3221223120 134811896 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7416/statm): 19558 15884 364 364 0 19194 0
[pid=7416] vsize: 78232
Current children cumulated CPU time (s) 808.08
Current children cumulated vsize (Kb) 78232

[startup+820.031 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 28376 0 0 0 81618 183 0 0 25 0 1 0 21269159 80109568 15959 4294967295 134512640 135987407 3221224576 3221223184 134801140 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7416/statm): 19558 15959 364 364 0 19194 0
[pid=7416] vsize: 78232
Current children cumulated CPU time (s) 818.01
Current children cumulated vsize (Kb) 78232

[startup+830.032 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 28448 0 0 0 82609 186 0 0 25 0 1 0 21269159 80109568 16031 4294967295 134512640 135987407 3221224576 3221223280 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7416/statm): 19558 16031 364 364 0 19194 0
[pid=7416] vsize: 78232
Current children cumulated CPU time (s) 827.95
Current children cumulated vsize (Kb) 78232

[startup+840.033 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 28504 0 0 0 83601 190 0 0 25 0 1 0 21269159 80109568 16087 4294967295 134512640 135987407 3221224576 3221222992 134788457 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7416/statm): 19558 16087 364 364 0 19194 0
[pid=7416] vsize: 78232
Current children cumulated CPU time (s) 837.91
Current children cumulated vsize (Kb) 78232

[startup+850.033 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 28558 0 0 0 84596 191 0 0 25 0 1 0 21269159 80109568 16141 4294967295 134512640 135987407 3221224576 3221223296 134812703 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7416/statm): 19558 16141 364 364 0 19194 0
[pid=7416] vsize: 78232
Current children cumulated CPU time (s) 847.87
Current children cumulated vsize (Kb) 78232

[startup+860.032 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 28611 0 0 0 85587 195 0 0 25 0 1 0 21269159 80109568 16194 4294967295 134512640 135987407 3221224576 3221223280 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7416/statm): 19558 16194 364 364 0 19194 0
[pid=7416] vsize: 78232
Current children cumulated CPU time (s) 857.82
Current children cumulated vsize (Kb) 78232

[startup+870.032 s]
Raw data (loadavg): 0.99 0.97 0.99 1/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) T 7415 7416 4060 0 -1 0 28664 0 0 0 86580 198 0 0 25 0 1 0 21269159 80244736 16247 4294967295 134512640 135987407 3221224576 3221223260 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7416/statm): 19591 16247 364 364 0 19227 0
[pid=7416] vsize: 78364
Current children cumulated CPU time (s) 867.78
Current children cumulated vsize (Kb) 78364

[startup+880.033 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 28713 0 0 0 87573 201 0 0 25 0 1 0 21269159 80244736 16296 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7416/statm): 19591 16296 364 364 0 19227 0
[pid=7416] vsize: 78364
Current children cumulated CPU time (s) 877.74
Current children cumulated vsize (Kb) 78364

[startup+890.033 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 28750 0 0 0 88567 202 0 0 25 0 1 0 21269159 80244736 16333 4294967295 134512640 135987407 3221224576 3221223280 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7416/statm): 19591 16333 364 364 0 19227 0
[pid=7416] vsize: 78364
Current children cumulated CPU time (s) 887.69
Current children cumulated vsize (Kb) 78364

[startup+900.032 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 29061 0 0 0 89557 207 0 0 25 0 1 0 21269159 80658432 16444 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7416/statm): 19692 16444 364 364 0 19328 0
[pid=7416] vsize: 78768
Current children cumulated CPU time (s) 897.64
Current children cumulated vsize (Kb) 78768

[startup+910.033 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 29268 0 0 0 90549 210 0 0 25 0 1 0 21269159 80658432 16451 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7416/statm): 19692 16451 364 364 0 19328 0
[pid=7416] vsize: 78768
Current children cumulated CPU time (s) 907.59
Current children cumulated vsize (Kb) 78768

[startup+920.033 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 29477 0 0 0 91542 213 0 0 25 0 1 0 21269159 80658432 16460 4294967295 134512640 135987407 3221224576 3221222992 134788457 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7416/statm): 19692 16460 364 364 0 19328 0
[pid=7416] vsize: 78768
Current children cumulated CPU time (s) 917.55
Current children cumulated vsize (Kb) 78768

[startup+930.034 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 29686 0 0 0 92534 216 0 0 25 0 1 0 21269159 80658432 16469 4294967295 134512640 135987407 3221224576 3221223120 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7416/statm): 19692 16469 364 364 0 19328 0
[pid=7416] vsize: 78768
Current children cumulated CPU time (s) 927.5
Current children cumulated vsize (Kb) 78768

[startup+940.034 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 29894 0 0 0 93525 219 0 0 25 0 1 0 21269159 80658432 16477 4294967295 134512640 135987407 3221224576 3221223120 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7416/statm): 19692 16477 364 364 0 19328 0
[pid=7416] vsize: 78768
Current children cumulated CPU time (s) 937.44
Current children cumulated vsize (Kb) 78768

[startup+950.035 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 30103 0 0 0 94520 221 0 0 25 0 1 0 21269159 80658432 16486 4294967295 134512640 135987407 3221224576 3221223200 134812419 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7416/statm): 19692 16486 364 364 0 19328 0
[pid=7416] vsize: 78768
Current children cumulated CPU time (s) 947.41
Current children cumulated vsize (Kb) 78768

[startup+960.036 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 30311 0 0 0 95511 224 0 0 25 0 1 0 21269159 80658432 16494 4294967295 134512640 135987407 3221224576 3221223120 134812013 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7416/statm): 19692 16494 364 364 0 19328 0
[pid=7416] vsize: 78768
Current children cumulated CPU time (s) 957.35
Current children cumulated vsize (Kb) 78768

[startup+970.036 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 30517 0 0 0 96503 227 0 0 25 0 1 0 21269159 80658432 16500 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7416/statm): 19692 16500 364 364 0 19328 0
[pid=7416] vsize: 78768
Current children cumulated CPU time (s) 967.3
Current children cumulated vsize (Kb) 78768

[startup+980.036 s]
Raw data (loadavg): 0.99 0.97 0.99 1/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) T 7415 7416 4060 0 -1 0 30725 0 0 0 97496 230 0 0 25 0 1 0 21269159 80658432 16508 4294967295 134512640 135987407 3221224576 3221223260 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/7416/statm): 19692 16508 364 364 0 19328 0
[pid=7416] vsize: 78768
Current children cumulated CPU time (s) 977.26
Current children cumulated vsize (Kb) 78768

[startup+990.037 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 30933 0 0 0 98491 232 0 0 25 0 1 0 21269159 80793600 16516 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7416/statm): 19725 16516 364 364 0 19361 0
[pid=7416] vsize: 78900
Current children cumulated CPU time (s) 987.23
Current children cumulated vsize (Kb) 78900

[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 30937 0 0 0 99486 233 0 0 25 0 1 0 21269159 80793600 16520 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7416/statm): 19725 16520 364 364 0 19361 0
[pid=7416] vsize: 78900
Current children cumulated CPU time (s) 997.19
Current children cumulated vsize (Kb) 78900

[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 31147 0 0 0 100481 235 0 0 25 0 1 0 21269159 80793600 16530 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7416/statm): 19725 16530 364 364 0 19361 0
[pid=7416] vsize: 78900
Current children cumulated CPU time (s) 1007.16
Current children cumulated vsize (Kb) 78900

[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 31157 0 0 0 101475 238 0 0 25 0 1 0 21269159 80793600 16540 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7416/statm): 19725 16540 364 364 0 19361 0
[pid=7416] vsize: 78900
Current children cumulated CPU time (s) 1017.13
Current children cumulated vsize (Kb) 78900

[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 31367 0 0 0 102468 240 0 0 25 0 1 0 21269159 80793600 16550 4294967295 134512640 135987407 3221224576 3221223120 134812025 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7416/statm): 19725 16550 364 364 0 19361 0
[pid=7416] vsize: 78900
Current children cumulated CPU time (s) 1027.08
Current children cumulated vsize (Kb) 78900

[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 31376 0 0 0 103462 242 0 0 25 0 1 0 21269159 80793600 16559 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7416/statm): 19725 16559 364 364 0 19361 0
[pid=7416] vsize: 78900
Current children cumulated CPU time (s) 1037.04
Current children cumulated vsize (Kb) 78900

[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 31381 0 0 0 104458 244 0 0 25 0 1 0 21269159 80793600 16564 4294967295 134512640 135987407 3221224576 3221223120 134811870 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7416/statm): 19725 16564 364 364 0 19361 0
[pid=7416] vsize: 78900
Current children cumulated CPU time (s) 1047.02
Current children cumulated vsize (Kb) 78900

[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 31385 0 0 0 105452 246 0 0 25 0 1 0 21269159 80793600 16568 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7416/statm): 19725 16568 364 364 0 19361 0
[pid=7416] vsize: 78900
Current children cumulated CPU time (s) 1056.98
Current children cumulated vsize (Kb) 78900

[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 31595 0 0 0 106442 249 0 0 25 0 1 0 21269159 80932864 16578 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7416/statm): 19759 16578 364 364 0 19395 0
[pid=7416] vsize: 79036
Current children cumulated CPU time (s) 1066.91
Current children cumulated vsize (Kb) 79036

[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 31665 0 0 0 107433 254 0 0 25 0 1 0 21269159 80932864 16648 4294967295 134512640 135987407 3221224576 3221223120 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7416/statm): 19759 16648 364 364 0 19395 0
[pid=7416] vsize: 79036
Current children cumulated CPU time (s) 1076.87
Current children cumulated vsize (Kb) 79036

[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 31730 0 0 0 108424 257 0 0 25 0 1 0 21269159 80932864 16713 4294967295 134512640 135987407 3221224576 3221223120 134811870 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7416/statm): 19759 16713 364 364 0 19395 0
[pid=7416] vsize: 79036
Current children cumulated CPU time (s) 1086.81
Current children cumulated vsize (Kb) 79036

[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 31807 0 0 0 109415 260 0 0 25 0 1 0 21269159 80932864 16790 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7416/statm): 19759 16790 364 364 0 19395 0
[pid=7416] vsize: 79036
Current children cumulated CPU time (s) 1096.75
Current children cumulated vsize (Kb) 79036

[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 31884 0 0 0 110408 263 0 0 25 0 1 0 21269159 80932864 16867 4294967295 134512640 135987407 3221224576 3221223120 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7416/statm): 19759 16867 364 364 0 19395 0
[pid=7416] vsize: 79036
Current children cumulated CPU time (s) 1106.71
Current children cumulated vsize (Kb) 79036

[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 32259 0 0 0 111401 266 0 0 25 0 1 0 21269159 81338368 17042 4294967295 134512640 135987407 3221224576 3221223248 134876866 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7416/statm): 19858 17042 364 364 0 19494 0
[pid=7416] vsize: 79432
Current children cumulated CPU time (s) 1116.67
Current children cumulated vsize (Kb) 79432

[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 32481 0 0 0 112389 270 0 0 25 0 1 0 21269159 81473536 17064 4294967295 134512640 135987407 3221224576 3221223120 134811975 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7416/statm): 19891 17064 364 364 0 19527 0
[pid=7416] vsize: 79564
Current children cumulated CPU time (s) 1126.59
Current children cumulated vsize (Kb) 79564

[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 32703 0 0 0 113383 274 0 0 25 0 1 0 21269159 81473536 17086 4294967295 134512640 135987407 3221224576 3221223120 134811807 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7416/statm): 19891 17086 364 364 0 19527 0
[pid=7416] vsize: 79564
Current children cumulated CPU time (s) 1136.57
Current children cumulated vsize (Kb) 79564

[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 33119 0 0 0 114372 278 0 0 25 0 1 0 21269159 81608704 17102 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7416/statm): 19924 17102 364 364 0 19560 0
[pid=7416] vsize: 79696
Current children cumulated CPU time (s) 1146.5
Current children cumulated vsize (Kb) 79696

[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 33338 0 0 0 115362 283 0 0 25 0 1 0 21269159 81608704 17121 4294967295 134512640 135987407 3221224576 3221223120 134811988 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7416/statm): 19924 17121 364 364 0 19560 0
[pid=7416] vsize: 79696
Current children cumulated CPU time (s) 1156.45
Current children cumulated vsize (Kb) 79696

[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 33546 0 0 0 116354 286 0 0 25 0 1 0 21269159 81608704 17129 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7416/statm): 19924 17129 364 364 0 19560 0
[pid=7416] vsize: 79696
Current children cumulated CPU time (s) 1166.4
Current children cumulated vsize (Kb) 79696

[startup+1180.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 33758 0 0 0 117347 289 0 0 25 0 1 0 21269159 81608704 17141 4294967295 134512640 135987407 3221224576 3221223120 134812002 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7416/statm): 19924 17141 364 364 0 19560 0
[pid=7416] vsize: 79696
Current children cumulated CPU time (s) 1176.36
Current children cumulated vsize (Kb) 79696

[startup+1190.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 34167 0 0 0 118340 292 0 0 25 0 1 0 21269159 81608704 17150 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7416/statm): 19924 17150 364 364 0 19560 0
[pid=7416] vsize: 79696
Current children cumulated CPU time (s) 1186.32
Current children cumulated vsize (Kb) 79696

[startup+1200.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 34184 0 0 0 119333 294 0 0 25 0 1 0 21269159 81743872 17167 4294967295 134512640 135987407 3221224576 3221223120 134811773 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7416/statm): 19957 17167 364 364 0 19593 0
[pid=7416] vsize: 79828
Current children cumulated CPU time (s) 1196.27
Current children cumulated vsize (Kb) 79828

[startup+1210.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 34395 0 0 0 120327 296 0 0 25 0 1 0 21269159 81743872 17178 4294967295 134512640 135987407 3221224576 3221223120 134812056 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7416/statm): 19957 17178 364 364 0 19593 0
[pid=7416] vsize: 79828
Current children cumulated CPU time (s) 1206.23
Current children cumulated vsize (Kb) 79828



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7416
Raw data (/proc/7416/stat): 7416 (pb2sat) R 7415 7416 4060 0 -1 0 34395 0 0 0 120327 296 0 0 25 0 1 0 21269159 81743872 17178 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7416/statm): 19957 17178 364 364 0 19593 0
[pid=7416] vsize: 79828
Current children cumulated CPU time (s) 1206.23
Current children cumulated vsize (Kb) 79828

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

Child status: 10
Real time (s): 1210.26
CPU time (s): 1206.45
CPU user time (s): 1203.45
CPU system time (s): 3.00354
CPU usage (%): 99.6853
Max. virtual memory (cumulated for all children) (Kb): 79828

Verifier Data

Verifier:	OK	0