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-2.opb
MD5SUM25130921f4384cc034832ca1cd52ec48
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 benchmark777.415
Number of variables450
Total number of constraints17874
Number of constraints which are clauses17874
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 9811

Launcher Data

LAUNCH ON wulflinc30 THE 2005-09-23 15:23:20 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8546 boxname=wulflinc30 idbench=342 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  25130921f4384cc034832ca1cd52ec48  /oldhome/oroussel/tmp/wulflinc30/normalized-frb30-15-2.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc30/normalized-frb30-15-2.opb
IDLAUNCH: 8546
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.161
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.161
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:        942420 kB
Buffers:         11604 kB
Cached:          63400 kB
SwapCached:          0 kB
Active:          42944 kB
Inactive:        34948 kB
HighTotal:      131008 kB
HighFree:        63504 kB
LowTotal:       903652 kB
LowFree:        878916 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6972 kB
Slab:             8692 kB
Committed_AS:    63620 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 15:43:30 (client local time) WITH STATUS 10 IN 1207.02 SECONDS
stats: 8546 0 1207.02 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: 33884/102388	Time: 19.0131/86400
c Decision: 34119/102388	Time: 44.5552/86400
c Decision: 34119/102388	Time: 65.2271/86400
c Decision: 34377/102388	Time: 109.208/86400
c Decision: 35073/102388	Time: 148.713/86400
c [startup+421.025 s]  setting bit 8 to 0

c Decision: 12257/102388	Time: 76.6323/86400
c Decision: 12761/102388	Time: 93.3288/86400
c Decision: 12761/102388	Time: 107.367/86400
c Decision: 12761/102388	Time: 120.794/86400
c Decision: 12761/102388	Time: 134.275/86400
c Decision: 12761/102388	Time: 149.484/86400
c Decision: 12761/102388	Time: 162.79/86400
c Decision: 12761/102388	Time: 179.364/86400
c Decision: 12761/102388	Time: 194.53/86400
c Decision: 14250/102388	Time: 209.852/86400
c Decision: 15387/102388	Time: 235.934/86400
c Decision: 15387/102388	Time: 250.633/86400
c Decision: 17950/102388	Time: 270.07/86400
c Decision: 17993/102388	Time: 284.964/86400
c Decision: 17993/102388	Time: 297.802/86400
c Decision: 18046/102388	Time: 321.453/86400
c Decision: 18046/102388	Time: 336.649/86400
c Decision: 18046/102388	Time: 352.182/86400
c Decision: 18046/102388	Time: 368.964/86400
c Decision: 18046/102388	Time: 386.019/86400
c Decision: 20147/102388	Time: 415.769/86400
c Decision: 20345/102388	Time: 450.594/86400
c [startup+911.37 s]  setting bit 7 to 0

c Decision: 25933/102388	Time: 74.0107/86400
c Decision: 25933/102388	Time: 86.9058/86400
c Decision: 25933/102388	Time: 96.1384/86400
c Decision: 25935/102388	Time: 112.918/86400
c Decision: 25935/102388	Time: 124.741/86400
c Decision: 26109/102388	Time: 142.829/86400
c Decision: 26109/102388	Time: 154.983/86400
c Decision: 26207/102388	Time: 179.263/86400
c Decision: 26207/102388	Time: 191.109/86400
c Decision: 26207/102388	Time: 204.91/86400
c Decision: 26207/102388	Time: 221.096/86400
c [startup+1192.04 s]  setting bit 6 to 0
s 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/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 21199741 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8712/statm): 373 2 364 364 0 9 0
[pid=8712] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc30/normalized-frb30-15-2.opb

[startup+10.0022 s]
Raw data (loadavg): 0.82 0.83 0.90 2/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 17314 0 0 0 949 43 0 0 25 0 1 0 21199741 55906304 11521 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8712/statm): 13649 11521 364 364 0 13285 0
[pid=8712] vsize: 54596
Current children cumulated CPU time (s) 9.92
Current children cumulated vsize (Kb) 54596

[startup+20.002 s]
Raw data (loadavg): 0.85 0.83 0.91 2/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 17821 0 0 0 1942 47 0 0 25 0 1 0 21199741 58052608 11929 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8712/statm): 14173 11929 364 364 0 13809 0
[pid=8712] vsize: 56692
Current children cumulated CPU time (s) 19.89
Current children cumulated vsize (Kb) 56692

[startup+30.0028 s]
Raw data (loadavg): 0.87 0.84 0.91 2/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 18978 0 0 0 2934 52 0 0 25 0 1 0 21199741 61771776 12523 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8712/statm): 15081 12523 364 364 0 14717 0
[pid=8712] vsize: 60324
Current children cumulated CPU time (s) 29.86
Current children cumulated vsize (Kb) 60324

[startup+40.0036 s]
Raw data (loadavg): 0.89 0.84 0.91 2/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 19046 0 0 0 3931 53 0 0 25 0 1 0 21199741 62038016 12591 4294967295 134512640 135987407 3221224560 3221223104 134812046 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8712/statm): 15146 12591 364 364 0 14782 0
[pid=8712] vsize: 60584
Current children cumulated CPU time (s) 39.84
Current children cumulated vsize (Kb) 60584

[startup+50.0044 s]
Raw data (loadavg): 0.91 0.85 0.91 2/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 19067 0 0 0 4928 54 0 0 25 0 1 0 21199741 62038016 12612 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8712/statm): 15146 12612 364 364 0 14782 0
[pid=8712] vsize: 60584
Current children cumulated CPU time (s) 49.82
Current children cumulated vsize (Kb) 60584

[startup+60.0042 s]
Raw data (loadavg): 0.92 0.85 0.91 3/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 19285 0 0 0 5925 56 0 0 25 0 1 0 21199741 62038016 12630 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8712/statm): 15146 12630 364 364 0 14782 0
[pid=8712] vsize: 60584
Current children cumulated CPU time (s) 59.81
Current children cumulated vsize (Kb) 60584

[startup+70.005 s]
Raw data (loadavg): 0.93 0.86 0.91 2/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 19339 0 0 0 6922 57 0 0 25 0 1 0 21199741 62169088 12651 4294967295 134512640 135987407 3221224560 3221223104 134812126 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8712/statm): 15178 12651 364 364 0 14814 0
[pid=8712] vsize: 60712
Current children cumulated CPU time (s) 69.79
Current children cumulated vsize (Kb) 60712

[startup+80.0058 s]
Raw data (loadavg): 0.94 0.86 0.91 2/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 19554 0 0 0 7918 59 0 0 25 0 1 0 21199741 62169088 12666 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8712/statm): 15178 12666 364 364 0 14814 0
[pid=8712] vsize: 60712
Current children cumulated CPU time (s) 79.77
Current children cumulated vsize (Kb) 60712

[startup+90.0056 s]
Raw data (loadavg): 0.95 0.87 0.91 2/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 19584 0 0 0 8915 60 0 0 25 0 1 0 21199741 62169088 12696 4294967295 134512640 135987407 3221224560 3221223232 134824720 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8712/statm): 15178 12696 364 364 0 14814 0
[pid=8712] vsize: 60712
Current children cumulated CPU time (s) 89.75
Current children cumulated vsize (Kb) 60712

[startup+100.006 s]
Raw data (loadavg): 0.96 0.87 0.91 2/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 19686 0 0 0 9913 61 0 0 25 0 1 0 21199741 62431232 12733 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8712/statm): 15242 12733 364 364 0 14878 0
[pid=8712] vsize: 60968
Current children cumulated CPU time (s) 99.74
Current children cumulated vsize (Kb) 60968

[startup+110.007 s]
Raw data (loadavg): 0.96 0.87 0.91 2/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 19705 0 0 0 10911 63 0 0 25 0 1 0 21199741 62566400 12752 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8712/statm): 15275 12752 364 364 0 14911 0
[pid=8712] vsize: 61100
Current children cumulated CPU time (s) 109.74
Current children cumulated vsize (Kb) 61100

[startup+120.007 s]
Raw data (loadavg): 0.97 0.88 0.91 2/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 19930 0 0 0 11908 64 0 0 25 0 1 0 21199741 62566400 12777 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8712/statm): 15275 12777 364 364 0 14911 0
[pid=8712] vsize: 61100
Current children cumulated CPU time (s) 119.72
Current children cumulated vsize (Kb) 61100

[startup+130.008 s]
Raw data (loadavg): 0.97 0.88 0.91 2/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 19951 0 0 0 12907 64 0 0 25 0 1 0 21199741 62566400 12798 4294967295 134512640 135987407 3221224560 3221223280 134812703 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8712/statm): 15275 12798 364 364 0 14911 0
[pid=8712] vsize: 61100
Current children cumulated CPU time (s) 129.71
Current children cumulated vsize (Kb) 61100

[startup+140.009 s]
Raw data (loadavg): 0.98 0.89 0.91 2/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 19976 0 0 0 13904 65 0 0 25 0 1 0 21199741 62566400 12823 4294967295 134512640 135987407 3221224560 3221223232 134824720 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8712/statm): 15275 12823 364 364 0 14911 0
[pid=8712] vsize: 61100
Current children cumulated CPU time (s) 139.69
Current children cumulated vsize (Kb) 61100

[startup+150.009 s]
Raw data (loadavg): 0.98 0.89 0.91 2/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 19994 0 0 0 14902 67 0 0 25 0 1 0 21199741 62566400 12841 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8712/statm): 15275 12841 364 364 0 14911 0
[pid=8712] vsize: 61100
Current children cumulated CPU time (s) 149.69
Current children cumulated vsize (Kb) 61100

[startup+160.01 s]
Raw data (loadavg): 0.98 0.89 0.91 2/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 20218 0 0 0 15899 68 0 0 25 0 1 0 21199741 62566400 12865 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8712/statm): 15275 12865 364 364 0 14911 0
[pid=8712] vsize: 61100
Current children cumulated CPU time (s) 159.67
Current children cumulated vsize (Kb) 61100

[startup+170.01 s]
Raw data (loadavg): 0.98 0.89 0.91 2/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 20238 0 0 0 16895 69 0 0 25 0 1 0 21199741 62701568 12885 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8712/statm): 15308 12885 364 364 0 14944 0
[pid=8712] vsize: 61232
Current children cumulated CPU time (s) 169.64
Current children cumulated vsize (Kb) 61232

[startup+180.011 s]
Raw data (loadavg): 0.99 0.90 0.91 2/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 20258 0 0 0 17892 70 0 0 25 0 1 0 21199741 62701568 12905 4294967295 134512640 135987407 3221224560 3221223104 134811807 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8712/statm): 15308 12905 364 364 0 14944 0
[pid=8712] vsize: 61232
Current children cumulated CPU time (s) 179.62
Current children cumulated vsize (Kb) 61232

[startup+190.011 s]
Raw data (loadavg): 1.07 0.92 0.91 2/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 20278 0 0 0 18889 71 0 0 25 0 1 0 21199741 62701568 12925 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8712/statm): 15308 12925 364 364 0 14944 0
[pid=8712] vsize: 61232
Current children cumulated CPU time (s) 189.6
Current children cumulated vsize (Kb) 61232

[startup+200.011 s]
Raw data (loadavg): 1.06 0.92 0.91 2/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 20301 0 0 0 19887 72 0 0 25 0 1 0 21199741 62701568 12948 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8712/statm): 15308 12948 364 364 0 14944 0
[pid=8712] vsize: 61232
Current children cumulated CPU time (s) 199.59
Current children cumulated vsize (Kb) 61232

[startup+210.012 s]
Raw data (loadavg): 1.05 0.92 0.91 2/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 20347 0 0 0 20884 73 0 0 25 0 1 0 21199741 62849024 12994 4294967295 134512640 135987407 3221224560 3221223104 134811803 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8712/statm): 15344 12994 364 364 0 14980 0
[pid=8712] vsize: 61376
Current children cumulated CPU time (s) 209.57
Current children cumulated vsize (Kb) 61376

[startup+220.012 s]
Raw data (loadavg): 1.04 0.92 0.91 2/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 20361 0 0 0 21882 74 0 0 25 0 1 0 21199741 62849024 13008 4294967295 134512640 135987407 3221224560 3221223264 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8712/statm): 15344 13008 364 364 0 14980 0
[pid=8712] vsize: 61376
Current children cumulated CPU time (s) 219.56
Current children cumulated vsize (Kb) 61376

[startup+230.013 s]
Raw data (loadavg): 1.03 0.92 0.91 2/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 20378 0 0 0 22879 75 0 0 25 0 1 0 21199741 62849024 13025 4294967295 134512640 135987407 3221224560 3221223232 134824261 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8712/statm): 15344 13025 364 364 0 14980 0
[pid=8712] vsize: 61376
Current children cumulated CPU time (s) 229.54
Current children cumulated vsize (Kb) 61376

[startup+240.013 s]
Raw data (loadavg): 1.03 0.93 0.91 2/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 20402 0 0 0 23876 76 0 0 25 0 1 0 21199741 62849024 13049 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8712/statm): 15344 13049 364 364 0 14980 0
[pid=8712] vsize: 61376
Current children cumulated CPU time (s) 239.52
Current children cumulated vsize (Kb) 61376

[startup+250.013 s]
Raw data (loadavg): 1.02 0.93 0.91 2/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 20430 0 0 0 24873 77 0 0 25 0 1 0 21199741 62849024 13077 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8712/statm): 15344 13077 364 364 0 14980 0
[pid=8712] vsize: 61376
Current children cumulated CPU time (s) 249.5
Current children cumulated vsize (Kb) 61376

[startup+260.013 s]
Raw data (loadavg): 1.02 0.93 0.91 2/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 20456 0 0 0 25871 78 0 0 25 0 1 0 21199741 62849024 13103 4294967295 134512640 135987407 3221224560 3221223104 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8712/statm): 15344 13103 364 364 0 14980 0
[pid=8712] vsize: 61376
Current children cumulated CPU time (s) 259.49
Current children cumulated vsize (Kb) 61376

[startup+270.013 s]
Raw data (loadavg): 1.02 0.93 0.91 2/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 20489 0 0 0 26868 80 0 0 25 0 1 0 21199741 62849024 13136 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8712/statm): 15344 13136 364 364 0 14980 0
[pid=8712] vsize: 61376
Current children cumulated CPU time (s) 269.48
Current children cumulated vsize (Kb) 61376

[startup+280.014 s]
Raw data (loadavg): 1.01 0.93 0.91 2/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 20519 0 0 0 27865 81 0 0 25 0 1 0 21199741 62984192 13166 4294967295 134512640 135987407 3221224560 3221223104 134811885 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8712/statm): 15377 13166 364 364 0 15013 0
[pid=8712] vsize: 61508
Current children cumulated CPU time (s) 279.46
Current children cumulated vsize (Kb) 61508

[startup+290.014 s]
Raw data (loadavg): 1.01 0.94 0.91 2/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 20558 0 0 0 28863 82 0 0 25 0 1 0 21199741 62984192 13205 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8712/statm): 15377 13205 364 364 0 15013 0
[pid=8712] vsize: 61508
Current children cumulated CPU time (s) 289.45
Current children cumulated vsize (Kb) 61508

[startup+300.014 s]
Raw data (loadavg): 1.01 0.94 0.91 2/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 20585 0 0 0 29861 83 0 0 25 0 1 0 21199741 62984192 13232 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8712/statm): 15377 13232 364 364 0 15013 0
[pid=8712] vsize: 61508
Current children cumulated CPU time (s) 299.44
Current children cumulated vsize (Kb) 61508

[startup+310.014 s]
Raw data (loadavg): 1.01 0.94 0.91 2/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 20611 0 0 0 30858 84 0 0 25 0 1 0 21199741 63119360 13258 4294967295 134512640 135987407 3221224560 3221223104 134811773 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8712/statm): 15410 13258 364 364 0 15046 0
[pid=8712] vsize: 61640
Current children cumulated CPU time (s) 309.42
Current children cumulated vsize (Kb) 61640

[startup+320.014 s]
Raw data (loadavg): 1.00 0.94 0.91 2/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 21010 0 0 0 31854 86 0 0 25 0 1 0 21199741 65105920 13657 4294967295 134512640 135987407 3221224560 3221223104 134811873 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8712/statm): 15895 13657 364 364 0 15531 0
[pid=8712] vsize: 63580
Current children cumulated CPU time (s) 319.4
Current children cumulated vsize (Kb) 63580

[startup+330.015 s]
Raw data (loadavg): 1.00 0.94 0.91 2/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 21135 0 0 0 32852 87 0 0 25 0 1 0 21199741 65511424 13782 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8712/statm): 15994 13782 364 364 0 15630 0
[pid=8712] vsize: 63976
Current children cumulated CPU time (s) 329.39
Current children cumulated vsize (Kb) 63976

[startup+340.016 s]
Raw data (loadavg): 1.00 0.94 0.91 2/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 21156 0 0 0 33849 88 0 0 25 0 1 0 21199741 65511424 13803 4294967295 134512640 135987407 3221224560 3221223104 134811807 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8712/statm): 15994 13803 364 364 0 15630 0
[pid=8712] vsize: 63976
Current children cumulated CPU time (s) 339.37
Current children cumulated vsize (Kb) 63976

[startup+350.016 s]
Raw data (loadavg): 1.00 0.94 0.91 2/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 21174 0 0 0 34847 89 0 0 25 0 1 0 21199741 65511424 13821 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8712/statm): 15994 13821 364 364 0 15630 0
[pid=8712] vsize: 63976
Current children cumulated CPU time (s) 349.36
Current children cumulated vsize (Kb) 63976

[startup+360.016 s]
Raw data (loadavg): 1.00 0.95 0.91 2/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 21192 0 0 0 35844 90 0 0 25 0 1 0 21199741 65511424 13839 4294967295 134512640 135987407 3221224560 3221223104 134812160 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8712/statm): 15994 13839 364 364 0 15630 0
[pid=8712] vsize: 63976
Current children cumulated CPU time (s) 359.34
Current children cumulated vsize (Kb) 63976

[startup+370.016 s]
Raw data (loadavg): 1.00 0.95 0.91 2/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 21209 0 0 0 36842 91 0 0 25 0 1 0 21199741 65511424 13856 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8712/statm): 15994 13856 364 364 0 15630 0
[pid=8712] vsize: 63976
Current children cumulated CPU time (s) 369.33
Current children cumulated vsize (Kb) 63976

[startup+380.017 s]
Raw data (loadavg): 1.00 0.95 0.91 2/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 21228 0 0 0 37839 92 0 0 25 0 1 0 21199741 65511424 13875 4294967295 134512640 135987407 3221224560 3221223280 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8712/statm): 15994 13875 364 364 0 15630 0
[pid=8712] vsize: 63976
Current children cumulated CPU time (s) 379.31
Current children cumulated vsize (Kb) 63976

[startup+390.017 s]
Raw data (loadavg): 1.00 0.95 0.91 2/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 21247 0 0 0 38836 93 0 0 25 0 1 0 21199741 65511424 13894 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8712/statm): 15994 13894 364 364 0 15630 0
[pid=8712] vsize: 63976
Current children cumulated CPU time (s) 389.29
Current children cumulated vsize (Kb) 63976

[startup+400.018 s]
Raw data (loadavg): 1.00 0.95 0.91 2/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 21269 0 0 0 39834 93 0 0 25 0 1 0 21199741 65511424 13916 4294967295 134512640 135987407 3221224560 3221223232 134824720 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8712/statm): 15994 13916 364 364 0 15630 0
[pid=8712] vsize: 63976
Current children cumulated CPU time (s) 399.27
Current children cumulated vsize (Kb) 63976

[startup+410.018 s]
Raw data (loadavg): 1.00 0.95 0.91 2/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 21295 0 0 0 40832 94 0 0 25 0 1 0 21199741 73900032 13942 4294967295 134512640 135987407 3221224560 3221222964 134776865 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8712/statm): 18042 13942 364 364 0 17678 0
[pid=8712] vsize: 72168
Current children cumulated CPU time (s) 409.26
Current children cumulated vsize (Kb) 72168

[startup+420.018 s]
Raw data (loadavg): 1.00 0.95 0.91 2/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 21398 0 0 0 41830 96 0 0 25 0 1 0 21199741 74297344 13980 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8712/statm): 18139 13980 364 364 0 17775 0
[pid=8712] vsize: 72556
Current children cumulated CPU time (s) 419.26
Current children cumulated vsize (Kb) 72556

[startup+430.019 s]
Raw data (loadavg): 1.00 0.95 0.91 2/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 21661 0 0 0 42825 98 0 0 25 0 1 0 21199741 74297344 14043 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8712/statm): 18139 14043 364 364 0 17775 0
[pid=8712] vsize: 72556
Current children cumulated CPU time (s) 429.23
Current children cumulated vsize (Kb) 72556

[startup+440.019 s]
Raw data (loadavg): 1.00 0.95 0.91 2/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 21715 0 0 0 43820 99 0 0 25 0 1 0 21199741 74297344 14097 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8712/statm): 18139 14097 364 364 0 17775 0
[pid=8712] vsize: 72556
Current children cumulated CPU time (s) 439.19
Current children cumulated vsize (Kb) 72556

[startup+450.019 s]
Raw data (loadavg): 1.00 0.95 0.91 2/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 21762 0 0 0 44815 101 0 0 25 0 1 0 21199741 74297344 14144 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8712/statm): 18139 14144 364 364 0 17775 0
[pid=8712] vsize: 72556
Current children cumulated CPU time (s) 449.16
Current children cumulated vsize (Kb) 72556

[startup+460.02 s]
Raw data (loadavg): 1.00 0.96 0.91 2/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 21843 0 0 0 45809 103 0 0 25 0 1 0 21199741 74579968 14225 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8712/statm): 18208 14225 364 364 0 17844 0
[pid=8712] vsize: 72832
Current children cumulated CPU time (s) 459.12
Current children cumulated vsize (Kb) 72832

[startup+470.02 s]
Raw data (loadavg): 1.00 0.96 0.91 2/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 21884 0 0 0 46804 104 0 0 25 0 1 0 21199741 74579968 14266 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8712/statm): 18208 14266 364 364 0 17844 0
[pid=8712] vsize: 72832
Current children cumulated CPU time (s) 469.08
Current children cumulated vsize (Kb) 72832

[startup+480.021 s]
Raw data (loadavg): 1.00 0.96 0.91 1/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) T 8711 8712 4004 0 -1 0 21913 0 0 0 47798 106 0 0 25 0 1 0 21199741 74579968 14295 4294967295 134512640 135987407 3221224560 3221223244 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8712/statm): 18208 14295 364 364 0 17844 0
[pid=8712] vsize: 72832
Current children cumulated CPU time (s) 479.04
Current children cumulated vsize (Kb) 72832

[startup+490.021 s]
Raw data (loadavg): 1.00 0.96 0.91 2/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 22163 0 0 0 48790 109 0 0 25 0 1 0 21199741 75595776 14512 4294967295 134512640 135987407 3221224560 3221223104 134811835 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8712/statm): 18456 14512 364 364 0 18092 0
[pid=8712] vsize: 73824
Current children cumulated CPU time (s) 488.99
Current children cumulated vsize (Kb) 73824

[startup+500.022 s]
Raw data (loadavg): 1.00 0.96 0.91 2/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 22402 0 0 0 49785 111 0 0 25 0 1 0 21199741 75595776 14551 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8712/statm): 18456 14551 364 364 0 18092 0
[pid=8712] vsize: 73824
Current children cumulated CPU time (s) 498.96
Current children cumulated vsize (Kb) 73824

[startup+510.022 s]
Raw data (loadavg): 1.00 0.96 0.91 2/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 22411 0 0 0 50780 114 0 0 25 0 1 0 21199741 75595776 14560 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8712/statm): 18456 14560 364 364 0 18092 0
[pid=8712] vsize: 73824
Current children cumulated CPU time (s) 508.94
Current children cumulated vsize (Kb) 73824

[startup+520.022 s]
Raw data (loadavg): 1.00 0.96 0.91 2/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 22627 0 0 0 51776 116 0 0 25 0 1 0 21199741 75595776 14576 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8712/statm): 18456 14576 364 364 0 18092 0
[pid=8712] vsize: 73824
Current children cumulated CPU time (s) 518.92
Current children cumulated vsize (Kb) 73824

[startup+530.023 s]
Raw data (loadavg): 1.00 0.96 0.91 2/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 22844 0 0 0 52771 118 0 0 25 0 1 0 21199741 75730944 14593 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8712/statm): 18489 14593 364 364 0 18125 0
[pid=8712] vsize: 73956
Current children cumulated CPU time (s) 528.89
Current children cumulated vsize (Kb) 73956

[startup+540.022 s]
Raw data (loadavg): 1.00 0.96 0.91 2/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 22876 0 0 0 53767 119 0 0 25 0 1 0 21199741 75730944 14625 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8712/statm): 18489 14625 364 364 0 18125 0
[pid=8712] vsize: 73956
Current children cumulated CPU time (s) 538.86
Current children cumulated vsize (Kb) 73956

[startup+550.023 s]
Raw data (loadavg): 1.00 0.96 0.91 2/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 23122 0 0 0 54762 122 0 0 25 0 1 0 21199741 75730944 14671 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8712/statm): 18489 14671 364 364 0 18125 0
[pid=8712] vsize: 73956
Current children cumulated CPU time (s) 548.84
Current children cumulated vsize (Kb) 73956

[startup+560.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 23366 0 0 0 55757 124 0 0 25 0 1 0 21199741 75866112 14715 4294967295 134512640 135987407 3221224560 3221223232 134824256 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8712/statm): 18522 14715 364 364 0 18158 0
[pid=8712] vsize: 74088
Current children cumulated CPU time (s) 558.81
Current children cumulated vsize (Kb) 74088

[startup+570.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 23406 0 0 0 56754 125 0 0 25 0 1 0 21199741 75866112 14755 4294967295 134512640 135987407 3221224560 3221223232 134824327 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8712/statm): 18522 14755 364 364 0 18158 0
[pid=8712] vsize: 74088
Current children cumulated CPU time (s) 568.79
Current children cumulated vsize (Kb) 74088

[startup+580.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 23624 0 0 0 57750 127 0 0 25 0 1 0 21199741 75866112 14773 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8712/statm): 18522 14773 364 364 0 18158 0
[pid=8712] vsize: 74088
Current children cumulated CPU time (s) 578.77
Current children cumulated vsize (Kb) 74088

[startup+590.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 23866 0 0 0 58746 129 0 0 25 0 1 0 21199741 75866112 14815 4294967295 134512640 135987407 3221224560 3221223104 134812163 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8712/statm): 18522 14815 364 364 0 18158 0
[pid=8712] vsize: 74088
Current children cumulated CPU time (s) 588.75
Current children cumulated vsize (Kb) 74088

[startup+600.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 23915 0 0 0 59740 131 0 0 25 0 1 0 21199741 76001280 14864 4294967295 134512640 135987407 3221224560 3221223232 134824256 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8712/statm): 18555 14864 364 364 0 18191 0
[pid=8712] vsize: 74220
Current children cumulated CPU time (s) 598.71
Current children cumulated vsize (Kb) 74220

[startup+610.026 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 24165 0 0 0 60735 133 0 0 25 0 1 0 21199741 76001280 14914 4294967295 134512640 135987407 3221224560 3221223232 134824216 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8712/statm): 18555 14914 364 364 0 18191 0
[pid=8712] vsize: 74220
Current children cumulated CPU time (s) 608.68
Current children cumulated vsize (Kb) 74220

[startup+620.026 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 24417 0 0 0 61731 135 0 0 25 0 1 0 21199741 76136448 14966 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8712/statm): 18588 14966 364 364 0 18224 0
[pid=8712] vsize: 74352
Current children cumulated CPU time (s) 618.66
Current children cumulated vsize (Kb) 74352

[startup+630.027 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 24463 0 0 0 62727 137 0 0 25 0 1 0 21199741 76136448 15012 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8712/statm): 18588 15012 364 364 0 18224 0
[pid=8712] vsize: 74352
Current children cumulated CPU time (s) 628.64
Current children cumulated vsize (Kb) 74352

[startup+640.027 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 24708 0 0 0 63722 138 0 0 25 0 1 0 21199741 76136448 15057 4294967295 134512640 135987407 3221224560 3221223168 134801230 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8712/statm): 18588 15057 364 364 0 18224 0
[pid=8712] vsize: 74352
Current children cumulated CPU time (s) 638.6
Current children cumulated vsize (Kb) 74352

[startup+650.028 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 24773 0 0 0 64717 140 0 0 25 0 1 0 21199741 76275712 15122 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8712/statm): 18622 15122 364 364 0 18258 0
[pid=8712] vsize: 74488
Current children cumulated CPU time (s) 648.57
Current children cumulated vsize (Kb) 74488

[startup+660.029 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 25010 0 0 0 65712 142 0 0 25 0 1 0 21199741 76410880 15159 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8712/statm): 18655 15159 364 364 0 18291 0
[pid=8712] vsize: 74620
Current children cumulated CPU time (s) 658.54
Current children cumulated vsize (Kb) 74620

[startup+670.029 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 25061 0 0 0 66708 144 0 0 25 0 1 0 21199741 76685312 15210 4294967295 134512640 135987407 3221224560 3221223104 134811972 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8712/statm): 18722 15210 364 364 0 18358 0
[pid=8712] vsize: 74888
Current children cumulated CPU time (s) 668.52
Current children cumulated vsize (Kb) 74888

[startup+680.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 25273 0 0 0 67705 145 0 0 25 0 1 0 21199741 76685312 15222 4294967295 134512640 135987407 3221224560 3221223104 134811829 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8712/statm): 18722 15222 364 364 0 18358 0
[pid=8712] vsize: 74888
Current children cumulated CPU time (s) 678.5
Current children cumulated vsize (Kb) 74888

[startup+690.029 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 25312 0 0 0 68700 147 0 0 25 0 1 0 21199741 76685312 15261 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8712/statm): 18722 15261 364 364 0 18358 0
[pid=8712] vsize: 74888
Current children cumulated CPU time (s) 688.47
Current children cumulated vsize (Kb) 74888

[startup+700.031 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 25562 0 0 0 69696 149 0 0 25 0 1 0 21199741 76685312 15311 4294967295 134512640 135987407 3221224560 3221223104 134811792 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8712/statm): 18722 15311 364 364 0 18358 0
[pid=8712] vsize: 74888
Current children cumulated CPU time (s) 698.45
Current children cumulated vsize (Kb) 74888

[startup+710.031 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 25802 0 0 0 70690 151 0 0 25 0 1 0 21199741 76824576 15351 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8712/statm): 18756 15351 364 364 0 18392 0
[pid=8712] vsize: 75024
Current children cumulated CPU time (s) 708.41
Current children cumulated vsize (Kb) 75024

[startup+720.031 s]
Raw data (loadavg): 1.00 0.97 0.91 1/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) T 8711 8712 4004 0 -1 0 26037 0 0 0 71685 153 0 0 25 0 1 0 21199741 76824576 15386 4294967295 134512640 135987407 3221224560 3221223244 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8712/statm): 18756 15386 364 364 0 18392 0
[pid=8712] vsize: 75024
Current children cumulated CPU time (s) 718.38
Current children cumulated vsize (Kb) 75024

[startup+730.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 26280 0 0 0 72675 158 0 0 25 0 1 0 21199741 78045184 15629 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8712/statm): 19054 15629 364 364 0 18690 0
[pid=8712] vsize: 76216
Current children cumulated CPU time (s) 728.33
Current children cumulated vsize (Kb) 76216

[startup+740.031 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 26307 0 0 0 73670 160 0 0 25 0 1 0 21199741 78045184 15656 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8712/statm): 19054 15656 364 364 0 18690 0
[pid=8712] vsize: 76216
Current children cumulated CPU time (s) 738.3
Current children cumulated vsize (Kb) 76216

[startup+750.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 26518 0 0 0 74666 161 0 0 25 0 1 0 21199741 78045184 15667 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8712/statm): 19054 15667 364 364 0 18690 0
[pid=8712] vsize: 76216
Current children cumulated CPU time (s) 748.27
Current children cumulated vsize (Kb) 76216

[startup+760.033 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 26721 0 0 0 75662 163 0 0 25 0 1 0 21199741 78045184 15670 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8712/statm): 19054 15670 364 364 0 18690 0
[pid=8712] vsize: 76216
Current children cumulated CPU time (s) 758.25
Current children cumulated vsize (Kb) 76216

[startup+770.033 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 26729 0 0 0 76658 164 0 0 25 0 1 0 21199741 78045184 15678 4294967295 134512640 135987407 3221224560 3221223104 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8712/statm): 19054 15678 364 364 0 18690 0
[pid=8712] vsize: 76216
Current children cumulated CPU time (s) 768.22
Current children cumulated vsize (Kb) 76216

[startup+780.034 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 26941 0 0 0 77654 166 0 0 25 0 1 0 21199741 78045184 15690 4294967295 134512640 135987407 3221224560 3221223200 134812278 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8712/statm): 19054 15690 364 364 0 18690 0
[pid=8712] vsize: 76216
Current children cumulated CPU time (s) 778.2
Current children cumulated vsize (Kb) 76216

[startup+790.033 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 26946 0 0 0 78650 167 0 0 25 0 1 0 21199741 78045184 15695 4294967295 134512640 135987407 3221224560 3221223104 134812041 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8712/statm): 19054 15695 364 364 0 18690 0
[pid=8712] vsize: 76216
Current children cumulated CPU time (s) 788.17
Current children cumulated vsize (Kb) 76216

[startup+800.034 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 27152 0 0 0 79647 169 0 0 25 0 1 0 21199741 78045184 15701 4294967295 134512640 135987407 3221224560 3221222912 134878078 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8712/statm): 19054 15701 364 364 0 18690 0
[pid=8712] vsize: 76216
Current children cumulated CPU time (s) 798.16
Current children cumulated vsize (Kb) 76216

[startup+810.034 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 27356 0 0 0 80643 171 0 0 25 0 1 0 21199741 78045184 15705 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8712/statm): 19054 15705 364 364 0 18690 0
[pid=8712] vsize: 76216
Current children cumulated CPU time (s) 808.14
Current children cumulated vsize (Kb) 76216

[startup+820.034 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 27371 0 0 0 81639 172 0 0 25 0 1 0 21199741 78180352 15720 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8712/statm): 19087 15720 364 364 0 18723 0
[pid=8712] vsize: 76348
Current children cumulated CPU time (s) 818.11
Current children cumulated vsize (Kb) 76348

[startup+830.034 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 27385 0 0 0 82636 174 0 0 25 0 1 0 21199741 78180352 15734 4294967295 134512640 135987407 3221224560 3221223104 134812063 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8712/statm): 19087 15734 364 364 0 18723 0
[pid=8712] vsize: 76348
Current children cumulated CPU time (s) 828.1
Current children cumulated vsize (Kb) 76348

[startup+840.033 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 27597 0 0 0 83632 175 0 0 25 0 1 0 21199741 78315520 15746 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8712/statm): 19120 15746 364 364 0 18756 0
[pid=8712] vsize: 76480
Current children cumulated CPU time (s) 838.07
Current children cumulated vsize (Kb) 76480

[startup+850.034 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 27625 0 0 0 84629 176 0 0 25 0 1 0 21199741 78315520 15774 4294967295 134512640 135987407 3221224560 3221223104 134811972 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8712/statm): 19120 15774 364 364 0 18756 0
[pid=8712] vsize: 76480
Current children cumulated CPU time (s) 848.05
Current children cumulated vsize (Kb) 76480

[startup+860.034 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 27628 0 0 0 85624 178 0 0 25 0 1 0 21199741 78315520 15777 4294967295 134512640 135987407 3221224560 3221223280 134812629 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8712/statm): 19120 15777 364 364 0 18756 0
[pid=8712] vsize: 76480
Current children cumulated CPU time (s) 858.02
Current children cumulated vsize (Kb) 76480

[startup+870.034 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 27632 0 0 0 86619 179 0 0 25 0 1 0 21199741 78315520 15781 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8712/statm): 19120 15781 364 364 0 18756 0
[pid=8712] vsize: 76480
Current children cumulated CPU time (s) 867.98
Current children cumulated vsize (Kb) 76480

[startup+880.035 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 27867 0 0 0 87616 180 0 0 25 0 1 0 21199741 78450688 15816 4294967295 134512640 135987407 3221224560 3221222976 134788469 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8712/statm): 19153 15816 364 364 0 18789 0
[pid=8712] vsize: 76612
Current children cumulated CPU time (s) 877.96
Current children cumulated vsize (Kb) 76612

[startup+890.034 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 27870 0 0 0 88614 181 0 0 25 0 1 0 21199741 78450688 15819 4294967295 134512640 135987407 3221224560 3221223104 134811891 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8712/statm): 19153 15819 364 364 0 18789 0
[pid=8712] vsize: 76612
Current children cumulated CPU time (s) 887.95
Current children cumulated vsize (Kb) 76612

[startup+900.035 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 27877 0 0 0 89611 182 0 0 25 0 1 0 21199741 78450688 15826 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8712/statm): 19153 15826 364 364 0 18789 0
[pid=8712] vsize: 76612
Current children cumulated CPU time (s) 897.93
Current children cumulated vsize (Kb) 76612

[startup+910.036 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 27882 0 0 0 90608 184 0 0 25 0 1 0 21199741 78450688 15831 4294967295 134512640 135987407 3221224560 3221223280 134812603 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8712/statm): 19153 15831 364 364 0 18789 0
[pid=8712] vsize: 76612
Current children cumulated CPU time (s) 907.92
Current children cumulated vsize (Kb) 76612

[startup+920.036 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 28094 0 0 0 91602 186 0 0 25 0 1 0 21199741 78585856 15843 4294967295 134512640 135987407 3221224560 3221223104 134811722 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8712/statm): 19186 15843 364 364 0 18822 0
[pid=8712] vsize: 76744
Current children cumulated CPU time (s) 917.88
Current children cumulated vsize (Kb) 76744

[startup+930.035 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 28106 0 0 0 92593 190 0 0 25 0 1 0 21199741 78585856 15855 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8712/statm): 19186 15855 364 364 0 18822 0
[pid=8712] vsize: 76744
Current children cumulated CPU time (s) 927.83
Current children cumulated vsize (Kb) 76744

[startup+940.036 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 28131 0 0 0 93584 193 0 0 25 0 1 0 21199741 78721024 15880 4294967295 134512640 135987407 3221224560 3221223280 134812703 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8712/statm): 19219 15880 364 364 0 18855 0
[pid=8712] vsize: 76876
Current children cumulated CPU time (s) 937.77
Current children cumulated vsize (Kb) 76876

[startup+950.037 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 28164 0 0 0 94577 196 0 0 25 0 1 0 21199741 78917632 15913 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8712/statm): 19267 15913 364 364 0 18903 0
[pid=8712] vsize: 77068
Current children cumulated CPU time (s) 947.73
Current children cumulated vsize (Kb) 77068

[startup+960.037 s]
Raw data (loadavg): 1.00 0.97 0.91 1/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) T 8711 8712 4004 0 -1 0 28168 0 0 0 95571 198 0 0 25 0 1 0 21199741 78917632 15917 4294967295 134512640 135987407 3221224560 3221223244 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8712/statm): 19267 15917 364 364 0 18903 0
[pid=8712] vsize: 77068
Current children cumulated CPU time (s) 957.69
Current children cumulated vsize (Kb) 77068

[startup+970.037 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 28171 0 0 0 96566 199 0 0 25 0 1 0 21199741 78917632 15920 4294967295 134512640 135987407 3221224560 3221223104 134811756 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8712/statm): 19267 15920 364 364 0 18903 0
[pid=8712] vsize: 77068
Current children cumulated CPU time (s) 967.65
Current children cumulated vsize (Kb) 77068

[startup+980.038 s]
Raw data (loadavg): 1.00 0.97 0.91 3/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 28202 0 0 0 97562 201 0 0 25 0 1 0 21199741 78917632 15951 4294967295 134512640 135987407 3221224560 3221223168 134801258 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8712/statm): 19267 15951 364 364 0 18903 0
[pid=8712] vsize: 77068
Current children cumulated CPU time (s) 977.63
Current children cumulated vsize (Kb) 77068

[startup+990.037 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 28552 0 0 0 98552 205 0 0 25 0 1 0 21199741 79593472 16101 4294967295 134512640 135987407 3221224560 3221223280 134812696 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8712/statm): 19432 16101 364 364 0 19068 0
[pid=8712] vsize: 77728
Current children cumulated CPU time (s) 987.57
Current children cumulated vsize (Kb) 77728

[startup+1000.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 29210 0 0 0 99539 211 0 0 25 0 1 0 21199741 81416192 16411 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8712/statm): 19877 16411 364 364 0 19513 0
[pid=8712] vsize: 79508
Current children cumulated CPU time (s) 997.5
Current children cumulated vsize (Kb) 79508

[startup+1010.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 29415 0 0 0 100531 214 0 0 25 0 1 0 21199741 81416192 16416 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8712/statm): 19877 16416 364 364 0 19513 0
[pid=8712] vsize: 79508
Current children cumulated CPU time (s) 1007.45
Current children cumulated vsize (Kb) 79508

[startup+1020.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 29431 0 0 0 101524 216 0 0 25 0 1 0 21199741 81416192 16432 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8712/statm): 19877 16432 364 364 0 19513 0
[pid=8712] vsize: 79508
Current children cumulated CPU time (s) 1017.4
Current children cumulated vsize (Kb) 79508

[startup+1030.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 29634 0 0 0 102517 219 0 0 25 0 1 0 21199741 81416192 16435 4294967295 134512640 135987407 3221224560 3221223280 134812696 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8712/statm): 19877 16435 364 364 0 19513 0
[pid=8712] vsize: 79508
Current children cumulated CPU time (s) 1027.36
Current children cumulated vsize (Kb) 79508

[startup+1040.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 29838 0 0 0 103510 223 0 0 25 0 1 0 21199741 81416192 16439 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8712/statm): 19877 16439 364 364 0 19513 0
[pid=8712] vsize: 79508
Current children cumulated CPU time (s) 1037.33
Current children cumulated vsize (Kb) 79508

[startup+1050.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 29842 0 0 0 104503 225 0 0 25 0 1 0 21199741 81416192 16443 4294967295 134512640 135987407 3221224560 3221223264 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8712/statm): 19877 16443 364 364 0 19513 0
[pid=8712] vsize: 79508
Current children cumulated CPU time (s) 1047.28
Current children cumulated vsize (Kb) 79508

[startup+1060.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 30045 0 0 0 105497 228 0 0 25 0 1 0 21199741 81416192 16446 4294967295 134512640 135987407 3221224560 3221223104 134811959 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8712/statm): 19877 16446 364 364 0 19513 0
[pid=8712] vsize: 79508
Current children cumulated CPU time (s) 1057.25
Current children cumulated vsize (Kb) 79508

[startup+1070.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 30248 0 0 0 106491 230 0 0 25 0 1 0 21199741 81416192 16449 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8712/statm): 19877 16449 364 364 0 19513 0
[pid=8712] vsize: 79508
Current children cumulated CPU time (s) 1067.21
Current children cumulated vsize (Kb) 79508

[startup+1080.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 30251 0 0 0 107487 231 0 0 25 0 1 0 21199741 81416192 16452 4294967295 134512640 135987407 3221224560 3221223168 134801142 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8712/statm): 19877 16452 364 364 0 19513 0
[pid=8712] vsize: 79508
Current children cumulated CPU time (s) 1077.18
Current children cumulated vsize (Kb) 79508

[startup+1090.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 30262 0 0 0 108482 233 0 0 25 0 1 0 21199741 81416192 16463 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8712/statm): 19877 16463 364 364 0 19513 0
[pid=8712] vsize: 79508
Current children cumulated CPU time (s) 1087.15
Current children cumulated vsize (Kb) 79508

[startup+1100.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 30466 0 0 0 109477 235 0 0 25 0 1 0 21199741 81416192 16467 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8712/statm): 19877 16467 364 364 0 19513 0
[pid=8712] vsize: 79508
Current children cumulated CPU time (s) 1097.12
Current children cumulated vsize (Kb) 79508

[startup+1110.04 s]
Raw data (loadavg): 1.00 0.97 0.91 1/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) T 8711 8712 4004 0 -1 0 30672 0 0 0 110473 236 0 0 25 0 1 0 21199741 81555456 16473 4294967295 134512640 135987407 3221224560 3221223244 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8712/statm): 19911 16473 364 364 0 19547 0
[pid=8712] vsize: 79644
Current children cumulated CPU time (s) 1107.09
Current children cumulated vsize (Kb) 79644

[startup+1120.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 30878 0 0 0 111469 239 0 0 25 0 1 0 21199741 81555456 16479 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8712/statm): 19911 16479 364 364 0 19547 0
[pid=8712] vsize: 79644
Current children cumulated CPU time (s) 1117.08
Current children cumulated vsize (Kb) 79644

[startup+1130.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 30883 0 0 0 112465 240 0 0 25 0 1 0 21199741 81555456 16484 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8712/statm): 19911 16484 364 364 0 19547 0
[pid=8712] vsize: 79644
Current children cumulated CPU time (s) 1127.05
Current children cumulated vsize (Kb) 79644

[startup+1140.04 s]
Raw data (loadavg): 1.07 0.99 0.92 2/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 31085 0 0 0 113462 242 0 0 25 0 1 0 21199741 81555456 16486 4294967295 134512640 135987407 3221224560 3221223104 134812046 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8712/statm): 19911 16486 364 364 0 19547 0
[pid=8712] vsize: 79644
Current children cumulated CPU time (s) 1137.04
Current children cumulated vsize (Kb) 79644

[startup+1150.04 s]
Raw data (loadavg): 1.06 0.99 0.92 2/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 31087 0 0 0 114460 242 0 0 25 0 1 0 21199741 81555456 16488 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8712/statm): 19911 16488 364 364 0 19547 0
[pid=8712] vsize: 79644
Current children cumulated CPU time (s) 1147.02
Current children cumulated vsize (Kb) 79644

[startup+1160.04 s]
Raw data (loadavg): 1.05 0.99 0.92 2/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 31096 0 0 0 115456 244 0 0 25 0 1 0 21199741 81555456 16497 4294967295 134512640 135987407 3221224560 3221223104 134812005 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8712/statm): 19911 16497 364 364 0 19547 0
[pid=8712] vsize: 79644
Current children cumulated CPU time (s) 1157
Current children cumulated vsize (Kb) 79644

[startup+1170.04 s]
Raw data (loadavg): 1.04 0.99 0.92 2/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 31099 0 0 0 116453 245 0 0 25 0 1 0 21199741 81555456 16500 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8712/statm): 19911 16500 364 364 0 19547 0
[pid=8712] vsize: 79644
Current children cumulated CPU time (s) 1166.98
Current children cumulated vsize (Kb) 79644

[startup+1180.04 s]
Raw data (loadavg): 1.03 0.99 0.92 2/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 31108 0 0 0 117449 247 0 0 25 0 1 0 21199741 81555456 16509 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8712/statm): 19911 16509 364 364 0 19547 0
[pid=8712] vsize: 79644
Current children cumulated CPU time (s) 1176.96
Current children cumulated vsize (Kb) 79644

[startup+1190.04 s]
Raw data (loadavg): 1.03 0.99 0.92 2/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 31114 0 0 0 118446 248 0 0 25 0 1 0 21199741 81555456 16515 4294967295 134512640 135987407 3221224560 3221223104 134811937 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8712/statm): 19911 16515 364 364 0 19547 0
[pid=8712] vsize: 79644
Current children cumulated CPU time (s) 1186.94
Current children cumulated vsize (Kb) 79644

[startup+1200.04 s]
Raw data (loadavg): 1.02 0.99 0.92 2/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 31383 0 0 0 119437 251 0 0 25 0 1 0 21199741 81555456 16584 4294967295 134512640 135987407 3221224560 3221223104 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8712/statm): 19911 16584 364 364 0 19547 0
[pid=8712] vsize: 79644
Current children cumulated CPU time (s) 1196.88
Current children cumulated vsize (Kb) 79644

[startup+1210.04 s]
Raw data (loadavg): 1.02 0.99 0.92 2/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 31455 0 0 0 120427 254 0 0 25 0 1 0 21199741 81555456 16656 4294967295 134512640 135987407 3221224560 3221223264 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8712/statm): 19911 16656 364 364 0 19547 0
[pid=8712] vsize: 79644
Current children cumulated CPU time (s) 1206.81
Current children cumulated vsize (Kb) 79644



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.05 s]
Raw data (loadavg): 1.02 0.99 0.92 2/55 8712
Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 31455 0 0 0 120427 254 0 0 25 0 1 0 21199741 81555456 16656 4294967295 134512640 135987407 3221224560 3221223264 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8712/statm): 19911 16656 364 364 0 19547 0
[pid=8712] vsize: 79644
Current children cumulated CPU time (s) 1206.81
Current children cumulated vsize (Kb) 79644

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

Child status: 10
Real time (s): 1210.25
CPU time (s): 1207.02
CPU user time (s): 1204.44
CPU system time (s): 2.58161
CPU usage (%): 99.7329
Max. virtual memory (cumulated for all children) (Kb): 79644

Verifier Data

Verifier:	OK	0