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-ii32c1.opb
MD5SUM8afff0cc8710524125079d5ef00fedc0
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 167
Optimality of the best value was proved YES
Number of terms in the objective function 450
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 450
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 450
Number of bits of the biggest sum of numbers9
Best result obtained on this benchmarkOPTIMUM FOUND
Best CPU time to get the best result obtained on this benchmark58.6491
Number of variables450
Total number of constraints1505
Number of constraints which are clauses1505
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 9636

Launcher Data

LAUNCH ON wulflinc23 THE 2005-09-23 14:37:12 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8348 boxname=wulflinc23 idbench=144 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  8afff0cc8710524125079d5ef00fedc0  /oldhome/oroussel/tmp/wulflinc23/normalized-ii32c1.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc23/normalized-ii32c1.opb
IDLAUNCH: 8348
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.185
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.185
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        924952 kB
Buffers:         13584 kB
Cached:          78148 kB
SwapCached:          0 kB
Active:          59380 kB
Inactive:        35224 kB
HighTotal:      131008 kB
HighFree:        48636 kB
LowTotal:       903652 kB
LowFree:        876316 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6976 kB
Slab:             9580 kB
Committed_AS:    63656 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 14:57:23 (client local time) WITH STATUS 10 IN 1206.41 SECONDS
stats: 8348 0 1206.41 10

Solver Data

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

c Decision: 16871/76739	Time: 194.942/86400
c Decision: 24266/76739	Time: 238.64/86400
c Decision: 24984/76739	Time: 294.844/86400
c Decision: 24984/76739	Time: 317.809/86400
c Decision: 25008/76739	Time: 351.347/86400
c Decision: 25008/76739	Time: 369.016/86400
c Decision: 25008/76739	Time: 392.666/86400
c Decision: 25124/76739	Time: 452.052/86400
c Decision: 25124/76739	Time: 479.598/86400
c Decision: 25280/76739	Time: 502.727/86400
c Decision: 25731/76739	Time: 577.266/86400
c Decision: 25732/76739	Time: 619.095/86400
c Decision: 25839/76739	Time: 692.396/86400
c Decision: 25839/76739	Time: 715.618/86400
c Decision: 25839/76739	Time: 745.77/86400
c Decision: 25898/76739	Time: 796.566/86400
c Decision: 25961/76739	Time: 835.216/86400
c Decision: 25961/76739	Time: 866.177/86400
c Decision: 25961/76739	Time: 892.127/86400
c Decision: 25962/76739	Time: 929.219/86400
c Decision: 25962/76739	Time: 956.188/86400
c Decision: 26267/76739	Time: 1005.46/86400
c Decision: 26268/76739	Time: 1050.22/86400
c Decision: 26269/76739	Time: 1095.91/86400
c Decision: 26419/76739	Time: 1141.3/86400
c Decision: 26419/76739	Time: 1169.88/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 -x46 x47 -x48 x49 -x5 -x50 x51 -x52 x53 -x54 x55 -x56 x57 -x58 x59 x6 -x60 x61 -x62 x63 -x64 x65 -x66 x67 -x68 x69 x7 -x70 x71 -x72 -x73 x74 x75 -x76 x77 -x78 x79 -x8 -x80 x81 -x82 x83 -x84 x85 -x86 x87 -x88 x89 x9 -x90 x91 -x92 x93 -x94 x95 -x96 x97 -x98 -x99

Watcher Data

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb
Enforcing VSIZE limit: 994918400 bytes
Current StackSize limit: 67108864 bytes
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 20957501 1527808 2 4294967295 134512640 135987407 3221224576 3221224576 134512928 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6827/statm): 373 2 364 364 0 9 0
[pid=6827] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc23/normalized-ii32c1.opb

[startup+10.0014 s]
Raw data (loadavg): 0.93 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 14650 0 0 0 961 34 0 0 25 0 1 0 20957501 50634752 8755 4294967295 134512640 135987407 3221224576 3221223200 134828112 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6827/statm): 12362 8755 364 364 0 11998 0
[pid=6827] vsize: 49448
Current children cumulated CPU time (s) 9.95
Current children cumulated vsize (Kb) 49448

[startup+20.002 s]
Raw data (loadavg): 0.94 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 15098 0 0 0 1952 38 0 0 25 0 1 0 20957501 51830784 9020 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6827/statm): 12654 9020 364 364 0 12290 0
[pid=6827] vsize: 50616
Current children cumulated CPU time (s) 19.9
Current children cumulated vsize (Kb) 50616

[startup+30.0026 s]
Raw data (loadavg): 0.95 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 15221 0 0 0 2947 40 0 0 25 0 1 0 20957501 52228096 9110 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6827/statm): 12751 9110 364 364 0 12387 0
[pid=6827] vsize: 51004
Current children cumulated CPU time (s) 29.87
Current children cumulated vsize (Kb) 51004

[startup+40.0033 s]
Raw data (loadavg): 0.95 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 15263 0 0 0 3943 42 0 0 25 0 1 0 20957501 52228096 9152 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6827/statm): 12751 9152 364 364 0 12387 0
[pid=6827] vsize: 51004
Current children cumulated CPU time (s) 39.85
Current children cumulated vsize (Kb) 51004

[startup+50.0039 s]
Raw data (loadavg): 0.96 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 15293 0 0 0 4940 43 0 0 25 0 1 0 20957501 52228096 9182 4294967295 134512640 135987407 3221224576 3221223120 134811778 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6827/statm): 12751 9182 364 364 0 12387 0
[pid=6827] vsize: 51004
Current children cumulated CPU time (s) 49.83
Current children cumulated vsize (Kb) 51004

[startup+60.0036 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 15324 0 0 0 5938 44 0 0 25 0 1 0 20957501 52228096 9213 4294967295 134512640 135987407 3221224576 3221223120 134811885 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6827/statm): 12751 9213 364 364 0 12387 0
[pid=6827] vsize: 51004
Current children cumulated CPU time (s) 59.82
Current children cumulated vsize (Kb) 51004

[startup+70.0042 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 15378 0 0 0 6936 45 0 0 25 0 1 0 20957501 52228096 9267 4294967295 134512640 135987407 3221224576 3221223120 134811778 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6827/statm): 12751 9267 364 364 0 12387 0
[pid=6827] vsize: 51004
Current children cumulated CPU time (s) 69.81
Current children cumulated vsize (Kb) 51004

[startup+80.0048 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 15443 0 0 0 7928 47 0 0 25 0 1 0 20957501 52363264 9332 4294967295 134512640 135987407 3221224576 3221223260 134812256 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6827/statm): 12784 9332 364 364 0 12420 0
[pid=6827] vsize: 51136
Current children cumulated CPU time (s) 79.75
Current children cumulated vsize (Kb) 51136

[startup+90.0055 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 15483 0 0 0 8926 48 0 0 25 0 1 0 20957501 52363264 9372 4294967295 134512640 135987407 3221224576 3221223280 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6827/statm): 12784 9372 364 364 0 12420 0
[pid=6827] vsize: 51136
Current children cumulated CPU time (s) 89.74
Current children cumulated vsize (Kb) 51136

[startup+100.006 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 15536 0 0 0 9921 49 0 0 25 0 1 0 20957501 52363264 9425 4294967295 134512640 135987407 3221224576 3221223248 134824720 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6827/statm): 12784 9425 364 364 0 12420 0
[pid=6827] vsize: 51136
Current children cumulated CPU time (s) 99.7
Current children cumulated vsize (Kb) 51136

[startup+110.007 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 15582 0 0 0 10917 51 0 0 25 0 1 0 20957501 52498432 9471 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6827/statm): 12817 9471 364 364 0 12453 0
[pid=6827] vsize: 51268
Current children cumulated CPU time (s) 109.68
Current children cumulated vsize (Kb) 51268

[startup+120.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 15638 0 0 0 11913 53 0 0 25 0 1 0 20957501 52498432 9527 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6827/statm): 12817 9527 364 364 0 12453 0
[pid=6827] vsize: 51268
Current children cumulated CPU time (s) 119.66
Current children cumulated vsize (Kb) 51268

[startup+130.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 15693 0 0 0 12911 55 0 0 25 0 1 0 20957501 52498432 9582 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6827/statm): 12817 9582 364 364 0 12453 0
[pid=6827] vsize: 51268
Current children cumulated CPU time (s) 129.66
Current children cumulated vsize (Kb) 51268

[startup+140.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 15754 0 0 0 13906 56 0 0 25 0 1 0 20957501 52633600 9643 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6827/statm): 12850 9643 364 364 0 12486 0
[pid=6827] vsize: 51400
Current children cumulated CPU time (s) 139.62
Current children cumulated vsize (Kb) 51400

[startup+150.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 15808 0 0 0 14903 57 0 0 25 0 1 0 20957501 52633600 9697 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6827/statm): 12850 9697 364 364 0 12486 0
[pid=6827] vsize: 51400
Current children cumulated CPU time (s) 149.6
Current children cumulated vsize (Kb) 51400

[startup+160.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 16472 0 0 0 15891 63 0 0 25 0 1 0 20957501 55861248 10328 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6827/statm): 13638 10328 364 364 0 13274 0
[pid=6827] vsize: 54552
Current children cumulated CPU time (s) 159.54
Current children cumulated vsize (Kb) 54552

[startup+170.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 16901 0 0 0 16877 68 0 0 25 0 1 0 20957501 58060800 10757 4294967295 134512640 135987407 3221224576 3221222992 134788457 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6827/statm): 14175 10757 364 364 0 13811 0
[pid=6827] vsize: 56700
Current children cumulated CPU time (s) 169.45
Current children cumulated vsize (Kb) 56700

[startup+180.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 17183 0 0 0 17863 74 0 0 25 0 1 0 20957501 59400192 11039 4294967295 134512640 135987407 3221224576 3221222992 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6827/statm): 14502 11039 364 364 0 14138 0
[pid=6827] vsize: 58008
Current children cumulated CPU time (s) 179.37
Current children cumulated vsize (Kb) 58008

[startup+190.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 17313 0 0 0 18850 79 0 0 25 0 1 0 20957501 59990016 11169 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6827/statm): 14646 11169 364 364 0 14282 0
[pid=6827] vsize: 58584
Current children cumulated CPU time (s) 189.29
Current children cumulated vsize (Kb) 58584

[startup+200.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 17418 0 0 0 19836 85 0 0 25 0 1 0 20957501 60260352 11274 4294967295 134512640 135987407 3221224576 3221223120 134812000 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6827/statm): 14712 11274 364 364 0 14348 0
[pid=6827] vsize: 58848
Current children cumulated CPU time (s) 199.21
Current children cumulated vsize (Kb) 58848

[startup+210.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 17773 0 0 0 20826 89 0 0 25 0 1 0 20957501 61063168 11446 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6827/statm): 14908 11446 364 364 0 14544 0
[pid=6827] vsize: 59632
Current children cumulated CPU time (s) 209.15
Current children cumulated vsize (Kb) 59632

[startup+220.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 17850 0 0 0 21817 91 0 0 25 0 1 0 20957501 61468672 11523 4294967295 134512640 135987407 3221224576 3221222992 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6827/statm): 15007 11523 364 364 0 14643 0
[pid=6827] vsize: 60028
Current children cumulated CPU time (s) 219.08
Current children cumulated vsize (Kb) 60028

[startup+230.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 17913 0 0 0 22809 95 0 0 25 0 1 0 20957501 61739008 11586 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6827/statm): 15073 11586 364 364 0 14709 0
[pid=6827] vsize: 60292
Current children cumulated CPU time (s) 229.04
Current children cumulated vsize (Kb) 60292

[startup+240.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 17914 0 0 0 23806 96 0 0 25 0 1 0 20957501 61739008 11587 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6827/statm): 15073 11587 364 364 0 14709 0
[pid=6827] vsize: 60292
Current children cumulated CPU time (s) 239.02
Current children cumulated vsize (Kb) 60292

[startup+250.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 18066 0 0 0 24803 97 0 0 25 0 1 0 20957501 61739008 11589 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6827/statm): 15073 11589 364 364 0 14709 0
[pid=6827] vsize: 60292
Current children cumulated CPU time (s) 249
Current children cumulated vsize (Kb) 60292

[startup+260.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 18069 0 0 0 25794 100 0 0 25 0 1 0 20957501 61739008 11592 4294967295 134512640 135987407 3221224576 3221223248 134824323 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6827/statm): 15073 11592 364 364 0 14709 0
[pid=6827] vsize: 60292
Current children cumulated CPU time (s) 258.94
Current children cumulated vsize (Kb) 60292

[startup+270.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 18076 0 0 0 26791 101 0 0 25 0 1 0 20957501 61739008 11599 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6827/statm): 15073 11599 364 364 0 14709 0
[pid=6827] vsize: 60292
Current children cumulated CPU time (s) 268.92
Current children cumulated vsize (Kb) 60292

[startup+280.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 18087 0 0 0 27788 102 0 0 25 0 1 0 20957501 61874176 11610 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6827/statm): 15106 11610 364 364 0 14742 0
[pid=6827] vsize: 60424
Current children cumulated CPU time (s) 278.9
Current children cumulated vsize (Kb) 60424

[startup+290.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 18121 0 0 0 28785 103 0 0 25 0 1 0 20957501 62009344 11644 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6827/statm): 15139 11644 364 364 0 14775 0
[pid=6827] vsize: 60556
Current children cumulated CPU time (s) 288.88
Current children cumulated vsize (Kb) 60556

[startup+300.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 18125 0 0 0 29782 104 0 0 25 0 1 0 20957501 62009344 11648 4294967295 134512640 135987407 3221224576 3221222992 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6827/statm): 15139 11648 364 364 0 14775 0
[pid=6827] vsize: 60556
Current children cumulated CPU time (s) 298.86
Current children cumulated vsize (Kb) 60556

[startup+310.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 18308 0 0 0 30779 105 0 0 25 0 1 0 20957501 62144512 11681 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6827/statm): 15172 11681 364 364 0 14808 0
[pid=6827] vsize: 60688
Current children cumulated CPU time (s) 308.84
Current children cumulated vsize (Kb) 60688

[startup+320.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 18312 0 0 0 31777 106 0 0 25 0 1 0 20957501 62144512 11685 4294967295 134512640 135987407 3221224576 3221223248 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6827/statm): 15172 11685 364 364 0 14808 0
[pid=6827] vsize: 60688
Current children cumulated CPU time (s) 318.83
Current children cumulated vsize (Kb) 60688

[startup+330.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 18483 0 0 0 32774 108 0 0 25 0 1 0 20957501 62144512 11706 4294967295 134512640 135987407 3221224576 3221223120 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6827/statm): 15172 11706 364 364 0 14808 0
[pid=6827] vsize: 60688
Current children cumulated CPU time (s) 328.82
Current children cumulated vsize (Kb) 60688

[startup+340.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 18526 0 0 0 33769 109 0 0 25 0 1 0 20957501 62144512 11749 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6827/statm): 15172 11749 364 364 0 14808 0
[pid=6827] vsize: 60688
Current children cumulated CPU time (s) 338.78
Current children cumulated vsize (Kb) 60688

[startup+350.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 18581 0 0 0 34763 111 0 0 25 0 1 0 20957501 62279680 11804 4294967295 134512640 135987407 3221224576 3221223296 134812696 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6827/statm): 15205 11804 364 364 0 14841 0
[pid=6827] vsize: 60820
Current children cumulated CPU time (s) 348.74
Current children cumulated vsize (Kb) 60820

[startup+360.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 18698 0 0 0 35757 112 0 0 25 0 1 0 20957501 62820352 11921 4294967295 134512640 135987407 3221224576 3221223248 134824240 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6827/statm): 15337 11921 364 364 0 14973 0
[pid=6827] vsize: 61348
Current children cumulated CPU time (s) 358.69
Current children cumulated vsize (Kb) 61348

[startup+370.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 18880 0 0 0 36754 114 0 0 25 0 1 0 20957501 62820352 11953 4294967295 134512640 135987407 3221224576 3221223120 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6827/statm): 15337 11953 364 364 0 14973 0
[pid=6827] vsize: 61348
Current children cumulated CPU time (s) 368.68
Current children cumulated vsize (Kb) 61348

[startup+380.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 19070 0 0 0 37751 116 0 0 25 0 1 0 20957501 62820352 11993 4294967295 134512640 135987407 3221224576 3221223248 134876948 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6827/statm): 15337 11993 364 364 0 14973 0
[pid=6827] vsize: 61348
Current children cumulated CPU time (s) 378.67
Current children cumulated vsize (Kb) 61348

[startup+390.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 19072 0 0 0 38747 117 0 0 25 0 1 0 20957501 62820352 11995 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6827/statm): 15337 11995 364 364 0 14973 0
[pid=6827] vsize: 61348
Current children cumulated CPU time (s) 388.64
Current children cumulated vsize (Kb) 61348

[startup+400.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 19180 0 0 0 39737 120 0 0 25 0 1 0 20957501 63082496 12037 4294967295 134512640 135987407 3221224576 3221223120 134811867 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6827/statm): 15401 12037 364 364 0 15037 0
[pid=6827] vsize: 61604
Current children cumulated CPU time (s) 398.57
Current children cumulated vsize (Kb) 61604

[startup+410.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 19384 0 0 0 40732 122 0 0 25 0 1 0 20957501 63213568 12058 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6827/statm): 15433 12058 364 364 0 15069 0
[pid=6827] vsize: 61732
Current children cumulated CPU time (s) 408.54
Current children cumulated vsize (Kb) 61732

[startup+420.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 19386 0 0 0 41729 124 0 0 25 0 1 0 20957501 63213568 12060 4294967295 134512640 135987407 3221224576 3221223120 134811773 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6827/statm): 15433 12060 364 364 0 15069 0
[pid=6827] vsize: 61732
Current children cumulated CPU time (s) 418.53
Current children cumulated vsize (Kb) 61732

[startup+430.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 19388 0 0 0 42727 125 0 0 25 0 1 0 20957501 63213568 12062 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6827/statm): 15433 12062 364 364 0 15069 0
[pid=6827] vsize: 61732
Current children cumulated CPU time (s) 428.52
Current children cumulated vsize (Kb) 61732

[startup+440.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 19512 0 0 0 43722 127 0 0 25 0 1 0 20957501 63889408 12186 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6827/statm): 15598 12186 364 364 0 15234 0
[pid=6827] vsize: 62392
Current children cumulated CPU time (s) 438.49
Current children cumulated vsize (Kb) 62392

[startup+450.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 19571 0 0 0 44704 133 0 0 25 0 1 0 20957501 64159744 12245 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6827/statm): 15664 12245 364 364 0 15300 0
[pid=6827] vsize: 62656
Current children cumulated CPU time (s) 448.37
Current children cumulated vsize (Kb) 62656

[startup+460.024 s]
Raw data (loadavg): 0.99 0.98 0.99 1/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) T 6826 6827 4060 0 -1 0 19709 0 0 0 45687 140 0 0 25 0 1 0 20957501 65015808 12383 4294967295 134512640 135987407 3221224576 3221223260 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/6827/statm): 15873 12383 364 364 0 15509 0
[pid=6827] vsize: 63492
Current children cumulated CPU time (s) 458.27
Current children cumulated vsize (Kb) 63492

[startup+470.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 19933 0 0 0 46673 145 0 0 25 0 1 0 20957501 65421312 12457 4294967295 134512640 135987407 3221224576 3221222992 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6827/statm): 15972 12457 364 364 0 15608 0
[pid=6827] vsize: 63888
Current children cumulated CPU time (s) 468.18
Current children cumulated vsize (Kb) 63888

[startup+480.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 19960 0 0 0 47661 149 0 0 25 0 1 0 20957501 65556480 12484 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6827/statm): 16005 12484 364 364 0 15641 0
[pid=6827] vsize: 64020
Current children cumulated CPU time (s) 478.1
Current children cumulated vsize (Kb) 64020

[startup+490.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 20050 0 0 0 48647 153 0 0 25 0 1 0 20957501 66097152 12574 4294967295 134512640 135987407 3221224576 3221223120 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6827/statm): 16137 12574 364 364 0 15773 0
[pid=6827] vsize: 64548
Current children cumulated CPU time (s) 488
Current children cumulated vsize (Kb) 64548

[startup+500.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 20225 0 0 0 49642 155 0 0 25 0 1 0 20957501 66232320 12599 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6827/statm): 16170 12599 364 364 0 15806 0
[pid=6827] vsize: 64680
Current children cumulated CPU time (s) 497.97
Current children cumulated vsize (Kb) 64680

[startup+510.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 20227 0 0 0 50639 156 0 0 25 0 1 0 20957501 66232320 12601 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6827/statm): 16170 12601 364 364 0 15806 0
[pid=6827] vsize: 64680
Current children cumulated CPU time (s) 507.95
Current children cumulated vsize (Kb) 64680

[startup+520.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 20379 0 0 0 51635 158 0 0 25 0 1 0 20957501 66232320 12603 4294967295 134512640 135987407 3221224576 3221223120 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6827/statm): 16170 12603 364 364 0 15806 0
[pid=6827] vsize: 64680
Current children cumulated CPU time (s) 517.93
Current children cumulated vsize (Kb) 64680

[startup+530.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 20381 0 0 0 52632 160 0 0 25 0 1 0 20957501 66232320 12605 4294967295 134512640 135987407 3221224576 3221223120 134811959 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6827/statm): 16170 12605 364 364 0 15806 0
[pid=6827] vsize: 64680
Current children cumulated CPU time (s) 527.92
Current children cumulated vsize (Kb) 64680

[startup+540.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 20388 0 0 0 53628 161 0 0 25 0 1 0 20957501 66232320 12612 4294967295 134512640 135987407 3221224576 3221223120 134811706 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6827/statm): 16170 12612 364 364 0 15806 0
[pid=6827] vsize: 64680
Current children cumulated CPU time (s) 537.89
Current children cumulated vsize (Kb) 64680

[startup+550.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 20390 0 0 0 54626 162 0 0 25 0 1 0 20957501 66232320 12614 4294967295 134512640 135987407 3221224576 3221222992 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6827/statm): 16170 12614 364 364 0 15806 0
[pid=6827] vsize: 64680
Current children cumulated CPU time (s) 547.88
Current children cumulated vsize (Kb) 64680

[startup+560.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 20429 0 0 0 55613 167 0 0 25 0 1 0 20957501 66498560 12653 4294967295 134512640 135987407 3221224576 3221223120 134811995 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6827/statm): 16235 12653 364 364 0 15871 0
[pid=6827] vsize: 64940
Current children cumulated CPU time (s) 557.8
Current children cumulated vsize (Kb) 64940

[startup+570.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 20441 0 0 0 56606 168 0 0 25 0 1 0 20957501 66498560 12665 4294967295 134512640 135987407 3221224576 3221223248 134824720 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6827/statm): 16235 12665 364 364 0 15871 0
[pid=6827] vsize: 64940
Current children cumulated CPU time (s) 567.74
Current children cumulated vsize (Kb) 64940

[startup+580.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 20443 0 0 0 57603 169 0 0 25 0 1 0 20957501 66498560 12667 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6827/statm): 16235 12667 364 364 0 15871 0
[pid=6827] vsize: 64940
Current children cumulated CPU time (s) 577.72
Current children cumulated vsize (Kb) 64940

[startup+590.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 20594 0 0 0 58600 170 0 0 25 0 1 0 20957501 66498560 12668 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6827/statm): 16235 12668 364 364 0 15871 0
[pid=6827] vsize: 64940
Current children cumulated CPU time (s) 587.7
Current children cumulated vsize (Kb) 64940

[startup+600.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 20596 0 0 0 59599 171 0 0 25 0 1 0 20957501 66498560 12670 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6827/statm): 16235 12670 364 364 0 15871 0
[pid=6827] vsize: 64940
Current children cumulated CPU time (s) 597.7
Current children cumulated vsize (Kb) 64940

[startup+610.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 20598 0 0 0 60595 171 0 0 25 0 1 0 20957501 66498560 12672 4294967295 134512640 135987407 3221224576 3221223184 134801245 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6827/statm): 16235 12672 364 364 0 15871 0
[pid=6827] vsize: 64940
Current children cumulated CPU time (s) 607.66
Current children cumulated vsize (Kb) 64940

[startup+620.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 20603 0 0 0 61586 174 0 0 25 0 1 0 20957501 66498560 12677 4294967295 134512640 135987407 3221224576 3221223120 134811980 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6827/statm): 16235 12677 364 364 0 15871 0
[pid=6827] vsize: 64940
Current children cumulated CPU time (s) 617.6
Current children cumulated vsize (Kb) 64940

[startup+630.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 20688 0 0 0 62571 181 0 0 25 0 1 0 20957501 67100672 12762 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6827/statm): 16382 12762 364 364 0 16018 0
[pid=6827] vsize: 65528
Current children cumulated CPU time (s) 627.52
Current children cumulated vsize (Kb) 65528

[startup+640.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 20839 0 0 0 63566 183 0 0 25 0 1 0 20957501 67100672 12763 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6827/statm): 16382 12763 364 364 0 16018 0
[pid=6827] vsize: 65528
Current children cumulated CPU time (s) 637.49
Current children cumulated vsize (Kb) 65528

[startup+650.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 20841 0 0 0 64564 184 0 0 25 0 1 0 20957501 67100672 12765 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6827/statm): 16382 12765 364 364 0 16018 0
[pid=6827] vsize: 65528
Current children cumulated CPU time (s) 647.48
Current children cumulated vsize (Kb) 65528

[startup+660.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 20842 0 0 0 65561 185 0 0 25 0 1 0 20957501 67100672 12766 4294967295 134512640 135987407 3221224576 3221223120 134811835 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6827/statm): 16382 12766 364 364 0 16018 0
[pid=6827] vsize: 65528
Current children cumulated CPU time (s) 657.46
Current children cumulated vsize (Kb) 65528

[startup+670.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 20844 0 0 0 66558 186 0 0 25 0 1 0 20957501 67100672 12768 4294967295 134512640 135987407 3221224576 3221223120 134811800 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6827/statm): 16382 12768 364 364 0 16018 0
[pid=6827] vsize: 65528
Current children cumulated CPU time (s) 667.44
Current children cumulated vsize (Kb) 65528

[startup+680.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 20846 0 0 0 67556 186 0 0 25 0 1 0 20957501 67100672 12770 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6827/statm): 16382 12770 364 364 0 16018 0
[pid=6827] vsize: 65528
Current children cumulated CPU time (s) 677.42
Current children cumulated vsize (Kb) 65528

[startup+690.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 20848 0 0 0 68552 188 0 0 25 0 1 0 20957501 67100672 12772 4294967295 134512640 135987407 3221224576 3221223200 134812433 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6827/statm): 16382 12772 364 364 0 16018 0
[pid=6827] vsize: 65528
Current children cumulated CPU time (s) 687.4
Current children cumulated vsize (Kb) 65528

[startup+700.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 20850 0 0 0 69550 189 0 0 25 0 1 0 20957501 67100672 12774 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6827/statm): 16382 12774 364 364 0 16018 0
[pid=6827] vsize: 65528
Current children cumulated CPU time (s) 697.39
Current children cumulated vsize (Kb) 65528

[startup+710.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 21002 0 0 0 70547 190 0 0 25 0 1 0 20957501 67100672 12776 4294967295 134512640 135987407 3221224576 3221223216 134812343 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6827/statm): 16382 12776 364 364 0 16018 0
[pid=6827] vsize: 65528
Current children cumulated CPU time (s) 707.37
Current children cumulated vsize (Kb) 65528

[startup+720.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 21003 0 0 0 71545 191 0 0 25 0 1 0 20957501 67100672 12777 4294967295 134512640 135987407 3221224576 3221223120 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6827/statm): 16382 12777 364 364 0 16018 0
[pid=6827] vsize: 65528
Current children cumulated CPU time (s) 717.36
Current children cumulated vsize (Kb) 65528

[startup+730.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 21156 0 0 0 72541 192 0 0 25 0 1 0 20957501 67100672 12780 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6827/statm): 16382 12780 364 364 0 16018 0
[pid=6827] vsize: 65528
Current children cumulated CPU time (s) 727.33
Current children cumulated vsize (Kb) 65528

[startup+740.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 21203 0 0 0 73528 197 0 0 25 0 1 0 20957501 67371008 12827 4294967295 134512640 135987407 3221224576 3221223120 134812028 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6827/statm): 16448 12827 364 364 0 16084 0
[pid=6827] vsize: 65792
Current children cumulated CPU time (s) 737.25
Current children cumulated vsize (Kb) 65792

[startup+750.038 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 21400 0 0 0 74513 202 0 0 25 0 1 0 20957501 68173824 12958 4294967295 134512640 135987407 3221224576 3221223260 135541329 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6827/statm): 16644 12958 364 364 0 16280 0
[pid=6827] vsize: 66576
Current children cumulated CPU time (s) 747.15
Current children cumulated vsize (Kb) 66576

[startup+760.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 21585 0 0 0 75496 208 0 0 25 0 1 0 20957501 68308992 12993 4294967295 134512640 135987407 3221224576 3221222992 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6827/statm): 16677 12993 364 364 0 16313 0
[pid=6827] vsize: 66708
Current children cumulated CPU time (s) 757.04
Current children cumulated vsize (Kb) 66708

[startup+770.038 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 21587 0 0 0 76493 209 0 0 25 0 1 0 20957501 68308992 12995 4294967295 134512640 135987407 3221224576 3221223296 134812696 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6827/statm): 16677 12995 364 364 0 16313 0
[pid=6827] vsize: 66708
Current children cumulated CPU time (s) 767.02
Current children cumulated vsize (Kb) 66708

[startup+780.039 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 21623 0 0 0 77490 211 0 0 25 0 1 0 20957501 68308992 13031 4294967295 134512640 135987407 3221224576 3221223280 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6827/statm): 16677 13031 364 364 0 16313 0
[pid=6827] vsize: 66708
Current children cumulated CPU time (s) 777.01
Current children cumulated vsize (Kb) 66708

[startup+790.039 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 21662 0 0 0 78487 213 0 0 25 0 1 0 20957501 68308992 13070 4294967295 134512640 135987407 3221224576 3221223120 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6827/statm): 16677 13070 364 364 0 16313 0
[pid=6827] vsize: 66708
Current children cumulated CPU time (s) 787
Current children cumulated vsize (Kb) 66708

[startup+800.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 21690 0 0 0 79485 214 0 0 25 0 1 0 20957501 68308992 13098 4294967295 134512640 135987407 3221224576 3221223120 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6827/statm): 16677 13098 364 364 0 16313 0
[pid=6827] vsize: 66708
Current children cumulated CPU time (s) 796.99
Current children cumulated vsize (Kb) 66708

[startup+810.041 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 21868 0 0 0 80483 215 0 0 25 0 1 0 20957501 68308992 13126 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6827/statm): 16677 13126 364 364 0 16313 0
[pid=6827] vsize: 66708
Current children cumulated CPU time (s) 806.98
Current children cumulated vsize (Kb) 66708

[startup+820.041 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 21869 0 0 0 81481 216 0 0 25 0 1 0 20957501 68308992 13127 4294967295 134512640 135987407 3221224576 3221223216 134812400 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6827/statm): 16677 13127 364 364 0 16313 0
[pid=6827] vsize: 66708
Current children cumulated CPU time (s) 816.97
Current children cumulated vsize (Kb) 66708

[startup+830.041 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 21871 0 0 0 82477 217 0 0 25 0 1 0 20957501 68308992 13129 4294967295 134512640 135987407 3221224576 3221223248 134824247 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6827/statm): 16677 13129 364 364 0 16313 0
[pid=6827] vsize: 66708
Current children cumulated CPU time (s) 826.94
Current children cumulated vsize (Kb) 66708

[startup+840.042 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 21873 0 0 0 83472 218 0 0 25 0 1 0 20957501 68308992 13131 4294967295 134512640 135987407 3221224576 3221223120 134811741 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6827/statm): 16677 13131 364 364 0 16313 0
[pid=6827] vsize: 66708
Current children cumulated CPU time (s) 836.9
Current children cumulated vsize (Kb) 66708

[startup+850.042 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 22025 0 0 0 84466 221 0 0 25 0 1 0 20957501 68308992 13133 4294967295 134512640 135987407 3221224576 3221223120 134811803 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6827/statm): 16677 13133 364 364 0 16313 0
[pid=6827] vsize: 66708
Current children cumulated CPU time (s) 846.87
Current children cumulated vsize (Kb) 66708

[startup+860.042 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 22032 0 0 0 85460 223 0 0 25 0 1 0 20957501 68308992 13140 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6827/statm): 16677 13140 364 364 0 16313 0
[pid=6827] vsize: 66708
Current children cumulated CPU time (s) 856.83
Current children cumulated vsize (Kb) 66708

[startup+870.043 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 22063 0 0 0 86451 225 0 0 25 0 1 0 20957501 68444160 13171 4294967295 134512640 135987407 3221224576 3221223216 134812436 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6827/statm): 16710 13171 364 364 0 16346 0
[pid=6827] vsize: 66840
Current children cumulated CPU time (s) 866.76
Current children cumulated vsize (Kb) 66840

[startup+880.043 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 22215 0 0 0 87444 229 0 0 25 0 1 0 20957501 68444160 13173 4294967295 134512640 135987407 3221224576 3221223120 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6827/statm): 16710 13173 364 364 0 16346 0
[pid=6827] vsize: 66840
Current children cumulated CPU time (s) 876.73
Current children cumulated vsize (Kb) 66840

[startup+890.044 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 22216 0 0 0 88441 230 0 0 25 0 1 0 20957501 68444160 13174 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6827/statm): 16710 13174 364 364 0 16346 0
[pid=6827] vsize: 66840
Current children cumulated CPU time (s) 886.71
Current children cumulated vsize (Kb) 66840

[startup+900.044 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 22218 0 0 0 89438 231 0 0 25 0 1 0 20957501 68444160 13176 4294967295 134512640 135987407 3221224576 3221223172 135478119 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6827/statm): 16710 13176 364 364 0 16346 0
[pid=6827] vsize: 66840
Current children cumulated CPU time (s) 896.69
Current children cumulated vsize (Kb) 66840

[startup+910.044 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 22369 0 0 0 90435 232 0 0 25 0 1 0 20957501 68444160 13177 4294967295 134512640 135987407 3221224576 3221222992 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6827/statm): 16710 13177 364 364 0 16346 0
[pid=6827] vsize: 66840
Current children cumulated CPU time (s) 906.67
Current children cumulated vsize (Kb) 66840

[startup+920.045 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 22371 0 0 0 91433 233 0 0 25 0 1 0 20957501 68444160 13179 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6827/statm): 16710 13179 364 364 0 16346 0
[pid=6827] vsize: 66840
Current children cumulated CPU time (s) 916.66
Current children cumulated vsize (Kb) 66840

[startup+930.045 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 22373 0 0 0 92430 233 0 0 25 0 1 0 20957501 68444160 13181 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6827/statm): 16710 13181 364 364 0 16346 0
[pid=6827] vsize: 66840
Current children cumulated CPU time (s) 926.63
Current children cumulated vsize (Kb) 66840

[startup+940.046 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 22375 0 0 0 93427 234 0 0 25 0 1 0 20957501 68444160 13183 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6827/statm): 16710 13183 364 364 0 16346 0
[pid=6827] vsize: 66840
Current children cumulated CPU time (s) 936.61
Current children cumulated vsize (Kb) 66840

[startup+950.047 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 22526 0 0 0 94425 235 0 0 25 0 1 0 20957501 68444160 13184 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6827/statm): 16710 13184 364 364 0 16346 0
[pid=6827] vsize: 66840
Current children cumulated CPU time (s) 946.6
Current children cumulated vsize (Kb) 66840

[startup+960.046 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 22528 0 0 0 95423 236 0 0 25 0 1 0 20957501 68444160 13186 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6827/statm): 16710 13186 364 364 0 16346 0
[pid=6827] vsize: 66840
Current children cumulated CPU time (s) 956.59
Current children cumulated vsize (Kb) 66840

[startup+970.047 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 22679 0 0 0 96420 237 0 0 25 0 1 0 20957501 68444160 13187 4294967295 134512640 135987407 3221224576 3221223248 134824696 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6827/statm): 16710 13187 364 364 0 16346 0
[pid=6827] vsize: 66840
Current children cumulated CPU time (s) 966.57
Current children cumulated vsize (Kb) 66840

[startup+980.048 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 22681 0 0 0 97417 238 0 0 25 0 1 0 20957501 68444160 13189 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6827/statm): 16710 13189 364 364 0 16346 0
[pid=6827] vsize: 66840
Current children cumulated CPU time (s) 976.55
Current children cumulated vsize (Kb) 66840

[startup+990.048 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 22683 0 0 0 98415 239 0 0 25 0 1 0 20957501 68444160 13191 4294967295 134512640 135987407 3221224576 3221223120 134811950 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6827/statm): 16710 13191 364 364 0 16346 0
[pid=6827] vsize: 66840
Current children cumulated CPU time (s) 986.54
Current children cumulated vsize (Kb) 66840

[startup+1000.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 22685 0 0 0 99412 240 0 0 25 0 1 0 20957501 68444160 13193 4294967295 134512640 135987407 3221224576 3221223248 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6827/statm): 16710 13193 364 364 0 16346 0
[pid=6827] vsize: 66840
Current children cumulated CPU time (s) 996.52
Current children cumulated vsize (Kb) 66840

[startup+1010.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 22686 0 0 0 100410 241 0 0 25 0 1 0 20957501 68444160 13194 4294967295 134512640 135987407 3221224576 3221223216 134812334 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6827/statm): 16710 13194 364 364 0 16346 0
[pid=6827] vsize: 66840
Current children cumulated CPU time (s) 1006.51
Current children cumulated vsize (Kb) 66840

[startup+1020.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 22838 0 0 0 101408 241 0 0 25 0 1 0 20957501 68444160 13196 4294967295 134512640 135987407 3221224576 3221223296 134812585 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6827/statm): 16710 13196 364 364 0 16346 0
[pid=6827] vsize: 66840
Current children cumulated CPU time (s) 1016.49
Current children cumulated vsize (Kb) 66840

[startup+1030.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 22839 0 0 0 102406 242 0 0 25 0 1 0 20957501 68444160 13197 4294967295 134512640 135987407 3221224576 3221223120 134812056 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6827/statm): 16710 13197 364 364 0 16346 0
[pid=6827] vsize: 66840
Current children cumulated CPU time (s) 1026.48
Current children cumulated vsize (Kb) 66840

[startup+1040.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 22841 0 0 0 103403 243 0 0 25 0 1 0 20957501 68444160 13199 4294967295 134512640 135987407 3221224576 3221222992 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6827/statm): 16710 13199 364 364 0 16346 0
[pid=6827] vsize: 66840
Current children cumulated CPU time (s) 1036.46
Current children cumulated vsize (Kb) 66840

[startup+1050.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 22842 0 0 0 104402 244 0 0 25 0 1 0 20957501 68444160 13200 4294967295 134512640 135987407 3221224576 3221223296 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6827/statm): 16710 13200 364 364 0 16346 0
[pid=6827] vsize: 66840
Current children cumulated CPU time (s) 1046.46
Current children cumulated vsize (Kb) 66840

[startup+1060.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 22844 0 0 0 105400 245 0 0 25 0 1 0 20957501 68444160 13202 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6827/statm): 16710 13202 364 364 0 16346 0
[pid=6827] vsize: 66840
Current children cumulated CPU time (s) 1056.45
Current children cumulated vsize (Kb) 66840

[startup+1070.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 23010 0 0 0 106397 246 0 0 25 0 1 0 20957501 68444160 13218 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6827/statm): 16710 13218 364 364 0 16346 0
[pid=6827] vsize: 66840
Current children cumulated CPU time (s) 1066.43
Current children cumulated vsize (Kb) 66840

[startup+1080.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 23011 0 0 0 107395 247 0 0 25 0 1 0 20957501 68444160 13219 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6827/statm): 16710 13219 364 364 0 16346 0
[pid=6827] vsize: 66840
Current children cumulated CPU time (s) 1076.42
Current children cumulated vsize (Kb) 66840

[startup+1090.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 23014 0 0 0 108393 248 0 0 25 0 1 0 20957501 68444160 13222 4294967295 134512640 135987407 3221224576 3221223296 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6827/statm): 16710 13222 364 364 0 16346 0
[pid=6827] vsize: 66840
Current children cumulated CPU time (s) 1086.41
Current children cumulated vsize (Kb) 66840

[startup+1100.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 23018 0 0 0 109390 249 0 0 25 0 1 0 20957501 68579328 13226 4294967295 134512640 135987407 3221224576 3221223120 134811832 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6827/statm): 16743 13226 364 364 0 16379 0
[pid=6827] vsize: 66972
Current children cumulated CPU time (s) 1096.39
Current children cumulated vsize (Kb) 66972

[startup+1110.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 23177 0 0 0 110388 250 0 0 25 0 1 0 20957501 68579328 13235 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6827/statm): 16743 13235 364 364 0 16379 0
[pid=6827] vsize: 66972
Current children cumulated CPU time (s) 1106.38
Current children cumulated vsize (Kb) 66972

[startup+1120.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 23197 0 0 0 111385 251 0 0 25 0 1 0 20957501 68579328 13255 4294967295 134512640 135987407 3221224576 3221223184 134801247 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6827/statm): 16743 13255 364 364 0 16379 0
[pid=6827] vsize: 66972
Current children cumulated CPU time (s) 1116.36
Current children cumulated vsize (Kb) 66972

[startup+1130.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 23224 0 0 0 112382 253 0 0 25 0 1 0 20957501 68579328 13282 4294967295 134512640 135987407 3221224576 3221223296 134812703 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6827/statm): 16743 13282 364 364 0 16379 0
[pid=6827] vsize: 66972
Current children cumulated CPU time (s) 1126.35
Current children cumulated vsize (Kb) 66972

[startup+1140.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 23271 0 0 0 113379 254 0 0 25 0 1 0 20957501 68579328 13329 4294967295 134512640 135987407 3221224576 3221223296 134812650 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6827/statm): 16743 13329 364 364 0 16379 0
[pid=6827] vsize: 66972
Current children cumulated CPU time (s) 1136.33
Current children cumulated vsize (Kb) 66972

[startup+1150.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 23310 0 0 0 114377 254 0 0 25 0 1 0 20957501 76967936 13368 4294967295 134512640 135987407 3221224576 3221223280 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6827/statm): 18791 13368 364 364 0 18427 0
[pid=6827] vsize: 75164
Current children cumulated CPU time (s) 1146.31
Current children cumulated vsize (Kb) 75164

[startup+1160.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 23508 0 0 0 115374 256 0 0 25 0 1 0 20957501 77103104 13416 4294967295 134512640 135987407 3221224576 3221223008 134801596 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6827/statm): 18824 13416 364 364 0 18460 0
[pid=6827] vsize: 75296
Current children cumulated CPU time (s) 1156.3
Current children cumulated vsize (Kb) 75296

[startup+1170.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 23536 0 0 0 116373 256 0 0 25 0 1 0 20957501 77103104 13444 4294967295 134512640 135987407 3221224576 3221223120 134812025 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6827/statm): 18824 13444 364 364 0 18460 0
[pid=6827] vsize: 75296
Current children cumulated CPU time (s) 1166.29
Current children cumulated vsize (Kb) 75296

[startup+1180.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 23568 0 0 0 117371 257 0 0 25 0 1 0 20957501 77103104 13476 4294967295 134512640 135987407 3221224576 3221223296 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6827/statm): 18824 13476 364 364 0 18460 0
[pid=6827] vsize: 75296
Current children cumulated CPU time (s) 1176.28
Current children cumulated vsize (Kb) 75296

[startup+1190.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 23732 0 0 0 118368 258 0 0 25 0 1 0 20957501 77103104 13490 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6827/statm): 18824 13490 364 364 0 18460 0
[pid=6827] vsize: 75296
Current children cumulated CPU time (s) 1186.26
Current children cumulated vsize (Kb) 75296

[startup+1200.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 23734 0 0 0 119366 259 0 0 25 0 1 0 20957501 77103104 13492 4294967295 134512640 135987407 3221224576 3221222892 135482074 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6827/statm): 18824 13492 364 364 0 18460 0
[pid=6827] vsize: 75296
Current children cumulated CPU time (s) 1196.25
Current children cumulated vsize (Kb) 75296

[startup+1210.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 23736 0 0 0 120364 260 0 0 25 0 1 0 20957501 77103104 13494 4294967295 134512640 135987407 3221224576 3221223296 134812593 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6827/statm): 18824 13494 364 364 0 18460 0
[pid=6827] vsize: 75296
Current children cumulated CPU time (s) 1206.24
Current children cumulated vsize (Kb) 75296



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6827
Raw data (/proc/6827/stat): 6827 (pb2sat) R 6826 6827 4060 0 -1 0 23736 0 0 0 120364 260 0 0 25 0 1 0 20957501 77103104 13494 4294967295 134512640 135987407 3221224576 3221223296 134812593 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6827/statm): 18824 13494 364 364 0 18460 0
[pid=6827] vsize: 75296
Current children cumulated CPU time (s) 1206.24
Current children cumulated vsize (Kb) 75296

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

Child status: 10
Real time (s): 1210.23
CPU time (s): 1206.41
CPU user time (s): 1203.77
CPU system time (s): 2.6356
CPU usage (%): 99.6847
Max. virtual memory (cumulated for all children) (Kb): 75296

Verifier Data

Verifier:	OK	225