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-ii32a1.opb
MD5SUMeb47f4c49e66c2bccec3237bb66dd1b2
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 444
Optimality of the best value was proved YES
Number of terms in the objective function 918
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 918
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 918
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 benchmark9.38057
Number of variables918
Total number of constraints9671
Number of constraints which are clauses9671
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 9719

Launcher Data

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        922420 kB
Buffers:         11516 kB
Cached:          83548 kB
SwapCached:          0 kB
Active:          45092 kB
Inactive:        52864 kB
HighTotal:      131008 kB
HighFree:        47096 kB
LowTotal:       903652 kB
LowFree:        875324 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6976 kB
Slab:             8744 kB
Committed_AS:    63656 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 15:16:10 (client local time) WITH STATUS 30 IN 950.035 SECONDS
stats: 8425 0 950.035 30

Solver Data

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

c Decision: 151391/317642	Time: 684.07/86400
c [startup+768.15 s]  setting bit 8 to 0

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

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

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

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

c got solution with objective value: 450
c [startup+914.888 s]  setting bit 3 to 1

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

c got solution with objective value: 444
c [startup+919.598 s]  setting bit 1 to 1

c [startup+950.238 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 x763 -x764 -x765 x766 -x767 x768 x769 x77 -x770 -x771 x772 -x773 x774 -x775 x776 -x777 x778 x779 -x78 -x780 x781 -x782 -x783 x784 -x785 -x786 x787 -x788 -x789 x79 x790 -x791 x792 x793 -x794 -x795 -x796 -x797 x798 -x799 -x8 -x80 x800 x801 -x802 -x803 x804 -x805 x806 -x807 x808 x809 x81 -x810 x811 -x812 -x813 x814 -x815 x816 -x817 x818 x819 -x82 -x820 -x821 x822 -x823 x824 x825 -x826 -x827 x828 x829 x83 -x830 -x831 x832 -x833 -x834 -x835 x836 x837 -x838 -x839 -x84 x840 x841 -x842 -x843 x844 -x845 x846 x847 -x848 -x849 x85 x850 -x851 x852 -x853 x854 x855 -x856 -x857 x858 -x859 -x86 x860 x861 -x862 -x863 x864 -x865 x866 x867 -x868 -x869 x87 x870 x871 -x872 -x873 x874 -x875 x876 x877 -x878 -x879 -x88 -x880 -x881 x882 -x883 x884 x885 -x886 -x887 x888 -x889 x89 -x890 -x891 x892 x893 -x894 -x895 x896 x897 -x898 -x899 x9 -x90 x900 x901 -x902 -x903 x904 -x905 x906 x907 -x908 -x909 x91 x910 -x911 x912 -x913 x914 x915 -x916 -x917 x918 -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/7466/stat): 7466 (pb2sat) R 7465 7466 4060 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 21098669 1527808 2 4294967295 134512640 135987407 3221224576 3221224576 134512928 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7466/statm): 373 2 364 364 0 9 0
[pid=7466] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc22/normalized-ii32a1.opb

[startup+10.0021 s]
Raw data (loadavg): 0.87 0.95 0.98 2/55 7466
Raw data (/proc/7466/stat): 7466 (pb2sat) R 7465 7466 4060 0 -1 0 29054 0 0 0 929 66 0 0 25 0 1 0 21098669 94720000 17948 4294967295 134512640 135987407 3221224576 3221207520 134855001 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7466/statm): 23125 17948 364 364 0 22761 0
[pid=7466] vsize: 92500
Current children cumulated CPU time (s) 9.95
Current children cumulated vsize (Kb) 92500

[startup+20.0028 s]
Raw data (loadavg): 0.89 0.95 0.98 2/55 7466
Raw data (/proc/7466/stat): 7466 (pb2sat) R 7465 7466 4060 0 -1 0 56203 0 0 0 1862 131 0 0 25 0 1 0 21098669 187658240 33331 4294967295 134512640 135987407 3221224576 3221222968 134827493 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7466/statm): 45815 33331 364 364 0 45451 0
[pid=7466] vsize: 183260
Current children cumulated CPU time (s) 19.93
Current children cumulated vsize (Kb) 183260

[startup+30.0036 s]
Raw data (loadavg): 0.90 0.95 0.98 2/55 7466
Raw data (/proc/7466/stat): 7466 (pb2sat) R 7465 7466 4060 0 -1 0 58822 0 0 0 2852 138 0 0 25 0 1 0 21098669 195653632 34856 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7466/statm): 47767 34856 364 364 0 47403 0
[pid=7466] vsize: 191068
Current children cumulated CPU time (s) 29.9
Current children cumulated vsize (Kb) 191068

[startup+40.0042 s]
Raw data (loadavg): 0.92 0.95 0.98 2/55 7466
Raw data (/proc/7466/stat): 7466 (pb2sat) R 7465 7466 4060 0 -1 0 60019 0 0 0 3847 141 0 0 25 0 1 0 21098669 200003584 35676 4294967295 134512640 135987407 3221224576 3221223248 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7466/statm): 48829 35676 364 364 0 48465 0
[pid=7466] vsize: 195316
Current children cumulated CPU time (s) 39.88
Current children cumulated vsize (Kb) 195316

[startup+50.0049 s]
Raw data (loadavg): 1.00 0.97 0.99 2/55 7468
Raw data (/proc/7466/stat): 7466 (pb2sat) R 7465 7466 4060 0 -1 0 60703 0 0 0 4844 143 0 0 25 0 1 0 21098669 202895360 36164 4294967295 134512640 135987407 3221224576 3221223008 134801596 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7466/statm): 49535 36164 364 364 0 49171 0
[pid=7466] vsize: 198140
Current children cumulated CPU time (s) 49.87
Current children cumulated vsize (Kb) 198140

[startup+60.0057 s]
Raw data (loadavg): 1.00 0.97 0.99 2/55 7470
Raw data (/proc/7466/stat): 7466 (pb2sat) R 7465 7466 4060 0 -1 0 61348 0 0 0 5841 144 0 0 25 0 1 0 21098669 205107200 36580 4294967295 134512640 135987407 3221224576 3221223248 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7466/statm): 50075 36580 364 364 0 49711 0
[pid=7466] vsize: 200300
Current children cumulated CPU time (s) 59.85
Current children cumulated vsize (Kb) 200300

[startup+70.0064 s]
Raw data (loadavg): 1.00 0.97 0.99 2/55 7472
Raw data (/proc/7466/stat): 7466 (pb2sat) R 7465 7466 4060 0 -1 0 61530 0 0 0 6840 145 0 0 25 0 1 0 21098669 205635584 36664 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7466/statm): 50204 36664 364 364 0 49840 0
[pid=7466] vsize: 200816
Current children cumulated CPU time (s) 69.85
Current children cumulated vsize (Kb) 200816

[startup+80.0071 s]
Raw data (loadavg): 1.00 0.97 0.99 2/55 7472
Raw data (/proc/7466/stat): 7466 (pb2sat) R 7465 7466 4060 0 -1 0 62070 0 0 0 7838 146 0 0 25 0 1 0 21098669 207093760 36975 4294967295 134512640 135987407 3221224576 3221223248 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7466/statm): 50560 36975 364 364 0 50196 0
[pid=7466] vsize: 202240
Current children cumulated CPU time (s) 79.84
Current children cumulated vsize (Kb) 202240

[startup+90.0068 s]
Raw data (loadavg): 1.00 0.97 0.99 2/55 7472
Raw data (/proc/7466/stat): 7466 (pb2sat) R 7465 7466 4060 0 -1 0 62654 0 0 0 8836 148 0 0 25 0 1 0 21098669 208941056 37267 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7466/statm): 51011 37267 364 364 0 50647 0
[pid=7466] vsize: 204044
Current children cumulated CPU time (s) 89.84
Current children cumulated vsize (Kb) 204044

[startup+100.006 s]
Raw data (loadavg): 1.00 0.97 0.99 2/55 7472
Raw data (/proc/7466/stat): 7466 (pb2sat) R 7465 7466 4060 0 -1 0 62935 0 0 0 9835 148 0 0 25 0 1 0 21098669 209727488 37354 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7466/statm): 51203 37354 364 364 0 50839 0
[pid=7466] vsize: 204812
Current children cumulated CPU time (s) 99.83
Current children cumulated vsize (Kb) 204812

[startup+110.007 s]
Raw data (loadavg): 1.00 0.97 0.99 2/55 7472
Raw data (/proc/7466/stat): 7466 (pb2sat) R 7465 7466 4060 0 -1 0 63334 0 0 0 10833 150 0 0 25 0 1 0 21098669 210911232 37524 4294967295 134512640 135987407 3221224576 3221223248 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7466/statm): 51492 37524 364 364 0 51128 0
[pid=7466] vsize: 205968
Current children cumulated CPU time (s) 109.83
Current children cumulated vsize (Kb) 205968

[startup+120.008 s]
Raw data (loadavg): 1.00 0.97 0.99 2/55 7472
Raw data (/proc/7466/stat): 7466 (pb2sat) R 7465 7466 4060 0 -1 0 63924 0 0 0 11830 152 0 0 25 0 1 0 21098669 212758528 37820 4294967295 134512640 135987407 3221224576 3221223248 134824224 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7466/statm): 51943 37820 364 364 0 51579 0
[pid=7466] vsize: 207772
Current children cumulated CPU time (s) 119.82
Current children cumulated vsize (Kb) 207772

[startup+130.009 s]
Raw data (loadavg): 1.00 0.97 0.99 2/55 7472
Raw data (/proc/7466/stat): 7466 (pb2sat) R 7465 7466 4060 0 -1 0 64686 0 0 0 12828 153 0 0 25 0 1 0 21098669 214466560 38223 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7466/statm): 52360 38223 364 364 0 51996 0
[pid=7466] vsize: 209440
Current children cumulated CPU time (s) 129.81
Current children cumulated vsize (Kb) 209440

[startup+140.008 s]
Raw data (loadavg): 1.00 0.97 0.99 2/55 7472
Raw data (/proc/7466/stat): 7466 (pb2sat) R 7465 7466 4060 0 -1 0 65004 0 0 0 13826 155 0 0 25 0 1 0 21098669 215531520 38410 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7466/statm): 52620 38410 364 364 0 52256 0
[pid=7466] vsize: 210480
Current children cumulated CPU time (s) 139.81
Current children cumulated vsize (Kb) 210480

[startup+150.008 s]
Raw data (loadavg): 1.00 0.97 0.99 2/55 7472
Raw data (/proc/7466/stat): 7466 (pb2sat) R 7465 7466 4060 0 -1 0 66054 0 0 0 14822 158 0 0 25 0 1 0 21098669 218554368 38810 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7466/statm): 53358 38810 364 364 0 52994 0
[pid=7466] vsize: 213432
Current children cumulated CPU time (s) 149.8
Current children cumulated vsize (Kb) 213432

[startup+160.009 s]
Raw data (loadavg): 1.00 0.97 0.99 2/55 7472
Raw data (/proc/7466/stat): 7466 (pb2sat) R 7465 7466 4060 0 -1 0 66205 0 0 0 15821 158 0 0 25 0 1 0 21098669 218951680 38928 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7466/statm): 53455 38928 364 364 0 53091 0
[pid=7466] vsize: 213820
Current children cumulated CPU time (s) 159.79
Current children cumulated vsize (Kb) 213820

[startup+170.008 s]
Raw data (loadavg): 1.00 0.97 0.99 2/55 7472
Raw data (/proc/7466/stat): 7466 (pb2sat) R 7465 7466 4060 0 -1 0 66499 0 0 0 16819 159 0 0 25 0 1 0 21098669 219738112 39028 4294967295 134512640 135987407 3221224576 3221223248 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7466/statm): 53647 39028 364 364 0 53283 0
[pid=7466] vsize: 214588
Current children cumulated CPU time (s) 169.78
Current children cumulated vsize (Kb) 214588

[startup+180.009 s]
Raw data (loadavg): 1.00 0.97 0.99 2/55 7472
Raw data (/proc/7466/stat): 7466 (pb2sat) R 7465 7466 4060 0 -1 0 66504 0 0 0 17819 159 0 0 25 0 1 0 21098669 219738112 39033 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7466/statm): 53647 39033 364 364 0 53283 0
[pid=7466] vsize: 214588
Current children cumulated CPU time (s) 179.78
Current children cumulated vsize (Kb) 214588

[startup+190.01 s]
Raw data (loadavg): 1.00 0.97 0.99 2/55 7472
Raw data (/proc/7466/stat): 7466 (pb2sat) R 7465 7466 4060 0 -1 0 66895 0 0 0 18817 161 0 0 25 0 1 0 21098669 221057024 39230 4294967295 134512640 135987407 3221224576 3221223120 134812126 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7466/statm): 53969 39230 364 364 0 53605 0
[pid=7466] vsize: 215876
Current children cumulated CPU time (s) 189.78
Current children cumulated vsize (Kb) 215876

[startup+200.01 s]
Raw data (loadavg): 1.00 0.97 0.99 2/55 7472
Raw data (/proc/7466/stat): 7466 (pb2sat) R 7465 7466 4060 0 -1 0 67645 0 0 0 19815 162 0 0 25 0 1 0 21098669 223293440 39558 4294967295 134512640 135987407 3221224576 3221223248 134824256 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7466/statm): 54515 39558 364 364 0 54151 0
[pid=7466] vsize: 218060
Current children cumulated CPU time (s) 199.77
Current children cumulated vsize (Kb) 218060

[startup+210.01 s]
Raw data (loadavg): 1.00 0.97 0.99 2/55 7472
Raw data (/proc/7466/stat): 7466 (pb2sat) R 7465 7466 4060 0 -1 0 67866 0 0 0 20814 163 0 0 25 0 1 0 21098669 223817728 39650 4294967295 134512640 135987407 3221224576 3221223280 134790000 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7466/statm): 54643 39650 364 364 0 54279 0
[pid=7466] vsize: 218572
Current children cumulated CPU time (s) 209.77
Current children cumulated vsize (Kb) 218572

[startup+220.011 s]
Raw data (loadavg): 1.00 0.97 0.99 2/55 7472
Raw data (/proc/7466/stat): 7466 (pb2sat) R 7465 7466 4060 0 -1 0 68060 0 0 0 21813 163 0 0 25 0 1 0 21098669 224346112 39746 4294967295 134512640 135987407 3221224576 3221223248 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7466/statm): 54772 39746 364 364 0 54408 0
[pid=7466] vsize: 219088
Current children cumulated CPU time (s) 219.76
Current children cumulated vsize (Kb) 219088

[startup+230.012 s]
Raw data (loadavg): 1.00 0.97 0.99 2/55 7472
Raw data (/proc/7466/stat): 7466 (pb2sat) R 7465 7466 4060 0 -1 0 68063 0 0 0 22813 164 0 0 25 0 1 0 21098669 224346112 39749 4294967295 134512640 135987407 3221224576 3221223248 134824256 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7466/statm): 54772 39749 364 364 0 54408 0
[pid=7466] vsize: 219088
Current children cumulated CPU time (s) 229.77
Current children cumulated vsize (Kb) 219088

[startup+240.012 s]
Raw data (loadavg): 1.00 0.97 0.99 2/55 7472
Raw data (/proc/7466/stat): 7466 (pb2sat) R 7465 7466 4060 0 -1 0 68570 0 0 0 23810 166 0 0 25 0 1 0 21098669 226209792 40027 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7466/statm): 55227 40027 364 364 0 54863 0
[pid=7466] vsize: 220908
Current children cumulated CPU time (s) 239.76
Current children cumulated vsize (Kb) 220908

[startup+250.012 s]
Raw data (loadavg): 1.00 0.97 0.99 2/55 7472
Raw data (/proc/7466/stat): 7466 (pb2sat) R 7465 7466 4060 0 -1 0 69108 0 0 0 24808 167 0 0 25 0 1 0 21098669 227659776 40271 4294967295 134512640 135987407 3221224576 3221223248 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7466/statm): 55581 40271 364 364 0 55217 0
[pid=7466] vsize: 222324
Current children cumulated CPU time (s) 249.75
Current children cumulated vsize (Kb) 222324

[startup+260.013 s]
Raw data (loadavg): 1.00 0.97 0.99 2/55 7472
Raw data (/proc/7466/stat): 7466 (pb2sat) R 7465 7466 4060 0 -1 0 69462 0 0 0 25806 169 0 0 25 0 1 0 21098669 228855808 40494 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7466/statm): 55873 40494 364 364 0 55509 0
[pid=7466] vsize: 223492
Current children cumulated CPU time (s) 259.75
Current children cumulated vsize (Kb) 223492

[startup+270.013 s]
Raw data (loadavg): 1.00 0.97 0.99 2/55 7472
Raw data (/proc/7466/stat): 7466 (pb2sat) R 7465 7466 4060 0 -1 0 70049 0 0 0 26804 170 0 0 25 0 1 0 21098669 230572032 40786 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7466/statm): 56292 40786 364 364 0 55928 0
[pid=7466] vsize: 225168
Current children cumulated CPU time (s) 269.74
Current children cumulated vsize (Kb) 225168

[startup+280.013 s]
Raw data (loadavg): 1.00 0.97 0.99 2/55 7472
Raw data (/proc/7466/stat): 7466 (pb2sat) R 7465 7466 4060 0 -1 0 70604 0 0 0 27802 171 0 0 25 0 1 0 21098669 232153088 41080 4294967295 134512640 135987407 3221224576 3221223184 134801142 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7466/statm): 56678 41080 364 364 0 56314 0
[pid=7466] vsize: 226712
Current children cumulated CPU time (s) 279.73
Current children cumulated vsize (Kb) 226712

[startup+290.014 s]
Raw data (loadavg): 1.00 0.97 0.99 2/55 7472
Raw data (/proc/7466/stat): 7466 (pb2sat) R 7465 7466 4060 0 -1 0 70989 0 0 0 28799 173 0 0 25 0 1 0 21098669 233205760 41270 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7466/statm): 56935 41270 364 364 0 56571 0
[pid=7466] vsize: 227740
Current children cumulated CPU time (s) 289.72
Current children cumulated vsize (Kb) 227740

[startup+300.014 s]
Raw data (loadavg): 1.00 0.97 0.99 2/55 7474
Raw data (/proc/7466/stat): 7466 (pb2sat) R 7465 7466 4060 0 -1 0 71173 0 0 0 29797 175 0 0 25 0 1 0 21098669 233734144 41389 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7466/statm): 57064 41389 364 364 0 56700 0
[pid=7466] vsize: 228256
Current children cumulated CPU time (s) 299.72
Current children cumulated vsize (Kb) 228256

[startup+310.014 s]
Raw data (loadavg): 1.00 0.97 0.99 2/55 7474
Raw data (/proc/7466/stat): 7466 (pb2sat) R 7465 7466 4060 0 -1 0 71747 0 0 0 30795 176 0 0 25 0 1 0 21098669 235311104 41638 4294967295 134512640 135987407 3221224576 3221223212 134812407 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7466/statm): 57449 41638 364 364 0 57085 0
[pid=7466] vsize: 229796
Current children cumulated CPU time (s) 309.71
Current children cumulated vsize (Kb) 229796

[startup+320.014 s]
Raw data (loadavg): 1.00 0.97 0.99 2/55 7474
Raw data (/proc/7466/stat): 7466 (pb2sat) R 7465 7466 4060 0 -1 0 71751 0 0 0 31795 177 0 0 25 0 1 0 21098669 235311104 41642 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7466/statm): 57449 41642 364 364 0 57085 0
[pid=7466] vsize: 229796
Current children cumulated CPU time (s) 319.72
Current children cumulated vsize (Kb) 229796

[startup+330.015 s]
Raw data (loadavg): 1.00 0.97 0.99 2/55 7474
Raw data (/proc/7466/stat): 7466 (pb2sat) R 7465 7466 4060 0 -1 0 71867 0 0 0 32794 177 0 0 25 0 1 0 21098669 235573248 41693 4294967295 134512640 135987407 3221224576 3221223248 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7466/statm): 57513 41693 364 364 0 57149 0
[pid=7466] vsize: 230052
Current children cumulated CPU time (s) 329.71
Current children cumulated vsize (Kb) 230052

[startup+340.016 s]
Raw data (loadavg): 1.00 0.97 0.99 2/55 7474
Raw data (/proc/7466/stat): 7466 (pb2sat) R 7465 7466 4060 0 -1 0 71885 0 0 0 33793 178 0 0 25 0 1 0 21098669 235573248 41711 4294967295 134512640 135987407 3221224576 3221223184 134801245 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7466/statm): 57513 41711 364 364 0 57149 0
[pid=7466] vsize: 230052
Current children cumulated CPU time (s) 339.71
Current children cumulated vsize (Kb) 230052

[startup+350.015 s]
Raw data (loadavg): 1.00 0.97 0.99 2/55 7474
Raw data (/proc/7466/stat): 7466 (pb2sat) R 7465 7466 4060 0 -1 0 72156 0 0 0 34790 179 0 0 25 0 1 0 21098669 236228608 41819 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7466/statm): 57673 41819 364 364 0 57309 0
[pid=7466] vsize: 230692
Current children cumulated CPU time (s) 349.69
Current children cumulated vsize (Kb) 230692

[startup+360.016 s]
Raw data (loadavg): 1.00 0.97 0.99 2/55 7474
Raw data (/proc/7466/stat): 7466 (pb2sat) R 7465 7466 4060 0 -1 0 72411 0 0 0 35789 180 0 0 25 0 1 0 21098669 237019136 41944 4294967295 134512640 135987407 3221224576 3221223248 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7466/statm): 57866 41944 364 364 0 57502 0
[pid=7466] vsize: 231464
Current children cumulated CPU time (s) 359.69
Current children cumulated vsize (Kb) 231464

[startup+370.016 s]
Raw data (loadavg): 1.00 0.97 0.99 2/55 7474
Raw data (/proc/7466/stat): 7466 (pb2sat) R 7465 7466 4060 0 -1 0 72438 0 0 0 36788 180 0 0 25 0 1 0 21098669 237019136 41971 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7466/statm): 57866 41971 364 364 0 57502 0
[pid=7466] vsize: 231464
Current children cumulated CPU time (s) 369.68
Current children cumulated vsize (Kb) 231464

[startup+380.016 s]
Raw data (loadavg): 1.00 0.97 0.99 2/55 7474
Raw data (/proc/7466/stat): 7466 (pb2sat) R 7465 7466 4060 0 -1 0 72463 0 0 0 37788 180 0 0 25 0 1 0 21098669 237019136 41996 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7466/statm): 57866 41996 364 364 0 57502 0
[pid=7466] vsize: 231464
Current children cumulated CPU time (s) 379.68
Current children cumulated vsize (Kb) 231464

[startup+390.017 s]
Raw data (loadavg): 1.00 0.97 0.99 2/55 7474
Raw data (/proc/7466/stat): 7466 (pb2sat) R 7465 7466 4060 0 -1 0 72467 0 0 0 38788 180 0 0 25 0 1 0 21098669 237019136 42000 4294967295 134512640 135987407 3221224576 3221223120 134811822 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7466/statm): 57866 42000 364 364 0 57502 0
[pid=7466] vsize: 231464
Current children cumulated CPU time (s) 389.68
Current children cumulated vsize (Kb) 231464

[startup+400.017 s]
Raw data (loadavg): 1.00 0.97 0.99 2/55 7474
Raw data (/proc/7466/stat): 7466 (pb2sat) R 7465 7466 4060 0 -1 0 72476 0 0 0 39786 181 0 0 25 0 1 0 21098669 237019136 42009 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7466/statm): 57866 42009 364 364 0 57502 0
[pid=7466] vsize: 231464
Current children cumulated CPU time (s) 399.67
Current children cumulated vsize (Kb) 231464

[startup+410.018 s]
Raw data (loadavg): 1.00 0.97 0.99 2/55 7474
Raw data (/proc/7466/stat): 7466 (pb2sat) R 7465 7466 4060 0 -1 0 72621 0 0 0 40783 183 0 0 25 0 1 0 21098669 237551616 42121 4294967295 134512640 135987407 3221224576 3221223120 134812112 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7466/statm): 57996 42121 364 364 0 57632 0
[pid=7466] vsize: 231984
Current children cumulated CPU time (s) 409.66
Current children cumulated vsize (Kb) 231984

[startup+420.017 s]
Raw data (loadavg): 1.00 0.97 0.99 2/55 7474
Raw data (/proc/7466/stat): 7466 (pb2sat) R 7465 7466 4060 0 -1 0 72655 0 0 0 41783 183 0 0 25 0 1 0 21098669 237551616 42155 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7466/statm): 57996 42155 364 364 0 57632 0
[pid=7466] vsize: 231984
Current children cumulated CPU time (s) 419.66
Current children cumulated vsize (Kb) 231984

[startup+430.018 s]
Raw data (loadavg): 1.00 0.97 0.99 2/55 7474
Raw data (/proc/7466/stat): 7466 (pb2sat) R 7465 7466 4060 0 -1 0 72856 0 0 0 42781 183 0 0 25 0 1 0 21098669 238080000 42258 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7466/statm): 58125 42258 364 364 0 57761 0
[pid=7466] vsize: 232500
Current children cumulated CPU time (s) 429.64
Current children cumulated vsize (Kb) 232500

[startup+440.018 s]
Raw data (loadavg): 1.00 0.97 0.99 2/55 7474
Raw data (/proc/7466/stat): 7466 (pb2sat) R 7465 7466 4060 0 -1 0 73091 0 0 0 43780 184 0 0 25 0 1 0 21098669 238739456 42362 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7466/statm): 58286 42362 364 364 0 57922 0
[pid=7466] vsize: 233144
Current children cumulated CPU time (s) 439.64
Current children cumulated vsize (Kb) 233144

[startup+450.017 s]
Raw data (loadavg): 1.00 0.97 0.99 2/55 7474
Raw data (/proc/7466/stat): 7466 (pb2sat) R 7465 7466 4060 0 -1 0 73362 0 0 0 44778 185 0 0 25 0 1 0 21098669 239394816 42470 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7466/statm): 58446 42470 364 364 0 58082 0
[pid=7466] vsize: 233784
Current children cumulated CPU time (s) 449.63
Current children cumulated vsize (Kb) 233784

[startup+460.018 s]
Raw data (loadavg): 1.00 0.97 0.99 2/55 7474
Raw data (/proc/7466/stat): 7466 (pb2sat) R 7465 7466 4060 0 -1 0 73912 0 0 0 45776 187 0 0 25 0 1 0 21098669 240709632 42696 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7466/statm): 58767 42696 364 364 0 58403 0
[pid=7466] vsize: 235068
Current children cumulated CPU time (s) 459.63
Current children cumulated vsize (Kb) 235068

[startup+470.018 s]
Raw data (loadavg): 1.00 0.97 0.99 2/55 7474
Raw data (/proc/7466/stat): 7466 (pb2sat) R 7465 7466 4060 0 -1 0 73996 0 0 0 46775 188 0 0 25 0 1 0 21098669 240840704 42747 4294967295 134512640 135987407 3221224576 3221223120 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7466/statm): 58799 42747 364 364 0 58435 0
[pid=7466] vsize: 235196
Current children cumulated CPU time (s) 469.63
Current children cumulated vsize (Kb) 235196

[startup+480.019 s]
Raw data (loadavg): 1.00 0.97 0.99 2/55 7474
Raw data (/proc/7466/stat): 7466 (pb2sat) R 7465 7466 4060 0 -1 0 74015 0 0 0 47775 188 0 0 25 0 1 0 21098669 240840704 42766 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7466/statm): 58799 42766 364 364 0 58435 0
[pid=7466] vsize: 235196
Current children cumulated CPU time (s) 479.63
Current children cumulated vsize (Kb) 235196

[startup+490.018 s]
Raw data (loadavg): 1.00 0.97 0.99 2/55 7474
Raw data (/proc/7466/stat): 7466 (pb2sat) R 7465 7466 4060 0 -1 0 74363 0 0 0 48772 189 0 0 25 0 1 0 21098669 241893376 42920 4294967295 134512640 135987407 3221224576 3221223248 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7466/statm): 59056 42920 364 364 0 58692 0
[pid=7466] vsize: 236224
Current children cumulated CPU time (s) 489.61
Current children cumulated vsize (Kb) 236224

[startup+500.018 s]
Raw data (loadavg): 1.00 0.97 0.99 2/55 7474
Raw data (/proc/7466/stat): 7466 (pb2sat) R 7465 7466 4060 0 -1 0 75194 0 0 0 49769 191 0 0 25 0 1 0 21098669 244121600 43201 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7466/statm): 59600 43201 364 364 0 59236 0
[pid=7466] vsize: 238400
Current children cumulated CPU time (s) 499.6
Current children cumulated vsize (Kb) 238400

[startup+510.019 s]
Raw data (loadavg): 1.00 0.97 0.99 2/55 7474
Raw data (/proc/7466/stat): 7466 (pb2sat) R 7465 7466 4060 0 -1 0 75305 0 0 0 50768 192 0 0 25 0 1 0 21098669 244383744 43247 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7466/statm): 59664 43247 364 364 0 59300 0
[pid=7466] vsize: 238656
Current children cumulated CPU time (s) 509.6
Current children cumulated vsize (Kb) 238656

[startup+520.019 s]
Raw data (loadavg): 1.00 0.97 0.99 2/55 7474
Raw data (/proc/7466/stat): 7466 (pb2sat) R 7465 7466 4060 0 -1 0 75310 0 0 0 51767 192 0 0 25 0 1 0 21098669 244383744 43252 4294967295 134512640 135987407 3221224576 3221223120 134812021 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7466/statm): 59664 43252 364 364 0 59300 0
[pid=7466] vsize: 238656
Current children cumulated CPU time (s) 519.59
Current children cumulated vsize (Kb) 238656

[startup+530.02 s]
Raw data (loadavg): 1.00 0.97 0.99 2/55 7474
Raw data (/proc/7466/stat): 7466 (pb2sat) R 7465 7466 4060 0 -1 0 75315 0 0 0 52766 193 0 0 25 0 1 0 21098669 244383744 43257 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7466/statm): 59664 43257 364 364 0 59300 0
[pid=7466] vsize: 238656
Current children cumulated CPU time (s) 529.59
Current children cumulated vsize (Kb) 238656

[startup+540.021 s]
Raw data (loadavg): 1.00 0.97 0.99 2/55 7474
Raw data (/proc/7466/stat): 7466 (pb2sat) R 7465 7466 4060 0 -1 0 75474 0 0 0 53765 194 0 0 25 0 1 0 21098669 244908032 43287 4294967295 134512640 135987407 3221224576 3221223216 134812346 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7466/statm): 59792 43287 364 364 0 59428 0
[pid=7466] vsize: 239168
Current children cumulated CPU time (s) 539.59
Current children cumulated vsize (Kb) 239168

[startup+550.02 s]
Raw data (loadavg): 1.00 0.97 0.99 2/55 7474
Raw data (/proc/7466/stat): 7466 (pb2sat) R 7465 7466 4060 0 -1 0 76010 0 0 0 54763 195 0 0 25 0 1 0 21098669 246353920 43531 4294967295 134512640 135987407 3221224576 3221223248 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7466/statm): 60145 43531 364 364 0 59781 0
[pid=7466] vsize: 240580
Current children cumulated CPU time (s) 549.58
Current children cumulated vsize (Kb) 240580

[startup+560.021 s]
Raw data (loadavg): 1.00 0.97 0.99 2/55 7474
Raw data (/proc/7466/stat): 7466 (pb2sat) R 7465 7466 4060 0 -1 0 76013 0 0 0 55763 195 0 0 25 0 1 0 21098669 246353920 43534 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7466/statm): 60145 43534 364 364 0 59781 0
[pid=7466] vsize: 240580
Current children cumulated CPU time (s) 559.58
Current children cumulated vsize (Kb) 240580

[startup+570.021 s]
Raw data (loadavg): 1.00 0.97 0.99 2/55 7474
Raw data (/proc/7466/stat): 7466 (pb2sat) R 7465 7466 4060 0 -1 0 76018 0 0 0 56762 196 0 0 25 0 1 0 21098669 246353920 43539 4294967295 134512640 135987407 3221224576 3221223296 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7466/statm): 60145 43539 364 364 0 59781 0
[pid=7466] vsize: 240580
Current children cumulated CPU time (s) 569.58
Current children cumulated vsize (Kb) 240580

[startup+580.021 s]
Raw data (loadavg): 1.00 0.97 0.99 2/55 7474
Raw data (/proc/7466/stat): 7466 (pb2sat) R 7465 7466 4060 0 -1 0 76159 0 0 0 57759 197 0 0 25 0 1 0 21098669 246882304 43615 4294967295 134512640 135987407 3221224576 3221223120 134811888 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7466/statm): 60274 43615 364 364 0 59910 0
[pid=7466] vsize: 241096
Current children cumulated CPU time (s) 579.56
Current children cumulated vsize (Kb) 241096

[startup+590.021 s]
Raw data (loadavg): 1.00 0.97 0.99 2/55 7474
Raw data (/proc/7466/stat): 7466 (pb2sat) R 7465 7466 4060 0 -1 0 76322 0 0 0 58757 198 0 0 25 0 1 0 21098669 247144448 43713 4294967295 134512640 135987407 3221224576 3221223120 134811992 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7466/statm): 60338 43713 364 364 0 59974 0
[pid=7466] vsize: 241352
Current children cumulated CPU time (s) 589.55
Current children cumulated vsize (Kb) 241352

[startup+600.021 s]
Raw data (loadavg): 1.00 0.97 0.99 2/55 7474
Raw data (/proc/7466/stat): 7466 (pb2sat) R 7465 7466 4060 0 -1 0 76504 0 0 0 59756 199 0 0 25 0 1 0 21098669 247406592 43830 4294967295 134512640 135987407 3221224576 3221223248 134824238 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7466/statm): 60402 43830 364 364 0 60038 0
[pid=7466] vsize: 241608
Current children cumulated CPU time (s) 599.55
Current children cumulated vsize (Kb) 241608

[startup+610.022 s]
Raw data (loadavg): 1.00 0.97 0.99 2/55 7474
Raw data (/proc/7466/stat): 7466 (pb2sat) R 7465 7466 4060 0 -1 0 76931 0 0 0 60754 200 0 0 25 0 1 0 21098669 248324096 44029 4294967295 134512640 135987407 3221224576 3221223248 134824250 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7466/statm): 60626 44029 364 364 0 60262 0
[pid=7466] vsize: 242504
Current children cumulated CPU time (s) 609.54
Current children cumulated vsize (Kb) 242504

[startup+620.022 s]
Raw data (loadavg): 1.00 0.97 0.99 2/55 7474
Raw data (/proc/7466/stat): 7466 (pb2sat) R 7465 7466 4060 0 -1 0 76968 0 0 0 61752 201 0 0 25 0 1 0 21098669 248324096 44066 4294967295 134512640 135987407 3221224576 3221223248 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7466/statm): 60626 44066 364 364 0 60262 0
[pid=7466] vsize: 242504
Current children cumulated CPU time (s) 619.53
Current children cumulated vsize (Kb) 242504

[startup+630.022 s]
Raw data (loadavg): 1.00 0.97 0.99 2/55 7474
Raw data (/proc/7466/stat): 7466 (pb2sat) R 7465 7466 4060 0 -1 0 77000 0 0 0 62751 201 0 0 25 0 1 0 21098669 248324096 44098 4294967295 134512640 135987407 3221224576 3221223248 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7466/statm): 60626 44098 364 364 0 60262 0
[pid=7466] vsize: 242504
Current children cumulated CPU time (s) 629.52
Current children cumulated vsize (Kb) 242504

[startup+640.023 s]
Raw data (loadavg): 1.00 0.97 0.99 2/55 7474
Raw data (/proc/7466/stat): 7466 (pb2sat) R 7465 7466 4060 0 -1 0 77161 0 0 0 63751 201 0 0 25 0 1 0 21098669 248848384 44130 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7466/statm): 60754 44130 364 364 0 60390 0
[pid=7466] vsize: 243016
Current children cumulated CPU time (s) 639.52
Current children cumulated vsize (Kb) 243016

[startup+650.023 s]
Raw data (loadavg): 1.00 0.97 0.99 2/55 7474
Raw data (/proc/7466/stat): 7466 (pb2sat) R 7465 7466 4060 0 -1 0 77236 0 0 0 64748 202 0 0 25 0 1 0 21098669 249114624 44205 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7466/statm): 60819 44205 364 364 0 60455 0
[pid=7466] vsize: 243276
Current children cumulated CPU time (s) 649.5
Current children cumulated vsize (Kb) 243276

[startup+660.023 s]
Raw data (loadavg): 1.00 0.97 0.99 2/55 7474
Raw data (/proc/7466/stat): 7466 (pb2sat) R 7465 7466 4060 0 -1 0 77491 0 0 0 65745 204 0 0 25 0 1 0 21098669 249839616 44362 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7466/statm): 60996 44362 364 364 0 60632 0
[pid=7466] vsize: 243984
Current children cumulated CPU time (s) 659.49
Current children cumulated vsize (Kb) 243984

[startup+670.023 s]
Raw data (loadavg): 1.00 0.97 0.99 2/55 7474
Raw data (/proc/7466/stat): 7466 (pb2sat) R 7465 7466 4060 0 -1 0 77693 0 0 0 66742 206 0 0 25 0 1 0 21098669 250232832 44466 4294967295 134512640 135987407 3221224576 3221223120 134811852 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7466/statm): 61092 44466 364 364 0 60728 0
[pid=7466] vsize: 244368
Current children cumulated CPU time (s) 669.48
Current children cumulated vsize (Kb) 244368

[startup+680.023 s]
Raw data (loadavg): 1.00 0.97 0.99 2/55 7474
Raw data (/proc/7466/stat): 7466 (pb2sat) R 7465 7466 4060 0 -1 0 77716 0 0 0 67740 206 0 0 25 0 1 0 21098669 250232832 44489 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7466/statm): 61092 44489 364 364 0 60728 0
[pid=7466] vsize: 244368
Current children cumulated CPU time (s) 679.46
Current children cumulated vsize (Kb) 244368

[startup+690.022 s]
Raw data (loadavg): 1.00 0.97 0.99 2/55 7474
Raw data (/proc/7466/stat): 7466 (pb2sat) R 7465 7466 4060 0 -1 0 77721 0 0 0 68739 207 0 0 25 0 1 0 21098669 250232832 44494 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7466/statm): 61092 44494 364 364 0 60728 0
[pid=7466] vsize: 244368
Current children cumulated CPU time (s) 689.46
Current children cumulated vsize (Kb) 244368

[startup+700.022 s]
Raw data (loadavg): 1.00 0.97 0.99 2/55 7474
Raw data (/proc/7466/stat): 7466 (pb2sat) R 7465 7466 4060 0 -1 0 77859 0 0 0 69736 207 0 0 25 0 1 0 21098669 250761216 44567 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7466/statm): 61221 44567 364 364 0 60857 0
[pid=7466] vsize: 244884
Current children cumulated CPU time (s) 699.43
Current children cumulated vsize (Kb) 244884

[startup+710.023 s]
Raw data (loadavg): 1.00 0.97 0.99 2/55 7474
Raw data (/proc/7466/stat): 7466 (pb2sat) R 7465 7466 4060 0 -1 0 78748 0 0 0 70733 210 0 0 25 0 1 0 21098669 251822080 44737 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7466/statm): 61480 44737 364 364 0 61116 0
[pid=7466] vsize: 245920
Current children cumulated CPU time (s) 709.43
Current children cumulated vsize (Kb) 245920

[startup+720.024 s]
Raw data (loadavg): 1.00 0.97 0.99 2/55 7474
Raw data (/proc/7466/stat): 7466 (pb2sat) R 7465 7466 4060 0 -1 0 78953 0 0 0 71732 211 0 0 25 0 1 0 21098669 252350464 44877 4294967295 134512640 135987407 3221224576 3221223216 134812278 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7466/statm): 61609 44877 364 364 0 61245 0
[pid=7466] vsize: 246436
Current children cumulated CPU time (s) 719.43
Current children cumulated vsize (Kb) 246436

[startup+730.023 s]
Raw data (loadavg): 1.00 0.97 0.99 2/55 7474
Raw data (/proc/7466/stat): 7466 (pb2sat) R 7465 7466 4060 0 -1 0 79068 0 0 0 72731 211 0 0 25 0 1 0 21098669 252612608 44927 4294967295 134512640 135987407 3221224576 3221223120 134811741 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7466/statm): 61673 44927 364 364 0 61309 0
[pid=7466] vsize: 246692
Current children cumulated CPU time (s) 729.42
Current children cumulated vsize (Kb) 246692

[startup+740.024 s]
Raw data (loadavg): 1.00 0.97 0.99 2/55 7474
Raw data (/proc/7466/stat): 7466 (pb2sat) R 7465 7466 4060 0 -1 0 79119 0 0 0 73730 211 0 0 25 0 1 0 21098669 252612608 44978 4294967295 134512640 135987407 3221224576 3221223120 134811873 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7466/statm): 61673 44978 364 364 0 61309 0
[pid=7466] vsize: 246692
Current children cumulated CPU time (s) 739.41
Current children cumulated vsize (Kb) 246692

[startup+750.024 s]
Raw data (loadavg): 1.00 0.97 0.99 2/55 7474
Raw data (/proc/7466/stat): 7466 (pb2sat) R 7465 7466 4060 0 -1 0 79125 0 0 0 74729 212 0 0 25 0 1 0 21098669 252612608 44984 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7466/statm): 61673 44984 364 364 0 61309 0
[pid=7466] vsize: 246692
Current children cumulated CPU time (s) 749.41
Current children cumulated vsize (Kb) 246692

[startup+760.024 s]
Raw data (loadavg): 1.00 0.97 0.99 2/55 7474
Raw data (/proc/7466/stat): 7466 (pb2sat) R 7465 7466 4060 0 -1 0 79275 0 0 0 75727 213 0 0 25 0 1 0 21098669 253136896 45005 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7466/statm): 61801 45005 364 364 0 61437 0
[pid=7466] vsize: 247204
Current children cumulated CPU time (s) 759.4
Current children cumulated vsize (Kb) 247204

[startup+770.025 s]
Raw data (loadavg): 1.00 0.97 0.99 2/55 7474
Raw data (/proc/7466/stat): 7466 (pb2sat) R 7465 7466 4060 0 -1 0 80268 0 0 0 76724 215 0 0 25 0 1 0 21098669 254185472 45120 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7466/statm): 62057 45120 364 364 0 61693 0
[pid=7466] vsize: 248228
Current children cumulated CPU time (s) 769.39
Current children cumulated vsize (Kb) 248228

[startup+780.025 s]
Raw data (loadavg): 1.00 0.97 0.99 2/55 7474
Raw data (/proc/7466/stat): 7466 (pb2sat) R 7465 7466 4060 0 -1 0 80690 0 0 0 77722 217 0 0 25 0 1 0 21098669 255234048 45284 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7466/statm): 62313 45284 364 364 0 61949 0
[pid=7466] vsize: 249252
Current children cumulated CPU time (s) 779.39
Current children cumulated vsize (Kb) 249252

[startup+790.025 s]
Raw data (loadavg): 1.00 0.97 0.99 2/55 7474
Raw data (/proc/7466/stat): 7466 (pb2sat) R 7465 7466 4060 0 -1 0 80691 0 0 0 78721 217 0 0 25 0 1 0 21098669 255234048 45285 4294967295 134512640 135987407 3221224576 3221223296 134812650 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7466/statm): 62313 45285 364 364 0 61949 0
[pid=7466] vsize: 249252
Current children cumulated CPU time (s) 789.38
Current children cumulated vsize (Kb) 249252

[startup+800.026 s]
Raw data (loadavg): 1.00 0.97 0.99 2/55 7474
Raw data (/proc/7466/stat): 7466 (pb2sat) R 7465 7466 4060 0 -1 0 80692 0 0 0 79720 218 0 0 25 0 1 0 21098669 255234048 45286 4294967295 134512640 135987407 3221224576 3221222992 134788457 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7466/statm): 62313 45286 364 364 0 61949 0
[pid=7466] vsize: 249252
Current children cumulated CPU time (s) 799.38
Current children cumulated vsize (Kb) 249252

[startup+810.027 s]
Raw data (loadavg): 1.00 0.97 0.99 2/55 7474
Raw data (/proc/7466/stat): 7466 (pb2sat) R 7465 7466 4060 0 -1 0 80698 0 0 0 80719 218 0 0 25 0 1 0 21098669 255234048 45292 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7466/statm): 62313 45292 364 364 0 61949 0
[pid=7466] vsize: 249252
Current children cumulated CPU time (s) 809.37
Current children cumulated vsize (Kb) 249252

[startup+820.028 s]
Raw data (loadavg): 1.00 0.97 0.99 2/55 7474
Raw data (/proc/7466/stat): 7466 (pb2sat) R 7465 7466 4060 0 -1 0 80699 0 0 0 81718 219 0 0 25 0 1 0 21098669 255234048 45293 4294967295 134512640 135987407 3221224576 3221223120 134811778 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7466/statm): 62313 45293 364 364 0 61949 0
[pid=7466] vsize: 249252
Current children cumulated CPU time (s) 819.37
Current children cumulated vsize (Kb) 249252

[startup+830.027 s]
Raw data (loadavg): 1.00 0.97 0.99 2/55 7474
Raw data (/proc/7466/stat): 7466 (pb2sat) R 7465 7466 4060 0 -1 0 80700 0 0 0 82717 219 0 0 25 0 1 0 21098669 255234048 45294 4294967295 134512640 135987407 3221224576 3221223120 134811937 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7466/statm): 62313 45294 364 364 0 61949 0
[pid=7466] vsize: 249252
Current children cumulated CPU time (s) 829.36
Current children cumulated vsize (Kb) 249252

[startup+840.028 s]
Raw data (loadavg): 1.00 0.97 0.99 2/55 7474
Raw data (/proc/7466/stat): 7466 (pb2sat) R 7465 7466 4060 0 -1 0 81343 0 0 0 83714 221 0 0 25 0 1 0 21098669 255234048 45316 4294967295 134512640 135987407 3221224576 3221223120 134811870 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7466/statm): 62313 45316 364 364 0 61949 0
[pid=7466] vsize: 249252
Current children cumulated CPU time (s) 839.35
Current children cumulated vsize (Kb) 249252

[startup+850.028 s]
Raw data (loadavg): 1.00 0.97 0.99 2/55 7474
Raw data (/proc/7466/stat): 7466 (pb2sat) R 7465 7466 4060 0 -1 0 81429 0 0 0 84711 222 0 0 25 0 1 0 21098669 255234048 45402 4294967295 134512640 135987407 3221224576 3221223120 134811807 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7466/statm): 62313 45402 364 364 0 61949 0
[pid=7466] vsize: 249252
Current children cumulated CPU time (s) 849.33
Current children cumulated vsize (Kb) 249252

[startup+860.029 s]
Raw data (loadavg): 1.00 0.97 0.99 2/55 7474
Raw data (/proc/7466/stat): 7466 (pb2sat) R 7465 7466 4060 0 -1 0 81432 0 0 0 85710 223 0 0 25 0 1 0 21098669 255234048 45405 4294967295 134512640 135987407 3221224576 3221223120 134811807 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7466/statm): 62313 45405 364 364 0 61949 0
[pid=7466] vsize: 249252
Current children cumulated CPU time (s) 859.33
Current children cumulated vsize (Kb) 249252

[startup+870.028 s]
Raw data (loadavg): 1.00 0.97 0.99 2/55 7474
Raw data (/proc/7466/stat): 7466 (pb2sat) R 7465 7466 4060 0 -1 0 81438 0 0 0 86709 223 0 0 25 0 1 0 21098669 255234048 45411 4294967295 134512640 135987407 3221224576 3221223120 134811778 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7466/statm): 62313 45411 364 364 0 61949 0
[pid=7466] vsize: 249252
Current children cumulated CPU time (s) 869.32
Current children cumulated vsize (Kb) 249252

[startup+880.028 s]
Raw data (loadavg): 1.00 0.97 0.99 2/55 7474
Raw data (/proc/7466/stat): 7466 (pb2sat) R 7465 7466 4060 0 -1 0 82978 0 0 0 87704 228 0 0 25 0 1 0 21098669 256282624 45452 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7466/statm): 62569 45452 364 364 0 62205 0
[pid=7466] vsize: 250276
Current children cumulated CPU time (s) 879.32
Current children cumulated vsize (Kb) 250276

[startup+890.029 s]
Raw data (loadavg): 1.00 0.97 0.99 2/55 7474
Raw data (/proc/7466/stat): 7466 (pb2sat) R 7465 7466 4060 0 -1 0 83178 0 0 0 88700 230 0 0 25 0 1 0 21098669 256806912 45522 4294967295 134512640 135987407 3221224576 3221223248 134824261 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7466/statm): 62697 45522 364 364 0 62333 0
[pid=7466] vsize: 250788
Current children cumulated CPU time (s) 889.3
Current children cumulated vsize (Kb) 250788

[startup+900.029 s]
Raw data (loadavg): 1.00 0.97 0.99 2/55 7474
Raw data (/proc/7466/stat): 7466 (pb2sat) R 7465 7466 4060 0 -1 0 83182 0 0 0 89698 231 0 0 25 0 1 0 21098669 256806912 45526 4294967295 134512640 135987407 3221224576 3221223248 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7466/statm): 62697 45526 364 364 0 62333 0
[pid=7466] vsize: 250788
Current children cumulated CPU time (s) 899.29
Current children cumulated vsize (Kb) 250788

[startup+910.03 s]
Raw data (loadavg): 1.00 0.97 0.99 2/55 7474
Raw data (/proc/7466/stat): 7466 (pb2sat) R 7465 7466 4060 0 -1 0 83269 0 0 0 90695 232 0 0 25 0 1 0 21098669 256806912 45613 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7466/statm): 62697 45613 364 364 0 62333 0
[pid=7466] vsize: 250788
Current children cumulated CPU time (s) 909.27
Current children cumulated vsize (Kb) 250788

[startup+920.03 s]
Raw data (loadavg): 1.00 0.97 0.99 2/55 7474
Raw data (/proc/7466/stat): 7466 (pb2sat) R 7465 7466 4060 0 -1 0 85755 0 0 0 91687 239 0 0 25 0 1 0 21098669 259350528 46236 4294967295 134512640 135987407 3221224576 3221222968 134827493 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7466/statm): 63318 46236 364 364 0 62954 0
[pid=7466] vsize: 253272
Current children cumulated CPU time (s) 919.26
Current children cumulated vsize (Kb) 253272

[startup+930.029 s]
Raw data (loadavg): 1.00 0.97 0.99 2/55 7474
Raw data (/proc/7466/stat): 7466 (pb2sat) R 7465 7466 4060 0 -1 0 86053 0 0 0 92684 240 0 0 25 0 1 0 21098669 257593344 45719 4294967295 134512640 135987407 3221224576 3221223256 134812453 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7466/statm): 62889 45719 364 364 0 62525 0
[pid=7466] vsize: 251556
Current children cumulated CPU time (s) 929.24
Current children cumulated vsize (Kb) 251556

[startup+940.03 s]
Raw data (loadavg): 1.00 0.97 0.99 2/55 7474
Raw data (/proc/7466/stat): 7466 (pb2sat) R 7465 7466 4060 0 -1 0 86757 0 0 0 93682 242 0 0 25 0 1 0 21098669 259297280 46002 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7466/statm): 63305 46002 364 364 0 62941 0
[pid=7466] vsize: 253220
Current children cumulated CPU time (s) 939.24
Current children cumulated vsize (Kb) 253220

[startup+950.03 s]
Raw data (loadavg): 1.00 0.97 0.99 2/55 7474
Raw data (/proc/7466/stat): 7466 (pb2sat) R 7465 7466 4060 0 -1 0 86868 0 0 0 94680 243 0 0 25 0 1 0 21098669 259559424 46048 4294967295 134512640 135987407 3221224576 3221223376 134802473 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7466/statm): 63369 46048 364 364 0 63005 0
[pid=7466] vsize: 253476
Current children cumulated CPU time (s) 949.23
Current children cumulated vsize (Kb) 253476
One traced child (pid=7466) exited with status: 30
All traced children have exited ! Game is over.

Child status: 30
Real time (s): 950.834
CPU time (s): 950.035
CPU user time (s): 947.508
CPU system time (s): 2.52661
CPU usage (%): 99.9159
Max. virtual memory (cumulated for all children) (Kb): 253476

Verifier Data

Verifier:	OK	444