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-5.opb
MD5SUM00a81d808a7a59d6e11f17e19e68d826
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 benchmark172.11
Number of variables450
Total number of constraints17794
Number of constraints which are clauses17794
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 9813

Launcher Data

LAUNCH ON wulflinc20 THE 2005-09-23 15:24:44 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8548 boxname=wulflinc20 idbench=344 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  00a81d808a7a59d6e11f17e19e68d826  /oldhome/oroussel/tmp/wulflinc20/normalized-frb30-15-5.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc20/normalized-frb30-15-5.opb
IDLAUNCH: 8548
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.012
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.012
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:        939668 kB
Buffers:         11420 kB
Cached:          66712 kB
SwapCached:          0 kB
Active:          46076 kB
Inactive:        35004 kB
HighTotal:      131008 kB
HighFree:        59808 kB
LowTotal:       903652 kB
LowFree:        879860 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6976 kB
Slab:             8420 kB
Committed_AS:    63656 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 15:44:54 (client local time) WITH STATUS 10 IN 1206.59 SECONDS
stats: 8548 0 1206.59 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: 35041/102388	Time: 48.6596/86400
c Decision: 35041/102388	Time: 72.122/86400
c Decision: 36797/102388	Time: 107.987/86400
c Decision: 37819/102388	Time: 133.054/86400
c Decision: 38077/102388	Time: 160.972/86400
c [startup+385.509 s]  setting bit 8 to 0

c Decision: 10032/102388	Time: 135.454/86400
c Decision: 10032/102388	Time: 146.456/86400
c Decision: 11162/102388	Time: 160.306/86400
c Decision: 11162/102388	Time: 174.12/86400
c Decision: 20048/102388	Time: 198.804/86400
c Decision: 20048/102388	Time: 212.453/86400
c Decision: 20048/102388	Time: 226.815/86400
c Decision: 21508/102388	Time: 249.28/86400
c Decision: 21508/102388	Time: 263.995/86400
c Decision: 21510/102388	Time: 289.608/86400
c Decision: 21510/102388	Time: 305.54/86400
c Decision: 21921/102388	Time: 341.673/86400
c Decision: 22173/102388	Time: 375.991/86400
c Decision: 22173/102388	Time: 393.421/86400
c Decision: 22173/102388	Time: 411.435/86400
c [startup+834.737 s]  setting bit 7 to 0

c Decision: 12752/102388	Time: 92.9309/86400
c Decision: 12752/102388	Time: 102.847/86400
c Decision: 12878/102388	Time: 120.157/86400
c Decision: 12878/102388	Time: 129.371/86400
c Decision: 12878/102388	Time: 141.231/86400
c Decision: 12878/102388	Time: 154.263/86400
c Decision: 12941/102388	Time: 180.33/86400
c Decision: 12941/102388	Time: 194.929/86400
c Decision: 12941/102388	Time: 211.916/86400
c Decision: 12941/102388	Time: 231.673/86400
c [startup+1117.75 s]  setting bit 6 to 0

c Decision: 31292/102388	Time: 70.0583/86400
c Decision: 31292/102388	Time: 76.9753/86400
c Decision: 31292/102388	Time: 84.8611/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/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 21246356 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7231/statm): 373 2 364 364 0 9 0
[pid=7231] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc20/normalized-frb30-15-5.opb

[startup+10.0025 s]
Raw data (loadavg): 0.87 0.94 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 17338 0 0 0 957 38 0 0 25 0 1 0 21246356 56422400 11579 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7231/statm): 13775 11579 364 364 0 13411 0
[pid=7231] vsize: 55100
Current children cumulated CPU time (s) 9.95
Current children cumulated vsize (Kb) 55100

[startup+20.0032 s]
Raw data (loadavg): 0.89 0.94 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 17901 0 0 0 1952 41 0 0 25 0 1 0 21246356 58982400 12076 4294967295 134512640 135987407 3221224560 3221223032 135293361 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7231/statm): 14400 12076 364 364 0 14036 0
[pid=7231] vsize: 57600
Current children cumulated CPU time (s) 19.93
Current children cumulated vsize (Kb) 57600

[startup+30.0039 s]
Raw data (loadavg): 0.90 0.94 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 18338 0 0 0 2948 43 0 0 25 0 1 0 21246356 60776448 12398 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7231/statm): 14838 12398 364 364 0 14474 0
[pid=7231] vsize: 59352
Current children cumulated CPU time (s) 29.91
Current children cumulated vsize (Kb) 59352

[startup+40.0046 s]
Raw data (loadavg): 0.92 0.94 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 18543 0 0 0 3944 44 0 0 25 0 1 0 21246356 61468672 12505 4294967295 134512640 135987407 3221224560 3221223104 134812018 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7231/statm): 15007 12505 364 364 0 14643 0
[pid=7231] vsize: 60028
Current children cumulated CPU time (s) 39.88
Current children cumulated vsize (Kb) 60028

[startup+50.0054 s]
Raw data (loadavg): 0.93 0.94 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 18561 0 0 0 4942 45 0 0 25 0 1 0 21246356 61468672 12523 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7231/statm): 15007 12523 364 364 0 14643 0
[pid=7231] vsize: 60028
Current children cumulated CPU time (s) 49.87
Current children cumulated vsize (Kb) 60028

[startup+60.0061 s]
Raw data (loadavg): 0.94 0.95 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 18805 0 0 0 5939 47 0 0 25 0 1 0 21246356 61603840 12567 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7231/statm): 15040 12567 364 364 0 14676 0
[pid=7231] vsize: 60160
Current children cumulated CPU time (s) 59.86
Current children cumulated vsize (Kb) 60160

[startup+70.0068 s]
Raw data (loadavg): 0.95 0.95 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 18814 0 0 0 6936 47 0 0 25 0 1 0 21246356 61603840 12576 4294967295 134512640 135987407 3221224560 3221223104 134812160 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7231/statm): 15040 12576 364 364 0 14676 0
[pid=7231] vsize: 60160
Current children cumulated CPU time (s) 69.83
Current children cumulated vsize (Kb) 60160

[startup+80.0085 s]
Raw data (loadavg): 0.96 0.95 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 19125 0 0 0 7931 49 0 0 25 0 1 0 21246356 62169088 12686 4294967295 134512640 135987407 3221224560 3221223104 134811773 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7231/statm): 15178 12686 364 364 0 14814 0
[pid=7231] vsize: 60712
Current children cumulated CPU time (s) 79.8
Current children cumulated vsize (Kb) 60712

[startup+90.0093 s]
Raw data (loadavg): 0.96 0.95 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 19139 0 0 0 8927 51 0 0 25 0 1 0 21246356 62169088 12700 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7231/statm): 15178 12700 364 364 0 14814 0
[pid=7231] vsize: 60712
Current children cumulated CPU time (s) 89.78
Current children cumulated vsize (Kb) 60712

[startup+100.009 s]
Raw data (loadavg): 0.97 0.95 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 19156 0 0 0 9924 52 0 0 25 0 1 0 21246356 62169088 12717 4294967295 134512640 135987407 3221224560 3221222972 135480416 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7231/statm): 15178 12717 364 364 0 14814 0
[pid=7231] vsize: 60712
Current children cumulated CPU time (s) 99.76
Current children cumulated vsize (Kb) 60712

[startup+110.01 s]
Raw data (loadavg): 0.97 0.95 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 19173 0 0 0 10921 53 0 0 25 0 1 0 21246356 62169088 12734 4294967295 134512640 135987407 3221224560 3221223232 134824238 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7231/statm): 15178 12734 364 364 0 14814 0
[pid=7231] vsize: 60712
Current children cumulated CPU time (s) 109.74
Current children cumulated vsize (Kb) 60712

[startup+120.009 s]
Raw data (loadavg): 0.98 0.95 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 19400 0 0 0 11918 54 0 0 25 0 1 0 21246356 62169088 12761 4294967295 134512640 135987407 3221224560 3221223280 134812752 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7231/statm): 15178 12761 364 364 0 14814 0
[pid=7231] vsize: 60712
Current children cumulated CPU time (s) 119.72
Current children cumulated vsize (Kb) 60712

[startup+130.009 s]
Raw data (loadavg): 0.98 0.95 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 19422 0 0 0 12916 55 0 0 25 0 1 0 21246356 62169088 12783 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7231/statm): 15178 12783 364 364 0 14814 0
[pid=7231] vsize: 60712
Current children cumulated CPU time (s) 129.71
Current children cumulated vsize (Kb) 60712

[startup+140.01 s]
Raw data (loadavg): 0.98 0.95 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 19759 0 0 0 13912 56 0 0 25 0 1 0 21246356 62775296 12920 4294967295 134512640 135987407 3221224560 3221223232 134824261 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7231/statm): 15326 12920 364 364 0 14962 0
[pid=7231] vsize: 61304
Current children cumulated CPU time (s) 139.68
Current children cumulated vsize (Kb) 61304

[startup+150.01 s]
Raw data (loadavg): 0.98 0.95 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 19775 0 0 0 14909 57 0 0 25 0 1 0 21246356 62775296 12936 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7231/statm): 15326 12936 364 364 0 14962 0
[pid=7231] vsize: 61304
Current children cumulated CPU time (s) 149.66
Current children cumulated vsize (Kb) 61304

[startup+160.01 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 19790 0 0 0 15906 58 0 0 25 0 1 0 21246356 62775296 12951 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7231/statm): 15326 12951 364 364 0 14962 0
[pid=7231] vsize: 61304
Current children cumulated CPU time (s) 159.64
Current children cumulated vsize (Kb) 61304

[startup+170.011 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 20009 0 0 0 16903 59 0 0 25 0 1 0 21246356 62775296 12970 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7231/statm): 15326 12970 364 364 0 14962 0
[pid=7231] vsize: 61304
Current children cumulated CPU time (s) 169.62
Current children cumulated vsize (Kb) 61304

[startup+180.011 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 20115 0 0 0 17899 61 0 0 25 0 1 0 21246356 63287296 13076 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7231/statm): 15451 13076 364 364 0 15087 0
[pid=7231] vsize: 61804
Current children cumulated CPU time (s) 179.6
Current children cumulated vsize (Kb) 61804

[startup+190.012 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 20245 0 0 0 18895 62 0 0 25 0 1 0 21246356 64028672 13206 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7231/statm): 15632 13206 364 364 0 15268 0
[pid=7231] vsize: 62528
Current children cumulated CPU time (s) 189.57
Current children cumulated vsize (Kb) 62528

[startup+200.012 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 20262 0 0 0 19891 63 0 0 25 0 1 0 21246356 64028672 13223 4294967295 134512640 135987407 3221224560 3221223104 134811891 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7231/statm): 15632 13223 364 364 0 15268 0
[pid=7231] vsize: 62528
Current children cumulated CPU time (s) 199.54
Current children cumulated vsize (Kb) 62528

[startup+210.013 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 20421 0 0 0 20885 66 0 0 25 0 1 0 21246356 64598016 13382 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7231/statm): 15771 13382 364 364 0 15407 0
[pid=7231] vsize: 63084
Current children cumulated CPU time (s) 209.51
Current children cumulated vsize (Kb) 63084

[startup+220.013 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 20435 0 0 0 21883 66 0 0 25 0 1 0 21246356 64598016 13396 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7231/statm): 15771 13396 364 364 0 15407 0
[pid=7231] vsize: 63084
Current children cumulated CPU time (s) 219.49
Current children cumulated vsize (Kb) 63084

[startup+230.012 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 20452 0 0 0 22881 67 0 0 25 0 1 0 21246356 64598016 13413 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7231/statm): 15771 13413 364 364 0 15407 0
[pid=7231] vsize: 63084
Current children cumulated CPU time (s) 229.48
Current children cumulated vsize (Kb) 63084

[startup+240.013 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 20468 0 0 0 23879 68 0 0 25 0 1 0 21246356 64598016 13429 4294967295 134512640 135987407 3221224560 3221223280 134812703 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7231/statm): 15771 13429 364 364 0 15407 0
[pid=7231] vsize: 63084
Current children cumulated CPU time (s) 239.47
Current children cumulated vsize (Kb) 63084

[startup+250.013 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 20485 0 0 0 24875 69 0 0 25 0 1 0 21246356 64598016 13446 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7231/statm): 15771 13446 364 364 0 15407 0
[pid=7231] vsize: 63084
Current children cumulated CPU time (s) 249.44
Current children cumulated vsize (Kb) 63084

[startup+260.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 20501 0 0 0 25872 70 0 0 25 0 1 0 21246356 64598016 13462 4294967295 134512640 135987407 3221224560 3221222976 134788512 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7231/statm): 15771 13462 364 364 0 15407 0
[pid=7231] vsize: 63084
Current children cumulated CPU time (s) 259.42
Current children cumulated vsize (Kb) 63084

[startup+270.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 20525 0 0 0 26869 71 0 0 25 0 1 0 21246356 64733184 13486 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7231/statm): 15804 13486 364 364 0 15440 0
[pid=7231] vsize: 63216
Current children cumulated CPU time (s) 269.4
Current children cumulated vsize (Kb) 63216

[startup+280.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 20553 0 0 0 27865 72 0 0 25 0 1 0 21246356 64733184 13514 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7231/statm): 15804 13514 364 364 0 15440 0
[pid=7231] vsize: 63216
Current children cumulated CPU time (s) 279.37
Current children cumulated vsize (Kb) 63216

[startup+290.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 20573 0 0 0 28863 73 0 0 25 0 1 0 21246356 64733184 13534 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7231/statm): 15804 13534 364 364 0 15440 0
[pid=7231] vsize: 63216
Current children cumulated CPU time (s) 289.36
Current children cumulated vsize (Kb) 63216

[startup+300.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 20601 0 0 0 29861 74 0 0 25 0 1 0 21246356 64733184 13562 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7231/statm): 15804 13562 364 364 0 15440 0
[pid=7231] vsize: 63216
Current children cumulated CPU time (s) 299.35
Current children cumulated vsize (Kb) 63216

[startup+310.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 20757 0 0 0 30858 75 0 0 25 0 1 0 21246356 65634304 13718 4294967295 134512640 135987407 3221224560 3221223104 134811975 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7231/statm): 16024 13718 364 364 0 15660 0
[pid=7231] vsize: 64096
Current children cumulated CPU time (s) 309.33
Current children cumulated vsize (Kb) 64096

[startup+320.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 20926 0 0 0 31855 76 0 0 25 0 1 0 21246356 66301952 13887 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7231/statm): 16187 13887 364 364 0 15823 0
[pid=7231] vsize: 64748
Current children cumulated CPU time (s) 319.31
Current children cumulated vsize (Kb) 64748

[startup+330.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 20947 0 0 0 32852 78 0 0 25 0 1 0 21246356 66437120 13908 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7231/statm): 16220 13908 364 364 0 15856 0
[pid=7231] vsize: 64880
Current children cumulated CPU time (s) 329.3
Current children cumulated vsize (Kb) 64880

[startup+340.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 20977 0 0 0 33850 79 0 0 25 0 1 0 21246356 66437120 13938 4294967295 134512640 135987407 3221224560 3221223104 134811980 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7231/statm): 16220 13938 364 364 0 15856 0
[pid=7231] vsize: 64880
Current children cumulated CPU time (s) 339.29
Current children cumulated vsize (Kb) 64880

[startup+350.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 21008 0 0 0 34848 80 0 0 25 0 1 0 21246356 66437120 13969 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7231/statm): 16220 13969 364 364 0 15856 0
[pid=7231] vsize: 64880
Current children cumulated CPU time (s) 349.28
Current children cumulated vsize (Kb) 64880

[startup+360.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 21034 0 0 0 35845 81 0 0 25 0 1 0 21246356 66437120 13995 4294967295 134512640 135987407 3221224560 3221223264 134790000 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7231/statm): 16220 13995 364 364 0 15856 0
[pid=7231] vsize: 64880
Current children cumulated CPU time (s) 359.26
Current children cumulated vsize (Kb) 64880

[startup+370.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 21064 0 0 0 36842 83 0 0 25 0 1 0 21246356 66572288 14025 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7231/statm): 16253 14025 364 364 0 15889 0
[pid=7231] vsize: 65012
Current children cumulated CPU time (s) 369.25
Current children cumulated vsize (Kb) 65012

[startup+380.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 21167 0 0 0 37840 84 0 0 25 0 1 0 21246356 66834432 14063 4294967295 134512640 135987407 3221224560 3221223264 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7231/statm): 16317 14063 364 364 0 15953 0
[pid=7231] vsize: 65268
Current children cumulated CPU time (s) 379.24
Current children cumulated vsize (Kb) 65268

[startup+390.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 21427 0 0 0 38835 86 0 0 25 0 1 0 21246356 66834432 14123 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7231/statm): 16317 14123 364 364 0 15953 0
[pid=7231] vsize: 65268
Current children cumulated CPU time (s) 389.21
Current children cumulated vsize (Kb) 65268

[startup+400.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 21485 0 0 0 39829 88 0 0 25 0 1 0 21246356 66969600 14181 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7231/statm): 16350 14181 364 364 0 15986 0
[pid=7231] vsize: 65400
Current children cumulated CPU time (s) 399.17
Current children cumulated vsize (Kb) 65400

[startup+410.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 21530 0 0 0 40824 90 0 0 25 0 1 0 21246356 75358208 14226 4294967295 134512640 135987407 3221224560 3221223104 134811778 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7231/statm): 18398 14226 364 364 0 18034 0
[pid=7231] vsize: 73592
Current children cumulated CPU time (s) 409.14
Current children cumulated vsize (Kb) 73592

[startup+420.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 21574 0 0 0 41820 92 0 0 25 0 1 0 21246356 75358208 14270 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7231/statm): 18398 14270 364 364 0 18034 0
[pid=7231] vsize: 73592
Current children cumulated CPU time (s) 419.12
Current children cumulated vsize (Kb) 73592

[startup+430.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 21619 0 0 0 42816 93 0 0 25 0 1 0 21246356 75493376 14315 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7231/statm): 18431 14315 364 364 0 18067 0
[pid=7231] vsize: 73724
Current children cumulated CPU time (s) 429.09
Current children cumulated vsize (Kb) 73724

[startup+440.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 21675 0 0 0 43812 94 0 0 25 0 1 0 21246356 75493376 14371 4294967295 134512640 135987407 3221224560 3221223104 134811956 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7231/statm): 18431 14371 364 364 0 18067 0
[pid=7231] vsize: 73724
Current children cumulated CPU time (s) 439.06
Current children cumulated vsize (Kb) 73724

[startup+450.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 21805 0 0 0 44807 96 0 0 25 0 1 0 21246356 75968512 14468 4294967295 134512640 135987407 3221224560 3221223280 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7231/statm): 18547 14468 364 364 0 18183 0
[pid=7231] vsize: 74188
Current children cumulated CPU time (s) 449.03
Current children cumulated vsize (Kb) 74188

[startup+460.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 21854 0 0 0 45802 98 0 0 25 0 1 0 21246356 75968512 14517 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7231/statm): 18547 14517 364 364 0 18183 0
[pid=7231] vsize: 74188
Current children cumulated CPU time (s) 459
Current children cumulated vsize (Kb) 74188

[startup+470.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 21884 0 0 0 46798 99 0 0 25 0 1 0 21246356 75968512 14547 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7231/statm): 18547 14547 364 364 0 18183 0
[pid=7231] vsize: 74188
Current children cumulated CPU time (s) 468.97
Current children cumulated vsize (Kb) 74188

[startup+480.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 21921 0 0 0 47793 101 0 0 25 0 1 0 21246356 75968512 14584 4294967295 134512640 135987407 3221224560 3221223264 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7231/statm): 18547 14584 364 364 0 18183 0
[pid=7231] vsize: 74188
Current children cumulated CPU time (s) 478.94
Current children cumulated vsize (Kb) 74188

[startup+490.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 21957 0 0 0 48789 103 0 0 25 0 1 0 21246356 75968512 14620 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7231/statm): 18547 14620 364 364 0 18183 0
[pid=7231] vsize: 74188
Current children cumulated CPU time (s) 488.92
Current children cumulated vsize (Kb) 74188

[startup+500.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 22203 0 0 0 49784 105 0 0 25 0 1 0 21246356 76939264 14866 4294967295 134512640 135987407 3221224560 3221223104 134812031 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7231/statm): 18784 14866 364 364 0 18420 0
[pid=7231] vsize: 75136
Current children cumulated CPU time (s) 498.89
Current children cumulated vsize (Kb) 75136

[startup+510.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 22311 0 0 0 50780 106 0 0 25 0 1 0 21246356 77271040 14974 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7231/statm): 18865 14974 364 364 0 18501 0
[pid=7231] vsize: 75460
Current children cumulated CPU time (s) 508.86
Current children cumulated vsize (Kb) 75460

[startup+520.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 22340 0 0 0 51777 108 0 0 25 0 1 0 21246356 77271040 15003 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7231/statm): 18865 15003 364 364 0 18501 0
[pid=7231] vsize: 75460
Current children cumulated CPU time (s) 518.85
Current children cumulated vsize (Kb) 75460

[startup+530.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 22544 0 0 0 52771 111 0 0 25 0 1 0 21246356 77271040 15007 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7231/statm): 18865 15007 364 364 0 18501 0
[pid=7231] vsize: 75460
Current children cumulated CPU time (s) 528.82
Current children cumulated vsize (Kb) 75460

[startup+540.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 22760 0 0 0 53767 112 0 0 25 0 1 0 21246356 77467648 15023 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7231/statm): 18913 15023 364 364 0 18549 0
[pid=7231] vsize: 75652
Current children cumulated CPU time (s) 538.79
Current children cumulated vsize (Kb) 75652

[startup+550.02 s]
Raw data (loadavg): 0.99 0.97 0.96 1/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) T 7230 7231 4059 0 -1 0 23044 0 0 0 54759 115 0 0 25 0 1 0 21246356 77766656 15107 4294967295 134512640 135987407 3221224560 3221223244 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/7231/statm): 18986 15107 364 364 0 18622 0
[pid=7231] vsize: 75944
Current children cumulated CPU time (s) 548.74
Current children cumulated vsize (Kb) 75944

[startup+560.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 23247 0 0 0 55754 116 0 0 25 0 1 0 21246356 78585856 15310 4294967295 134512640 135987407 3221224560 3221222800 134829261 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7231/statm): 19186 15310 364 364 0 18822 0
[pid=7231] vsize: 76744
Current children cumulated CPU time (s) 558.7
Current children cumulated vsize (Kb) 76744

[startup+570.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 23267 0 0 0 56751 117 0 0 25 0 1 0 21246356 77905920 15130 4294967295 134512640 135987407 3221224560 3221223104 134811972 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7231/statm): 19020 15130 364 364 0 18656 0
[pid=7231] vsize: 76080
Current children cumulated CPU time (s) 568.68
Current children cumulated vsize (Kb) 76080

[startup+580.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 23318 0 0 0 57746 119 0 0 25 0 1 0 21246356 77905920 15181 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7231/statm): 19020 15181 364 364 0 18656 0
[pid=7231] vsize: 76080
Current children cumulated CPU time (s) 578.65
Current children cumulated vsize (Kb) 76080

[startup+590.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 23561 0 0 0 58741 121 0 0 25 0 1 0 21246356 78041088 15224 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7231/statm): 19053 15224 364 364 0 18689 0
[pid=7231] vsize: 76212
Current children cumulated CPU time (s) 588.62
Current children cumulated vsize (Kb) 76212

[startup+600.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 23801 0 0 0 59736 123 0 0 25 0 1 0 21246356 78041088 15264 4294967295 134512640 135987407 3221224560 3221223104 134812010 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7231/statm): 19053 15264 364 364 0 18689 0
[pid=7231] vsize: 76212
Current children cumulated CPU time (s) 598.59
Current children cumulated vsize (Kb) 76212

[startup+610.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 23809 0 0 0 60731 125 0 0 25 0 1 0 21246356 78041088 15272 4294967295 134512640 135987407 3221224560 3221223280 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7231/statm): 19053 15272 364 364 0 18689 0
[pid=7231] vsize: 76212
Current children cumulated CPU time (s) 608.56
Current children cumulated vsize (Kb) 76212

[startup+620.022 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 24035 0 0 0 61725 126 0 0 25 0 1 0 21246356 78188544 15298 4294967295 134512640 135987407 3221224560 3221223280 134812696 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7231/statm): 19089 15298 364 364 0 18725 0
[pid=7231] vsize: 76356
Current children cumulated CPU time (s) 618.51
Current children cumulated vsize (Kb) 76356

[startup+630.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 24062 0 0 0 62719 130 0 0 25 0 1 0 21246356 78188544 15325 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7231/statm): 19089 15325 364 364 0 18725 0
[pid=7231] vsize: 76356
Current children cumulated CPU time (s) 628.49
Current children cumulated vsize (Kb) 76356

[startup+640.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 24288 0 0 0 63714 132 0 0 25 0 1 0 21246356 78327808 15351 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7231/statm): 19123 15351 364 364 0 18759 0
[pid=7231] vsize: 76492
Current children cumulated CPU time (s) 638.46
Current children cumulated vsize (Kb) 76492

[startup+650.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 24423 0 0 0 64709 134 0 0 25 0 1 0 21246356 79003648 15486 4294967295 134512640 135987407 3221224560 3221223136 134814273 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7231/statm): 19288 15486 364 364 0 18924 0
[pid=7231] vsize: 77152
Current children cumulated CPU time (s) 648.43
Current children cumulated vsize (Kb) 77152

[startup+660.022 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 24827 0 0 0 65703 137 0 0 25 0 1 0 21246356 79970304 15690 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7231/statm): 19524 15690 364 364 0 19160 0
[pid=7231] vsize: 78096
Current children cumulated CPU time (s) 658.4
Current children cumulated vsize (Kb) 78096

[startup+670.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 24858 0 0 0 66700 138 0 0 25 0 1 0 21246356 79970304 15721 4294967295 134512640 135987407 3221224560 3221223104 134811778 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7231/statm): 19524 15721 364 364 0 19160 0
[pid=7231] vsize: 78096
Current children cumulated CPU time (s) 668.38
Current children cumulated vsize (Kb) 78096

[startup+680.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 25089 0 0 0 67695 140 0 0 25 0 1 0 21246356 79970304 15752 4294967295 134512640 135987407 3221224560 3221223196 134812407 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7231/statm): 19524 15752 364 364 0 19160 0
[pid=7231] vsize: 78096
Current children cumulated CPU time (s) 678.35
Current children cumulated vsize (Kb) 78096

[startup+690.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 25112 0 0 0 68689 142 0 0 25 0 1 0 21246356 79970304 15775 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7231/statm): 19524 15775 364 364 0 19160 0
[pid=7231] vsize: 78096
Current children cumulated CPU time (s) 688.31
Current children cumulated vsize (Kb) 78096

[startup+700.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 25347 0 0 0 69684 143 0 0 25 0 1 0 21246356 80105472 15810 4294967295 134512640 135987407 3221224560 3221223104 134812126 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7231/statm): 19557 15810 364 364 0 19193 0
[pid=7231] vsize: 78228
Current children cumulated CPU time (s) 698.27
Current children cumulated vsize (Kb) 78228

[startup+710.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 25353 0 0 0 70679 145 0 0 25 0 1 0 21246356 80105472 15816 4294967295 134512640 135987407 3221224560 3221223200 134812406 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7231/statm): 19557 15816 364 364 0 19193 0
[pid=7231] vsize: 78228
Current children cumulated CPU time (s) 708.24
Current children cumulated vsize (Kb) 78228

[startup+720.022 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 25356 0 0 0 71675 146 0 0 25 0 1 0 21246356 80105472 15819 4294967295 134512640 135987407 3221224560 3221223104 134811816 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7231/statm): 19557 15819 364 364 0 19193 0
[pid=7231] vsize: 78228
Current children cumulated CPU time (s) 718.21
Current children cumulated vsize (Kb) 78228

[startup+730.022 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 25559 0 0 0 72670 148 0 0 25 0 1 0 21246356 80105472 15822 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7231/statm): 19557 15822 364 364 0 19193 0
[pid=7231] vsize: 78228
Current children cumulated CPU time (s) 728.18
Current children cumulated vsize (Kb) 78228

[startup+740.022 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 25562 0 0 0 73667 150 0 0 25 0 1 0 21246356 80105472 15825 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7231/statm): 19557 15825 364 364 0 19193 0
[pid=7231] vsize: 78228
Current children cumulated CPU time (s) 738.17
Current children cumulated vsize (Kb) 78228

[startup+750.023 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 25572 0 0 0 74663 151 0 0 25 0 1 0 21246356 80105472 15835 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7231/statm): 19557 15835 364 364 0 19193 0
[pid=7231] vsize: 78228
Current children cumulated CPU time (s) 748.14
Current children cumulated vsize (Kb) 78228

[startup+760.024 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 25575 0 0 0 75657 153 0 0 25 0 1 0 21246356 80105472 15838 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7231/statm): 19557 15838 364 364 0 19193 0
[pid=7231] vsize: 78228
Current children cumulated CPU time (s) 758.1
Current children cumulated vsize (Kb) 78228

[startup+770.024 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 25777 0 0 0 76653 155 0 0 25 0 1 0 21246356 80105472 15840 4294967295 134512640 135987407 3221224560 3221223104 134811824 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7231/statm): 19557 15840 364 364 0 19193 0
[pid=7231] vsize: 78228
Current children cumulated CPU time (s) 768.08
Current children cumulated vsize (Kb) 78228

[startup+780.023 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 25980 0 0 0 77649 157 0 0 25 0 1 0 21246356 80924672 16043 4294967295 134512640 135987407 3221224560 3221222800 134828895 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7231/statm): 19757 16043 364 364 0 19393 0
[pid=7231] vsize: 79028
Current children cumulated CPU time (s) 778.06
Current children cumulated vsize (Kb) 79028

[startup+790.024 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 25991 0 0 0 78645 158 0 0 25 0 1 0 21246356 80105472 15854 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7231/statm): 19557 15854 364 364 0 19193 0
[pid=7231] vsize: 78228
Current children cumulated CPU time (s) 788.03
Current children cumulated vsize (Kb) 78228

[startup+800.025 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 26212 0 0 0 79642 160 0 0 25 0 1 0 21246356 80105472 15875 4294967295 134512640 135987407 3221224560 3221223248 134812773 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7231/statm): 19557 15875 364 364 0 19193 0
[pid=7231] vsize: 78228
Current children cumulated CPU time (s) 798.02
Current children cumulated vsize (Kb) 78228

[startup+810.026 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 26228 0 0 0 80639 160 0 0 25 0 1 0 21246356 80105472 15891 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7231/statm): 19557 15891 364 364 0 19193 0
[pid=7231] vsize: 78228
Current children cumulated CPU time (s) 807.99
Current children cumulated vsize (Kb) 78228

[startup+820.026 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 26245 0 0 0 81636 162 0 0 25 0 1 0 21246356 80252928 15908 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7231/statm): 19593 15908 364 364 0 19229 0
[pid=7231] vsize: 78372
Current children cumulated CPU time (s) 817.98
Current children cumulated vsize (Kb) 78372

[startup+830.026 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 26257 0 0 0 82634 162 0 0 25 0 1 0 21246356 80252928 15920 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7231/statm): 19593 15920 364 364 0 19229 0
[pid=7231] vsize: 78372
Current children cumulated CPU time (s) 827.96
Current children cumulated vsize (Kb) 78372

[startup+840.027 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 26504 0 0 0 83628 165 0 0 25 0 1 0 21246356 80252928 15967 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7231/statm): 19593 15967 364 364 0 19229 0
[pid=7231] vsize: 78372
Current children cumulated CPU time (s) 837.93
Current children cumulated vsize (Kb) 78372

[startup+850.027 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 26575 0 0 0 84620 168 0 0 25 0 1 0 21246356 80252928 16038 4294967295 134512640 135987407 3221224560 3221223264 134790000 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7231/statm): 19593 16038 364 364 0 19229 0
[pid=7231] vsize: 78372
Current children cumulated CPU time (s) 847.88
Current children cumulated vsize (Kb) 78372

[startup+860.028 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 26646 0 0 0 85614 171 0 0 25 0 1 0 21246356 80252928 16109 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7231/statm): 19593 16109 364 364 0 19229 0
[pid=7231] vsize: 78372
Current children cumulated CPU time (s) 857.85
Current children cumulated vsize (Kb) 78372

[startup+870.028 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 26703 0 0 0 86607 173 0 0 25 0 1 0 21246356 80400384 16166 4294967295 134512640 135987407 3221224560 3221223232 134824720 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7231/statm): 19629 16166 364 364 0 19265 0
[pid=7231] vsize: 78516
Current children cumulated CPU time (s) 867.8
Current children cumulated vsize (Kb) 78516

[startup+880.028 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 26755 0 0 0 87598 177 0 0 25 0 1 0 21246356 80400384 16218 4294967295 134512640 135987407 3221224560 3221223176 134811683 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7231/statm): 19629 16218 364 364 0 19265 0
[pid=7231] vsize: 78516
Current children cumulated CPU time (s) 877.75
Current children cumulated vsize (Kb) 78516

[startup+890.028 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 26790 0 0 0 88591 180 0 0 25 0 1 0 21246356 80400384 16253 4294967295 134512640 135987407 3221224560 3221223104 134812005 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7231/statm): 19629 16253 364 364 0 19265 0
[pid=7231] vsize: 78516
Current children cumulated CPU time (s) 887.71
Current children cumulated vsize (Kb) 78516

[startup+900.028 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 26876 0 0 0 89582 184 0 0 25 0 1 0 21246356 80568320 16339 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7231/statm): 19670 16339 364 364 0 19306 0
[pid=7231] vsize: 78680
Current children cumulated CPU time (s) 897.66
Current children cumulated vsize (Kb) 78680

[startup+910.029 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 26987 0 0 0 90573 187 0 0 25 0 1 0 21246356 81092608 16417 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7231/statm): 19798 16417 364 364 0 19434 0
[pid=7231] vsize: 79192
Current children cumulated CPU time (s) 907.6
Current children cumulated vsize (Kb) 79192

[startup+920.029 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 27011 0 0 0 91566 189 0 0 25 0 1 0 21246356 81092608 16441 4294967295 134512640 135987407 3221224560 3221223280 134812626 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7231/statm): 19798 16441 364 364 0 19434 0
[pid=7231] vsize: 79192
Current children cumulated CPU time (s) 917.55
Current children cumulated vsize (Kb) 79192

[startup+930.029 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 27230 0 0 0 92559 192 0 0 25 0 1 0 21246356 81092608 16460 4294967295 134512640 135987407 3221224560 3221223104 134811940 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7231/statm): 19798 16460 364 364 0 19434 0
[pid=7231] vsize: 79192
Current children cumulated CPU time (s) 927.51
Current children cumulated vsize (Kb) 79192

[startup+940.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 27234 0 0 0 93551 195 0 0 25 0 1 0 21246356 81092608 16464 4294967295 134512640 135987407 3221224560 3221223104 134812046 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7231/statm): 19798 16464 364 364 0 19434 0
[pid=7231] vsize: 79192
Current children cumulated CPU time (s) 937.46
Current children cumulated vsize (Kb) 79192

[startup+950.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 27238 0 0 0 94543 197 0 0 25 0 1 0 21246356 81092608 16468 4294967295 134512640 135987407 3221224560 3221222992 134801596 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7231/statm): 19798 16468 364 364 0 19434 0
[pid=7231] vsize: 79192
Current children cumulated CPU time (s) 947.4
Current children cumulated vsize (Kb) 79192

[startup+960.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 27446 0 0 0 95538 199 0 0 25 0 1 0 21246356 81092608 16476 4294967295 134512640 135987407 3221224560 3221223104 134811835 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7231/statm): 19798 16476 364 364 0 19434 0
[pid=7231] vsize: 79192
Current children cumulated CPU time (s) 957.37
Current children cumulated vsize (Kb) 79192

[startup+970.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 27476 0 0 0 96528 203 0 0 25 0 1 0 21246356 81240064 16506 4294967295 134512640 135987407 3221224560 3221223232 134824256 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7231/statm): 19834 16506 364 364 0 19470 0
[pid=7231] vsize: 79336
Current children cumulated CPU time (s) 967.31
Current children cumulated vsize (Kb) 79336

[startup+980.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 27679 0 0 0 97522 205 0 0 25 0 1 0 21246356 81240064 16509 4294967295 134512640 135987407 3221224560 3221222976 134788429 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7231/statm): 19834 16509 364 364 0 19470 0
[pid=7231] vsize: 79336
Current children cumulated CPU time (s) 977.27
Current children cumulated vsize (Kb) 79336

[startup+990.031 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 27882 0 0 0 98517 207 0 0 25 0 1 0 21246356 81240064 16512 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7231/statm): 19834 16512 364 364 0 19470 0
[pid=7231] vsize: 79336
Current children cumulated CPU time (s) 987.24
Current children cumulated vsize (Kb) 79336

[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 27889 0 0 0 99512 208 0 0 25 0 1 0 21246356 81240064 16519 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7231/statm): 19834 16519 364 364 0 19470 0
[pid=7231] vsize: 79336
Current children cumulated CPU time (s) 997.2
Current children cumulated vsize (Kb) 79336

[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 27905 0 0 0 100507 211 0 0 25 0 1 0 21246356 81240064 16535 4294967295 134512640 135987407 3221224560 3221223104 134811773 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7231/statm): 19834 16535 364 364 0 19470 0
[pid=7231] vsize: 79336
Current children cumulated CPU time (s) 1007.18
Current children cumulated vsize (Kb) 79336

[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 28111 0 0 0 101503 213 0 0 25 0 1 0 21246356 81240064 16541 4294967295 134512640 135987407 3221224560 3221223264 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7231/statm): 19834 16541 364 364 0 19470 0
[pid=7231] vsize: 79336
Current children cumulated CPU time (s) 1017.16
Current children cumulated vsize (Kb) 79336

[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 28120 0 0 0 102498 215 0 0 25 0 1 0 21246356 81240064 16550 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7231/statm): 19834 16550 364 364 0 19470 0
[pid=7231] vsize: 79336
Current children cumulated CPU time (s) 1027.13
Current children cumulated vsize (Kb) 79336

[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 28157 0 0 0 103493 217 0 0 25 0 1 0 21246356 81379328 16587 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7231/statm): 19868 16587 364 364 0 19504 0
[pid=7231] vsize: 79472
Current children cumulated CPU time (s) 1037.1
Current children cumulated vsize (Kb) 79472

[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 28379 0 0 0 104489 219 0 0 25 0 1 0 21246356 81379328 16609 4294967295 134512640 135987407 3221224560 3221223200 134812365 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7231/statm): 19868 16609 364 364 0 19504 0
[pid=7231] vsize: 79472
Current children cumulated CPU time (s) 1047.08
Current children cumulated vsize (Kb) 79472

[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 28405 0 0 0 105486 220 0 0 25 0 1 0 21246356 81379328 16635 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7231/statm): 19868 16635 364 364 0 19504 0
[pid=7231] vsize: 79472
Current children cumulated CPU time (s) 1057.06
Current children cumulated vsize (Kb) 79472

[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 28632 0 0 0 106482 222 0 0 25 0 1 0 21246356 81379328 16662 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7231/statm): 19868 16662 364 364 0 19504 0
[pid=7231] vsize: 79472
Current children cumulated CPU time (s) 1067.04
Current children cumulated vsize (Kb) 79472

[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 28653 0 0 0 107479 223 0 0 25 0 1 0 21246356 81379328 16683 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7231/statm): 19868 16683 364 364 0 19504 0
[pid=7231] vsize: 79472
Current children cumulated CPU time (s) 1077.02
Current children cumulated vsize (Kb) 79472

[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 28669 0 0 0 108476 225 0 0 25 0 1 0 21246356 81379328 16699 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7231/statm): 19868 16699 364 364 0 19504 0
[pid=7231] vsize: 79472
Current children cumulated CPU time (s) 1087.01
Current children cumulated vsize (Kb) 79472

[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 28680 0 0 0 109473 226 0 0 25 0 1 0 21246356 81379328 16710 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7231/statm): 19868 16710 364 364 0 19504 0
[pid=7231] vsize: 79472
Current children cumulated CPU time (s) 1096.99
Current children cumulated vsize (Kb) 79472

[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 28690 0 0 0 110470 227 0 0 25 0 1 0 21246356 81379328 16720 4294967295 134512640 135987407 3221224560 3221223280 134812696 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7231/statm): 19868 16720 364 364 0 19504 0
[pid=7231] vsize: 79472
Current children cumulated CPU time (s) 1106.97
Current children cumulated vsize (Kb) 79472

[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 28919 0 0 0 111465 230 0 0 25 0 1 0 21246356 81379328 16749 4294967295 134512640 135987407 3221224560 3221223184 134812433 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7231/statm): 19868 16749 364 364 0 19504 0
[pid=7231] vsize: 79472
Current children cumulated CPU time (s) 1116.95
Current children cumulated vsize (Kb) 79472

[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 29009 0 0 0 112453 235 0 0 25 0 1 0 21246356 81379328 16839 4294967295 134512640 135987407 3221224560 3221223104 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7231/statm): 19868 16839 364 364 0 19504 0
[pid=7231] vsize: 79472
Current children cumulated CPU time (s) 1126.88
Current children cumulated vsize (Kb) 79472

[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 29084 0 0 0 113441 239 0 0 25 0 1 0 21246356 81563648 16914 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7231/statm): 19913 16914 364 364 0 19549 0
[pid=7231] vsize: 79652
Current children cumulated CPU time (s) 1136.8
Current children cumulated vsize (Kb) 79652

[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 29189 0 0 0 114431 242 0 0 25 0 1 0 21246356 81698816 17019 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7231/statm): 19946 17019 364 364 0 19582 0
[pid=7231] vsize: 79784
Current children cumulated CPU time (s) 1146.73
Current children cumulated vsize (Kb) 79784

[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 29243 0 0 0 115421 245 0 0 25 0 1 0 21246356 81698816 17073 4294967295 134512640 135987407 3221224560 3221223264 134790009 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7231/statm): 19946 17073 364 364 0 19582 0
[pid=7231] vsize: 79784
Current children cumulated CPU time (s) 1156.66
Current children cumulated vsize (Kb) 79784

[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 29320 0 0 0 116412 248 0 0 25 0 1 0 21246356 81698816 17150 4294967295 134512640 135987407 3221224560 3221223104 134812018 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7231/statm): 19946 17150 364 364 0 19582 0
[pid=7231] vsize: 79784
Current children cumulated CPU time (s) 1166.6
Current children cumulated vsize (Kb) 79784

[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 29384 0 0 0 117404 250 0 0 25 0 1 0 21246356 81698816 17214 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7231/statm): 19946 17214 364 364 0 19582 0
[pid=7231] vsize: 79784
Current children cumulated CPU time (s) 1176.54
Current children cumulated vsize (Kb) 79784

[startup+1190.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 29655 0 0 0 118397 252 0 0 25 0 1 0 21246356 81969152 17285 4294967295 134512640 135987407 3221224560 3221223104 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7231/statm): 20012 17285 364 364 0 19648 0
[pid=7231] vsize: 80048
Current children cumulated CPU time (s) 1186.49
Current children cumulated vsize (Kb) 80048

[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 29894 0 0 0 119387 256 0 0 25 0 1 0 21246356 82149376 17324 4294967295 134512640 135987407 3221224560 3221223056 134821307 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7231/statm): 20056 17324 364 364 0 19692 0
[pid=7231] vsize: 80224
Current children cumulated CPU time (s) 1196.43
Current children cumulated vsize (Kb) 80224

[startup+1210.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 30100 0 0 0 120378 260 0 0 25 0 1 0 21246356 82149376 17330 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7231/statm): 20056 17330 364 364 0 19692 0
[pid=7231] vsize: 80224
Current children cumulated CPU time (s) 1206.38
Current children cumulated vsize (Kb) 80224



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7231
Raw data (/proc/7231/stat): 7231 (pb2sat) R 7230 7231 4059 0 -1 0 30100 0 0 0 120378 260 0 0 25 0 1 0 21246356 82149376 17330 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7231/statm): 20056 17330 364 364 0 19692 0
[pid=7231] vsize: 80224
Current children cumulated CPU time (s) 1206.38
Current children cumulated vsize (Kb) 80224

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

Child status: 10
Real time (s): 1210.25
CPU time (s): 1206.59
CPU user time (s): 1203.95
CPU system time (s): 2.6426
CPU usage (%): 99.6978
Max. virtual memory (cumulated for all children) (Kb): 80224

Verifier Data

Verifier:	OK	0