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/logic-synthesis/normalized-f51m.b.opb
MD5SUM4fc22abde8250807abd95442a25fac44
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 18
Optimality of the best value was proved YES
Number of terms in the objective function 407
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 407
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 407
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 benchmark99.3649
Number of variables406
Total number of constraints538
Number of constraints which are clauses520
Number of constraints which are cardinality constraints (but not clauses)18
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint123

Trace number 9589

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.145
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:      1034724 kB
MemFree:        932460 kB
Buffers:         14152 kB
Cached:          68672 kB
SwapCached:          0 kB
Active:          41852 kB
Inactive:        43888 kB
HighTotal:      131072 kB
HighFree:        57856 kB
LowTotal:       903652 kB
LowFree:        874604 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6984 kB
Slab:            10912 kB
Committed_AS:    63656 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 14:40:10 (client local time) WITH STATUS 10 IN 1200.93 SECONDS
stats: 8271 0 1200.93 10

Solver Data

c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
c got solution with objective value: 401
c small objective detected
c got solution with objective value: 144
c [startup+6.25931 s]  setting bit 8 to 1

c Decision: 79376/83829	Time: 13.411/86400
c Decision: 79376/83829	Time: 23.0355/86400
c Decision: 79376/83829	Time: 34.5787/86400
c Decision: 79376/83829	Time: 45.767/86400
c Decision: 79376/83829	Time: 58.0412/86400
c Decision: 79376/83829	Time: 73.3778/86400
c Decision: 79376/83829	Time: 88.0146/86400
c Decision: 79376/83829	Time: 101.76/86400
c Decision: 79376/83829	Time: 114.492/86400
c Decision: 79672/83829	Time: 138.46/86400
c Decision: 79672/83829	Time: 152.508/86400
c Decision: 79672/83829	Time: 165.966/86400
c Decision: 79672/83829	Time: 179.194/86400
c Decision: 79672/83829	Time: 194.741/86400
c Decision: 79672/83829	Time: 209.256/86400
c Decision: 79672/83829	Time: 222.339/86400
c Decision: 79672/83829	Time: 236.199/86400
c Decision: 79672/83829	Time: 251.548/86400
c Decision: 79672/83829	Time: 266.357/86400
c Decision: 79672/83829	Time: 280.947/86400
c Decision: 79672/83829	Time: 294.721/86400
c Decision: 79672/83829	Time: 310.239/86400
c Decision: 79672/83829	Time: 323.679/86400
c Decision: 79672/83829	Time: 337.019/86400
c Decision: 79672/83829	Time: 351.348/86400
c Decision: 79672/83829	Time: 365.359/86400
c Decision: 79672/83829	Time: 379.202/86400
c Decision: 79672/83829	Time: 393.298/86400
c Decision: 79672/83829	Time: 408.342/86400
c Decision: 79672/83829	Time: 422.352/86400
c Decision: 79672/83829	Time: 437.79/86400
c Decision: 79672/83829	Time: 451.498/86400
c Decision: 79672/83829	Time: 466.723/86400
c Decision: 79672/83829	Time: 482.294/86400
c Decision: 79672/83829	Time: 494.248/86400
c Decision: 79672/83829	Time: 508.695/86400
c Decision: 79672/83829	Time: 523.096/86400
c Decision: 79672/83829	Time: 537.392/86400
c Decision: 79672/83829	Time: 550.933/86400
c Decision: 79672/83829	Time: 563.282/86400
c Decision: 79672/83829	Time: 576.958/86400
c Decision: 79672/83829	Time: 590.799/86400
c Decision: 79672/83829	Time: 605.941/86400
c Decision: 79672/83829	Time: 618.839/86400
c Decision: 79672/83829	Time: 632.682/86400
c Decision: 79672/83829	Time: 647.177/86400
c Decision: 79672/83829	Time: 661.911/86400
c Decision: 79672/83829	Time: 675.623/86400
c Decision: 79672/83829	Time: 689.44/86400
c Decision: 79672/83829	Time: 702.645/86400
c Decision: 79672/83829	Time: 718.799/86400
c Decision: 79672/83829	Time: 733.328/86400
c Decision: 79672/83829	Time: 748.41/86400
c Decision: 79672/83829	Time: 756.97/86400
c Decision: 79672/83829	Time: 771.151/86400
c Decision: 79672/83829	Time: 785.898/86400
c Decision: 79672/83829	Time: 799.927/86400
c Decision: 79672/83829	Time: 814.45/86400
c Decision: 79672/83829	Time: 828.052/86400
c Decision: 79672/83829	Time: 842.479/86400
c Decision: 79672/83829	Time: 856.376/86400
c Decision: 79672/83829	Time: 871.912/86400
c Decision: 79672/83829	Time: 886.275/86400
c Decision: 79672/83829	Time: 901.259/86400
c Decision: 79672/83829	Time: 916.446/86400
c Decision: 79672/83829	Time: 931.461/86400
c Decision: 79672/83829	Time: 945.735/86400
c Decision: 79672/83829	Time: 959.947/86400
c Decision: 79672/83829	Time: 975.368/86400
c Decision: 79672/83829	Time: 988.363/86400
c Decision: 79672/83829	Time: 1002.69/86400
c Decision: 79672/83829	Time: 1018.27/86400
c Decision: 79672/83829	Time: 1032.97/86400
c Decision: 79672/83829	Time: 1046.94/86400
c Decision: 79672/83829	Time: 1061.85/86400
c Decision: 79672/83829	Time: 1073.62/86400
c Decision: 79672/83829	Time: 1087.4/86400
c Decision: 79672/83829	Time: 1100.56/86400
c Decision: 79672/83829	Time: 1114.71/86400
c Decision: 79672/83829	Time: 1129.74/86400
c Decision: 79672/83829	Time: 1144.79/86400
c Decision: 79672/83829	Time: 1159.56/86400
c Decision: 79672/83829	Time: 1173.32/86400
c Decision: 79672/83829	Time: 1186.64/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 x305 x306 x307 -x308 x309 -x31 x310 x311 x312 -x313 -x314 -x315 x316 x317 x318 x319 -x32 x320 x321 x322 x323 x324 x325 x326 x327 x328 x329 -x33 x330 x331 x332 x333 x334 x335 x336 x337 x338 x339 -x34 x340 -x341 x342 x343 -x344 x345 x346 x347 x348 x349 -x35 x350 x351 x352 x353 x354 x355 x356 x357 x358 x359 -x36 x360 x361 x362 x363 x364 x365 x366 x367 x368 x369 -x37 x370 x371 -x372 -x373 x374 -x375 x376 x377 x378 x379 -x38 x380 -x381 x382 x383 x384 x385 x386 x387 x388 x389 -x39 x390 x391 x392 x393 -x394 x395 x396 x397 x398 x399 -x4 -x40 x400 x401 x402 x403 x404 x405 x406 -x407 -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/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 20817199 1527808 2 4294967295 134512640 135987407 3221224576 3221224576 134512928 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6503/statm): 373 2 364 364 0 9 0
[pid=6503] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc32/normalized-f51m.b.opb

[startup+10.0015 s]
Raw data (loadavg): 0.93 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 15037 0 0 0 961 33 0 0 25 0 1 0 20817199 50028544 9107 4294967295 134512640 135987407 3221224576 3221223120 134811778 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6503/statm): 12214 9107 364 364 0 11850 0
[pid=6503] vsize: 48856
Current children cumulated CPU time (s) 9.94
Current children cumulated vsize (Kb) 48856

[startup+20.0022 s]
Raw data (loadavg): 0.94 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 15257 0 0 0 1955 35 0 0 25 0 1 0 20817199 50163712 9163 4294967295 134512640 135987407 3221224576 3221223120 134811962 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6503/statm): 12247 9163 364 364 0 11883 0
[pid=6503] vsize: 48988
Current children cumulated CPU time (s) 19.9
Current children cumulated vsize (Kb) 48988

[startup+30.003 s]
Raw data (loadavg): 0.95 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 15511 0 0 0 2946 38 0 0 25 0 1 0 20817199 50434048 9253 4294967295 134512640 135987407 3221224576 3221223280 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6503/statm): 12313 9253 364 364 0 11949 0
[pid=6503] vsize: 49252
Current children cumulated CPU time (s) 29.84
Current children cumulated vsize (Kb) 49252

[startup+40.0037 s]
Raw data (loadavg): 0.96 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 15579 0 0 0 3934 43 0 0 25 0 1 0 20817199 50573312 9321 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6503/statm): 12347 9321 364 364 0 11983 0
[pid=6503] vsize: 49388
Current children cumulated CPU time (s) 39.77
Current children cumulated vsize (Kb) 49388

[startup+50.0045 s]
Raw data (loadavg): 0.96 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 15805 0 0 0 4916 49 0 0 25 0 1 0 20817199 50708480 9383 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6503/statm): 12380 9383 364 364 0 12016 0
[pid=6503] vsize: 49520
Current children cumulated CPU time (s) 49.65
Current children cumulated vsize (Kb) 49520

[startup+60.0042 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 16010 0 0 0 5907 52 0 0 25 0 1 0 20817199 50843648 9424 4294967295 134512640 135987407 3221224576 3221223120 134812025 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6503/statm): 12413 9424 364 364 0 12049 0
[pid=6503] vsize: 49652
Current children cumulated CPU time (s) 59.59
Current children cumulated vsize (Kb) 49652

[startup+70.005 s]
Raw data (loadavg): 0.97 0.98 0.99 1/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) T 6502 6503 4005 0 -1 0 16210 0 0 0 6897 56 0 0 25 0 1 0 20817199 50843648 9460 4294967295 134512640 135987407 3221224576 3221223260 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/6503/statm): 12413 9460 364 364 0 12049 0
[pid=6503] vsize: 49652
Current children cumulated CPU time (s) 69.53
Current children cumulated vsize (Kb) 49652

[startup+80.0058 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 16396 0 0 0 7887 60 0 0 25 0 1 0 20817199 50843648 9482 4294967295 134512640 135987407 3221224576 3221223248 134876866 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6503/statm): 12413 9482 364 364 0 12049 0
[pid=6503] vsize: 49652
Current children cumulated CPU time (s) 79.47
Current children cumulated vsize (Kb) 49652

[startup+90.0065 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 16405 0 0 0 8879 63 0 0 25 0 1 0 20817199 50843648 9491 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6503/statm): 12413 9491 364 364 0 12049 0
[pid=6503] vsize: 49652
Current children cumulated CPU time (s) 89.42
Current children cumulated vsize (Kb) 49652

[startup+100.006 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 16581 0 0 0 9866 66 0 0 25 0 1 0 20817199 50978816 9503 4294967295 134512640 135987407 3221224576 3221223184 134801142 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6503/statm): 12446 9503 364 364 0 12082 0
[pid=6503] vsize: 49784
Current children cumulated CPU time (s) 99.32
Current children cumulated vsize (Kb) 49784

[startup+110.007 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 16757 0 0 0 10855 70 0 0 25 0 1 0 20817199 50978816 9515 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6503/statm): 12446 9515 364 364 0 12082 0
[pid=6503] vsize: 49784
Current children cumulated CPU time (s) 109.25
Current children cumulated vsize (Kb) 49784

[startup+120.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 16787 0 0 0 11839 75 0 0 25 0 1 0 20817199 50978816 9545 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6503/statm): 12446 9545 364 364 0 12082 0
[pid=6503] vsize: 49784
Current children cumulated CPU time (s) 119.14
Current children cumulated vsize (Kb) 49784

[startup+130.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 16985 0 0 0 12826 79 0 0 25 0 1 0 20817199 50978816 9579 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6503/statm): 12446 9579 364 364 0 12082 0
[pid=6503] vsize: 49784
Current children cumulated CPU time (s) 129.05
Current children cumulated vsize (Kb) 49784

[startup+140.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 17015 0 0 0 13806 87 0 0 25 0 1 0 20817199 50978816 9609 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6503/statm): 12446 9609 364 364 0 12082 0
[pid=6503] vsize: 49784
Current children cumulated CPU time (s) 138.93
Current children cumulated vsize (Kb) 49784

[startup+150.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 17215 0 0 0 14792 92 0 0 25 0 1 0 20817199 51113984 9645 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6503/statm): 12479 9645 364 364 0 12115 0
[pid=6503] vsize: 49916
Current children cumulated CPU time (s) 148.84
Current children cumulated vsize (Kb) 49916

[startup+160.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 17409 0 0 0 15778 98 0 0 25 0 1 0 20817199 51113984 9675 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6503/statm): 12479 9675 364 364 0 12115 0
[pid=6503] vsize: 49916
Current children cumulated CPU time (s) 158.76
Current children cumulated vsize (Kb) 49916

[startup+170.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 17426 0 0 0 16765 102 0 0 25 0 1 0 20817199 51249152 9692 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6503/statm): 12512 9692 364 364 0 12148 0
[pid=6503] vsize: 50048
Current children cumulated CPU time (s) 168.67
Current children cumulated vsize (Kb) 50048

[startup+180.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 17624 0 0 0 17751 107 0 0 25 0 1 0 20817199 51249152 9726 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6503/statm): 12512 9726 364 364 0 12148 0
[pid=6503] vsize: 50048
Current children cumulated CPU time (s) 178.58
Current children cumulated vsize (Kb) 50048

[startup+190.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 17816 0 0 0 18739 112 0 0 25 0 1 0 20817199 51249152 9754 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6503/statm): 12512 9754 364 364 0 12148 0
[pid=6503] vsize: 50048
Current children cumulated CPU time (s) 188.51
Current children cumulated vsize (Kb) 50048

[startup+200.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 17842 0 0 0 19724 117 0 0 25 0 1 0 20817199 51249152 9780 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6503/statm): 12512 9780 364 364 0 12148 0
[pid=6503] vsize: 50048
Current children cumulated CPU time (s) 198.41
Current children cumulated vsize (Kb) 50048

[startup+210.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 18034 0 0 0 20717 120 0 0 25 0 1 0 20817199 51384320 9808 4294967295 134512640 135987407 3221224576 3221223120 134811822 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6503/statm): 12545 9808 364 364 0 12181 0
[pid=6503] vsize: 50180
Current children cumulated CPU time (s) 208.37
Current children cumulated vsize (Kb) 50180

[startup+220.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 18226 0 0 0 21707 124 0 0 25 0 1 0 20817199 51384320 9836 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6503/statm): 12545 9836 364 364 0 12181 0
[pid=6503] vsize: 50180
Current children cumulated CPU time (s) 218.31
Current children cumulated vsize (Kb) 50180

[startup+230.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 18418 0 0 0 22694 129 0 0 25 0 1 0 20817199 51384320 9864 4294967295 134512640 135987407 3221224576 3221223248 134876945 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6503/statm): 12545 9864 364 364 0 12181 0
[pid=6503] vsize: 50180
Current children cumulated CPU time (s) 228.23
Current children cumulated vsize (Kb) 50180

[startup+240.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 18432 0 0 0 23679 134 0 0 25 0 1 0 20817199 51384320 9878 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6503/statm): 12545 9878 364 364 0 12181 0
[pid=6503] vsize: 50180
Current children cumulated CPU time (s) 238.13
Current children cumulated vsize (Kb) 50180

[startup+250.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 18607 0 0 0 24664 140 0 0 25 0 1 0 20817199 51519488 9889 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6503/statm): 12578 9889 364 364 0 12214 0
[pid=6503] vsize: 50312
Current children cumulated CPU time (s) 248.04
Current children cumulated vsize (Kb) 50312

[startup+260.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 18785 0 0 0 25654 143 0 0 25 0 1 0 20817199 51519488 9903 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6503/statm): 12578 9903 364 364 0 12214 0
[pid=6503] vsize: 50312
Current children cumulated CPU time (s) 257.97
Current children cumulated vsize (Kb) 50312

[startup+270.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 18797 0 0 0 26641 148 0 0 25 0 1 0 20817199 51519488 9915 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6503/statm): 12578 9915 364 364 0 12214 0
[pid=6503] vsize: 50312
Current children cumulated CPU time (s) 267.89
Current children cumulated vsize (Kb) 50312

[startup+280.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 18975 0 0 0 27633 151 0 0 25 0 1 0 20817199 51519488 9929 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6503/statm): 12578 9929 364 364 0 12214 0
[pid=6503] vsize: 50312
Current children cumulated CPU time (s) 277.84
Current children cumulated vsize (Kb) 50312

[startup+290.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 19167 0 0 0 28622 156 0 0 25 0 1 0 20817199 51654656 9957 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6503/statm): 12611 9957 364 364 0 12247 0
[pid=6503] vsize: 50444
Current children cumulated CPU time (s) 287.78
Current children cumulated vsize (Kb) 50444

[startup+300.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 19200 0 0 0 29611 159 0 0 25 0 1 0 20817199 51654656 9990 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6503/statm): 12611 9990 364 364 0 12247 0
[pid=6503] vsize: 50444
Current children cumulated CPU time (s) 297.7
Current children cumulated vsize (Kb) 50444

[startup+310.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 19382 0 0 0 30601 163 0 0 25 0 1 0 20817199 51654656 10008 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6503/statm): 12611 10008 364 364 0 12247 0
[pid=6503] vsize: 50444
Current children cumulated CPU time (s) 307.64
Current children cumulated vsize (Kb) 50444

[startup+320.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 19557 0 0 0 31588 168 0 0 25 0 1 0 20817199 51789824 10019 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6503/statm): 12644 10019 364 364 0 12280 0
[pid=6503] vsize: 50576
Current children cumulated CPU time (s) 317.56
Current children cumulated vsize (Kb) 50576

[startup+330.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 19568 0 0 0 32573 173 0 0 25 0 1 0 20817199 51789824 10030 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6503/statm): 12644 10030 364 364 0 12280 0
[pid=6503] vsize: 50576
Current children cumulated CPU time (s) 327.46
Current children cumulated vsize (Kb) 50576

[startup+340.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 19743 0 0 0 33561 176 0 0 25 0 1 0 20817199 51789824 10041 4294967295 134512640 135987407 3221224576 3221223120 134812038 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6503/statm): 12644 10041 364 364 0 12280 0
[pid=6503] vsize: 50576
Current children cumulated CPU time (s) 337.37
Current children cumulated vsize (Kb) 50576

[startup+350.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 19938 0 0 0 34549 181 0 0 25 0 1 0 20817199 51924992 10072 4294967295 134512640 135987407 3221224576 3221223120 134812028 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6503/statm): 12677 10072 364 364 0 12313 0
[pid=6503] vsize: 50708
Current children cumulated CPU time (s) 347.3
Current children cumulated vsize (Kb) 50708

[startup+360.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 19975 0 0 0 35537 184 0 0 25 0 1 0 20817199 51924992 10109 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6503/statm): 12677 10109 364 364 0 12313 0
[pid=6503] vsize: 50708
Current children cumulated CPU time (s) 357.21
Current children cumulated vsize (Kb) 50708

[startup+370.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 20171 0 0 0 36526 188 0 0 25 0 1 0 20817199 51924992 10141 4294967295 134512640 135987407 3221224576 3221223120 134811816 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6503/statm): 12677 10141 364 364 0 12313 0
[pid=6503] vsize: 50708
Current children cumulated CPU time (s) 367.14
Current children cumulated vsize (Kb) 50708

[startup+380.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 20356 0 0 0 37517 191 0 0 25 0 1 0 20817199 51924992 10162 4294967295 134512640 135987407 3221224576 3221223184 134801245 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6503/statm): 12677 10162 364 364 0 12313 0
[pid=6503] vsize: 50708
Current children cumulated CPU time (s) 377.08
Current children cumulated vsize (Kb) 50708

[startup+390.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 20528 0 0 0 38503 196 0 0 25 0 1 0 20817199 52060160 10170 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6503/statm): 12710 10170 364 364 0 12346 0
[pid=6503] vsize: 50840
Current children cumulated CPU time (s) 386.99
Current children cumulated vsize (Kb) 50840

[startup+400.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 20540 0 0 0 39489 201 0 0 25 0 1 0 20817199 52060160 10182 4294967295 134512640 135987407 3221224576 3221223120 134812046 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6503/statm): 12710 10182 364 364 0 12346 0
[pid=6503] vsize: 50840
Current children cumulated CPU time (s) 396.9
Current children cumulated vsize (Kb) 50840

[startup+410.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 20727 0 0 0 40475 206 0 0 25 0 1 0 20817199 52060160 10205 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6503/statm): 12710 10205 364 364 0 12346 0
[pid=6503] vsize: 50840
Current children cumulated CPU time (s) 406.81
Current children cumulated vsize (Kb) 50840

[startup+420.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 20928 0 0 0 41466 210 0 0 25 0 1 0 20817199 52195328 10242 4294967295 134512640 135987407 3221224576 3221223120 134811778 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6503/statm): 12743 10242 364 364 0 12379 0
[pid=6503] vsize: 50972
Current children cumulated CPU time (s) 416.76
Current children cumulated vsize (Kb) 50972

[startup+430.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 20964 0 0 0 42452 215 0 0 25 0 1 0 20817199 52195328 10278 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6503/statm): 12743 10278 364 364 0 12379 0
[pid=6503] vsize: 50972
Current children cumulated CPU time (s) 426.67
Current children cumulated vsize (Kb) 50972

[startup+440.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 21166 0 0 0 43439 220 0 0 25 0 1 0 20817199 52195328 10316 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6503/statm): 12743 10316 364 364 0 12379 0
[pid=6503] vsize: 50972
Current children cumulated CPU time (s) 436.59
Current children cumulated vsize (Kb) 50972

[startup+450.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 21349 0 0 0 44426 226 0 0 25 0 1 0 20817199 52195328 10335 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6503/statm): 12743 10335 364 364 0 12379 0
[pid=6503] vsize: 50972
Current children cumulated CPU time (s) 446.52
Current children cumulated vsize (Kb) 50972

[startup+460.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 21356 0 0 0 45411 232 0 0 25 0 1 0 20817199 52195328 10342 4294967295 134512640 135987407 3221224576 3221223120 134811959 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6503/statm): 12743 10342 364 364 0 12379 0
[pid=6503] vsize: 50972
Current children cumulated CPU time (s) 456.43
Current children cumulated vsize (Kb) 50972

[startup+470.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 21531 0 0 0 46400 236 0 0 25 0 1 0 20817199 52330496 10353 4294967295 134512640 135987407 3221224576 3221223120 134812194 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6503/statm): 12776 10353 364 364 0 12412 0
[pid=6503] vsize: 51104
Current children cumulated CPU time (s) 466.36
Current children cumulated vsize (Kb) 51104

[startup+480.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 21709 0 0 0 47389 240 0 0 25 0 1 0 20817199 52330496 10367 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6503/statm): 12776 10367 364 364 0 12412 0
[pid=6503] vsize: 51104
Current children cumulated CPU time (s) 476.29
Current children cumulated vsize (Kb) 51104

[startup+490.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 21715 0 0 0 48376 244 0 0 25 0 1 0 20817199 52330496 10373 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6503/statm): 12776 10373 364 364 0 12412 0
[pid=6503] vsize: 51104
Current children cumulated CPU time (s) 486.2
Current children cumulated vsize (Kb) 51104

[startup+500.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 21891 0 0 0 49362 249 0 0 25 0 1 0 20817199 52330496 10385 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6503/statm): 12776 10385 364 364 0 12412 0
[pid=6503] vsize: 51104
Current children cumulated CPU time (s) 496.11
Current children cumulated vsize (Kb) 51104

[startup+510.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 22068 0 0 0 50348 255 0 0 25 0 1 0 20817199 52465664 10398 4294967295 134512640 135987407 3221224576 3221223120 134811807 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6503/statm): 12809 10398 364 364 0 12445 0
[pid=6503] vsize: 51236
Current children cumulated CPU time (s) 506.03
Current children cumulated vsize (Kb) 51236

[startup+520.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 22264 0 0 0 51339 259 0 0 25 0 1 0 20817199 52465664 10430 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6503/statm): 12809 10430 364 364 0 12445 0
[pid=6503] vsize: 51236
Current children cumulated CPU time (s) 515.98
Current children cumulated vsize (Kb) 51236

[startup+530.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 22278 0 0 0 52325 263 0 0 25 0 1 0 20817199 52465664 10444 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6503/statm): 12809 10444 364 364 0 12445 0
[pid=6503] vsize: 51236
Current children cumulated CPU time (s) 525.88
Current children cumulated vsize (Kb) 51236

[startup+540.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 22451 0 0 0 53318 266 0 0 25 0 1 0 20817199 52465664 10453 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6503/statm): 12809 10453 364 364 0 12445 0
[pid=6503] vsize: 51236
Current children cumulated CPU time (s) 535.84
Current children cumulated vsize (Kb) 51236

[startup+550.025 s]
Raw data (loadavg): 0.99 0.98 0.99 1/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) T 6502 6503 4005 0 -1 0 22625 0 0 0 54302 271 0 0 25 0 1 0 20817199 52600832 10463 4294967295 134512640 135987407 3221224576 3221223260 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/6503/statm): 12842 10463 364 364 0 12478 0
[pid=6503] vsize: 51368
Current children cumulated CPU time (s) 545.73
Current children cumulated vsize (Kb) 51368

[startup+560.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 22648 0 0 0 55289 275 0 0 25 0 1 0 20817199 52600832 10486 4294967295 134512640 135987407 3221224576 3221223120 134811842 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6503/statm): 12842 10486 364 364 0 12478 0
[pid=6503] vsize: 51368
Current children cumulated CPU time (s) 555.64
Current children cumulated vsize (Kb) 51368

[startup+570.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 22846 0 0 0 56282 278 0 0 25 0 1 0 20817199 52600832 10520 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6503/statm): 12842 10520 364 364 0 12478 0
[pid=6503] vsize: 51368
Current children cumulated CPU time (s) 565.6
Current children cumulated vsize (Kb) 51368

[startup+580.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 23048 0 0 0 57265 285 0 0 25 0 1 0 20817199 52600832 10558 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6503/statm): 12842 10558 364 364 0 12478 0
[pid=6503] vsize: 51368
Current children cumulated CPU time (s) 575.5
Current children cumulated vsize (Kb) 51368

[startup+590.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 23241 0 0 0 58255 290 0 0 25 0 1 0 20817199 52600832 10587 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6503/statm): 12842 10587 364 364 0 12478 0
[pid=6503] vsize: 51368
Current children cumulated CPU time (s) 585.45
Current children cumulated vsize (Kb) 51368

[startup+600.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 23251 0 0 0 59246 293 0 0 25 0 1 0 20817199 52600832 10597 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6503/statm): 12842 10597 364 364 0 12478 0
[pid=6503] vsize: 51368
Current children cumulated CPU time (s) 595.39
Current children cumulated vsize (Kb) 51368

[startup+610.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 23426 0 0 0 60241 294 0 0 25 0 1 0 20817199 52744192 10608 4294967295 134512640 135987407 3221224576 3221223280 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6503/statm): 12877 10608 364 364 0 12513 0
[pid=6503] vsize: 51508
Current children cumulated CPU time (s) 605.35
Current children cumulated vsize (Kb) 51508

[startup+620.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 23600 0 0 0 61232 298 0 0 25 0 1 0 20817199 52744192 10618 4294967295 134512640 135987407 3221224576 3221223120 134788738 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6503/statm): 12877 10618 364 364 0 12513 0
[pid=6503] vsize: 51508
Current children cumulated CPU time (s) 615.3
Current children cumulated vsize (Kb) 51508

[startup+630.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 23774 0 0 0 62219 302 0 0 25 0 1 0 20817199 52744192 10628 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6503/statm): 12877 10628 364 364 0 12513 0
[pid=6503] vsize: 51508
Current children cumulated CPU time (s) 625.21
Current children cumulated vsize (Kb) 51508

[startup+640.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 23804 0 0 0 63211 305 0 0 25 0 1 0 20817199 52744192 10658 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6503/statm): 12877 10658 364 364 0 12513 0
[pid=6503] vsize: 51508
Current children cumulated CPU time (s) 635.16
Current children cumulated vsize (Kb) 51508

[startup+650.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 24006 0 0 0 64198 311 0 0 25 0 1 0 20817199 52879360 10696 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6503/statm): 12910 10696 364 364 0 12546 0
[pid=6503] vsize: 51640
Current children cumulated CPU time (s) 645.09
Current children cumulated vsize (Kb) 51640

[startup+660.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 24198 0 0 0 65185 316 0 0 25 0 1 0 20817199 52879360 10724 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6503/statm): 12910 10724 364 364 0 12546 0
[pid=6503] vsize: 51640
Current children cumulated CPU time (s) 655.01
Current children cumulated vsize (Kb) 51640

[startup+670.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 24206 0 0 0 66174 319 0 0 25 0 1 0 20817199 52879360 10732 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6503/statm): 12910 10732 364 364 0 12546 0
[pid=6503] vsize: 51640
Current children cumulated CPU time (s) 664.93
Current children cumulated vsize (Kb) 51640

[startup+680.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 24384 0 0 0 67159 325 0 0 25 0 1 0 20817199 53026816 10746 4294967295 134512640 135987407 3221224576 3221223120 134811800 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6503/statm): 12946 10746 364 364 0 12582 0
[pid=6503] vsize: 51784
Current children cumulated CPU time (s) 674.84
Current children cumulated vsize (Kb) 51784

[startup+690.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 24562 0 0 0 68144 331 0 0 25 0 1 0 20817199 53026816 10760 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6503/statm): 12946 10760 364 364 0 12582 0
[pid=6503] vsize: 51784
Current children cumulated CPU time (s) 684.75
Current children cumulated vsize (Kb) 51784

[startup+700.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 24573 0 0 0 69130 336 0 0 25 0 1 0 20817199 53026816 10771 4294967295 134512640 135987407 3221224576 3221223120 134811870 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6503/statm): 12946 10771 364 364 0 12582 0
[pid=6503] vsize: 51784
Current children cumulated CPU time (s) 694.66
Current children cumulated vsize (Kb) 51784

[startup+710.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 24769 0 0 0 70115 342 0 0 25 0 1 0 20817199 53161984 10803 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6503/statm): 12979 10803 364 364 0 12615 0
[pid=6503] vsize: 51916
Current children cumulated CPU time (s) 704.57
Current children cumulated vsize (Kb) 51916

[startup+720.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 24965 0 0 0 71101 347 0 0 25 0 1 0 20817199 53161984 10835 4294967295 134512640 135987407 3221224576 3221223120 134811824 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6503/statm): 12979 10835 364 364 0 12615 0
[pid=6503] vsize: 51916
Current children cumulated CPU time (s) 714.48
Current children cumulated vsize (Kb) 51916

[startup+730.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 25004 0 0 0 72085 353 0 0 25 0 1 0 20817199 53161984 10874 4294967295 134512640 135987407 3221224576 3221223152 134814273 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6503/statm): 12979 10874 364 364 0 12615 0
[pid=6503] vsize: 51916
Current children cumulated CPU time (s) 724.38
Current children cumulated vsize (Kb) 51916

[startup+740.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 25179 0 0 0 73072 357 0 0 25 0 1 0 20817199 53297152 10885 4294967295 134512640 135987407 3221224576 3221223120 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6503/statm): 13012 10885 364 364 0 12648 0
[pid=6503] vsize: 52048
Current children cumulated CPU time (s) 734.29
Current children cumulated vsize (Kb) 52048

[startup+750.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 25354 0 0 0 74059 362 0 0 25 0 1 0 20817199 53297152 10896 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6503/statm): 13012 10896 364 364 0 12648 0
[pid=6503] vsize: 52048
Current children cumulated CPU time (s) 744.21
Current children cumulated vsize (Kb) 52048

[startup+760.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 25365 0 0 0 75045 366 0 0 25 0 1 0 20817199 53297152 10907 4294967295 134512640 135987407 3221224576 3221223184 134801249 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6503/statm): 13012 10907 364 364 0 12648 0
[pid=6503] vsize: 52048
Current children cumulated CPU time (s) 754.11
Current children cumulated vsize (Kb) 52048

[startup+770.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 25707 0 0 0 76037 370 0 0 25 0 1 0 20817199 53297152 10921 4294967295 134512640 135987407 3221224576 3221223120 134811972 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6503/statm): 13012 10921 364 364 0 12648 0
[pid=6503] vsize: 52048
Current children cumulated CPU time (s) 764.07
Current children cumulated vsize (Kb) 52048

[startup+780.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 25722 0 0 0 77023 374 0 0 25 0 1 0 20817199 53297152 10936 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6503/statm): 13012 10936 364 364 0 12648 0
[pid=6503] vsize: 52048
Current children cumulated CPU time (s) 773.97
Current children cumulated vsize (Kb) 52048

[startup+790.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 25929 0 0 0 78009 380 0 0 25 0 1 0 20817199 53432320 10979 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6503/statm): 13045 10979 364 364 0 12681 0
[pid=6503] vsize: 52180
Current children cumulated CPU time (s) 783.89
Current children cumulated vsize (Kb) 52180

[startup+800.037 s]
Raw data (loadavg): 0.99 0.98 0.99 1/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) T 6502 6503 4005 0 -1 0 26127 0 0 0 79000 384 0 0 25 0 1 0 20817199 53432320 11013 4294967295 134512640 135987407 3221224576 3221223260 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/6503/statm): 13045 11013 364 364 0 12681 0
[pid=6503] vsize: 52180
Current children cumulated CPU time (s) 793.84
Current children cumulated vsize (Kb) 52180

[startup+810.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 26137 0 0 0 79989 387 0 0 25 0 1 0 20817199 53432320 11023 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6503/statm): 13045 11023 364 364 0 12681 0
[pid=6503] vsize: 52180
Current children cumulated CPU time (s) 803.76
Current children cumulated vsize (Kb) 52180

[startup+820.038 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 26315 0 0 0 80978 392 0 0 25 0 1 0 20817199 53432320 11037 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6503/statm): 13045 11037 364 364 0 12681 0
[pid=6503] vsize: 52180
Current children cumulated CPU time (s) 813.7
Current children cumulated vsize (Kb) 52180

[startup+830.039 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 26492 0 0 0 81969 396 0 0 25 0 1 0 20817199 53567488 11050 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6503/statm): 13078 11050 364 364 0 12714 0
[pid=6503] vsize: 52312
Current children cumulated CPU time (s) 823.65
Current children cumulated vsize (Kb) 52312

[startup+840.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 26537 0 0 0 82958 400 0 0 25 0 1 0 20817199 61956096 11095 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6503/statm): 15126 11095 364 364 0 14762 0
[pid=6503] vsize: 60504
Current children cumulated CPU time (s) 833.58
Current children cumulated vsize (Kb) 60504

[startup+850.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 26737 0 0 0 83943 406 0 0 25 0 1 0 20817199 61956096 11131 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6503/statm): 15126 11131 364 364 0 14762 0
[pid=6503] vsize: 60504
Current children cumulated CPU time (s) 843.49
Current children cumulated vsize (Kb) 60504

[startup+860.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 26949 0 0 0 84933 410 0 0 25 0 1 0 20817199 62091264 11179 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6503/statm): 15159 11179 364 364 0 14795 0
[pid=6503] vsize: 60636
Current children cumulated CPU time (s) 853.43
Current children cumulated vsize (Kb) 60636

[startup+870.041 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 27145 0 0 0 85919 414 0 0 25 0 1 0 20817199 62091264 11211 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6503/statm): 15159 11211 364 364 0 14795 0
[pid=6503] vsize: 60636
Current children cumulated CPU time (s) 863.33
Current children cumulated vsize (Kb) 60636

[startup+880.042 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 27153 0 0 0 86909 418 0 0 25 0 1 0 20817199 62091264 11219 4294967295 134512640 135987407 3221224576 3221223216 134812436 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6503/statm): 15159 11219 364 364 0 14795 0
[pid=6503] vsize: 60636
Current children cumulated CPU time (s) 873.27
Current children cumulated vsize (Kb) 60636

[startup+890.042 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 27331 0 0 0 87891 425 0 0 25 0 1 0 20817199 62091264 11233 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6503/statm): 15159 11233 364 364 0 14795 0
[pid=6503] vsize: 60636
Current children cumulated CPU time (s) 883.16
Current children cumulated vsize (Kb) 60636

[startup+900.043 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 27510 0 0 0 88876 430 0 0 25 0 1 0 20817199 62226432 11248 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6503/statm): 15192 11248 364 364 0 14828 0
[pid=6503] vsize: 60768
Current children cumulated CPU time (s) 893.06
Current children cumulated vsize (Kb) 60768

[startup+910.044 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 27516 0 0 0 89863 435 0 0 25 0 1 0 20817199 62226432 11254 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6503/statm): 15192 11254 364 364 0 14828 0
[pid=6503] vsize: 60768
Current children cumulated CPU time (s) 902.98
Current children cumulated vsize (Kb) 60768

[startup+920.045 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 27686 0 0 0 90854 438 0 0 25 0 1 0 20817199 62226432 11260 4294967295 134512640 135987407 3221224576 3221223280 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6503/statm): 15192 11260 364 364 0 14828 0
[pid=6503] vsize: 60768
Current children cumulated CPU time (s) 912.92
Current children cumulated vsize (Kb) 60768

[startup+930.044 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 27868 0 0 0 91844 442 0 0 25 0 1 0 20817199 62226432 11278 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6503/statm): 15192 11278 364 364 0 14828 0
[pid=6503] vsize: 60768
Current children cumulated CPU time (s) 922.86
Current children cumulated vsize (Kb) 60768

[startup+940.045 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 27904 0 0 0 92836 446 0 0 25 0 1 0 20817199 62361600 11314 4294967295 134512640 135987407 3221224576 3221222992 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6503/statm): 15225 11314 364 364 0 14861 0
[pid=6503] vsize: 60900
Current children cumulated CPU time (s) 932.82
Current children cumulated vsize (Kb) 60900

[startup+950.046 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 28093 0 0 0 93825 450 0 0 25 0 1 0 20817199 62361600 11339 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6503/statm): 15225 11339 364 364 0 14861 0
[pid=6503] vsize: 60900
Current children cumulated CPU time (s) 942.75
Current children cumulated vsize (Kb) 60900

[startup+960.046 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 28273 0 0 0 94813 454 0 0 25 0 1 0 20817199 62361600 11355 4294967295 134512640 135987407 3221224576 3221223120 134812018 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6503/statm): 15225 11355 364 364 0 14861 0
[pid=6503] vsize: 60900
Current children cumulated CPU time (s) 952.67
Current children cumulated vsize (Kb) 60900

[startup+970.047 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 28278 0 0 0 95798 459 0 0 25 0 1 0 20817199 62361600 11360 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6503/statm): 15225 11360 364 364 0 14861 0
[pid=6503] vsize: 60900
Current children cumulated CPU time (s) 962.57
Current children cumulated vsize (Kb) 60900

[startup+980.047 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 28457 0 0 0 96791 463 0 0 25 0 1 0 20817199 62496768 11375 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6503/statm): 15258 11375 364 364 0 14894 0
[pid=6503] vsize: 61032
Current children cumulated CPU time (s) 972.54
Current children cumulated vsize (Kb) 61032

[startup+990.048 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 28627 0 0 0 97781 466 0 0 25 0 1 0 20817199 62496768 11381 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6503/statm): 15258 11381 364 364 0 14894 0
[pid=6503] vsize: 61032
Current children cumulated CPU time (s) 982.47
Current children cumulated vsize (Kb) 61032

[startup+1000.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 28667 0 0 0 98768 470 0 0 25 0 1 0 20817199 62496768 11421 4294967295 134512640 135987407 3221224576 3221223120 134811773 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6503/statm): 15258 11421 364 364 0 14894 0
[pid=6503] vsize: 61032
Current children cumulated CPU time (s) 992.38
Current children cumulated vsize (Kb) 61032

[startup+1010.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 28872 0 0 0 99755 475 0 0 25 0 1 0 20817199 62496768 11462 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6503/statm): 15258 11462 364 364 0 14894 0
[pid=6503] vsize: 61032
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (Kb) 61032

[startup+1020.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 29058 0 0 0 100744 479 0 0 25 0 1 0 20817199 62496768 11484 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6503/statm): 15258 11484 364 364 0 14894 0
[pid=6503] vsize: 61032
Current children cumulated CPU time (s) 1012.23
Current children cumulated vsize (Kb) 61032

[startup+1030.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 29064 0 0 0 101732 484 0 0 25 0 1 0 20817199 62631936 11490 4294967295 134512640 135987407 3221224576 3221223120 134811942 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6503/statm): 15291 11490 364 364 0 14927 0
[pid=6503] vsize: 61164
Current children cumulated CPU time (s) 1022.16
Current children cumulated vsize (Kb) 61164

[startup+1040.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 29236 0 0 0 102721 488 0 0 25 0 1 0 20817199 62631936 11498 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6503/statm): 15291 11498 364 364 0 14927 0
[pid=6503] vsize: 61164
Current children cumulated CPU time (s) 1032.09
Current children cumulated vsize (Kb) 61164

[startup+1050.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 29410 0 0 0 103710 492 0 0 25 0 1 0 20817199 62631936 11508 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6503/statm): 15291 11508 364 364 0 14927 0
[pid=6503] vsize: 61164
Current children cumulated CPU time (s) 1042.02
Current children cumulated vsize (Kb) 61164

[startup+1060.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 29426 0 0 0 104699 495 0 0 25 0 1 0 20817199 62631936 11524 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6503/statm): 15291 11524 364 364 0 14927 0
[pid=6503] vsize: 61164
Current children cumulated CPU time (s) 1051.94
Current children cumulated vsize (Kb) 61164

[startup+1070.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 29602 0 0 0 105684 502 0 0 25 0 1 0 20817199 62631936 11536 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6503/statm): 15291 11536 364 364 0 14927 0
[pid=6503] vsize: 61164
Current children cumulated CPU time (s) 1061.86
Current children cumulated vsize (Kb) 61164

[startup+1080.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 29780 0 0 0 106672 506 0 0 25 0 1 0 20817199 62767104 11550 4294967295 134512640 135987407 3221224576 3221223120 134811894 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6503/statm): 15324 11550 364 364 0 14960 0
[pid=6503] vsize: 61296
Current children cumulated CPU time (s) 1071.78
Current children cumulated vsize (Kb) 61296

[startup+1090.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 29955 0 0 0 107662 509 0 0 25 0 1 0 20817199 62767104 11561 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6503/statm): 15324 11561 364 364 0 14960 0
[pid=6503] vsize: 61296
Current children cumulated CPU time (s) 1081.71
Current children cumulated vsize (Kb) 61296

[startup+1100.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 29963 0 0 0 108651 513 0 0 25 0 1 0 20817199 62767104 11569 4294967295 134512640 135987407 3221224576 3221223120 134811915 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6503/statm): 15324 11569 364 364 0 14960 0
[pid=6503] vsize: 61296
Current children cumulated CPU time (s) 1091.64
Current children cumulated vsize (Kb) 61296

[startup+1110.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 30138 0 0 0 109638 518 0 0 25 0 1 0 20817199 62767104 11580 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6503/statm): 15324 11580 364 364 0 14960 0
[pid=6503] vsize: 61296
Current children cumulated CPU time (s) 1101.56
Current children cumulated vsize (Kb) 61296

[startup+1120.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 30315 0 0 0 110628 522 0 0 25 0 1 0 20817199 62902272 11593 4294967295 134512640 135987407 3221224576 3221223120 134811915 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6503/statm): 15357 11593 364 364 0 14993 0
[pid=6503] vsize: 61428
Current children cumulated CPU time (s) 1111.5
Current children cumulated vsize (Kb) 61428

[startup+1130.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 30486 0 0 0 111616 526 0 0 25 0 1 0 20817199 62902272 11600 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6503/statm): 15357 11600 364 364 0 14993 0
[pid=6503] vsize: 61428
Current children cumulated CPU time (s) 1121.42
Current children cumulated vsize (Kb) 61428

[startup+1140.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 30493 0 0 0 112602 530 0 0 25 0 1 0 20817199 62902272 11607 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6503/statm): 15357 11607 364 364 0 14993 0
[pid=6503] vsize: 61428
Current children cumulated CPU time (s) 1131.32
Current children cumulated vsize (Kb) 61428

[startup+1150.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 30674 0 0 0 113591 534 0 0 25 0 1 0 20817199 62902272 11624 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6503/statm): 15357 11624 364 364 0 14993 0
[pid=6503] vsize: 61428
Current children cumulated CPU time (s) 1141.25
Current children cumulated vsize (Kb) 61428

[startup+1160.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 30857 0 0 0 114581 538 0 0 25 0 1 0 20817199 62902272 11643 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6503/statm): 15357 11643 364 364 0 14993 0
[pid=6503] vsize: 61428
Current children cumulated CPU time (s) 1151.19
Current children cumulated vsize (Kb) 61428

[startup+1170.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 30863 0 0 0 115566 542 0 0 25 0 1 0 20817199 63049728 11649 4294967295 134512640 135987407 3221224576 3221223120 134811972 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6503/statm): 15393 11649 364 364 0 15029 0
[pid=6503] vsize: 61572
Current children cumulated CPU time (s) 1161.08
Current children cumulated vsize (Kb) 61572

[startup+1180.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 31039 0 0 0 116556 546 0 0 25 0 1 0 20817199 63049728 11661 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6503/statm): 15393 11661 364 364 0 15029 0
[pid=6503] vsize: 61572
Current children cumulated CPU time (s) 1171.02
Current children cumulated vsize (Kb) 61572

[startup+1190.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 31239 0 0 0 117541 552 0 0 25 0 1 0 20817199 63049728 11697 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6503/statm): 15393 11697 364 364 0 15029 0
[pid=6503] vsize: 61572
Current children cumulated CPU time (s) 1180.93
Current children cumulated vsize (Kb) 61572

[startup+1200.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 31272 0 0 0 118528 557 0 0 25 0 1 0 20817199 63049728 11730 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6503/statm): 15393 11730 364 364 0 15029 0
[pid=6503] vsize: 61572
Current children cumulated CPU time (s) 1190.85
Current children cumulated vsize (Kb) 61572

[startup+1210.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 31474 0 0 0 119514 561 0 0 25 0 1 0 20817199 63188992 11768 4294967295 134512640 135987407 3221224576 3221223120 134811907 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6503/statm): 15427 11768 364 364 0 15063 0
[pid=6503] vsize: 61708
Current children cumulated CPU time (s) 1200.75
Current children cumulated vsize (Kb) 61708



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6503
Raw data (/proc/6503/stat): 6503 (pb2sat) R 6502 6503 4005 0 -1 0 31474 0 0 0 119514 561 0 0 25 0 1 0 20817199 63188992 11768 4294967295 134512640 135987407 3221224576 3221223120 134811907 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6503/statm): 15427 11768 364 364 0 15063 0
[pid=6503] vsize: 61708
Current children cumulated CPU time (s) 1200.75
Current children cumulated vsize (Kb) 61708

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

Child status: 10
Real time (s): 1210.23
CPU time (s): 1200.93
CPU user time (s): 1195.28
CPU system time (s): 5.64314
CPU usage (%): 99.2314
Max. virtual memory (cumulated for all children) (Kb): 61708

Verifier Data

Verifier:	OK	144