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-1.opb
MD5SUM84d0b0ba659c599a6c66454cd956a06b
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 benchmark940.368
Number of variables450
Total number of constraints17827
Number of constraints which are clauses17827
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 9810

Launcher Data

LAUNCH ON wulflinc23 THE 2005-09-23 15:23:05 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8545 boxname=wulflinc23 idbench=341 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  84d0b0ba659c599a6c66454cd956a06b  /oldhome/oroussel/tmp/wulflinc23/normalized-frb30-15-1.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc23/normalized-frb30-15-1.opb
IDLAUNCH: 8545
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.185
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.185
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:        922224 kB
Buffers:         13884 kB
Cached:          80092 kB
SwapCached:          0 kB
Active:          59744 kB
Inactive:        37128 kB
HighTotal:      131008 kB
HighFree:        46620 kB
LowTotal:       903652 kB
LowFree:        875604 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6976 kB
Slab:             9900 kB
Committed_AS:    63656 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 15:43:15 (client local time) WITH STATUS 10 IN 1206.39 SECONDS
stats: 8545 0 1206.39 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: 40586/102388	Time: 29.1756/86400
c Decision: 44824/102388	Time: 120.608/86400
c [startup+267.216 s]  setting bit 8 to 0

c Decision: 19507/102388	Time: 140.88/86400
c Decision: 19507/102388	Time: 155.532/86400
c Decision: 19507/102388	Time: 170.855/86400
c Decision: 19508/102388	Time: 196.364/86400
c Decision: 19509/102388	Time: 211.909/86400
c Decision: 22839/102388	Time: 227.198/86400
c Decision: 22839/102388	Time: 240.637/86400
c Decision: 23419/102388	Time: 268.702/86400
c Decision: 23419/102388	Time: 281.901/86400
c Decision: 23419/102388	Time: 297.921/86400
c Decision: 23419/102388	Time: 314.739/86400
c Decision: 23419/102388	Time: 330.825/86400
c Decision: 24109/102388	Time: 357.066/86400
c [startup+678.838 s]  setting bit 7 to 0

c Decision: 46026/102388	Time: 78.0271/86400
c Decision: 46026/102388	Time: 87.6107/86400
c Decision: 46026/102388	Time: 96.7733/86400
c Decision: 46026/102388	Time: 103.504/86400
c Decision: 46026/102388	Time: 113.178/86400
c Decision: 46026/102388	Time: 122.704/86400
c Decision: 46026/102388	Time: 133.634/86400
c Decision: 46026/102388	Time: 142.196/86400
c Decision: 46026/102388	Time: 151.544/86400
c Decision: 46026/102388	Time: 163.051/86400
c Decision: 46026/102388	Time: 174.956/86400
c Decision: 46026/102388	Time: 188.482/86400
c Decision: 46026/102388	Time: 200.257/86400
c Decision: 46026/102388	Time: 212.619/86400
c Decision: 46026/102388	Time: 224.943/86400
c Decision: 46026/102388	Time: 239.558/86400
c Decision: 46026/102388	Time: 252.219/86400
c Decision: 46026/102388	Time: 266.305/86400
c Decision: 46026/102388	Time: 281.093/86400
c Decision: 46026/102388	Time: 297.233/86400
c Decision: 46026/102388	Time: 312.148/86400
c [startup+1043.23 s]  setting bit 6 to 0

c Decision: 43210/102388	Time: 86.3199/86400
c Decision: 43210/102388	Time: 94.9866/86400
c Decision: 43210/102388	Time: 103.133/86400
c Decision: 43210/102388	Time: 110.424/86400
c Decision: 43210/102388	Time: 117.175/86400
c Decision: 43210/102388	Time: 127.195/86400
c Decision: 43210/102388	Time: 135.652/86400
c Decision: 43210/102388	Time: 144.548/86400
c Decision: 43210/102388	Time: 153.868/86400
c Decision: 43210/102388	Time: 164.261/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/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 21232801 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7447/statm): 373 2 364 364 0 9 0
[pid=7447] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc23/normalized-frb30-15-1.opb

[startup+10.0011 s]
Raw data (loadavg): 0.92 0.95 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 16959 0 0 0 954 40 0 0 25 0 1 0 21232801 54140928 11201 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7447/statm): 13218 11201 364 364 0 12854 0
[pid=7447] vsize: 52872
Current children cumulated CPU time (s) 9.94
Current children cumulated vsize (Kb) 52872

[startup+20.0018 s]
Raw data (loadavg): 0.93 0.95 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 17537 0 0 0 1949 43 0 0 25 0 1 0 21232801 57294848 11746 4294967295 134512640 135987407 3221224560 3221223264 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7447/statm): 13988 11746 364 364 0 13624 0
[pid=7447] vsize: 55952
Current children cumulated CPU time (s) 19.92
Current children cumulated vsize (Kb) 55952

[startup+30.0024 s]
Raw data (loadavg): 0.94 0.95 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 17559 0 0 0 2946 44 0 0 25 0 1 0 21232801 57294848 11768 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7447/statm): 13988 11768 364 364 0 13624 0
[pid=7447] vsize: 55952
Current children cumulated CPU time (s) 29.9
Current children cumulated vsize (Kb) 55952

[startup+40.0021 s]
Raw data (loadavg): 0.95 0.96 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 18004 0 0 0 3941 46 0 0 25 0 1 0 21232801 58376192 11980 4294967295 134512640 135987407 3221224560 3221223264 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7447/statm): 14252 11980 364 364 0 13888 0
[pid=7447] vsize: 57008
Current children cumulated CPU time (s) 39.87
Current children cumulated vsize (Kb) 57008

[startup+50.0027 s]
Raw data (loadavg): 0.96 0.96 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 18047 0 0 0 4938 47 0 0 25 0 1 0 21232801 58376192 12023 4294967295 134512640 135987407 3221224560 3221223280 134812703 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7447/statm): 14252 12023 364 364 0 13888 0
[pid=7447] vsize: 57008
Current children cumulated CPU time (s) 49.85
Current children cumulated vsize (Kb) 57008

[startup+60.0023 s]
Raw data (loadavg): 0.96 0.96 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 18154 0 0 0 5933 50 0 0 25 0 1 0 21232801 58912768 12130 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7447/statm): 14383 12130 364 364 0 14019 0
[pid=7447] vsize: 57532
Current children cumulated CPU time (s) 59.83
Current children cumulated vsize (Kb) 57532

[startup+70.0029 s]
Raw data (loadavg): 0.97 0.96 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 18170 0 0 0 6930 51 0 0 25 0 1 0 21232801 58912768 12146 4294967295 134512640 135987407 3221224560 3221223104 134812002 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7447/statm): 14383 12146 364 364 0 14019 0
[pid=7447] vsize: 57532
Current children cumulated CPU time (s) 69.81
Current children cumulated vsize (Kb) 57532

[startup+80.0036 s]
Raw data (loadavg): 0.97 0.96 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 18242 0 0 0 7927 52 0 0 25 0 1 0 21232801 59043840 12185 4294967295 134512640 135987407 3221224560 3221223104 134811773 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7447/statm): 14415 12185 364 364 0 14051 0
[pid=7447] vsize: 57660
Current children cumulated CPU time (s) 79.79
Current children cumulated vsize (Kb) 57660

[startup+90.0032 s]
Raw data (loadavg): 0.98 0.96 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 18255 0 0 0 8924 53 0 0 25 0 1 0 21232801 59043840 12198 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7447/statm): 14415 12198 364 364 0 14051 0
[pid=7447] vsize: 57660
Current children cumulated CPU time (s) 89.77
Current children cumulated vsize (Kb) 57660

[startup+100.004 s]
Raw data (loadavg): 0.98 0.96 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 18268 0 0 0 9920 55 0 0 25 0 1 0 21232801 59043840 12211 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7447/statm): 14415 12211 364 364 0 14051 0
[pid=7447] vsize: 57660
Current children cumulated CPU time (s) 99.75
Current children cumulated vsize (Kb) 57660

[startup+110.004 s]
Raw data (loadavg): 0.98 0.96 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 18289 0 0 0 10918 55 0 0 25 0 1 0 21232801 59043840 12232 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7447/statm): 14415 12232 364 364 0 14051 0
[pid=7447] vsize: 57660
Current children cumulated CPU time (s) 109.73
Current children cumulated vsize (Kb) 57660

[startup+120.005 s]
Raw data (loadavg): 0.98 0.96 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 18305 0 0 0 11915 56 0 0 25 0 1 0 21232801 59043840 12248 4294967295 134512640 135987407 3221224560 3221223104 134811813 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7447/statm): 14415 12248 364 364 0 14051 0
[pid=7447] vsize: 57660
Current children cumulated CPU time (s) 119.71
Current children cumulated vsize (Kb) 57660

[startup+130.006 s]
Raw data (loadavg): 0.99 0.96 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 18544 0 0 0 12911 58 0 0 25 0 1 0 21232801 59179008 12287 4294967295 134512640 135987407 3221224560 3221223104 134811835 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7447/statm): 14448 12287 364 364 0 14084 0
[pid=7447] vsize: 57792
Current children cumulated CPU time (s) 129.69
Current children cumulated vsize (Kb) 57792

[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 18631 0 0 0 13908 59 0 0 25 0 1 0 21232801 59539456 12374 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7447/statm): 14536 12374 364 364 0 14172 0
[pid=7447] vsize: 58144
Current children cumulated CPU time (s) 139.67
Current children cumulated vsize (Kb) 58144

[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 18722 0 0 0 14903 60 0 0 25 0 1 0 21232801 60006400 12465 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7447/statm): 14650 12465 364 364 0 14286 0
[pid=7447] vsize: 58600
Current children cumulated CPU time (s) 149.63
Current children cumulated vsize (Kb) 58600

[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 18735 0 0 0 15902 61 0 0 25 0 1 0 21232801 60006400 12478 4294967295 134512640 135987407 3221224560 3221223104 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7447/statm): 14650 12478 364 364 0 14286 0
[pid=7447] vsize: 58600
Current children cumulated CPU time (s) 159.63
Current children cumulated vsize (Kb) 58600

[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 18747 0 0 0 16899 62 0 0 25 0 1 0 21232801 60006400 12490 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7447/statm): 14650 12490 364 364 0 14286 0
[pid=7447] vsize: 58600
Current children cumulated CPU time (s) 169.61
Current children cumulated vsize (Kb) 58600

[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 18764 0 0 0 17896 63 0 0 25 0 1 0 21232801 60006400 12507 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7447/statm): 14650 12507 364 364 0 14286 0
[pid=7447] vsize: 58600
Current children cumulated CPU time (s) 179.59
Current children cumulated vsize (Kb) 58600

[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 18802 0 0 0 18894 64 0 0 25 0 1 0 21232801 60006400 12545 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7447/statm): 14650 12545 364 364 0 14286 0
[pid=7447] vsize: 58600
Current children cumulated CPU time (s) 189.58
Current children cumulated vsize (Kb) 58600

[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 18817 0 0 0 19891 65 0 0 25 0 1 0 21232801 60006400 12560 4294967295 134512640 135987407 3221224560 3221222976 134788457 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7447/statm): 14650 12560 364 364 0 14286 0
[pid=7447] vsize: 58600
Current children cumulated CPU time (s) 199.56
Current children cumulated vsize (Kb) 58600

[startup+210.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 18829 0 0 0 20889 65 0 0 25 0 1 0 21232801 60006400 12572 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7447/statm): 14650 12572 364 364 0 14286 0
[pid=7447] vsize: 58600
Current children cumulated CPU time (s) 209.54
Current children cumulated vsize (Kb) 58600

[startup+220.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 18844 0 0 0 21887 66 0 0 25 0 1 0 21232801 60006400 12587 4294967295 134512640 135987407 3221224560 3221223280 134812696 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7447/statm): 14650 12587 364 364 0 14286 0
[pid=7447] vsize: 58600
Current children cumulated CPU time (s) 219.53
Current children cumulated vsize (Kb) 58600

[startup+230.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 18862 0 0 0 22884 68 0 0 25 0 1 0 21232801 60141568 12605 4294967295 134512640 135987407 3221224560 3221223196 134812407 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7447/statm): 14683 12605 364 364 0 14319 0
[pid=7447] vsize: 58732
Current children cumulated CPU time (s) 229.52
Current children cumulated vsize (Kb) 58732

[startup+240.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 18879 0 0 0 23882 69 0 0 25 0 1 0 21232801 60141568 12622 4294967295 134512640 135987407 3221224560 3221223104 134812005 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7447/statm): 14683 12622 364 364 0 14319 0
[pid=7447] vsize: 58732
Current children cumulated CPU time (s) 239.51
Current children cumulated vsize (Kb) 58732

[startup+250.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 18905 0 0 0 24879 69 0 0 25 0 1 0 21232801 60141568 12648 4294967295 134512640 135987407 3221224560 3221223228 134812450 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7447/statm): 14683 12648 364 364 0 14319 0
[pid=7447] vsize: 58732
Current children cumulated CPU time (s) 249.48
Current children cumulated vsize (Kb) 58732

[startup+260.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 18992 0 0 0 25876 71 0 0 25 0 1 0 21232801 60403712 12670 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7447/statm): 14747 12670 364 364 0 14383 0
[pid=7447] vsize: 58988
Current children cumulated CPU time (s) 259.47
Current children cumulated vsize (Kb) 58988

[startup+270.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 19248 0 0 0 26873 72 0 0 25 0 1 0 21232801 60403712 12726 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7447/statm): 14747 12726 364 364 0 14383 0
[pid=7447] vsize: 58988
Current children cumulated CPU time (s) 269.45
Current children cumulated vsize (Kb) 58988

[startup+280.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 19306 0 0 0 27868 74 0 0 25 0 1 0 21232801 60403712 12784 4294967295 134512640 135987407 3221224560 3221223264 134790000 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7447/statm): 14747 12784 364 364 0 14383 0
[pid=7447] vsize: 58988
Current children cumulated CPU time (s) 279.42
Current children cumulated vsize (Kb) 58988

[startup+290.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 19352 0 0 0 28864 76 0 0 25 0 1 0 21232801 60538880 12830 4294967295 134512640 135987407 3221224560 3221222992 135486760 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7447/statm): 14780 12830 364 364 0 14416 0
[pid=7447] vsize: 59120
Current children cumulated CPU time (s) 289.4
Current children cumulated vsize (Kb) 59120

[startup+300.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 19403 0 0 0 29860 78 0 0 25 0 1 0 21232801 60538880 12881 4294967295 134512640 135987407 3221224560 3221223104 134811735 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7447/statm): 14780 12881 364 364 0 14416 0
[pid=7447] vsize: 59120
Current children cumulated CPU time (s) 299.38
Current children cumulated vsize (Kb) 59120

[startup+310.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 19453 0 0 0 30855 80 0 0 25 0 1 0 21232801 60538880 12931 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7447/statm): 14780 12931 364 364 0 14416 0
[pid=7447] vsize: 59120
Current children cumulated CPU time (s) 309.35
Current children cumulated vsize (Kb) 59120

[startup+320.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 19514 0 0 0 31851 81 0 0 25 0 1 0 21232801 60674048 12992 4294967295 134512640 135987407 3221224560 3221223232 134824240 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7447/statm): 14813 12992 364 364 0 14449 0
[pid=7447] vsize: 59252
Current children cumulated CPU time (s) 319.32
Current children cumulated vsize (Kb) 59252

[startup+330.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 19594 0 0 0 32846 83 0 0 25 0 1 0 21232801 60866560 13072 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7447/statm): 14860 13072 364 364 0 14496 0
[pid=7447] vsize: 59440
Current children cumulated CPU time (s) 329.29
Current children cumulated vsize (Kb) 59440

[startup+340.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 19646 0 0 0 33840 85 0 0 25 0 1 0 21232801 60866560 13124 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7447/statm): 14860 13124 364 364 0 14496 0
[pid=7447] vsize: 59440
Current children cumulated CPU time (s) 339.25
Current children cumulated vsize (Kb) 59440

[startup+350.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 19694 0 0 0 34835 87 0 0 25 0 1 0 21232801 69255168 13172 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7447/statm): 16908 13172 364 364 0 16544 0
[pid=7447] vsize: 67632
Current children cumulated CPU time (s) 349.22
Current children cumulated vsize (Kb) 67632

[startup+360.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 19749 0 0 0 35830 89 0 0 25 0 1 0 21232801 69255168 13227 4294967295 134512640 135987407 3221224560 3221223264 134790054 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7447/statm): 16908 13227 364 364 0 16544 0
[pid=7447] vsize: 67632
Current children cumulated CPU time (s) 359.19
Current children cumulated vsize (Kb) 67632

[startup+370.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 19840 0 0 0 36826 91 0 0 25 0 1 0 21232801 69554176 13318 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7447/statm): 16981 13318 364 364 0 16617 0
[pid=7447] vsize: 67924
Current children cumulated CPU time (s) 369.17
Current children cumulated vsize (Kb) 67924

[startup+380.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 19892 0 0 0 37821 93 0 0 25 0 1 0 21232801 69554176 13370 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7447/statm): 16981 13370 364 364 0 16617 0
[pid=7447] vsize: 67924
Current children cumulated CPU time (s) 379.14
Current children cumulated vsize (Kb) 67924

[startup+390.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 19942 0 0 0 38817 95 0 0 25 0 1 0 21232801 69693440 13420 4294967295 134512640 135987407 3221224560 3221223168 134801140 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7447/statm): 17015 13420 364 364 0 16651 0
[pid=7447] vsize: 68060
Current children cumulated CPU time (s) 389.12
Current children cumulated vsize (Kb) 68060

[startup+400.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 19988 0 0 0 39813 96 0 0 25 0 1 0 21232801 69693440 13466 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7447/statm): 17015 13466 364 364 0 16651 0
[pid=7447] vsize: 68060
Current children cumulated CPU time (s) 399.09
Current children cumulated vsize (Kb) 68060

[startup+410.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 20255 0 0 0 40808 99 0 0 25 0 1 0 21232801 69832704 13533 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7447/statm): 17049 13533 364 364 0 16685 0
[pid=7447] vsize: 68196
Current children cumulated CPU time (s) 409.07
Current children cumulated vsize (Kb) 68196

[startup+420.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 20286 0 0 0 41803 100 0 0 25 0 1 0 21232801 69971968 13564 4294967295 134512640 135987407 3221224560 3221223168 134801205 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7447/statm): 17083 13564 364 364 0 16719 0
[pid=7447] vsize: 68332
Current children cumulated CPU time (s) 419.03
Current children cumulated vsize (Kb) 68332

[startup+430.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 20509 0 0 0 42798 102 0 0 25 0 1 0 21232801 70107136 13587 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7447/statm): 17116 13587 364 364 0 16752 0
[pid=7447] vsize: 68464
Current children cumulated CPU time (s) 429
Current children cumulated vsize (Kb) 68464

[startup+440.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 20753 0 0 0 43793 104 0 0 25 0 1 0 21232801 70107136 13631 4294967295 134512640 135987407 3221224560 3221223104 134811822 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7447/statm): 17116 13631 364 364 0 16752 0
[pid=7447] vsize: 68464
Current children cumulated CPU time (s) 438.97
Current children cumulated vsize (Kb) 68464

[startup+450.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 20807 0 0 0 44789 106 0 0 25 0 1 0 21232801 70250496 13685 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7447/statm): 17151 13685 364 364 0 16787 0
[pid=7447] vsize: 68604
Current children cumulated CPU time (s) 448.95
Current children cumulated vsize (Kb) 68604

[startup+460.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 20861 0 0 0 45784 108 0 0 25 0 1 0 21232801 70389760 13739 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7447/statm): 17185 13739 364 364 0 16821 0
[pid=7447] vsize: 68740
Current children cumulated CPU time (s) 458.92
Current children cumulated vsize (Kb) 68740

[startup+470.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 21105 0 0 0 46781 109 0 0 25 0 1 0 21232801 70389760 13783 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7447/statm): 17185 13783 364 364 0 16821 0
[pid=7447] vsize: 68740
Current children cumulated CPU time (s) 468.9
Current children cumulated vsize (Kb) 68740

[startup+480.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 21342 0 0 0 47777 111 0 0 25 0 1 0 21232801 70389760 13820 4294967295 134512640 135987407 3221224560 3221223104 134811972 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7447/statm): 17185 13820 364 364 0 16821 0
[pid=7447] vsize: 68740
Current children cumulated CPU time (s) 478.88
Current children cumulated vsize (Kb) 68740

[startup+490.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 21384 0 0 0 48771 113 0 0 25 0 1 0 21232801 70524928 13862 4294967295 134512640 135987407 3221224560 3221223104 134811813 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7447/statm): 17218 13862 364 364 0 16854 0
[pid=7447] vsize: 68872
Current children cumulated CPU time (s) 488.84
Current children cumulated vsize (Kb) 68872

[startup+500.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 21617 0 0 0 49766 115 0 0 25 0 1 0 21232801 70524928 13895 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7447/statm): 17218 13895 364 364 0 16854 0
[pid=7447] vsize: 68872
Current children cumulated CPU time (s) 498.81
Current children cumulated vsize (Kb) 68872

[startup+510.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 21830 0 0 0 50761 117 0 0 25 0 1 0 21232801 70524928 13908 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7447/statm): 17218 13908 364 364 0 16854 0
[pid=7447] vsize: 68872
Current children cumulated CPU time (s) 508.78
Current children cumulated vsize (Kb) 68872

[startup+520.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 21842 0 0 0 51757 119 0 0 25 0 1 0 21232801 70660096 13920 4294967295 134512640 135987407 3221224560 3221223264 134789987 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7447/statm): 17251 13920 364 364 0 16887 0
[pid=7447] vsize: 69004
Current children cumulated CPU time (s) 518.76
Current children cumulated vsize (Kb) 69004

[startup+530.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 21852 0 0 0 52753 121 0 0 25 0 1 0 21232801 70660096 13930 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7447/statm): 17251 13930 364 364 0 16887 0
[pid=7447] vsize: 69004
Current children cumulated CPU time (s) 528.74
Current children cumulated vsize (Kb) 69004

[startup+540.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 22143 0 0 0 53747 123 0 0 25 0 1 0 21232801 71102464 14021 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7447/statm): 17359 14021 364 364 0 16995 0
[pid=7447] vsize: 69436
Current children cumulated CPU time (s) 538.7
Current children cumulated vsize (Kb) 69436

[startup+550.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 22346 0 0 0 54741 125 0 0 25 0 1 0 21232801 71102464 14024 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7447/statm): 17359 14024 364 364 0 16995 0
[pid=7447] vsize: 69436
Current children cumulated CPU time (s) 548.66
Current children cumulated vsize (Kb) 69436

[startup+560.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 22349 0 0 0 55737 127 0 0 25 0 1 0 21232801 71102464 14027 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7447/statm): 17359 14027 364 364 0 16995 0
[pid=7447] vsize: 69436
Current children cumulated CPU time (s) 558.64
Current children cumulated vsize (Kb) 69436

[startup+570.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 22563 0 0 0 56734 129 0 0 25 0 1 0 21232801 71102464 14041 4294967295 134512640 135987407 3221224560 3221222992 134788754 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7447/statm): 17359 14041 364 364 0 16995 0
[pid=7447] vsize: 69436
Current children cumulated CPU time (s) 568.63
Current children cumulated vsize (Kb) 69436

[startup+580.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 22571 0 0 0 57730 130 0 0 25 0 1 0 21232801 71102464 14049 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7447/statm): 17359 14049 364 364 0 16995 0
[pid=7447] vsize: 69436
Current children cumulated CPU time (s) 578.6
Current children cumulated vsize (Kb) 69436

[startup+590.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 22775 0 0 0 58727 131 0 0 25 0 1 0 21232801 71102464 14053 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7447/statm): 17359 14053 364 364 0 16995 0
[pid=7447] vsize: 69436
Current children cumulated CPU time (s) 588.58
Current children cumulated vsize (Kb) 69436

[startup+600.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 22986 0 0 0 59722 133 0 0 25 0 1 0 21232801 71237632 14064 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7447/statm): 17392 14064 364 364 0 17028 0
[pid=7447] vsize: 69568
Current children cumulated CPU time (s) 598.55
Current children cumulated vsize (Kb) 69568

[startup+610.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 22991 0 0 0 60718 135 0 0 25 0 1 0 21232801 71237632 14069 4294967295 134512640 135987407 3221224560 3221223104 134811992 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7447/statm): 17392 14069 364 364 0 17028 0
[pid=7447] vsize: 69568
Current children cumulated CPU time (s) 608.53
Current children cumulated vsize (Kb) 69568

[startup+620.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 22996 0 0 0 61714 137 0 0 25 0 1 0 21232801 71237632 14074 4294967295 134512640 135987407 3221224560 3221223104 134811966 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7447/statm): 17392 14074 364 364 0 17028 0
[pid=7447] vsize: 69568
Current children cumulated CPU time (s) 618.51
Current children cumulated vsize (Kb) 69568

[startup+630.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 23213 0 0 0 62709 138 0 0 25 0 1 0 21232801 71237632 14091 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7447/statm): 17392 14091 364 364 0 17028 0
[pid=7447] vsize: 69568
Current children cumulated CPU time (s) 628.47
Current children cumulated vsize (Kb) 69568

[startup+640.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 23220 0 0 0 63706 139 0 0 25 0 1 0 21232801 71237632 14098 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7447/statm): 17392 14098 364 364 0 17028 0
[pid=7447] vsize: 69568
Current children cumulated CPU time (s) 638.45
Current children cumulated vsize (Kb) 69568

[startup+650.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 23236 0 0 0 64703 141 0 0 25 0 1 0 21232801 71237632 14114 4294967295 134512640 135987407 3221224560 3221223280 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7447/statm): 17392 14114 364 364 0 17028 0
[pid=7447] vsize: 69568
Current children cumulated CPU time (s) 648.44
Current children cumulated vsize (Kb) 69568

[startup+660.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 23240 0 0 0 65699 142 0 0 25 0 1 0 21232801 71372800 14118 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7447/statm): 17425 14118 364 364 0 17061 0
[pid=7447] vsize: 69700
Current children cumulated CPU time (s) 658.41
Current children cumulated vsize (Kb) 69700

[startup+670.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 23246 0 0 0 66694 143 0 0 25 0 1 0 21232801 71372800 14124 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7447/statm): 17425 14124 364 364 0 17061 0
[pid=7447] vsize: 69700
Current children cumulated CPU time (s) 668.37
Current children cumulated vsize (Kb) 69700

[startup+680.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 23451 0 0 0 67690 146 0 0 25 0 1 0 21232801 71372800 14129 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7447/statm): 17425 14129 364 364 0 17061 0
[pid=7447] vsize: 69700
Current children cumulated CPU time (s) 678.36
Current children cumulated vsize (Kb) 69700

[startup+690.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 23470 0 0 0 68680 149 0 0 25 0 1 0 21232801 71372800 14148 4294967295 134512640 135987407 3221224560 3221223104 134811972 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7447/statm): 17425 14148 364 364 0 17061 0
[pid=7447] vsize: 69700
Current children cumulated CPU time (s) 688.29
Current children cumulated vsize (Kb) 69700

[startup+700.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 23532 0 0 0 69671 152 0 0 25 0 1 0 21232801 71684096 14210 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7447/statm): 17501 14210 364 364 0 17137 0
[pid=7447] vsize: 70004
Current children cumulated CPU time (s) 698.23
Current children cumulated vsize (Kb) 70004

[startup+710.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 23580 0 0 0 70665 154 0 0 25 0 1 0 21232801 71684096 14258 4294967295 134512640 135987407 3221224560 3221223104 134812033 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7447/statm): 17501 14258 364 364 0 17137 0
[pid=7447] vsize: 70004
Current children cumulated CPU time (s) 708.19
Current children cumulated vsize (Kb) 70004

[startup+720.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 23620 0 0 0 71658 157 0 0 25 0 1 0 21232801 71684096 14298 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7447/statm): 17501 14298 364 364 0 17137 0
[pid=7447] vsize: 70004
Current children cumulated CPU time (s) 718.15
Current children cumulated vsize (Kb) 70004

[startup+730.024 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 23667 0 0 0 72650 160 0 0 25 0 1 0 21232801 71684096 14345 4294967295 134512640 135987407 3221224560 3221223236 134812452 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7447/statm): 17501 14345 364 364 0 17137 0
[pid=7447] vsize: 70004
Current children cumulated CPU time (s) 728.1
Current children cumulated vsize (Kb) 70004

[startup+740.024 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 23802 0 0 0 73643 163 0 0 25 0 1 0 21232801 72142848 14480 4294967295 134512640 135987407 3221224560 3221223264 134790060 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7447/statm): 17613 14480 364 364 0 17249 0
[pid=7447] vsize: 70452
Current children cumulated CPU time (s) 738.06
Current children cumulated vsize (Kb) 70452

[startup+750.024 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 23847 0 0 0 74637 165 0 0 25 0 1 0 21232801 72142848 14525 4294967295 134512640 135987407 3221224560 3221223264 134790062 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7447/statm): 17613 14525 364 364 0 17249 0
[pid=7447] vsize: 70452
Current children cumulated CPU time (s) 748.02
Current children cumulated vsize (Kb) 70452

[startup+760.025 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 24109 0 0 0 75628 169 0 0 25 0 1 0 21232801 72278016 14587 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7447/statm): 17646 14587 364 364 0 17282 0
[pid=7447] vsize: 70584
Current children cumulated CPU time (s) 757.97
Current children cumulated vsize (Kb) 70584

[startup+770.025 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 24321 0 0 0 76620 173 0 0 25 0 1 0 21232801 72278016 14599 4294967295 134512640 135987407 3221224560 3221223104 134812028 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7447/statm): 17646 14599 364 364 0 17282 0
[pid=7447] vsize: 70584
Current children cumulated CPU time (s) 767.93
Current children cumulated vsize (Kb) 70584

[startup+780.025 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 24535 0 0 0 77611 176 0 0 25 0 1 0 21232801 72278016 14613 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7447/statm): 17646 14613 364 364 0 17282 0
[pid=7447] vsize: 70584
Current children cumulated CPU time (s) 777.87
Current children cumulated vsize (Kb) 70584

[startup+790.025 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 24744 0 0 0 78602 179 0 0 25 0 1 0 21232801 72278016 14622 4294967295 134512640 135987407 3221224560 3221223264 134789997 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7447/statm): 17646 14622 364 364 0 17282 0
[pid=7447] vsize: 70584
Current children cumulated CPU time (s) 787.81
Current children cumulated vsize (Kb) 70584

[startup+800.025 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 24759 0 0 0 79594 181 0 0 25 0 1 0 21232801 72413184 14637 4294967295 134512640 135987407 3221224560 3221223104 134811885 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7447/statm): 17679 14637 364 364 0 17315 0
[pid=7447] vsize: 70716
Current children cumulated CPU time (s) 797.75
Current children cumulated vsize (Kb) 70716

[startup+810.025 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 24977 0 0 0 80588 184 0 0 25 0 1 0 21232801 72413184 14655 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7447/statm): 17679 14655 364 364 0 17315 0
[pid=7447] vsize: 70716
Current children cumulated CPU time (s) 807.72
Current children cumulated vsize (Kb) 70716

[startup+820.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 25182 0 0 0 81579 187 0 0 25 0 1 0 21232801 72413184 14660 4294967295 134512640 135987407 3221224560 3221223104 134788674 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7447/statm): 17679 14660 364 364 0 17315 0
[pid=7447] vsize: 70716
Current children cumulated CPU time (s) 817.66
Current children cumulated vsize (Kb) 70716

[startup+830.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 25408 0 0 0 82572 191 0 0 25 0 1 0 21232801 72548352 14686 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7447/statm): 17712 14686 364 364 0 17348 0
[pid=7447] vsize: 70848
Current children cumulated CPU time (s) 827.63
Current children cumulated vsize (Kb) 70848

[startup+840.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 25653 0 0 0 83566 193 0 0 25 0 1 0 21232801 72548352 14731 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7447/statm): 17712 14731 364 364 0 17348 0
[pid=7447] vsize: 70848
Current children cumulated CPU time (s) 837.59
Current children cumulated vsize (Kb) 70848

[startup+850.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 25892 0 0 0 84560 196 0 0 25 0 1 0 21232801 72548352 14770 4294967295 134512640 135987407 3221224560 3221223280 134812696 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7447/statm): 17712 14770 364 364 0 17348 0
[pid=7447] vsize: 70848
Current children cumulated CPU time (s) 847.56
Current children cumulated vsize (Kb) 70848

[startup+860.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 26128 0 0 0 85555 198 0 0 25 0 1 0 21232801 72548352 14806 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7447/statm): 17712 14806 364 364 0 17348 0
[pid=7447] vsize: 70848
Current children cumulated CPU time (s) 857.53
Current children cumulated vsize (Kb) 70848

[startup+870.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 26364 0 0 0 86550 201 0 0 25 0 1 0 21232801 72548352 14842 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7447/statm): 17712 14842 364 364 0 17348 0
[pid=7447] vsize: 70848
Current children cumulated CPU time (s) 867.51
Current children cumulated vsize (Kb) 70848

[startup+880.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 26601 0 0 0 87545 203 0 0 25 0 1 0 21232801 72695808 14879 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7447/statm): 17748 14879 364 364 0 17384 0
[pid=7447] vsize: 70992
Current children cumulated CPU time (s) 877.48
Current children cumulated vsize (Kb) 70992

[startup+890.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 26640 0 0 0 88540 205 0 0 25 0 1 0 21232801 72695808 14918 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7447/statm): 17748 14918 364 364 0 17384 0
[pid=7447] vsize: 70992
Current children cumulated CPU time (s) 887.45
Current children cumulated vsize (Kb) 70992

[startup+900.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 26882 0 0 0 89535 207 0 0 25 0 1 0 21232801 72695808 14960 4294967295 134512640 135987407 3221224560 3221222928 134850591 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7447/statm): 17748 14960 364 364 0 17384 0
[pid=7447] vsize: 70992
Current children cumulated CPU time (s) 897.42
Current children cumulated vsize (Kb) 70992

[startup+910.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 27123 0 0 0 90529 210 0 0 25 0 1 0 21232801 72695808 15001 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7447/statm): 17748 15001 364 364 0 17384 0
[pid=7447] vsize: 70992
Current children cumulated CPU time (s) 907.39
Current children cumulated vsize (Kb) 70992

[startup+920.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 27347 0 0 0 91524 212 0 0 25 0 1 0 21232801 72830976 15025 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7447/statm): 17781 15025 364 364 0 17417 0
[pid=7447] vsize: 71124
Current children cumulated CPU time (s) 917.36
Current children cumulated vsize (Kb) 71124

[startup+930.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 27358 0 0 0 92518 215 0 0 25 0 1 0 21232801 72830976 15036 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7447/statm): 17781 15036 364 364 0 17417 0
[pid=7447] vsize: 71124
Current children cumulated CPU time (s) 927.33
Current children cumulated vsize (Kb) 71124

[startup+940.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 27572 0 0 0 93513 217 0 0 25 0 1 0 21232801 72830976 15050 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7447/statm): 17781 15050 364 364 0 17417 0
[pid=7447] vsize: 71124
Current children cumulated CPU time (s) 937.3
Current children cumulated vsize (Kb) 71124

[startup+950.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 27791 0 0 0 94506 219 0 0 25 0 1 0 21232801 72970240 15069 4294967295 134512640 135987407 3221224560 3221223104 134812028 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7447/statm): 17815 15069 364 364 0 17451 0
[pid=7447] vsize: 71260
Current children cumulated CPU time (s) 947.25
Current children cumulated vsize (Kb) 71260

[startup+960.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 27801 0 0 0 95501 221 0 0 25 0 1 0 21232801 72970240 15079 4294967295 134512640 135987407 3221224560 3221223264 134790054 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7447/statm): 17815 15079 364 364 0 17451 0
[pid=7447] vsize: 71260
Current children cumulated CPU time (s) 957.22
Current children cumulated vsize (Kb) 71260

[startup+970.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 28007 0 0 0 96497 223 0 0 25 0 1 0 21232801 72970240 15085 4294967295 134512640 135987407 3221224560 3221223216 134824173 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7447/statm): 17815 15085 364 364 0 17451 0
[pid=7447] vsize: 71260
Current children cumulated CPU time (s) 967.2
Current children cumulated vsize (Kb) 71260

[startup+980.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 28213 0 0 0 97493 225 0 0 25 0 1 0 21232801 72970240 15091 4294967295 134512640 135987407 3221224560 3221223232 134824261 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7447/statm): 17815 15091 364 364 0 17451 0
[pid=7447] vsize: 71260
Current children cumulated CPU time (s) 977.18
Current children cumulated vsize (Kb) 71260

[startup+990.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 28224 0 0 0 98488 226 0 0 25 0 1 0 21232801 72970240 15102 4294967295 134512640 135987407 3221224560 3221223104 134811807 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7447/statm): 17815 15102 364 364 0 17451 0
[pid=7447] vsize: 71260
Current children cumulated CPU time (s) 987.14
Current children cumulated vsize (Kb) 71260

[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 28435 0 0 0 99484 228 0 0 25 0 1 0 21232801 72970240 15113 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7447/statm): 17815 15113 364 364 0 17451 0
[pid=7447] vsize: 71260
Current children cumulated CPU time (s) 997.12
Current children cumulated vsize (Kb) 71260

[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 28442 0 0 0 100479 230 0 0 25 0 1 0 21232801 73117696 15120 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7447/statm): 17851 15120 364 364 0 17487 0
[pid=7447] vsize: 71404
Current children cumulated CPU time (s) 1007.09
Current children cumulated vsize (Kb) 71404

[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 28457 0 0 0 101475 233 0 0 25 0 1 0 21232801 73117696 15135 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7447/statm): 17851 15135 364 364 0 17487 0
[pid=7447] vsize: 71404
Current children cumulated CPU time (s) 1017.08
Current children cumulated vsize (Kb) 71404

[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 28470 0 0 0 102471 234 0 0 25 0 1 0 21232801 73117696 15148 4294967295 134512640 135987407 3221224560 3221223232 134824240 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7447/statm): 17851 15148 364 364 0 17487 0
[pid=7447] vsize: 71404
Current children cumulated CPU time (s) 1027.05
Current children cumulated vsize (Kb) 71404

[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 28476 0 0 0 103467 235 0 0 25 0 1 0 21232801 73117696 15154 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7447/statm): 17851 15154 364 364 0 17487 0
[pid=7447] vsize: 71404
Current children cumulated CPU time (s) 1037.02
Current children cumulated vsize (Kb) 71404

[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 28717 0 0 0 104458 239 0 0 25 0 1 0 21232801 73117696 15195 4294967295 134512640 135987407 3221224560 3221223104 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7447/statm): 17851 15195 364 364 0 17487 0
[pid=7447] vsize: 71404
Current children cumulated CPU time (s) 1046.97
Current children cumulated vsize (Kb) 71404

[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 28808 0 0 0 105449 243 0 0 25 0 1 0 21232801 73117696 15286 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7447/statm): 17851 15286 364 364 0 17487 0
[pid=7447] vsize: 71404
Current children cumulated CPU time (s) 1056.92
Current children cumulated vsize (Kb) 71404

[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 28888 0 0 0 106441 246 0 0 25 0 1 0 21232801 73252864 15366 4294967295 134512640 135987407 3221224560 3221223104 134812002 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7447/statm): 17884 15366 364 364 0 17520 0
[pid=7447] vsize: 71536
Current children cumulated CPU time (s) 1066.87
Current children cumulated vsize (Kb) 71536

[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 28952 0 0 0 107434 249 0 0 25 0 1 0 21232801 73252864 15430 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7447/statm): 17884 15430 364 364 0 17520 0
[pid=7447] vsize: 71536
Current children cumulated CPU time (s) 1076.83
Current children cumulated vsize (Kb) 71536

[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 29056 0 0 0 108426 252 0 0 25 0 1 0 21232801 73388032 15534 4294967295 134512640 135987407 3221224560 3221223280 134812597 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7447/statm): 17917 15534 364 364 0 17553 0
[pid=7447] vsize: 71668
Current children cumulated CPU time (s) 1086.78
Current children cumulated vsize (Kb) 71668

[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 29162 0 0 0 109416 255 0 0 25 0 1 0 21232801 73527296 15640 4294967295 134512640 135987407 3221224560 3221223104 134811972 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7447/statm): 17951 15640 364 364 0 17587 0
[pid=7447] vsize: 71804
Current children cumulated CPU time (s) 1096.71
Current children cumulated vsize (Kb) 71804

[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 29250 0 0 0 110411 257 0 0 25 0 1 0 21232801 73527296 15728 4294967295 134512640 135987407 3221224560 3221223104 134811829 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7447/statm): 17951 15728 364 364 0 17587 0
[pid=7447] vsize: 71804
Current children cumulated CPU time (s) 1106.68
Current children cumulated vsize (Kb) 71804

[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 29321 0 0 0 111403 259 0 0 25 0 1 0 21232801 73674752 15799 4294967295 134512640 135987407 3221224560 3221223104 134811807 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7447/statm): 17987 15799 364 364 0 17623 0
[pid=7447] vsize: 71948
Current children cumulated CPU time (s) 1116.62
Current children cumulated vsize (Kb) 71948

[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 29594 0 0 0 112397 262 0 0 25 0 1 0 21232801 73674752 15872 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7447/statm): 17987 15872 364 364 0 17623 0
[pid=7447] vsize: 71948
Current children cumulated CPU time (s) 1126.59
Current children cumulated vsize (Kb) 71948

[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 29890 0 0 0 113387 266 0 0 25 0 1 0 21232801 73674752 15968 4294967295 134512640 135987407 3221224560 3221222992 134788831 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7447/statm): 17987 15968 364 364 0 17623 0
[pid=7447] vsize: 71948
Current children cumulated CPU time (s) 1136.53
Current children cumulated vsize (Kb) 71948

[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 30145 0 0 0 114378 270 0 0 25 0 1 0 21232801 73818112 16023 4294967295 134512640 135987407 3221224560 3221223232 134816898 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7447/statm): 18022 16023 364 364 0 17658 0
[pid=7447] vsize: 72088
Current children cumulated CPU time (s) 1146.48
Current children cumulated vsize (Kb) 72088

[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 30226 0 0 0 115369 274 0 0 25 0 1 0 21232801 73818112 16104 4294967295 134512640 135987407 3221224560 3221223264 134790062 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7447/statm): 18022 16104 364 364 0 17658 0
[pid=7447] vsize: 72088
Current children cumulated CPU time (s) 1156.43
Current children cumulated vsize (Kb) 72088

[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 30331 0 0 0 116361 277 0 0 25 0 1 0 21232801 74223616 16209 4294967295 134512640 135987407 3221224560 3221223136 134813813 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7447/statm): 18121 16209 364 364 0 17757 0
[pid=7447] vsize: 72484
Current children cumulated CPU time (s) 1166.38
Current children cumulated vsize (Kb) 72484

[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 30591 0 0 0 117353 280 0 0 25 0 1 0 21232801 74358784 16269 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7447/statm): 18154 16269 364 364 0 17790 0
[pid=7447] vsize: 72616
Current children cumulated CPU time (s) 1176.33
Current children cumulated vsize (Kb) 72616

[startup+1190.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 30850 0 0 0 118345 283 0 0 25 0 1 0 21232801 74358784 16328 4294967295 134512640 135987407 3221224560 3221223264 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7447/statm): 18154 16328 364 364 0 17790 0
[pid=7447] vsize: 72616
Current children cumulated CPU time (s) 1186.28
Current children cumulated vsize (Kb) 72616

[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 31105 0 0 0 119335 287 0 0 25 0 1 0 21232801 74358784 16383 4294967295 134512640 135987407 3221224560 3221223104 134811816 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7447/statm): 18154 16383 364 364 0 17790 0
[pid=7447] vsize: 72616
Current children cumulated CPU time (s) 1196.22
Current children cumulated vsize (Kb) 72616

[startup+1210.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 31335 0 0 0 120329 290 0 0 25 0 1 0 21232801 74358784 16413 4294967295 134512640 135987407 3221224560 3221223104 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7447/statm): 18154 16413 364 364 0 17790 0
[pid=7447] vsize: 72616
Current children cumulated CPU time (s) 1206.19
Current children cumulated vsize (Kb) 72616



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7447
Raw data (/proc/7447/stat): 7447 (pb2sat) R 7446 7447 4060 0 -1 0 31335 0 0 0 120329 290 0 0 25 0 1 0 21232801 74358784 16413 4294967295 134512640 135987407 3221224560 3221223104 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7447/statm): 18154 16413 364 364 0 17790 0
[pid=7447] vsize: 72616
Current children cumulated CPU time (s) 1206.19
Current children cumulated vsize (Kb) 72616

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

Child status: 10
Real time (s): 1210.25
CPU time (s): 1206.39
CPU user time (s): 1203.46
CPU system time (s): 2.93455
CPU usage (%): 99.6816
Max. virtual memory (cumulated for all children) (Kb): 72616

Verifier Data

Verifier:	OK	0