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-ii8c1.opb
MD5SUM5573ac468e70af6b65c69997b62e5033
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 302
Optimality of the best value was proved NO
Number of terms in the objective function 1020
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 1020
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1020
Number of bits of the biggest sum of numbers10
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1195.03
Number of variables1020
Total number of constraints3575
Number of constraints which are clauses3575
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 9683

Launcher Data

LAUNCH ON wulflinc27 THE 2005-09-23 14:45:09 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8366 boxname=wulflinc27 idbench=162 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  5573ac468e70af6b65c69997b62e5033  /oldhome/oroussel/tmp/wulflinc27/normalized-ii8c1.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc27/normalized-ii8c1.opb
IDLAUNCH: 8366
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.039
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.039
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:        944380 kB
Buffers:         10916 kB
Cached:          62728 kB
SwapCached:          0 kB
Active:          44896 kB
Inactive:        31632 kB
HighTotal:      131008 kB
HighFree:        63840 kB
LowTotal:       903652 kB
LowFree:        880540 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6976 kB
Slab:             8248 kB
Committed_AS:    63624 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 15:05:20 (client local time) WITH STATUS 10 IN 1206.97 SECONDS
stats: 8366 0 1206.97 10

Solver Data

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

c Decision: 168338/391946	Time: 52.796/86400
c Decision: 168338/391946	Time: 98.1051/86400
c Decision: 168338/391946	Time: 158.292/86400
c Decision: 172979/391946	Time: 287.266/86400
c Decision: 172979/391946	Time: 386.719/86400
c Decision: 172979/391946	Time: 487.585/86400
c Decision: 173003/391946	Time: 619.724/86400
c Decision: 173003/391946	Time: 705.598/86400
c Decision: 173010/391946	Time: 852.809/86400
c Decision: 173010/391946	Time: 948.348/86400
c Decision: 173010/391946	Time: 1037.69/86400
c Decision: 173010/391946	Time: 1140.36/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 x103 -x104 x105 -x106 x107 -x108 x109 x11 -x110 x111 -x112 -x113 x114 x115 -x116 x117 -x118 x119 -x12 -x120 x121 -x122 x123 -x124 x125 -x126 x127 -x128 x129 x13 -x130 x131 -x132 x133 -x134 x135 -x136 x137 -x138 x139 -x14 -x140 x141 -x142 x143 -x144 -x145 x146 x147 -x148 x149 x15 -x150 x151 -x152 x153 -x154 x155 -x156 x157 -x158 x159 -x16 -x160 x161 -x162 x163 -x164 x165 -x166 x167 -x168 x169 x17 -x170 x171 -x172 x173 -x174 x175 -x176 -x177 x178 x179 -x18 -x180 x181 -x182 x183 -x184 x185 -x186 x187 -x188 x189 x19 -x190 x191 -x192 x193 -x194 x195 -x196 x197 -x198 x199 -x2 -x20 -x200 x201 -x202 x203 -x204 x205 -x206 x207 -x208 -x209 x21 x210 x211 -x212 x213 -x214 x215 -x216 x217 -x218 x219 -x22 -x220 x221 -x222 x223 -x224 x225 -x226 x227 -x228 x229 x23 -x230 x231 -x232 x233 -x234 x235 -x236 x237 -x238 x239 -x24 -x240 -x241 x242 x243 -x244 x245 -x246 x247 -x248 x249 -x25 -x250 x251 -x252 x253 -x254 x255 -x256 x257 -x258 x259 x26 -x260 x261 -x262 x263 -x264 x265 -x266 x267 -x268 x269 x27 -x270 x271 -x272 -x273 x274 x275 -x276 x277 -x278 x279 -x28 -x280 x281 -x282 x283 -x284 x285 -x286 x287 -x288 x289 x29 -x290 x291 -x292 x293 -x294 x295 -x296 x297 -x298 x299 x3 -x30 -x300 x301 -x302 x303 -x304 -x305 x306 x307 -x308 x309 x31 -x310 x311 -x312 x313 -x314 x315 -x316 x317 -x318 x319 -x32 -x320 -x321 x322 x323 -x324 -x325 x326 -x327 x328 -x329 x33 x330 -x331 x332 -x333 x334 -x335 x336 -x337 x338 -x339 -x34 x340 x341 -x342 -x343 x344 -x345 x346 -x347 x348 -x349 x35 x350 -x351 x352 -x353 x354 -x355 x356 -x357 x358 -x359 -x36 x360 -x361 x362 x363 -x364 -x365 x366 -x367 x368 -x369 x37 x370 -x371 x372 -x373 x374 -x375 x376 -x377 x378 -x379 -x38 x380 x381 -x382 -x383 x384 -x385 x386 -x387 x388 -x389 x39 x390 -x391 x392 -x393 x394 -x395 x396 -x397 x398 -x399 -x4 -x40 x400 x401 -x402 -x403 x404 -x405 x406 -x407 x408 -x409 x41 x410 -x411 x412 -x413 x414 -x415 x416 -x417 x418 -x419 -x42 x420 -x421 x422 x423 -x424 -x425 x426 -x427 x428 -x429 x43 x430 -x431 x432 -x433 x434 -x435 x436 -x437 x438 -x439 -x44 x440 x441 -x442 -x443 x444 -x445 x446 -x447 x448 -x449 x45 x450 -x451 x452 -x453 x454 -x455 x456 -x457 x458 -x459 -x46 x460 -x461 x462 x463 -x464 -x465 x466 -x467 x468 -x469 x47 x470 -x471 x472 -x473 x474 -x475 x476 -x477 x478 -x479 -x48 x480 -x481 x482 x483 -x484 -x485 x486 -x487 x488 -x489 -x49 x490 -x491 x492 -x493 x494 -x495 x496 -x497 x498 -x499 x5 x50 x500 x501 -x502 -x503 x504 -x505 x506 -x507 x508 -x509 x51 x510 -x511 x512 -x513 x514 -x515 x516 -x517 x518 -x519 -x52 x520 -x521 x522 x523 -x524 -x525 x526 -x527 x528 -x529 x53 x530 -x531 x532 -x533 x534 -x535 x536 -x537 x538 -x539 -x54 x540 x541 -x542 -x543 x544 -x545 x546 -x547 x548 -x549 x55 x550 -x551 x552 -x553 x554 -x555 x556 -x557 x558 -x559 -x56 x560 -x561 x562 x563 -x564 -x565 x566 -x567 x568 -x569 x57 x570 -x571 x572 -x573 x574 -x575 x576 -x577 x578 -x579 -x58 x580 -x581 x582 x583 -x584 -x585 x586 -x587 x588 -x589 x59 x590 -x591 x592 -x593 x594 -x595 x596 -x597 x598 -x599 -x6 -x60 x600 x601 -x602 -x603 x604 -x605 x606 -x607 x608 -x609 x61 x610 -x611 x612 -x613 x614 -x615 x616 -x617 x618 -x619 -x62 x620 x621 -x622 -x623 x624 -x625 x626 -x627 x628 -x629 x63 x630 -x631 x632 -x633 x634 -x635 x636 -x637 x638 -x639 -x64 x640 x641 -x642 -x643 x644 -x645 x646 -x647 x648 -x649 x65 x650 -x651 x652 -x653 x654 -x655 x656 -x657 x658 -x659 -x66 x660 x661 -x662 -x663 x664 -x665 x666 -x667 x668 -x669 x67 x670 -x671 x672 -x673 x674 -x675 x676 -x677 x678 -x679 -x68 x680 x681 -x682 -x683 x684 -x685 x686 -x687 x688 -x689 x69 x690 -x691 x692 -x693 x694 -x695 x696 -x697 x698 -x699 x7 -x70 x700 x701 -x702 -x703 x704 -x705 x706 -x707 x708 -x709 x71 x710 -x711 x712 -x713 x714 -x715 x716 -x717 x718 -x719 -x72 x720 -x721 x722 x723 -x724 -x725 x726 -x727 x728 -x729 x73 x730 -x731 x732 -x733 x734 -x735 x736 -x737 x738 -x739 -x74 x740 x741 -x742 -x743 x744 -x745 x746 -x747 x748 -x749 x75 x750 -x751 x752 -x753 x754 -x755 x756 -x757 x758 -x759 -x76 x760 -x761 x762 x763 -x764 -x765 x766 -x767 x768 -x769 x77 x770 -x771 x772 -x773 x774 -x775 x776 -x777 x778 -x779 -x78 x780 x781 -x782 -x783 x784 -x785 x786 -x787 x788 -x789 x79 x790 -x791 x792 -x793 x794 -x795 x796 -x797 x798 -x799 -x8 -x80 x800 -x801 x802 x803 -x804 -x805 x806 -x807 x808 -x809 -x81 x810 -x811 x812 -x813 x814 -x815 x816 -x817 x818 -x819 x82 x820 x821 -x822 -x823 x824 -x825 x826 -x827 x828 -x829 x83 x830 -x831 x832 -x833 x834 -x835 x836 -x837 x838 -x839 -x84 x840 -x841 x842 x843 -x844 -x845 x846 -x847 x848 -x849 x85 x850 -x851 x852 -x853 x854 -x855 x856 -x857 x858 -x859 -x86 x860 -x861 x862 x863 -x864 -x865 x866 -x867 x868 -x869 x87 x870 -x871 x872 -x873 x874 -x875 x876 -x877 x878 -x879 -x88 x880 -x881 x882 x883 -x884 -x885 x886 -x887 x888 -x889 x89 x890 -x891 x892 -x893 x894 -x895 x896 -x897 x898 -x899 x9 -x90 x900 x901 -x902 -x903 x904 -x905 x906 -x907 x908 -x909 x91 x910 -x911 x912 -x913 x914 -x915 x916 -x917 x918 -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/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 20972145 1527808 2 4294967295 134512640 135987407 3221224576 3221224576 134512928 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7870/statm): 373 2 364 364 0 9 0
[pid=7870] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc27/normalized-ii8c1.opb

[startup+10.0018 s]
Raw data (loadavg): 0.93 0.98 0.99 2/55 7870
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 30227 0 0 0 927 69 0 0 25 0 1 0 20972145 96292864 19107 4294967295 134512640 135987407 3221224576 3220990976 134640300 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7870/statm): 23509 19107 364 364 0 23145 0
[pid=7870] vsize: 94036
Current children cumulated CPU time (s) 9.96
Current children cumulated vsize (Kb) 94036

[startup+20.0027 s]
Raw data (loadavg): 0.94 0.98 0.99 2/55 7870
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 59967 0 0 0 1858 135 0 0 25 0 1 0 20972145 189956096 37648 4294967295 134512640 135987407 3221224576 3221156632 134636945 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7870/statm): 46376 37648 364 364 0 46012 0
[pid=7870] vsize: 185504
Current children cumulated CPU time (s) 19.93
Current children cumulated vsize (Kb) 185504

[startup+30.0035 s]
Raw data (loadavg): 0.95 0.98 0.99 2/55 7870
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 64850 0 0 0 2843 146 0 0 25 0 1 0 20972145 202272768 40670 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7870/statm): 49383 40670 364 364 0 49019 0
[pid=7870] vsize: 197532
Current children cumulated CPU time (s) 29.89
Current children cumulated vsize (Kb) 197532

[startup+40.0033 s]
Raw data (loadavg): 0.95 0.98 0.99 2/55 7870
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 65743 0 0 0 3838 149 0 0 25 0 1 0 20972145 206471168 41449 4294967295 134512640 135987407 3221224576 3221222992 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7870/statm): 50408 41449 364 364 0 50044 0
[pid=7870] vsize: 201632
Current children cumulated CPU time (s) 39.87
Current children cumulated vsize (Kb) 201632

[startup+50.0041 s]
Raw data (loadavg): 0.96 0.98 0.99 2/55 7870
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 66498 0 0 0 4832 152 0 0 25 0 1 0 20972145 209534976 41974 4294967295 134512640 135987407 3221224576 3221223120 134811942 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7870/statm): 51156 41974 364 364 0 50792 0
[pid=7870] vsize: 204624
Current children cumulated CPU time (s) 49.84
Current children cumulated vsize (Kb) 204624

[startup+60.0039 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 7870
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 66697 0 0 0 5827 154 0 0 25 0 1 0 20972145 210063360 42074 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7870/statm): 51285 42074 364 364 0 50921 0
[pid=7870] vsize: 205140
Current children cumulated CPU time (s) 59.81
Current children cumulated vsize (Kb) 205140

[startup+70.0048 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 7870
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 66729 0 0 0 6824 156 0 0 25 0 1 0 20972145 210063360 42106 4294967295 134512640 135987407 3221224576 3221223120 134811992 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7870/statm): 51285 42106 364 364 0 50921 0
[pid=7870] vsize: 205140
Current children cumulated CPU time (s) 69.8
Current children cumulated vsize (Kb) 205140

[startup+80.0056 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 7870
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 67721 0 0 0 7818 159 0 0 25 0 1 0 20972145 210907136 42266 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7870/statm): 51491 42266 364 364 0 51127 0
[pid=7870] vsize: 205964
Current children cumulated CPU time (s) 79.77
Current children cumulated vsize (Kb) 205964

[startup+90.0054 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 7870
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 68299 0 0 0 8812 162 0 0 25 0 1 0 20972145 213155840 42679 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7870/statm): 52040 42679 364 364 0 51676 0
[pid=7870] vsize: 208160
Current children cumulated CPU time (s) 89.74
Current children cumulated vsize (Kb) 208160

[startup+100.006 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 7870
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 68488 0 0 0 9807 163 0 0 25 0 1 0 20972145 213893120 42868 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7870/statm): 52220 42868 364 364 0 51856 0
[pid=7870] vsize: 208880
Current children cumulated CPU time (s) 99.7
Current children cumulated vsize (Kb) 208880

[startup+110.007 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 7870
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 68499 0 0 0 10803 165 0 0 25 0 1 0 20972145 213893120 42879 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7870/statm): 52220 42879 364 364 0 51856 0
[pid=7870] vsize: 208880
Current children cumulated CPU time (s) 109.68
Current children cumulated vsize (Kb) 208880

[startup+120.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7870
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 69388 0 0 0 11795 169 0 0 25 0 1 0 20972145 217628672 43735 4294967295 134512640 135987407 3221224576 3221222792 134827499 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7870/statm): 53132 43735 364 364 0 52768 0
[pid=7870] vsize: 212528
Current children cumulated CPU time (s) 119.64
Current children cumulated vsize (Kb) 212528

[startup+130.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7870
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 69747 0 0 0 12789 171 0 0 25 0 1 0 20972145 216305664 43295 4294967295 134512640 135987407 3221224576 3221223296 134812629 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7870/statm): 52809 43295 364 364 0 52445 0
[pid=7870] vsize: 211236
Current children cumulated CPU time (s) 129.6
Current children cumulated vsize (Kb) 211236

[startup+140.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7870
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 70016 0 0 0 13782 173 0 0 25 0 1 0 20972145 217169920 43498 4294967295 134512640 135987407 3221224576 3221222992 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7870/statm): 53020 43498 364 364 0 52656 0
[pid=7870] vsize: 212080
Current children cumulated CPU time (s) 139.55
Current children cumulated vsize (Kb) 212080

[startup+150.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7870
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 71193 0 0 0 14774 178 0 0 25 0 1 0 20972145 220737536 44021 4294967295 134512640 135987407 3221224576 3221223120 134811894 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7870/statm): 53891 44021 364 364 0 53527 0
[pid=7870] vsize: 215564
Current children cumulated CPU time (s) 149.52
Current children cumulated vsize (Kb) 215564

[startup+160.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7870
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 71868 0 0 0 15766 181 0 0 25 0 1 0 20972145 222994432 44401 4294967295 134512640 135987407 3221224576 3221223120 134812160 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7870/statm): 54442 44401 364 364 0 54078 0
[pid=7870] vsize: 217768
Current children cumulated CPU time (s) 159.47
Current children cumulated vsize (Kb) 217768

[startup+170.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7870
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 71919 0 0 0 16760 183 0 0 25 0 1 0 20972145 223260672 44452 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7870/statm): 54507 44452 364 364 0 54143 0
[pid=7870] vsize: 218028
Current children cumulated CPU time (s) 169.43
Current children cumulated vsize (Kb) 218028

[startup+180.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7870
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 71929 0 0 0 17754 185 0 0 25 0 1 0 20972145 223260672 44462 4294967295 134512640 135987407 3221224576 3221223152 134814271 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7870/statm): 54507 44462 364 364 0 54143 0
[pid=7870] vsize: 218028
Current children cumulated CPU time (s) 179.39
Current children cumulated vsize (Kb) 218028

[startup+190.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7870
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 72711 0 0 0 18747 188 0 0 25 0 1 0 20972145 223260672 44478 4294967295 134512640 135987407 3221224576 3221223120 134812049 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7870/statm): 54507 44478 364 364 0 54143 0
[pid=7870] vsize: 218028
Current children cumulated CPU time (s) 189.35
Current children cumulated vsize (Kb) 218028

[startup+200.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7870
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 73142 0 0 0 19740 192 0 0 25 0 1 0 20972145 224317440 44744 4294967295 134512640 135987407 3221224576 3221222992 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7870/statm): 54765 44744 364 364 0 54401 0
[pid=7870] vsize: 219060
Current children cumulated CPU time (s) 199.32
Current children cumulated vsize (Kb) 219060

[startup+210.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7870
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 73324 0 0 0 20736 193 0 0 25 0 1 0 20972145 224710656 44828 4294967295 134512640 135987407 3221224576 3221223120 134812028 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7870/statm): 54861 44828 364 364 0 54497 0
[pid=7870] vsize: 219444
Current children cumulated CPU time (s) 209.29
Current children cumulated vsize (Kb) 219444

[startup+220.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7870
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 73483 0 0 0 21730 195 0 0 25 0 1 0 20972145 225382400 44954 4294967295 134512640 135987407 3221224576 3221223120 134811972 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7870/statm): 55025 44954 364 364 0 54661 0
[pid=7870] vsize: 220100
Current children cumulated CPU time (s) 219.25
Current children cumulated vsize (Kb) 220100

[startup+230.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7870
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 73697 0 0 0 22724 197 0 0 25 0 1 0 20972145 226045952 45135 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7870/statm): 55187 45135 364 364 0 54823 0
[pid=7870] vsize: 220748
Current children cumulated CPU time (s) 229.21
Current children cumulated vsize (Kb) 220748

[startup+240.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7870
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 73771 0 0 0 23718 200 0 0 25 0 1 0 20972145 226177024 45176 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7870/statm): 55219 45176 364 364 0 54855 0
[pid=7870] vsize: 220876
Current children cumulated CPU time (s) 239.18
Current children cumulated vsize (Kb) 220876

[startup+250.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7870
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 74175 0 0 0 24711 202 0 0 25 0 1 0 20972145 227504128 45415 4294967295 134512640 135987407 3221224576 3221223120 134812005 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7870/statm): 55543 45415 364 364 0 55179 0
[pid=7870] vsize: 222172
Current children cumulated CPU time (s) 249.13
Current children cumulated vsize (Kb) 222172

[startup+260.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7870
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 74330 0 0 0 25705 204 0 0 25 0 1 0 20972145 228032512 45504 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7870/statm): 55672 45504 364 364 0 55308 0
[pid=7870] vsize: 222688
Current children cumulated CPU time (s) 259.09
Current children cumulated vsize (Kb) 222688

[startup+270.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7870
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 74393 0 0 0 26699 207 0 0 25 0 1 0 20972145 228163584 45534 4294967295 134512640 135987407 3221224576 3221223120 134812197 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7870/statm): 55704 45534 364 364 0 55340 0
[pid=7870] vsize: 222816
Current children cumulated CPU time (s) 269.06
Current children cumulated vsize (Kb) 222816

[startup+280.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7870
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 74459 0 0 0 27694 209 0 0 25 0 1 0 20972145 228429824 45600 4294967295 134512640 135987407 3221224576 3221223120 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7870/statm): 55769 45600 364 364 0 55405 0
[pid=7870] vsize: 223076
Current children cumulated CPU time (s) 279.03
Current children cumulated vsize (Kb) 223076

[startup+290.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7870
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 74552 0 0 0 28688 212 0 0 25 0 1 0 20972145 228827136 45660 4294967295 134512640 135987407 3221224576 3221223264 135288072 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7870/statm): 55866 45660 364 364 0 55502 0
[pid=7870] vsize: 223464
Current children cumulated CPU time (s) 289
Current children cumulated vsize (Kb) 223464

[startup+300.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7870
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 74568 0 0 0 29685 213 0 0 25 0 1 0 20972145 228827136 45676 4294967295 134512640 135987407 3221224576 3221223120 134812135 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7870/statm): 55866 45676 364 364 0 55502 0
[pid=7870] vsize: 223464
Current children cumulated CPU time (s) 298.98
Current children cumulated vsize (Kb) 223464

[startup+310.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7870
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 76020 0 0 0 30678 218 0 0 25 0 1 0 20972145 234201088 46769 4294967295 134512640 135987407 3221224576 3221222796 134827484 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7870/statm): 57178 46769 364 364 0 56814 0
[pid=7870] vsize: 228712
Current children cumulated CPU time (s) 308.96
Current children cumulated vsize (Kb) 228712

[startup+320.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7870
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 76037 0 0 0 31672 220 0 0 25 0 1 0 20972145 231063552 46020 4294967295 134512640 135987407 3221224576 3221223296 134812703 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7870/statm): 56412 46020 364 364 0 56048 0
[pid=7870] vsize: 225648
Current children cumulated CPU time (s) 318.92
Current children cumulated vsize (Kb) 225648

[startup+330.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7870
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 76180 0 0 0 32666 222 0 0 25 0 1 0 20972145 231657472 46097 4294967295 134512640 135987407 3221224576 3221223120 134812120 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7870/statm): 56557 46097 364 364 0 56193 0
[pid=7870] vsize: 226228
Current children cumulated CPU time (s) 328.88
Current children cumulated vsize (Kb) 226228

[startup+340.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7870
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 77121 0 0 0 33657 226 0 0 25 0 1 0 20972145 234631168 46548 4294967295 134512640 135987407 3221224576 3221222992 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7870/statm): 57283 46548 364 364 0 56919 0
[pid=7870] vsize: 229132
Current children cumulated CPU time (s) 338.83
Current children cumulated vsize (Kb) 229132

[startup+350.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7870
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 77396 0 0 0 34653 228 0 0 25 0 1 0 20972145 235421696 46692 4294967295 134512640 135987407 3221224576 3221223120 134811842 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7870/statm): 57476 46692 364 364 0 57112 0
[pid=7870] vsize: 229904
Current children cumulated CPU time (s) 348.81
Current children cumulated vsize (Kb) 229904

[startup+360.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7870
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 77712 0 0 0 35647 231 0 0 25 0 1 0 20972145 236347392 46910 4294967295 134512640 135987407 3221224576 3221223120 134811824 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7870/statm): 57702 46910 364 364 0 57338 0
[pid=7870] vsize: 230808
Current children cumulated CPU time (s) 358.78
Current children cumulated vsize (Kb) 230808

[startup+370.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7870
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 77824 0 0 0 36642 233 0 0 25 0 1 0 20972145 236613632 47022 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7870/statm): 57767 47022 364 364 0 57403 0
[pid=7870] vsize: 231068
Current children cumulated CPU time (s) 368.75
Current children cumulated vsize (Kb) 231068

[startup+380.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7870
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 78349 0 0 0 37634 236 0 0 25 0 1 0 20972145 238190592 47221 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7870/statm): 58152 47221 364 364 0 57788 0
[pid=7870] vsize: 232608
Current children cumulated CPU time (s) 378.7
Current children cumulated vsize (Kb) 232608

[startup+390.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7870
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 78392 0 0 0 38629 238 0 0 25 0 1 0 20972145 238321664 47231 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7870/statm): 58184 47231 364 364 0 57820 0
[pid=7870] vsize: 232736
Current children cumulated CPU time (s) 388.67
Current children cumulated vsize (Kb) 232736

[startup+400.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7870
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 78453 0 0 0 39622 240 0 0 25 0 1 0 20972145 238587904 47292 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7870/statm): 58249 47292 364 364 0 57885 0
[pid=7870] vsize: 232996
Current children cumulated CPU time (s) 398.62
Current children cumulated vsize (Kb) 232996

[startup+410.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7870
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 79221 0 0 0 40615 243 0 0 25 0 1 0 20972145 241725440 48060 4294967295 134512640 135987407 3221224576 3221222816 134829309 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7870/statm): 59015 48060 364 364 0 58651 0
[pid=7870] vsize: 236060
Current children cumulated CPU time (s) 408.58
Current children cumulated vsize (Kb) 236060

[startup+420.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7870
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 79266 0 0 0 41611 245 0 0 25 0 1 0 20972145 238854144 47339 4294967295 134512640 135987407 3221224576 3221223048 135293361 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7870/statm): 58314 47339 364 364 0 57950 0
[pid=7870] vsize: 233256
Current children cumulated CPU time (s) 418.56
Current children cumulated vsize (Kb) 233256

[startup+430.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7870
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 79546 0 0 0 42607 247 0 0 25 0 1 0 20972145 239775744 47456 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7870/statm): 58539 47456 364 364 0 58175 0
[pid=7870] vsize: 234156
Current children cumulated CPU time (s) 428.54
Current children cumulated vsize (Kb) 234156

[startup+440.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7870
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 79647 0 0 0 43600 250 0 0 25 0 1 0 20972145 240037888 47492 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7870/statm): 58603 47492 364 364 0 58239 0
[pid=7870] vsize: 234412
Current children cumulated CPU time (s) 438.5
Current children cumulated vsize (Kb) 234412

[startup+450.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7870
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 79951 0 0 0 44594 253 0 0 25 0 1 0 20972145 241225728 47633 4294967295 134512640 135987407 3221224576 3221223120 134812031 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7870/statm): 58893 47633 364 364 0 58529 0
[pid=7870] vsize: 235572
Current children cumulated CPU time (s) 448.47
Current children cumulated vsize (Kb) 235572

[startup+460.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7870
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 80447 0 0 0 45589 255 0 0 25 0 1 0 20972145 242536448 47804 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7870/statm): 59213 47804 364 364 0 58849 0
[pid=7870] vsize: 236852
Current children cumulated CPU time (s) 458.44
Current children cumulated vsize (Kb) 236852

[startup+470.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7870
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 80698 0 0 0 46582 259 0 0 25 0 1 0 20972145 243326976 47925 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7870/statm): 59406 47925 364 364 0 59042 0
[pid=7870] vsize: 237624
Current children cumulated CPU time (s) 468.41
Current children cumulated vsize (Kb) 237624

[startup+480.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7870
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 80850 0 0 0 47578 260 0 0 25 0 1 0 20972145 243855360 48012 4294967295 134512640 135987407 3221224576 3221223120 134811727 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7870/statm): 59535 48012 364 364 0 59171 0
[pid=7870] vsize: 238140
Current children cumulated CPU time (s) 478.38
Current children cumulated vsize (Kb) 238140

[startup+490.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7870
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 81108 0 0 0 48573 263 0 0 25 0 1 0 20972145 244379648 48140 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7870/statm): 59663 48140 364 364 0 59299 0
[pid=7870] vsize: 238652
Current children cumulated CPU time (s) 488.36
Current children cumulated vsize (Kb) 238652

[startup+500.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7870
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 81262 0 0 0 49568 264 0 0 25 0 1 0 20972145 244641792 48229 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7870/statm): 59727 48229 364 364 0 59363 0
[pid=7870] vsize: 238908
Current children cumulated CPU time (s) 498.32
Current children cumulated vsize (Kb) 238908

[startup+510.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7870
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 82197 0 0 0 50561 268 0 0 25 0 1 0 20972145 248307712 49099 4294967295 134512640 135987407 3221224576 3221222792 134827493 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7870/statm): 60622 49099 364 364 0 60258 0
[pid=7870] vsize: 242488
Current children cumulated CPU time (s) 508.29
Current children cumulated vsize (Kb) 242488

[startup+520.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7870
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 82198 0 0 0 51558 269 0 0 25 0 1 0 20972145 245170176 48334 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7870/statm): 59856 48334 364 364 0 59492 0
[pid=7870] vsize: 239424
Current children cumulated CPU time (s) 518.27
Current children cumulated vsize (Kb) 239424

[startup+530.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7870
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 82198 0 0 0 52554 270 0 0 25 0 1 0 20972145 245170176 48334 4294967295 134512640 135987407 3221224576 3221223120 134811816 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7870/statm): 59856 48334 364 364 0 59492 0
[pid=7870] vsize: 239424
Current children cumulated CPU time (s) 528.24
Current children cumulated vsize (Kb) 239424

[startup+540.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7870
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 82203 0 0 0 53548 273 0 0 25 0 1 0 20972145 245170176 48339 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7870/statm): 59856 48339 364 364 0 59492 0
[pid=7870] vsize: 239424
Current children cumulated CPU time (s) 538.21
Current children cumulated vsize (Kb) 239424

[startup+550.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7870
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 82215 0 0 0 54542 275 0 0 25 0 1 0 20972145 245170176 48351 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7870/statm): 59856 48351 364 364 0 59492 0
[pid=7870] vsize: 239424
Current children cumulated CPU time (s) 548.17
Current children cumulated vsize (Kb) 239424

[startup+560.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7870
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 82540 0 0 0 55536 277 0 0 25 0 1 0 20972145 246222848 48481 4294967295 134512640 135987407 3221224576 3221223120 134811816 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7870/statm): 60113 48481 364 364 0 59749 0
[pid=7870] vsize: 240452
Current children cumulated CPU time (s) 558.13
Current children cumulated vsize (Kb) 240452

[startup+570.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7870
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 82726 0 0 0 56532 279 0 0 25 0 1 0 20972145 246747136 48537 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7870/statm): 60241 48537 364 364 0 59877 0
[pid=7870] vsize: 240964
Current children cumulated CPU time (s) 568.11
Current children cumulated vsize (Kb) 240964

[startup+580.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7870
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 82801 0 0 0 57527 281 0 0 25 0 1 0 20972145 247009280 48547 4294967295 134512640 135987407 3221224576 3221223120 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7870/statm): 60305 48547 364 364 0 59941 0
[pid=7870] vsize: 241220
Current children cumulated CPU time (s) 578.08
Current children cumulated vsize (Kb) 241220

[startup+590.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7870
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 82803 0 0 0 58523 283 0 0 25 0 1 0 20972145 247009280 48549 4294967295 134512640 135987407 3221224576 3221222992 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7870/statm): 60305 48549 364 364 0 59941 0
[pid=7870] vsize: 241220
Current children cumulated CPU time (s) 588.06
Current children cumulated vsize (Kb) 241220

[startup+600.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7870
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 82809 0 0 0 59518 285 0 0 25 0 1 0 20972145 247009280 48555 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7870/statm): 60305 48555 364 364 0 59941 0
[pid=7870] vsize: 241220
Current children cumulated CPU time (s) 598.03
Current children cumulated vsize (Kb) 241220

[startup+610.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7870
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 82901 0 0 0 60513 288 0 0 25 0 1 0 20972145 247271424 48581 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7870/statm): 60369 48581 364 364 0 60005 0
[pid=7870] vsize: 241476
Current children cumulated CPU time (s) 608.01
Current children cumulated vsize (Kb) 241476

[startup+620.03 s]
Raw data (loadavg): 0.99 0.98 0.99 1/55 7870
Raw data (/proc/7870/stat): 7870 (pb2sat) T 7869 7870 4005 0 -1 0 83112 0 0 0 61507 290 0 0 25 0 1 0 20972145 247926784 48629 4294967295 134512640 135987407 3221224576 3221223260 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7870/statm): 60529 48629 364 364 0 60165 0
[pid=7870] vsize: 242116
Current children cumulated CPU time (s) 617.97
Current children cumulated vsize (Kb) 242116

[startup+630.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7870
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 83113 0 0 0 62503 291 0 0 25 0 1 0 20972145 247926784 48630 4294967295 134512640 135987407 3221224576 3221222996 135480412 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7870/statm): 60529 48630 364 364 0 60165 0
[pid=7870] vsize: 242116
Current children cumulated CPU time (s) 627.94
Current children cumulated vsize (Kb) 242116

[startup+640.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7870
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 83211 0 0 0 63497 294 0 0 25 0 1 0 20972145 248188928 48663 4294967295 134512640 135987407 3221224576 3221223216 134812406 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7870/statm): 60593 48663 364 364 0 60229 0
[pid=7870] vsize: 242372
Current children cumulated CPU time (s) 637.91
Current children cumulated vsize (Kb) 242372

[startup+650.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7870
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 83989 0 0 0 64491 297 0 0 25 0 1 0 20972145 248188928 48675 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7870/statm): 60593 48675 364 364 0 60229 0
[pid=7870] vsize: 242372
Current children cumulated CPU time (s) 647.88
Current children cumulated vsize (Kb) 242372

[startup+660.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7870
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 83991 0 0 0 65487 298 0 0 25 0 1 0 20972145 248188928 48677 4294967295 134512640 135987407 3221224576 3221223120 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7870/statm): 60593 48677 364 364 0 60229 0
[pid=7870] vsize: 242372
Current children cumulated CPU time (s) 657.85
Current children cumulated vsize (Kb) 242372

[startup+670.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7870
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 84108 0 0 0 66484 300 0 0 25 0 1 0 20972145 248451072 48729 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7870/statm): 60657 48729 364 364 0 60293 0
[pid=7870] vsize: 242628
Current children cumulated CPU time (s) 667.84
Current children cumulated vsize (Kb) 242628

[startup+680.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7870
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 84154 0 0 0 67479 301 0 0 25 0 1 0 20972145 248717312 48775 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7870/statm): 60722 48775 364 364 0 60358 0
[pid=7870] vsize: 242888
Current children cumulated CPU time (s) 677.8
Current children cumulated vsize (Kb) 242888

[startup+690.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7870
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 84284 0 0 0 68473 304 0 0 25 0 1 0 20972145 248979456 48840 4294967295 134512640 135987407 3221224576 3221223120 134812038 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7870/statm): 60786 48840 364 364 0 60422 0
[pid=7870] vsize: 243144
Current children cumulated CPU time (s) 687.77
Current children cumulated vsize (Kb) 243144

[startup+700.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7870
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 84421 0 0 0 69467 306 0 0 25 0 1 0 20972145 249507840 48912 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7870/statm): 60915 48912 364 364 0 60551 0
[pid=7870] vsize: 243660
Current children cumulated CPU time (s) 697.73
Current children cumulated vsize (Kb) 243660

[startup+710.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7870
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 84443 0 0 0 70463 308 0 0 25 0 1 0 20972145 249507840 48934 4294967295 134512640 135987407 3221224576 3221223008 134801598 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7870/statm): 60915 48934 364 364 0 60551 0
[pid=7870] vsize: 243660
Current children cumulated CPU time (s) 707.71
Current children cumulated vsize (Kb) 243660

[startup+720.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7870
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 84468 0 0 0 71457 310 0 0 25 0 1 0 20972145 249507840 48959 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7870/statm): 60915 48959 364 364 0 60551 0
[pid=7870] vsize: 243660
Current children cumulated CPU time (s) 717.67
Current children cumulated vsize (Kb) 243660

[startup+730.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7870
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 85375 0 0 0 72450 314 0 0 25 0 1 0 20972145 253169664 49736 4294967295 134512640 135987407 3221224576 3221222792 134827499 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7870/statm): 61809 49736 364 364 0 61445 0
[pid=7870] vsize: 247236
Current children cumulated CPU time (s) 727.64
Current children cumulated vsize (Kb) 247236

[startup+740.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7870
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 85494 0 0 0 73444 317 0 0 25 0 1 0 20972145 250429440 49056 4294967295 134512640 135987407 3221224576 3221223120 134812028 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7870/statm): 61140 49056 364 364 0 60776 0
[pid=7870] vsize: 244560
Current children cumulated CPU time (s) 737.61
Current children cumulated vsize (Kb) 244560

[startup+750.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7870
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 85671 0 0 0 74438 320 0 0 25 0 1 0 20972145 250953728 49103 4294967295 134512640 135987407 3221224576 3221223296 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7870/statm): 61268 49103 364 364 0 60904 0
[pid=7870] vsize: 245072
Current children cumulated CPU time (s) 747.58
Current children cumulated vsize (Kb) 245072

[startup+760.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7870
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 85874 0 0 0 75433 323 0 0 25 0 1 0 20972145 251748352 49241 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7870/statm): 61462 49241 364 364 0 61098 0
[pid=7870] vsize: 245848
Current children cumulated CPU time (s) 757.56
Current children cumulated vsize (Kb) 245848

[startup+770.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7870
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 85968 0 0 0 76426 325 0 0 25 0 1 0 20972145 252010496 49270 4294967295 134512640 135987407 3221224576 3221223120 134812138 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7870/statm): 61526 49270 364 364 0 61162 0
[pid=7870] vsize: 246104
Current children cumulated CPU time (s) 767.51
Current children cumulated vsize (Kb) 246104

[startup+780.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7870
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 85970 0 0 0 77421 326 0 0 25 0 1 0 20972145 252010496 49272 4294967295 134512640 135987407 3221224576 3221223200 134812426 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7870/statm): 61526 49272 364 364 0 61162 0
[pid=7870] vsize: 246104
Current children cumulated CPU time (s) 777.47
Current children cumulated vsize (Kb) 246104

[startup+790.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7870
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 85971 0 0 0 78417 328 0 0 25 0 1 0 20972145 252010496 49273 4294967295 134512640 135987407 3221224576 3221223120 134812194 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7870/statm): 61526 49273 364 364 0 61162 0
[pid=7870] vsize: 246104
Current children cumulated CPU time (s) 787.45
Current children cumulated vsize (Kb) 246104

[startup+800.038 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7870
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 85971 0 0 0 79414 329 0 0 25 0 1 0 20972145 252010496 49273 4294967295 134512640 135987407 3221224576 3221223120 134788799 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7870/statm): 61526 49273 364 364 0 61162 0
[pid=7870] vsize: 246104
Current children cumulated CPU time (s) 797.43
Current children cumulated vsize (Kb) 246104

[startup+810.039 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7870
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 86041 0 0 0 80408 331 0 0 25 0 1 0 20972145 252141568 49310 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7870/statm): 61558 49310 364 364 0 61194 0
[pid=7870] vsize: 246232
Current children cumulated CPU time (s) 807.39
Current children cumulated vsize (Kb) 246232

[startup+820.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7870
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 86048 0 0 0 81404 332 0 0 25 0 1 0 20972145 252141568 49317 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7870/statm): 61558 49317 364 364 0 61194 0
[pid=7870] vsize: 246232
Current children cumulated CPU time (s) 817.36
Current children cumulated vsize (Kb) 246232

[startup+830.039 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7870
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 86124 0 0 0 82401 333 0 0 25 0 1 0 20972145 252669952 49393 4294967295 134512640 135987407 3221224576 3221223120 134812005 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7870/statm): 61687 49393 364 364 0 61323 0
[pid=7870] vsize: 246748
Current children cumulated CPU time (s) 827.34
Current children cumulated vsize (Kb) 246748

[startup+840.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7870
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 86208 0 0 0 83397 335 0 0 25 0 1 0 20972145 252932096 49412 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7870/statm): 61751 49412 364 364 0 61387 0
[pid=7870] vsize: 247004
Current children cumulated CPU time (s) 837.32
Current children cumulated vsize (Kb) 247004

[startup+850.041 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7870
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 86209 0 0 0 84391 337 0 0 25 0 1 0 20972145 252932096 49413 4294967295 134512640 135987407 3221224576 3221223120 134812129 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7870/statm): 61751 49413 364 364 0 61387 0
[pid=7870] vsize: 247004
Current children cumulated CPU time (s) 847.28
Current children cumulated vsize (Kb) 247004

[startup+860.041 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7870
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 86209 0 0 0 85386 339 0 0 25 0 1 0 20972145 252932096 49413 4294967295 134512640 135987407 3221224576 3221223120 134812013 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7870/statm): 61751 49413 364 364 0 61387 0
[pid=7870] vsize: 247004
Current children cumulated CPU time (s) 857.25
Current children cumulated vsize (Kb) 247004

[startup+870.042 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7870
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 86210 0 0 0 86382 341 0 0 25 0 1 0 20972145 252932096 49414 4294967295 134512640 135987407 3221224576 3221223120 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7870/statm): 61751 49414 364 364 0 61387 0
[pid=7870] vsize: 247004
Current children cumulated CPU time (s) 867.23
Current children cumulated vsize (Kb) 247004

[startup+880.042 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7870
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 86977 0 0 0 87377 344 0 0 25 0 1 0 20972145 252932096 49415 4294967295 134512640 135987407 3221224576 3221223280 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7870/statm): 61751 49415 364 364 0 61387 0
[pid=7870] vsize: 247004
Current children cumulated CPU time (s) 877.21
Current children cumulated vsize (Kb) 247004

[startup+890.041 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7870
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 86978 0 0 0 88372 346 0 0 25 0 1 0 20972145 252932096 49416 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7870/statm): 61751 49416 364 364 0 61387 0
[pid=7870] vsize: 247004
Current children cumulated CPU time (s) 887.18
Current children cumulated vsize (Kb) 247004

[startup+900.042 s]
Raw data (loadavg): 1.07 1.00 0.99 2/55 7925
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 86978 0 0 0 89364 350 0 0 25 0 1 0 20972145 252932096 49416 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7870/statm): 61751 49416 364 364 0 61387 0
[pid=7870] vsize: 247004
Current children cumulated CPU time (s) 897.14
Current children cumulated vsize (Kb) 247004

[startup+910.043 s]
Raw data (loadavg): 1.06 1.00 0.99 2/55 7925
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 86979 0 0 0 90359 351 0 0 25 0 1 0 20972145 252932096 49417 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7870/statm): 61751 49417 364 364 0 61387 0
[pid=7870] vsize: 247004
Current children cumulated CPU time (s) 907.1
Current children cumulated vsize (Kb) 247004

[startup+920.044 s]
Raw data (loadavg): 1.05 1.00 0.99 2/55 7925
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 86985 0 0 0 91354 354 0 0 25 0 1 0 20972145 252932096 49423 4294967295 134512640 135987407 3221224576 3221223120 134788543 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7870/statm): 61751 49423 364 364 0 61387 0
[pid=7870] vsize: 247004
Current children cumulated CPU time (s) 917.08
Current children cumulated vsize (Kb) 247004

[startup+930.044 s]
Raw data (loadavg): 1.04 1.00 0.99 2/55 7925
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 86985 0 0 0 92349 355 0 0 25 0 1 0 20972145 252932096 49423 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7870/statm): 61751 49423 364 364 0 61387 0
[pid=7870] vsize: 247004
Current children cumulated CPU time (s) 927.04
Current children cumulated vsize (Kb) 247004

[startup+940.043 s]
Raw data (loadavg): 1.04 1.00 0.99 2/55 7925
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 87240 0 0 0 93344 357 0 0 25 0 1 0 20972145 253587456 49515 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7870/statm): 61911 49515 364 364 0 61547 0
[pid=7870] vsize: 247644
Current children cumulated CPU time (s) 937.01
Current children cumulated vsize (Kb) 247644

[startup+950.043 s]
Raw data (loadavg): 1.03 1.00 0.99 2/55 7925
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 87392 0 0 0 94340 359 0 0 25 0 1 0 20972145 253853696 49634 4294967295 134512640 135987407 3221224576 3221223120 134812160 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7870/statm): 61976 49634 364 364 0 61612 0
[pid=7870] vsize: 247904
Current children cumulated CPU time (s) 946.99
Current children cumulated vsize (Kb) 247904

[startup+960.043 s]
Raw data (loadavg): 1.10 1.02 1.00 2/55 7929
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 87472 0 0 0 95336 361 0 0 25 0 1 0 20972145 254251008 49681 4294967295 134512640 135987407 3221224576 3221223216 134812358 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7870/statm): 62073 49681 364 364 0 61709 0
[pid=7870] vsize: 248292
Current children cumulated CPU time (s) 956.97
Current children cumulated vsize (Kb) 248292

[startup+970.044 s]
Raw data (loadavg): 1.08 1.02 1.00 2/55 7931
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 87619 0 0 0 96331 362 0 0 25 0 1 0 20972145 254779392 49763 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7870/statm): 62202 49763 364 364 0 61838 0
[pid=7870] vsize: 248808
Current children cumulated CPU time (s) 966.93
Current children cumulated vsize (Kb) 248808

[startup+980.045 s]
Raw data (loadavg): 1.07 1.01 1.00 2/55 7931
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 88398 0 0 0 97327 365 0 0 25 0 1 0 20972145 254779392 49776 4294967295 134512640 135987407 3221224576 3221222992 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7870/statm): 62202 49776 364 364 0 61838 0
[pid=7870] vsize: 248808
Current children cumulated CPU time (s) 976.92
Current children cumulated vsize (Kb) 248808

[startup+990.044 s]
Raw data (loadavg): 1.06 1.01 1.00 2/55 7931
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 88398 0 0 0 98321 368 0 0 25 0 1 0 20972145 254779392 49776 4294967295 134512640 135987407 3221224576 3221223120 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7870/statm): 62202 49776 364 364 0 61838 0
[pid=7870] vsize: 248808
Current children cumulated CPU time (s) 986.89
Current children cumulated vsize (Kb) 248808

[startup+1000.04 s]
Raw data (loadavg): 1.05 1.01 1.00 2/55 7931
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 88408 0 0 0 99316 370 0 0 25 0 1 0 20972145 254779392 49786 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7870/statm): 62202 49786 364 364 0 61838 0
[pid=7870] vsize: 248808
Current children cumulated CPU time (s) 996.86
Current children cumulated vsize (Kb) 248808

[startup+1010.04 s]
Raw data (loadavg): 1.04 1.01 1.00 2/55 7931
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 88529 0 0 0 100312 371 0 0 25 0 1 0 20972145 255041536 49842 4294967295 134512640 135987407 3221224576 3221223120 134812056 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7870/statm): 62266 49842 364 364 0 61902 0
[pid=7870] vsize: 249064
Current children cumulated CPU time (s) 1006.83
Current children cumulated vsize (Kb) 249064

[startup+1020.04 s]
Raw data (loadavg): 1.03 1.01 1.00 2/55 7931
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 88544 0 0 0 101309 372 0 0 25 0 1 0 20972145 255041536 49857 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7870/statm): 62266 49857 364 364 0 61902 0
[pid=7870] vsize: 249064
Current children cumulated CPU time (s) 1016.81
Current children cumulated vsize (Kb) 249064

[startup+1030.05 s]
Raw data (loadavg): 1.03 1.01 1.00 2/55 7931
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 88702 0 0 0 102303 374 0 0 25 0 1 0 20972145 255565824 49885 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7870/statm): 62394 49885 364 364 0 62030 0
[pid=7870] vsize: 249576
Current children cumulated CPU time (s) 1026.77
Current children cumulated vsize (Kb) 249576

[startup+1040.05 s]
Raw data (loadavg): 1.02 1.01 1.00 2/55 7931
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 88710 0 0 0 103298 376 0 0 25 0 1 0 20972145 255565824 49893 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7870/statm): 62394 49893 364 364 0 62030 0
[pid=7870] vsize: 249576
Current children cumulated CPU time (s) 1036.74
Current children cumulated vsize (Kb) 249576

[startup+1050.05 s]
Raw data (loadavg): 1.02 1.01 1.00 2/55 7931
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 89174 0 0 0 104292 378 0 0 25 0 1 0 20972145 256880640 50098 4294967295 134512640 135987407 3221224576 3221223120 134812169 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7870/statm): 62715 50098 364 364 0 62351 0
[pid=7870] vsize: 250860
Current children cumulated CPU time (s) 1046.7
Current children cumulated vsize (Kb) 250860

[startup+1060.05 s]
Raw data (loadavg): 1.02 1.01 1.00 2/55 7931
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 89198 0 0 0 105288 380 0 0 25 0 1 0 20972145 256880640 50122 4294967295 134512640 135987407 3221224576 3221223216 134812328 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7870/statm): 62715 50122 364 364 0 62351 0
[pid=7870] vsize: 250860
Current children cumulated CPU time (s) 1056.68
Current children cumulated vsize (Kb) 250860

[startup+1070.05 s]
Raw data (loadavg): 1.01 1.01 1.00 2/55 7931
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 89965 0 0 0 106282 383 0 0 25 0 1 0 20972145 256880640 50123 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7870/statm): 62715 50123 364 364 0 62351 0
[pid=7870] vsize: 250860
Current children cumulated CPU time (s) 1066.65
Current children cumulated vsize (Kb) 250860

[startup+1080.05 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 7931
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 89965 0 0 0 107277 385 0 0 25 0 1 0 20972145 256880640 50123 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7870/statm): 62715 50123 364 364 0 62351 0
[pid=7870] vsize: 250860
Current children cumulated CPU time (s) 1076.62
Current children cumulated vsize (Kb) 250860

[startup+1090.05 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 7931
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 90056 0 0 0 108272 387 0 0 25 0 1 0 20972145 257142784 50149 4294967295 134512640 135987407 3221224576 3221223216 134812441 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7870/statm): 62779 50149 364 364 0 62415 0
[pid=7870] vsize: 251116
Current children cumulated CPU time (s) 1086.59
Current children cumulated vsize (Kb) 251116

[startup+1100.05 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 7931
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 90104 0 0 0 109266 389 0 0 25 0 1 0 20972145 257409024 50197 4294967295 134512640 135987407 3221224576 3221223296 134812655 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7870/statm): 62844 50197 364 364 0 62480 0
[pid=7870] vsize: 251376
Current children cumulated CPU time (s) 1096.55
Current children cumulated vsize (Kb) 251376

[startup+1110.05 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 7931
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 90104 0 0 0 110262 390 0 0 25 0 1 0 20972145 257409024 50197 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7870/statm): 62844 50197 364 364 0 62480 0
[pid=7870] vsize: 251376
Current children cumulated CPU time (s) 1106.52
Current children cumulated vsize (Kb) 251376

[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7931
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 90108 0 0 0 111257 392 0 0 25 0 1 0 20972145 257409024 50201 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7870/statm): 62844 50201 364 364 0 62480 0
[pid=7870] vsize: 251376
Current children cumulated CPU time (s) 1116.49
Current children cumulated vsize (Kb) 251376

[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7931
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 90113 0 0 0 112252 394 0 0 25 0 1 0 20972145 257409024 50206 4294967295 134512640 135987407 3221224576 3221222892 135480425 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7870/statm): 62844 50206 364 364 0 62480 0
[pid=7870] vsize: 251376
Current children cumulated CPU time (s) 1126.46
Current children cumulated vsize (Kb) 251376

[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7931
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 90222 0 0 0 113246 396 0 0 25 0 1 0 20972145 257810432 50282 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7870/statm): 62942 50282 364 364 0 62578 0
[pid=7870] vsize: 251768
Current children cumulated CPU time (s) 1136.42
Current children cumulated vsize (Kb) 251768

[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7931
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 90223 0 0 0 114242 398 0 0 25 0 1 0 20972145 257810432 50283 4294967295 134512640 135987407 3221224576 3221223216 134812349 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7870/statm): 62942 50283 364 364 0 62578 0
[pid=7870] vsize: 251768
Current children cumulated CPU time (s) 1146.4
Current children cumulated vsize (Kb) 251768

[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7931
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 90224 0 0 0 115239 399 0 0 25 0 1 0 20972145 257810432 50284 4294967295 134512640 135987407 3221224576 3221222992 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7870/statm): 62942 50284 364 364 0 62578 0
[pid=7870] vsize: 251768
Current children cumulated CPU time (s) 1156.38
Current children cumulated vsize (Kb) 251768

[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7931
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 90991 0 0 0 116234 402 0 0 25 0 1 0 20972145 257810432 50285 4294967295 134512640 135987407 3221224576 3221222992 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7870/statm): 62942 50285 364 364 0 62578 0
[pid=7870] vsize: 251768
Current children cumulated CPU time (s) 1166.36
Current children cumulated vsize (Kb) 251768

[startup+1180.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7931
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 90991 0 0 0 117229 403 0 0 25 0 1 0 20972145 257810432 50285 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7870/statm): 62942 50285 364 364 0 62578 0
[pid=7870] vsize: 251768
Current children cumulated CPU time (s) 1176.32
Current children cumulated vsize (Kb) 251768

[startup+1190.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7931
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 91005 0 0 0 118225 404 0 0 25 0 1 0 20972145 257810432 50299 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7870/statm): 62942 50299 364 364 0 62578 0
[pid=7870] vsize: 251768
Current children cumulated CPU time (s) 1186.29
Current children cumulated vsize (Kb) 251768

[startup+1200.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7931
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 91005 0 0 0 119220 406 0 0 25 0 1 0 20972145 257810432 50299 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7870/statm): 62942 50299 364 364 0 62578 0
[pid=7870] vsize: 251768
Current children cumulated CPU time (s) 1196.26
Current children cumulated vsize (Kb) 251768

[startup+1210.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7931
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 91006 0 0 0 120216 408 0 0 25 0 1 0 20972145 257810432 50300 4294967295 134512640 135987407 3221224576 3221223120 134812056 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7870/statm): 62942 50300 364 364 0 62578 0
[pid=7870] vsize: 251768
Current children cumulated CPU time (s) 1206.24
Current children cumulated vsize (Kb) 251768



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7931
Raw data (/proc/7870/stat): 7870 (pb2sat) R 7869 7870 4005 0 -1 0 91006 0 0 0 120216 408 0 0 25 0 1 0 20972145 257810432 50300 4294967295 134512640 135987407 3221224576 3221223120 134812056 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7870/statm): 62942 50300 364 364 0 62578 0
[pid=7870] vsize: 251768
Current children cumulated CPU time (s) 1206.24
Current children cumulated vsize (Kb) 251768

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

Child status: 10
Real time (s): 1210.79
CPU time (s): 1206.97
CPU user time (s): 1202.78
CPU system time (s): 4.19236
CPU usage (%): 99.6847
Max. virtual memory (cumulated for all children) (Kb): 251768

Verifier Data

Verifier:	OK	510