Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
  1. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser !
  3. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  4. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.

General information on the benchmark

Namesubmitted/manquinho/synthesis-ptl-cmos-circuits/normalized-9symml.opb
MD5SUM48809ba02390b1184dab90aed89aff8e
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 4517
Optimality of the best value was proved YES
Number of terms in the objective function 651
Biggest coefficient in the objective function 61
Number of bits for the biggest coefficient in the objective function 6
Sum of the numbers in the objective function 28138
Number of bits of the sum of numbers in the objective function 15
Biggest number in a constraint 61
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 28138
Number of bits of the biggest sum of numbers15
Best result obtained on this benchmarkOPTIMUM FOUND
Best CPU time to get the best result obtained on this benchmark281.067
Number of variables651
Total number of constraints1658
Number of constraints which are clauses1656
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2
Minimum length of a constraint1
Maximum length of a constraint42

Trace number 9783

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.158
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:        932972 kB
Buffers:         12368 kB
Cached:          72224 kB
SwapCached:          0 kB
Active:          41364 kB
Inactive:        46152 kB
HighTotal:      131008 kB
HighFree:        55272 kB
LowTotal:       903652 kB
LowFree:        877700 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:             8564 kB
Committed_AS:    63620 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 15:25:43 (client local time) WITH STATUS 0 IN 1211.81 SECONDS
stats: 8450 0 1211.81 0

Solver Data

c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
c got solution with objective value: 26769
c big objective detected
c trying from 0 to 511
c CONFLICT during preprocess 
c trying from 512 to 1023
c trying from 1024 to 1535

c Decision: 1284835/1931785	Time: 247.39/86400
c Decision: 1284835/1931785	Time: 413.348/86400
c Decision: 1285360/1931785	Time: 591.933/86400
c Decision: 1285360/1931785	Time: 762.053/86400
c Decision: 1285360/1931785	Time: 934.567/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 x535 x536 x537 x538 x539 x54 x540 x541 x542 x543 x544 x545 x546 x547 x548 x549 x55 x550 x551 x552 x553 x554 x555 x556 x557 x558 x559 x56 x560 x561 x562 x563 x564 x565 x566 x567 x568 x569 x57 x570 x571 x572 x573 x574 x575 x576 x577 x578 x579 x58 x580 x581 x582 x583 x584 x585 x586 x587 x588 x589 x59 x590 x591 x592 x593 x594 x595 x596 x597 x598 x599 x6 x60 x600 x601 x602 x603 x604 x605 x606 x607 x608 x609 x61 x610 x611 x612 x613 x614 x615 x616 x617 x618 x619 x62 x620 x621 x622 x623 x624 x625 x626 x627 x628 x629 x63 x630 x631 x632 x633 x634 x635 x636 x637 x638 x639 x64 x640 x641 x642 x643 x644 x645 x646 x647 x648 x649 x65 x650 x651 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/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 21147186 1527808 2 4294967295 134512640 135987407 3221224576 3221224576 134512928 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7302/statm): 373 2 364 364 0 9 0
[pid=7302] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc6/normalized-9symml.opb

[startup+10.0012 s]
Raw data (loadavg): 0.87 0.97 0.99 2/55 7302
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 29905 0 0 0 930 64 0 0 25 0 1 0 21147186 97341440 18790 4294967295 134512640 135987407 3221224576 3221042756 135478523 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7302/statm): 23765 18790 364 364 0 23401 0
[pid=7302] vsize: 95060
Current children cumulated CPU time (s) 9.94
Current children cumulated vsize (Kb) 95060

[startup+20.0019 s]
Raw data (loadavg): 0.89 0.97 0.99 2/55 7302
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 57499 0 0 0 1870 122 0 0 25 0 1 0 21147186 191180800 34366 4294967295 134512640 135987407 3221224576 3221223264 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7302/statm): 46675 34366 364 364 0 46311 0
[pid=7302] vsize: 186700
Current children cumulated CPU time (s) 19.92
Current children cumulated vsize (Kb) 186700

[startup+30.0026 s]
Raw data (loadavg): 0.91 0.97 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 79290 0 0 0 2813 174 0 0 25 0 1 0 21147186 243220480 55993 4294967295 134512640 135987407 3221224576 3221202480 134887887 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7302/statm): 59380 55993 364 364 0 59016 0
[pid=7302] vsize: 237520
Current children cumulated CPU time (s) 29.87
Current children cumulated vsize (Kb) 237520

[startup+40.0024 s]
Raw data (loadavg): 0.92 0.97 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 114270 0 0 0 3741 245 0 0 25 0 1 0 21147186 353333248 68815 4294967295 134512640 135987407 3221224576 3221178576 134537491 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7302/statm): 86263 68815 364 364 0 85899 0
[pid=7302] vsize: 345052
Current children cumulated CPU time (s) 39.86
Current children cumulated vsize (Kb) 345052

[startup+50.0031 s]
Raw data (loadavg): 0.93 0.97 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 128511 0 0 0 4710 274 0 0 25 0 1 0 21147186 374554624 82846 4294967295 134512640 135987407 3221224576 3221192352 134637887 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7302/statm): 91444 82846 364 364 0 91080 0
[pid=7302] vsize: 365776
Current children cumulated CPU time (s) 49.84
Current children cumulated vsize (Kb) 365776

[startup+60.0029 s]
Raw data (loadavg): 0.94 0.97 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 141074 0 0 0 5682 301 0 0 25 0 1 0 21147186 433807360 94646 4294967295 134512640 135987407 3221224576 3221223000 134827499 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7302/statm): 105910 94646 364 364 0 105546 0
[pid=7302] vsize: 423640
Current children cumulated CPU time (s) 59.83
Current children cumulated vsize (Kb) 423640

[startup+70.0036 s]
Raw data (loadavg): 0.95 0.97 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 146048 0 0 0 6669 314 0 0 25 0 1 0 21147186 440115200 95672 4294967295 134512640 135987407 3221224576 3221223136 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7302/statm): 107450 95672 364 364 0 107086 0
[pid=7302] vsize: 429800
Current children cumulated CPU time (s) 69.83
Current children cumulated vsize (Kb) 429800

[startup+80.0044 s]
Raw data (loadavg): 0.96 0.97 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 146457 0 0 0 7668 314 0 0 25 0 1 0 21147186 441044992 95918 4294967295 134512640 135987407 3221224576 3221223136 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7302/statm): 107677 95918 364 364 0 107313 0
[pid=7302] vsize: 430708
Current children cumulated CPU time (s) 79.82
Current children cumulated vsize (Kb) 430708

[startup+90.0041 s]
Raw data (loadavg): 0.96 0.97 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 161944 0 0 0 8622 354 0 0 25 0 1 0 21147186 503320576 111082 4294967295 134512640 135987407 3221224576 3221222972 135482121 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7302/statm): 122881 111083 364 364 0 122517 0
[pid=7302] vsize: 491524
Current children cumulated CPU time (s) 89.76
Current children cumulated vsize (Kb) 491524

[startup+100.005 s]
Raw data (loadavg): 0.97 0.97 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 210364 0 0 0 9514 457 0 0 25 0 1 0 21147186 857600000 139953 4294967295 134512640 135987407 3221224576 3221186016 134887487 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7302/statm): 209375 139953 364 364 0 209011 0
[pid=7302] vsize: 837500
Current children cumulated CPU time (s) 99.71
Current children cumulated vsize (Kb) 837500

[startup+110.006 s]
Raw data (loadavg): 0.97 0.97 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 240418 0 0 0 10447 523 0 0 25 0 1 0 21147186 756932608 145244 4294967295 134512640 135987407 3221224576 3221071776 134887796 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7302/statm): 184798 145244 364 364 0 184434 0
[pid=7302] vsize: 739192
Current children cumulated CPU time (s) 109.7
Current children cumulated vsize (Kb) 739192

[startup+120.005 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 252232 0 0 0 11423 547 0 0 25 0 1 0 21147186 756932608 156850 4294967295 134512640 135987407 3221224576 3221076924 135499903 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7302/statm): 184798 156850 364 364 0 184434 0
[pid=7302] vsize: 739192
Current children cumulated CPU time (s) 119.7
Current children cumulated vsize (Kb) 739192

[startup+130.006 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 260002 0 0 0 12407 563 0 0 25 0 1 0 21147186 759635968 164477 4294967295 134512640 135987407 3221224576 3221019100 135484761 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7302/statm): 185458 164477 364 364 0 185094 0
[pid=7302] vsize: 741832
Current children cumulated CPU time (s) 129.7
Current children cumulated vsize (Kb) 741832

[startup+140.007 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 274370 0 0 0 13375 593 0 0 25 0 1 0 21147186 783425536 178647 4294967295 134512640 135987407 3221224576 3221131440 134878731 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7302/statm): 191266 178647 364 364 0 190902 0
[pid=7302] vsize: 765064
Current children cumulated CPU time (s) 139.68
Current children cumulated vsize (Kb) 765064

[startup+150.008 s]
Raw data (loadavg): 0.98 0.97 0.99 3/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 290550 0 0 0 14337 630 0 0 25 0 1 0 21147186 823459840 192813 4294967295 134512640 135987407 3221224576 3221223040 134827609 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7302/statm): 201040 192813 364 364 0 200676 0
[pid=7302] vsize: 804160
Current children cumulated CPU time (s) 149.67
Current children cumulated vsize (Kb) 804160

[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 297292 0 0 0 15320 645 0 0 25 0 1 0 21147186 825184256 192481 4294967295 134512640 135987407 3221224576 3221223136 134811873 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7302/statm): 201461 192481 364 364 0 201097 0
[pid=7302] vsize: 805844
Current children cumulated CPU time (s) 159.65
Current children cumulated vsize (Kb) 805844

[startup+170.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 297977 0 0 0 16319 647 0 0 25 0 1 0 21147186 827314176 192842 4294967295 134512640 135987407 3221224576 3221223268 134812260 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7302/statm): 201981 192842 364 364 0 201617 0
[pid=7302] vsize: 807924
Current children cumulated CPU time (s) 169.66
Current children cumulated vsize (Kb) 807924

[startup+180.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 298261 0 0 0 17317 648 0 0 25 0 1 0 21147186 828108800 193028 4294967295 134512640 135987407 3221224576 3221223232 134812447 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7302/statm): 202175 193028 364 364 0 201811 0
[pid=7302] vsize: 808700
Current children cumulated CPU time (s) 179.65
Current children cumulated vsize (Kb) 808700

[startup+190.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 298873 0 0 0 18314 650 0 0 25 0 1 0 21147186 829566976 193382 4294967295 134512640 135987407 3221224576 3221223136 134811975 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7302/statm): 202531 193382 364 364 0 202167 0
[pid=7302] vsize: 810124
Current children cumulated CPU time (s) 189.64
Current children cumulated vsize (Kb) 810124

[startup+200.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 299690 0 0 0 19312 652 0 0 25 0 1 0 21147186 831803392 193684 4294967295 134512640 135987407 3221224576 3221223032 135486713 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7302/statm): 203077 193684 364 364 0 202713 0
[pid=7302] vsize: 812308
Current children cumulated CPU time (s) 199.64
Current children cumulated vsize (Kb) 812308

[startup+210.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 299732 0 0 0 20312 652 0 0 25 0 1 0 21147186 831803392 193726 4294967295 134512640 135987407 3221224576 3221223136 134811975 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7302/statm): 203077 193726 364 364 0 202713 0
[pid=7302] vsize: 812308
Current children cumulated CPU time (s) 209.64
Current children cumulated vsize (Kb) 812308

[startup+220.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 300118 0 0 0 21311 652 0 0 25 0 1 0 21147186 832851968 193855 4294967295 134512640 135987407 3221224576 3221223008 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7302/statm): 203333 193855 364 364 0 202969 0
[pid=7302] vsize: 813332
Current children cumulated CPU time (s) 219.63
Current children cumulated vsize (Kb) 813332

[startup+230.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 301021 0 0 0 22310 654 0 0 25 0 1 0 21147186 835096576 194274 4294967295 134512640 135987407 3221224576 3221223136 134788799 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7302/statm): 203881 194274 364 364 0 203517 0
[pid=7302] vsize: 815524
Current children cumulated CPU time (s) 229.64
Current children cumulated vsize (Kb) 815524

[startup+240.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 301802 0 0 0 23308 655 0 0 25 0 1 0 21147186 837332992 194570 4294967295 134512640 135987407 3221224576 3221223136 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7302/statm): 204427 194570 364 364 0 204063 0
[pid=7302] vsize: 817708
Current children cumulated CPU time (s) 239.63
Current children cumulated vsize (Kb) 817708

[startup+250.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 301988 0 0 0 24307 656 0 0 25 0 1 0 21147186 837857280 194627 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7302/statm): 204555 194627 364 364 0 204191 0
[pid=7302] vsize: 818220
Current children cumulated CPU time (s) 249.63
Current children cumulated vsize (Kb) 818220

[startup+260.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 302019 0 0 0 25307 656 0 0 25 0 1 0 21147186 837857280 194658 4294967295 134512640 135987407 3221224576 3221223136 134811842 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7302/statm): 204555 194658 364 364 0 204191 0
[pid=7302] vsize: 818220
Current children cumulated CPU time (s) 259.63
Current children cumulated vsize (Kb) 818220

[startup+270.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 302039 0 0 0 26306 657 0 0 25 0 1 0 21147186 837857280 194678 4294967295 134512640 135987407 3221224576 3221223200 134801251 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7302/statm): 204555 194678 364 364 0 204191 0
[pid=7302] vsize: 818220
Current children cumulated CPU time (s) 269.63
Current children cumulated vsize (Kb) 818220

[startup+280.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 302182 0 0 0 27305 658 0 0 25 0 1 0 21147186 838119424 194756 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7302/statm): 204619 194756 364 364 0 204255 0
[pid=7302] vsize: 818476
Current children cumulated CPU time (s) 279.63
Current children cumulated vsize (Kb) 818476

[startup+290.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 302533 0 0 0 28304 658 0 0 25 0 1 0 21147186 839168000 194849 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7302/statm): 204875 194849 364 364 0 204511 0
[pid=7302] vsize: 819500
Current children cumulated CPU time (s) 289.62
Current children cumulated vsize (Kb) 819500

[startup+300.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 302565 0 0 0 29303 658 0 0 25 0 1 0 21147186 839168000 194881 4294967295 134512640 135987407 3221224576 3221223136 134812197 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7302/statm): 204875 194881 364 364 0 204511 0
[pid=7302] vsize: 819500
Current children cumulated CPU time (s) 299.61
Current children cumulated vsize (Kb) 819500

[startup+310.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 302990 0 0 0 30302 659 0 0 25 0 1 0 21147186 840482816 195016 4294967295 134512640 135987407 3221224576 3221223136 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7302/statm): 205196 195016 364 364 0 204832 0
[pid=7302] vsize: 820784
Current children cumulated CPU time (s) 309.61
Current children cumulated vsize (Kb) 820784

[startup+320.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 303412 0 0 0 31301 661 0 0 25 0 1 0 21147186 841531392 195181 4294967295 134512640 135987407 3221224576 3221223136 134811842 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7302/statm): 205452 195181 364 364 0 205088 0
[pid=7302] vsize: 821808
Current children cumulated CPU time (s) 319.62
Current children cumulated vsize (Kb) 821808

[startup+330.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 303412 0 0 0 32300 661 0 0 25 0 1 0 21147186 841531392 195181 4294967295 134512640 135987407 3221224576 3221223296 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7302/statm): 205452 195181 364 364 0 205088 0
[pid=7302] vsize: 821808
Current children cumulated CPU time (s) 329.61
Current children cumulated vsize (Kb) 821808

[startup+340.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 303413 0 0 0 33300 661 0 0 25 0 1 0 21147186 841531392 195182 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7302/statm): 205452 195182 364 364 0 205088 0
[pid=7302] vsize: 821808
Current children cumulated CPU time (s) 339.61
Current children cumulated vsize (Kb) 821808

[startup+350.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 303413 0 0 0 34300 661 0 0 25 0 1 0 21147186 841531392 195182 4294967295 134512640 135987407 3221224576 3221223212 134811680 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7302/statm): 205452 195182 364 364 0 205088 0
[pid=7302] vsize: 821808
Current children cumulated CPU time (s) 349.61
Current children cumulated vsize (Kb) 821808

[startup+360.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 303413 0 0 0 35300 661 0 0 25 0 1 0 21147186 841531392 195182 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7302/statm): 205452 195182 364 364 0 205088 0
[pid=7302] vsize: 821808
Current children cumulated CPU time (s) 359.61
Current children cumulated vsize (Kb) 821808

[startup+370.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 303413 0 0 0 36299 662 0 0 25 0 1 0 21147186 841531392 195182 4294967295 134512640 135987407 3221224576 3221223136 134811940 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7302/statm): 205452 195182 364 364 0 205088 0
[pid=7302] vsize: 821808
Current children cumulated CPU time (s) 369.61
Current children cumulated vsize (Kb) 821808

[startup+380.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 304179 0 0 0 37296 664 0 0 25 0 1 0 21147186 843501568 195491 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7302/statm): 205933 195491 364 364 0 205569 0
[pid=7302] vsize: 823732
Current children cumulated CPU time (s) 379.6
Current children cumulated vsize (Kb) 823732

[startup+390.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 308172 0 0 0 38285 674 0 0 25 0 1 0 21147186 844025856 195581 4294967295 134512640 135987407 3221224576 3221223216 134882549 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7302/statm): 206061 195581 364 364 0 205697 0
[pid=7302] vsize: 824244
Current children cumulated CPU time (s) 389.59
Current children cumulated vsize (Kb) 824244

[startup+400.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 308186 0 0 0 39285 675 0 0 25 0 1 0 21147186 844025856 195595 4294967295 134512640 135987407 3221224576 3221223136 134811959 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7302/statm): 206061 195595 364 364 0 205697 0
[pid=7302] vsize: 824244
Current children cumulated CPU time (s) 399.6
Current children cumulated vsize (Kb) 824244

[startup+410.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 308381 0 0 0 40283 676 0 0 25 0 1 0 21147186 844550144 195661 4294967295 134512640 135987407 3221224576 3221223136 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7302/statm): 206189 195661 364 364 0 205825 0
[pid=7302] vsize: 824756
Current children cumulated CPU time (s) 409.59
Current children cumulated vsize (Kb) 824756

[startup+420.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 308381 0 0 0 41282 677 0 0 25 0 1 0 21147186 844550144 195661 4294967295 134512640 135987407 3221224576 3221223136 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7302/statm): 206189 195661 364 364 0 205825 0
[pid=7302] vsize: 824756
Current children cumulated CPU time (s) 419.59
Current children cumulated vsize (Kb) 824756

[startup+430.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 308415 0 0 0 42282 677 0 0 25 0 1 0 21147186 844550144 195695 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7302/statm): 206189 195695 364 364 0 205825 0
[pid=7302] vsize: 824756
Current children cumulated CPU time (s) 429.59
Current children cumulated vsize (Kb) 824756

[startup+440.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 308431 0 0 0 43281 677 0 0 25 0 1 0 21147186 844550144 195711 4294967295 134512640 135987407 3221224576 3221223296 134790000 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7302/statm): 206189 195711 364 364 0 205825 0
[pid=7302] vsize: 824756
Current children cumulated CPU time (s) 439.58
Current children cumulated vsize (Kb) 824756

[startup+450.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 308492 0 0 0 44281 677 0 0 25 0 1 0 21147186 844550144 195772 4294967295 134512640 135987407 3221224576 3221223292 134812764 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7302/statm): 206189 195772 364 364 0 205825 0
[pid=7302] vsize: 824756
Current children cumulated CPU time (s) 449.58
Current children cumulated vsize (Kb) 824756

[startup+460.019 s]
Raw data (loadavg): 1.07 0.99 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 308813 0 0 0 45280 678 0 0 25 0 1 0 21147186 845598720 195836 4294967295 134512640 135987407 3221224576 3221223136 134811800 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7302/statm): 206445 195836 364 364 0 206081 0
[pid=7302] vsize: 825780
Current children cumulated CPU time (s) 459.58
Current children cumulated vsize (Kb) 825780

[startup+470.019 s]
Raw data (loadavg): 1.06 0.99 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 308814 0 0 0 46279 679 0 0 25 0 1 0 21147186 845598720 195837 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7302/statm): 206445 195837 364 364 0 206081 0
[pid=7302] vsize: 825780
Current children cumulated CPU time (s) 469.58
Current children cumulated vsize (Kb) 825780

[startup+480.019 s]
Raw data (loadavg): 1.05 0.99 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 308831 0 0 0 47279 679 0 0 25 0 1 0 21147186 845598720 195854 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7302/statm): 206445 195854 364 364 0 206081 0
[pid=7302] vsize: 825780
Current children cumulated CPU time (s) 479.58
Current children cumulated vsize (Kb) 825780

[startup+490.02 s]
Raw data (loadavg): 1.04 0.99 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 308831 0 0 0 48278 679 0 0 25 0 1 0 21147186 845598720 195854 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7302/statm): 206445 195854 364 364 0 206081 0
[pid=7302] vsize: 825780
Current children cumulated CPU time (s) 489.57
Current children cumulated vsize (Kb) 825780

[startup+500.021 s]
Raw data (loadavg): 1.03 0.99 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 308832 0 0 0 49278 679 0 0 25 0 1 0 21147186 845598720 195855 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7302/statm): 206445 195855 364 364 0 206081 0
[pid=7302] vsize: 825780
Current children cumulated CPU time (s) 499.57
Current children cumulated vsize (Kb) 825780

[startup+510.021 s]
Raw data (loadavg): 1.03 0.99 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 309159 0 0 0 50277 680 0 0 25 0 1 0 21147186 846647296 195925 4294967295 134512640 135987407 3221224576 3221223232 134812358 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7302/statm): 206701 195925 364 364 0 206337 0
[pid=7302] vsize: 826804
Current children cumulated CPU time (s) 509.57
Current children cumulated vsize (Kb) 826804

[startup+520.02 s]
Raw data (loadavg): 1.02 0.99 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 309159 0 0 0 51277 680 0 0 25 0 1 0 21147186 846647296 195925 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7302/statm): 206701 195925 364 364 0 206337 0
[pid=7302] vsize: 826804
Current children cumulated CPU time (s) 519.57
Current children cumulated vsize (Kb) 826804

[startup+530.021 s]
Raw data (loadavg): 1.02 0.99 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 309159 0 0 0 52276 680 0 0 25 0 1 0 21147186 846647296 195925 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7302/statm): 206701 195925 364 364 0 206337 0
[pid=7302] vsize: 826804
Current children cumulated CPU time (s) 529.56
Current children cumulated vsize (Kb) 826804

[startup+540.021 s]
Raw data (loadavg): 1.02 0.99 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 309159 0 0 0 53276 680 0 0 25 0 1 0 21147186 846647296 195925 4294967295 134512640 135987407 3221224576 3221223264 134824261 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7302/statm): 206701 195925 364 364 0 206337 0
[pid=7302] vsize: 826804
Current children cumulated CPU time (s) 539.56
Current children cumulated vsize (Kb) 826804

[startup+550.022 s]
Raw data (loadavg): 1.01 0.99 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 309160 0 0 0 54275 680 0 0 25 0 1 0 21147186 846647296 195926 4294967295 134512640 135987407 3221224576 3221223136 134811885 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7302/statm): 206701 195926 364 364 0 206337 0
[pid=7302] vsize: 826804
Current children cumulated CPU time (s) 549.55
Current children cumulated vsize (Kb) 826804

[startup+560.022 s]
Raw data (loadavg): 1.01 0.99 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 312934 0 0 0 55265 691 0 0 25 0 1 0 21147186 846647296 195926 4294967295 134512640 135987407 3221224576 3221223136 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7302/statm): 206701 195926 364 364 0 206337 0
[pid=7302] vsize: 826804
Current children cumulated CPU time (s) 559.56
Current children cumulated vsize (Kb) 826804

[startup+570.022 s]
Raw data (loadavg): 1.01 0.99 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 312934 0 0 0 56264 691 0 0 25 0 1 0 21147186 846647296 195926 4294967295 134512640 135987407 3221224576 3221223136 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7302/statm): 206701 195926 364 364 0 206337 0
[pid=7302] vsize: 826804
Current children cumulated CPU time (s) 569.55
Current children cumulated vsize (Kb) 826804

[startup+580.023 s]
Raw data (loadavg): 1.01 0.99 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 312935 0 0 0 57263 692 0 0 25 0 1 0 21147186 846647296 195927 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7302/statm): 206701 195927 364 364 0 206337 0
[pid=7302] vsize: 826804
Current children cumulated CPU time (s) 579.55
Current children cumulated vsize (Kb) 826804

[startup+590.024 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 312981 0 0 0 58262 692 0 0 25 0 1 0 21147186 846647296 195973 4294967295 134512640 135987407 3221224576 3221223312 134812629 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7302/statm): 206701 195973 364 364 0 206337 0
[pid=7302] vsize: 826804
Current children cumulated CPU time (s) 589.54
Current children cumulated vsize (Kb) 826804

[startup+600.024 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 312981 0 0 0 59262 692 0 0 25 0 1 0 21147186 846647296 195973 4294967295 134512640 135987407 3221224576 3221223296 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7302/statm): 206701 195973 364 364 0 206337 0
[pid=7302] vsize: 826804
Current children cumulated CPU time (s) 599.54
Current children cumulated vsize (Kb) 826804

[startup+610.025 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 312981 0 0 0 60261 693 0 0 25 0 1 0 21147186 846647296 195973 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7302/statm): 206701 195973 364 364 0 206337 0
[pid=7302] vsize: 826804
Current children cumulated CPU time (s) 609.54
Current children cumulated vsize (Kb) 826804

[startup+620.025 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 312981 0 0 0 61261 693 0 0 25 0 1 0 21147186 846647296 195973 4294967295 134512640 135987407 3221224576 3221223136 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7302/statm): 206701 195973 364 364 0 206337 0
[pid=7302] vsize: 826804
Current children cumulated CPU time (s) 619.54
Current children cumulated vsize (Kb) 826804

[startup+630.026 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 312982 0 0 0 62260 693 0 0 25 0 1 0 21147186 846647296 195974 4294967295 134512640 135987407 3221224576 3221223008 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7302/statm): 206701 195974 364 364 0 206337 0
[pid=7302] vsize: 826804
Current children cumulated CPU time (s) 629.53
Current children cumulated vsize (Kb) 826804

[startup+640.025 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 313005 0 0 0 63259 694 0 0 25 0 1 0 21147186 846647296 195997 4294967295 134512640 135987407 3221224576 3221223136 134811962 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7302/statm): 206701 195997 364 364 0 206337 0
[pid=7302] vsize: 826804
Current children cumulated CPU time (s) 639.53
Current children cumulated vsize (Kb) 826804

[startup+650.026 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 313005 0 0 0 64259 694 0 0 25 0 1 0 21147186 846647296 195997 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7302/statm): 206701 195997 364 364 0 206337 0
[pid=7302] vsize: 826804
Current children cumulated CPU time (s) 649.53
Current children cumulated vsize (Kb) 826804

[startup+660.027 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 313005 0 0 0 65258 694 0 0 25 0 1 0 21147186 846647296 195997 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7302/statm): 206701 195997 364 364 0 206337 0
[pid=7302] vsize: 826804
Current children cumulated CPU time (s) 659.52
Current children cumulated vsize (Kb) 826804

[startup+670.027 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 313023 0 0 0 66258 694 0 0 25 0 1 0 21147186 846647296 196015 4294967295 134512640 135987407 3221224576 3221223136 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7302/statm): 206701 196015 364 364 0 206337 0
[pid=7302] vsize: 826804
Current children cumulated CPU time (s) 669.52
Current children cumulated vsize (Kb) 826804

[startup+680.027 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 313023 0 0 0 67258 694 0 0 25 0 1 0 21147186 846647296 196015 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7302/statm): 206701 196015 364 364 0 206337 0
[pid=7302] vsize: 826804
Current children cumulated CPU time (s) 679.52
Current children cumulated vsize (Kb) 826804

[startup+690.027 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 313027 0 0 0 68257 694 0 0 25 0 1 0 21147186 846647296 196019 4294967295 134512640 135987407 3221224576 3221223264 134824720 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7302/statm): 206701 196019 364 364 0 206337 0
[pid=7302] vsize: 826804
Current children cumulated CPU time (s) 689.51
Current children cumulated vsize (Kb) 826804

[startup+700.028 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 313027 0 0 0 69257 695 0 0 25 0 1 0 21147186 846647296 196019 4294967295 134512640 135987407 3221224576 3221223136 134811768 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7302/statm): 206701 196019 364 364 0 206337 0
[pid=7302] vsize: 826804
Current children cumulated CPU time (s) 699.52
Current children cumulated vsize (Kb) 826804

[startup+710.029 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 313028 0 0 0 70257 695 0 0 25 0 1 0 21147186 846647296 196020 4294967295 134512640 135987407 3221224576 3221223008 134788457 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7302/statm): 206701 196020 364 364 0 206337 0
[pid=7302] vsize: 826804
Current children cumulated CPU time (s) 709.52
Current children cumulated vsize (Kb) 826804

[startup+720.028 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 313028 0 0 0 71256 695 0 0 25 0 1 0 21147186 846647296 196020 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7302/statm): 206701 196020 364 364 0 206337 0
[pid=7302] vsize: 826804
Current children cumulated CPU time (s) 719.51
Current children cumulated vsize (Kb) 826804

[startup+730.029 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 313028 0 0 0 72256 695 0 0 25 0 1 0 21147186 846647296 196020 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7302/statm): 206701 196020 364 364 0 206337 0
[pid=7302] vsize: 826804
Current children cumulated CPU time (s) 729.51
Current children cumulated vsize (Kb) 826804

[startup+740.029 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 316802 0 0 0 73246 705 0 0 25 0 1 0 21147186 846647296 196020 4294967295 134512640 135987407 3221224576 3221223296 134790000 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7302/statm): 206701 196020 364 364 0 206337 0
[pid=7302] vsize: 826804
Current children cumulated CPU time (s) 739.51
Current children cumulated vsize (Kb) 826804

[startup+750.03 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 316876 0 0 0 74245 706 0 0 25 0 1 0 21147186 846909440 196029 4294967295 134512640 135987407 3221224576 3221223136 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7302/statm): 206765 196029 364 364 0 206401 0
[pid=7302] vsize: 827060
Current children cumulated CPU time (s) 749.51
Current children cumulated vsize (Kb) 827060

[startup+760.03 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 316877 0 0 0 75244 706 0 0 25 0 1 0 21147186 846909440 196030 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7302/statm): 206765 196030 364 364 0 206401 0
[pid=7302] vsize: 827060
Current children cumulated CPU time (s) 759.5
Current children cumulated vsize (Kb) 827060

[startup+770.03 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 316877 0 0 0 76244 706 0 0 25 0 1 0 21147186 846909440 196030 4294967295 134512640 135987407 3221224576 3221223292 134812764 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7302/statm): 206765 196030 364 364 0 206401 0
[pid=7302] vsize: 827060
Current children cumulated CPU time (s) 769.5
Current children cumulated vsize (Kb) 827060

[startup+780.031 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 316877 0 0 0 77243 706 0 0 25 0 1 0 21147186 846909440 196030 4294967295 134512640 135987407 3221224576 3221223136 134811933 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7302/statm): 206765 196030 364 364 0 206401 0
[pid=7302] vsize: 827060
Current children cumulated CPU time (s) 779.49
Current children cumulated vsize (Kb) 827060

[startup+790.032 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 316878 0 0 0 78243 706 0 0 25 0 1 0 21147186 846909440 196031 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7302/statm): 206765 196031 364 364 0 206401 0
[pid=7302] vsize: 827060
Current children cumulated CPU time (s) 789.49
Current children cumulated vsize (Kb) 827060

[startup+800.032 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 316878 0 0 0 79243 706 0 0 25 0 1 0 21147186 846909440 196031 4294967295 134512640 135987407 3221224576 3221223264 134824238 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7302/statm): 206765 196031 364 364 0 206401 0
[pid=7302] vsize: 827060
Current children cumulated CPU time (s) 799.49
Current children cumulated vsize (Kb) 827060

[startup+810.032 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 316878 0 0 0 80242 707 0 0 25 0 1 0 21147186 846909440 196031 4294967295 134512640 135987407 3221224576 3221223008 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7302/statm): 206765 196031 364 364 0 206401 0
[pid=7302] vsize: 827060
Current children cumulated CPU time (s) 809.49
Current children cumulated vsize (Kb) 827060

[startup+820.032 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 316906 0 0 0 81242 707 0 0 25 0 1 0 21147186 846909440 196059 4294967295 134512640 135987407 3221224576 3221223136 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7302/statm): 206765 196059 364 364 0 206401 0
[pid=7302] vsize: 827060
Current children cumulated CPU time (s) 819.49
Current children cumulated vsize (Kb) 827060

[startup+830.033 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 316907 0 0 0 82241 707 0 0 25 0 1 0 21147186 846909440 196060 4294967295 134512640 135987407 3221224576 3221223136 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7302/statm): 206765 196060 364 364 0 206401 0
[pid=7302] vsize: 827060
Current children cumulated CPU time (s) 829.48
Current children cumulated vsize (Kb) 827060

[startup+840.032 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 316908 0 0 0 83241 707 0 0 25 0 1 0 21147186 846909440 196061 4294967295 134512640 135987407 3221224576 3221223264 134824238 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7302/statm): 206765 196061 364 364 0 206401 0
[pid=7302] vsize: 827060
Current children cumulated CPU time (s) 839.48
Current children cumulated vsize (Kb) 827060

[startup+850.033 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 316908 0 0 0 84241 707 0 0 25 0 1 0 21147186 846909440 196061 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7302/statm): 206765 196061 364 364 0 206401 0
[pid=7302] vsize: 827060
Current children cumulated CPU time (s) 849.48
Current children cumulated vsize (Kb) 827060

[startup+860.034 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 316908 0 0 0 85241 708 0 0 25 0 1 0 21147186 846909440 196061 4294967295 134512640 135987407 3221224576 3221223296 134790054 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7302/statm): 206765 196061 364 364 0 206401 0
[pid=7302] vsize: 827060
Current children cumulated CPU time (s) 859.49
Current children cumulated vsize (Kb) 827060

[startup+870.034 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 316909 0 0 0 86240 708 0 0 25 0 1 0 21147186 846909440 196062 4294967295 134512640 135987407 3221224576 3221223312 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7302/statm): 206765 196062 364 364 0 206401 0
[pid=7302] vsize: 827060
Current children cumulated CPU time (s) 869.48
Current children cumulated vsize (Kb) 827060

[startup+880.034 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 316909 0 0 0 87240 708 0 0 25 0 1 0 21147186 846909440 196062 4294967295 134512640 135987407 3221224576 3221223312 134812689 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7302/statm): 206765 196062 364 364 0 206401 0
[pid=7302] vsize: 827060
Current children cumulated CPU time (s) 879.48
Current children cumulated vsize (Kb) 827060

[startup+890.035 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 316909 0 0 0 88240 708 0 0 25 0 1 0 21147186 846909440 196062 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7302/statm): 206765 196062 364 364 0 206401 0
[pid=7302] vsize: 827060
Current children cumulated CPU time (s) 889.48
Current children cumulated vsize (Kb) 827060

[startup+900.036 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 316909 0 0 0 89239 708 0 0 25 0 1 0 21147186 846909440 196062 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7302/statm): 206765 196062 364 364 0 206401 0
[pid=7302] vsize: 827060
Current children cumulated CPU time (s) 899.47
Current children cumulated vsize (Kb) 827060

[startup+910.036 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 320683 0 0 0 90230 718 0 0 25 0 1 0 21147186 846909440 196062 4294967295 134512640 135987407 3221224576 3221223296 134789987 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7302/statm): 206765 196062 364 364 0 206401 0
[pid=7302] vsize: 827060
Current children cumulated CPU time (s) 909.48
Current children cumulated vsize (Kb) 827060

[startup+920.035 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 320684 0 0 0 91230 718 0 0 25 0 1 0 21147186 846909440 196063 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7302/statm): 206765 196063 364 364 0 206401 0
[pid=7302] vsize: 827060
Current children cumulated CPU time (s) 919.48
Current children cumulated vsize (Kb) 827060

[startup+930.036 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 320684 0 0 0 92229 718 0 0 25 0 1 0 21147186 846909440 196063 4294967295 134512640 135987407 3221224576 3221223136 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7302/statm): 206765 196063 364 364 0 206401 0
[pid=7302] vsize: 827060
Current children cumulated CPU time (s) 929.47
Current children cumulated vsize (Kb) 827060

[startup+940.036 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 320684 0 0 0 93229 718 0 0 25 0 1 0 21147186 846909440 196063 4294967295 134512640 135987407 3221224576 3221223296 134790012 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7302/statm): 206765 196063 364 364 0 206401 0
[pid=7302] vsize: 827060
Current children cumulated CPU time (s) 939.47
Current children cumulated vsize (Kb) 827060

[startup+950.037 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 320684 0 0 0 94228 718 0 0 25 0 1 0 21147186 846909440 196063 4294967295 134512640 135987407 3221224576 3221223312 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7302/statm): 206765 196063 364 364 0 206401 0
[pid=7302] vsize: 827060
Current children cumulated CPU time (s) 949.46
Current children cumulated vsize (Kb) 827060

[startup+960.037 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 320685 0 0 0 95227 718 0 0 25 0 1 0 21147186 846909440 196064 4294967295 134512640 135987407 3221224576 3221223312 134812593 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7302/statm): 206765 196064 364 364 0 206401 0
[pid=7302] vsize: 827060
Current children cumulated CPU time (s) 959.45
Current children cumulated vsize (Kb) 827060

[startup+970.037 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 320954 0 0 0 96226 719 0 0 25 0 1 0 21147186 847958016 196076 4294967295 134512640 135987407 3221224576 3221223296 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7302/statm): 207021 196076 364 364 0 206657 0
[pid=7302] vsize: 828084
Current children cumulated CPU time (s) 969.45
Current children cumulated vsize (Kb) 828084

[startup+980.038 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 320954 0 0 0 97226 719 0 0 25 0 1 0 21147186 847958016 196076 4294967295 134512640 135987407 3221224576 3221223136 134811937 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7302/statm): 207021 196076 364 364 0 206657 0
[pid=7302] vsize: 828084
Current children cumulated CPU time (s) 979.45
Current children cumulated vsize (Kb) 828084

[startup+990.038 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 320954 0 0 0 98226 719 0 0 25 0 1 0 21147186 847958016 196076 4294967295 134512640 135987407 3221224576 3221223296 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7302/statm): 207021 196076 364 364 0 206657 0
[pid=7302] vsize: 828084
Current children cumulated CPU time (s) 989.45
Current children cumulated vsize (Kb) 828084

[startup+1000.04 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 320954 0 0 0 99226 719 0 0 25 0 1 0 21147186 847958016 196076 4294967295 134512640 135987407 3221224576 3221223296 134790000 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7302/statm): 207021 196076 364 364 0 206657 0
[pid=7302] vsize: 828084
Current children cumulated CPU time (s) 999.45
Current children cumulated vsize (Kb) 828084

[startup+1010.04 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 320955 0 0 0 100226 720 0 0 25 0 1 0 21147186 847958016 196077 4294967295 134512640 135987407 3221224576 3221223136 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7302/statm): 207021 196077 364 364 0 206657 0
[pid=7302] vsize: 828084
Current children cumulated CPU time (s) 1009.46
Current children cumulated vsize (Kb) 828084

[startup+1020.04 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 320955 0 0 0 101225 720 0 0 25 0 1 0 21147186 847958016 196077 4294967295 134512640 135987407 3221224576 3221223136 134811894 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7302/statm): 207021 196077 364 364 0 206657 0
[pid=7302] vsize: 828084
Current children cumulated CPU time (s) 1019.45
Current children cumulated vsize (Kb) 828084

[startup+1030.04 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 320955 0 0 0 102225 720 0 0 25 0 1 0 21147186 847958016 196077 4294967295 134512640 135987407 3221224576 3221223136 134811822 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7302/statm): 207021 196077 364 364 0 206657 0
[pid=7302] vsize: 828084
Current children cumulated CPU time (s) 1029.45
Current children cumulated vsize (Kb) 828084

[startup+1040.04 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 320955 0 0 0 103224 720 0 0 25 0 1 0 21147186 847958016 196077 4294967295 134512640 135987407 3221224576 3221223136 134812025 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7302/statm): 207021 196077 364 364 0 206657 0
[pid=7302] vsize: 828084
Current children cumulated CPU time (s) 1039.44
Current children cumulated vsize (Kb) 828084

[startup+1050.04 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 320956 0 0 0 104224 721 0 0 25 0 1 0 21147186 847958016 196078 4294967295 134512640 135987407 3221224576 3221223008 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7302/statm): 207021 196078 364 364 0 206657 0
[pid=7302] vsize: 828084
Current children cumulated CPU time (s) 1049.45
Current children cumulated vsize (Kb) 828084

[startup+1060.04 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 321023 0 0 0 105223 721 0 0 25 0 1 0 21147186 847958016 196145 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7302/statm): 207021 196145 364 364 0 206657 0
[pid=7302] vsize: 828084
Current children cumulated CPU time (s) 1059.44
Current children cumulated vsize (Kb) 828084

[startup+1070.04 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 321031 0 0 0 106223 721 0 0 25 0 1 0 21147186 847958016 196153 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7302/statm): 207021 196153 364 364 0 206657 0
[pid=7302] vsize: 828084
Current children cumulated CPU time (s) 1069.44
Current children cumulated vsize (Kb) 828084

[startup+1080.04 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 324805 0 0 0 107213 731 0 0 25 0 1 0 21147186 863416320 199927 4294967295 134512640 135987407 3221224576 3221222808 134827499 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7302/statm): 210795 199927 364 364 0 210431 0
[pid=7302] vsize: 843180
Current children cumulated CPU time (s) 1079.44
Current children cumulated vsize (Kb) 843180

[startup+1090.04 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 324806 0 0 0 108212 732 0 0 25 0 1 0 21147186 847958016 196154 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7302/statm): 207021 196154 364 364 0 206657 0
[pid=7302] vsize: 828084
Current children cumulated CPU time (s) 1089.44
Current children cumulated vsize (Kb) 828084

[startup+1100.04 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 324846 0 0 0 109211 732 0 0 25 0 1 0 21147186 847958016 196194 4294967295 134512640 135987407 3221224576 3221223136 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7302/statm): 207021 196194 364 364 0 206657 0
[pid=7302] vsize: 828084
Current children cumulated CPU time (s) 1099.43
Current children cumulated vsize (Kb) 828084

[startup+1110.04 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 324923 0 0 0 110210 733 0 0 25 0 1 0 21147186 847958016 196271 4294967295 134512640 135987407 3221224576 3221223136 134811842 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7302/statm): 207021 196271 364 364 0 206657 0
[pid=7302] vsize: 828084
Current children cumulated CPU time (s) 1109.43
Current children cumulated vsize (Kb) 828084

[startup+1120.04 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 324936 0 0 0 111210 733 0 0 25 0 1 0 21147186 847958016 196284 4294967295 134512640 135987407 3221224576 3221223136 134812150 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7302/statm): 207021 196284 364 364 0 206657 0
[pid=7302] vsize: 828084
Current children cumulated CPU time (s) 1119.43
Current children cumulated vsize (Kb) 828084

[startup+1130.04 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 324936 0 0 0 112209 733 0 0 25 0 1 0 21147186 847958016 196284 4294967295 134512640 135987407 3221224576 3221223136 134812197 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7302/statm): 207021 196284 364 364 0 206657 0
[pid=7302] vsize: 828084
Current children cumulated CPU time (s) 1129.42
Current children cumulated vsize (Kb) 828084

[startup+1140.04 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 324970 0 0 0 113209 733 0 0 25 0 1 0 21147186 847958016 196318 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7302/statm): 207021 196318 364 364 0 206657 0
[pid=7302] vsize: 828084
Current children cumulated CPU time (s) 1139.42
Current children cumulated vsize (Kb) 828084

[startup+1150.04 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 324970 0 0 0 114208 734 0 0 25 0 1 0 21147186 847958016 196318 4294967295 134512640 135987407 3221224576 3221223136 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7302/statm): 207021 196318 364 364 0 206657 0
[pid=7302] vsize: 828084
Current children cumulated CPU time (s) 1149.42
Current children cumulated vsize (Kb) 828084

[startup+1160.04 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 324970 0 0 0 115207 734 0 0 25 0 1 0 21147186 847958016 196318 4294967295 134512640 135987407 3221224576 3221223232 134812361 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7302/statm): 207021 196318 364 364 0 206657 0
[pid=7302] vsize: 828084
Current children cumulated CPU time (s) 1159.41
Current children cumulated vsize (Kb) 828084

[startup+1170.04 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 324970 0 0 0 116206 734 0 0 25 0 1 0 21147186 847958016 196318 4294967295 134512640 135987407 3221224576 3221223136 134788799 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7302/statm): 207021 196318 364 364 0 206657 0
[pid=7302] vsize: 828084
Current children cumulated CPU time (s) 1169.4
Current children cumulated vsize (Kb) 828084

[startup+1180.04 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 324971 0 0 0 117206 734 0 0 25 0 1 0 21147186 847958016 196319 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7302/statm): 207021 196319 364 364 0 206657 0
[pid=7302] vsize: 828084
Current children cumulated CPU time (s) 1179.4
Current children cumulated vsize (Kb) 828084

[startup+1190.04 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 324971 0 0 0 118206 735 0 0 25 0 1 0 21147186 847958016 196319 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7302/statm): 207021 196319 364 364 0 206657 0
[pid=7302] vsize: 828084
Current children cumulated CPU time (s) 1189.41
Current children cumulated vsize (Kb) 828084

[startup+1200.05 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 324971 0 0 0 119205 735 0 0 25 0 1 0 21147186 847958016 196319 4294967295 134512640 135987407 3221224576 3221223008 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7302/statm): 207021 196319 364 364 0 206657 0
[pid=7302] vsize: 828084
Current children cumulated CPU time (s) 1199.4
Current children cumulated vsize (Kb) 828084

[startup+1210.05 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 324971 0 0 0 120205 735 0 0 25 0 1 0 21147186 847958016 196319 4294967295 134512640 135987407 3221224576 3221223136 134811980 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7302/statm): 207021 196319 364 364 0 206657 0
[pid=7302] vsize: 828084
Current children cumulated CPU time (s) 1209.4
Current children cumulated vsize (Kb) 828084



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.05 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7304
Raw data (/proc/7302/stat): 7302 (pb2sat) R 7301 7302 4060 0 -1 0 324971 0 0 0 120205 735 0 0 25 0 1 0 21147186 847958016 196319 4294967295 134512640 135987407 3221224576 3221223136 134811980 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7302/statm): 207021 196319 364 364 0 206657 0
[pid=7302] vsize: 828084
Current children cumulated CPU time (s) 1209.4
Current children cumulated vsize (Kb) 828084

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

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1212.44
CPU time (s): 1211.81
CPU user time (s): 1204.06
CPU system time (s): 7.74982
CPU usage (%): 99.9477
Max. virtual memory (cumulated for all children) (Kb): 843180

Verifier Data

Verifier:	OK	26769