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-count.b.opb
MD5SUMf13ba9c997276002b5bd6db1f679a6f5
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 24
Optimality of the best value was proved YES
Number of terms in the objective function 467
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 467
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 467
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 benchmark11.9012
Number of variables466
Total number of constraints694
Number of constraints which are clauses694
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint78

Trace number 9586

Launcher Data

LAUNCH ON wulflinc19 THE 2005-09-23 14:19:09 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8267 boxname=wulflinc19 idbench=63 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  f13ba9c997276002b5bd6db1f679a6f5  /oldhome/oroussel/tmp/wulflinc19/normalized-count.b.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc19/normalized-count.b.opb
IDLAUNCH: 8267
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.169
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.169
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:        931748 kB
Buffers:         14648 kB
Cached:          68856 kB
SwapCached:          0 kB
Active:          44944 kB
Inactive:        41476 kB
HighTotal:      131008 kB
HighFree:        58632 kB
LowTotal:       903652 kB
LowFree:        873116 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6972 kB
Slab:            11036 kB
Committed_AS:    63656 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 14:39:19 (client local time) WITH STATUS 10 IN 1205.63 SECONDS
stats: 8267 0 1205.63 10

Solver Data

c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
c got solution with objective value: 467
c small objective detected
c got solution with objective value: 210
c [startup+8.86522 s]  setting bit 8 to 1
c got solution with objective value: 82
c [startup+13.6558 s]  setting bit 7 to 1
c [startup+39.1052 s]  setting bit 6 to 0
c got solution with objective value: 50
c [startup+46.14 s]  setting bit 5 to 1
c got solution with objective value: 34
c [startup+52.7836 s]  setting bit 4 to 1

c Decision: 101549/110224	Time: 22.6336/86400
c got solution with objective value: 26
c [startup+87.4778 s]  setting bit 3 to 1

c Decision: 103753/110224	Time: 14.7438/86400
c Decision: 104947/110224	Time: 28.3197/86400
c Decision: 104953/110224	Time: 44.8472/86400
c Decision: 104953/110224	Time: 58.2911/86400
c Decision: 105944/110224	Time: 71.0922/86400
c Decision: 105944/110224	Time: 85.541/86400
c Decision: 105944/110224	Time: 100.8/86400
c Decision: 105944/110224	Time: 113.23/86400
c Decision: 105944/110224	Time: 127.102/86400
c Decision: 105944/110224	Time: 140.874/86400
c Decision: 105944/110224	Time: 154.945/86400
c Decision: 106012/110224	Time: 170.139/86400
c Decision: 106012/110224	Time: 183.816/86400
c Decision: 106012/110224	Time: 196.182/86400
c Decision: 106012/110224	Time: 207.994/86400
c Decision: 106012/110224	Time: 222.921/86400
c Decision: 106012/110224	Time: 235.978/86400
c Decision: 106012/110224	Time: 250.662/86400
c Decision: 106012/110224	Time: 261.494/86400
c Decision: 106051/110224	Time: 284.452/86400
c Decision: 106051/110224	Time: 299.924/86400
c Decision: 106051/110224	Time: 315.304/86400
c Decision: 106051/110224	Time: 327.695/86400
c Decision: 106051/110224	Time: 342.826/86400
c Decision: 106051/110224	Time: 357.481/86400
c Decision: 106051/110224	Time: 373.928/86400
c Decision: 106051/110224	Time: 387.381/86400
c Decision: 106051/110224	Time: 402.531/86400
c Decision: 106051/110224	Time: 413.406/86400
c Decision: 106051/110224	Time: 429.304/86400
c Decision: 106051/110224	Time: 442.506/86400
c Decision: 106051/110224	Time: 456.179/86400
c Decision: 106051/110224	Time: 473.131/86400
c Decision: 106051/110224	Time: 483.221/86400
c Decision: 106051/110224	Time: 497.006/86400
c Decision: 106051/110224	Time: 510.602/86400
c Decision: 106051/110224	Time: 523.49/86400
c Decision: 106051/110224	Time: 536.994/86400
c Decision: 106051/110224	Time: 547.984/86400
c Decision: 106051/110224	Time: 563.065/86400
c Decision: 106051/110224	Time: 576.316/86400
c Decision: 106051/110224	Time: 587.204/86400
c Decision: 106051/110224	Time: 597.707/86400
c Decision: 106051/110224	Time: 609.137/86400
c Decision: 106051/110224	Time: 622.555/86400
c Decision: 106051/110224	Time: 636.402/86400
c Decision: 106051/110224	Time: 650.931/86400
c Decision: 106051/110224	Time: 664.922/86400
c Decision: 106051/110224	Time: 679.976/86400
c Decision: 106051/110224	Time: 692.1/86400
c Decision: 106051/110224	Time: 703.555/86400
c Decision: 106051/110224	Time: 715.517/86400
c Decision: 106051/110224	Time: 723.915/86400
c Decision: 106051/110224	Time: 736.839/86400
c Decision: 106051/110224	Time: 751.253/86400
c Decision: 106051/110224	Time: 761.731/86400
c Decision: 106051/110224	Time: 774.294/86400
c Decision: 106051/110224	Time: 784.012/86400
c Decision: 106051/110224	Time: 796.366/86400
c Decision: 106051/110224	Time: 809.089/86400
c Decision: 106051/110224	Time: 820.536/86400
c Decision: 106051/110224	Time: 831.287/86400
c Decision: 106051/110224	Time: 845.198/86400
c Decision: 106051/110224	Time: 856.978/86400
c Decision: 106051/110224	Time: 869.639/86400
c Decision: 106051/110224	Time: 884.505/86400
c Decision: 106051/110224	Time: 898.923/86400
c Decision: 106051/110224	Time: 913.278/86400
c Decision: 106051/110224	Time: 926.821/86400
c Decision: 106051/110224	Time: 941.649/86400
c Decision: 106051/110224	Time: 957.583/86400
c Decision: 106051/110224	Time: 973.887/86400
c Decision: 106583/110224	Time: 998.29/86400
c Decision: 106583/110224	Time: 1012.92/86400
c Decision: 106583/110224	Time: 1029.28/86400
c Decision: 106583/110224	Time: 1043.7/86400
c Decision: 106585/110224	Time: 1059.5/86400
c Decision: 106585/110224	Time: 1073.64/86400
c Decision: 106585/110224	Time: 1085.64/86400
c Decision: 106585/110224	Time: 1099.63/86400
c Decision: 106585/110224	Time: 1114.31/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 -x408 -x409 -x41 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 x419 -x42 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x43 -x430 -x431 -x432 x433 -x434 -x435 -x436 -x437 -x438 -x439 -x44 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 x449 -x45 -x450 -x451 -x452 x453 -x454 x455 x456 -x457 -x458 -x459 -x46 -x460 -x461 -x462 x463 -x464 -x465 -x466 -x467 -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/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 17 0 1 0 0 0 0 0 18 0 1 0 20852585 1527808 2 4294967295 134512640 135987407 3221224576 3221224576 134512928 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6333/statm): 373 2 364 364 0 9 0
[pid=6333] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc19/normalized-count.b.opb

[startup+10.1391 s]
Raw data (loadavg): 0.93 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 17430 0 8 0 933 47 0 0 25 0 1 0 20852585 53518336 11378 4294967295 134512640 135987407 3221224576 3221223120 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6333/statm): 13066 11378 364 364 0 12702 0
[pid=6333] vsize: 52264
Current children cumulated CPU time (s) 9.8
Current children cumulated vsize (Kb) 52264

[startup+20.1399 s]
Raw data (loadavg): 0.94 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 17844 0 8 0 1916 53 0 0 25 0 1 0 20852585 54300672 11576 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6333/statm): 13257 11576 364 364 0 12893 0
[pid=6333] vsize: 53028
Current children cumulated CPU time (s) 19.69
Current children cumulated vsize (Kb) 53028

[startup+30.1407 s]
Raw data (loadavg): 0.95 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 17884 0 8 0 2910 55 0 0 25 0 1 0 20852585 54444032 11616 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6333/statm): 13292 11616 364 364 0 12928 0
[pid=6333] vsize: 53168
Current children cumulated CPU time (s) 29.65
Current children cumulated vsize (Kb) 53168

[startup+40.1415 s]
Raw data (loadavg): 0.96 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 18148 0 8 0 3904 57 0 0 25 0 1 0 20852585 54444032 11664 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6333/statm): 13292 11664 364 364 0 12928 0
[pid=6333] vsize: 53168
Current children cumulated CPU time (s) 39.61
Current children cumulated vsize (Kb) 53168

[startup+50.1423 s]
Raw data (loadavg): 0.96 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 18437 0 8 0 4893 62 0 0 25 0 1 0 20852585 54726656 11737 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6333/statm): 13361 11737 364 364 0 12997 0
[pid=6333] vsize: 53444
Current children cumulated CPU time (s) 49.55
Current children cumulated vsize (Kb) 53444

[startup+60.1431 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 18693 0 8 0 5882 66 0 0 25 0 1 0 20852585 54861824 11777 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6333/statm): 13394 11777 364 364 0 13030 0
[pid=6333] vsize: 53576
Current children cumulated CPU time (s) 59.48
Current children cumulated vsize (Kb) 53576

[startup+70.1439 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 18750 0 8 0 6868 71 0 0 25 0 1 0 20852585 55009280 11834 4294967295 134512640 135987407 3221224576 3221223120 134811990 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6333/statm): 13430 11834 364 364 0 13066 0
[pid=6333] vsize: 53720
Current children cumulated CPU time (s) 69.39
Current children cumulated vsize (Kb) 53720

[startup+80.1447 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 18996 0 8 0 7859 75 0 0 25 0 1 0 20852585 55009280 11864 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6333/statm): 13430 11864 364 364 0 13066 0
[pid=6333] vsize: 53720
Current children cumulated CPU time (s) 79.34
Current children cumulated vsize (Kb) 53720

[startup+90.1455 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 19240 0 8 0 8846 79 0 0 25 0 1 0 20852585 55009280 11892 4294967295 134512640 135987407 3221224576 3221223248 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6333/statm): 13430 11892 364 364 0 13066 0
[pid=6333] vsize: 53720
Current children cumulated CPU time (s) 89.25
Current children cumulated vsize (Kb) 53720

[startup+100.145 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 19273 0 8 0 9838 82 0 0 25 0 1 0 20852585 55144448 11925 4294967295 134512640 135987407 3221224576 3221223256 134812257 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6333/statm): 13463 11925 364 364 0 13099 0
[pid=6333] vsize: 53852
Current children cumulated CPU time (s) 99.2
Current children cumulated vsize (Kb) 53852

[startup+110.146 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 19513 0 8 0 10831 85 0 0 25 0 1 0 20852585 55144448 11949 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6333/statm): 13463 11949 364 364 0 13099 0
[pid=6333] vsize: 53852
Current children cumulated CPU time (s) 109.16
Current children cumulated vsize (Kb) 53852

[startup+120.146 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 19779 0 8 0 11819 89 0 0 25 0 1 0 20852585 55279616 11999 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6333/statm): 13496 11999 364 364 0 13132 0
[pid=6333] vsize: 53984
Current children cumulated CPU time (s) 119.08
Current children cumulated vsize (Kb) 53984

[startup+130.147 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 19817 0 8 0 12809 92 0 0 25 0 1 0 20852585 55279616 12037 4294967295 134512640 135987407 3221224576 3221223120 134811773 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6333/statm): 13496 12037 364 364 0 13132 0
[pid=6333] vsize: 53984
Current children cumulated CPU time (s) 129.01
Current children cumulated vsize (Kb) 53984

[startup+140.147 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 20061 0 8 0 13803 96 0 0 25 0 1 0 20852585 55279616 12065 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6333/statm): 13496 12065 364 364 0 13132 0
[pid=6333] vsize: 53984
Current children cumulated CPU time (s) 138.99
Current children cumulated vsize (Kb) 53984

[startup+150.148 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 20320 0 8 0 14798 98 0 0 25 0 1 0 20852585 55279616 12108 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6333/statm): 13496 12108 364 364 0 13132 0
[pid=6333] vsize: 53984
Current children cumulated CPU time (s) 148.96
Current children cumulated vsize (Kb) 53984

[startup+160.149 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 20590 0 8 0 15793 100 0 0 25 0 1 0 20852585 55279616 12162 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6333/statm): 13496 12162 364 364 0 13132 0
[pid=6333] vsize: 53984
Current children cumulated CPU time (s) 158.93
Current children cumulated vsize (Kb) 53984

[startup+170.149 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 20623 0 8 0 16787 103 0 0 25 0 1 0 20852585 55414784 12195 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6333/statm): 13529 12195 364 364 0 13165 0
[pid=6333] vsize: 54116
Current children cumulated CPU time (s) 168.9
Current children cumulated vsize (Kb) 54116

[startup+180.15 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 20856 0 8 0 17783 104 0 0 25 0 1 0 20852585 55414784 12212 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6333/statm): 13529 12212 364 364 0 13165 0
[pid=6333] vsize: 54116
Current children cumulated CPU time (s) 178.87
Current children cumulated vsize (Kb) 54116

[startup+190.15 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 21085 0 8 0 18777 107 0 0 25 0 1 0 20852585 55414784 12225 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6333/statm): 13529 12225 364 364 0 13165 0
[pid=6333] vsize: 54116
Current children cumulated CPU time (s) 188.84
Current children cumulated vsize (Kb) 54116

[startup+200.15 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 21114 0 8 0 19770 110 0 0 25 0 1 0 20852585 55414784 12254 4294967295 134512640 135987407 3221224576 3221223280 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6333/statm): 13529 12254 364 364 0 13165 0
[pid=6333] vsize: 54116
Current children cumulated CPU time (s) 198.8
Current children cumulated vsize (Kb) 54116

[startup+210.15 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 21370 0 8 0 20764 112 0 0 25 0 1 0 20852585 55549952 12294 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6333/statm): 13562 12294 364 364 0 13198 0
[pid=6333] vsize: 54248
Current children cumulated CPU time (s) 208.76
Current children cumulated vsize (Kb) 54248

[startup+220.15 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 21628 0 8 0 21757 115 0 0 25 0 1 0 20852585 55549952 12336 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6333/statm): 13562 12336 364 364 0 13198 0
[pid=6333] vsize: 54248
Current children cumulated CPU time (s) 218.72
Current children cumulated vsize (Kb) 54248

[startup+230.15 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 21895 0 8 0 22748 119 0 0 25 0 1 0 20852585 55549952 12387 4294967295 134512640 135987407 3221224576 3221223120 134811829 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6333/statm): 13562 12387 364 364 0 13198 0
[pid=6333] vsize: 54248
Current children cumulated CPU time (s) 228.67
Current children cumulated vsize (Kb) 54248

[startup+240.15 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 21943 0 8 0 23742 121 0 0 25 0 1 0 20852585 55685120 12435 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6333/statm): 13595 12435 364 364 0 13231 0
[pid=6333] vsize: 54380
Current children cumulated CPU time (s) 238.63
Current children cumulated vsize (Kb) 54380

[startup+250.151 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 22183 0 8 0 24736 125 0 0 25 0 1 0 20852585 55685120 12459 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6333/statm): 13595 12459 364 364 0 13231 0
[pid=6333] vsize: 54380
Current children cumulated CPU time (s) 248.61
Current children cumulated vsize (Kb) 54380

[startup+260.151 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 22414 0 8 0 25725 129 0 0 25 0 1 0 20852585 55820288 12474 4294967295 134512640 135987407 3221224576 3221223120 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6333/statm): 13628 12474 364 364 0 13264 0
[pid=6333] vsize: 54512
Current children cumulated CPU time (s) 258.54
Current children cumulated vsize (Kb) 54512

[startup+270.152 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 22429 0 8 0 26719 131 0 0 25 0 1 0 20852585 55820288 12489 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6333/statm): 13628 12489 364 364 0 13264 0
[pid=6333] vsize: 54512
Current children cumulated CPU time (s) 268.5
Current children cumulated vsize (Kb) 54512

[startup+280.152 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 22691 0 8 0 27713 133 0 0 25 0 1 0 20852585 55820288 12535 4294967295 134512640 135987407 3221224576 3221223120 134812194 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6333/statm): 13628 12535 364 364 0 13264 0
[pid=6333] vsize: 54512
Current children cumulated CPU time (s) 278.46
Current children cumulated vsize (Kb) 54512

[startup+290.151 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 22962 0 8 0 28703 138 0 0 25 0 1 0 20852585 64344064 12590 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6333/statm): 15709 12590 364 364 0 15345 0
[pid=6333] vsize: 62836
Current children cumulated CPU time (s) 288.41
Current children cumulated vsize (Kb) 62836

[startup+300.151 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 23224 0 8 0 29699 140 0 0 25 0 1 0 20852585 64344064 12636 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6333/statm): 15709 12636 364 364 0 15345 0
[pid=6333] vsize: 62836
Current children cumulated CPU time (s) 298.39
Current children cumulated vsize (Kb) 62836

[startup+310.151 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 23291 0 8 0 30689 143 0 0 25 0 1 0 20852585 64344064 12703 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6333/statm): 15709 12703 364 364 0 15345 0
[pid=6333] vsize: 62836
Current children cumulated CPU time (s) 308.32
Current children cumulated vsize (Kb) 62836

[startup+320.151 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 23519 0 8 0 31683 145 0 0 25 0 1 0 20852585 64491520 12715 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6333/statm): 15745 12715 364 364 0 15381 0
[pid=6333] vsize: 62980
Current children cumulated CPU time (s) 318.28
Current children cumulated vsize (Kb) 62980

[startup+330.151 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 23746 0 8 0 32679 147 0 0 25 0 1 0 20852585 64491520 12726 4294967295 134512640 135987407 3221224576 3221223280 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6333/statm): 15745 12726 364 364 0 15381 0
[pid=6333] vsize: 62980
Current children cumulated CPU time (s) 328.26
Current children cumulated vsize (Kb) 62980

[startup+340.151 s]
Raw data (loadavg): 0.99 0.98 0.99 1/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) T 6332 6333 4060 0 -1 0 23981 0 8 0 33673 149 0 0 25 0 1 0 20852585 64491520 12745 4294967295 134512640 135987407 3221224576 3221223260 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/6333/statm): 15745 12745 364 364 0 15381 0
[pid=6333] vsize: 62980
Current children cumulated CPU time (s) 338.22
Current children cumulated vsize (Kb) 62980

[startup+350.152 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 24225 0 8 0 34663 154 0 0 25 0 1 0 20852585 65511424 12989 4294967295 134512640 135987407 3221224576 3221222816 134828922 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6333/statm): 15994 12989 364 364 0 15630 0
[pid=6333] vsize: 63976
Current children cumulated CPU time (s) 348.17
Current children cumulated vsize (Kb) 63976

[startup+360.152 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 24262 0 8 0 35656 156 0 0 25 0 1 0 20852585 64626688 12810 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6333/statm): 15778 12810 364 364 0 15414 0
[pid=6333] vsize: 63112
Current children cumulated CPU time (s) 358.12
Current children cumulated vsize (Kb) 63112

[startup+370.153 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 24329 0 8 0 36646 159 0 0 25 0 1 0 20852585 64626688 12877 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6333/statm): 15778 12877 364 364 0 15414 0
[pid=6333] vsize: 63112
Current children cumulated CPU time (s) 368.05
Current children cumulated vsize (Kb) 63112

[startup+380.154 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 24582 0 8 0 37642 161 0 0 25 0 1 0 20852585 64761856 12914 4294967295 134512640 135987407 3221224576 3221223120 134788820 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6333/statm): 15811 12914 364 364 0 15447 0
[pid=6333] vsize: 63244
Current children cumulated CPU time (s) 378.03
Current children cumulated vsize (Kb) 63244

[startup+390.154 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 24842 0 8 0 38637 163 0 0 25 0 1 0 20852585 64761856 12958 4294967295 134512640 135987407 3221224576 3221223200 134812433 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6333/statm): 15811 12958 364 364 0 15447 0
[pid=6333] vsize: 63244
Current children cumulated CPU time (s) 388
Current children cumulated vsize (Kb) 63244

[startup+400.154 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 24853 0 8 0 39634 164 0 0 25 0 1 0 20852585 64761856 12969 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6333/statm): 15811 12969 364 364 0 15447 0
[pid=6333] vsize: 63244
Current children cumulated CPU time (s) 397.98
Current children cumulated vsize (Kb) 63244

[startup+410.154 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 25076 0 8 0 40629 166 0 0 25 0 1 0 20852585 64761856 12976 4294967295 134512640 135987407 3221224576 3221223120 134812038 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6333/statm): 15811 12976 364 364 0 15447 0
[pid=6333] vsize: 63244
Current children cumulated CPU time (s) 407.95
Current children cumulated vsize (Kb) 63244

[startup+420.155 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 25300 0 8 0 41623 168 0 0 25 0 1 0 20852585 64761856 12984 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6333/statm): 15811 12984 364 364 0 15447 0
[pid=6333] vsize: 63244
Current children cumulated CPU time (s) 417.91
Current children cumulated vsize (Kb) 63244

[startup+430.156 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 25309 0 8 0 42618 171 0 0 25 0 1 0 20852585 64897024 12993 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6333/statm): 15844 12993 364 364 0 15480 0
[pid=6333] vsize: 63376
Current children cumulated CPU time (s) 427.89
Current children cumulated vsize (Kb) 63376

[startup+440.156 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 25534 0 8 0 43613 173 0 0 25 0 1 0 20852585 64897024 13002 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6333/statm): 15844 13002 364 364 0 15480 0
[pid=6333] vsize: 63376
Current children cumulated CPU time (s) 437.86
Current children cumulated vsize (Kb) 63376

[startup+450.157 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 25769 0 8 0 44607 175 0 0 25 0 1 0 20852585 64897024 13021 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6333/statm): 15844 13021 364 364 0 15480 0
[pid=6333] vsize: 63376
Current children cumulated CPU time (s) 447.82
Current children cumulated vsize (Kb) 63376

[startup+460.157 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 25823 0 8 0 45600 179 0 0 25 0 1 0 20852585 64897024 13075 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6333/statm): 15844 13075 364 364 0 15480 0
[pid=6333] vsize: 63376
Current children cumulated CPU time (s) 457.79
Current children cumulated vsize (Kb) 63376

[startup+470.158 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 26070 0 8 0 46595 181 0 0 25 0 1 0 20852585 65040384 13106 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6333/statm): 15879 13106 364 364 0 15515 0
[pid=6333] vsize: 63516
Current children cumulated CPU time (s) 467.76
Current children cumulated vsize (Kb) 63516

[startup+480.159 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 26089 0 8 0 47590 182 0 0 25 0 1 0 20852585 65040384 13125 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6333/statm): 15879 13125 364 364 0 15515 0
[pid=6333] vsize: 63516
Current children cumulated CPU time (s) 477.72
Current children cumulated vsize (Kb) 63516

[startup+490.159 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 26103 0 8 0 48583 184 0 0 25 0 1 0 20852585 65175552 13139 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6333/statm): 15912 13139 364 364 0 15548 0
[pid=6333] vsize: 63648
Current children cumulated CPU time (s) 487.67
Current children cumulated vsize (Kb) 63648

[startup+500.159 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 26329 0 8 0 49576 187 0 0 25 0 1 0 20852585 65175552 13149 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6333/statm): 15912 13149 364 364 0 15548 0
[pid=6333] vsize: 63648
Current children cumulated CPU time (s) 497.63
Current children cumulated vsize (Kb) 63648

[startup+510.159 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 26603 0 8 0 50570 189 0 0 25 0 1 0 20852585 65175552 13207 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6333/statm): 15912 13207 364 364 0 15548 0
[pid=6333] vsize: 63648
Current children cumulated CPU time (s) 507.59
Current children cumulated vsize (Kb) 63648

[startup+520.16 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 26871 0 8 0 51567 190 0 0 25 0 1 0 20852585 65175552 13259 4294967295 134512640 135987407 3221224576 3221223120 134788831 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6333/statm): 15912 13259 364 364 0 15548 0
[pid=6333] vsize: 63648
Current children cumulated CPU time (s) 517.57
Current children cumulated vsize (Kb) 63648

[startup+530.16 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 26942 0 8 0 52563 192 0 0 25 0 1 0 20852585 65314816 13330 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6333/statm): 15946 13330 364 364 0 15582 0
[pid=6333] vsize: 63784
Current children cumulated CPU time (s) 527.55
Current children cumulated vsize (Kb) 63784

[startup+540.16 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 27182 0 8 0 53551 197 0 0 25 0 1 0 20852585 65314816 13354 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6333/statm): 15946 13354 364 364 0 15582 0
[pid=6333] vsize: 63784
Current children cumulated CPU time (s) 537.48
Current children cumulated vsize (Kb) 63784

[startup+550.161 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 27409 0 8 0 54542 200 0 0 25 0 1 0 20852585 65314816 13365 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6333/statm): 15946 13365 364 364 0 15582 0
[pid=6333] vsize: 63784
Current children cumulated CPU time (s) 547.42
Current children cumulated vsize (Kb) 63784

[startup+560.161 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) T 6332 6333 4060 0 -1 0 27415 0 8 0 55538 202 0 0 25 0 1 0 20852585 65314816 13371 4294967295 134512640 135987407 3221224576 3221223260 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/6333/statm): 15946 13371 364 364 0 15582 0
[pid=6333] vsize: 63784
Current children cumulated CPU time (s) 557.4
Current children cumulated vsize (Kb) 63784

[startup+570.161 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 27641 0 8 0 56529 205 0 0 25 0 1 0 20852585 65449984 13381 4294967295 134512640 135987407 3221224576 3221223120 134812056 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6333/statm): 15979 13381 364 364 0 15615 0
[pid=6333] vsize: 63916
Current children cumulated CPU time (s) 567.34
Current children cumulated vsize (Kb) 63916

[startup+580.161 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 27892 0 8 0 57523 207 0 0 25 0 1 0 20852585 65449984 13416 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6333/statm): 15979 13416 364 364 0 15615 0
[pid=6333] vsize: 63916
Current children cumulated CPU time (s) 577.3
Current children cumulated vsize (Kb) 63916

[startup+590.161 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 28176 0 8 0 58516 210 0 0 25 0 1 0 20852585 65589248 13484 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6333/statm): 16013 13484 364 364 0 15649 0
[pid=6333] vsize: 64052
Current children cumulated CPU time (s) 587.26
Current children cumulated vsize (Kb) 64052

[startup+600.161 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 28441 0 8 0 59512 211 0 0 25 0 1 0 20852585 65589248 13533 4294967295 134512640 135987407 3221224576 3221223248 134876866 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6333/statm): 16013 13533 364 364 0 15649 0
[pid=6333] vsize: 64052
Current children cumulated CPU time (s) 597.23
Current children cumulated vsize (Kb) 64052

[startup+610.162 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 28459 0 8 0 60507 213 0 0 25 0 1 0 20852585 65589248 13551 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6333/statm): 16013 13551 364 364 0 15649 0
[pid=6333] vsize: 64052
Current children cumulated CPU time (s) 607.2
Current children cumulated vsize (Kb) 64052

[startup+620.163 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 28682 0 8 0 61502 215 0 0 25 0 1 0 20852585 65589248 13558 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6333/statm): 16013 13558 364 364 0 15649 0
[pid=6333] vsize: 64052
Current children cumulated CPU time (s) 617.17
Current children cumulated vsize (Kb) 64052

[startup+630.163 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 28911 0 8 0 62498 217 0 0 25 0 1 0 20852585 65724416 13571 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6333/statm): 16046 13571 364 364 0 15682 0
[pid=6333] vsize: 64184
Current children cumulated CPU time (s) 627.15
Current children cumulated vsize (Kb) 64184

[startup+640.163 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 29149 0 8 0 63491 220 0 0 25 0 1 0 20852585 65724416 13593 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6333/statm): 16046 13593 364 364 0 15682 0
[pid=6333] vsize: 64184
Current children cumulated CPU time (s) 637.11
Current children cumulated vsize (Kb) 64184

[startup+650.164 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 29173 0 8 0 64487 221 0 0 25 0 1 0 20852585 65724416 13617 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6333/statm): 16046 13617 364 364 0 15682 0
[pid=6333] vsize: 64184
Current children cumulated CPU time (s) 647.08
Current children cumulated vsize (Kb) 64184

[startup+660.164 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 29439 0 8 0 65479 225 0 0 25 0 1 0 20852585 65724416 13667 4294967295 134512640 135987407 3221224576 3221223120 134812038 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6333/statm): 16046 13667 364 364 0 15682 0
[pid=6333] vsize: 64184
Current children cumulated CPU time (s) 657.04
Current children cumulated vsize (Kb) 64184

[startup+670.165 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 29696 0 8 0 66470 228 0 0 25 0 1 0 20852585 65859584 13708 4294967295 134512640 135987407 3221224576 3221223280 134790000 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6333/statm): 16079 13708 364 364 0 15715 0
[pid=6333] vsize: 64316
Current children cumulated CPU time (s) 666.98
Current children cumulated vsize (Kb) 64316

[startup+680.165 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 29929 0 8 0 67464 231 0 0 25 0 1 0 20852585 65859584 13725 4294967295 134512640 135987407 3221224576 3221223280 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6333/statm): 16079 13725 364 364 0 15715 0
[pid=6333] vsize: 64316
Current children cumulated CPU time (s) 676.95
Current children cumulated vsize (Kb) 64316

[startup+690.165 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 30159 0 8 0 68455 234 0 0 25 0 1 0 20852585 65859584 13739 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6333/statm): 16079 13739 364 364 0 15715 0
[pid=6333] vsize: 64316
Current children cumulated CPU time (s) 686.89
Current children cumulated vsize (Kb) 64316

[startup+700.165 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 30384 0 8 0 69450 235 0 0 25 0 1 0 20852585 65998848 13748 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6333/statm): 16113 13748 364 364 0 15749 0
[pid=6333] vsize: 64452
Current children cumulated CPU time (s) 696.85
Current children cumulated vsize (Kb) 64452

[startup+710.165 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 30410 0 8 0 70442 238 0 0 25 0 1 0 20852585 65998848 13774 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6333/statm): 16113 13774 364 364 0 15749 0
[pid=6333] vsize: 64452
Current children cumulated CPU time (s) 706.8
Current children cumulated vsize (Kb) 64452

[startup+720.166 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 30692 0 8 0 71438 240 0 0 25 0 1 0 20852585 65998848 13840 4294967295 134512640 135987407 3221224576 3221223120 134811827 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6333/statm): 16113 13840 364 364 0 15749 0
[pid=6333] vsize: 64452
Current children cumulated CPU time (s) 716.78
Current children cumulated vsize (Kb) 64452

[startup+730.167 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 30955 0 8 0 72431 243 0 0 25 0 1 0 20852585 66134016 13887 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6333/statm): 16146 13887 364 364 0 15782 0
[pid=6333] vsize: 64584
Current children cumulated CPU time (s) 726.74
Current children cumulated vsize (Kb) 64584

[startup+740.167 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 30965 0 8 0 73427 245 0 0 25 0 1 0 20852585 66134016 13897 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6333/statm): 16146 13897 364 364 0 15782 0
[pid=6333] vsize: 64584
Current children cumulated CPU time (s) 736.72
Current children cumulated vsize (Kb) 64584

[startup+750.167 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 31198 0 8 0 74422 246 0 0 25 0 1 0 20852585 66134016 13914 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6333/statm): 16146 13914 364 364 0 15782 0
[pid=6333] vsize: 64584
Current children cumulated CPU time (s) 746.68
Current children cumulated vsize (Kb) 64584

[startup+760.167 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 31417 0 8 0 75418 249 0 0 25 0 1 0 20852585 66134016 13917 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6333/statm): 16146 13917 364 364 0 15782 0
[pid=6333] vsize: 64584
Current children cumulated CPU time (s) 756.67
Current children cumulated vsize (Kb) 64584

[startup+770.167 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 31637 0 8 0 76414 250 0 0 25 0 1 0 20852585 67018752 14137 4294967295 134512640 135987407 3221224576 3221222792 134827499 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6333/statm): 16362 14137 364 364 0 15998 0
[pid=6333] vsize: 65448
Current children cumulated CPU time (s) 766.64
Current children cumulated vsize (Kb) 65448

[startup+780.167 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) T 6332 6333 4060 0 -1 0 31646 0 8 0 77409 252 0 0 25 0 1 0 20852585 66134016 13930 4294967295 134512640 135987407 3221224576 3221223260 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/6333/statm): 16146 13930 364 364 0 15782 0
[pid=6333] vsize: 64584
Current children cumulated CPU time (s) 776.61
Current children cumulated vsize (Kb) 64584

[startup+790.167 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 31914 0 8 0 78403 254 0 0 25 0 1 0 20852585 66273280 13982 4294967295 134512640 135987407 3221224576 3221223120 134812194 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6333/statm): 16180 13982 364 364 0 15816 0
[pid=6333] vsize: 64720
Current children cumulated CPU time (s) 786.57
Current children cumulated vsize (Kb) 64720

[startup+800.167 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 32174 0 8 0 79398 256 0 0 25 0 1 0 20852585 66273280 14026 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6333/statm): 16180 14026 364 364 0 15816 0
[pid=6333] vsize: 64720
Current children cumulated CPU time (s) 796.54
Current children cumulated vsize (Kb) 64720

[startup+810.167 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 32401 0 8 0 80392 258 0 0 25 0 1 0 20852585 66408448 14037 4294967295 134512640 135987407 3221224576 3221223120 134811907 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6333/statm): 16213 14037 364 364 0 15849 0
[pid=6333] vsize: 64852
Current children cumulated CPU time (s) 806.5
Current children cumulated vsize (Kb) 64852

[startup+820.167 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 32625 0 8 0 81386 260 0 0 25 0 1 0 20852585 66408448 14045 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6333/statm): 16213 14045 364 364 0 15849 0
[pid=6333] vsize: 64852
Current children cumulated CPU time (s) 816.46
Current children cumulated vsize (Kb) 64852

[startup+830.168 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 32869 0 8 0 82382 262 0 0 25 0 1 0 20852585 66408448 14073 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6333/statm): 16213 14073 364 364 0 15849 0
[pid=6333] vsize: 64852
Current children cumulated CPU time (s) 826.44
Current children cumulated vsize (Kb) 64852

[startup+840.168 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 32933 0 8 0 83377 264 0 0 25 0 1 0 20852585 66408448 14137 4294967295 134512640 135987407 3221224576 3221223120 134811980 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6333/statm): 16213 14137 364 364 0 15849 0
[pid=6333] vsize: 64852
Current children cumulated CPU time (s) 836.41
Current children cumulated vsize (Kb) 64852

[startup+850.169 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 33212 0 8 0 84371 266 0 0 25 0 1 0 20852585 66408448 14200 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6333/statm): 16213 14200 364 364 0 15849 0
[pid=6333] vsize: 64852
Current children cumulated CPU time (s) 846.37
Current children cumulated vsize (Kb) 64852

[startup+860.169 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 33443 0 8 0 85366 269 0 0 25 0 1 0 20852585 66408448 14215 4294967295 134512640 135987407 3221224576 3221223280 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6333/statm): 16213 14215 364 364 0 15849 0
[pid=6333] vsize: 64852
Current children cumulated CPU time (s) 856.35
Current children cumulated vsize (Kb) 64852

[startup+870.17 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 33678 0 8 0 86360 271 0 0 25 0 1 0 20852585 66543616 14234 4294967295 134512640 135987407 3221224576 3221223120 134811972 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6333/statm): 16246 14234 364 364 0 15882 0
[pid=6333] vsize: 64984
Current children cumulated CPU time (s) 866.31
Current children cumulated vsize (Kb) 64984

[startup+880.17 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 33908 0 8 0 87354 274 0 0 25 0 1 0 20852585 66543616 14248 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6333/statm): 16246 14248 364 364 0 15882 0
[pid=6333] vsize: 64984
Current children cumulated CPU time (s) 876.28
Current children cumulated vsize (Kb) 64984

[startup+890.17 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 34134 0 8 0 88347 277 0 0 25 0 1 0 20852585 66543616 14258 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6333/statm): 16246 14258 364 364 0 15882 0
[pid=6333] vsize: 64984
Current children cumulated CPU time (s) 886.24
Current children cumulated vsize (Kb) 64984

[startup+900.171 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 34393 0 8 0 89343 279 0 0 25 0 1 0 20852585 66678784 14301 4294967295 134512640 135987407 3221224576 3221223248 134824250 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6333/statm): 16279 14301 364 364 0 15915 0
[pid=6333] vsize: 65116
Current children cumulated CPU time (s) 896.22
Current children cumulated vsize (Kb) 65116

[startup+910.172 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 34483 0 8 0 90337 281 0 0 25 0 1 0 20852585 66678784 14391 4294967295 134512640 135987407 3221224576 3221223280 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6333/statm): 16279 14391 364 364 0 15915 0
[pid=6333] vsize: 65116
Current children cumulated CPU time (s) 906.18
Current children cumulated vsize (Kb) 65116

[startup+920.173 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 34710 0 8 0 91332 284 0 0 25 0 1 0 20852585 66678784 14402 4294967295 134512640 135987407 3221224576 3221223120 134811842 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6333/statm): 16279 14402 364 364 0 15915 0
[pid=6333] vsize: 65116
Current children cumulated CPU time (s) 916.16
Current children cumulated vsize (Kb) 65116

[startup+930.174 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 34936 0 8 0 92327 285 0 0 25 0 1 0 20852585 66678784 14412 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6333/statm): 16279 14412 364 364 0 15915 0
[pid=6333] vsize: 65116
Current children cumulated CPU time (s) 926.12
Current children cumulated vsize (Kb) 65116

[startup+940.174 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 35167 0 8 0 93322 288 0 0 25 0 1 0 20852585 66813952 14427 4294967295 134512640 135987407 3221224576 3221223280 134790054 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6333/statm): 16312 14427 364 364 0 15948 0
[pid=6333] vsize: 65248
Current children cumulated CPU time (s) 936.1
Current children cumulated vsize (Kb) 65248

[startup+950.175 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 35391 0 8 0 94318 289 0 0 25 0 1 0 20852585 66813952 14435 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6333/statm): 16312 14435 364 364 0 15948 0
[pid=6333] vsize: 65248
Current children cumulated CPU time (s) 946.07
Current children cumulated vsize (Kb) 65248

[startup+960.175 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 35398 0 8 0 95314 291 0 0 25 0 1 0 20852585 66813952 14442 4294967295 134512640 135987407 3221224576 3221223152 134813833 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6333/statm): 16312 14442 364 364 0 15948 0
[pid=6333] vsize: 65248
Current children cumulated CPU time (s) 956.05
Current children cumulated vsize (Kb) 65248

[startup+970.176 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 35620 0 8 0 96309 293 0 0 25 0 1 0 20852585 66813952 14448 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6333/statm): 16312 14448 364 364 0 15948 0
[pid=6333] vsize: 65248
Current children cumulated CPU time (s) 966.02
Current children cumulated vsize (Kb) 65248

[startup+980.176 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 35850 0 8 0 97305 295 0 0 25 0 1 0 20852585 66813952 14462 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6333/statm): 16312 14462 364 364 0 15948 0
[pid=6333] vsize: 65248
Current children cumulated CPU time (s) 976
Current children cumulated vsize (Kb) 65248

[startup+990.177 s]
Raw data (loadavg): 0.99 0.98 0.99 1/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) T 6332 6333 4060 0 -1 0 36074 0 8 0 98300 297 0 0 25 0 1 0 20852585 66949120 14470 4294967295 134512640 135987407 3221224576 3221223260 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/6333/statm): 16345 14470 364 364 0 15981 0
[pid=6333] vsize: 65380
Current children cumulated CPU time (s) 985.97
Current children cumulated vsize (Kb) 65380

[startup+1000.18 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 36096 0 8 0 99295 299 0 0 25 0 1 0 20852585 66949120 14492 4294967295 134512640 135987407 3221224576 3221223280 134790062 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6333/statm): 16345 14492 364 364 0 15981 0
[pid=6333] vsize: 65380
Current children cumulated CPU time (s) 995.94
Current children cumulated vsize (Kb) 65380

[startup+1010.18 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 36315 0 8 0 100291 301 0 0 25 0 1 0 20852585 66949120 14495 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6333/statm): 16345 14495 364 364 0 15981 0
[pid=6333] vsize: 65380
Current children cumulated CPU time (s) 1005.92
Current children cumulated vsize (Kb) 65380

[startup+1020.18 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 36566 0 8 0 101286 303 0 0 25 0 1 0 20852585 67084288 14530 4294967295 134512640 135987407 3221224576 3221223072 134821133 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6333/statm): 16378 14530 364 364 0 16014 0
[pid=6333] vsize: 65512
Current children cumulated CPU time (s) 1015.89
Current children cumulated vsize (Kb) 65512

[startup+1030.18 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 36642 0 8 0 102281 305 0 0 25 0 1 0 20852585 67084288 14606 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6333/statm): 16378 14606 364 364 0 16014 0
[pid=6333] vsize: 65512
Current children cumulated CPU time (s) 1025.86
Current children cumulated vsize (Kb) 65512

[startup+1040.18 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 36899 0 8 0 103277 307 0 0 25 0 1 0 20852585 67084288 14647 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6333/statm): 16378 14647 364 364 0 16014 0
[pid=6333] vsize: 65512
Current children cumulated CPU time (s) 1035.84
Current children cumulated vsize (Kb) 65512

[startup+1050.18 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 37156 0 8 0 104273 308 0 0 25 0 1 0 20852585 67219456 14688 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6333/statm): 16411 14688 364 364 0 16047 0
[pid=6333] vsize: 65644
Current children cumulated CPU time (s) 1045.81
Current children cumulated vsize (Kb) 65644

[startup+1060.18 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 37165 0 8 0 105269 310 0 0 25 0 1 0 20852585 67219456 14697 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6333/statm): 16411 14697 364 364 0 16047 0
[pid=6333] vsize: 65644
Current children cumulated CPU time (s) 1055.79
Current children cumulated vsize (Kb) 65644

[startup+1070.18 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 37397 0 8 0 106265 312 0 0 25 0 1 0 20852585 67219456 14713 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6333/statm): 16411 14713 364 364 0 16047 0
[pid=6333] vsize: 65644
Current children cumulated CPU time (s) 1065.77
Current children cumulated vsize (Kb) 65644

[startup+1080.18 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 37403 0 8 0 107261 313 0 0 25 0 1 0 20852585 67219456 14719 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6333/statm): 16411 14719 364 364 0 16047 0
[pid=6333] vsize: 65644
Current children cumulated CPU time (s) 1075.74
Current children cumulated vsize (Kb) 65644

[startup+1090.18 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 37628 0 8 0 108257 315 0 0 25 0 1 0 20852585 67219456 14728 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6333/statm): 16411 14728 364 364 0 16047 0
[pid=6333] vsize: 65644
Current children cumulated CPU time (s) 1085.72
Current children cumulated vsize (Kb) 65644

[startup+1100.18 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 37640 0 8 0 109254 316 0 0 25 0 1 0 20852585 67354624 14740 4294967295 134512640 135987407 3221224576 3221223280 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6333/statm): 16444 14740 364 364 0 16080 0
[pid=6333] vsize: 65776
Current children cumulated CPU time (s) 1095.7
Current children cumulated vsize (Kb) 65776

[startup+1110.18 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 37870 0 8 0 110250 318 0 0 25 0 1 0 20852585 67354624 14754 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6333/statm): 16444 14754 364 364 0 16080 0
[pid=6333] vsize: 65776
Current children cumulated CPU time (s) 1105.68
Current children cumulated vsize (Kb) 65776

[startup+1120.18 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 37944 0 8 0 111246 320 0 0 25 0 1 0 20852585 67354624 14828 4294967295 134512640 135987407 3221224576 3221223152 134813998 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6333/statm): 16444 14828 364 364 0 16080 0
[pid=6333] vsize: 65776
Current children cumulated CPU time (s) 1115.66
Current children cumulated vsize (Kb) 65776

[startup+1130.18 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 38227 0 8 0 112241 323 0 0 25 0 1 0 20852585 67354624 14895 4294967295 134512640 135987407 3221224576 3221223120 134811959 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6333/statm): 16444 14895 364 364 0 16080 0
[pid=6333] vsize: 65776
Current children cumulated CPU time (s) 1125.64
Current children cumulated vsize (Kb) 65776

[startup+1140.18 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 38467 0 8 0 113237 324 0 0 25 0 1 0 20852585 67354624 14919 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6333/statm): 16444 14919 364 364 0 16080 0
[pid=6333] vsize: 65776
Current children cumulated CPU time (s) 1135.61
Current children cumulated vsize (Kb) 65776

[startup+1150.18 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 38473 0 8 0 114234 325 0 0 25 0 1 0 20852585 67489792 14925 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6333/statm): 16477 14925 364 364 0 16113 0
[pid=6333] vsize: 65908
Current children cumulated CPU time (s) 1145.59
Current children cumulated vsize (Kb) 65908

[startup+1160.18 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 38767 0 8 0 115229 327 0 0 25 0 1 0 20852585 67760128 15003 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6333/statm): 16543 15003 364 364 0 16179 0
[pid=6333] vsize: 66172
Current children cumulated CPU time (s) 1155.56
Current children cumulated vsize (Kb) 66172

[startup+1170.18 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 38987 0 8 0 116222 329 0 0 25 0 1 0 20852585 67760128 15007 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6333/statm): 16543 15007 364 364 0 16179 0
[pid=6333] vsize: 66172
Current children cumulated CPU time (s) 1165.51
Current children cumulated vsize (Kb) 66172

[startup+1180.18 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 39207 0 8 0 117216 332 0 0 25 0 1 0 20852585 67760128 15011 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6333/statm): 16543 15011 364 364 0 16179 0
[pid=6333] vsize: 66172
Current children cumulated CPU time (s) 1175.48
Current children cumulated vsize (Kb) 66172

[startup+1190.18 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 39256 0 8 0 118212 333 0 0 25 0 1 0 20852585 67760128 15060 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6333/statm): 16543 15060 364 364 0 16179 0
[pid=6333] vsize: 66172
Current children cumulated CPU time (s) 1185.45
Current children cumulated vsize (Kb) 66172

[startup+1200.18 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 39525 0 8 0 119208 335 0 0 25 0 1 0 20852585 67760128 15113 4294967295 134512640 135987407 3221224576 3221223280 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6333/statm): 16543 15113 364 364 0 16179 0
[pid=6333] vsize: 66172
Current children cumulated CPU time (s) 1195.43
Current children cumulated vsize (Kb) 66172

[startup+1210.18 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 39790 0 8 0 120204 337 0 0 25 0 1 0 20852585 67760128 15162 4294967295 134512640 135987407 3221224576 3221223120 134811962 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6333/statm): 16543 15162 364 364 0 16179 0
[pid=6333] vsize: 66172
Current children cumulated CPU time (s) 1205.41
Current children cumulated vsize (Kb) 66172



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.18 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6333
Raw data (/proc/6333/stat): 6333 (pb2sat) R 6332 6333 4060 0 -1 0 39790 0 8 0 120204 337 0 0 25 0 1 0 20852585 67760128 15162 4294967295 134512640 135987407 3221224576 3221223120 134811816 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6333/statm): 16543 15162 364 364 0 16179 0
[pid=6333] vsize: 66172
Current children cumulated CPU time (s) 1205.41
Current children cumulated vsize (Kb) 66172

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

Child status: 10
Real time (s): 1210.4
CPU time (s): 1205.63
CPU user time (s): 1202.23
CPU system time (s): 3.40648
CPU usage (%): 99.6063
Max. virtual memory (cumulated for all children) (Kb): 66172

Verifier Data

Verifier:	OK	26