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-ii8b2.opb
MD5SUMbbfcebd70586668574286ad19a1cd5a8
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 379
Optimality of the best value was proved NO
Number of terms in the objective function 1152
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 1152
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 1152
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 benchmark1189.07
Number of variables1152
Total number of constraints4664
Number of constraints which are clauses4664
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint8

Trace number 9679

Launcher Data

LAUNCH ON wulflinc20 THE 2005-09-23 14:44:10 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8363 boxname=wulflinc20 idbench=159 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  bbfcebd70586668574286ad19a1cd5a8  /oldhome/oroussel/tmp/wulflinc20/normalized-ii8b2.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc20/normalized-ii8b2.opb
IDLAUNCH: 8363
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.012
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.012
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:        940380 kB
Buffers:         11144 kB
Cached:          66444 kB
SwapCached:          0 kB
Active:          45640 kB
Inactive:        34796 kB
HighTotal:      131008 kB
HighFree:        60200 kB
LowTotal:       903652 kB
LowFree:        880180 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              52 kB
Writeback:           0 kB
Mapped:           6976 kB
Slab:             8236 kB
Committed_AS:    63656 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 15:04:21 (client local time) WITH STATUS 10 IN 1207.64 SECONDS
stats: 8363 0 1207.64 10

Solver Data

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

c Decision: 197910/460684	Time: 791.469/86400
c Decision: 197910/460684	Time: 883.659/86400
c Decision: 197910/460684	Time: 956.897/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 -x1061 x1062 -x1063 x1064 -x1065 x1066 -x1067 x1068 -x1069 x107 x1070 x1071 -x1072 -x1073 -x1074 -x1075 x1076 -x1077 x1078 -x1079 -x108 -x1080 -x1081 x1082 x1083 -x1084 x1085 -x1086 -x1087 x1088 -x1089 x109 x1090 -x1091 x1092 -x1093 -x1094 -x1095 -x1096 x1097 -x1098 -x1099 x11 -x110 -x1100 -x1101 x1102 -x1103 -x1104 x1105 -x1106 -x1107 x1108 -x1109 -x111 x1110 -x1111 x1112 -x1113 x1114 -x1115 x1116 -x1117 x1118 -x1119 x112 -x1120 -x1121 -x1122 -x1123 x1124 -x1125 x1126 x1127 -x1128 x1129 x113 -x1130 -x1131 x1132 -x1133 x1134 -x1135 x1136 -x1137 x1138 -x1139 -x114 x1140 -x1141 x1142 x1143 -x1144 -x1145 -x1146 -x1147 x1148 -x1149 -x115 x1150 -x1151 -x1152 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/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 21002913 1527808 2 4294967295 134512640 135987407 3221224576 3221224576 134512928 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6723/statm): 373 2 364 364 0 9 0
[pid=6723] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc20/normalized-ii8b2.opb

[startup+10.0029 s]
Raw data (loadavg): 0.93 0.97 0.99 2/55 6723
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 30470 0 0 0 927 68 0 0 25 0 1 0 21002913 96608256 19344 4294967295 134512640 135987407 3221224576 3221206988 135480513 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6723/statm): 23586 19344 364 364 0 23222 0
[pid=6723] vsize: 94344
Current children cumulated CPU time (s) 9.95
Current children cumulated vsize (Kb) 94344

[startup+20.0036 s]
Raw data (loadavg): 0.94 0.97 0.99 2/55 6723
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 60569 0 0 0 1864 129 0 0 25 0 1 0 21002913 190812160 38240 4294967295 134512640 135987407 3221224576 3221012976 134887887 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6723/statm): 46585 38240 364 364 0 46221 0
[pid=6723] vsize: 186340
Current children cumulated CPU time (s) 19.93
Current children cumulated vsize (Kb) 186340

[startup+30.0033 s]
Raw data (loadavg): 0.95 0.97 0.99 2/55 6723
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 69991 0 0 0 2836 152 0 0 25 0 1 0 21002913 210702336 46478 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6723/statm): 51441 46478 364 364 0 51077 0
[pid=6723] vsize: 205764
Current children cumulated CPU time (s) 29.88
Current children cumulated vsize (Kb) 205764

[startup+40.004 s]
Raw data (loadavg): 0.96 0.97 0.99 2/55 6723
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 70152 0 0 0 3819 158 0 0 25 0 1 0 21002913 211300352 46582 4294967295 134512640 135987407 3221224576 3221223136 134811942 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6723/statm): 51587 46582 364 364 0 51223 0
[pid=6723] vsize: 206348
Current children cumulated CPU time (s) 39.77
Current children cumulated vsize (Kb) 206348

[startup+50.0037 s]
Raw data (loadavg): 0.96 0.97 0.99 1/55 6723
Raw data (/proc/6723/stat): 6723 (pb2sat) T 6722 6723 4059 0 -1 0 70329 0 0 0 4803 163 0 0 25 0 1 0 21002913 211972096 46726 4294967295 134512640 135987407 3221224576 3221223276 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/6723/statm): 51751 46726 364 364 0 51387 0
[pid=6723] vsize: 207004
Current children cumulated CPU time (s) 49.66
Current children cumulated vsize (Kb) 207004

[startup+60.0045 s]
Raw data (loadavg): 0.97 0.97 0.99 2/55 6723
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 71044 0 0 0 5778 172 0 0 25 0 1 0 21002913 214933504 47309 4294967295 134512640 135987407 3221224576 3221223212 134812119 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6723/statm): 52474 47309 364 364 0 52110 0
[pid=6723] vsize: 209896
Current children cumulated CPU time (s) 59.5
Current children cumulated vsize (Kb) 209896

[startup+70.0052 s]
Raw data (loadavg): 0.97 0.97 0.99 2/55 6723
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 71274 0 0 0 6760 179 0 0 25 0 1 0 21002913 215867392 47490 4294967295 134512640 135987407 3221224576 3221223136 134811706 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6723/statm): 52702 47490 364 364 0 52338 0
[pid=6723] vsize: 210808
Current children cumulated CPU time (s) 69.39
Current children cumulated vsize (Kb) 210808

[startup+80.0049 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 6723
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 72878 0 0 0 7747 186 0 0 25 0 1 0 21002913 221835264 48537 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6723/statm): 54159 48537 364 364 0 53795 0
[pid=6723] vsize: 216636
Current children cumulated CPU time (s) 79.33
Current children cumulated vsize (Kb) 216636

[startup+90.0056 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 6723
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 73293 0 0 0 8725 194 0 0 25 0 1 0 21002913 223940608 48919 4294967295 134512640 135987407 3221224576 3221223008 134788429 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6723/statm): 54673 48919 364 364 0 54309 0
[pid=6723] vsize: 218692
Current children cumulated CPU time (s) 89.19
Current children cumulated vsize (Kb) 218692

[startup+100.005 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 6723
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 73455 0 0 0 9693 205 0 0 25 0 1 0 21002913 224477184 49048 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6723/statm): 54804 49048 364 364 0 54440 0
[pid=6723] vsize: 219216
Current children cumulated CPU time (s) 98.98
Current children cumulated vsize (Kb) 219216

[startup+110.006 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 6723
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 74389 0 0 0 10679 212 0 0 25 0 1 0 21002913 227397632 49555 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6723/statm): 55517 49555 364 364 0 55153 0
[pid=6723] vsize: 222068
Current children cumulated CPU time (s) 108.91
Current children cumulated vsize (Kb) 222068

[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6723
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 74570 0 0 0 11672 214 0 0 25 0 1 0 21002913 227794944 49670 4294967295 134512640 135987407 3221224576 3221223136 134811807 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6723/statm): 55614 49670 364 364 0 55250 0
[pid=6723] vsize: 222456
Current children cumulated CPU time (s) 118.86
Current children cumulated vsize (Kb) 222456

[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6723
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 74653 0 0 0 12658 219 0 0 25 0 1 0 21002913 228192256 49720 4294967295 134512640 135987407 3221224576 3221223136 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6723/statm): 55711 49720 364 364 0 55347 0
[pid=6723] vsize: 222844
Current children cumulated CPU time (s) 128.77
Current children cumulated vsize (Kb) 222844

[startup+140.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6723
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 74746 0 0 0 13647 223 0 0 25 0 1 0 21002913 228474880 49780 4294967295 134512640 135987407 3221224576 3221223136 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6723/statm): 55780 49780 364 364 0 55416 0
[pid=6723] vsize: 223120
Current children cumulated CPU time (s) 138.7
Current children cumulated vsize (Kb) 223120

[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6723
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 75128 0 0 0 14640 225 0 0 25 0 1 0 21002913 229564416 49934 4294967295 134512640 135987407 3221224576 3221223136 134811962 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6723/statm): 56046 49934 364 364 0 55682 0
[pid=6723] vsize: 224184
Current children cumulated CPU time (s) 148.65
Current children cumulated vsize (Kb) 224184

[startup+160.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6723
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 75241 0 0 0 15627 229 0 0 25 0 1 0 21002913 229826560 49982 4294967295 134512640 135987407 3221224576 3221223008 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6723/statm): 56110 49982 364 364 0 55746 0
[pid=6723] vsize: 224440
Current children cumulated CPU time (s) 158.56
Current children cumulated vsize (Kb) 224440

[startup+170.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6723
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 75311 0 0 0 16600 239 0 0 25 0 1 0 21002913 230137856 50052 4294967295 134512640 135987407 3221224576 3221223296 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6723/statm): 56186 50052 364 364 0 55822 0
[pid=6723] vsize: 224744
Current children cumulated CPU time (s) 168.39
Current children cumulated vsize (Kb) 224744

[startup+180.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6723
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 75320 0 0 0 17573 247 0 0 25 0 1 0 21002913 230137856 50061 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6723/statm): 56186 50061 364 364 0 55822 0
[pid=6723] vsize: 224744
Current children cumulated CPU time (s) 178.2
Current children cumulated vsize (Kb) 224744

[startup+190.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6723
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 75324 0 0 0 18539 258 0 0 25 0 1 0 21002913 230137856 50065 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6723/statm): 56186 50065 364 364 0 55822 0
[pid=6723] vsize: 224744
Current children cumulated CPU time (s) 187.97
Current children cumulated vsize (Kb) 224744

[startup+200.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6723
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 75327 0 0 0 19512 267 0 0 25 0 1 0 21002913 230137856 50068 4294967295 134512640 135987407 3221224576 3221223136 134812056 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6723/statm): 56186 50068 364 364 0 55822 0
[pid=6723] vsize: 224744
Current children cumulated CPU time (s) 197.79
Current children cumulated vsize (Kb) 224744

[startup+210.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6723
Raw data (/proc/6723/stat): 6723 (pb2sat) T 6722 6723 4059 0 -1 0 75331 0 0 0 20482 276 0 0 25 0 1 0 21002913 230137856 50072 4294967295 134512640 135987407 3221224576 3221223276 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/6723/statm): 56186 50072 364 364 0 55822 0
[pid=6723] vsize: 224744
Current children cumulated CPU time (s) 207.58
Current children cumulated vsize (Kb) 224744

[startup+220.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6723
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 78443 0 0 0 21455 290 0 0 25 0 1 0 21002913 231272448 50262 4294967295 134512640 135987407 3221224576 3221222960 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6723/statm): 56463 50262 364 364 0 56099 0
[pid=6723] vsize: 225852
Current children cumulated CPU time (s) 217.45
Current children cumulated vsize (Kb) 225852

[startup+230.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6723
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 79740 0 0 0 22450 294 0 0 25 0 1 0 21002913 236310528 51172 4294967295 134512640 135987407 3221224576 3221223056 134812038 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6723/statm): 57693 51172 364 364 0 57329 0
[pid=6723] vsize: 230772
Current children cumulated CPU time (s) 227.44
Current children cumulated vsize (Kb) 230772

[startup+240.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6723
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 80165 0 0 0 23445 296 0 0 25 0 1 0 21002913 238305280 51565 4294967295 134512640 135987407 3221224576 3221223216 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6723/statm): 58180 51565 364 364 0 57816 0
[pid=6723] vsize: 232720
Current children cumulated CPU time (s) 237.41
Current children cumulated vsize (Kb) 232720

[startup+250.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6723
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 80473 0 0 0 24441 298 0 0 25 0 1 0 21002913 239505408 51741 4294967295 134512640 135987407 3221224576 3221223232 134812597 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6723/statm): 58473 51741 364 364 0 58109 0
[pid=6723] vsize: 233892
Current children cumulated CPU time (s) 247.39
Current children cumulated vsize (Kb) 233892

[startup+260.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6723
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 80903 0 0 0 25439 300 0 0 25 0 1 0 21002913 240828416 51975 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6723/statm): 58796 51975 364 364 0 58432 0
[pid=6723] vsize: 235184
Current children cumulated CPU time (s) 257.39
Current children cumulated vsize (Kb) 235184

[startup+270.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6723
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 81231 0 0 0 26434 302 0 0 25 0 1 0 21002913 241889280 52138 4294967295 134512640 135987407 3221224576 3221223056 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6723/statm): 59055 52138 364 364 0 58691 0
[pid=6723] vsize: 236220
Current children cumulated CPU time (s) 267.36
Current children cumulated vsize (Kb) 236220

[startup+280.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6723
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 81415 0 0 0 27431 303 0 0 25 0 1 0 21002913 242487296 52273 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6723/statm): 59201 52273 364 364 0 58837 0
[pid=6723] vsize: 236804
Current children cumulated CPU time (s) 277.34
Current children cumulated vsize (Kb) 236804

[startup+290.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6723
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 82013 0 0 0 28429 305 0 0 25 0 1 0 21002913 244736000 52643 4294967295 134512640 135987407 3221224576 3221223184 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6723/statm): 59750 52643 364 364 0 59386 0
[pid=6723] vsize: 239000
Current children cumulated CPU time (s) 287.34
Current children cumulated vsize (Kb) 239000

[startup+300.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6723
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 82077 0 0 0 29428 305 0 0 25 0 1 0 21002913 245002240 52707 4294967295 134512640 135987407 3221224576 3221223056 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6723/statm): 59815 52707 364 364 0 59451 0
[pid=6723] vsize: 239260
Current children cumulated CPU time (s) 297.33
Current children cumulated vsize (Kb) 239260

[startup+310.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6723
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 82317 0 0 0 30427 306 0 0 25 0 1 0 21002913 245796864 52882 4294967295 134512640 135987407 3221224576 3221223056 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6723/statm): 60009 52882 364 364 0 59645 0
[pid=6723] vsize: 240036
Current children cumulated CPU time (s) 307.33
Current children cumulated vsize (Kb) 240036

[startup+320.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6723
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 82502 0 0 0 31426 307 0 0 25 0 1 0 21002913 246321152 52937 4294967295 134512640 135987407 3221224576 3221223120 134801245 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6723/statm): 60137 52937 364 364 0 59773 0
[pid=6723] vsize: 240548
Current children cumulated CPU time (s) 317.33
Current children cumulated vsize (Kb) 240548

[startup+330.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6723
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 82516 0 0 0 32426 307 0 0 25 0 1 0 21002913 246321152 52951 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6723/statm): 60137 52951 364 364 0 59773 0
[pid=6723] vsize: 240548
Current children cumulated CPU time (s) 327.33
Current children cumulated vsize (Kb) 240548

[startup+340.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6723
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 82684 0 0 0 33425 308 0 0 25 0 1 0 21002913 246849536 53054 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6723/statm): 60266 53054 364 364 0 59902 0
[pid=6723] vsize: 241064
Current children cumulated CPU time (s) 337.33
Current children cumulated vsize (Kb) 241064

[startup+350.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6723
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 82909 0 0 0 34423 309 0 0 25 0 1 0 21002913 247242752 53181 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6723/statm): 60362 53181 364 364 0 59998 0
[pid=6723] vsize: 241448
Current children cumulated CPU time (s) 347.32
Current children cumulated vsize (Kb) 241448

[startup+360.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6723
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 82922 0 0 0 35423 309 0 0 25 0 1 0 21002913 247242752 53194 4294967295 134512640 135987407 3221224576 3221222928 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6723/statm): 60362 53194 364 364 0 59998 0
[pid=6723] vsize: 241448
Current children cumulated CPU time (s) 357.32
Current children cumulated vsize (Kb) 241448

[startup+370.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6723
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 82981 0 0 0 36421 310 0 0 25 0 1 0 21002913 247373824 53220 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6723/statm): 60394 53220 364 364 0 60030 0
[pid=6723] vsize: 241576
Current children cumulated CPU time (s) 367.31
Current children cumulated vsize (Kb) 241576

[startup+380.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6723
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 83272 0 0 0 37420 311 0 0 25 0 1 0 21002913 248160256 53317 4294967295 134512640 135987407 3221224576 3221223232 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6723/statm): 60586 53317 364 364 0 60222 0
[pid=6723] vsize: 242344
Current children cumulated CPU time (s) 377.31
Current children cumulated vsize (Kb) 242344

[startup+390.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6723
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 83282 0 0 0 38419 311 0 0 25 0 1 0 21002913 248160256 53327 4294967295 134512640 135987407 3221224576 3221223056 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6723/statm): 60586 53327 364 364 0 60222 0
[pid=6723] vsize: 242344
Current children cumulated CPU time (s) 387.3
Current children cumulated vsize (Kb) 242344

[startup+400.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6723
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 83292 0 0 0 39418 311 0 0 25 0 1 0 21002913 248160256 53337 4294967295 134512640 135987407 3221224576 3221223056 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6723/statm): 60586 53337 364 364 0 60222 0
[pid=6723] vsize: 242344
Current children cumulated CPU time (s) 397.29
Current children cumulated vsize (Kb) 242344

[startup+410.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6723
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 83302 0 0 0 40417 312 0 0 25 0 1 0 21002913 248160256 53347 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6723/statm): 60586 53347 364 364 0 60222 0
[pid=6723] vsize: 242344
Current children cumulated CPU time (s) 407.29
Current children cumulated vsize (Kb) 242344

[startup+420.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6723
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 83310 0 0 0 41416 312 0 0 25 0 1 0 21002913 248160256 53355 4294967295 134512640 135987407 3221224576 3221223056 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6723/statm): 60586 53355 364 364 0 60222 0
[pid=6723] vsize: 242344
Current children cumulated CPU time (s) 417.28
Current children cumulated vsize (Kb) 242344

[startup+430.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6723
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 83318 0 0 0 42416 312 0 0 25 0 1 0 21002913 248160256 53363 4294967295 134512640 135987407 3221224576 3221223056 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6723/statm): 60586 53363 364 364 0 60222 0
[pid=6723] vsize: 242344
Current children cumulated CPU time (s) 427.28
Current children cumulated vsize (Kb) 242344

[startup+440.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6723
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 83326 0 0 0 43415 313 0 0 25 0 1 0 21002913 248160256 53371 4294967295 134512640 135987407 3221224576 3221223056 134811995 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6723/statm): 60586 53371 364 364 0 60222 0
[pid=6723] vsize: 242344
Current children cumulated CPU time (s) 437.28
Current children cumulated vsize (Kb) 242344

[startup+450.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6723
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 83336 0 0 0 44415 313 0 0 25 0 1 0 21002913 248160256 53381 4294967295 134512640 135987407 3221224576 3221223216 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6723/statm): 60586 53381 364 364 0 60222 0
[pid=6723] vsize: 242344
Current children cumulated CPU time (s) 447.28
Current children cumulated vsize (Kb) 242344

[startup+460.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6723
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 83346 0 0 0 45414 313 0 0 25 0 1 0 21002913 248160256 53391 4294967295 134512640 135987407 3221224576 3221223184 134812261 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6723/statm): 60586 53391 364 364 0 60222 0
[pid=6723] vsize: 242344
Current children cumulated CPU time (s) 457.27
Current children cumulated vsize (Kb) 242344

[startup+470.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6723
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 83355 0 0 0 46412 314 0 0 25 0 1 0 21002913 248160256 53400 4294967295 134512640 135987407 3221224576 3221223056 134811959 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6723/statm): 60586 53400 364 364 0 60222 0
[pid=6723] vsize: 242344
Current children cumulated CPU time (s) 467.26
Current children cumulated vsize (Kb) 242344

[startup+480.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6723
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 83367 0 0 0 47412 314 0 0 25 0 1 0 21002913 248160256 53412 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6723/statm): 60586 53412 364 364 0 60222 0
[pid=6723] vsize: 242344
Current children cumulated CPU time (s) 477.26
Current children cumulated vsize (Kb) 242344

[startup+490.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6723
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 83375 0 0 0 48412 314 0 0 25 0 1 0 21002913 248160256 53420 4294967295 134512640 135987407 3221224576 3221223180 134812262 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6723/statm): 60586 53420 364 364 0 60222 0
[pid=6723] vsize: 242344
Current children cumulated CPU time (s) 487.26
Current children cumulated vsize (Kb) 242344

[startup+500.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6723
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 83388 0 0 0 49410 315 0 0 25 0 1 0 21002913 248160256 53433 4294967295 134512640 135987407 3221224576 3221223056 134811891 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6723/statm): 60586 53433 364 364 0 60222 0
[pid=6723] vsize: 242344
Current children cumulated CPU time (s) 497.25
Current children cumulated vsize (Kb) 242344

[startup+510.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6723
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 83401 0 0 0 50409 315 0 0 25 0 1 0 21002913 248160256 53446 4294967295 134512640 135987407 3221224576 3221223056 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6723/statm): 60586 53446 364 364 0 60222 0
[pid=6723] vsize: 242344
Current children cumulated CPU time (s) 507.24
Current children cumulated vsize (Kb) 242344

[startup+520.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6723
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 83411 0 0 0 51409 315 0 0 25 0 1 0 21002913 248160256 53456 4294967295 134512640 135987407 3221224576 3221223148 134812407 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6723/statm): 60586 53456 364 364 0 60222 0
[pid=6723] vsize: 242344
Current children cumulated CPU time (s) 517.24
Current children cumulated vsize (Kb) 242344

[startup+530.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6723
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 83421 0 0 0 52408 316 0 0 25 0 1 0 21002913 248160256 53466 4294967295 134512640 135987407 3221224576 3221223056 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6723/statm): 60586 53466 364 364 0 60222 0
[pid=6723] vsize: 242344
Current children cumulated CPU time (s) 527.24
Current children cumulated vsize (Kb) 242344

[startup+540.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6723
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 83431 0 0 0 53407 316 0 0 25 0 1 0 21002913 248160256 53476 4294967295 134512640 135987407 3221224576 3221223152 134812368 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6723/statm): 60586 53476 364 364 0 60222 0
[pid=6723] vsize: 242344
Current children cumulated CPU time (s) 537.23
Current children cumulated vsize (Kb) 242344

[startup+550.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6723
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 83442 0 0 0 54406 316 0 0 25 0 1 0 21002913 248160256 53487 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6723/statm): 60586 53487 364 364 0 60222 0
[pid=6723] vsize: 242344
Current children cumulated CPU time (s) 547.22
Current children cumulated vsize (Kb) 242344

[startup+560.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6723
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 83515 0 0 0 55405 317 0 0 25 0 1 0 21002913 248291328 53527 4294967295 134512640 135987407 3221224576 3221223216 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6723/statm): 60618 53527 364 364 0 60254 0
[pid=6723] vsize: 242472
Current children cumulated CPU time (s) 557.22
Current children cumulated vsize (Kb) 242472

[startup+570.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6723
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 83526 0 0 0 56404 317 0 0 25 0 1 0 21002913 248291328 53538 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6723/statm): 60618 53538 364 364 0 60254 0
[pid=6723] vsize: 242472
Current children cumulated CPU time (s) 567.21
Current children cumulated vsize (Kb) 242472

[startup+580.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6723
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 83534 0 0 0 57404 317 0 0 25 0 1 0 21002913 248291328 53546 4294967295 134512640 135987407 3221224576 3221223056 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6723/statm): 60618 53546 364 364 0 60254 0
[pid=6723] vsize: 242472
Current children cumulated CPU time (s) 577.21
Current children cumulated vsize (Kb) 242472

[startup+590.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6723
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 83544 0 0 0 58403 318 0 0 25 0 1 0 21002913 248291328 53556 4294967295 134512640 135987407 3221224576 3221223216 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6723/statm): 60618 53556 364 364 0 60254 0
[pid=6723] vsize: 242472
Current children cumulated CPU time (s) 587.21
Current children cumulated vsize (Kb) 242472

[startup+600.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6723
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 83554 0 0 0 59402 318 0 0 25 0 1 0 21002913 248291328 53566 4294967295 134512640 135987407 3221224576 3221223056 134812010 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6723/statm): 60618 53566 364 364 0 60254 0
[pid=6723] vsize: 242472
Current children cumulated CPU time (s) 597.2
Current children cumulated vsize (Kb) 242472

[startup+610.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6723
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 83568 0 0 0 60401 319 0 0 25 0 1 0 21002913 248291328 53580 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6723/statm): 60618 53580 364 364 0 60254 0
[pid=6723] vsize: 242472
Current children cumulated CPU time (s) 607.2
Current children cumulated vsize (Kb) 242472

[startup+620.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6723
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 83577 0 0 0 61400 319 0 0 25 0 1 0 21002913 248291328 53589 4294967295 134512640 135987407 3221224576 3221222928 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6723/statm): 60618 53589 364 364 0 60254 0
[pid=6723] vsize: 242472
Current children cumulated CPU time (s) 617.19
Current children cumulated vsize (Kb) 242472

[startup+630.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6723
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 83588 0 0 0 62400 319 0 0 25 0 1 0 21002913 248291328 53600 4294967295 134512640 135987407 3221224576 3221223056 134811807 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6723/statm): 60618 53600 364 364 0 60254 0
[pid=6723] vsize: 242472
Current children cumulated CPU time (s) 627.19
Current children cumulated vsize (Kb) 242472

[startup+640.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6723
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 83672 0 0 0 63399 320 0 0 25 0 1 0 21002913 248553472 53619 4294967295 134512640 135987407 3221224576 3221223152 134812358 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6723/statm): 60682 53619 364 364 0 60318 0
[pid=6723] vsize: 242728
Current children cumulated CPU time (s) 637.19
Current children cumulated vsize (Kb) 242728

[startup+650.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6723
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 83888 0 0 0 64398 321 0 0 25 0 1 0 21002913 249077760 53706 4294967295 134512640 135987407 3221224576 3221222928 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6723/statm): 60810 53706 364 364 0 60446 0
[pid=6723] vsize: 243240
Current children cumulated CPU time (s) 647.19
Current children cumulated vsize (Kb) 243240

[startup+660.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6723
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 83896 0 0 0 65398 321 0 0 25 0 1 0 21002913 249077760 53714 4294967295 134512640 135987407 3221224576 3221223216 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6723/statm): 60810 53714 364 364 0 60446 0
[pid=6723] vsize: 243240
Current children cumulated CPU time (s) 657.19
Current children cumulated vsize (Kb) 243240

[startup+670.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6723
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 83904 0 0 0 66397 322 0 0 25 0 1 0 21002913 249077760 53722 4294967295 134512640 135987407 3221224576 3221223056 134812033 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6723/statm): 60810 53722 364 364 0 60446 0
[pid=6723] vsize: 243240
Current children cumulated CPU time (s) 667.19
Current children cumulated vsize (Kb) 243240

[startup+680.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6723
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 83916 0 0 0 67396 322 0 0 25 0 1 0 21002913 249077760 53734 4294967295 134512640 135987407 3221224576 3221222928 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6723/statm): 60810 53734 364 364 0 60446 0
[pid=6723] vsize: 243240
Current children cumulated CPU time (s) 677.18
Current children cumulated vsize (Kb) 243240

[startup+690.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6723
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 83922 0 0 0 68396 322 0 0 25 0 1 0 21002913 249077760 53740 4294967295 134512640 135987407 3221224576 3221223056 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6723/statm): 60810 53740 364 364 0 60446 0
[pid=6723] vsize: 243240
Current children cumulated CPU time (s) 687.18
Current children cumulated vsize (Kb) 243240

[startup+700.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6723
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 83930 0 0 0 69396 323 0 0 25 0 1 0 21002913 249077760 53748 4294967295 134512640 135987407 3221224576 3221223056 134811972 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6723/statm): 60810 53748 364 364 0 60446 0
[pid=6723] vsize: 243240
Current children cumulated CPU time (s) 697.19
Current children cumulated vsize (Kb) 243240

[startup+710.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6723
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 83941 0 0 0 70394 323 0 0 25 0 1 0 21002913 249077760 53759 4294967295 134512640 135987407 3221224576 3221223056 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6723/statm): 60810 53759 364 364 0 60446 0
[pid=6723] vsize: 243240
Current children cumulated CPU time (s) 707.17
Current children cumulated vsize (Kb) 243240

[startup+720.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6723
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 83949 0 0 0 71393 324 0 0 25 0 1 0 21002913 249077760 53767 4294967295 134512640 135987407 3221224576 3221223056 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6723/statm): 60810 53767 364 364 0 60446 0
[pid=6723] vsize: 243240
Current children cumulated CPU time (s) 717.17
Current children cumulated vsize (Kb) 243240

[startup+730.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6723
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 83957 0 0 0 72392 324 0 0 25 0 1 0 21002913 249077760 53775 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6723/statm): 60810 53775 364 364 0 60446 0
[pid=6723] vsize: 243240
Current children cumulated CPU time (s) 727.16
Current children cumulated vsize (Kb) 243240

[startup+740.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6723
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 83979 0 0 0 73390 325 0 0 25 0 1 0 21002913 249077760 53797 4294967295 134512640 135987407 3221224576 3221222944 134788831 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6723/statm): 60810 53797 364 364 0 60446 0
[pid=6723] vsize: 243240
Current children cumulated CPU time (s) 737.15
Current children cumulated vsize (Kb) 243240

[startup+750.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6723
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 83994 0 0 0 74389 325 0 0 25 0 1 0 21002913 249077760 53812 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6723/statm): 60810 53812 364 364 0 60446 0
[pid=6723] vsize: 243240
Current children cumulated CPU time (s) 747.14
Current children cumulated vsize (Kb) 243240

[startup+760.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6723
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 84010 0 0 0 75388 326 0 0 25 0 1 0 21002913 249077760 53828 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6723/statm): 60810 53828 364 364 0 60446 0
[pid=6723] vsize: 243240
Current children cumulated CPU time (s) 757.14
Current children cumulated vsize (Kb) 243240

[startup+770.031 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6723
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 84020 0 0 0 76386 327 0 0 25 0 1 0 21002913 249077760 53838 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6723/statm): 60810 53838 364 364 0 60446 0
[pid=6723] vsize: 243240
Current children cumulated CPU time (s) 767.13
Current children cumulated vsize (Kb) 243240

[startup+780.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6723
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 84221 0 0 0 77383 328 0 0 25 0 1 0 21002913 249737216 53941 4294967295 134512640 135987407 3221224576 3221223232 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6723/statm): 60971 53941 364 364 0 60607 0
[pid=6723] vsize: 243884
Current children cumulated CPU time (s) 777.11
Current children cumulated vsize (Kb) 243884

[startup+790.031 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6723
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 84344 0 0 0 78381 329 0 0 25 0 1 0 21002913 250134528 54031 4294967295 134512640 135987407 3221224576 3221223056 134811956 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6723/statm): 61068 54031 364 364 0 60704 0
[pid=6723] vsize: 244272
Current children cumulated CPU time (s) 787.1
Current children cumulated vsize (Kb) 244272

[startup+800.031 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6723
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 84587 0 0 0 79378 331 0 0 25 0 1 0 21002913 250789888 54111 4294967295 134512640 135987407 3221224576 3221223056 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6723/statm): 61228 54111 364 364 0 60864 0
[pid=6723] vsize: 244912
Current children cumulated CPU time (s) 797.09
Current children cumulated vsize (Kb) 244912

[startup+810.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6723
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 84733 0 0 0 80375 332 0 0 25 0 1 0 21002913 250920960 54224 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6723/statm): 61260 54224 364 364 0 60896 0
[pid=6723] vsize: 245040
Current children cumulated CPU time (s) 807.07
Current children cumulated vsize (Kb) 245040

[startup+820.031 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6723
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 84764 0 0 0 81375 333 0 0 25 0 1 0 21002913 250920960 54255 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6723/statm): 61260 54255 364 364 0 60896 0
[pid=6723] vsize: 245040
Current children cumulated CPU time (s) 817.08
Current children cumulated vsize (Kb) 245040

[startup+830.031 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6723
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 84782 0 0 0 82374 333 0 0 25 0 1 0 21002913 250920960 54273 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6723/statm): 61260 54273 364 364 0 60896 0
[pid=6723] vsize: 245040
Current children cumulated CPU time (s) 827.07
Current children cumulated vsize (Kb) 245040

[startup+840.032 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6723
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 84791 0 0 0 83374 333 0 0 25 0 1 0 21002913 250920960 54282 4294967295 134512640 135987407 3221224576 3221223056 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6723/statm): 61260 54282 364 364 0 60896 0
[pid=6723] vsize: 245040
Current children cumulated CPU time (s) 837.07
Current children cumulated vsize (Kb) 245040

[startup+850.031 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6723
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 84819 0 0 0 84372 334 0 0 25 0 1 0 21002913 250920960 54310 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6723/statm): 61260 54310 364 364 0 60896 0
[pid=6723] vsize: 245040
Current children cumulated CPU time (s) 847.06
Current children cumulated vsize (Kb) 245040

[startup+860.031 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6723
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 84837 0 0 0 85372 334 0 0 25 0 1 0 21002913 250920960 54328 4294967295 134512640 135987407 3221224576 3221223232 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6723/statm): 61260 54328 364 364 0 60896 0
[pid=6723] vsize: 245040
Current children cumulated CPU time (s) 857.06
Current children cumulated vsize (Kb) 245040

[startup+870.032 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6723
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 84857 0 0 0 86370 334 0 0 25 0 1 0 21002913 250920960 54348 4294967295 134512640 135987407 3221224576 3221223184 134824720 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6723/statm): 61260 54348 364 364 0 60896 0
[pid=6723] vsize: 245040
Current children cumulated CPU time (s) 867.04
Current children cumulated vsize (Kb) 245040

[startup+880.032 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6723
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 84876 0 0 0 87370 335 0 0 25 0 1 0 21002913 250920960 54367 4294967295 134512640 135987407 3221224576 3221223232 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6723/statm): 61260 54367 364 364 0 60896 0
[pid=6723] vsize: 245040
Current children cumulated CPU time (s) 877.05
Current children cumulated vsize (Kb) 245040

[startup+890.032 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6723
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 84891 0 0 0 88369 335 0 0 25 0 1 0 21002913 250920960 54382 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6723/statm): 61260 54382 364 364 0 60896 0
[pid=6723] vsize: 245040
Current children cumulated CPU time (s) 887.04
Current children cumulated vsize (Kb) 245040

[startup+900.032 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6723
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 84904 0 0 0 89368 335 0 0 25 0 1 0 21002913 250920960 54395 4294967295 134512640 135987407 3221224576 3221223056 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6723/statm): 61260 54395 364 364 0 60896 0
[pid=6723] vsize: 245040
Current children cumulated CPU time (s) 897.03
Current children cumulated vsize (Kb) 245040

[startup+910.032 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6723
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 84914 0 0 0 90367 336 0 0 25 0 1 0 21002913 250920960 54405 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6723/statm): 61260 54405 364 364 0 60896 0
[pid=6723] vsize: 245040
Current children cumulated CPU time (s) 907.03
Current children cumulated vsize (Kb) 245040

[startup+920.033 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6723
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 84927 0 0 0 91366 336 0 0 25 0 1 0 21002913 250920960 54418 4294967295 134512640 135987407 3221224576 3221223056 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6723/statm): 61260 54418 364 364 0 60896 0
[pid=6723] vsize: 245040
Current children cumulated CPU time (s) 917.02
Current children cumulated vsize (Kb) 245040

[startup+930.033 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6723
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 84946 0 0 0 92365 337 0 0 25 0 1 0 21002913 250920960 54437 4294967295 134512640 135987407 3221224576 3221223056 134811773 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6723/statm): 61260 54437 364 364 0 60896 0
[pid=6723] vsize: 245040
Current children cumulated CPU time (s) 927.02
Current children cumulated vsize (Kb) 245040

[startup+940.034 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6723
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 84959 0 0 0 93361 338 0 0 25 0 1 0 21002913 250920960 54450 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6723/statm): 61260 54450 364 364 0 60896 0
[pid=6723] vsize: 245040
Current children cumulated CPU time (s) 936.99
Current children cumulated vsize (Kb) 245040

[startup+950.034 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6723
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 84974 0 0 0 94358 339 0 0 25 0 1 0 21002913 250920960 54465 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6723/statm): 61260 54465 364 364 0 60896 0
[pid=6723] vsize: 245040
Current children cumulated CPU time (s) 946.97
Current children cumulated vsize (Kb) 245040

[startup+960.033 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6778
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 84994 0 0 0 95355 341 0 0 25 0 1 0 21002913 250920960 54485 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6723/statm): 61260 54485 364 364 0 60896 0
[pid=6723] vsize: 245040
Current children cumulated CPU time (s) 956.96
Current children cumulated vsize (Kb) 245040

[startup+970.034 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6778
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 85016 0 0 0 96354 342 0 0 25 0 1 0 21002913 250920960 54507 4294967295 134512640 135987407 3221224576 3221222936 134801607 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6723/statm): 61260 54507 364 364 0 60896 0
[pid=6723] vsize: 245040
Current children cumulated CPU time (s) 966.96
Current children cumulated vsize (Kb) 245040

[startup+980.034 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6778
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 85028 0 0 0 97354 342 0 0 25 0 1 0 21002913 250920960 54519 4294967295 134512640 135987407 3221224576 3221222896 134775168 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6723/statm): 61260 54519 364 364 0 60896 0
[pid=6723] vsize: 245040
Current children cumulated CPU time (s) 976.96
Current children cumulated vsize (Kb) 245040

[startup+990.035 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6778
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 85042 0 0 0 98354 342 0 0 25 0 1 0 21002913 250920960 54533 4294967295 134512640 135987407 3221224576 3221223056 134812010 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6723/statm): 61260 54533 364 364 0 60896 0
[pid=6723] vsize: 245040
Current children cumulated CPU time (s) 986.96
Current children cumulated vsize (Kb) 245040

[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6778
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 85052 0 0 0 99353 343 0 0 25 0 1 0 21002913 250920960 54543 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6723/statm): 61260 54543 364 364 0 60896 0
[pid=6723] vsize: 245040
Current children cumulated CPU time (s) 996.96
Current children cumulated vsize (Kb) 245040

[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 6780
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 85957 0 0 0 100351 345 0 0 25 0 1 0 21002913 250920960 54548 4294967295 134512640 135987407 3221224576 3221223184 134876845 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6723/statm): 61260 54548 364 364 0 60896 0
[pid=6723] vsize: 245040
Current children cumulated CPU time (s) 1006.96
Current children cumulated vsize (Kb) 245040

[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6780
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 85969 0 0 0 101348 347 0 0 25 0 1 0 21002913 250920960 54560 4294967295 134512640 135987407 3221224576 3221223056 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6723/statm): 61260 54560 364 364 0 60896 0
[pid=6723] vsize: 245040
Current children cumulated CPU time (s) 1016.95
Current children cumulated vsize (Kb) 245040

[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6782
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 86048 0 0 0 102347 347 0 0 25 0 1 0 21002913 251183104 54574 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6723/statm): 61324 54574 364 364 0 60960 0
[pid=6723] vsize: 245296
Current children cumulated CPU time (s) 1026.94
Current children cumulated vsize (Kb) 245296

[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6784
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 86051 0 0 0 103346 347 0 0 25 0 1 0 21002913 251183104 54577 4294967295 134512640 135987407 3221224576 3221223232 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6723/statm): 61324 54577 364 364 0 60960 0
[pid=6723] vsize: 245296
Current children cumulated CPU time (s) 1036.93
Current children cumulated vsize (Kb) 245296

[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6784
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 86094 0 0 0 104345 348 0 0 25 0 1 0 21002913 251183104 54620 4294967295 134512640 135987407 3221224576 3221223056 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6723/statm): 61324 54620 364 364 0 60960 0
[pid=6723] vsize: 245296
Current children cumulated CPU time (s) 1046.93
Current children cumulated vsize (Kb) 245296

[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6784
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 86095 0 0 0 105345 348 0 0 25 0 1 0 21002913 251183104 54621 4294967295 134512640 135987407 3221224576 3221222928 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6723/statm): 61324 54621 364 364 0 60960 0
[pid=6723] vsize: 245296
Current children cumulated CPU time (s) 1056.93
Current children cumulated vsize (Kb) 245296

[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6784
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 86415 0 0 0 106342 350 0 0 25 0 1 0 21002913 252170240 54792 4294967295 134512640 135987407 3221224576 3221222960 135293398 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6723/statm): 61565 54792 364 364 0 61201 0
[pid=6723] vsize: 246260
Current children cumulated CPU time (s) 1066.92
Current children cumulated vsize (Kb) 246260

[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6784
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 86625 0 0 0 107337 352 0 0 25 0 1 0 21002913 252698624 54936 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6723/statm): 61694 54936 364 364 0 61330 0
[pid=6723] vsize: 246776
Current children cumulated CPU time (s) 1076.89
Current children cumulated vsize (Kb) 246776

[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6784
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 87005 0 0 0 108335 354 0 0 25 0 1 0 21002913 254025728 55218 4294967295 134512640 135987407 3221224576 3221223056 134788831 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6723/statm): 62018 55218 364 364 0 61654 0
[pid=6723] vsize: 248072
Current children cumulated CPU time (s) 1086.89
Current children cumulated vsize (Kb) 248072

[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6784
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 87498 0 0 0 109333 355 0 0 25 0 1 0 21002913 255205376 55418 4294967295 134512640 135987407 3221224576 3221223056 134812028 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6723/statm): 62306 55418 364 364 0 61942 0
[pid=6723] vsize: 249224
Current children cumulated CPU time (s) 1096.88
Current children cumulated vsize (Kb) 249224

[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6784
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 88411 0 0 0 110329 357 0 0 25 0 1 0 21002913 255205376 55431 4294967295 134512640 135987407 3221224576 3221223216 134790007 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6723/statm): 62306 55431 364 364 0 61942 0
[pid=6723] vsize: 249224
Current children cumulated CPU time (s) 1106.86
Current children cumulated vsize (Kb) 249224

[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6784
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 88452 0 0 0 111328 357 0 0 25 0 1 0 21002913 255336448 55439 4294967295 134512640 135987407 3221224576 3221223232 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6723/statm): 62338 55439 364 364 0 61974 0
[pid=6723] vsize: 249352
Current children cumulated CPU time (s) 1116.85
Current children cumulated vsize (Kb) 249352

[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6784
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 88535 0 0 0 112326 358 0 0 25 0 1 0 21002913 255598592 55457 4294967295 134512640 135987407 3221224576 3221223056 134811959 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6723/statm): 62402 55457 364 364 0 62038 0
[pid=6723] vsize: 249608
Current children cumulated CPU time (s) 1126.84
Current children cumulated vsize (Kb) 249608

[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6784
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 88738 0 0 0 113324 359 0 0 25 0 1 0 21002913 256389120 55595 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6723/statm): 62595 55595 364 364 0 62231 0
[pid=6723] vsize: 250380
Current children cumulated CPU time (s) 1136.83
Current children cumulated vsize (Kb) 250380

[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6784
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 88937 0 0 0 114323 359 0 0 25 0 1 0 21002913 256913408 55664 4294967295 134512640 135987407 3221224576 3221223184 134824238 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6723/statm): 62723 55664 364 364 0 62359 0
[pid=6723] vsize: 250892
Current children cumulated CPU time (s) 1146.82
Current children cumulated vsize (Kb) 250892

[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6784
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 89112 0 0 0 115322 360 0 0 25 0 1 0 21002913 257437696 55710 4294967295 134512640 135987407 3221224576 3221223056 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6723/statm): 62851 55710 364 364 0 62487 0
[pid=6723] vsize: 251404
Current children cumulated CPU time (s) 1156.82
Current children cumulated vsize (Kb) 251404

[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6784
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 89113 0 0 0 116321 361 0 0 25 0 1 0 21002913 257437696 55711 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6723/statm): 62851 55711 364 364 0 62487 0
[pid=6723] vsize: 251404
Current children cumulated CPU time (s) 1166.82
Current children cumulated vsize (Kb) 251404

[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6784
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 90020 0 0 0 117317 363 0 0 25 0 1 0 21002913 257437696 55718 4294967295 134512640 135987407 3221224576 3221223184 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6723/statm): 62851 55718 364 364 0 62487 0
[pid=6723] vsize: 251404
Current children cumulated CPU time (s) 1176.8
Current children cumulated vsize (Kb) 251404

[startup+1190.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6784
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 90020 0 0 0 118317 364 0 0 25 0 1 0 21002913 257437696 55718 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6723/statm): 62851 55718 364 364 0 62487 0
[pid=6723] vsize: 251404
Current children cumulated CPU time (s) 1186.81
Current children cumulated vsize (Kb) 251404

[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6784
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 90021 0 0 0 119317 364 0 0 25 0 1 0 21002913 257437696 55719 4294967295 134512640 135987407 3221224576 3221223056 134811816 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6723/statm): 62851 55719 364 364 0 62487 0
[pid=6723] vsize: 251404
Current children cumulated CPU time (s) 1196.81
Current children cumulated vsize (Kb) 251404

[startup+1210.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6784
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 90021 0 0 0 120316 364 0 0 25 0 1 0 21002913 257437696 55719 4294967295 134512640 135987407 3221224576 3221223056 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6723/statm): 62851 55719 364 364 0 62487 0
[pid=6723] vsize: 251404
Current children cumulated CPU time (s) 1206.8
Current children cumulated vsize (Kb) 251404



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6784
Raw data (/proc/6723/stat): 6723 (pb2sat) R 6722 6723 4059 0 -1 0 90021 0 0 0 120316 364 0 0 25 0 1 0 21002913 257437696 55719 4294967295 134512640 135987407 3221224576 3221223056 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6723/statm): 62851 55719 364 364 0 62487 0
[pid=6723] vsize: 251404
Current children cumulated CPU time (s) 1206.8
Current children cumulated vsize (Kb) 251404

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

Child status: 10
Real time (s): 1210.88
CPU time (s): 1207.64
CPU user time (s): 1203.88
CPU system time (s): 3.75943
CPU usage (%): 99.732
Max. virtual memory (cumulated for all children) (Kb): 251404

Verifier Data

Verifier:	OK	511