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-ii32b4.opb
MD5SUMc3974db7e8a7a7dcf1a342d47c14e34f
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 376
Optimality of the best value was proved YES
Number of terms in the objective function 762
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 762
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 762
Number of bits of the biggest sum of numbers10
Best result obtained on this benchmarkOPTIMUM FOUND
Best CPU time to get the best result obtained on this benchmark11.8702
Number of variables762
Total number of constraints7299
Number of constraints which are clauses7299
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint32

Trace number 9606

Launcher Data

LAUNCH ON wulflinc26 THE 2005-09-23 14:37:07 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8347 boxname=wulflinc26 idbench=143 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  c3974db7e8a7a7dcf1a342d47c14e34f  /oldhome/oroussel/tmp/wulflinc26/normalized-ii32b4.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc26/normalized-ii32b4.opb
IDLAUNCH: 8347
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.055
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.055
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:        929060 kB
Buffers:         10556 kB
Cached:          78048 kB
SwapCached:          0 kB
Active:          44420 kB
Inactive:        47056 kB
HighTotal:      131008 kB
HighFree:        49952 kB
LowTotal:       903652 kB
LowFree:        879108 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6972 kB
Slab:             8536 kB
Committed_AS:    63656 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 14:47:35 (client local time) WITH STATUS 30 IN 627.318 SECONDS
stats: 8347 0 627.318 30

Solver Data

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

c Decision: 132107/219088	Time: 157.141/86400
c [startup+310.439 s]  setting bit 8 to 0

c [startup+520.716 s]  setting bit 7 to 0

c [startup+536.205 s]  setting bit 6 to 0

c [startup+547.952 s]  setting bit 5 to 0

c [startup+554.8 s]  setting bit 4 to 0

c [startup+570.305 s]  setting bit 3 to 0

c got solution with objective value: 376
c [startup+572.307 s]  setting bit 2 to 1

c [startup+615.765 s]  setting bit 1 to 0

c [startup+627.479 s]  setting bit 0 to 0
s OPTIMUM FOUND
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 -x673 x674 -x675 x676 x677 -x678 -x679 -x68 x680 -x681 x682 x683 -x684 -x685 x686 x687 -x688 -x689 x69 x690 -x691 x692 -x693 x694 x695 -x696 -x697 x698 -x699 x7 -x70 -x700 x701 -x702 x703 -x704 -x705 x706 -x707 x708 x709 x71 -x710 -x711 x712 -x713 x714 -x715 x716 -x717 x718 x719 -x72 -x720 x721 -x722 -x723 x724 -x725 x726 -x727 x728 x729 x73 -x730 -x731 x732 -x733 x734 -x735 x736 x737 -x738 x739 -x74 -x740 -x741 x742 -x743 x744 -x745 x746 -x747 x748 x749 -x75 -x750 -x751 x752 -x753 x754 x755 -x756 -x757 x758 x759 -x76 -x760 -x761 x762 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/6319/stat): 6319 (pb2sat) R 6318 6319 4005 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 20925688 1527808 2 4294967295 134512640 135987407 3221224576 3221224576 134512928 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 373 2 364 364 0 9 0
[pid=6319] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc26/normalized-ii32b4.opb

[startup+10.0021 s]
Raw data (loadavg): 0.93 0.98 0.99 2/55 6319
Raw data (/proc/6319/stat): 6319 (pb2sat) R 6318 6319 4005 0 -1 0 26843 0 0 0 933 61 0 0 25 0 1 0 20925688 91803648 15761 4294967295 134512640 135987407 3221224576 3221052796 134637002 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 22413 15761 364 364 0 22049 0
[pid=6319] vsize: 89652
Current children cumulated CPU time (s) 9.94
Current children cumulated vsize (Kb) 89652

[startup+20.0028 s]
Raw data (loadavg): 0.94 0.98 0.99 2/55 6319
Raw data (/proc/6319/stat): 6319 (pb2sat) R 6318 6319 4005 0 -1 0 34820 0 0 0 1911 80 0 0 25 0 1 0 20925688 105693184 22558 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 25804 22558 364 364 0 25440 0
[pid=6319] vsize: 103216
Current children cumulated CPU time (s) 19.91
Current children cumulated vsize (Kb) 103216

[startup+30.0024 s]
Raw data (loadavg): 0.95 0.98 0.99 2/55 6319
Raw data (/proc/6319/stat): 6319 (pb2sat) R 6318 6319 4005 0 -1 0 34897 0 0 0 2909 81 0 0 25 0 1 0 20925688 105959424 22635 4294967295 134512640 135987407 3221224576 3221223248 134824720 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 25869 22635 364 364 0 25505 0
[pid=6319] vsize: 103476
Current children cumulated CPU time (s) 29.9
Current children cumulated vsize (Kb) 103476

[startup+40.0031 s]
Raw data (loadavg): 0.95 0.98 0.99 2/55 6319
Raw data (/proc/6319/stat): 6319 (pb2sat) R 6318 6319 4005 0 -1 0 34988 0 0 0 3908 82 0 0 25 0 1 0 20925688 106352640 22693 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 25965 22693 364 364 0 25601 0
[pid=6319] vsize: 103860
Current children cumulated CPU time (s) 39.9
Current children cumulated vsize (Kb) 103860

[startup+50.0038 s]
Raw data (loadavg): 0.96 0.98 0.99 2/55 6319
Raw data (/proc/6319/stat): 6319 (pb2sat) R 6318 6319 4005 0 -1 0 34993 0 0 0 4908 82 0 0 25 0 1 0 20925688 106352640 22698 4294967295 134512640 135987407 3221224576 3221223248 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 25965 22698 364 364 0 25601 0
[pid=6319] vsize: 103860
Current children cumulated CPU time (s) 49.9
Current children cumulated vsize (Kb) 103860

[startup+60.0045 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 6319
Raw data (/proc/6319/stat): 6319 (pb2sat) R 6318 6319 4005 0 -1 0 35001 0 0 0 5906 83 0 0 25 0 1 0 20925688 106352640 22706 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 25965 22706 364 364 0 25601 0
[pid=6319] vsize: 103860
Current children cumulated CPU time (s) 59.89
Current children cumulated vsize (Kb) 103860

[startup+70.0052 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 6319
Raw data (/proc/6319/stat): 6319 (pb2sat) R 6318 6319 4005 0 -1 0 35043 0 0 0 6905 83 0 0 25 0 1 0 20925688 106618880 22748 4294967295 134512640 135987407 3221224576 3221223184 134801247 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 26030 22748 364 364 0 25666 0
[pid=6319] vsize: 104120
Current children cumulated CPU time (s) 69.88
Current children cumulated vsize (Kb) 104120

[startup+80.0049 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 6319
Raw data (/proc/6319/stat): 6319 (pb2sat) R 6318 6319 4005 0 -1 0 35057 0 0 0 7905 83 0 0 25 0 1 0 20925688 106618880 22762 4294967295 134512640 135987407 3221224576 3221223120 134812129 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 26030 22762 364 364 0 25666 0
[pid=6319] vsize: 104120
Current children cumulated CPU time (s) 79.88
Current children cumulated vsize (Kb) 104120

[startup+90.0056 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 6319
Raw data (/proc/6319/stat): 6319 (pb2sat) R 6318 6319 4005 0 -1 0 35172 0 0 0 8904 84 0 0 25 0 1 0 20925688 106881024 22812 4294967295 134512640 135987407 3221224576 3221223296 134812593 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 26094 22812 364 364 0 25730 0
[pid=6319] vsize: 104376
Current children cumulated CPU time (s) 89.88
Current children cumulated vsize (Kb) 104376

[startup+100.006 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 6319
Raw data (/proc/6319/stat): 6319 (pb2sat) R 6318 6319 4005 0 -1 0 35177 0 0 0 9902 84 0 0 25 0 1 0 20925688 106881024 22817 4294967295 134512640 135987407 3221224576 3221223120 134811920 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 26094 22817 364 364 0 25730 0
[pid=6319] vsize: 104376
Current children cumulated CPU time (s) 99.86
Current children cumulated vsize (Kb) 104376

[startup+110.007 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 6319
Raw data (/proc/6319/stat): 6319 (pb2sat) R 6318 6319 4005 0 -1 0 35191 0 0 0 10901 85 0 0 25 0 1 0 20925688 106745856 22798 4294967295 134512640 135987407 3221224576 3221222892 135481615 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 26061 22798 364 364 0 25697 0
[pid=6319] vsize: 104244
Current children cumulated CPU time (s) 109.86
Current children cumulated vsize (Kb) 104244

[startup+120.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6319
Raw data (/proc/6319/stat): 6319 (pb2sat) R 6318 6319 4005 0 -1 0 35196 0 0 0 11900 85 0 0 25 0 1 0 20925688 106745856 22803 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 26061 22803 364 364 0 25697 0
[pid=6319] vsize: 104244
Current children cumulated CPU time (s) 119.85
Current children cumulated vsize (Kb) 104244

[startup+130.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6319
Raw data (/proc/6319/stat): 6319 (pb2sat) R 6318 6319 4005 0 -1 0 35204 0 0 0 12899 85 0 0 25 0 1 0 20925688 106745856 22811 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 26061 22811 364 364 0 25697 0
[pid=6319] vsize: 104244
Current children cumulated CPU time (s) 129.84
Current children cumulated vsize (Kb) 104244

[startup+140.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6319
Raw data (/proc/6319/stat): 6319 (pb2sat) R 6318 6319 4005 0 -1 0 35210 0 0 0 13898 86 0 0 25 0 1 0 20925688 106745856 22817 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 26061 22817 364 364 0 25697 0
[pid=6319] vsize: 104244
Current children cumulated CPU time (s) 139.84
Current children cumulated vsize (Kb) 104244

[startup+150.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6319
Raw data (/proc/6319/stat): 6319 (pb2sat) R 6318 6319 4005 0 -1 0 35219 0 0 0 14897 86 0 0 25 0 1 0 20925688 106745856 22826 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 26061 22826 364 364 0 25697 0
[pid=6319] vsize: 104244
Current children cumulated CPU time (s) 149.83
Current children cumulated vsize (Kb) 104244

[startup+160.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6319
Raw data (/proc/6319/stat): 6319 (pb2sat) R 6318 6319 4005 0 -1 0 35227 0 0 0 15896 86 0 0 25 0 1 0 20925688 106745856 22834 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 26061 22834 364 364 0 25697 0
[pid=6319] vsize: 104244
Current children cumulated CPU time (s) 159.82
Current children cumulated vsize (Kb) 104244

[startup+170.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6319
Raw data (/proc/6319/stat): 6319 (pb2sat) R 6318 6319 4005 0 -1 0 35236 0 0 0 16896 87 0 0 25 0 1 0 20925688 106745856 22843 4294967295 134512640 135987407 3221224576 3221223152 134814464 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 26061 22843 364 364 0 25697 0
[pid=6319] vsize: 104244
Current children cumulated CPU time (s) 169.83
Current children cumulated vsize (Kb) 104244

[startup+180.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6319
Raw data (/proc/6319/stat): 6319 (pb2sat) R 6318 6319 4005 0 -1 0 35675 0 0 0 17893 89 0 0 25 0 1 0 20925688 106942464 22854 4294967295 134512640 135987407 3221224576 3221223120 134811816 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 26109 22854 364 364 0 25745 0
[pid=6319] vsize: 104436
Current children cumulated CPU time (s) 179.82
Current children cumulated vsize (Kb) 104436

[startup+190.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6319
Raw data (/proc/6319/stat): 6319 (pb2sat) R 6318 6319 4005 0 -1 0 35708 0 0 0 18891 90 0 0 25 0 1 0 20925688 106942464 22887 4294967295 134512640 135987407 3221224576 3221223120 134811778 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 26109 22887 364 364 0 25745 0
[pid=6319] vsize: 104436
Current children cumulated CPU time (s) 189.81
Current children cumulated vsize (Kb) 104436

[startup+200.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6319
Raw data (/proc/6319/stat): 6319 (pb2sat) R 6318 6319 4005 0 -1 0 35709 0 0 0 19889 90 0 0 25 0 1 0 20925688 106942464 22888 4294967295 134512640 135987407 3221224576 3221223248 134824504 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 26109 22888 364 364 0 25745 0
[pid=6319] vsize: 104436
Current children cumulated CPU time (s) 199.79
Current children cumulated vsize (Kb) 104436

[startup+210.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6319
Raw data (/proc/6319/stat): 6319 (pb2sat) R 6318 6319 4005 0 -1 0 35710 0 0 0 20888 91 0 0 25 0 1 0 20925688 106942464 22889 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 26109 22889 364 364 0 25745 0
[pid=6319] vsize: 104436
Current children cumulated CPU time (s) 209.79
Current children cumulated vsize (Kb) 104436

[startup+220.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6319
Raw data (/proc/6319/stat): 6319 (pb2sat) R 6318 6319 4005 0 -1 0 35711 0 0 0 21887 91 0 0 25 0 1 0 20925688 106942464 22890 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 26109 22890 364 364 0 25745 0
[pid=6319] vsize: 104436
Current children cumulated CPU time (s) 219.78
Current children cumulated vsize (Kb) 104436

[startup+230.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6319
Raw data (/proc/6319/stat): 6319 (pb2sat) R 6318 6319 4005 0 -1 0 35717 0 0 0 22886 91 0 0 25 0 1 0 20925688 106942464 22896 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 26109 22896 364 364 0 25745 0
[pid=6319] vsize: 104436
Current children cumulated CPU time (s) 229.77
Current children cumulated vsize (Kb) 104436

[startup+240.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6319
Raw data (/proc/6319/stat): 6319 (pb2sat) R 6318 6319 4005 0 -1 0 35723 0 0 0 23885 92 0 0 25 0 1 0 20925688 106942464 22902 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 26109 22902 364 364 0 25745 0
[pid=6319] vsize: 104436
Current children cumulated CPU time (s) 239.77
Current children cumulated vsize (Kb) 104436

[startup+250.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6319
Raw data (/proc/6319/stat): 6319 (pb2sat) R 6318 6319 4005 0 -1 0 35734 0 0 0 24884 92 0 0 25 0 1 0 20925688 107077632 22913 4294967295 134512640 135987407 3221224576 3221223216 134801316 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 26142 22913 364 364 0 25778 0
[pid=6319] vsize: 104568
Current children cumulated CPU time (s) 249.76
Current children cumulated vsize (Kb) 104568

[startup+260.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6319
Raw data (/proc/6319/stat): 6319 (pb2sat) R 6318 6319 4005 0 -1 0 35750 0 0 0 25882 93 0 0 25 0 1 0 20925688 107077632 22929 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 26142 22929 364 364 0 25778 0
[pid=6319] vsize: 104568
Current children cumulated CPU time (s) 259.75
Current children cumulated vsize (Kb) 104568

[startup+270.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6319
Raw data (/proc/6319/stat): 6319 (pb2sat) R 6318 6319 4005 0 -1 0 35763 0 0 0 26881 93 0 0 25 0 1 0 20925688 107077632 22942 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 26142 22942 364 364 0 25778 0
[pid=6319] vsize: 104568
Current children cumulated CPU time (s) 269.74
Current children cumulated vsize (Kb) 104568

[startup+280.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6319
Raw data (/proc/6319/stat): 6319 (pb2sat) R 6318 6319 4005 0 -1 0 35777 0 0 0 27880 94 0 0 25 0 1 0 20925688 107077632 22956 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 26142 22956 364 364 0 25778 0
[pid=6319] vsize: 104568
Current children cumulated CPU time (s) 279.74
Current children cumulated vsize (Kb) 104568

[startup+290.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6319
Raw data (/proc/6319/stat): 6319 (pb2sat) R 6318 6319 4005 0 -1 0 35795 0 0 0 28879 95 0 0 25 0 1 0 20925688 107077632 22974 4294967295 134512640 135987407 3221224576 3221223120 134811765 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 26142 22974 364 364 0 25778 0
[pid=6319] vsize: 104568
Current children cumulated CPU time (s) 289.74
Current children cumulated vsize (Kb) 104568

[startup+300.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6319
Raw data (/proc/6319/stat): 6319 (pb2sat) R 6318 6319 4005 0 -1 0 35820 0 0 0 29878 95 0 0 25 0 1 0 20925688 107077632 22999 4294967295 134512640 135987407 3221224576 3221223120 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 26142 22999 364 364 0 25778 0
[pid=6319] vsize: 104568
Current children cumulated CPU time (s) 299.73
Current children cumulated vsize (Kb) 104568

[startup+310.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6319
Raw data (/proc/6319/stat): 6319 (pb2sat) R 6318 6319 4005 0 -1 0 35869 0 0 0 30877 95 0 0 25 0 1 0 20925688 107077632 23048 4294967295 134512640 135987407 3221224576 3221223248 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 26142 23048 364 364 0 25778 0
[pid=6319] vsize: 104568
Current children cumulated CPU time (s) 309.72
Current children cumulated vsize (Kb) 104568

[startup+320.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6319
Raw data (/proc/6319/stat): 6319 (pb2sat) R 6318 6319 4005 0 -1 0 36559 0 0 0 31875 97 0 0 25 0 1 0 20925688 107974656 23172 4294967295 134512640 135987407 3221224576 3221223248 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 26361 23172 364 364 0 25997 0
[pid=6319] vsize: 105444
Current children cumulated CPU time (s) 319.72
Current children cumulated vsize (Kb) 105444

[startup+330.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6319
Raw data (/proc/6319/stat): 6319 (pb2sat) R 6318 6319 4005 0 -1 0 36580 0 0 0 32874 98 0 0 25 0 1 0 20925688 107974656 23193 4294967295 134512640 135987407 3221224576 3221223248 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 26361 23193 364 364 0 25997 0
[pid=6319] vsize: 105444
Current children cumulated CPU time (s) 329.72
Current children cumulated vsize (Kb) 105444

[startup+340.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6319
Raw data (/proc/6319/stat): 6319 (pb2sat) R 6318 6319 4005 0 -1 0 36670 0 0 0 33872 98 0 0 25 0 1 0 20925688 108503040 23283 4294967295 134512640 135987407 3221224576 3221223264 134812778 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 26490 23283 364 364 0 26126 0
[pid=6319] vsize: 105960
Current children cumulated CPU time (s) 339.7
Current children cumulated vsize (Kb) 105960

[startup+350.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6319
Raw data (/proc/6319/stat): 6319 (pb2sat) R 6318 6319 4005 0 -1 0 36676 0 0 0 34870 99 0 0 25 0 1 0 20925688 108503040 23289 4294967295 134512640 135987407 3221224576 3221223120 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 26490 23289 364 364 0 26126 0
[pid=6319] vsize: 105960
Current children cumulated CPU time (s) 349.69
Current children cumulated vsize (Kb) 105960

[startup+360.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6319
Raw data (/proc/6319/stat): 6319 (pb2sat) R 6318 6319 4005 0 -1 0 36680 0 0 0 35869 99 0 0 25 0 1 0 20925688 108503040 23293 4294967295 134512640 135987407 3221224576 3221223120 134811870 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 26490 23293 364 364 0 26126 0
[pid=6319] vsize: 105960
Current children cumulated CPU time (s) 359.68
Current children cumulated vsize (Kb) 105960

[startup+370.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6319
Raw data (/proc/6319/stat): 6319 (pb2sat) R 6318 6319 4005 0 -1 0 36684 0 0 0 36868 100 0 0 25 0 1 0 20925688 108503040 23297 4294967295 134512640 135987407 3221224576 3221223248 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 26490 23297 364 364 0 26126 0
[pid=6319] vsize: 105960
Current children cumulated CPU time (s) 369.68
Current children cumulated vsize (Kb) 105960

[startup+380.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6319
Raw data (/proc/6319/stat): 6319 (pb2sat) R 6318 6319 4005 0 -1 0 36694 0 0 0 37867 100 0 0 25 0 1 0 20925688 108503040 23307 4294967295 134512640 135987407 3221224576 3221223280 134790060 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 26490 23307 364 364 0 26126 0
[pid=6319] vsize: 105960
Current children cumulated CPU time (s) 379.67
Current children cumulated vsize (Kb) 105960

[startup+390.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6319
Raw data (/proc/6319/stat): 6319 (pb2sat) R 6318 6319 4005 0 -1 0 36697 0 0 0 38866 100 0 0 25 0 1 0 20925688 108503040 23310 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 26490 23310 364 364 0 26126 0
[pid=6319] vsize: 105960
Current children cumulated CPU time (s) 389.66
Current children cumulated vsize (Kb) 105960

[startup+400.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6319
Raw data (/proc/6319/stat): 6319 (pb2sat) R 6318 6319 4005 0 -1 0 36701 0 0 0 39866 101 0 0 25 0 1 0 20925688 108503040 23314 4294967295 134512640 135987407 3221224576 3221223120 134811816 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 26490 23314 364 364 0 26126 0
[pid=6319] vsize: 105960
Current children cumulated CPU time (s) 399.67
Current children cumulated vsize (Kb) 105960

[startup+410.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6319
Raw data (/proc/6319/stat): 6319 (pb2sat) R 6318 6319 4005 0 -1 0 36714 0 0 0 40864 101 0 0 25 0 1 0 20925688 108503040 23327 4294967295 134512640 135987407 3221224576 3221223216 134812278 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 26490 23327 364 364 0 26126 0
[pid=6319] vsize: 105960
Current children cumulated CPU time (s) 409.65
Current children cumulated vsize (Kb) 105960

[startup+420.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6319
Raw data (/proc/6319/stat): 6319 (pb2sat) R 6318 6319 4005 0 -1 0 36721 0 0 0 41864 101 0 0 25 0 1 0 20925688 108503040 23334 4294967295 134512640 135987407 3221224576 3221223248 134824238 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 26490 23334 364 364 0 26126 0
[pid=6319] vsize: 105960
Current children cumulated CPU time (s) 419.65
Current children cumulated vsize (Kb) 105960

[startup+430.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6319
Raw data (/proc/6319/stat): 6319 (pb2sat) R 6318 6319 4005 0 -1 0 36751 0 0 0 42862 102 0 0 25 0 1 0 20925688 108503040 23364 4294967295 134512640 135987407 3221224576 3221223120 134811807 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 26490 23364 364 364 0 26126 0
[pid=6319] vsize: 105960
Current children cumulated CPU time (s) 429.64
Current children cumulated vsize (Kb) 105960

[startup+440.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6319
Raw data (/proc/6319/stat): 6319 (pb2sat) R 6318 6319 4005 0 -1 0 36756 0 0 0 43860 103 0 0 25 0 1 0 20925688 108503040 23369 4294967295 134512640 135987407 3221224576 3221222992 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 26490 23369 364 364 0 26126 0
[pid=6319] vsize: 105960
Current children cumulated CPU time (s) 439.63
Current children cumulated vsize (Kb) 105960

[startup+450.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6319
Raw data (/proc/6319/stat): 6319 (pb2sat) R 6318 6319 4005 0 -1 0 36759 0 0 0 44860 103 0 0 25 0 1 0 20925688 108503040 23372 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 26490 23372 364 364 0 26126 0
[pid=6319] vsize: 105960
Current children cumulated CPU time (s) 449.63
Current children cumulated vsize (Kb) 105960

[startup+460.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6319
Raw data (/proc/6319/stat): 6319 (pb2sat) R 6318 6319 4005 0 -1 0 36775 0 0 0 45858 104 0 0 25 0 1 0 20925688 108503040 23388 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 26490 23388 364 364 0 26126 0
[pid=6319] vsize: 105960
Current children cumulated CPU time (s) 459.62
Current children cumulated vsize (Kb) 105960

[startup+470.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6319
Raw data (/proc/6319/stat): 6319 (pb2sat) R 6318 6319 4005 0 -1 0 36786 0 0 0 46857 105 0 0 25 0 1 0 20925688 108503040 23399 4294967295 134512640 135987407 3221224576 3221223120 134811870 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 26490 23399 364 364 0 26126 0
[pid=6319] vsize: 105960
Current children cumulated CPU time (s) 469.62
Current children cumulated vsize (Kb) 105960

[startup+480.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6319
Raw data (/proc/6319/stat): 6319 (pb2sat) R 6318 6319 4005 0 -1 0 36815 0 0 0 47856 105 0 0 25 0 1 0 20925688 108503040 23428 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 26490 23428 364 364 0 26126 0
[pid=6319] vsize: 105960
Current children cumulated CPU time (s) 479.61
Current children cumulated vsize (Kb) 105960

[startup+490.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6319
Raw data (/proc/6319/stat): 6319 (pb2sat) R 6318 6319 4005 0 -1 0 36821 0 0 0 48854 106 0 0 25 0 1 0 20925688 108503040 23434 4294967295 134512640 135987407 3221224576 3221223248 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 26490 23434 364 364 0 26126 0
[pid=6319] vsize: 105960
Current children cumulated CPU time (s) 489.6
Current children cumulated vsize (Kb) 105960

[startup+500.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6319
Raw data (/proc/6319/stat): 6319 (pb2sat) R 6318 6319 4005 0 -1 0 36827 0 0 0 49853 106 0 0 25 0 1 0 20925688 108503040 23440 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 26490 23440 364 364 0 26126 0
[pid=6319] vsize: 105960
Current children cumulated CPU time (s) 499.59
Current children cumulated vsize (Kb) 105960

[startup+510.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6319
Raw data (/proc/6319/stat): 6319 (pb2sat) R 6318 6319 4005 0 -1 0 36832 0 0 0 50851 107 0 0 25 0 1 0 20925688 108503040 23445 4294967295 134512640 135987407 3221224576 3221223248 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 26490 23445 364 364 0 26126 0
[pid=6319] vsize: 105960
Current children cumulated CPU time (s) 509.58
Current children cumulated vsize (Kb) 105960

[startup+520.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6319
Raw data (/proc/6319/stat): 6319 (pb2sat) R 6318 6319 4005 0 -1 0 36839 0 0 0 51850 107 0 0 25 0 1 0 20925688 108503040 23452 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 26490 23452 364 364 0 26126 0
[pid=6319] vsize: 105960
Current children cumulated CPU time (s) 519.57
Current children cumulated vsize (Kb) 105960

[startup+530.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6319
Raw data (/proc/6319/stat): 6319 (pb2sat) R 6318 6319 4005 0 -1 0 37744 0 0 0 52846 110 0 0 25 0 1 0 20925688 109817856 23668 4294967295 134512640 135987407 3221224576 3221223280 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 26811 23668 364 364 0 26447 0
[pid=6319] vsize: 107244
Current children cumulated CPU time (s) 529.56
Current children cumulated vsize (Kb) 107244

[startup+540.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6319
Raw data (/proc/6319/stat): 6319 (pb2sat) R 6318 6319 4005 0 -1 0 38358 0 0 0 53844 112 0 0 25 0 1 0 20925688 110342144 23725 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 26939 23725 364 364 0 26575 0
[pid=6319] vsize: 107756
Current children cumulated CPU time (s) 539.56
Current children cumulated vsize (Kb) 107756

[startup+550.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6319
Raw data (/proc/6319/stat): 6319 (pb2sat) R 6318 6319 4005 0 -1 0 38839 0 0 0 54841 113 0 0 25 0 1 0 20925688 110342144 23778 4294967295 134512640 135987407 3221224576 3221223120 134812056 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 26939 23778 364 364 0 26575 0
[pid=6319] vsize: 107756
Current children cumulated CPU time (s) 549.54
Current children cumulated vsize (Kb) 107756

[startup+560.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6319
Raw data (/proc/6319/stat): 6319 (pb2sat) R 6318 6319 4005 0 -1 0 39483 0 0 0 55839 115 0 0 25 0 1 0 20925688 110866432 23865 4294967295 134512640 135987407 3221224576 3221223120 134811896 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 27067 23865 364 364 0 26703 0
[pid=6319] vsize: 108268
Current children cumulated CPU time (s) 559.54
Current children cumulated vsize (Kb) 108268

[startup+570.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6319
Raw data (/proc/6319/stat): 6319 (pb2sat) R 6318 6319 4005 0 -1 0 39781 0 0 0 56837 116 0 0 25 0 1 0 20925688 111923200 24098 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 27325 24098 364 364 0 26961 0
[pid=6319] vsize: 109300
Current children cumulated CPU time (s) 569.53
Current children cumulated vsize (Kb) 109300

[startup+580.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6319
Raw data (/proc/6319/stat): 6319 (pb2sat) R 6318 6319 4005 0 -1 0 40974 0 0 0 57832 120 0 0 25 0 1 0 20925688 113319936 24337 4294967295 134512640 135987407 3221224576 3221223248 134824261 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 27666 24337 364 364 0 27302 0
[pid=6319] vsize: 110664
Current children cumulated CPU time (s) 579.52
Current children cumulated vsize (Kb) 110664

[startup+590.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6319
Raw data (/proc/6319/stat): 6319 (pb2sat) R 6318 6319 4005 0 -1 0 42805 0 0 0 58825 125 0 0 25 0 1 0 20925688 119451648 25547 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 29163 25547 364 364 0 28799 0
[pid=6319] vsize: 116652
Current children cumulated CPU time (s) 589.5
Current children cumulated vsize (Kb) 116652

[startup+600.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6319
Raw data (/proc/6319/stat): 6319 (pb2sat) R 6318 6319 4005 0 -1 0 44237 0 0 0 59821 128 0 0 25 0 1 0 20925688 123686912 26259 4294967295 134512640 135987407 3221224576 3221223120 134812028 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 30197 26259 364 364 0 29833 0
[pid=6319] vsize: 120788
Current children cumulated CPU time (s) 599.49
Current children cumulated vsize (Kb) 120788

[startup+610.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6319
Raw data (/proc/6319/stat): 6319 (pb2sat) R 6318 6319 4005 0 -1 0 45948 0 0 0 60813 133 0 0 25 0 1 0 20925688 129220608 27186 4294967295 134512640 135987407 3221224576 3221223252 134812452 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 31548 27186 364 364 0 31184 0
[pid=6319] vsize: 126192
Current children cumulated CPU time (s) 609.46
Current children cumulated vsize (Kb) 126192

[startup+620.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6319
Raw data (/proc/6319/stat): 6319 (pb2sat) R 6318 6319 4005 0 -1 0 46836 0 0 0 61811 135 0 0 25 0 1 0 20925688 130670592 27386 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6319/statm): 31902 27386 364 364 0 31538 0
[pid=6319] vsize: 127608
Current children cumulated CPU time (s) 619.46
Current children cumulated vsize (Kb) 127608
One traced child (pid=6319) exited with status: 30
All traced children have exited ! Game is over.

Child status: 30
Real time (s): 627.884
CPU time (s): 627.318
CPU user time (s): 625.899
CPU system time (s): 1.41878
CPU usage (%): 99.9098
Max. virtual memory (cumulated for all children) (Kb): 127608

Verifier Data

Verifier:	OK	376