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-ii8b1.opb
MD5SUM812314147c77e28d5e428080c7a2412d
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 191
Optimality of the best value was proved NO
Number of terms in the objective function 672
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 672
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 672
Number of bits of the biggest sum of numbers10
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1195.08
Number of variables672
Total number of constraints2404
Number of constraints which are clauses2404
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 constraint8

Trace number 9677

Launcher Data

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        928236 kB
Buffers:         18296 kB
Cached:          69628 kB
SwapCached:          0 kB
Active:          41320 kB
Inactive:        49476 kB
HighTotal:      131008 kB
HighFree:        57568 kB
LowTotal:       903652 kB
LowFree:        870668 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              32 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:            10200 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 15:02:42 (client local time) WITH STATUS 10 IN 1207.59 SECONDS
stats: 8362 0 1207.59 10

Solver Data

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

c Decision: 124733/170533	Time: 176.692/86400
c [startup+240.312 s]  setting bit 8 to 0

c Decision: 56736/170533	Time: 39.362/86400
c got solution with objective value: 207
c [startup+294.832 s]  setting bit 7 to 1

c Decision: 88703/170533	Time: 31.9941/86400
c Decision: 88703/170533	Time: 49.5935/86400
c Decision: 88703/170533	Time: 70.2063/86400
c Decision: 88703/170533	Time: 90.5382/86400
c Decision: 88703/170533	Time: 108.627/86400
c Decision: 88703/170533	Time: 130.246/86400
c Decision: 88703/170533	Time: 152.883/86400
c Decision: 88703/170533	Time: 174.37/86400
c Decision: 88703/170533	Time: 197.35/86400
c Decision: 88703/170533	Time: 222.812/86400
c Decision: 88703/170533	Time: 240.921/86400
c Decision: 88703/170533	Time: 264.006/86400
c Decision: 88703/170533	Time: 283.622/86400
c Decision: 88703/170533	Time: 301.945/86400
c Decision: 88703/170533	Time: 323.181/86400
c Decision: 88703/170533	Time: 345.612/86400
c Decision: 88703/170533	Time: 366.86/86400
c Decision: 88703/170533	Time: 388.212/86400
c Decision: 88703/170533	Time: 409.715/86400
c Decision: 88703/170533	Time: 430.365/86400
c Decision: 88703/170533	Time: 452.81/86400
c Decision: 88703/170533	Time: 474.408/86400
c Decision: 88703/170533	Time: 495.672/86400
c Decision: 88703/170533	Time: 519.559/86400
c Decision: 88703/170533	Time: 543.996/86400
c Decision: 88703/170533	Time: 564.086/86400
c Decision: 88703/170533	Time: 585.388/86400
c Decision: 88703/170533	Time: 605.422/86400
c Decision: 88703/170533	Time: 626.313/86400
c Decision: 88703/170533	Time: 646.329/86400
c Decision: 88703/170533	Time: 671.004/86400
c Decision: 88703/170533	Time: 697.186/86400
c Decision: 88703/170533	Time: 721.351/86400
c Decision: 88703/170533	Time: 742.426/86400
c Decision: 88703/170533	Time: 761.604/86400
c Decision: 88703/170533	Time: 783.763/86400
c Decision: 88723/170533	Time: 806.531/86400
c Decision: 88787/170533	Time: 844.614/86400
c Decision: 88787/170533	Time: 868.348/86400
c Decision: 88787/170533	Time: 893.149/86400
c Decision: 88787/170533	Time: 913.22/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 x652 -x653 x654 x655 -x656 -x657 x658 -x659 -x66 x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 x67 -x670 x671 -x672 -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/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 20951974 1527808 2 4294967295 134512640 135987407 3221224576 3221224576 134512928 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7122/statm): 373 2 364 364 0 9 0
[pid=7122] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc31/normalized-ii8b1.opb

[startup+10.0014 s]
Raw data (loadavg): 0.95 0.98 0.99 2/55 7122
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 29154 0 0 0 932 64 0 0 25 0 1 0 20951974 96235520 17724 4294967295 134512640 135987407 3221224576 3221222968 134827493 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7122/statm): 23495 17724 364 364 0 23131 0
[pid=7122] vsize: 93980
Current children cumulated CPU time (s) 9.96
Current children cumulated vsize (Kb) 93980

[startup+20.0023 s]
Raw data (loadavg): 0.95 0.98 0.99 2/55 7122
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 30249 0 0 0 1925 68 0 0 25 0 1 0 20951974 99229696 18387 4294967295 134512640 135987407 3221224576 3221222992 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7122/statm): 24226 18387 364 364 0 23862 0
[pid=7122] vsize: 96904
Current children cumulated CPU time (s) 19.93
Current children cumulated vsize (Kb) 96904

[startup+30.0032 s]
Raw data (loadavg): 0.96 0.98 0.99 2/55 7122
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 30468 0 0 0 2922 70 0 0 25 0 1 0 20951974 100327424 18606 4294967295 134512640 135987407 3221224576 3221223120 134812018 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7122/statm): 24494 18606 364 364 0 24130 0
[pid=7122] vsize: 97976
Current children cumulated CPU time (s) 29.92
Current children cumulated vsize (Kb) 97976

[startup+40.0032 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 7122
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 30539 0 0 0 3918 71 0 0 25 0 1 0 20951974 100659200 18677 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7122/statm): 24575 18677 364 364 0 24211 0
[pid=7122] vsize: 98300
Current children cumulated CPU time (s) 39.89
Current children cumulated vsize (Kb) 98300

[startup+50.0041 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 7122
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 30596 0 0 0 4915 72 0 0 25 0 1 0 20951974 100794368 18734 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7122/statm): 24608 18734 364 364 0 24244 0
[pid=7122] vsize: 98432
Current children cumulated CPU time (s) 49.87
Current children cumulated vsize (Kb) 98432

[startup+60.004 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 7122
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 30677 0 0 0 5912 74 0 0 25 0 1 0 20951974 101060608 18782 4294967295 134512640 135987407 3221224576 3221223248 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7122/statm): 24673 18782 364 364 0 24309 0
[pid=7122] vsize: 98692
Current children cumulated CPU time (s) 59.86
Current children cumulated vsize (Kb) 98692

[startup+70.006 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 7122
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 30727 0 0 0 6909 75 0 0 25 0 1 0 20951974 101191680 18799 4294967295 134512640 135987407 3221224576 3221223172 135478222 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7122/statm): 24705 18799 364 364 0 24341 0
[pid=7122] vsize: 98820
Current children cumulated CPU time (s) 69.84
Current children cumulated vsize (Kb) 98820

[startup+80.0069 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 7122
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 30743 0 0 0 7906 76 0 0 25 0 1 0 20951974 101191680 18815 4294967295 134512640 135987407 3221224576 3221223120 134812018 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7122/statm): 24705 18815 364 364 0 24341 0
[pid=7122] vsize: 98820
Current children cumulated CPU time (s) 79.82
Current children cumulated vsize (Kb) 98820

[startup+90.0068 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 7122
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 30775 0 0 0 8905 77 0 0 25 0 1 0 20951974 101326848 18847 4294967295 134512640 135987407 3221224576 3221223120 134811891 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7122/statm): 24738 18847 364 364 0 24374 0
[pid=7122] vsize: 98952
Current children cumulated CPU time (s) 89.82
Current children cumulated vsize (Kb) 98952

[startup+100.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7122
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 30842 0 0 0 9901 78 0 0 25 0 1 0 20951974 101457920 18881 4294967295 134512640 135987407 3221224576 3221223120 134812046 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7122/statm): 24770 18881 364 364 0 24406 0
[pid=7122] vsize: 99080
Current children cumulated CPU time (s) 99.79
Current children cumulated vsize (Kb) 99080

[startup+110.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7122
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 30862 0 0 0 10897 79 0 0 25 0 1 0 20951974 101457920 18901 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7122/statm): 24770 18901 364 364 0 24406 0
[pid=7122] vsize: 99080
Current children cumulated CPU time (s) 109.76
Current children cumulated vsize (Kb) 99080

[startup+120.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7122
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 30874 0 0 0 11893 81 0 0 25 0 1 0 20951974 101457920 18913 4294967295 134512640 135987407 3221224576 3221223048 134775385 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7122/statm): 24770 18913 364 364 0 24406 0
[pid=7122] vsize: 99080
Current children cumulated CPU time (s) 119.74
Current children cumulated vsize (Kb) 99080

[startup+130.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7122
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 30888 0 0 0 12890 82 0 0 25 0 1 0 20951974 101457920 18927 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7122/statm): 24770 18927 364 364 0 24406 0
[pid=7122] vsize: 99080
Current children cumulated CPU time (s) 129.72
Current children cumulated vsize (Kb) 99080

[startup+140.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7122
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 30904 0 0 0 13887 83 0 0 25 0 1 0 20951974 101457920 18943 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7122/statm): 24770 18943 364 364 0 24406 0
[pid=7122] vsize: 99080
Current children cumulated CPU time (s) 139.7
Current children cumulated vsize (Kb) 99080

[startup+150.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7122
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 31018 0 0 0 14882 85 0 0 25 0 1 0 20951974 102060032 19057 4294967295 134512640 135987407 3221224576 3221223184 134801205 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7122/statm): 24917 19057 364 364 0 24553 0
[pid=7122] vsize: 99668
Current children cumulated CPU time (s) 149.67
Current children cumulated vsize (Kb) 99668

[startup+160.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7122
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 31033 0 0 0 15878 86 0 0 25 0 1 0 20951974 102060032 19072 4294967295 134512640 135987407 3221224576 3221223276 134812764 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7122/statm): 24917 19072 364 364 0 24553 0
[pid=7122] vsize: 99668
Current children cumulated CPU time (s) 159.64
Current children cumulated vsize (Kb) 99668

[startup+170.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7122
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 31094 0 0 0 16875 88 0 0 25 0 1 0 20951974 102191104 19100 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7122/statm): 24949 19100 364 364 0 24585 0
[pid=7122] vsize: 99796
Current children cumulated CPU time (s) 169.63
Current children cumulated vsize (Kb) 99796

[startup+180.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7122
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 31110 0 0 0 17871 89 0 0 25 0 1 0 20951974 102191104 19116 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7122/statm): 24949 19116 364 364 0 24585 0
[pid=7122] vsize: 99796
Current children cumulated CPU time (s) 179.6
Current children cumulated vsize (Kb) 99796

[startup+190.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7122
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 31453 0 0 0 18867 91 0 0 25 0 1 0 20951974 102191104 19125 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7122/statm): 24949 19125 364 364 0 24585 0
[pid=7122] vsize: 99796
Current children cumulated CPU time (s) 189.58
Current children cumulated vsize (Kb) 99796

[startup+200.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7122
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 31458 0 0 0 19864 92 0 0 25 0 1 0 20951974 102191104 19130 4294967295 134512640 135987407 3221224576 3221223120 134812046 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7122/statm): 24949 19130 364 364 0 24585 0
[pid=7122] vsize: 99796
Current children cumulated CPU time (s) 199.56
Current children cumulated vsize (Kb) 99796

[startup+210.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7122
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 31516 0 0 0 20860 94 0 0 25 0 1 0 20951974 102322176 19155 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7122/statm): 24981 19155 364 364 0 24617 0
[pid=7122] vsize: 99924
Current children cumulated CPU time (s) 209.54
Current children cumulated vsize (Kb) 99924

[startup+220.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7122
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 31519 0 0 0 21857 95 0 0 25 0 1 0 20951974 102322176 19158 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7122/statm): 24981 19158 364 364 0 24617 0
[pid=7122] vsize: 99924
Current children cumulated CPU time (s) 219.52
Current children cumulated vsize (Kb) 99924

[startup+230.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7122
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 31659 0 0 0 22854 96 0 0 25 0 1 0 20951974 102846464 19169 4294967295 134512640 135987407 3221224576 3221223120 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7122/statm): 25109 19169 364 364 0 24745 0
[pid=7122] vsize: 100436
Current children cumulated CPU time (s) 229.5
Current children cumulated vsize (Kb) 100436

[startup+240.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7122
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 31697 0 0 0 23852 97 0 0 25 0 1 0 20951974 102846464 19207 4294967295 134512640 135987407 3221224576 3221223120 134811972 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7122/statm): 25109 19207 364 364 0 24745 0
[pid=7122] vsize: 100436
Current children cumulated CPU time (s) 239.49
Current children cumulated vsize (Kb) 100436

[startup+250.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7122
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 32822 0 0 0 24837 105 0 0 25 0 1 0 20951974 107008000 19998 4294967295 134512640 135987407 3221224576 3221223296 134812696 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7122/statm): 26125 19998 364 364 0 25761 0
[pid=7122] vsize: 104500
Current children cumulated CPU time (s) 249.42
Current children cumulated vsize (Kb) 104500

[startup+260.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7122
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 32960 0 0 0 25823 110 0 0 25 0 1 0 20951974 107610112 20136 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7122/statm): 26272 20136 364 364 0 25908 0
[pid=7122] vsize: 105088
Current children cumulated CPU time (s) 259.33
Current children cumulated vsize (Kb) 105088

[startup+270.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7122
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 33036 0 0 0 26812 114 0 0 25 0 1 0 20951974 107880448 20212 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7122/statm): 26338 20212 364 364 0 25974 0
[pid=7122] vsize: 105352
Current children cumulated CPU time (s) 269.26
Current children cumulated vsize (Kb) 105352

[startup+280.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7122
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 33451 0 0 0 27807 116 0 0 25 0 1 0 20951974 108285952 20293 4294967295 134512640 135987407 3221224576 3221223120 134811885 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7122/statm): 26437 20293 364 364 0 26073 0
[pid=7122] vsize: 105748
Current children cumulated CPU time (s) 279.23
Current children cumulated vsize (Kb) 105748

[startup+290.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7122
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 33669 0 0 0 28797 120 0 0 25 0 1 0 20951974 109367296 20511 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7122/statm): 26701 20511 364 364 0 26337 0
[pid=7122] vsize: 106804
Current children cumulated CPU time (s) 289.17
Current children cumulated vsize (Kb) 106804

[startup+300.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7122
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 34048 0 0 0 29787 123 0 0 25 0 1 0 20951974 109502464 20556 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7122/statm): 26734 20556 364 364 0 26370 0
[pid=7122] vsize: 106936
Current children cumulated CPU time (s) 299.1
Current children cumulated vsize (Kb) 106936

[startup+310.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7122
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 34071 0 0 0 30782 126 0 0 25 0 1 0 20951974 109502464 20579 4294967295 134512640 135987407 3221224576 3221223120 134812010 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7122/statm): 26734 20579 364 364 0 26370 0
[pid=7122] vsize: 106936
Current children cumulated CPU time (s) 309.08
Current children cumulated vsize (Kb) 106936

[startup+320.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7122
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 34094 0 0 0 31780 126 0 0 25 0 1 0 20951974 109502464 20602 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7122/statm): 26734 20602 364 364 0 26370 0
[pid=7122] vsize: 106936
Current children cumulated CPU time (s) 319.06
Current children cumulated vsize (Kb) 106936

[startup+330.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7122
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 34444 0 0 0 32777 128 0 0 25 0 1 0 20951974 109502464 20618 4294967295 134512640 135987407 3221224576 3221222992 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7122/statm): 26734 20618 364 364 0 26370 0
[pid=7122] vsize: 106936
Current children cumulated CPU time (s) 329.05
Current children cumulated vsize (Kb) 106936

[startup+340.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7122
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 34450 0 0 0 33773 129 0 0 25 0 1 0 20951974 109502464 20624 4294967295 134512640 135987407 3221224576 3221223120 134812033 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7122/statm): 26734 20624 364 364 0 26370 0
[pid=7122] vsize: 106936
Current children cumulated CPU time (s) 339.02
Current children cumulated vsize (Kb) 106936

[startup+350.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7122
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 34810 0 0 0 34768 131 0 0 25 0 1 0 20951974 109502464 20650 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7122/statm): 26734 20650 364 364 0 26370 0
[pid=7122] vsize: 106936
Current children cumulated CPU time (s) 348.99
Current children cumulated vsize (Kb) 106936

[startup+360.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7122
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 34837 0 0 0 35765 133 0 0 25 0 1 0 20951974 109502464 20677 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7122/statm): 26734 20677 364 364 0 26370 0
[pid=7122] vsize: 106936
Current children cumulated CPU time (s) 358.98
Current children cumulated vsize (Kb) 106936

[startup+370.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7122
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 34858 0 0 0 36763 134 0 0 25 0 1 0 20951974 109502464 20698 4294967295 134512640 135987407 3221224576 3221223248 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7122/statm): 26734 20698 364 364 0 26370 0
[pid=7122] vsize: 106936
Current children cumulated CPU time (s) 368.97
Current children cumulated vsize (Kb) 106936

[startup+380.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7122
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 34882 0 0 0 37760 134 0 0 25 0 1 0 20951974 109502464 20722 4294967295 134512640 135987407 3221224576 3221223120 134811937 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7122/statm): 26734 20722 364 364 0 26370 0
[pid=7122] vsize: 106936
Current children cumulated CPU time (s) 378.94
Current children cumulated vsize (Kb) 106936

[startup+390.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7122
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 35239 0 0 0 38756 136 0 0 25 0 1 0 20951974 109502464 20745 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7122/statm): 26734 20745 364 364 0 26370 0
[pid=7122] vsize: 106936
Current children cumulated CPU time (s) 388.92
Current children cumulated vsize (Kb) 106936

[startup+400.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7122
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 35262 0 0 0 39752 137 0 0 25 0 1 0 20951974 109502464 20768 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7122/statm): 26734 20768 364 364 0 26370 0
[pid=7122] vsize: 106936
Current children cumulated CPU time (s) 398.89
Current children cumulated vsize (Kb) 106936

[startup+410.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7122
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 35618 0 0 0 40746 140 0 0 25 0 1 0 20951974 109502464 20790 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7122/statm): 26734 20790 364 364 0 26370 0
[pid=7122] vsize: 106936
Current children cumulated CPU time (s) 408.86
Current children cumulated vsize (Kb) 106936

[startup+420.029 s]
Raw data (loadavg): 0.99 0.98 0.99 1/55 7122
Raw data (/proc/7122/stat): 7122 (pb2sat) T 7121 7122 4005 0 -1 0 35708 0 0 0 41743 141 0 0 25 0 1 0 20951974 109907968 20880 4294967295 134512640 135987407 3221224576 3221223260 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7122/statm): 26833 20880 364 364 0 26469 0
[pid=7122] vsize: 107332
Current children cumulated CPU time (s) 418.84
Current children cumulated vsize (Kb) 107332

[startup+430.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7122
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 36053 0 0 0 42738 143 0 0 25 0 1 0 20951974 109907968 20891 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7122/statm): 26833 20891 364 364 0 26469 0
[pid=7122] vsize: 107332
Current children cumulated CPU time (s) 428.81
Current children cumulated vsize (Kb) 107332

[startup+440.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7122
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 36075 0 0 0 43735 145 0 0 25 0 1 0 20951974 109907968 20913 4294967295 134512640 135987407 3221224576 3221223120 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7122/statm): 26833 20913 364 364 0 26469 0
[pid=7122] vsize: 107332
Current children cumulated CPU time (s) 438.8
Current children cumulated vsize (Kb) 107332

[startup+450.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7122
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 36428 0 0 0 44731 147 0 0 25 0 1 0 20951974 109907968 20932 4294967295 134512640 135987407 3221224576 3221223120 134812056 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7122/statm): 26833 20932 364 364 0 26469 0
[pid=7122] vsize: 107332
Current children cumulated CPU time (s) 448.78
Current children cumulated vsize (Kb) 107332

[startup+460.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7122
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 36449 0 0 0 45728 148 0 0 25 0 1 0 20951974 109907968 20953 4294967295 134512640 135987407 3221224576 3221223296 134812612 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7122/statm): 26833 20953 364 364 0 26469 0
[pid=7122] vsize: 107332
Current children cumulated CPU time (s) 458.76
Current children cumulated vsize (Kb) 107332

[startup+470.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7122
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 36803 0 0 0 46724 150 0 0 25 0 1 0 20951974 109907968 20973 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7122/statm): 26833 20973 364 364 0 26469 0
[pid=7122] vsize: 107332
Current children cumulated CPU time (s) 468.74
Current children cumulated vsize (Kb) 107332

[startup+480.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7122
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 36823 0 0 0 47723 151 0 0 25 0 1 0 20951974 109907968 20993 4294967295 134512640 135987407 3221224576 3221223248 134824323 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7122/statm): 26833 20993 364 364 0 26469 0
[pid=7122] vsize: 107332
Current children cumulated CPU time (s) 478.74
Current children cumulated vsize (Kb) 107332

[startup+490.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7122
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 36845 0 0 0 48720 152 0 0 25 0 1 0 20951974 109907968 21015 4294967295 134512640 135987407 3221224576 3221223120 134811715 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7122/statm): 26833 21015 364 364 0 26469 0
[pid=7122] vsize: 107332
Current children cumulated CPU time (s) 488.72
Current children cumulated vsize (Kb) 107332

[startup+500.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7122
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 37205 0 0 0 49717 154 0 0 25 0 1 0 20951974 109907968 21041 4294967295 134512640 135987407 3221224576 3221223248 134824720 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7122/statm): 26833 21041 364 364 0 26469 0
[pid=7122] vsize: 107332
Current children cumulated CPU time (s) 498.71
Current children cumulated vsize (Kb) 107332

[startup+510.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7122
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 37232 0 0 0 50714 155 0 0 25 0 1 0 20951974 109907968 21068 4294967295 134512640 135987407 3221224576 3221223120 134811933 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7122/statm): 26833 21068 364 364 0 26469 0
[pid=7122] vsize: 107332
Current children cumulated CPU time (s) 508.69
Current children cumulated vsize (Kb) 107332

[startup+520.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7122
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 37595 0 0 0 51710 158 0 0 25 0 1 0 20951974 109907968 21097 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7122/statm): 26833 21097 364 364 0 26469 0
[pid=7122] vsize: 107332
Current children cumulated CPU time (s) 518.68
Current children cumulated vsize (Kb) 107332

[startup+530.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7122
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 37616 0 0 0 52703 160 0 0 25 0 1 0 20951974 109907968 21118 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7122/statm): 26833 21118 364 364 0 26469 0
[pid=7122] vsize: 107332
Current children cumulated CPU time (s) 528.63
Current children cumulated vsize (Kb) 107332

[startup+540.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7122
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 37961 0 0 0 53700 162 0 0 25 0 1 0 20951974 109907968 21129 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7122/statm): 26833 21129 364 364 0 26469 0
[pid=7122] vsize: 107332
Current children cumulated CPU time (s) 538.62
Current children cumulated vsize (Kb) 107332

[startup+550.038 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7122
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 37964 0 0 0 54696 163 0 0 25 0 1 0 20951974 109907968 21132 4294967295 134512640 135987407 3221224576 3221223120 134812197 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7122/statm): 26833 21132 364 364 0 26469 0
[pid=7122] vsize: 107332
Current children cumulated CPU time (s) 548.59
Current children cumulated vsize (Kb) 107332

[startup+560.038 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7122
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 38355 0 0 0 55691 167 0 0 25 0 1 0 20951974 110178304 21189 4294967295 134512640 135987407 3221224576 3221223072 134821379 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7122/statm): 26899 21189 364 364 0 26535 0
[pid=7122] vsize: 107596
Current children cumulated CPU time (s) 558.58
Current children cumulated vsize (Kb) 107596

[startup+570.039 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7122
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 38378 0 0 0 56687 168 0 0 25 0 1 0 20951974 110178304 21212 4294967295 134512640 135987407 3221224576 3221223120 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7122/statm): 26899 21212 364 364 0 26535 0
[pid=7122] vsize: 107596
Current children cumulated CPU time (s) 568.55
Current children cumulated vsize (Kb) 107596

[startup+580.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7122
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 38735 0 0 0 57682 171 0 0 25 0 1 0 20951974 110178304 21235 4294967295 134512640 135987407 3221224576 3221223120 134811816 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7122/statm): 26899 21235 364 364 0 26535 0
[pid=7122] vsize: 107596
Current children cumulated CPU time (s) 578.53
Current children cumulated vsize (Kb) 107596

[startup+590.041 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7122
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 38756 0 0 0 58677 173 0 0 25 0 1 0 20951974 110178304 21256 4294967295 134512640 135987407 3221224576 3221223120 134812000 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7122/statm): 26899 21256 364 364 0 26535 0
[pid=7122] vsize: 107596
Current children cumulated CPU time (s) 588.5
Current children cumulated vsize (Kb) 107596

[startup+600.042 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7122
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 39112 0 0 0 59674 175 0 0 25 0 1 0 20951974 110178304 21278 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7122/statm): 26899 21278 364 364 0 26535 0
[pid=7122] vsize: 107596
Current children cumulated CPU time (s) 598.49
Current children cumulated vsize (Kb) 107596

[startup+610.043 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7122
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 39138 0 0 0 60670 176 0 0 25 0 1 0 20951974 110178304 21304 4294967295 134512640 135987407 3221224576 3221223008 135486786 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7122/statm): 26899 21304 364 364 0 26535 0
[pid=7122] vsize: 107596
Current children cumulated CPU time (s) 608.46
Current children cumulated vsize (Kb) 107596

[startup+620.044 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7122
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 39504 0 0 0 61666 179 0 0 25 0 1 0 20951974 110317568 21336 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7122/statm): 26933 21336 364 364 0 26569 0
[pid=7122] vsize: 107732
Current children cumulated CPU time (s) 618.45
Current children cumulated vsize (Kb) 107732

[startup+630.045 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7122
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 39538 0 0 0 62663 180 0 0 25 0 1 0 20951974 110317568 21370 4294967295 134512640 135987407 3221224576 3221223120 134812126 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7122/statm): 26933 21370 364 364 0 26569 0
[pid=7122] vsize: 107732
Current children cumulated CPU time (s) 628.43
Current children cumulated vsize (Kb) 107732

[startup+640.045 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7122
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 39562 0 0 0 63660 180 0 0 25 0 1 0 20951974 110317568 21394 4294967295 134512640 135987407 3221224576 3221223152 134814260 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7122/statm): 26933 21394 364 364 0 26569 0
[pid=7122] vsize: 107732
Current children cumulated CPU time (s) 638.4
Current children cumulated vsize (Kb) 107732

[startup+650.046 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7122
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 39907 0 0 0 64656 182 0 0 25 0 1 0 20951974 110452736 21405 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7122/statm): 26966 21405 364 364 0 26602 0
[pid=7122] vsize: 107864
Current children cumulated CPU time (s) 648.38
Current children cumulated vsize (Kb) 107864

[startup+660.046 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7122
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 39914 0 0 0 65653 183 0 0 25 0 1 0 20951974 110452736 21412 4294967295 134512640 135987407 3221224576 3221223188 134811684 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7122/statm): 26966 21412 364 364 0 26602 0
[pid=7122] vsize: 107864
Current children cumulated CPU time (s) 658.36
Current children cumulated vsize (Kb) 107864

[startup+670.047 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7122
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 40258 0 0 0 66649 185 0 0 25 0 1 0 20951974 110452736 21422 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7122/statm): 26966 21422 364 364 0 26602 0
[pid=7122] vsize: 107864
Current children cumulated CPU time (s) 668.34
Current children cumulated vsize (Kb) 107864

[startup+680.048 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7122
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 40284 0 0 0 67644 187 0 0 25 0 1 0 20951974 110587904 21448 4294967295 134512640 135987407 3221224576 3221223008 134801596 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7122/statm): 26999 21448 364 364 0 26635 0
[pid=7122] vsize: 107996
Current children cumulated CPU time (s) 678.31
Current children cumulated vsize (Kb) 107996

[startup+690.048 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7122
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 40622 0 0 0 68640 189 0 0 25 0 1 0 20951974 110587904 21452 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7122/statm): 26999 21452 364 364 0 26635 0
[pid=7122] vsize: 107996
Current children cumulated CPU time (s) 688.29
Current children cumulated vsize (Kb) 107996

[startup+700.049 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7122
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 40627 0 0 0 69637 190 0 0 25 0 1 0 20951974 110587904 21457 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7122/statm): 26999 21457 364 364 0 26635 0
[pid=7122] vsize: 107996
Current children cumulated CPU time (s) 698.27
Current children cumulated vsize (Kb) 107996

[startup+710.049 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7122
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 40976 0 0 0 70632 193 0 0 25 0 1 0 20951974 110727168 21472 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7122/statm): 27033 21472 364 364 0 26669 0
[pid=7122] vsize: 108132
Current children cumulated CPU time (s) 708.25
Current children cumulated vsize (Kb) 108132

[startup+720.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7122
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 40986 0 0 0 71629 194 0 0 25 0 1 0 20951974 110727168 21482 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7122/statm): 27033 21482 364 364 0 26669 0
[pid=7122] vsize: 108132
Current children cumulated CPU time (s) 718.23
Current children cumulated vsize (Kb) 108132

[startup+730.051 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7122
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 41329 0 0 0 72624 196 0 0 25 0 1 0 20951974 110727168 21491 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7122/statm): 27033 21491 364 364 0 26669 0
[pid=7122] vsize: 108132
Current children cumulated CPU time (s) 728.2
Current children cumulated vsize (Kb) 108132

[startup+740.051 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7122
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 41348 0 0 0 73621 198 0 0 25 0 1 0 20951974 110727168 21510 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7122/statm): 27033 21510 364 364 0 26669 0
[pid=7122] vsize: 108132
Current children cumulated CPU time (s) 738.19
Current children cumulated vsize (Kb) 108132

[startup+750.052 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7122
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 41710 0 0 0 74617 200 0 0 25 0 1 0 20951974 110727168 21538 4294967295 134512640 135987407 3221224576 3221223120 134811816 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7122/statm): 27033 21538 364 364 0 26669 0
[pid=7122] vsize: 108132
Current children cumulated CPU time (s) 748.17
Current children cumulated vsize (Kb) 108132

[startup+760.052 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7122
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 41716 0 0 0 75614 201 0 0 25 0 1 0 20951974 110862336 21544 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7122/statm): 27066 21544 364 364 0 26702 0
[pid=7122] vsize: 108264
Current children cumulated CPU time (s) 758.15
Current children cumulated vsize (Kb) 108264

[startup+770.053 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7122
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 42081 0 0 0 76610 203 0 0 25 0 1 0 20951974 112365568 21909 4294967295 134512640 135987407 3221224576 3221222804 134828865 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7122/statm): 27433 21909 364 364 0 27069 0
[pid=7122] vsize: 109732
Current children cumulated CPU time (s) 768.13
Current children cumulated vsize (Kb) 109732

[startup+780.054 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7122
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 42082 0 0 0 77606 204 0 0 25 0 1 0 20951974 110997504 21576 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7122/statm): 27099 21576 364 364 0 26735 0
[pid=7122] vsize: 108396
Current children cumulated CPU time (s) 778.1
Current children cumulated vsize (Kb) 108396

[startup+790.055 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7122
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 42086 0 0 0 78603 205 0 0 25 0 1 0 20951974 110997504 21580 4294967295 134512640 135987407 3221224576 3221223120 134811778 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7122/statm): 27099 21580 364 364 0 26735 0
[pid=7122] vsize: 108396
Current children cumulated CPU time (s) 788.08
Current children cumulated vsize (Kb) 108396

[startup+800.056 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7122
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 42428 0 0 0 79600 207 0 0 25 0 1 0 20951974 110997504 21588 4294967295 134512640 135987407 3221224576 3221223188 134811684 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7122/statm): 27099 21588 364 364 0 26735 0
[pid=7122] vsize: 108396
Current children cumulated CPU time (s) 798.07
Current children cumulated vsize (Kb) 108396

[startup+810.057 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7122
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 42434 0 0 0 80596 209 0 0 25 0 1 0 20951974 110997504 21594 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7122/statm): 27099 21594 364 364 0 26735 0
[pid=7122] vsize: 108396
Current children cumulated CPU time (s) 808.05
Current children cumulated vsize (Kb) 108396

[startup+820.058 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7122
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 42781 0 0 0 81593 211 0 0 25 0 1 0 20951974 110997504 21607 4294967295 134512640 135987407 3221224576 3221223120 134811741 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7122/statm): 27099 21607 364 364 0 26735 0
[pid=7122] vsize: 108396
Current children cumulated CPU time (s) 818.04
Current children cumulated vsize (Kb) 108396

[startup+830.059 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7122
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 42784 0 0 0 82591 212 0 0 25 0 1 0 20951974 110997504 21610 4294967295 134512640 135987407 3221224576 3221223248 134824323 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7122/statm): 27099 21610 364 364 0 26735 0
[pid=7122] vsize: 108396
Current children cumulated CPU time (s) 828.03
Current children cumulated vsize (Kb) 108396

[startup+840.059 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7122
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 43180 0 0 0 83587 214 0 0 25 0 1 0 20951974 111263744 21672 4294967295 134512640 135987407 3221224576 3221223120 134811937 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7122/statm): 27164 21672 364 364 0 26800 0
[pid=7122] vsize: 108656
Current children cumulated CPU time (s) 838.01
Current children cumulated vsize (Kb) 108656

[startup+850.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7122
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 43200 0 0 0 84583 215 0 0 25 0 1 0 20951974 111263744 21692 4294967295 134512640 135987407 3221224576 3221223184 134801373 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7122/statm): 27164 21692 364 364 0 26800 0
[pid=7122] vsize: 108656
Current children cumulated CPU time (s) 847.98
Current children cumulated vsize (Kb) 108656

[startup+860.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7122
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 43544 0 0 0 85578 217 0 0 25 0 1 0 20951974 111263744 21702 4294967295 134512640 135987407 3221224576 3221223248 134876823 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7122/statm): 27164 21702 364 364 0 26800 0
[pid=7122] vsize: 108656
Current children cumulated CPU time (s) 857.95
Current children cumulated vsize (Kb) 108656

[startup+870.061 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7122
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 43546 0 0 0 86574 218 0 0 25 0 1 0 20951974 111263744 21704 4294967295 134512640 135987407 3221224576 3221223280 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7122/statm): 27164 21704 364 364 0 26800 0
[pid=7122] vsize: 108656
Current children cumulated CPU time (s) 867.92
Current children cumulated vsize (Kb) 108656

[startup+880.061 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7122
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 43548 0 0 0 87571 219 0 0 25 0 1 0 20951974 111263744 21706 4294967295 134512640 135987407 3221224576 3221223120 134812005 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7122/statm): 27164 21706 364 364 0 26800 0
[pid=7122] vsize: 108656
Current children cumulated CPU time (s) 877.9
Current children cumulated vsize (Kb) 108656

[startup+890.061 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7122
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 43888 0 0 0 88567 221 0 0 25 0 1 0 20951974 111263744 21712 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7122/statm): 27164 21712 364 364 0 26800 0
[pid=7122] vsize: 108656
Current children cumulated CPU time (s) 887.88
Current children cumulated vsize (Kb) 108656

[startup+900.062 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7122
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 43892 0 0 0 89563 223 0 0 25 0 1 0 20951974 111263744 21716 4294967295 134512640 135987407 3221224576 3221223248 134824720 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7122/statm): 27164 21716 364 364 0 26800 0
[pid=7122] vsize: 108656
Current children cumulated CPU time (s) 897.86
Current children cumulated vsize (Kb) 108656

[startup+910.063 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7122
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 44236 0 0 0 90560 224 0 0 25 0 1 0 20951974 111398912 21726 4294967295 134512640 135987407 3221224576 3221223120 134811972 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7122/statm): 27197 21726 364 364 0 26833 0
[pid=7122] vsize: 108788
Current children cumulated CPU time (s) 907.84
Current children cumulated vsize (Kb) 108788

[startup+920.064 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7122
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 44239 0 0 0 91557 225 0 0 25 0 1 0 20951974 111398912 21729 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7122/statm): 27197 21729 364 364 0 26833 0
[pid=7122] vsize: 108788
Current children cumulated CPU time (s) 917.82
Current children cumulated vsize (Kb) 108788

[startup+930.065 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7122
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 44584 0 0 0 92554 227 0 0 25 0 1 0 20951974 111398912 21740 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7122/statm): 27197 21740 364 364 0 26833 0
[pid=7122] vsize: 108788
Current children cumulated CPU time (s) 927.81
Current children cumulated vsize (Kb) 108788

[startup+940.065 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7122
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 44592 0 0 0 93550 229 0 0 25 0 1 0 20951974 111398912 21748 4294967295 134512640 135987407 3221224576 3221223184 134801142 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7122/statm): 27197 21748 364 364 0 26833 0
[pid=7122] vsize: 108788
Current children cumulated CPU time (s) 937.79
Current children cumulated vsize (Kb) 108788

[startup+950.066 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7122
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 44936 0 0 0 94547 230 0 0 25 0 1 0 20951974 111398912 21758 4294967295 134512640 135987407 3221224576 3221223184 134811685 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7122/statm): 27197 21758 364 364 0 26833 0
[pid=7122] vsize: 108788
Current children cumulated CPU time (s) 947.77
Current children cumulated vsize (Kb) 108788

[startup+960.066 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7122
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 44964 0 0 0 95544 231 0 0 25 0 1 0 20951974 111546368 21786 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7122/statm): 27233 21786 364 364 0 26869 0
[pid=7122] vsize: 108932
Current children cumulated CPU time (s) 957.75
Current children cumulated vsize (Kb) 108932

[startup+970.067 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7122
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 45315 0 0 0 96539 234 0 0 25 0 1 0 20951974 111546368 21803 4294967295 134512640 135987407 3221224576 3221223280 134790054 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7122/statm): 27233 21803 364 364 0 26869 0
[pid=7122] vsize: 108932
Current children cumulated CPU time (s) 967.73
Current children cumulated vsize (Kb) 108932

[startup+980.068 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7122
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 45322 0 0 0 97536 235 0 0 25 0 1 0 20951974 111546368 21810 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7122/statm): 27233 21810 364 364 0 26869 0
[pid=7122] vsize: 108932
Current children cumulated CPU time (s) 977.71
Current children cumulated vsize (Kb) 108932

[startup+990.068 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7122
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 45328 0 0 0 98533 236 0 0 25 0 1 0 20951974 111546368 21816 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7122/statm): 27233 21816 364 364 0 26869 0
[pid=7122] vsize: 108932
Current children cumulated CPU time (s) 987.69
Current children cumulated vsize (Kb) 108932

[startup+1000.07 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7122
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 45669 0 0 0 99530 238 0 0 25 0 1 0 20951974 111546368 21823 4294967295 134512640 135987407 3221224576 3221223048 134775385 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7122/statm): 27233 21823 364 364 0 26869 0
[pid=7122] vsize: 108932
Current children cumulated CPU time (s) 997.68
Current children cumulated vsize (Kb) 108932

[startup+1010.07 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7122
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 45671 0 0 0 100526 239 0 0 25 0 1 0 20951974 111546368 21825 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7122/statm): 27233 21825 364 364 0 26869 0
[pid=7122] vsize: 108932
Current children cumulated CPU time (s) 1007.65
Current children cumulated vsize (Kb) 108932

[startup+1020.07 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7122
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 46012 0 0 0 101523 242 0 0 25 0 1 0 20951974 111546368 21832 4294967295 134512640 135987407 3221224576 3221223120 134811885 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7122/statm): 27233 21832 364 364 0 26869 0
[pid=7122] vsize: 108932
Current children cumulated CPU time (s) 1017.65
Current children cumulated vsize (Kb) 108932

[startup+1030.07 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7122
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 46016 0 0 0 102521 242 0 0 25 0 1 0 20951974 111546368 21836 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7122/statm): 27233 21836 364 364 0 26869 0
[pid=7122] vsize: 108932
Current children cumulated CPU time (s) 1027.63
Current children cumulated vsize (Kb) 108932

[startup+1040.07 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7122
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 46357 0 0 0 103515 245 0 0 25 0 1 0 20951974 111681536 21843 4294967295 134512640 135987407 3221224576 3221223120 134811980 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7122/statm): 27266 21843 364 364 0 26902 0
[pid=7122] vsize: 109064
Current children cumulated CPU time (s) 1037.6
Current children cumulated vsize (Kb) 109064

[startup+1050.07 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7122
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 46367 0 0 0 104512 246 0 0 25 0 1 0 20951974 111681536 21853 4294967295 134512640 135987407 3221224576 3221223256 134812257 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7122/statm): 27266 21853 364 364 0 26902 0
[pid=7122] vsize: 109064
Current children cumulated CPU time (s) 1047.58
Current children cumulated vsize (Kb) 109064

[startup+1060.07 s]
Raw data (loadavg): 1.07 1.00 1.00 2/55 7177
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 46712 0 0 0 105505 250 0 0 25 0 1 0 20951974 111681536 21864 4294967295 134512640 135987407 3221224576 3221223120 134788833 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7122/statm): 27266 21864 364 364 0 26902 0
[pid=7122] vsize: 109064
Current children cumulated CPU time (s) 1057.55
Current children cumulated vsize (Kb) 109064

[startup+1070.07 s]
Raw data (loadavg): 1.06 1.00 1.00 2/55 7177
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 46730 0 0 0 106502 251 0 0 25 0 1 0 20951974 111681536 21882 4294967295 134512640 135987407 3221224576 3221223120 134811975 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7122/statm): 27266 21882 364 364 0 26902 0
[pid=7122] vsize: 109064
Current children cumulated CPU time (s) 1067.53
Current children cumulated vsize (Kb) 109064

[startup+1080.07 s]
Raw data (loadavg): 1.05 1.00 1.00 2/55 7177
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 47085 0 0 0 107497 253 0 0 25 0 1 0 20951974 111681536 21903 4294967295 134512640 135987407 3221224576 3221223248 134876808 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7122/statm): 27266 21903 364 364 0 26902 0
[pid=7122] vsize: 109064
Current children cumulated CPU time (s) 1077.5
Current children cumulated vsize (Kb) 109064

[startup+1090.07 s]
Raw data (loadavg): 1.04 1.00 1.00 2/55 7177
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 47093 0 0 0 108493 254 0 0 25 0 1 0 20951974 111816704 21911 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7122/statm): 27299 21911 364 364 0 26935 0
[pid=7122] vsize: 109196
Current children cumulated CPU time (s) 1087.47
Current children cumulated vsize (Kb) 109196

[startup+1100.08 s]
Raw data (loadavg): 1.04 1.00 1.00 2/55 7177
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 47099 0 0 0 109491 255 0 0 25 0 1 0 20951974 111816704 21917 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7122/statm): 27299 21917 364 364 0 26935 0
[pid=7122] vsize: 109196
Current children cumulated CPU time (s) 1097.46
Current children cumulated vsize (Kb) 109196

[startup+1110.07 s]
Raw data (loadavg): 1.03 1.00 1.00 2/55 7179
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 47475 0 0 0 110486 258 0 0 25 0 1 0 20951974 112087040 21959 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7122/statm): 27365 21959 364 364 0 27001 0
[pid=7122] vsize: 109460
Current children cumulated CPU time (s) 1107.44
Current children cumulated vsize (Kb) 109460

[startup+1120.08 s]
Raw data (loadavg): 1.03 1.00 1.00 2/55 7181
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 47537 0 0 0 111483 260 0 0 25 0 1 0 20951974 112492544 22021 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7122/statm): 27464 22021 364 364 0 27100 0
[pid=7122] vsize: 109856
Current children cumulated CPU time (s) 1117.43
Current children cumulated vsize (Kb) 109856

[startup+1130.08 s]
Raw data (loadavg): 1.02 1.00 1.00 2/55 7183
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 47539 0 0 0 112480 261 0 0 25 0 1 0 20951974 112492544 22023 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7122/statm): 27464 22023 364 364 0 27100 0
[pid=7122] vsize: 109856
Current children cumulated CPU time (s) 1127.41
Current children cumulated vsize (Kb) 109856

[startup+1140.08 s]
Raw data (loadavg): 1.02 1.00 1.00 2/55 7183
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 47541 0 0 0 113476 262 0 0 25 0 1 0 20951974 112492544 22025 4294967295 134512640 135987407 3221224576 3221223056 134778301 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7122/statm): 27464 22025 364 364 0 27100 0
[pid=7122] vsize: 109856
Current children cumulated CPU time (s) 1137.38
Current children cumulated vsize (Kb) 109856

[startup+1150.08 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 7183
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 47877 0 0 0 114472 264 0 0 25 0 1 0 20951974 112492544 22027 4294967295 134512640 135987407 3221224576 3221223120 134788738 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7122/statm): 27464 22027 364 364 0 27100 0
[pid=7122] vsize: 109856
Current children cumulated CPU time (s) 1147.36
Current children cumulated vsize (Kb) 109856

[startup+1160.08 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 7183
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 47878 0 0 0 115468 266 0 0 25 0 1 0 20951974 112492544 22028 4294967295 134512640 135987407 3221224576 3221223216 134812368 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7122/statm): 27464 22028 364 364 0 27100 0
[pid=7122] vsize: 109856
Current children cumulated CPU time (s) 1157.34
Current children cumulated vsize (Kb) 109856

[startup+1170.08 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 7183
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 48214 0 0 0 116464 269 0 0 25 0 1 0 20951974 112492544 22030 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7122/statm): 27464 22030 364 364 0 27100 0
[pid=7122] vsize: 109856
Current children cumulated CPU time (s) 1167.33
Current children cumulated vsize (Kb) 109856

[startup+1180.08 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 7183
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 48215 0 0 0 117463 270 0 0 25 0 1 0 20951974 112492544 22031 4294967295 134512640 135987407 3221224576 3221223120 134812013 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7122/statm): 27464 22031 364 364 0 27100 0
[pid=7122] vsize: 109856
Current children cumulated CPU time (s) 1177.33
Current children cumulated vsize (Kb) 109856

[startup+1190.08 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 7183
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 48551 0 0 0 118459 272 0 0 25 0 1 0 20951974 112492544 22033 4294967295 134512640 135987407 3221224576 3221223120 134812035 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7122/statm): 27464 22033 364 364 0 27100 0
[pid=7122] vsize: 109856
Current children cumulated CPU time (s) 1187.31
Current children cumulated vsize (Kb) 109856

[startup+1200.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7183
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 48553 0 0 0 119456 272 0 0 25 0 1 0 20951974 112492544 22035 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7122/statm): 27464 22035 364 364 0 27100 0
[pid=7122] vsize: 109856
Current children cumulated CPU time (s) 1197.28
Current children cumulated vsize (Kb) 109856

[startup+1210.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7183
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 48891 0 0 0 120451 274 0 0 25 0 1 0 20951974 112492544 22039 4294967295 134512640 135987407 3221224576 3221223216 134812268 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7122/statm): 27464 22039 364 364 0 27100 0
[pid=7122] vsize: 109856
Current children cumulated CPU time (s) 1207.25
Current children cumulated vsize (Kb) 109856



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7183
Raw data (/proc/7122/stat): 7122 (pb2sat) R 7121 7122 4005 0 -1 0 48891 0 0 0 120451 274 0 0 25 0 1 0 20951974 112492544 22039 4294967295 134512640 135987407 3221224576 3221223216 134812268 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7122/statm): 27464 22039 364 364 0 27100 0
[pid=7122] vsize: 109856
Current children cumulated CPU time (s) 1207.25
Current children cumulated vsize (Kb) 109856

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

Child status: 10
Real time (s): 1210.41
CPU time (s): 1207.59
CPU user time (s): 1204.79
CPU system time (s): 2.79657
CPU usage (%): 99.767
Max. virtual memory (cumulated for all children) (Kb): 109856

Verifier Data

Verifier:	OK	207