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-ii8d1.opb
MD5SUMf5ae067eec5cb4736f6ec50c87e4a015
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 343
Optimality of the best value was proved NO
Number of terms in the objective function 1060
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 1060
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1060
Number of bits of the biggest sum of numbers11
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1195.02
Number of variables1060
Total number of constraints3737
Number of constraints which are clauses3737
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 constraint10

Trace number 9768

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.047
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        899620 kB
Buffers:         14720 kB
Cached:         101492 kB
SwapCached:          0 kB
Active:          66112 kB
Inactive:        53020 kB
HighTotal:      131008 kB
HighFree:        27664 kB
LowTotal:       903652 kB
LowFree:        871956 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6976 kB
Slab:            10368 kB
Committed_AS:    63656 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 15:21:00 (client local time) WITH STATUS 10 IN 1208.11 SECONDS
stats: 8428 0 1208.11 10

Solver Data

c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
c got solution with objective value: 530
c big objective detected
c trying from 0 to 511
c got solution with objective value: 508
c starting final optimization
c CONFLICT during preprocess 
c [startup+26.6132 s]  setting bit 10 to 0
c CONFLICT during preprocess 
c [startup+28.3774 s]  setting bit 9 to 0

c Decision: 175054/413488	Time: 479.472/86400
c Decision: 175054/413488	Time: 550.109/86400
c Decision: 175054/413488	Time: 624.335/86400
c Decision: 178905/413488	Time: 739.777/86400
c Decision: 178905/413488	Time: 789.28/86400
c Decision: 178905/413488	Time: 848.449/86400
c Decision: 178905/413488	Time: 930.817/86400
c Decision: 178905/413488	Time: 1028.14/86400
c Decision: 178905/413488	Time: 1127.42/86400s SATISFIABLE
v x1 -x10 -x100 x1000 -x1001 x1002 x1003 -x1004 -x1005 x1006 -x1007 x1008 -x1009 x101 x1010 -x1011 x1012 -x1013 x1014 -x1015 x1016 -x1017 x1018 -x1019 -x102 x1020 -x1021 x1022 -x1023 x1024 -x1025 x1026 x1027 -x1028 -x1029 -x103 x1030 -x1031 x1032 -x1033 x1034 -x1035 x1036 -x1037 x1038 -x1039 x104 x1040 -x1041 x1042 -x1043 x1044 -x1045 x1046 -x1047 x1048 -x1049 x105 x1050 -x1051 x1052 -x1053 x1054 -x1055 x1056 -x1057 x1058 x1059 -x106 -x1060 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 -x919 -x92 x920 -x921 x922 -x923 x924 -x925 x926 -x927 x928 x929 x93 -x930 -x931 x932 -x933 x934 -x935 x936 -x937 x938 -x939 -x94 x940 -x941 x942 -x943 x944 -x945 x946 -x947 x948 -x949 x95 x950 -x951 x952 -x953 x954 x955 -x956 -x957 x958 -x959 -x96 x960 -x961 x962 x963 -x964 -x965 x966 -x967 x968 -x969 x97 x970 -x971 x972 -x973 x974 -x975 x976 -x977 x978 -x979 -x98 x980 -x981 x982 -x983 x984 -x985 x986 -x987 x988 -x989 x99 x990 -x991 x992 x993 -x994 -x995 x996 -x997 x998 -x999

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/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 21099033 1527808 2 4294967295 134512640 135987407 3221224576 3221224576 134512928 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7443/statm): 373 2 364 364 0 9 0
[pid=7443] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc24/normalized-ii8d1.opb

[startup+10.0017 s]
Raw data (loadavg): 0.93 0.95 0.97 2/55 7443
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 30342 0 0 0 923 69 0 0 25 0 1 0 21099033 96485376 19221 4294967295 134512640 135987407 3221224576 3221139648 134887887 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7443/statm): 23556 19221 364 364 0 23192 0
[pid=7443] vsize: 94224
Current children cumulated CPU time (s) 9.92
Current children cumulated vsize (Kb) 94224

[startup+20.0024 s]
Raw data (loadavg): 1.01 0.97 0.97 2/55 7445
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 60172 0 0 0 1860 130 0 0 25 0 1 0 21099033 190283776 37851 4294967295 134512640 135987407 3221224576 3221047168 134640148 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7443/statm): 46456 37852 364 364 0 46092 0
[pid=7443] vsize: 185824
Current children cumulated CPU time (s) 19.9
Current children cumulated vsize (Kb) 185824

[startup+30.0031 s]
Raw data (loadavg): 1.01 0.97 0.97 2/55 7447
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 67975 0 0 0 2839 148 0 0 25 0 1 0 21099033 203653120 42307 4294967295 134512640 135987407 3221224576 3221223136 134812703 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7443/statm): 49720 42307 364 364 0 49356 0
[pid=7443] vsize: 198880
Current children cumulated CPU time (s) 29.87
Current children cumulated vsize (Kb) 198880

[startup+40.0028 s]
Raw data (loadavg): 1.01 0.97 0.97 2/55 7449
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 70231 0 0 0 3826 155 0 0 25 0 1 0 21099033 212754432 44015 4294967295 134512640 135987407 3221224576 3221223056 134788799 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7443/statm): 51942 44015 364 364 0 51578 0
[pid=7443] vsize: 207768
Current children cumulated CPU time (s) 39.81
Current children cumulated vsize (Kb) 207768

[startup+50.0035 s]
Raw data (loadavg): 1.01 0.97 0.97 2/55 7449
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 71067 0 0 0 4820 158 0 0 25 0 1 0 21099033 216207360 44736 4294967295 134512640 135987407 3221224576 3221223056 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7443/statm): 52785 44736 364 364 0 52421 0
[pid=7443] vsize: 211140
Current children cumulated CPU time (s) 49.78
Current children cumulated vsize (Kb) 211140

[startup+60.0032 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 7449
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 71752 0 0 0 5815 161 0 0 25 0 1 0 21099033 219516928 45355 4294967295 134512640 135987407 3221224576 3221223056 134811885 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7443/statm): 53593 45355 364 364 0 53229 0
[pid=7443] vsize: 214372
Current children cumulated CPU time (s) 59.76
Current children cumulated vsize (Kb) 214372

[startup+70.0029 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 7449
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 72149 0 0 0 6811 162 0 0 25 0 1 0 21099033 221265920 45686 4294967295 134512640 135987407 3221224576 3221223216 134790060 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7443/statm): 54020 45686 364 364 0 53656 0
[pid=7443] vsize: 216080
Current children cumulated CPU time (s) 69.73
Current children cumulated vsize (Kb) 216080

[startup+80.0036 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 7449
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 73035 0 0 0 7805 166 0 0 25 0 1 0 21099033 224604160 46309 4294967295 134512640 135987407 3221224576 3221223056 134811966 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7443/statm): 54835 46309 364 364 0 54471 0
[pid=7443] vsize: 219340
Current children cumulated CPU time (s) 79.71
Current children cumulated vsize (Kb) 219340

[startup+90.0043 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 7449
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 73231 0 0 0 8800 167 0 0 25 0 1 0 21099033 225402880 46439 4294967295 134512640 135987407 3221224576 3221223216 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7443/statm): 55030 46439 364 364 0 54666 0
[pid=7443] vsize: 220120
Current children cumulated CPU time (s) 89.67
Current children cumulated vsize (Kb) 220120

[startup+100.004 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 7449
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 73688 0 0 0 9795 169 0 0 25 0 1 0 21099033 226922496 46732 4294967295 134512640 135987407 3221224576 3221223148 134812407 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7443/statm): 55401 46732 364 364 0 55037 0
[pid=7443] vsize: 221604
Current children cumulated CPU time (s) 99.64
Current children cumulated vsize (Kb) 221604

[startup+110.005 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 7449
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 74255 0 0 0 10789 172 0 0 25 0 1 0 21099033 228909056 47038 4294967295 134512640 135987407 3221224576 3221223056 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7443/statm): 55886 47038 364 364 0 55522 0
[pid=7443] vsize: 223544
Current children cumulated CPU time (s) 109.61
Current children cumulated vsize (Kb) 223544

[startup+120.004 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 7449
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 74516 0 0 0 11786 174 0 0 25 0 1 0 21099033 230109184 47233 4294967295 134512640 135987407 3221224576 3221222928 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7443/statm): 56179 47233 364 364 0 55815 0
[pid=7443] vsize: 224716
Current children cumulated CPU time (s) 119.6
Current children cumulated vsize (Kb) 224716

[startup+130.005 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 7449
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 74869 0 0 0 12782 176 0 0 25 0 1 0 21099033 231030784 47421 4294967295 134512640 135987407 3221224576 3221222928 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7443/statm): 56404 47421 364 364 0 56040 0
[pid=7443] vsize: 225616
Current children cumulated CPU time (s) 129.58
Current children cumulated vsize (Kb) 225616

[startup+140.005 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 7449
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 75052 0 0 0 13779 177 0 0 25 0 1 0 21099033 231424000 47506 4294967295 134512640 135987407 3221224576 3221223056 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7443/statm): 56500 47506 364 364 0 56136 0
[pid=7443] vsize: 226000
Current children cumulated CPU time (s) 139.56
Current children cumulated vsize (Kb) 226000

[startup+150.006 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 7449
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 75437 0 0 0 14776 178 0 0 25 0 1 0 21099033 232607744 47663 4294967295 134512640 135987407 3221224576 3221223056 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7443/statm): 56789 47663 364 364 0 56425 0
[pid=7443] vsize: 227156
Current children cumulated CPU time (s) 149.54
Current children cumulated vsize (Kb) 227156

[startup+160.005 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 7449
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 75719 0 0 0 15772 180 0 0 25 0 1 0 21099033 233672704 47846 4294967295 134512640 135987407 3221224576 3221223216 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7443/statm): 57049 47846 364 364 0 56685 0
[pid=7443] vsize: 228196
Current children cumulated CPU time (s) 159.52
Current children cumulated vsize (Kb) 228196

[startup+170.005 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 7449
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 75727 0 0 0 16770 181 0 0 25 0 1 0 21099033 233672704 47854 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7443/statm): 57049 47854 364 364 0 56685 0
[pid=7443] vsize: 228196
Current children cumulated CPU time (s) 169.51
Current children cumulated vsize (Kb) 228196

[startup+180.006 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 7449
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 75999 0 0 0 17768 183 0 0 25 0 1 0 21099033 234463232 47995 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7443/statm): 57242 47995 364 364 0 56878 0
[pid=7443] vsize: 228968
Current children cumulated CPU time (s) 179.51
Current children cumulated vsize (Kb) 228968

[startup+190.005 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 7449
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 76234 0 0 0 18763 185 0 0 25 0 1 0 21099033 234987520 48099 4294967295 134512640 135987407 3221224576 3221223056 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7443/statm): 57370 48099 364 364 0 57006 0
[pid=7443] vsize: 229480
Current children cumulated CPU time (s) 189.48
Current children cumulated vsize (Kb) 229480

[startup+200.005 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 7449
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 76437 0 0 0 19759 187 0 0 25 0 1 0 21099033 235515904 48204 4294967295 134512640 135987407 3221224576 3221223056 134788799 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7443/statm): 57499 48204 364 364 0 57135 0
[pid=7443] vsize: 229996
Current children cumulated CPU time (s) 199.46
Current children cumulated vsize (Kb) 229996

[startup+210.006 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 7449
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 76759 0 0 0 20754 189 0 0 25 0 1 0 21099033 236716032 48427 4294967295 134512640 135987407 3221224576 3221223056 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7443/statm): 57792 48427 364 364 0 57428 0
[pid=7443] vsize: 231168
Current children cumulated CPU time (s) 209.43
Current children cumulated vsize (Kb) 231168

[startup+220.005 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 7449
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 76914 0 0 0 21750 191 0 0 25 0 1 0 21099033 237244416 48516 4294967295 134512640 135987407 3221224576 3221223216 134789987 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7443/statm): 57921 48516 364 364 0 57557 0
[pid=7443] vsize: 231684
Current children cumulated CPU time (s) 219.41
Current children cumulated vsize (Kb) 231684

[startup+230.006 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 7449
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 77064 0 0 0 22746 193 0 0 25 0 1 0 21099033 237907968 48633 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7443/statm): 58083 48633 364 364 0 57719 0
[pid=7443] vsize: 232332
Current children cumulated CPU time (s) 229.39
Current children cumulated vsize (Kb) 232332

[startup+240.006 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 7449
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 77187 0 0 0 23741 195 0 0 25 0 1 0 21099033 238305280 48723 4294967295 134512640 135987407 3221224576 3221223056 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7443/statm): 58180 48723 364 364 0 57816 0
[pid=7443] vsize: 232720
Current children cumulated CPU time (s) 239.36
Current children cumulated vsize (Kb) 232720

[startup+250.006 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 7449
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 77414 0 0 0 24734 197 0 0 25 0 1 0 21099033 239366144 48885 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7443/statm): 58439 48885 364 364 0 58075 0
[pid=7443] vsize: 233756
Current children cumulated CPU time (s) 249.31
Current children cumulated vsize (Kb) 233756

[startup+260.006 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 7449
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 77745 0 0 0 25729 199 0 0 25 0 1 0 21099033 240283648 48988 4294967295 134512640 135987407 3221224576 3221223056 134811842 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7443/statm): 58663 48988 364 364 0 58299 0
[pid=7443] vsize: 234652
Current children cumulated CPU time (s) 259.28
Current children cumulated vsize (Kb) 234652

[startup+270.007 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 7449
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 78007 0 0 0 26725 201 0 0 25 0 1 0 21099033 241074176 49120 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7443/statm): 58856 49120 364 364 0 58492 0
[pid=7443] vsize: 235424
Current children cumulated CPU time (s) 269.26
Current children cumulated vsize (Kb) 235424

[startup+280.008 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 7449
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 78183 0 0 0 27722 202 0 0 25 0 1 0 21099033 241467392 49198 4294967295 134512640 135987407 3221224576 3221222944 134801555 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7443/statm): 58952 49198 364 364 0 58588 0
[pid=7443] vsize: 235808
Current children cumulated CPU time (s) 279.24
Current children cumulated vsize (Kb) 235808

[startup+290.008 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 7449
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 78218 0 0 0 28718 204 0 0 25 0 1 0 21099033 241467392 49233 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7443/statm): 58952 49233 364 364 0 58588 0
[pid=7443] vsize: 235808
Current children cumulated CPU time (s) 289.22
Current children cumulated vsize (Kb) 235808

[startup+300.008 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 7451
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 78456 0 0 0 29714 207 0 0 25 0 1 0 21099033 242393088 49373 4294967295 134512640 135987407 3221224576 3221223056 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7443/statm): 59178 49373 364 364 0 58814 0
[pid=7443] vsize: 236712
Current children cumulated CPU time (s) 299.21
Current children cumulated vsize (Kb) 236712

[startup+310.009 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 7451
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 78646 0 0 0 30708 209 0 0 25 0 1 0 21099033 243052544 49465 4294967295 134512640 135987407 3221224576 3221223056 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7443/statm): 59339 49465 364 364 0 58975 0
[pid=7443] vsize: 237356
Current children cumulated CPU time (s) 309.17
Current children cumulated vsize (Kb) 237356

[startup+320.008 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 7451
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 78650 0 0 0 31706 210 0 0 25 0 1 0 21099033 243052544 49469 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7443/statm): 59339 49469 364 364 0 58975 0
[pid=7443] vsize: 237356
Current children cumulated CPU time (s) 319.16
Current children cumulated vsize (Kb) 237356

[startup+330.009 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 7451
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 78715 0 0 0 32701 212 0 0 25 0 1 0 21099033 243318784 49534 4294967295 134512640 135987407 3221224576 3221223184 134812261 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7443/statm): 59404 49534 364 364 0 59040 0
[pid=7443] vsize: 237616
Current children cumulated CPU time (s) 329.13
Current children cumulated vsize (Kb) 237616

[startup+340.009 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 7451
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 78965 0 0 0 33696 214 0 0 25 0 1 0 21099033 244109312 49654 4294967295 134512640 135987407 3221224576 3221222928 134788462 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7443/statm): 59597 49654 364 364 0 59233 0
[pid=7443] vsize: 238388
Current children cumulated CPU time (s) 339.1
Current children cumulated vsize (Kb) 238388

[startup+350.009 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 7451
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 79177 0 0 0 34693 215 0 0 25 0 1 0 21099033 244502528 49767 4294967295 134512640 135987407 3221224576 3221223056 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7443/statm): 59693 49767 364 364 0 59329 0
[pid=7443] vsize: 238772
Current children cumulated CPU time (s) 349.08
Current children cumulated vsize (Kb) 238772

[startup+360.009 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 7451
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 79182 0 0 0 35691 216 0 0 25 0 1 0 21099033 244502528 49772 4294967295 134512640 135987407 3221224576 3221223184 134824266 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7443/statm): 59693 49772 364 364 0 59329 0
[pid=7443] vsize: 238772
Current children cumulated CPU time (s) 359.07
Current children cumulated vsize (Kb) 238772

[startup+370.009 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 7451
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 79189 0 0 0 36688 217 0 0 25 0 1 0 21099033 244502528 49779 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7443/statm): 59693 49779 364 364 0 59329 0
[pid=7443] vsize: 238772
Current children cumulated CPU time (s) 369.05
Current children cumulated vsize (Kb) 238772

[startup+380.01 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 7451
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 79196 0 0 0 37686 218 0 0 25 0 1 0 21099033 244502528 49786 4294967295 134512640 135987407 3221224576 3221222864 134878060 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7443/statm): 59693 49786 364 364 0 59329 0
[pid=7443] vsize: 238772
Current children cumulated CPU time (s) 379.04
Current children cumulated vsize (Kb) 238772

[startup+390.01 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 7451
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 79201 0 0 0 38685 218 0 0 25 0 1 0 21099033 244502528 49791 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7443/statm): 59693 49791 364 364 0 59329 0
[pid=7443] vsize: 238772
Current children cumulated CPU time (s) 389.03
Current children cumulated vsize (Kb) 238772

[startup+400.01 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 7451
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 79478 0 0 0 39680 220 0 0 25 0 1 0 21099033 245026816 49938 4294967295 134512640 135987407 3221224576 3221223056 134811765 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7443/statm): 59821 49938 364 364 0 59457 0
[pid=7443] vsize: 239284
Current children cumulated CPU time (s) 399
Current children cumulated vsize (Kb) 239284

[startup+410.011 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 7451
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 79736 0 0 0 40677 222 0 0 25 0 1 0 21099033 245948416 50033 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7443/statm): 60046 50033 364 364 0 59682 0
[pid=7443] vsize: 240184
Current children cumulated CPU time (s) 408.99
Current children cumulated vsize (Kb) 240184

[startup+420.01 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 7451
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 79913 0 0 0 41671 224 0 0 25 0 1 0 21099033 246611968 50177 4294967295 134512640 135987407 3221224576 3221223216 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7443/statm): 60208 50177 364 364 0 59844 0
[pid=7443] vsize: 240832
Current children cumulated CPU time (s) 418.95
Current children cumulated vsize (Kb) 240832

[startup+430.011 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 7451
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 79944 0 0 0 42668 226 0 0 25 0 1 0 21099033 246611968 50208 4294967295 134512640 135987407 3221224576 3221222944 134801596 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7443/statm): 60208 50208 364 364 0 59844 0
[pid=7443] vsize: 240832
Current children cumulated CPU time (s) 428.94
Current children cumulated vsize (Kb) 240832

[startup+440.011 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 7451
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 80167 0 0 0 43661 228 0 0 25 0 1 0 21099033 247136256 50300 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7443/statm): 60336 50300 364 364 0 59972 0
[pid=7443] vsize: 241344
Current children cumulated CPU time (s) 438.89
Current children cumulated vsize (Kb) 241344

[startup+450.01 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 7451
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 80403 0 0 0 44659 229 0 0 25 0 1 0 21099033 248467456 50536 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7443/statm): 60661 50536 364 364 0 60297 0
[pid=7443] vsize: 242644
Current children cumulated CPU time (s) 448.88
Current children cumulated vsize (Kb) 242644

[startup+460.01 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 7451
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 80494 0 0 0 45657 230 0 0 25 0 1 0 21099033 248999936 50627 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7443/statm): 60791 50627 364 364 0 60427 0
[pid=7443] vsize: 243164
Current children cumulated CPU time (s) 458.87
Current children cumulated vsize (Kb) 243164

[startup+470.01 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 7451
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 80565 0 0 0 46653 232 0 0 25 0 1 0 21099033 249266176 50698 4294967295 134512640 135987407 3221224576 3221223056 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7443/statm): 60856 50698 364 364 0 60492 0
[pid=7443] vsize: 243424
Current children cumulated CPU time (s) 468.85
Current children cumulated vsize (Kb) 243424

[startup+480.011 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 7451
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 80577 0 0 0 47650 232 0 0 25 0 1 0 21099033 249266176 50710 4294967295 134512640 135987407 3221224576 3221223056 134811972 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7443/statm): 60856 50710 364 364 0 60492 0
[pid=7443] vsize: 243424
Current children cumulated CPU time (s) 478.82
Current children cumulated vsize (Kb) 243424

[startup+490.01 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 7451
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 80767 0 0 0 48647 234 0 0 25 0 1 0 21099033 250064896 50900 4294967295 134512640 135987407 3221224576 3221222928 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7443/statm): 61051 50900 364 364 0 60687 0
[pid=7443] vsize: 244204
Current children cumulated CPU time (s) 488.81
Current children cumulated vsize (Kb) 244204

[startup+500.01 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 7451
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 80828 0 0 0 49645 235 0 0 25 0 1 0 21099033 250331136 50961 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7443/statm): 61116 50961 364 364 0 60752 0
[pid=7443] vsize: 244464
Current children cumulated CPU time (s) 498.8
Current children cumulated vsize (Kb) 244464

[startup+510.011 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 7451
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 81645 0 0 0 50641 237 0 0 25 0 1 0 21099033 250331136 50970 4294967295 134512640 135987407 3221224576 3221223056 134788799 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7443/statm): 61116 50970 364 364 0 60752 0
[pid=7443] vsize: 244464
Current children cumulated CPU time (s) 508.78
Current children cumulated vsize (Kb) 244464

[startup+520.01 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 7451
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 81678 0 0 0 51638 238 0 0 25 0 1 0 21099033 250597376 51003 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7443/statm): 61181 51003 364 364 0 60817 0
[pid=7443] vsize: 244724
Current children cumulated CPU time (s) 518.76
Current children cumulated vsize (Kb) 244724

[startup+530.011 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 7451
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 81685 0 0 0 52636 239 0 0 25 0 1 0 21099033 250597376 51010 4294967295 134512640 135987407 3221224576 3221222928 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7443/statm): 61181 51010 364 364 0 60817 0
[pid=7443] vsize: 244724
Current children cumulated CPU time (s) 528.75
Current children cumulated vsize (Kb) 244724

[startup+540.012 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 7451
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 81687 0 0 0 53633 241 0 0 25 0 1 0 21099033 250597376 51012 4294967295 134512640 135987407 3221224576 3221223056 134811980 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7443/statm): 61181 51012 364 364 0 60817 0
[pid=7443] vsize: 244724
Current children cumulated CPU time (s) 538.74
Current children cumulated vsize (Kb) 244724

[startup+550.011 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 7451
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 81689 0 0 0 54628 242 0 0 25 0 1 0 21099033 250597376 51014 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7443/statm): 61181 51014 364 364 0 60817 0
[pid=7443] vsize: 244724
Current children cumulated CPU time (s) 548.7
Current children cumulated vsize (Kb) 244724

[startup+560.012 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 7451
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 81690 0 0 0 55624 244 0 0 25 0 1 0 21099033 250597376 51015 4294967295 134512640 135987407 3221224576 3221222928 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7443/statm): 61181 51015 364 364 0 60817 0
[pid=7443] vsize: 244724
Current children cumulated CPU time (s) 558.68
Current children cumulated vsize (Kb) 244724

[startup+570.013 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 7451
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 81975 0 0 0 56618 247 0 0 25 0 1 0 21099033 251252736 51137 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7443/statm): 61341 51137 364 364 0 60977 0
[pid=7443] vsize: 245364
Current children cumulated CPU time (s) 568.65
Current children cumulated vsize (Kb) 245364

[startup+580.014 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 7451
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 82853 0 0 0 57612 251 0 0 25 0 1 0 21099033 251518976 51207 4294967295 134512640 135987407 3221224576 3221223056 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7443/statm): 61406 51207 364 364 0 61042 0
[pid=7443] vsize: 245624
Current children cumulated CPU time (s) 578.63
Current children cumulated vsize (Kb) 245624

[startup+590.013 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 7451
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 82856 0 0 0 58609 252 0 0 25 0 1 0 21099033 251518976 51210 4294967295 134512640 135987407 3221224576 3221223232 134812703 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7443/statm): 61406 51210 364 364 0 61042 0
[pid=7443] vsize: 245624
Current children cumulated CPU time (s) 588.61
Current children cumulated vsize (Kb) 245624

[startup+600.013 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 7451
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 82864 0 0 0 59606 253 0 0 25 0 1 0 21099033 251518976 51218 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7443/statm): 61406 51218 364 364 0 61042 0
[pid=7443] vsize: 245624
Current children cumulated CPU time (s) 598.59
Current children cumulated vsize (Kb) 245624

[startup+610.014 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 7451
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 82869 0 0 0 60603 255 0 0 25 0 1 0 21099033 251518976 51223 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7443/statm): 61406 51223 364 364 0 61042 0
[pid=7443] vsize: 245624
Current children cumulated CPU time (s) 608.58
Current children cumulated vsize (Kb) 245624

[startup+620.013 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 7451
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 83002 0 0 0 61601 256 0 0 25 0 1 0 21099033 251781120 51291 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7443/statm): 61470 51291 364 364 0 61106 0
[pid=7443] vsize: 245880
Current children cumulated CPU time (s) 618.57
Current children cumulated vsize (Kb) 245880

[startup+630.014 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 7451
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 83003 0 0 0 62597 257 0 0 25 0 1 0 21099033 251781120 51292 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7443/statm): 61470 51292 364 364 0 61106 0
[pid=7443] vsize: 245880
Current children cumulated CPU time (s) 628.54
Current children cumulated vsize (Kb) 245880

[startup+640.015 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 7451
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 83053 0 0 0 63595 258 0 0 25 0 1 0 21099033 252047360 51342 4294967295 134512640 135987407 3221224576 3221223208 134812771 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7443/statm): 61535 51342 364 364 0 61171 0
[pid=7443] vsize: 246140
Current children cumulated CPU time (s) 638.53
Current children cumulated vsize (Kb) 246140

[startup+650.014 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 7451
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 83157 0 0 0 64590 259 0 0 25 0 1 0 21099033 252309504 51381 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7443/statm): 61599 51381 364 364 0 61235 0
[pid=7443] vsize: 246396
Current children cumulated CPU time (s) 648.49
Current children cumulated vsize (Kb) 246396

[startup+660.014 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 7451
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 83972 0 0 0 65584 263 0 0 25 0 1 0 21099033 252309504 51388 4294967295 134512640 135987407 3221224576 3221222928 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7443/statm): 61599 51388 364 364 0 61235 0
[pid=7443] vsize: 246396
Current children cumulated CPU time (s) 658.47
Current children cumulated vsize (Kb) 246396

[startup+670.014 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 7451
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 84243 0 0 0 66581 264 0 0 25 0 1 0 21099033 252960768 51431 4294967295 134512640 135987407 3221224576 3221223056 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7443/statm): 61758 51431 364 364 0 61394 0
[pid=7443] vsize: 247032
Current children cumulated CPU time (s) 668.45
Current children cumulated vsize (Kb) 247032

[startup+680.015 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 7451
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 84871 0 0 0 67577 266 0 0 25 0 1 0 21099033 255066112 51670 4294967295 134512640 135987407 3221224576 3221223216 134790071 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7443/statm): 62272 51670 364 364 0 61908 0
[pid=7443] vsize: 249088
Current children cumulated CPU time (s) 678.43
Current children cumulated vsize (Kb) 249088

[startup+690.015 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 7451
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 85245 0 0 0 68574 268 0 0 25 0 1 0 21099033 256118784 51850 4294967295 134512640 135987407 3221224576 3221223056 134811784 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7443/statm): 62529 51850 364 364 0 62165 0
[pid=7443] vsize: 250116
Current children cumulated CPU time (s) 688.42
Current children cumulated vsize (Kb) 250116

[startup+700.015 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 7451
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 85246 0 0 0 69571 269 0 0 25 0 1 0 21099033 256118784 51851 4294967295 134512640 135987407 3221224576 3221223056 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7443/statm): 62529 51851 364 364 0 62165 0
[pid=7443] vsize: 250116
Current children cumulated CPU time (s) 698.4
Current children cumulated vsize (Kb) 250116

[startup+710.016 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 7451
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 85330 0 0 0 70568 270 0 0 25 0 1 0 21099033 256380928 51870 4294967295 134512640 135987407 3221224576 3221222928 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7443/statm): 62593 51870 364 364 0 62229 0
[pid=7443] vsize: 250372
Current children cumulated CPU time (s) 708.38
Current children cumulated vsize (Kb) 250372

[startup+720.015 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 7451
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 85421 0 0 0 71564 272 0 0 25 0 1 0 21099033 256643072 51896 4294967295 134512640 135987407 3221224576 3221223056 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7443/statm): 62657 51896 364 364 0 62293 0
[pid=7443] vsize: 250628
Current children cumulated CPU time (s) 718.36
Current children cumulated vsize (Kb) 250628

[startup+730.016 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 7451
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 85598 0 0 0 72560 273 0 0 25 0 1 0 21099033 257036288 51975 4294967295 134512640 135987407 3221224576 3221223108 135478014 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7443/statm): 62753 51975 364 364 0 62389 0
[pid=7443] vsize: 251012
Current children cumulated CPU time (s) 728.33
Current children cumulated vsize (Kb) 251012

[startup+740.016 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 7451
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 85602 0 0 0 73557 274 0 0 25 0 1 0 21099033 257036288 51979 4294967295 134512640 135987407 3221224576 3221223056 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7443/statm): 62753 51979 364 364 0 62389 0
[pid=7443] vsize: 251012
Current children cumulated CPU time (s) 738.31
Current children cumulated vsize (Kb) 251012

[startup+750.016 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 7451
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 85698 0 0 0 74553 276 0 0 25 0 1 0 21099033 257298432 52010 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7443/statm): 62817 52010 364 364 0 62453 0
[pid=7443] vsize: 251268
Current children cumulated CPU time (s) 748.29
Current children cumulated vsize (Kb) 251268

[startup+760.016 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 7451
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 85701 0 0 0 75548 278 0 0 25 0 1 0 21099033 257298432 52013 4294967295 134512640 135987407 3221224576 3221222928 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7443/statm): 62817 52013 364 364 0 62453 0
[pid=7443] vsize: 251268
Current children cumulated CPU time (s) 758.26
Current children cumulated vsize (Kb) 251268

[startup+770.016 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 7451
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 86605 0 0 0 76543 280 0 0 25 0 1 0 21099033 257560576 52044 4294967295 134512640 135987407 3221224576 3221223056 134811773 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7443/statm): 62881 52044 364 364 0 62517 0
[pid=7443] vsize: 251524
Current children cumulated CPU time (s) 768.23
Current children cumulated vsize (Kb) 251524

[startup+780.017 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 7451
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 86623 0 0 0 77540 282 0 0 25 0 1 0 21099033 257560576 52062 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7443/statm): 62881 52062 364 364 0 62517 0
[pid=7443] vsize: 251524
Current children cumulated CPU time (s) 778.22
Current children cumulated vsize (Kb) 251524

[startup+790.016 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 7451
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 86713 0 0 0 78538 283 0 0 25 0 1 0 21099033 257822720 52087 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7443/statm): 62945 52087 364 364 0 62581 0
[pid=7443] vsize: 251780
Current children cumulated CPU time (s) 788.21
Current children cumulated vsize (Kb) 251780

[startup+800.016 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 7451
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 86725 0 0 0 79535 284 0 0 25 0 1 0 21099033 257822720 52099 4294967295 134512640 135987407 3221224576 3221223056 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7443/statm): 62945 52099 364 364 0 62581 0
[pid=7443] vsize: 251780
Current children cumulated CPU time (s) 798.19
Current children cumulated vsize (Kb) 251780

[startup+810.017 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 7451
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 86733 0 0 0 80533 285 0 0 25 0 1 0 21099033 257822720 52107 4294967295 134512640 135987407 3221224576 3221223056 134812010 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7443/statm): 62945 52107 364 364 0 62581 0
[pid=7443] vsize: 251780
Current children cumulated CPU time (s) 808.18
Current children cumulated vsize (Kb) 251780

[startup+820.017 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 7451
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 87552 0 0 0 81529 288 0 0 25 0 1 0 21099033 257822720 52118 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7443/statm): 62945 52118 364 364 0 62581 0
[pid=7443] vsize: 251780
Current children cumulated CPU time (s) 818.17
Current children cumulated vsize (Kb) 251780

[startup+830.018 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 7451
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 87557 0 0 0 82526 289 0 0 25 0 1 0 21099033 257822720 52123 4294967295 134512640 135987407 3221224576 3221223056 134811962 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7443/statm): 62945 52123 364 364 0 62581 0
[pid=7443] vsize: 251780
Current children cumulated CPU time (s) 828.15
Current children cumulated vsize (Kb) 251780

[startup+840.018 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 7451
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 87578 0 0 0 83524 290 0 0 25 0 1 0 21099033 257822720 52144 4294967295 134512640 135987407 3221224576 3221223056 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7443/statm): 62945 52144 364 364 0 62581 0
[pid=7443] vsize: 251780
Current children cumulated CPU time (s) 838.14
Current children cumulated vsize (Kb) 251780

[startup+850.018 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 7451
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 87614 0 0 0 84522 291 0 0 25 0 1 0 21099033 257822720 52180 4294967295 134512640 135987407 3221224576 3221223056 134812025 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7443/statm): 62945 52180 364 364 0 62581 0
[pid=7443] vsize: 251780
Current children cumulated CPU time (s) 848.13
Current children cumulated vsize (Kb) 251780

[startup+860.018 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 7451
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 87690 0 0 0 85517 292 0 0 25 0 1 0 21099033 258084864 52191 4294967295 134512640 135987407 3221224576 3221223184 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7443/statm): 63009 52191 364 364 0 62645 0
[pid=7443] vsize: 252036
Current children cumulated CPU time (s) 858.09
Current children cumulated vsize (Kb) 252036

[startup+870.019 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 7451
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 87808 0 0 0 86513 294 0 0 25 0 1 0 21099033 258347008 52244 4294967295 134512640 135987407 3221224576 3221223056 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7443/statm): 63073 52244 364 364 0 62709 0
[pid=7443] vsize: 252292
Current children cumulated CPU time (s) 868.07
Current children cumulated vsize (Kb) 252292

[startup+880.02 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 7451
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 88620 0 0 0 87508 297 0 0 25 0 1 0 21099033 258347008 52248 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7443/statm): 63073 52248 364 364 0 62709 0
[pid=7443] vsize: 252292
Current children cumulated CPU time (s) 878.05
Current children cumulated vsize (Kb) 252292

[startup+890.02 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 7451
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 88698 0 0 0 88506 298 0 0 25 0 1 0 21099033 258609152 52261 4294967295 134512640 135987407 3221224576 3221223056 134812126 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7443/statm): 63137 52261 364 364 0 62773 0
[pid=7443] vsize: 252548
Current children cumulated CPU time (s) 888.04
Current children cumulated vsize (Kb) 252548

[startup+900.02 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 7451
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 88699 0 0 0 89505 299 0 0 25 0 1 0 21099033 258609152 52262 4294967295 134512640 135987407 3221224576 3221223056 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7443/statm): 63137 52262 364 364 0 62773 0
[pid=7443] vsize: 252548
Current children cumulated CPU time (s) 898.04
Current children cumulated vsize (Kb) 252548

[startup+910.021 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 7451
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 88797 0 0 0 90501 300 0 0 25 0 1 0 21099033 258871296 52295 4294967295 134512640 135987407 3221224576 3221223056 134812155 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7443/statm): 63201 52295 364 364 0 62837 0
[pid=7443] vsize: 252804
Current children cumulated CPU time (s) 908.01
Current children cumulated vsize (Kb) 252804

[startup+920.021 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 7451
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 88880 0 0 0 91497 301 0 0 25 0 1 0 21099033 259133440 52313 4294967295 134512640 135987407 3221224576 3221223056 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7443/statm): 63265 52313 364 364 0 62901 0
[pid=7443] vsize: 253060
Current children cumulated CPU time (s) 917.98
Current children cumulated vsize (Kb) 253060

[startup+930.022 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 7451
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 88951 0 0 0 92493 302 0 0 25 0 1 0 21099033 259395584 52319 4294967295 134512640 135987407 3221224576 3221223056 134811950 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7443/statm): 63329 52319 364 364 0 62965 0
[pid=7443] vsize: 253316
Current children cumulated CPU time (s) 927.95
Current children cumulated vsize (Kb) 253316

[startup+940.022 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 7451
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 88961 0 0 0 93490 304 0 0 25 0 1 0 21099033 259395584 52329 4294967295 134512640 135987407 3221224576 3221223056 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7443/statm): 63329 52329 364 364 0 62965 0
[pid=7443] vsize: 253316
Current children cumulated CPU time (s) 937.94
Current children cumulated vsize (Kb) 253316

[startup+950.021 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 7451
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 88961 0 0 0 94487 304 0 0 25 0 1 0 21099033 259395584 52329 4294967295 134512640 135987407 3221224576 3221223184 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7443/statm): 63329 52329 364 364 0 62965 0
[pid=7443] vsize: 253316
Current children cumulated CPU time (s) 947.91
Current children cumulated vsize (Kb) 253316

[startup+960.022 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 7451
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 89200 0 0 0 95483 307 0 0 25 0 1 0 21099033 259919872 52439 4294967295 134512640 135987407 3221224576 3221223088 134814273 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7443/statm): 63457 52439 364 364 0 63093 0
[pid=7443] vsize: 253828
Current children cumulated CPU time (s) 957.9
Current children cumulated vsize (Kb) 253828

[startup+970.022 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 7451
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 90008 0 0 0 96478 310 0 0 25 0 1 0 21099033 259919872 52439 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7443/statm): 63457 52439 364 364 0 63093 0
[pid=7443] vsize: 253828
Current children cumulated CPU time (s) 967.88
Current children cumulated vsize (Kb) 253828

[startup+980.023 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 7451
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 90009 0 0 0 97475 312 0 0 25 0 1 0 21099033 259919872 52440 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7443/statm): 63457 52440 364 364 0 63093 0
[pid=7443] vsize: 253828
Current children cumulated CPU time (s) 977.87
Current children cumulated vsize (Kb) 253828

[startup+990.023 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 7451
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 90052 0 0 0 98472 312 0 0 25 0 1 0 21099033 259919872 52483 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7443/statm): 63457 52483 364 364 0 63093 0
[pid=7443] vsize: 253828
Current children cumulated CPU time (s) 987.84
Current children cumulated vsize (Kb) 253828

[startup+1000.02 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 7451
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 90093 0 0 0 99468 314 0 0 25 0 1 0 21099033 259919872 52524 4294967295 134512640 135987407 3221224576 3221223184 134824722 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7443/statm): 63457 52524 364 364 0 63093 0
[pid=7443] vsize: 253828
Current children cumulated CPU time (s) 997.82
Current children cumulated vsize (Kb) 253828

[startup+1010.02 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 7451
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 90499 0 0 0 100465 315 0 0 25 0 1 0 21099033 260968448 52671 4294967295 134512640 135987407 3221224576 3221222928 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7443/statm): 63713 52671 364 364 0 63349 0
[pid=7443] vsize: 254852
Current children cumulated CPU time (s) 1007.8
Current children cumulated vsize (Kb) 254852

[startup+1020.02 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 7451
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 90499 0 0 0 101462 316 0 0 25 0 1 0 21099033 260968448 52671 4294967295 134512640 135987407 3221224576 3221223056 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7443/statm): 63713 52671 364 364 0 63349 0
[pid=7443] vsize: 254852
Current children cumulated CPU time (s) 1017.78
Current children cumulated vsize (Kb) 254852

[startup+1030.02 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 7451
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 90504 0 0 0 102458 318 0 0 25 0 1 0 21099033 260968448 52676 4294967295 134512640 135987407 3221224576 3221223056 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7443/statm): 63713 52676 364 364 0 63349 0
[pid=7443] vsize: 254852
Current children cumulated CPU time (s) 1027.76
Current children cumulated vsize (Kb) 254852

[startup+1040.02 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 7451
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 90504 0 0 0 103455 320 0 0 25 0 1 0 21099033 260968448 52676 4294967295 134512640 135987407 3221224576 3221223056 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7443/statm): 63713 52676 364 364 0 63349 0
[pid=7443] vsize: 254852
Current children cumulated CPU time (s) 1037.75
Current children cumulated vsize (Kb) 254852

[startup+1050.02 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 7451
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 90580 0 0 0 104450 321 0 0 25 0 1 0 21099033 261230592 52687 4294967295 134512640 135987407 3221224576 3221223232 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7443/statm): 63777 52687 364 364 0 63413 0
[pid=7443] vsize: 255108
Current children cumulated CPU time (s) 1047.71
Current children cumulated vsize (Kb) 255108

[startup+1060.02 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 7451
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 91388 0 0 0 105445 324 0 0 25 0 1 0 21099033 261230592 52687 4294967295 134512640 135987407 3221224576 3221223056 134811923 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7443/statm): 63777 52687 364 364 0 63413 0
[pid=7443] vsize: 255108
Current children cumulated CPU time (s) 1057.69
Current children cumulated vsize (Kb) 255108

[startup+1070.02 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 7451
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 91388 0 0 0 106440 326 0 0 25 0 1 0 21099033 261230592 52687 4294967295 134512640 135987407 3221224576 3221223056 134811842 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7443/statm): 63777 52687 364 364 0 63413 0
[pid=7443] vsize: 255108
Current children cumulated CPU time (s) 1067.66
Current children cumulated vsize (Kb) 255108

[startup+1080.02 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 7451
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 91475 0 0 0 107438 327 0 0 25 0 1 0 21099033 261492736 52709 4294967295 134512640 135987407 3221224576 3221223056 134811765 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7443/statm): 63841 52709 364 364 0 63477 0
[pid=7443] vsize: 255364
Current children cumulated CPU time (s) 1077.65
Current children cumulated vsize (Kb) 255364

[startup+1090.02 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 7451
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 91475 0 0 0 108433 329 0 0 25 0 1 0 21099033 261492736 52709 4294967295 134512640 135987407 3221224576 3221223232 134812696 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7443/statm): 63841 52709 364 364 0 63477 0
[pid=7443] vsize: 255364
Current children cumulated CPU time (s) 1087.62
Current children cumulated vsize (Kb) 255364

[startup+1100.02 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 7451
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 91476 0 0 0 109430 330 0 0 25 0 1 0 21099033 261492736 52710 4294967295 134512640 135987407 3221224576 3221222940 135486794 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7443/statm): 63841 52710 364 364 0 63477 0
[pid=7443] vsize: 255364
Current children cumulated CPU time (s) 1097.6
Current children cumulated vsize (Kb) 255364

[startup+1110.02 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 7451
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 91607 0 0 0 110427 331 0 0 25 0 1 0 21099033 261754880 52776 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7443/statm): 63905 52776 364 364 0 63541 0
[pid=7443] vsize: 255620
Current children cumulated CPU time (s) 1107.58
Current children cumulated vsize (Kb) 255620

[startup+1120.02 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 7451
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 91612 0 0 0 111424 332 0 0 25 0 1 0 21099033 261754880 52781 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7443/statm): 63905 52781 364 364 0 63541 0
[pid=7443] vsize: 255620
Current children cumulated CPU time (s) 1117.56
Current children cumulated vsize (Kb) 255620

[startup+1130.03 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 7451
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 91612 0 0 0 112419 334 0 0 25 0 1 0 21099033 261754880 52781 4294967295 134512640 135987407 3221224576 3221223056 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7443/statm): 63905 52781 364 364 0 63541 0
[pid=7443] vsize: 255620
Current children cumulated CPU time (s) 1127.53
Current children cumulated vsize (Kb) 255620

[startup+1140.02 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 7451
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 91700 0 0 0 113415 335 0 0 25 0 1 0 21099033 262017024 52804 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7443/statm): 63969 52804 364 364 0 63605 0
[pid=7443] vsize: 255876
Current children cumulated CPU time (s) 1137.5
Current children cumulated vsize (Kb) 255876

[startup+1150.02 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 7451
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 91719 0 0 0 114412 336 0 0 25 0 1 0 21099033 262017024 52823 4294967295 134512640 135987407 3221224576 3221223056 134811988 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7443/statm): 63969 52823 364 364 0 63605 0
[pid=7443] vsize: 255876
Current children cumulated CPU time (s) 1147.48
Current children cumulated vsize (Kb) 255876

[startup+1160.02 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 7451
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 92527 0 0 0 115408 339 0 0 25 0 1 0 21099033 262017024 52823 4294967295 134512640 135987407 3221224576 3221223152 134812361 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7443/statm): 63969 52823 364 364 0 63605 0
[pid=7443] vsize: 255876
Current children cumulated CPU time (s) 1157.47
Current children cumulated vsize (Kb) 255876

[startup+1170.02 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 7451
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 92528 0 0 0 116403 340 0 0 25 0 1 0 21099033 262017024 52824 4294967295 134512640 135987407 3221224576 3221223152 134812361 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7443/statm): 63969 52824 364 364 0 63605 0
[pid=7443] vsize: 255876
Current children cumulated CPU time (s) 1167.43
Current children cumulated vsize (Kb) 255876

[startup+1180.03 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 7451
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 92528 0 0 0 117399 342 0 0 25 0 1 0 21099033 262017024 52824 4294967295 134512640 135987407 3221224576 3221223056 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7443/statm): 63969 52824 364 364 0 63605 0
[pid=7443] vsize: 255876
Current children cumulated CPU time (s) 1177.41
Current children cumulated vsize (Kb) 255876

[startup+1190.03 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 7451
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 92529 0 0 0 118395 343 0 0 25 0 1 0 21099033 262017024 52825 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7443/statm): 63969 52825 364 364 0 63605 0
[pid=7443] vsize: 255876
Current children cumulated CPU time (s) 1187.38
Current children cumulated vsize (Kb) 255876

[startup+1200.03 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 7451
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 92531 0 0 0 119391 345 0 0 25 0 1 0 21099033 262017024 52827 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7443/statm): 63969 52827 364 364 0 63605 0
[pid=7443] vsize: 255876
Current children cumulated CPU time (s) 1197.36
Current children cumulated vsize (Kb) 255876

[startup+1210.03 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 7451
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 92531 0 0 0 120389 345 0 0 25 0 1 0 21099033 262017024 52827 4294967295 134512640 135987407 3221224576 3221223056 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7443/statm): 63969 52827 364 364 0 63605 0
[pid=7443] vsize: 255876
Current children cumulated CPU time (s) 1207.34
Current children cumulated vsize (Kb) 255876



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.03 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 7451
Raw data (/proc/7443/stat): 7443 (pb2sat) R 7442 7443 4059 0 -1 0 92531 0 0 0 120389 345 0 0 25 0 1 0 21099033 262017024 52827 4294967295 134512640 135987407 3221224576 3221223056 134811803 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7443/statm): 63969 52827 364 364 0 63605 0
[pid=7443] vsize: 255876
Current children cumulated CPU time (s) 1207.34
Current children cumulated vsize (Kb) 255876

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

Child status: 10
Real time (s): 1210.8
CPU time (s): 1208.11
CPU user time (s): 1204.55
CPU system time (s): 3.56846
CPU usage (%): 99.7782
Max. virtual memory (cumulated for all children) (Kb): 255876

Verifier Data

Verifier:	OK	508