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

Namesubmitted/manquinho/synthesis-ptl-cmos-circuits/normalized-cmb.opb
MD5SUMa8596c98551f801a6658f1ce91b33278
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1053
Optimality of the best value was proved YES
Number of terms in the objective function 304
Biggest coefficient in the objective function 61
Number of bits for the biggest coefficient in the objective function 6
Sum of the numbers in the objective function 12887
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 61
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 12887
Number of bits of the biggest sum of numbers14
Best result obtained on this benchmarkOPTIMUM FOUND
Best CPU time to get the best result obtained on this benchmark63.6713
Number of variables304
Total number of constraints671
Number of constraints which are clauses671
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 constraint1
Maximum length of a constraint28

Trace number 9787

Launcher Data

LAUNCH ON wulflinc2 THE 2005-09-23 15:06:08 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8456 boxname=wulflinc2 idbench=252 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  a8596c98551f801a6658f1ce91b33278  /oldhome/oroussel/tmp/wulflinc2/normalized-cmb.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc2/normalized-cmb.opb
IDLAUNCH: 8456
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.261
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.261
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        905216 kB
Buffers:         16284 kB
Cached:          93740 kB
SwapCached:          0 kB
Active:          45068 kB
Inactive:        67852 kB
HighTotal:      131008 kB
HighFree:        39956 kB
LowTotal:       903652 kB
LowFree:        865260 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6976 kB
Slab:            10924 kB
Committed_AS:    63656 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 15:26:21 (client local time) WITH STATUS 0 IN 1210.57 SECONDS
stats: 8456 0 1210.57 0

Solver Data

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

c Decision: 620717/1558693	Time: 641.309/86400
c Decision: 620717/1558693	Time: 750.032/86400
c Decision: 627652/1558693	Time: 839.508/86400
c Decision: 627652/1558693	Time: 910.237/86400
c Decision: 627652/1558693	Time: 1024.19/86400s SATISFIABLE
v x1 x10 x100 x101 x102 x103 x104 x105 x106 x107 x108 x109 x11 x110 x111 x112 x113 x114 x115 x116 x117 -x118 x119 x12 -x120 x121 x122 x123 x124 x125 x126 x127 x128 x129 x13 x130 x131 x132 x133 x134 x135 x136 x137 x138 x139 x14 x140 x141 x142 x143 x144 x145 x146 x147 x148 x149 x15 x150 x151 x152 x153 x154 x155 x156 x157 x158 x159 x16 x160 x161 x162 x163 x164 x165 x166 x167 x168 x169 x17 x170 x171 x172 x173 x174 x175 x176 -x177 -x178 x179 x18 -x180 -x181 x182 x183 x184 x185 x186 x187 x188 x189 x19 x190 x191 x192 x193 -x194 x195 x196 x197 x198 x199 x2 x20 x200 x201 x202 x203 -x204 -x205 -x206 -x207 x208 x209 x21 x210 x211 x212 x213 x214 x215 x216 x217 -x218 x219 x22 x220 x221 x222 x223 x224 x225 x226 x227 x228 x229 x23 x230 x231 x232 x233 x234 x235 x236 x237 x238 x239 x24 x240 x241 x242 x243 x244 x245 x246 x247 x248 x249 x25 x250 x251 x252 x253 x254 x255 x256 x257 x258 x259 x26 x260 x261 x262 x263 x264 x265 x266 x267 x268 x269 x27 x270 x271 x272 x273 x274 x275 x276 x277 x278 x279 x28 x280 x281 x282 x283 x284 x285 x286 x287 x288 x289 x29 x290 x291 x292 x293 x294 x295 x296 x297 x298 x299 x3 x30 x300 x301 x302 x303 x304 x31 x32 x33 x34 x35 x36 x37 x38 x39 x4 x40 x41 x42 x43 x44 x45 x46 x47 -x48 -x49 x5 x50 x51 x52 x53 x54 x55 x56 x57 x58 x59 x6 x60 x61 x62 x63 x64 x65 x66 x67 x68 x69 x7 x70 x71 x72 x73 x74 x75 x76 x77 x78 x79 x8 x80 x81 -x82 x83 x84 x85 x86 -x87 -x88 x89 x9 x90 x91 x92 x93 x94 x95 x96 x97 x98 x99

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/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 21154932 1527808 2 4294967295 134512640 135987407 3221224576 3221224576 134512928 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8539/statm): 373 2 364 364 0 9 0
[pid=8539] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc2/normalized-cmb.opb

[startup+10.0023 s]
Raw data (loadavg): 0.93 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 31885 0 0 0 926 69 0 0 25 0 1 0 21154932 98652160 20744 4294967295 134512640 135987407 3221224576 3221187164 135480416 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8539/statm): 24085 20744 364 364 0 23721 0
[pid=8539] vsize: 96340
Current children cumulated CPU time (s) 9.95
Current children cumulated vsize (Kb) 96340

[startup+20.003 s]
Raw data (loadavg): 0.94 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 63133 0 0 0 1857 135 0 0 25 0 1 0 21154932 194342912 40775 4294967295 134512640 135987407 3221224576 3221171704 134930929 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8539/statm): 47447 40775 364 364 0 47083 0
[pid=8539] vsize: 189788
Current children cumulated CPU time (s) 19.92
Current children cumulated vsize (Kb) 189788

[startup+30.0037 s]
Raw data (loadavg): 0.95 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 105597 0 0 0 2764 224 0 0 25 0 1 0 21154932 359772160 61049 4294967295 134512640 135987407 3221224576 3221149744 134877710 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8539/statm): 87835 61049 364 364 0 87471 0
[pid=8539] vsize: 351340
Current children cumulated CPU time (s) 29.88
Current children cumulated vsize (Kb) 351340

[startup+40.0034 s]
Raw data (loadavg): 0.96 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 124875 0 0 0 3725 261 0 0 25 0 1 0 21154932 384643072 80095 4294967295 134512640 135987407 3221224576 3221181664 134855001 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8539/statm): 93907 80095 364 364 0 93543 0
[pid=8539] vsize: 375628
Current children cumulated CPU time (s) 39.86
Current children cumulated vsize (Kb) 375628

[startup+50.0031 s]
Raw data (loadavg): 0.96 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 158347 0 0 0 4657 326 0 0 25 0 1 0 21154932 576454656 112814 4294967295 134512640 135987407 3221224576 3221176972 135500012 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8539/statm): 140736 112814 364 364 0 140372 0
[pid=8539] vsize: 562944
Current children cumulated CPU time (s) 49.83
Current children cumulated vsize (Kb) 562944

[startup+60.0039 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 210791 0 0 0 5544 434 0 0 25 0 1 0 21154932 683298816 121622 4294967295 134512640 135987407 3221224576 3221182336 134877628 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8539/statm): 166821 121622 364 364 0 166457 0
[pid=8539] vsize: 667284
Current children cumulated CPU time (s) 59.78
Current children cumulated vsize (Kb) 667284

[startup+70.0046 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 227985 0 0 0 6506 469 0 0 25 0 1 0 21154932 705466368 138609 4294967295 134512640 135987407 3221224576 3221204392 134537317 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8539/statm): 172233 138609 364 364 0 171869 0
[pid=8539] vsize: 688932
Current children cumulated CPU time (s) 69.75
Current children cumulated vsize (Kb) 688932

[startup+80.0053 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 245695 0 0 0 7464 511 0 0 25 0 1 0 21154932 745549824 156179 4294967295 134512640 135987407 3221224576 3221222992 134828922 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8539/statm): 182019 156179 364 364 0 181655 0
[pid=8539] vsize: 728076
Current children cumulated CPU time (s) 79.75
Current children cumulated vsize (Kb) 728076

[startup+90.005 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 252136 0 0 0 8447 526 0 0 25 0 1 0 21154932 760786944 158479 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8539/statm): 185739 158479 364 364 0 185375 0
[pid=8539] vsize: 742956
Current children cumulated CPU time (s) 89.73
Current children cumulated vsize (Kb) 742956

[startup+100.005 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 252545 0 0 0 9445 527 0 0 25 0 1 0 21154932 762298368 158790 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8539/statm): 186108 158790 364 364 0 185744 0
[pid=8539] vsize: 744432
Current children cumulated CPU time (s) 99.72
Current children cumulated vsize (Kb) 744432

[startup+110.005 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 252926 0 0 0 10443 528 0 0 25 0 1 0 21154932 763768832 159040 4294967295 134512640 135987407 3221224576 3221223280 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8539/statm): 186467 159040 364 364 0 186103 0
[pid=8539] vsize: 745868
Current children cumulated CPU time (s) 109.71
Current children cumulated vsize (Kb) 745868

[startup+120.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 253229 0 0 0 11441 529 0 0 25 0 1 0 21154932 765247488 159277 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8539/statm): 186828 159277 364 364 0 186464 0
[pid=8539] vsize: 747312
Current children cumulated CPU time (s) 119.7
Current children cumulated vsize (Kb) 747312

[startup+130.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 253393 0 0 0 12441 530 0 0 25 0 1 0 21154932 765779968 159375 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8539/statm): 186958 159375 364 364 0 186594 0
[pid=8539] vsize: 747832
Current children cumulated CPU time (s) 129.71
Current children cumulated vsize (Kb) 747832

[startup+140.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 253674 0 0 0 13439 531 0 0 25 0 1 0 21154932 766709760 159524 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8539/statm): 187185 159524 364 364 0 186821 0
[pid=8539] vsize: 748740
Current children cumulated CPU time (s) 139.7
Current children cumulated vsize (Kb) 748740

[startup+150.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 254180 0 0 0 14437 532 0 0 25 0 1 0 21154932 768028672 159768 4294967295 134512640 135987407 3221224576 3221222992 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8539/statm): 187507 159768 364 364 0 187143 0
[pid=8539] vsize: 750028
Current children cumulated CPU time (s) 149.69
Current children cumulated vsize (Kb) 750028

[startup+160.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 255301 0 0 0 15433 536 0 0 25 0 1 0 21154932 771334144 160306 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8539/statm): 188314 160306 364 364 0 187950 0
[pid=8539] vsize: 753256
Current children cumulated CPU time (s) 159.69
Current children cumulated vsize (Kb) 753256

[startup+170.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 255761 0 0 0 16432 537 0 0 25 0 1 0 21154932 772648960 160473 4294967295 134512640 135987407 3221224576 3221223120 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8539/statm): 188635 160473 364 364 0 188271 0
[pid=8539] vsize: 754540
Current children cumulated CPU time (s) 169.69
Current children cumulated vsize (Kb) 754540

[startup+180.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 256474 0 0 0 17429 539 0 0 25 0 1 0 21154932 774365184 160860 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8539/statm): 189054 160860 364 364 0 188690 0
[pid=8539] vsize: 756216
Current children cumulated CPU time (s) 179.68
Current children cumulated vsize (Kb) 756216

[startup+190.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 257399 0 0 0 18427 541 0 0 25 0 1 0 21154932 776732672 161264 4294967295 134512640 135987407 3221224576 3221223280 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8539/statm): 189632 161264 364 364 0 189268 0
[pid=8539] vsize: 758528
Current children cumulated CPU time (s) 189.68
Current children cumulated vsize (Kb) 758528

[startup+200.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 257411 0 0 0 19426 541 0 0 25 0 1 0 21154932 776732672 161276 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8539/statm): 189632 161276 364 364 0 189268 0
[pid=8539] vsize: 758528
Current children cumulated CPU time (s) 199.67
Current children cumulated vsize (Kb) 758528

[startup+210.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 258039 0 0 0 20424 543 0 0 25 0 1 0 21154932 778452992 161611 4294967295 134512640 135987407 3221224576 3221223120 134812038 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8539/statm): 190052 161611 364 364 0 189688 0
[pid=8539] vsize: 760208
Current children cumulated CPU time (s) 209.67
Current children cumulated vsize (Kb) 760208

[startup+220.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 258225 0 0 0 21423 543 0 0 25 0 1 0 21154932 778977280 161666 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8539/statm): 190180 161666 364 364 0 189816 0
[pid=8539] vsize: 760720
Current children cumulated CPU time (s) 219.66
Current children cumulated vsize (Kb) 760720

[startup+230.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 258364 0 0 0 22422 544 0 0 25 0 1 0 21154932 779374592 161740 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8539/statm): 190277 161740 364 364 0 189913 0
[pid=8539] vsize: 761108
Current children cumulated CPU time (s) 229.66
Current children cumulated vsize (Kb) 761108

[startup+240.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 258948 0 0 0 23419 546 0 0 25 0 1 0 21154932 780689408 162032 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8539/statm): 190598 162032 364 364 0 190234 0
[pid=8539] vsize: 762392
Current children cumulated CPU time (s) 239.65
Current children cumulated vsize (Kb) 762392

[startup+250.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 259215 0 0 0 24416 547 0 0 25 0 1 0 21154932 781348864 162168 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8539/statm): 190759 162168 364 364 0 190395 0
[pid=8539] vsize: 763036
Current children cumulated CPU time (s) 249.63
Current children cumulated vsize (Kb) 763036

[startup+260.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 259454 0 0 0 25414 548 0 0 25 0 1 0 21154932 782422016 162341 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8539/statm): 191021 162341 364 364 0 190657 0
[pid=8539] vsize: 764084
Current children cumulated CPU time (s) 259.62
Current children cumulated vsize (Kb) 764084

[startup+270.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 259618 0 0 0 26412 549 0 0 25 0 1 0 21154932 783429632 162505 4294967295 134512640 135987407 3221224576 3221223280 134789987 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8539/statm): 191267 162505 364 364 0 190903 0
[pid=8539] vsize: 765068
Current children cumulated CPU time (s) 269.61
Current children cumulated vsize (Kb) 765068

[startup+280.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 259798 0 0 0 27411 550 0 0 25 0 1 0 21154932 784297984 162652 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8539/statm): 191479 162652 364 364 0 191115 0
[pid=8539] vsize: 765916
Current children cumulated CPU time (s) 279.61
Current children cumulated vsize (Kb) 765916

[startup+290.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 259935 0 0 0 28409 550 0 0 25 0 1 0 21154932 784695296 162723 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8539/statm): 191576 162723 364 364 0 191212 0
[pid=8539] vsize: 766304
Current children cumulated CPU time (s) 289.59
Current children cumulated vsize (Kb) 766304

[startup+300.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 260227 0 0 0 29407 552 0 0 25 0 1 0 21154932 785760256 162883 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8539/statm): 191836 162883 364 364 0 191472 0
[pid=8539] vsize: 767344
Current children cumulated CPU time (s) 299.59
Current children cumulated vsize (Kb) 767344

[startup+310.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 260234 0 0 0 30405 553 0 0 25 0 1 0 21154932 785760256 162890 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8539/statm): 191836 162890 364 364 0 191472 0
[pid=8539] vsize: 767344
Current children cumulated CPU time (s) 309.58
Current children cumulated vsize (Kb) 767344

[startup+320.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 260486 0 0 0 31403 554 0 0 25 0 1 0 21154932 786690048 163044 4294967295 134512640 135987407 3221224576 3221223248 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8539/statm): 192063 163044 364 364 0 191699 0
[pid=8539] vsize: 768252
Current children cumulated CPU time (s) 319.57
Current children cumulated vsize (Kb) 768252

[startup+330.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 260499 0 0 0 32401 555 0 0 25 0 1 0 21154932 786690048 163057 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8539/statm): 192063 163057 364 364 0 191699 0
[pid=8539] vsize: 768252
Current children cumulated CPU time (s) 329.56
Current children cumulated vsize (Kb) 768252

[startup+340.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 260551 0 0 0 33400 555 0 0 25 0 1 0 21154932 786960384 163109 4294967295 134512640 135987407 3221224576 3221223120 134811778 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8539/statm): 192129 163109 364 364 0 191765 0
[pid=8539] vsize: 768516
Current children cumulated CPU time (s) 339.55
Current children cumulated vsize (Kb) 768516

[startup+350.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 260565 0 0 0 34398 556 0 0 25 0 1 0 21154932 786960384 163123 4294967295 134512640 135987407 3221224576 3221223120 134811842 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8539/statm): 192129 163123 364 364 0 191765 0
[pid=8539] vsize: 768516
Current children cumulated CPU time (s) 349.54
Current children cumulated vsize (Kb) 768516

[startup+360.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 260608 0 0 0 35396 557 0 0 25 0 1 0 21154932 787091456 163133 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8539/statm): 192161 163133 364 364 0 191797 0
[pid=8539] vsize: 768644
Current children cumulated CPU time (s) 359.53
Current children cumulated vsize (Kb) 768644

[startup+370.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 260657 0 0 0 36394 557 0 0 25 0 1 0 21154932 787361792 163182 4294967295 134512640 135987407 3221224576 3221223280 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8539/statm): 192227 163182 364 364 0 191863 0
[pid=8539] vsize: 768908
Current children cumulated CPU time (s) 369.51
Current children cumulated vsize (Kb) 768908

[startup+380.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 260756 0 0 0 37393 559 0 0 25 0 1 0 21154932 787623936 163215 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8539/statm): 192291 163215 364 364 0 191927 0
[pid=8539] vsize: 769164
Current children cumulated CPU time (s) 379.52
Current children cumulated vsize (Kb) 769164

[startup+390.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 260758 0 0 0 38391 559 0 0 25 0 1 0 21154932 787623936 163217 4294967295 134512640 135987407 3221224576 3221223280 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8539/statm): 192291 163217 364 364 0 191927 0
[pid=8539] vsize: 769164
Current children cumulated CPU time (s) 389.5
Current children cumulated vsize (Kb) 769164

[startup+400.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 260850 0 0 0 39389 560 0 0 25 0 1 0 21154932 787886080 163243 4294967295 134512640 135987407 3221224576 3221223280 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8539/statm): 192355 163243 364 364 0 191991 0
[pid=8539] vsize: 769420
Current children cumulated CPU time (s) 399.49
Current children cumulated vsize (Kb) 769420

[startup+410.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 260856 0 0 0 40388 560 0 0 25 0 1 0 21154932 787886080 163249 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8539/statm): 192355 163249 364 364 0 191991 0
[pid=8539] vsize: 769420
Current children cumulated CPU time (s) 409.48
Current children cumulated vsize (Kb) 769420

[startup+420.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 260919 0 0 0 41386 561 0 0 25 0 1 0 21154932 788017152 163279 4294967295 134512640 135987407 3221224576 3221223120 134811933 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8539/statm): 192387 163279 364 364 0 192023 0
[pid=8539] vsize: 769548
Current children cumulated CPU time (s) 419.47
Current children cumulated vsize (Kb) 769548

[startup+430.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 260922 0 0 0 42385 562 0 0 25 0 1 0 21154932 788017152 163282 4294967295 134512640 135987407 3221224576 3221223280 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8539/statm): 192387 163282 364 364 0 192023 0
[pid=8539] vsize: 769548
Current children cumulated CPU time (s) 429.47
Current children cumulated vsize (Kb) 769548

[startup+440.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 260927 0 0 0 43383 563 0 0 25 0 1 0 21154932 788017152 163287 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8539/statm): 192387 163287 364 364 0 192023 0
[pid=8539] vsize: 769548
Current children cumulated CPU time (s) 439.46
Current children cumulated vsize (Kb) 769548

[startup+450.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 260930 0 0 0 44381 563 0 0 25 0 1 0 21154932 788017152 163290 4294967295 134512640 135987407 3221224576 3221223120 134811942 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8539/statm): 192387 163290 364 364 0 192023 0
[pid=8539] vsize: 769548
Current children cumulated CPU time (s) 449.44
Current children cumulated vsize (Kb) 769548

[startup+460.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 260959 0 0 0 45379 564 0 0 25 0 1 0 21154932 788152320 163319 4294967295 134512640 135987407 3221224576 3221223280 134790054 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8539/statm): 192420 163319 364 364 0 192056 0
[pid=8539] vsize: 769680
Current children cumulated CPU time (s) 459.43
Current children cumulated vsize (Kb) 769680

[startup+470.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 260986 0 0 0 46378 565 0 0 25 0 1 0 21154932 788287488 163346 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8539/statm): 192453 163346 364 364 0 192089 0
[pid=8539] vsize: 769812
Current children cumulated CPU time (s) 469.43
Current children cumulated vsize (Kb) 769812

[startup+480.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 260989 0 0 0 47376 565 0 0 25 0 1 0 21154932 788287488 163349 4294967295 134512640 135987407 3221224576 3221223280 134789987 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8539/statm): 192453 163349 364 364 0 192089 0
[pid=8539] vsize: 769812
Current children cumulated CPU time (s) 479.41
Current children cumulated vsize (Kb) 769812

[startup+490.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 261031 0 0 0 48375 566 0 0 25 0 1 0 21154932 788422656 163391 4294967295 134512640 135987407 3221224576 3221223120 134811773 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8539/statm): 192486 163391 364 364 0 192122 0
[pid=8539] vsize: 769944
Current children cumulated CPU time (s) 489.41
Current children cumulated vsize (Kb) 769944

[startup+500.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 261035 0 0 0 49373 566 0 0 25 0 1 0 21154932 788422656 163395 4294967295 134512640 135987407 3221224576 3221223280 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8539/statm): 192486 163395 364 364 0 192122 0
[pid=8539] vsize: 769944
Current children cumulated CPU time (s) 499.39
Current children cumulated vsize (Kb) 769944

[startup+510.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 261044 0 0 0 50371 567 0 0 25 0 1 0 21154932 788422656 163404 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8539/statm): 192486 163404 364 364 0 192122 0
[pid=8539] vsize: 769944
Current children cumulated CPU time (s) 509.38
Current children cumulated vsize (Kb) 769944

[startup+520.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 261048 0 0 0 51369 568 0 0 25 0 1 0 21154932 788422656 163408 4294967295 134512640 135987407 3221224576 3221223120 134788799 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8539/statm): 192486 163408 364 364 0 192122 0
[pid=8539] vsize: 769944
Current children cumulated CPU time (s) 519.37
Current children cumulated vsize (Kb) 769944

[startup+530.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 261052 0 0 0 52368 569 0 0 25 0 1 0 21154932 788422656 163412 4294967295 134512640 135987407 3221224576 3221223280 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8539/statm): 192486 163412 364 364 0 192122 0
[pid=8539] vsize: 769944
Current children cumulated CPU time (s) 529.37
Current children cumulated vsize (Kb) 769944

[startup+540.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 261057 0 0 0 53366 569 0 0 25 0 1 0 21154932 788422656 163417 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8539/statm): 192486 163417 364 364 0 192122 0
[pid=8539] vsize: 769944
Current children cumulated CPU time (s) 539.35
Current children cumulated vsize (Kb) 769944

[startup+550.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 261072 0 0 0 54364 570 0 0 25 0 1 0 21154932 788422656 163432 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8539/statm): 192486 163432 364 364 0 192122 0
[pid=8539] vsize: 769944
Current children cumulated CPU time (s) 549.34
Current children cumulated vsize (Kb) 769944

[startup+560.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 261078 0 0 0 55362 571 0 0 25 0 1 0 21154932 788422656 163438 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8539/statm): 192486 163438 364 364 0 192122 0
[pid=8539] vsize: 769944
Current children cumulated CPU time (s) 559.33
Current children cumulated vsize (Kb) 769944

[startup+570.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 261376 0 0 0 56360 572 0 0 25 0 1 0 21154932 789213184 163572 4294967295 134512640 135987407 3221224576 3221223120 134811778 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8539/statm): 192679 163572 364 364 0 192315 0
[pid=8539] vsize: 770716
Current children cumulated CPU time (s) 569.32
Current children cumulated vsize (Kb) 770716

[startup+580.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 261696 0 0 0 57356 574 0 0 25 0 1 0 21154932 790196224 163698 4294967295 134512640 135987407 3221224576 3221223280 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8539/statm): 192919 163698 364 364 0 192555 0
[pid=8539] vsize: 771676
Current children cumulated CPU time (s) 579.3
Current children cumulated vsize (Kb) 771676

[startup+590.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 261956 0 0 0 58352 575 0 0 25 0 1 0 21154932 791597056 163958 4294967295 134512640 135987407 3221224576 3221222996 134788428 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8539/statm): 193261 163958 364 364 0 192897 0
[pid=8539] vsize: 773044
Current children cumulated CPU time (s) 589.27
Current children cumulated vsize (Kb) 773044

[startup+600.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 262209 0 0 0 59350 576 0 0 25 0 1 0 21154932 792539136 164178 4294967295 134512640 135987407 3221224576 3221223120 134811822 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8539/statm): 193491 164178 364 364 0 193127 0
[pid=8539] vsize: 773964
Current children cumulated CPU time (s) 599.26
Current children cumulated vsize (Kb) 773964

[startup+610.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 264194 0 0 0 60343 581 0 0 25 0 1 0 21154932 798068736 164993 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8539/statm): 194841 164993 364 364 0 194477 0
[pid=8539] vsize: 779364
Current children cumulated CPU time (s) 609.24
Current children cumulated vsize (Kb) 779364

[startup+620.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 264725 0 0 0 61340 583 0 0 25 0 1 0 21154932 799727616 165232 4294967295 134512640 135987407 3221224576 3221223216 134812349 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8539/statm): 195246 165232 364 364 0 194882 0
[pid=8539] vsize: 780984
Current children cumulated CPU time (s) 619.23
Current children cumulated vsize (Kb) 780984

[startup+630.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 265132 0 0 0 62339 585 0 0 25 0 1 0 21154932 800780288 165445 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8539/statm): 195503 165445 364 364 0 195139 0
[pid=8539] vsize: 782012
Current children cumulated CPU time (s) 629.24
Current children cumulated vsize (Kb) 782012

[startup+640.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 265826 0 0 0 63335 587 0 0 25 0 1 0 21154932 803016704 165717 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8539/statm): 196049 165717 364 364 0 195685 0
[pid=8539] vsize: 784196
Current children cumulated CPU time (s) 639.22
Current children cumulated vsize (Kb) 784196

[startup+650.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 265925 0 0 0 64334 587 0 0 25 0 1 0 21154932 803278848 165750 4294967295 134512640 135987407 3221224576 3221222992 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8539/statm): 196113 165750 364 364 0 195749 0
[pid=8539] vsize: 784452
Current children cumulated CPU time (s) 649.21
Current children cumulated vsize (Kb) 784452

[startup+660.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 265992 0 0 0 65332 589 0 0 25 0 1 0 21154932 803409920 165784 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8539/statm): 196145 165784 364 364 0 195781 0
[pid=8539] vsize: 784580
Current children cumulated CPU time (s) 659.21
Current children cumulated vsize (Kb) 784580

[startup+670.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 266063 0 0 0 66331 589 0 0 25 0 1 0 21154932 803540992 165822 4294967295 134512640 135987407 3221224576 3221223120 134788799 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8539/statm): 196177 165822 364 364 0 195813 0
[pid=8539] vsize: 784708
Current children cumulated CPU time (s) 669.2
Current children cumulated vsize (Kb) 784708

[startup+680.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 266168 0 0 0 67329 590 0 0 25 0 1 0 21154932 803803136 165861 4294967295 134512640 135987407 3221224576 3221223120 134811927 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8539/statm): 196241 165861 364 364 0 195877 0
[pid=8539] vsize: 784964
Current children cumulated CPU time (s) 679.19
Current children cumulated vsize (Kb) 784964

[startup+690.015 s]
Raw data (loadavg): 0.99 0.98 0.99 1/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) T 8538 8539 4070 0 -1 0 267040 0 0 0 68325 592 0 0 25 0 1 0 21154932 806572032 166310 4294967295 134512640 135987407 3221224576 3221223260 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8539/statm): 196917 166310 364 364 0 196553 0
[pid=8539] vsize: 787668
Current children cumulated CPU time (s) 689.17
Current children cumulated vsize (Kb) 787668

[startup+700.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 267626 0 0 0 69321 594 0 0 25 0 1 0 21154932 807882752 166569 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8539/statm): 197237 166569 364 364 0 196873 0
[pid=8539] vsize: 788948
Current children cumulated CPU time (s) 699.15
Current children cumulated vsize (Kb) 788948

[startup+710.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 267651 0 0 0 70320 594 0 0 25 0 1 0 21154932 807882752 166594 4294967295 134512640 135987407 3221224576 3221223072 134789452 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8539/statm): 197237 166594 364 364 0 196873 0
[pid=8539] vsize: 788948
Current children cumulated CPU time (s) 709.14
Current children cumulated vsize (Kb) 788948

[startup+720.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 270967 0 0 0 71312 602 0 0 25 0 1 0 21154932 808542208 166767 4294967295 134512640 135987407 3221224576 3221223120 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8539/statm): 197398 166767 364 364 0 197034 0
[pid=8539] vsize: 789592
Current children cumulated CPU time (s) 719.14
Current children cumulated vsize (Kb) 789592

[startup+730.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 271533 0 0 0 72310 603 0 0 25 0 1 0 21154932 810119168 167011 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8539/statm): 197783 167011 364 364 0 197419 0
[pid=8539] vsize: 791132
Current children cumulated CPU time (s) 729.13
Current children cumulated vsize (Kb) 791132

[startup+740.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 271583 0 0 0 73306 604 0 0 25 0 1 0 21154932 810250240 167028 4294967295 134512640 135987407 3221224576 3221223120 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8539/statm): 197815 167028 364 364 0 197451 0
[pid=8539] vsize: 791260
Current children cumulated CPU time (s) 739.1
Current children cumulated vsize (Kb) 791260

[startup+750.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 271685 0 0 0 74303 605 0 0 25 0 1 0 21154932 810512384 167065 4294967295 134512640 135987407 3221224576 3221223120 134812005 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8539/statm): 197879 167065 364 364 0 197515 0
[pid=8539] vsize: 791516
Current children cumulated CPU time (s) 749.08
Current children cumulated vsize (Kb) 791516

[startup+760.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 271697 0 0 0 75299 606 0 0 25 0 1 0 21154932 810512384 167077 4294967295 134512640 135987407 3221224576 3221223120 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8539/statm): 197879 167077 364 364 0 197515 0
[pid=8539] vsize: 791516
Current children cumulated CPU time (s) 759.05
Current children cumulated vsize (Kb) 791516

[startup+770.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 271698 0 0 0 76297 607 0 0 25 0 1 0 21154932 810512384 167078 4294967295 134512640 135987407 3221224576 3221222992 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8539/statm): 197879 167078 364 364 0 197515 0
[pid=8539] vsize: 791516
Current children cumulated CPU time (s) 769.04
Current children cumulated vsize (Kb) 791516

[startup+780.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 271698 0 0 0 77296 608 0 0 25 0 1 0 21154932 810512384 167078 4294967295 134512640 135987407 3221224576 3221222992 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8539/statm): 197879 167078 364 364 0 197515 0
[pid=8539] vsize: 791516
Current children cumulated CPU time (s) 779.04
Current children cumulated vsize (Kb) 791516

[startup+790.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 271698 0 0 0 78294 609 0 0 25 0 1 0 21154932 810512384 167078 4294967295 134512640 135987407 3221224576 3221223280 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8539/statm): 197879 167078 364 364 0 197515 0
[pid=8539] vsize: 791516
Current children cumulated CPU time (s) 789.03
Current children cumulated vsize (Kb) 791516

[startup+800.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 271704 0 0 0 79293 609 0 0 25 0 1 0 21154932 810512384 167084 4294967295 134512640 135987407 3221224576 3221223120 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8539/statm): 197879 167084 364 364 0 197515 0
[pid=8539] vsize: 791516
Current children cumulated CPU time (s) 799.02
Current children cumulated vsize (Kb) 791516

[startup+810.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 271994 0 0 0 80292 610 0 0 25 0 1 0 21154932 811036672 167245 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8539/statm): 198007 167245 364 364 0 197643 0
[pid=8539] vsize: 792028
Current children cumulated CPU time (s) 809.02
Current children cumulated vsize (Kb) 792028

[startup+820.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 272141 0 0 0 81289 611 0 0 25 0 1 0 21154932 811298816 167327 4294967295 134512640 135987407 3221224576 3221223280 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8539/statm): 198071 167327 364 364 0 197707 0
[pid=8539] vsize: 792284
Current children cumulated CPU time (s) 819
Current children cumulated vsize (Kb) 792284

[startup+830.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 275508 0 0 0 82280 620 0 0 25 0 1 0 21154932 812085248 167455 4294967295 134512640 135987407 3221224576 3221223048 134775385 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8539/statm): 198263 167455 364 364 0 197899 0
[pid=8539] vsize: 793052
Current children cumulated CPU time (s) 829
Current children cumulated vsize (Kb) 793052

[startup+840.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 276579 0 0 0 83276 622 0 0 25 0 1 0 21154932 815235072 167815 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8539/statm): 199032 167815 364 364 0 198668 0
[pid=8539] vsize: 796128
Current children cumulated CPU time (s) 838.98
Current children cumulated vsize (Kb) 796128

[startup+850.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 277016 0 0 0 84273 623 0 0 25 0 1 0 21154932 816283648 167993 4294967295 134512640 135987407 3221224576 3221223120 134812194 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8539/statm): 199288 167993 364 364 0 198924 0
[pid=8539] vsize: 797152
Current children cumulated CPU time (s) 848.96
Current children cumulated vsize (Kb) 797152

[startup+860.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 277026 0 0 0 85271 624 0 0 25 0 1 0 21154932 816283648 168003 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8539/statm): 199288 168003 364 364 0 198924 0
[pid=8539] vsize: 797152
Current children cumulated CPU time (s) 858.95
Current children cumulated vsize (Kb) 797152

[startup+870.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 277115 0 0 0 86268 625 0 0 25 0 1 0 21154932 816545792 168027 4294967295 134512640 135987407 3221224576 3221223244 135479985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8539/statm): 199352 168027 364 364 0 198988 0
[pid=8539] vsize: 797408
Current children cumulated CPU time (s) 868.93
Current children cumulated vsize (Kb) 797408

[startup+880.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 277122 0 0 0 87265 626 0 0 25 0 1 0 21154932 816545792 168034 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8539/statm): 199352 168034 364 364 0 198988 0
[pid=8539] vsize: 797408
Current children cumulated CPU time (s) 878.91
Current children cumulated vsize (Kb) 797408

[startup+890.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 277126 0 0 0 88263 628 0 0 25 0 1 0 21154932 816545792 168038 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8539/statm): 199352 168038 364 364 0 198988 0
[pid=8539] vsize: 797408
Current children cumulated CPU time (s) 888.91
Current children cumulated vsize (Kb) 797408

[startup+900.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 277130 0 0 0 89260 628 0 0 25 0 1 0 21154932 816545792 168042 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8539/statm): 199352 168042 364 364 0 198988 0
[pid=8539] vsize: 797408
Current children cumulated CPU time (s) 898.88
Current children cumulated vsize (Kb) 797408

[startup+910.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 277384 0 0 0 90258 630 0 0 25 0 1 0 21154932 816939008 168198 4294967295 134512640 135987407 3221224576 3221223120 134811768 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8539/statm): 199448 168198 364 364 0 199084 0
[pid=8539] vsize: 797792
Current children cumulated CPU time (s) 908.88
Current children cumulated vsize (Kb) 797792

[startup+920.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 280629 0 0 0 91248 639 0 0 25 0 1 0 21154932 817201152 168333 4294967295 134512640 135987407 3221224576 3221223120 134811842 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8539/statm): 199512 168333 364 364 0 199148 0
[pid=8539] vsize: 798048
Current children cumulated CPU time (s) 918.87
Current children cumulated vsize (Kb) 798048

[startup+930.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 280631 0 0 0 92245 640 0 0 25 0 1 0 21154932 817201152 168335 4294967295 134512640 135987407 3221224576 3221223280 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8539/statm): 199512 168335 364 364 0 199148 0
[pid=8539] vsize: 798048
Current children cumulated CPU time (s) 928.85
Current children cumulated vsize (Kb) 798048

[startup+940.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 280673 0 0 0 93243 641 0 0 25 0 1 0 21154932 817467392 168377 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8539/statm): 199577 168377 364 364 0 199213 0
[pid=8539] vsize: 798308
Current children cumulated CPU time (s) 938.84
Current children cumulated vsize (Kb) 798308

[startup+950.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 280676 0 0 0 94242 641 0 0 25 0 1 0 21154932 817467392 168380 4294967295 134512640 135987407 3221224576 3221223120 134812028 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8539/statm): 199577 168380 364 364 0 199213 0
[pid=8539] vsize: 798308
Current children cumulated CPU time (s) 948.83
Current children cumulated vsize (Kb) 798308

[startup+960.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 280677 0 0 0 95240 642 0 0 25 0 1 0 21154932 817467392 168381 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8539/statm): 199577 168381 364 364 0 199213 0
[pid=8539] vsize: 798308
Current children cumulated CPU time (s) 958.82
Current children cumulated vsize (Kb) 798308

[startup+970.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 280688 0 0 0 96237 643 0 0 25 0 1 0 21154932 817467392 168392 4294967295 134512640 135987407 3221224576 3221223280 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8539/statm): 199577 168392 364 364 0 199213 0
[pid=8539] vsize: 798308
Current children cumulated CPU time (s) 968.8
Current children cumulated vsize (Kb) 798308

[startup+980.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 280694 0 0 0 97235 644 0 0 25 0 1 0 21154932 817467392 168398 4294967295 134512640 135987407 3221224576 3221223280 134790000 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8539/statm): 199577 168398 364 364 0 199213 0
[pid=8539] vsize: 798308
Current children cumulated CPU time (s) 978.79
Current children cumulated vsize (Kb) 798308

[startup+990.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 284226 0 0 0 98225 654 0 0 25 0 1 0 21154932 818647040 168593 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8539/statm): 199865 168593 364 364 0 199501 0
[pid=8539] vsize: 799460
Current children cumulated CPU time (s) 988.79
Current children cumulated vsize (Kb) 799460

[startup+1000.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 284226 0 0 0 99222 654 0 0 25 0 1 0 21154932 818647040 168593 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8539/statm): 199865 168593 364 364 0 199501 0
[pid=8539] vsize: 799460
Current children cumulated CPU time (s) 998.76
Current children cumulated vsize (Kb) 799460

[startup+1010.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 284240 0 0 0 100219 655 0 0 25 0 1 0 21154932 818647040 168607 4294967295 134512640 135987407 3221224576 3221223120 134812197 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8539/statm): 199865 168607 364 364 0 199501 0
[pid=8539] vsize: 799460
Current children cumulated CPU time (s) 1008.74
Current children cumulated vsize (Kb) 799460

[startup+1020.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 284256 0 0 0 101215 656 0 0 25 0 1 0 21154932 818647040 168623 4294967295 134512640 135987407 3221224576 3221223280 134790060 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8539/statm): 199865 168623 364 364 0 199501 0
[pid=8539] vsize: 799460
Current children cumulated CPU time (s) 1018.71
Current children cumulated vsize (Kb) 799460

[startup+1030.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 284257 0 0 0 102212 658 0 0 25 0 1 0 21154932 818647040 168624 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8539/statm): 199865 168624 364 364 0 199501 0
[pid=8539] vsize: 799460
Current children cumulated CPU time (s) 1028.7
Current children cumulated vsize (Kb) 799460

[startup+1040.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 284258 0 0 0 103209 659 0 0 25 0 1 0 21154932 818647040 168625 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8539/statm): 199865 168625 364 364 0 199501 0
[pid=8539] vsize: 799460
Current children cumulated CPU time (s) 1038.68
Current children cumulated vsize (Kb) 799460

[startup+1050.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 284260 0 0 0 104206 660 0 0 25 0 1 0 21154932 818647040 168627 4294967295 134512640 135987407 3221224576 3221223280 134790060 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8539/statm): 199865 168627 364 364 0 199501 0
[pid=8539] vsize: 799460
Current children cumulated CPU time (s) 1048.66
Current children cumulated vsize (Kb) 799460

[startup+1060.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 284264 0 0 0 105203 661 0 0 25 0 1 0 21154932 818647040 168631 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8539/statm): 199865 168631 364 364 0 199501 0
[pid=8539] vsize: 799460
Current children cumulated CPU time (s) 1058.64
Current children cumulated vsize (Kb) 799460

[startup+1070.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 284292 0 0 0 106199 662 0 0 25 0 1 0 21154932 818647040 168659 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8539/statm): 199865 168659 364 364 0 199501 0
[pid=8539] vsize: 799460
Current children cumulated CPU time (s) 1068.61
Current children cumulated vsize (Kb) 799460

[startup+1080.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 284294 0 0 0 107195 664 0 0 25 0 1 0 21154932 818647040 168661 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8539/statm): 199865 168661 364 364 0 199501 0
[pid=8539] vsize: 799460
Current children cumulated CPU time (s) 1078.59
Current children cumulated vsize (Kb) 799460

[startup+1090.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 284302 0 0 0 108192 664 0 0 25 0 1 0 21154932 818647040 168669 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8539/statm): 199865 168669 364 364 0 199501 0
[pid=8539] vsize: 799460
Current children cumulated CPU time (s) 1088.56
Current children cumulated vsize (Kb) 799460

[startup+1100.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 287349 0 0 0 109182 673 0 0 25 0 1 0 21154932 831119360 171716 4294967295 134512640 135987407 3221224576 3221222800 134829294 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8539/statm): 202910 171716 364 364 0 202546 0
[pid=8539] vsize: 811640
Current children cumulated CPU time (s) 1098.55
Current children cumulated vsize (Kb) 811640

[startup+1110.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 287622 0 0 0 110178 676 0 0 25 0 1 0 21154932 819302400 168782 4294967295 134512640 135987407 3221224576 3221223296 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8539/statm): 200025 168782 364 364 0 199661 0
[pid=8539] vsize: 800100
Current children cumulated CPU time (s) 1108.54
Current children cumulated vsize (Kb) 800100

[startup+1120.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 287712 0 0 0 111174 677 0 0 25 0 1 0 21154932 819568640 168839 4294967295 134512640 135987407 3221224576 3221223280 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8539/statm): 200090 168839 364 364 0 199726 0
[pid=8539] vsize: 800360
Current children cumulated CPU time (s) 1118.51
Current children cumulated vsize (Kb) 800360

[startup+1130.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 287713 0 0 0 112169 680 0 0 25 0 1 0 21154932 819568640 168840 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8539/statm): 200090 168840 364 364 0 199726 0
[pid=8539] vsize: 800360
Current children cumulated CPU time (s) 1128.49
Current children cumulated vsize (Kb) 800360

[startup+1140.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 287714 0 0 0 113163 682 0 0 25 0 1 0 21154932 819568640 168841 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8539/statm): 200090 168841 364 364 0 199726 0
[pid=8539] vsize: 800360
Current children cumulated CPU time (s) 1138.45
Current children cumulated vsize (Kb) 800360

[startup+1150.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 287715 0 0 0 114160 684 0 0 25 0 1 0 21154932 819568640 168842 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8539/statm): 200090 168842 364 364 0 199726 0
[pid=8539] vsize: 800360
Current children cumulated CPU time (s) 1148.44
Current children cumulated vsize (Kb) 800360

[startup+1160.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 287718 0 0 0 115156 685 0 0 25 0 1 0 21154932 819568640 168845 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8539/statm): 200090 168845 364 364 0 199726 0
[pid=8539] vsize: 800360
Current children cumulated CPU time (s) 1158.41
Current children cumulated vsize (Kb) 800360

[startup+1170.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 287856 0 0 0 116154 686 0 0 25 0 1 0 21154932 819830784 168918 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8539/statm): 200154 168918 364 364 0 199790 0
[pid=8539] vsize: 800616
Current children cumulated CPU time (s) 1168.4
Current children cumulated vsize (Kb) 800616

[startup+1180.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 288019 0 0 0 117152 687 0 0 25 0 1 0 21154932 820092928 169016 4294967295 134512640 135987407 3221224576 3221222892 135480681 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8539/statm): 200218 169016 364 364 0 199854 0
[pid=8539] vsize: 800872
Current children cumulated CPU time (s) 1178.39
Current children cumulated vsize (Kb) 800872

[startup+1190.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 288206 0 0 0 118149 689 0 0 25 0 1 0 21154932 820617216 169074 4294967295 134512640 135987407 3221224576 3221222992 134788469 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8539/statm): 200346 169074 364 364 0 199982 0
[pid=8539] vsize: 801384
Current children cumulated CPU time (s) 1188.38
Current children cumulated vsize (Kb) 801384

[startup+1200.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 288229 0 0 0 119146 690 0 0 25 0 1 0 21154932 820617216 169097 4294967295 134512640 135987407 3221224576 3221223296 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8539/statm): 200346 169097 364 364 0 199982 0
[pid=8539] vsize: 801384
Current children cumulated CPU time (s) 1198.36
Current children cumulated vsize (Kb) 801384

[startup+1210.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 288439 0 0 0 120145 691 0 0 25 0 1 0 21154932 821010432 169209 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8539/statm): 200442 169209 364 364 0 200078 0
[pid=8539] vsize: 801768
Current children cumulated CPU time (s) 1208.36
Current children cumulated vsize (Kb) 801768



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8539
Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 288439 0 0 0 120145 691 0 0 25 0 1 0 21154932 821010432 169209 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8539/statm): 200442 169209 364 364 0 200078 0
[pid=8539] vsize: 801768
Current children cumulated CPU time (s) 1208.36
Current children cumulated vsize (Kb) 801768

Sending SIGTERM to -8539
Sleeping 2 seconds
Sending SIGKILL to -8539
One traced child (pid=8539) ended because it received signal 9 (SIGKILL)
All traced children have exited ! Game is over.

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1212.24
CPU time (s): 1210.57
CPU user time (s): 1203.3
CPU system time (s): 7.2659
CPU usage (%): 99.8616
Max. virtual memory (cumulated for all children) (Kb): 811640

Verifier Data

Verifier:	OK	12145