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/primes-dimacs-cnf/normalized-ii32e2.opb
MD5SUM4e882bbd92f288daf6e68ac3de757136
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 235
Optimality of the best value was proved YES
Number of terms in the objective function 534
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 534
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 534
Number of bits of the biggest sum of numbers10
Best result obtained on this benchmarkOPTIMUM FOUND
Best CPU time to get the best result obtained on this benchmark1019.9
Number of variables534
Total number of constraints3013
Number of constraints which are clauses3013
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 constraint32

Trace number 9661

Launcher Data

LAUNCH ON wulflinc32 THE 2005-09-23 14:40:17 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8355 boxname=wulflinc32 idbench=151 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  4e882bbd92f288daf6e68ac3de757136  /oldhome/oroussel/tmp/wulflinc32/normalized-ii32e2.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc32/normalized-ii32e2.opb
IDLAUNCH: 8355
/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:        932444 kB
Buffers:         14196 kB
Cached:          68764 kB
SwapCached:          0 kB
Active:          41884 kB
Inactive:        43936 kB
HighTotal:      131072 kB
HighFree:        57920 kB
LowTotal:       903652 kB
LowFree:        874524 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6984 kB
Slab:            10964 kB
Committed_AS:    63656 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 15:00:27 (client local time) WITH STATUS 10 IN 1207.69 SECONDS
stats: 8355 0 1207.69 10

Solver Data

c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
c got solution with objective value: 267
c small objective detected
c CONFLICT during preprocess 
c [startup+6.04547 s]  setting bit 9 to 0
c [startup+7.04095 s]  setting bit 8 to 0

c Decision: 43233/107884	Time: 35.1557/86400
c Decision: 43233/107884	Time: 62.7985/86400
c Decision: 43442/107884	Time: 122.249/86400
c Decision: 43442/107884	Time: 146.032/86400
c Decision: 44144/107884	Time: 194.594/86400
c Decision: 44147/107884	Time: 234.665/86400
c Decision: 44148/107884	Time: 265.367/86400
c [startup+313.033 s]  setting bit 7 to 0

c Decision: 22509/107884	Time: 45.4001/86400
c Decision: 22511/107884	Time: 88.2386/86400
c Decision: 22922/107884	Time: 133.469/86400
c Decision: 23108/107884	Time: 168.867/86400
c Decision: 23303/107884	Time: 207.856/86400
c Decision: 23395/107884	Time: 237.105/86400
c Decision: 23744/107884	Time: 305.741/86400
c Decision: 23941/107884	Time: 335.311/86400
c Decision: 23991/107884	Time: 363.418/86400
c Decision: 24155/107884	Time: 400.447/86400
c Decision: 24289/107884	Time: 437.444/86400
c Decision: 24613/107884	Time: 464.329/86400
c Decision: 24738/107884	Time: 493.842/86400
c Decision: 24868/107884	Time: 569.304/86400
c Decision: 26901/107884	Time: 641.606/86400
c [startup+1046.41 s]  setting bit 6 to 0

c Decision: 15536/107884	Time: 30.3324/86400
c Decision: 15536/107884	Time: 41.6607/86400
c Decision: 15536/107884	Time: 53.5509/86400
c Decision: 15536/107884	Time: 70.1663/86400
c Decision: 15536/107884	Time: 77.2183/86400
c Decision: 15536/107884	Time: 102.062/86400
c Decision: 15536/107884	Time: 111.509/86400
c Decision: 15536/107884	Time: 123.397/86400
c Decision: 15536/107884	Time: 130.321/86400
c Decision: 15536/107884	Time: 142.64/86400
c Decision: 15536/107884	Time: 162.547/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 x468 x469 x47 -x470 -x471 x472 -x473 x474 x475 -x476 -x477 x478 -x479 -x48 x480 x481 -x482 -x483 x484 -x485 x486 x487 -x488 -x489 x49 x490 -x491 x492 -x493 x494 x495 -x496 -x497 x498 x499 x5 -x50 -x500 -x501 x502 -x503 x504 x505 -x506 -x507 x508 -x509 x51 x510 -x511 x512 x513 -x514 -x515 x516 -x517 x518 x519 -x52 -x520 -x521 x522 -x523 x524 x525 -x526 -x527 x528 x529 x53 -x530 -x531 x532 -x533 x534 -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/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 20938941 1527808 2 4294967295 134512640 135987407 3221224576 3221224576 134512928 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6615/statm): 373 2 364 364 0 9 0
[pid=6615] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc32/normalized-ii32e2.opb

[startup+10.0024 s]
Raw data (loadavg): 0.93 0.97 0.99 2/55 6615
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 17678 0 0 0 952 41 0 0 25 0 1 0 20938941 54296576 11420 4294967295 134512640 135987407 3221224576 3221223184 134801142 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6615/statm): 13256 11420 364 364 0 12892 0
[pid=6615] vsize: 53024
Current children cumulated CPU time (s) 9.93
Current children cumulated vsize (Kb) 53024

[startup+20.0031 s]
Raw data (loadavg): 0.94 0.97 0.99 2/55 6615
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 18169 0 0 0 1948 44 0 0 25 0 1 0 20938941 56197120 11812 4294967295 134512640 135987407 3221224576 3221223120 134811807 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6615/statm): 13720 11812 364 364 0 13356 0
[pid=6615] vsize: 54880
Current children cumulated CPU time (s) 19.92
Current children cumulated vsize (Kb) 54880

[startup+30.0039 s]
Raw data (loadavg): 0.95 0.97 0.99 2/55 6615
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 18181 0 0 0 2947 44 0 0 25 0 1 0 20938941 56197120 11824 4294967295 134512640 135987407 3221224576 3221222992 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6615/statm): 13720 11824 364 364 0 13356 0
[pid=6615] vsize: 54880
Current children cumulated CPU time (s) 29.91
Current children cumulated vsize (Kb) 54880

[startup+40.0047 s]
Raw data (loadavg): 0.95 0.97 0.99 2/55 6615
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 18198 0 0 0 3944 46 0 0 25 0 1 0 20938941 56197120 11841 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6615/statm): 13720 11841 364 364 0 13356 0
[pid=6615] vsize: 54880
Current children cumulated CPU time (s) 39.9
Current children cumulated vsize (Kb) 54880

[startup+50.0055 s]
Raw data (loadavg): 0.96 0.97 0.99 2/55 6615
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 19018 0 0 0 4938 49 0 0 25 0 1 0 20938941 58986496 12351 4294967295 134512640 135987407 3221224576 3221223120 134811937 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6615/statm): 14401 12351 364 364 0 14037 0
[pid=6615] vsize: 57604
Current children cumulated CPU time (s) 49.87
Current children cumulated vsize (Kb) 57604

[startup+60.0062 s]
Raw data (loadavg): 0.97 0.97 0.99 2/55 6615
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 19672 0 0 0 5929 53 0 0 25 0 1 0 20938941 62132224 12923 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6615/statm): 15169 12923 364 364 0 14805 0
[pid=6615] vsize: 60676
Current children cumulated CPU time (s) 59.82
Current children cumulated vsize (Kb) 60676

[startup+70.006 s]
Raw data (loadavg): 0.97 0.97 0.99 2/55 6615
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 20362 0 0 0 6922 57 0 0 25 0 1 0 20938941 64069632 13270 4294967295 134512640 135987407 3221224576 3221223200 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6615/statm): 15642 13270 364 364 0 15278 0
[pid=6615] vsize: 62568
Current children cumulated CPU time (s) 69.79
Current children cumulated vsize (Kb) 62568

[startup+80.0068 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 6615
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 20371 0 0 0 7919 58 0 0 25 0 1 0 20938941 64069632 13279 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6615/statm): 15642 13279 364 364 0 15278 0
[pid=6615] vsize: 62568
Current children cumulated CPU time (s) 79.77
Current children cumulated vsize (Kb) 62568

[startup+90.0066 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 6615
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 20381 0 0 0 8916 59 0 0 25 0 1 0 20938941 64069632 13289 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6615/statm): 15642 13289 364 364 0 15278 0
[pid=6615] vsize: 62568
Current children cumulated CPU time (s) 89.75
Current children cumulated vsize (Kb) 62568

[startup+100.007 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 6615
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 20394 0 0 0 9914 60 0 0 25 0 1 0 20938941 64069632 13302 4294967295 134512640 135987407 3221224576 3221223248 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6615/statm): 15642 13302 364 364 0 15278 0
[pid=6615] vsize: 62568
Current children cumulated CPU time (s) 99.74
Current children cumulated vsize (Kb) 62568

[startup+110.008 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 6615
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 20407 0 0 0 10911 61 0 0 25 0 1 0 20938941 64069632 13315 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6615/statm): 15642 13315 364 364 0 15278 0
[pid=6615] vsize: 62568
Current children cumulated CPU time (s) 109.72
Current children cumulated vsize (Kb) 62568

[startup+120.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6615
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 20442 0 0 0 11908 62 0 0 25 0 1 0 20938941 64204800 13350 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6615/statm): 15675 13350 364 364 0 15311 0
[pid=6615] vsize: 62700
Current children cumulated CPU time (s) 119.7
Current children cumulated vsize (Kb) 62700

[startup+130.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6615
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 20669 0 0 0 12905 64 0 0 25 0 1 0 20938941 64204800 13366 4294967295 134512640 135987407 3221224576 3221222992 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6615/statm): 15675 13366 364 364 0 15311 0
[pid=6615] vsize: 62700
Current children cumulated CPU time (s) 129.69
Current children cumulated vsize (Kb) 62700

[startup+140.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6615
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 20687 0 0 0 13903 65 0 0 25 0 1 0 20938941 64204800 13384 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6615/statm): 15675 13384 364 364 0 15311 0
[pid=6615] vsize: 62700
Current children cumulated CPU time (s) 139.68
Current children cumulated vsize (Kb) 62700

[startup+150.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6615
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 20704 0 0 0 14900 65 0 0 25 0 1 0 20938941 64204800 13401 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6615/statm): 15675 13401 364 364 0 15311 0
[pid=6615] vsize: 62700
Current children cumulated CPU time (s) 149.65
Current children cumulated vsize (Kb) 62700

[startup+160.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6615
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 20933 0 0 0 15897 67 0 0 25 0 1 0 20938941 64204800 13419 4294967295 134512640 135987407 3221224576 3221223120 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6615/statm): 15675 13419 364 364 0 15311 0
[pid=6615] vsize: 62700
Current children cumulated CPU time (s) 159.64
Current children cumulated vsize (Kb) 62700

[startup+170.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6615
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 20956 0 0 0 16896 68 0 0 25 0 1 0 20938941 64204800 13442 4294967295 134512640 135987407 3221224576 3221223120 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6615/statm): 15675 13442 364 364 0 15311 0
[pid=6615] vsize: 62700
Current children cumulated CPU time (s) 169.64
Current children cumulated vsize (Kb) 62700

[startup+180.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6615
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 20966 0 0 0 17893 68 0 0 25 0 1 0 20938941 64204800 13452 4294967295 134512640 135987407 3221224576 3221223248 134824238 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6615/statm): 15675 13452 364 364 0 15311 0
[pid=6615] vsize: 62700
Current children cumulated CPU time (s) 179.61
Current children cumulated vsize (Kb) 62700

[startup+190.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6615
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 20983 0 0 0 18891 69 0 0 25 0 1 0 20938941 64204800 13469 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6615/statm): 15675 13469 364 364 0 15311 0
[pid=6615] vsize: 62700
Current children cumulated CPU time (s) 189.6
Current children cumulated vsize (Kb) 62700

[startup+200.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6615
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 21002 0 0 0 19888 70 0 0 25 0 1 0 20938941 64204800 13488 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6615/statm): 15675 13488 364 364 0 15311 0
[pid=6615] vsize: 62700
Current children cumulated CPU time (s) 199.58
Current children cumulated vsize (Kb) 62700

[startup+210.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6615
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 21236 0 0 0 20885 72 0 0 25 0 1 0 20938941 64204800 13511 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6615/statm): 15675 13511 364 364 0 15311 0
[pid=6615] vsize: 62700
Current children cumulated CPU time (s) 209.57
Current children cumulated vsize (Kb) 62700

[startup+220.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6615
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 21259 0 0 0 21881 74 0 0 25 0 1 0 20938941 64204800 13534 4294967295 134512640 135987407 3221224576 3221223248 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6615/statm): 15675 13534 364 364 0 15311 0
[pid=6615] vsize: 62700
Current children cumulated CPU time (s) 219.55
Current children cumulated vsize (Kb) 62700

[startup+230.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6615
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 21281 0 0 0 22878 74 0 0 25 0 1 0 20938941 64204800 13556 4294967295 134512640 135987407 3221224576 3221223184 134801142 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6615/statm): 15675 13556 364 364 0 15311 0
[pid=6615] vsize: 62700
Current children cumulated CPU time (s) 229.52
Current children cumulated vsize (Kb) 62700

[startup+240.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6615
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 21297 0 0 0 23876 75 0 0 25 0 1 0 20938941 64204800 13572 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6615/statm): 15675 13572 364 364 0 15311 0
[pid=6615] vsize: 62700
Current children cumulated CPU time (s) 239.51
Current children cumulated vsize (Kb) 62700

[startup+250.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6615
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 21523 0 0 0 24874 76 0 0 25 0 1 0 20938941 64339968 13587 4294967295 134512640 135987407 3221224576 3221223120 134811842 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6615/statm): 15708 13587 364 364 0 15344 0
[pid=6615] vsize: 62832
Current children cumulated CPU time (s) 249.5
Current children cumulated vsize (Kb) 62832

[startup+260.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6615
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 21528 0 0 0 25872 77 0 0 25 0 1 0 20938941 64339968 13592 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6615/statm): 15708 13592 364 364 0 15344 0
[pid=6615] vsize: 62832
Current children cumulated CPU time (s) 259.49
Current children cumulated vsize (Kb) 62832

[startup+270.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6615
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 21540 0 0 0 26870 78 0 0 25 0 1 0 20938941 64339968 13604 4294967295 134512640 135987407 3221224576 3221223248 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6615/statm): 15708 13604 364 364 0 15344 0
[pid=6615] vsize: 62832
Current children cumulated CPU time (s) 269.48
Current children cumulated vsize (Kb) 62832

[startup+280.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6615
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 21763 0 0 0 27867 79 0 0 25 0 1 0 20938941 64339968 13616 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6615/statm): 15708 13616 364 364 0 15344 0
[pid=6615] vsize: 62832
Current children cumulated CPU time (s) 279.46
Current children cumulated vsize (Kb) 62832

[startup+290.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6615
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 21772 0 0 0 28865 80 0 0 25 0 1 0 20938941 64475136 13625 4294967295 134512640 135987407 3221224576 3221223296 134812606 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6615/statm): 15741 13625 364 364 0 15377 0
[pid=6615] vsize: 62964
Current children cumulated CPU time (s) 289.45
Current children cumulated vsize (Kb) 62964

[startup+300.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6615
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 21773 0 0 0 29864 80 0 0 25 0 1 0 20938941 64475136 13626 4294967295 134512640 135987407 3221224576 3221223248 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6615/statm): 15741 13626 364 364 0 15377 0
[pid=6615] vsize: 62964
Current children cumulated CPU time (s) 299.44
Current children cumulated vsize (Kb) 62964

[startup+310.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6615
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 21777 0 0 0 30863 80 0 0 25 0 1 0 20938941 64475136 13630 4294967295 134512640 135987407 3221224576 3221223120 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6615/statm): 15741 13630 364 364 0 15377 0
[pid=6615] vsize: 62964
Current children cumulated CPU time (s) 309.43
Current children cumulated vsize (Kb) 62964

[startup+320.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6615
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 22311 0 0 0 31859 82 0 0 25 0 1 0 20938941 65593344 13790 4294967295 134512640 135987407 3221224576 3221223120 134812120 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6615/statm): 16014 13790 364 364 0 15650 0
[pid=6615] vsize: 64056
Current children cumulated CPU time (s) 319.41
Current children cumulated vsize (Kb) 64056

[startup+330.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6615
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 22325 0 0 0 32856 83 0 0 25 0 1 0 20938941 65593344 13804 4294967295 134512640 135987407 3221224576 3221223296 134812703 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6615/statm): 16014 13804 364 364 0 15650 0
[pid=6615] vsize: 64056
Current children cumulated CPU time (s) 329.39
Current children cumulated vsize (Kb) 64056

[startup+340.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6615
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 22449 0 0 0 33852 85 0 0 25 0 1 0 20938941 65986560 13830 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6615/statm): 16110 13830 364 364 0 15746 0
[pid=6615] vsize: 64440
Current children cumulated CPU time (s) 339.37
Current children cumulated vsize (Kb) 64440

[startup+350.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6615
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 22551 0 0 0 34849 87 0 0 25 0 1 0 20938941 66285568 13932 4294967295 134512640 135987407 3221224576 3221223120 134811940 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6615/statm): 16183 13932 364 364 0 15819 0
[pid=6615] vsize: 64732
Current children cumulated CPU time (s) 349.36
Current children cumulated vsize (Kb) 64732

[startup+360.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6615
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 23093 0 0 0 35842 90 0 0 25 0 1 0 20938941 68030464 14263 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6615/statm): 16609 14263 364 364 0 16245 0
[pid=6615] vsize: 66436
Current children cumulated CPU time (s) 359.32
Current children cumulated vsize (Kb) 66436

[startup+370.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6615
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 23094 0 0 0 36839 90 0 0 25 0 1 0 20938941 68030464 14264 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6615/statm): 16609 14264 364 364 0 16245 0
[pid=6615] vsize: 66436
Current children cumulated CPU time (s) 369.29
Current children cumulated vsize (Kb) 66436

[startup+380.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6615
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 23148 0 0 0 37836 92 0 0 25 0 1 0 20938941 68161536 14285 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6615/statm): 16641 14285 364 364 0 16277 0
[pid=6615] vsize: 66564
Current children cumulated CPU time (s) 379.28
Current children cumulated vsize (Kb) 66564

[startup+390.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6615
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 23349 0 0 0 38828 94 0 0 25 0 1 0 20938941 68964352 14420 4294967295 134512640 135987407 3221224576 3221223120 134811972 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6615/statm): 16837 14420 364 364 0 16473 0
[pid=6615] vsize: 67348
Current children cumulated CPU time (s) 389.22
Current children cumulated vsize (Kb) 67348

[startup+400.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6615
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 23443 0 0 0 39822 96 0 0 25 0 1 0 20938941 69234688 14514 4294967295 134512640 135987407 3221224576 3221223296 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6615/statm): 16903 14514 364 364 0 16539 0
[pid=6615] vsize: 67612
Current children cumulated CPU time (s) 399.18
Current children cumulated vsize (Kb) 67612

[startup+410.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6615
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 23670 0 0 0 40819 97 0 0 25 0 1 0 20938941 69234688 14530 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6615/statm): 16903 14530 364 364 0 16539 0
[pid=6615] vsize: 67612
Current children cumulated CPU time (s) 409.16
Current children cumulated vsize (Kb) 67612

[startup+420.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6615
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 23682 0 0 0 41816 98 0 0 25 0 1 0 20938941 69234688 14542 4294967295 134512640 135987407 3221224576 3221222992 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6615/statm): 16903 14542 364 364 0 16539 0
[pid=6615] vsize: 67612
Current children cumulated CPU time (s) 419.14
Current children cumulated vsize (Kb) 67612

[startup+430.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6615
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 23736 0 0 0 42813 100 0 0 25 0 1 0 20938941 69500928 14596 4294967295 134512640 135987407 3221224576 3221223120 134811816 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6615/statm): 16968 14596 364 364 0 16604 0
[pid=6615] vsize: 67872
Current children cumulated CPU time (s) 429.13
Current children cumulated vsize (Kb) 67872

[startup+440.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6615
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 23752 0 0 0 43810 102 0 0 25 0 1 0 20938941 69500928 14612 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6615/statm): 16968 14612 364 364 0 16604 0
[pid=6615] vsize: 67872
Current children cumulated CPU time (s) 439.12
Current children cumulated vsize (Kb) 67872

[startup+450.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6615
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 23977 0 0 0 44808 103 0 0 25 0 1 0 20938941 69500928 14626 4294967295 134512640 135987407 3221224576 3221223120 134811885 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6615/statm): 16968 14626 364 364 0 16604 0
[pid=6615] vsize: 67872
Current children cumulated CPU time (s) 449.11
Current children cumulated vsize (Kb) 67872

[startup+460.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6615
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 24104 0 0 0 45805 104 0 0 25 0 1 0 20938941 69902336 14720 4294967295 134512640 135987407 3221224576 3221223248 134824238 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6615/statm): 17066 14720 364 364 0 16702 0
[pid=6615] vsize: 68264
Current children cumulated CPU time (s) 459.09
Current children cumulated vsize (Kb) 68264

[startup+470.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6615
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 24554 0 0 0 46800 107 0 0 25 0 1 0 20938941 71626752 15055 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6615/statm): 17487 15055 364 364 0 17123 0
[pid=6615] vsize: 69948
Current children cumulated CPU time (s) 469.07
Current children cumulated vsize (Kb) 69948

[startup+480.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6615
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 24720 0 0 0 47796 109 0 0 25 0 1 0 20938941 72159232 15188 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6615/statm): 17617 15188 364 364 0 17253 0
[pid=6615] vsize: 70468
Current children cumulated CPU time (s) 479.05
Current children cumulated vsize (Kb) 70468

[startup+490.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6615
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 25000 0 0 0 48793 110 0 0 25 0 1 0 20938941 72560640 15257 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6615/statm): 17715 15257 364 364 0 17351 0
[pid=6615] vsize: 70860
Current children cumulated CPU time (s) 489.03
Current children cumulated vsize (Kb) 70860

[startup+500.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6615
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 25917 0 0 0 49786 114 0 0 25 0 1 0 20938941 76177408 15910 4294967295 134512640 135987407 3221224576 3221223120 134811741 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6615/statm): 18598 15910 364 364 0 18234 0
[pid=6615] vsize: 74392
Current children cumulated CPU time (s) 499
Current children cumulated vsize (Kb) 74392

[startup+510.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6615
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 26257 0 0 0 50775 119 0 0 25 0 1 0 20938941 77856768 16217 4294967295 134512640 135987407 3221224576 3221223120 134811937 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6615/statm): 19008 16217 364 364 0 18644 0
[pid=6615] vsize: 76032
Current children cumulated CPU time (s) 508.94
Current children cumulated vsize (Kb) 76032

[startup+520.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6615
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 26616 0 0 0 51769 122 0 0 25 0 1 0 20938941 78782464 16411 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6615/statm): 19234 16411 364 364 0 18870 0
[pid=6615] vsize: 76936
Current children cumulated CPU time (s) 518.91
Current children cumulated vsize (Kb) 76936

[startup+530.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6615
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 26921 0 0 0 52765 124 0 0 25 0 1 0 20938941 79048704 16472 4294967295 134512640 135987407 3221224576 3221223120 134811885 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6615/statm): 19299 16472 364 364 0 18935 0
[pid=6615] vsize: 77196
Current children cumulated CPU time (s) 528.89
Current children cumulated vsize (Kb) 77196

[startup+540.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6615
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 26941 0 0 0 53763 125 0 0 25 0 1 0 20938941 87437312 16492 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6615/statm): 21347 16492 364 364 0 20983 0
[pid=6615] vsize: 85388
Current children cumulated CPU time (s) 538.88
Current children cumulated vsize (Kb) 85388

[startup+550.031 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6615
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 26961 0 0 0 54760 127 0 0 25 0 1 0 20938941 87437312 16512 4294967295 134512640 135987407 3221224576 3221223072 134789452 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6615/statm): 21347 16512 364 364 0 20983 0
[pid=6615] vsize: 85388
Current children cumulated CPU time (s) 548.87
Current children cumulated vsize (Kb) 85388

[startup+560.032 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6615
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 27173 0 0 0 55757 129 0 0 25 0 1 0 20938941 87437312 16513 4294967295 134512640 135987407 3221224576 3221223120 134811842 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6615/statm): 21347 16513 364 364 0 20983 0
[pid=6615] vsize: 85388
Current children cumulated CPU time (s) 558.86
Current children cumulated vsize (Kb) 85388

[startup+570.032 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6615
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 27178 0 0 0 56753 130 0 0 25 0 1 0 20938941 87437312 16518 4294967295 134512640 135987407 3221224576 3221223248 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6615/statm): 21347 16518 364 364 0 20983 0
[pid=6615] vsize: 85388
Current children cumulated CPU time (s) 568.83
Current children cumulated vsize (Kb) 85388

[startup+580.032 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6615
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 27179 0 0 0 57751 131 0 0 25 0 1 0 20938941 87437312 16519 4294967295 134512640 135987407 3221224576 3221223008 134801596 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6615/statm): 21347 16519 364 364 0 20983 0
[pid=6615] vsize: 85388
Current children cumulated CPU time (s) 578.82
Current children cumulated vsize (Kb) 85388

[startup+590.033 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6615
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 27248 0 0 0 58748 132 0 0 25 0 1 0 20938941 87568384 16555 4294967295 134512640 135987407 3221224576 3221223120 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6615/statm): 21379 16555 364 364 0 21015 0
[pid=6615] vsize: 85516
Current children cumulated CPU time (s) 588.8
Current children cumulated vsize (Kb) 85516

[startup+600.034 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6615
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 27262 0 0 0 59745 133 0 0 25 0 1 0 20938941 87568384 16569 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6615/statm): 21379 16569 364 364 0 21015 0
[pid=6615] vsize: 85516
Current children cumulated CPU time (s) 598.78
Current children cumulated vsize (Kb) 85516

[startup+610.035 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6615
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 27281 0 0 0 60743 134 0 0 25 0 1 0 20938941 87568384 16588 4294967295 134512640 135987407 3221224576 3221223248 134824720 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6615/statm): 21379 16588 364 364 0 21015 0
[pid=6615] vsize: 85516
Current children cumulated CPU time (s) 608.77
Current children cumulated vsize (Kb) 85516

[startup+620.035 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6615
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 27527 0 0 0 61740 135 0 0 25 0 1 0 20938941 87568384 16623 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6615/statm): 21379 16623 364 364 0 21015 0
[pid=6615] vsize: 85516
Current children cumulated CPU time (s) 618.75
Current children cumulated vsize (Kb) 85516

[startup+630.036 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6615
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 27540 0 0 0 62737 136 0 0 25 0 1 0 20938941 87568384 16636 4294967295 134512640 135987407 3221224576 3221223248 134824816 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6615/statm): 21379 16636 364 364 0 21015 0
[pid=6615] vsize: 85516
Current children cumulated CPU time (s) 628.73
Current children cumulated vsize (Kb) 85516

[startup+640.037 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6615
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 27561 0 0 0 63735 136 0 0 25 0 1 0 20938941 87568384 16657 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6615/statm): 21379 16657 364 364 0 21015 0
[pid=6615] vsize: 85516
Current children cumulated CPU time (s) 638.71
Current children cumulated vsize (Kb) 85516

[startup+650.038 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6615
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 27792 0 0 0 64731 139 0 0 25 0 1 0 20938941 87568384 16677 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6615/statm): 21379 16677 364 364 0 21015 0
[pid=6615] vsize: 85516
Current children cumulated CPU time (s) 648.7
Current children cumulated vsize (Kb) 85516

[startup+660.038 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6615
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 27815 0 0 0 65729 139 0 0 25 0 1 0 20938941 87568384 16700 4294967295 134512640 135987407 3221224576 3221223296 134812696 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6615/statm): 21379 16700 364 364 0 21015 0
[pid=6615] vsize: 85516
Current children cumulated CPU time (s) 658.68
Current children cumulated vsize (Kb) 85516

[startup+670.039 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6615
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 27837 0 0 0 66727 140 0 0 25 0 1 0 20938941 87568384 16722 4294967295 134512640 135987407 3221224576 3221223120 134812056 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6615/statm): 21379 16722 364 364 0 21015 0
[pid=6615] vsize: 85516
Current children cumulated CPU time (s) 668.67
Current children cumulated vsize (Kb) 85516

[startup+680.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6615
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 28070 0 0 0 67724 141 0 0 25 0 1 0 20938941 87707648 16744 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6615/statm): 21413 16744 364 364 0 21049 0
[pid=6615] vsize: 85652
Current children cumulated CPU time (s) 678.65
Current children cumulated vsize (Kb) 85652

[startup+690.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6615
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 28094 0 0 0 68718 144 0 0 25 0 1 0 20938941 87707648 16768 4294967295 134512640 135987407 3221224576 3221223120 134811972 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6615/statm): 21413 16768 364 364 0 21049 0
[pid=6615] vsize: 85652
Current children cumulated CPU time (s) 688.62
Current children cumulated vsize (Kb) 85652

[startup+700.041 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6615
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 28195 0 0 0 69711 147 0 0 25 0 1 0 20938941 87867392 16869 4294967295 134512640 135987407 3221224576 3221223248 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6615/statm): 21452 16869 364 364 0 21088 0
[pid=6615] vsize: 85808
Current children cumulated CPU time (s) 698.58
Current children cumulated vsize (Kb) 85808

[startup+710.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6615
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 28515 0 0 0 70707 149 0 0 25 0 1 0 20938941 88788992 17024 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6615/statm): 21677 17024 364 364 0 21313 0
[pid=6615] vsize: 86708
Current children cumulated CPU time (s) 708.56
Current children cumulated vsize (Kb) 86708

[startup+720.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6615
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 28746 0 0 0 71704 150 0 0 25 0 1 0 20938941 88788992 17044 4294967295 134512640 135987407 3221224576 3221223120 134811870 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6615/statm): 21677 17044 364 364 0 21313 0
[pid=6615] vsize: 86708
Current children cumulated CPU time (s) 718.54
Current children cumulated vsize (Kb) 86708

[startup+730.04 s]
Raw data (loadavg): 0.99 0.97 0.99 1/55 6615
Raw data (/proc/6615/stat): 6615 (pb2sat) T 6614 6615 4005 0 -1 0 28780 0 0 0 72702 151 0 0 25 0 1 0 20938941 88788992 17078 4294967295 134512640 135987407 3221224576 3221223260 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/6615/statm): 21677 17078 364 364 0 21313 0
[pid=6615] vsize: 86708
Current children cumulated CPU time (s) 728.53
Current children cumulated vsize (Kb) 86708

[startup+740.041 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6615
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 28810 0 0 0 73701 152 0 0 25 0 1 0 20938941 88788992 17108 4294967295 134512640 135987407 3221224576 3221223120 134811792 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6615/statm): 21677 17108 364 364 0 21313 0
[pid=6615] vsize: 86708
Current children cumulated CPU time (s) 738.53
Current children cumulated vsize (Kb) 86708

[startup+750.041 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6615
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 28829 0 0 0 74699 152 0 0 25 0 1 0 20938941 88788992 17127 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6615/statm): 21677 17127 364 364 0 21313 0
[pid=6615] vsize: 86708
Current children cumulated CPU time (s) 748.51
Current children cumulated vsize (Kb) 86708

[startup+760.042 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6615
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 29042 0 0 0 75697 153 0 0 25 0 1 0 20938941 88788992 17129 4294967295 134512640 135987407 3221224576 3221223120 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6615/statm): 21677 17129 364 364 0 21313 0
[pid=6615] vsize: 86708
Current children cumulated CPU time (s) 758.5
Current children cumulated vsize (Kb) 86708

[startup+770.042 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6615
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 29073 0 0 0 76692 155 0 0 25 0 1 0 20938941 88924160 17160 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6615/statm): 21710 17160 364 364 0 21346 0
[pid=6615] vsize: 86840
Current children cumulated CPU time (s) 768.47
Current children cumulated vsize (Kb) 86840

[startup+780.043 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6615
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 29337 0 0 0 77687 158 0 0 25 0 1 0 20938941 89194496 17213 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6615/statm): 21776 17213 364 364 0 21412 0
[pid=6615] vsize: 87104
Current children cumulated CPU time (s) 778.45
Current children cumulated vsize (Kb) 87104

[startup+790.042 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6615
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 29339 0 0 0 78685 159 0 0 25 0 1 0 20938941 89194496 17215 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6615/statm): 21776 17215 364 364 0 21412 0
[pid=6615] vsize: 87104
Current children cumulated CPU time (s) 788.44
Current children cumulated vsize (Kb) 87104

[startup+800.043 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6615
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 29340 0 0 0 79682 159 0 0 25 0 1 0 20938941 89194496 17216 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6615/statm): 21776 17216 364 364 0 21412 0
[pid=6615] vsize: 87104
Current children cumulated CPU time (s) 798.41
Current children cumulated vsize (Kb) 87104

[startup+810.044 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6615
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 29553 0 0 0 80679 161 0 0 25 0 1 0 20938941 89194496 17218 4294967295 134512640 135987407 3221224576 3221223120 134811778 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6615/statm): 21776 17218 364 364 0 21412 0
[pid=6615] vsize: 87104
Current children cumulated CPU time (s) 808.4
Current children cumulated vsize (Kb) 87104

[startup+820.045 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6615
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 29554 0 0 0 81678 161 0 0 25 0 1 0 20938941 89194496 17219 4294967295 134512640 135987407 3221224576 3221223120 134812041 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6615/statm): 21776 17219 364 364 0 21412 0
[pid=6615] vsize: 87104
Current children cumulated CPU time (s) 818.39
Current children cumulated vsize (Kb) 87104

[startup+830.046 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6615
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 29555 0 0 0 82675 162 0 0 25 0 1 0 20938941 89194496 17220 4294967295 134512640 135987407 3221224576 3221223296 134812606 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6615/statm): 21776 17220 364 364 0 21412 0
[pid=6615] vsize: 87104
Current children cumulated CPU time (s) 828.37
Current children cumulated vsize (Kb) 87104

[startup+840.046 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6615
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 29556 0 0 0 83673 163 0 0 25 0 1 0 20938941 89194496 17221 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6615/statm): 21776 17221 364 364 0 21412 0
[pid=6615] vsize: 87104
Current children cumulated CPU time (s) 838.36
Current children cumulated vsize (Kb) 87104

[startup+850.047 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6615
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 29564 0 0 0 84672 164 0 0 25 0 1 0 20938941 89194496 17229 4294967295 134512640 135987407 3221224576 3221222992 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6615/statm): 21776 17229 364 364 0 21412 0
[pid=6615] vsize: 87104
Current children cumulated CPU time (s) 848.36
Current children cumulated vsize (Kb) 87104

[startup+860.048 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6615
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 29580 0 0 0 85670 164 0 0 25 0 1 0 20938941 89194496 17245 4294967295 134512640 135987407 3221224576 3221223296 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6615/statm): 21776 17245 364 364 0 21412 0
[pid=6615] vsize: 87104
Current children cumulated CPU time (s) 858.34
Current children cumulated vsize (Kb) 87104

[startup+870.048 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6615
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 29605 0 0 0 86667 165 0 0 25 0 1 0 20938941 89194496 17270 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6615/statm): 21776 17270 364 364 0 21412 0
[pid=6615] vsize: 87104
Current children cumulated CPU time (s) 868.32
Current children cumulated vsize (Kb) 87104

[startup+880.049 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6615
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 29632 0 0 0 87664 166 0 0 25 0 1 0 20938941 89194496 17297 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6615/statm): 21776 17297 364 364 0 21412 0
[pid=6615] vsize: 87104
Current children cumulated CPU time (s) 878.3
Current children cumulated vsize (Kb) 87104

[startup+890.049 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6615
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 29868 0 0 0 88661 168 0 0 25 0 1 0 20938941 89194496 17322 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6615/statm): 21776 17322 364 364 0 21412 0
[pid=6615] vsize: 87104
Current children cumulated CPU time (s) 888.29
Current children cumulated vsize (Kb) 87104

[startup+900.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6615
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 29890 0 0 0 89659 169 0 0 25 0 1 0 20938941 89194496 17344 4294967295 134512640 135987407 3221224576 3221222892 135480675 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6615/statm): 21776 17344 364 364 0 21412 0
[pid=6615] vsize: 87104
Current children cumulated CPU time (s) 898.28
Current children cumulated vsize (Kb) 87104

[startup+910.051 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6615
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 29916 0 0 0 90658 169 0 0 25 0 1 0 20938941 89341952 17370 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6615/statm): 21812 17370 364 364 0 21448 0
[pid=6615] vsize: 87248
Current children cumulated CPU time (s) 908.27
Current children cumulated vsize (Kb) 87248

[startup+920.051 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6615
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 29950 0 0 0 91655 170 0 0 25 0 1 0 20938941 89341952 17404 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6615/statm): 21812 17404 364 364 0 21448 0
[pid=6615] vsize: 87248
Current children cumulated CPU time (s) 918.25
Current children cumulated vsize (Kb) 87248

[startup+930.052 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6615
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 29973 0 0 0 92654 171 0 0 25 0 1 0 20938941 89341952 17427 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6615/statm): 21812 17427 364 364 0 21448 0
[pid=6615] vsize: 87248
Current children cumulated CPU time (s) 928.25
Current children cumulated vsize (Kb) 87248

[startup+940.053 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6615
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 29996 0 0 0 93653 172 0 0 25 0 1 0 20938941 89341952 17450 4294967295 134512640 135987407 3221224576 3221222992 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6615/statm): 21812 17450 364 364 0 21448 0
[pid=6615] vsize: 87248
Current children cumulated CPU time (s) 938.25
Current children cumulated vsize (Kb) 87248

[startup+950.055 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6615
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 30022 0 0 0 94650 173 0 0 25 0 1 0 20938941 89341952 17476 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6615/statm): 21812 17476 364 364 0 21448 0
[pid=6615] vsize: 87248
Current children cumulated CPU time (s) 948.23
Current children cumulated vsize (Kb) 87248

[startup+960.056 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6615
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 30273 0 0 0 95647 174 0 0 25 0 1 0 20938941 89477120 17516 4294967295 134512640 135987407 3221224576 3221223120 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6615/statm): 21845 17516 364 364 0 21481 0
[pid=6615] vsize: 87380
Current children cumulated CPU time (s) 958.21
Current children cumulated vsize (Kb) 87380

[startup+970.055 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6615
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 30317 0 0 0 96645 176 0 0 25 0 1 0 20938941 89477120 17560 4294967295 134512640 135987407 3221224576 3221222992 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6615/statm): 21845 17560 364 364 0 21481 0
[pid=6615] vsize: 87380
Current children cumulated CPU time (s) 968.21
Current children cumulated vsize (Kb) 87380

[startup+980.057 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6615
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 30348 0 0 0 97643 176 0 0 25 0 1 0 20938941 89477120 17591 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6615/statm): 21845 17591 364 364 0 21481 0
[pid=6615] vsize: 87380
Current children cumulated CPU time (s) 978.19
Current children cumulated vsize (Kb) 87380

[startup+990.057 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6615
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 30377 0 0 0 98642 176 0 0 25 0 1 0 20938941 89477120 17620 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6615/statm): 21845 17620 364 364 0 21481 0
[pid=6615] vsize: 87380
Current children cumulated CPU time (s) 988.18
Current children cumulated vsize (Kb) 87380

[startup+1000.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6615
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 30396 0 0 0 99639 177 0 0 25 0 1 0 20938941 89616384 17639 4294967295 134512640 135987407 3221224576 3221223120 134811990 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6615/statm): 21879 17639 364 364 0 21515 0
[pid=6615] vsize: 87516
Current children cumulated CPU time (s) 998.16
Current children cumulated vsize (Kb) 87516

[startup+1010.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6615
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 30426 0 0 0 100638 178 0 0 25 0 1 0 20938941 89616384 17669 4294967295 134512640 135987407 3221224576 3221222992 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6615/statm): 21879 17669 364 364 0 21515 0
[pid=6615] vsize: 87516
Current children cumulated CPU time (s) 1008.16
Current children cumulated vsize (Kb) 87516

[startup+1020.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6615
Raw data (/proc/6615/stat): 6615 (pb2sat) T 6614 6615 4005 0 -1 0 30447 0 0 0 101636 179 0 0 25 0 1 0 20938941 89616384 17690 4294967295 134512640 135987407 3221224576 3221223260 135541329 0 0 5 16384 3222434789 0 0 17 1 0 0
Raw data (/proc/6615/statm): 21879 17690 364 364 0 21515 0
[pid=6615] vsize: 87516
Current children cumulated CPU time (s) 1018.15
Current children cumulated vsize (Kb) 87516

[startup+1030.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6615
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 30472 0 0 0 102635 179 0 0 25 0 1 0 20938941 89616384 17715 4294967295 134512640 135987407 3221224576 3221223120 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6615/statm): 21879 17715 364 364 0 21515 0
[pid=6615] vsize: 87516
Current children cumulated CPU time (s) 1028.14
Current children cumulated vsize (Kb) 87516

[startup+1040.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6615
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 30499 0 0 0 103633 180 0 0 25 0 1 0 20938941 89616384 17742 4294967295 134512640 135987407 3221224576 3221223120 134811980 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6615/statm): 21879 17742 364 364 0 21515 0
[pid=6615] vsize: 87516
Current children cumulated CPU time (s) 1038.13
Current children cumulated vsize (Kb) 87516

[startup+1050.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6615
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 30833 0 0 0 104628 182 0 0 25 0 1 0 20938941 90013696 17832 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6615/statm): 21976 17832 364 364 0 21612 0
[pid=6615] vsize: 87904
Current children cumulated CPU time (s) 1048.1
Current children cumulated vsize (Kb) 87904

[startup+1060.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6615
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 30970 0 0 0 105620 185 0 0 25 0 1 0 20938941 90415104 17936 4294967295 134512640 135987407 3221224576 3221222992 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6615/statm): 22074 17936 364 364 0 21710 0
[pid=6615] vsize: 88296
Current children cumulated CPU time (s) 1058.05
Current children cumulated vsize (Kb) 88296

[startup+1070.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6615
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 31066 0 0 0 106608 189 0 0 25 0 1 0 20938941 90677248 17967 4294967295 134512640 135987407 3221224576 3221223296 134812696 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6615/statm): 22138 17967 364 364 0 21774 0
[pid=6615] vsize: 88552
Current children cumulated CPU time (s) 1067.97
Current children cumulated vsize (Kb) 88552

[startup+1080.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6615
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 31290 0 0 0 107603 192 0 0 25 0 1 0 20938941 90677248 17980 4294967295 134512640 135987407 3221224576 3221223280 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6615/statm): 22138 17980 364 364 0 21774 0
[pid=6615] vsize: 88552
Current children cumulated CPU time (s) 1077.95
Current children cumulated vsize (Kb) 88552

[startup+1090.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6615
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 31549 0 0 0 108595 195 0 0 25 0 1 0 20938941 90812416 18028 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6615/statm): 22171 18028 364 364 0 21807 0
[pid=6615] vsize: 88684
Current children cumulated CPU time (s) 1087.9
Current children cumulated vsize (Kb) 88684

[startup+1100.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6615
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 31764 0 0 0 109589 197 0 0 25 0 1 0 20938941 91676672 18243 4294967295 134512640 135987407 3221224576 3221222816 134828922 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6615/statm): 22382 18243 364 364 0 22018 0
[pid=6615] vsize: 89528
Current children cumulated CPU time (s) 1097.86
Current children cumulated vsize (Kb) 89528

[startup+1110.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6615
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 31822 0 0 0 110584 199 0 0 25 0 1 0 20938941 91078656 18090 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6615/statm): 22236 18090 364 364 0 21872 0
[pid=6615] vsize: 88944
Current children cumulated CPU time (s) 1107.83
Current children cumulated vsize (Kb) 88944

[startup+1120.06 s]
Raw data (loadavg): 1.07 0.99 0.99 1/55 6615
Raw data (/proc/6615/stat): 6615 (pb2sat) T 6614 6615 4005 0 -1 0 32040 0 0 0 111575 202 0 0 25 0 1 0 20938941 91078656 18097 4294967295 134512640 135987407 3221224576 3221223260 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/6615/statm): 22236 18097 364 364 0 21872 0
[pid=6615] vsize: 88944
Current children cumulated CPU time (s) 1117.77
Current children cumulated vsize (Kb) 88944

[startup+1130.07 s]
Raw data (loadavg): 1.06 0.99 0.99 2/55 6615
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 32044 0 0 0 112567 205 0 0 25 0 1 0 20938941 91078656 18101 4294967295 134512640 135987407 3221224576 3221223120 134812005 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6615/statm): 22236 18101 364 364 0 21872 0
[pid=6615] vsize: 88944
Current children cumulated CPU time (s) 1127.72
Current children cumulated vsize (Kb) 88944

[startup+1140.07 s]
Raw data (loadavg): 1.05 0.99 0.99 2/55 6615
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 32046 0 0 0 113564 206 0 0 25 0 1 0 20938941 91078656 18103 4294967295 134512640 135987407 3221224576 3221223120 134811735 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6615/statm): 22236 18103 364 364 0 21872 0
[pid=6615] vsize: 88944
Current children cumulated CPU time (s) 1137.7
Current children cumulated vsize (Kb) 88944

[startup+1150.07 s]
Raw data (loadavg): 1.04 0.99 0.99 2/55 6615
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 32259 0 0 0 114560 209 0 0 25 0 1 0 20938941 91078656 18105 4294967295 134512640 135987407 3221224576 3221223296 134812887 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6615/statm): 22236 18105 364 364 0 21872 0
[pid=6615] vsize: 88944
Current children cumulated CPU time (s) 1147.69
Current children cumulated vsize (Kb) 88944

[startup+1160.07 s]
Raw data (loadavg): 1.04 0.99 0.99 2/55 6615
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 32262 0 0 0 115554 210 0 0 25 0 1 0 20938941 91078656 18108 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6615/statm): 22236 18108 364 364 0 21872 0
[pid=6615] vsize: 88944
Current children cumulated CPU time (s) 1157.64
Current children cumulated vsize (Kb) 88944

[startup+1170.07 s]
Raw data (loadavg): 1.03 0.99 0.99 2/55 6615
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 32266 0 0 0 116548 213 0 0 25 0 1 0 20938941 91078656 18112 4294967295 134512640 135987407 3221224576 3221223072 134789464 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6615/statm): 22236 18112 364 364 0 21872 0
[pid=6615] vsize: 88944
Current children cumulated CPU time (s) 1167.61
Current children cumulated vsize (Kb) 88944

[startup+1180.07 s]
Raw data (loadavg): 1.03 0.99 0.99 2/55 6615
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 32751 0 0 0 117539 216 0 0 25 0 1 0 20938941 91078656 18175 4294967295 134512640 135987407 3221224576 3221223296 134812696 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6615/statm): 22236 18175 364 364 0 21872 0
[pid=6615] vsize: 88944
Current children cumulated CPU time (s) 1177.55
Current children cumulated vsize (Kb) 88944

[startup+1190.07 s]
Raw data (loadavg): 1.02 0.99 0.99 2/56 6616
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 33069 0 0 0 118533 219 0 0 25 0 1 0 20938941 91078656 18282 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6615/statm): 22236 18282 364 364 0 21872 0
[pid=6615] vsize: 88944
Current children cumulated CPU time (s) 1187.52
Current children cumulated vsize (Kb) 88944

[startup+1200.07 s]
Raw data (loadavg): 1.02 0.99 0.99 2/55 6670
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 33105 0 0 0 119528 221 0 0 25 0 1 0 20938941 91078656 18318 4294967295 134512640 135987407 3221224576 3221223248 134824720 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6615/statm): 22236 18318 364 364 0 21872 0
[pid=6615] vsize: 88944
Current children cumulated CPU time (s) 1197.49
Current children cumulated vsize (Kb) 88944

[startup+1210.07 s]
Raw data (loadavg): 1.01 0.99 0.99 2/55 6670
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 33145 0 0 0 120525 222 0 0 25 0 1 0 20938941 91078656 18358 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6615/statm): 22236 18358 364 364 0 21872 0
[pid=6615] vsize: 88944
Current children cumulated CPU time (s) 1207.47
Current children cumulated vsize (Kb) 88944



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.07 s]
Raw data (loadavg): 1.01 0.99 0.99 2/55 6670
Raw data (/proc/6615/stat): 6615 (pb2sat) R 6614 6615 4005 0 -1 0 33145 0 0 0 120525 222 0 0 25 0 1 0 20938941 91078656 18358 4294967295 134512640 135987407 3221224576 3221223296 134812582 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6615/statm): 22236 18358 364 364 0 21872 0
[pid=6615] vsize: 88944
Current children cumulated CPU time (s) 1207.47
Current children cumulated vsize (Kb) 88944

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

Child status: 10
Real time (s): 1210.29
CPU time (s): 1207.69
CPU user time (s): 1205.43
CPU system time (s): 2.26166
CPU usage (%): 99.785
Max. virtual memory (cumulated for all children) (Kb): 89528

Verifier Data

Verifier:	OK	267