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

Namemps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-markshare2.opb
MD5SUM111dddb6adf389a5275ab413feff6076
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 88064
Optimality of the best value was proved NO
Number of terms in the objective function 210
Biggest coefficient in the objective function 536870912
Number of bits for the biggest coefficient in the objective function 30
Sum of the numbers in the objective function 7516192761
Number of bits of the sum of numbers in the objective function 33
Biggest number in a constraint 536870912
Number of bits of the biggest number in a constraint 30
Biggest sum of numbers in a constraint 7516192761
Number of bits of the biggest sum of numbers33
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1195.24
Number of variables270
Total number of constraints67
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)60
Number of constraints which are nor clauses,nor cardinality constraints7
Minimum length of a constraint1
Maximum length of a constraint90

Trace number 10134

Launcher Data

LAUNCH ON wulflinc10 THE 2005-09-23 16:53:42 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8843 boxname=wulflinc10 idbench=639 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  111dddb6adf389a5275ab413feff6076  /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-20-10-markshare2.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-20-10-markshare2.opb
IDLAUNCH: 8843
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.193
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	: 2
cpu MHz		: 451.193
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        938880 kB
Buffers:         11708 kB
Cached:          67444 kB
SwapCached:          0 kB
Active:          44600 kB
Inactive:        37440 kB
HighTotal:      131008 kB
HighFree:        59668 kB
LowTotal:       903652 kB
LowFree:        879212 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6976 kB
Slab:             8180 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 17:13:53 (client local time) WITH STATUS 10 IN 1210.59 SECONDS
stats: 8843 0 1210.59 10

Solver Data

c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
c got solution with objective value: 646144
c small objective detected
c CONFLICT during preprocess 
c [startup+30.9783 s]  setting bit 32 to 0
c CONFLICT during preprocess 
c [startup+33.1848 s]  setting bit 31 to 0
c CONFLICT during preprocess 
c [startup+35.3903 s]  setting bit 30 to 0
c CONFLICT during preprocess 
c [startup+37.5964 s]  setting bit 29 to 0
c CONFLICT during preprocess 
c [startup+39.8025 s]  setting bit 28 to 0
c CONFLICT during preprocess 
c [startup+42.0104 s]  setting bit 27 to 0
c CONFLICT during preprocess 
c [startup+44.2169 s]  setting bit 26 to 0
c CONFLICT during preprocess 
c [startup+46.4235 s]  setting bit 25 to 0
c CONFLICT during preprocess 
c [startup+48.6298 s]  setting bit 24 to 0
c CONFLICT during preprocess 
c [startup+50.8379 s]  setting bit 23 to 0
c CONFLICT during preprocess 
c [startup+53.0442 s]  setting bit 22 to 0
c CONFLICT during preprocess 
c [startup+55.2505 s]  setting bit 21 to 0
c CONFLICT during preprocess 
c [startup+57.457 s]  setting bit 20 to 0
s SATISFIABLE
v s01_bit0 s01_bit1 -s01_bit10 -s01_bit11 -s01_bit12 -s01_bit13 -s01_bit14 -s01_bit15 -s01_bit16 -s01_bit17 -s01_bit18 -s01_bit19 -s01_bit2 s01_bit3 -s01_bit4 s01_bit5 s01_bit6 -s01_bit7 -s01_bit8 -s01_bit9 -s01_bit_1 -s01_bit_10 -s01_bit_2 -s01_bit_3 -s01_bit_4 -s01_bit_5 -s01_bit_6 -s01_bit_7 -s01_bit_8 -s01_bit_9 s11_bit0 s11_bit1 -s11_bit10 -s11_bit11 -s11_bit12 -s11_bit13 -s11_bit14 -s11_bit15 -s11_bit16 -s11_bit17 -s11_bit18 -s11_bit19 s11_bit2 -s11_bit3 -s11_bit4 -s11_bit5 -s11_bit6 -s11_bit7 -s11_bit8 -s11_bit9 -s11_bit_1 -s11_bit_10 -s11_bit_2 -s11_bit_3 -s11_bit_4 -s11_bit_5 -s11_bit_6 -s11_bit_7 -s11_bit_8 -s11_bit_9 s21_bit0 s21_bit1 -s21_bit10 -s21_bit11 -s21_bit12 -s21_bit13 -s21_bit14 -s21_bit15 -s21_bit16 -s21_bit17 -s21_bit18 -s21_bit19 s21_bit2 -s21_bit3 -s21_bit4 s21_bit5 -s21_bit6 -s21_bit7 -s21_bit8 -s21_bit9 -s21_bit_1 -s21_bit_10 -s21_bit_2 -s21_bit_3 -s21_bit_4 -s21_bit_5 -s21_bit_6 -s21_bit_7 -s21_bit_8 -s21_bit_9 s31_bit0 -s31_bit1 -s31_bit10 -s31_bit11 -s31_bit12 -s31_bit13 -s31_bit14 -s31_bit15 -s31_bit16 -s31_bit17 -s31_bit18 -s31_bit19 s31_bit2 -s31_bit3 -s31_bit4 s31_bit5 -s31_bit6 -s31_bit7 -s31_bit8 -s31_bit9 -s31_bit_1 -s31_bit_10 -s31_bit_2 -s31_bit_3 -s31_bit_4 -s31_bit_5 -s31_bit_6 -s31_bit_7 -s31_bit_8 -s31_bit_9 s41_bit0 s41_bit1 -s41_bit10 -s41_bit11 -s41_bit12 -s41_bit13 -s41_bit14 -s41_bit15 -s41_bit16 -s41_bit17 -s41_bit18 -s41_bit19 -s41_bit2 s41_bit3 s41_bit4 s41_bit5 -s41_bit6 -s41_bit7 -s41_bit8 -s41_bit9 -s41_bit_1 -s41_bit_10 -s41_bit_2 -s41_bit_3 -s41_bit_4 -s41_bit_5 -s41_bit_6 -s41_bit_7 -s41_bit_8 -s41_bit_9 s51_bit0 -s51_bit1 -s51_bit10 -s51_bit11 -s51_bit12 -s51_bit13 -s51_bit14 -s51_bit15 -s51_bit16 -s51_bit17 -s51_bit18 -s51_bit19 s51_bit2 -s51_bit3 -s51_bit4 s51_bit5 s51_bit6 -s51_bit7 -s51_bit8 -s51_bit9 -s51_bit_1 -s51_bit_10 -s51_bit_2 -s51_bit_3 -s51_bit_4 -s51_bit_5 -s51_bit_6 -s51_bit_7 -s51_bit_8 -s51_bit_9 s61_bit0 -s61_bit1 -s61_bit10 -s61_bit11 -s61_bit12 -s61_bit13 -s61_bit14 -s61_bit15 -s61_bit16 -s61_bit17 -s61_bit18 -s61_bit19 -s61_bit2 s61_bit3 s61_bit4 -s61_bit5 -s61_bit6 -s61_bit7 s61_bit8 -s61_bit9 -s61_bit_1 -s61_bit_10 -s61_bit_2 -s61_bit_3 -s61_bit_4 -s61_bit_5 -s61_bit_6 -s61_bit_7 -s61_bit_8 -s61_bit_9 -x0_bit0 -x10_bit0 -x11_bit0 -x12_bit0 x13_bit0 -x14_bit0 x15_bit0 -x16_bit0 -x17_bit0 -x18_bit0 x19_bit0 x1_bit0 -x20_bit0 x21_bit0 -x22_bit0 -x23_bit0 x24_bit0 -x25_bit0 -x26_bit0 -x27_bit0 -x28_bit0 -x29_bit0 x2_bit0 -x30_bit0 x31_bit0 -x32_bit0 -x33_bit0 -x34_bit0 x35_bit0 -x36_bit0 -x37_bit0 x38_bit0 -x39_bit0 x3_bit0 x40_bit0 -x41_bit0 -x42_bit0 -x43_bit0 x44_bit0 -x45_bit0 -x46_bit0 x47_bit0 x48_bit0 x49_bit0 x4_bit0 x50_bit0 x51_bit0 -x52_bit0 x53_bit0 x54_bit0 x55_bit0 x56_bit0 -x57_bit0 -x58_bit0 -x59_bit0 x5_bit0 x6_bit0 -x7_bit0 x8_bit0 -x9_bit0

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/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 21783144 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7803/statm): 373 2 364 364 0 9 0
[pid=7803] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-20-10-markshare2.opb

[startup+10.0014 s]
Raw data (loadavg): 0.93 0.95 0.92 2/55 7803
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 28123 0 0 0 935 62 0 0 25 0 1 0 21783144 82386944 16976 4294967295 134512640 135987407 3221224560 3221211248 134537491 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7803/statm): 20114 16976 364 364 0 19750 0
[pid=7803] vsize: 80456
Current children cumulated CPU time (s) 9.97
Current children cumulated vsize (Kb) 80456

[startup+20.002 s]
Raw data (loadavg): 0.94 0.96 0.92 2/55 7803
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 55262 0 0 0 1875 120 0 0 25 0 1 0 21783144 159559680 32888 4294967295 134512640 135987407 3221224560 3221210844 134828136 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7803/statm): 38955 32888 364 364 0 38591 0
[pid=7803] vsize: 155820
Current children cumulated CPU time (s) 19.95
Current children cumulated vsize (Kb) 155820

[startup+30.0025 s]
Raw data (loadavg): 0.95 0.96 0.92 2/55 7803
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 82628 0 0 0 2817 176 0 0 25 0 1 0 21783144 245547008 48214 4294967295 134512640 135987407 3221224560 3221222952 134827485 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7803/statm): 59948 48214 364 364 0 59584 0
[pid=7803] vsize: 239792
Current children cumulated CPU time (s) 29.93
Current children cumulated vsize (Kb) 239792

[startup+40.0021 s]
Raw data (loadavg): 0.95 0.96 0.92 2/55 7803
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 86835 0 0 0 3805 187 0 0 25 0 1 0 21783144 241254400 47181 4294967295 134512640 135987407 3221224560 3221223232 134789452 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7803/statm): 58900 47181 364 364 0 58536 0
[pid=7803] vsize: 235600
Current children cumulated CPU time (s) 39.92
Current children cumulated vsize (Kb) 235600

[startup+50.0026 s]
Raw data (loadavg): 0.96 0.96 0.92 2/55 7803
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 92075 0 0 0 4791 201 0 0 25 0 1 0 21783144 241254400 47181 4294967295 134512640 135987407 3221224560 3221223232 134789619 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7803/statm): 58900 47181 364 364 0 58536 0
[pid=7803] vsize: 235600
Current children cumulated CPU time (s) 49.92
Current children cumulated vsize (Kb) 235600

[startup+60.0032 s]
Raw data (loadavg): 0.97 0.96 0.92 2/55 7803
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 96283 0 0 0 5781 211 0 0 25 0 1 0 21783144 241418240 47197 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7803/statm): 58940 47197 364 364 0 58576 0
[pid=7803] vsize: 235760
Current children cumulated CPU time (s) 59.92
Current children cumulated vsize (Kb) 235760

[startup+70.0038 s]
Raw data (loadavg): 0.97 0.96 0.92 2/55 7803
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 96851 0 0 0 6780 212 0 0 25 0 1 0 21783144 242855936 47553 4294967295 134512640 135987407 3221224560 3221223180 134811680 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7803/statm): 59291 47553 364 364 0 58927 0
[pid=7803] vsize: 237164
Current children cumulated CPU time (s) 69.92
Current children cumulated vsize (Kb) 237164

[startup+80.0043 s]
Raw data (loadavg): 0.98 0.96 0.92 2/55 7803
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 97066 0 0 0 7779 212 0 0 25 0 1 0 21783144 243249152 47670 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7803/statm): 59387 47670 364 364 0 59023 0
[pid=7803] vsize: 237548
Current children cumulated CPU time (s) 79.91
Current children cumulated vsize (Kb) 237548

[startup+90.0039 s]
Raw data (loadavg): 0.98 0.96 0.92 2/55 7803
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 97080 0 0 0 8778 213 0 0 25 0 1 0 21783144 243441664 47684 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7803/statm): 59434 47684 364 364 0 59070 0
[pid=7803] vsize: 237736
Current children cumulated CPU time (s) 89.91
Current children cumulated vsize (Kb) 237736

[startup+100.004 s]
Raw data (loadavg): 0.98 0.96 0.92 2/55 7803
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 97163 0 0 0 9777 213 0 0 25 0 1 0 21783144 243703808 47702 4294967295 134512640 135987407 3221224560 3221223264 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7803/statm): 59498 47702 364 364 0 59134 0
[pid=7803] vsize: 237992
Current children cumulated CPU time (s) 99.9
Current children cumulated vsize (Kb) 237992

[startup+110.005 s]
Raw data (loadavg): 0.98 0.96 0.92 2/55 7803
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 97208 0 0 0 10776 213 0 0 25 0 1 0 21783144 243703808 47747 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7803/statm): 59498 47747 364 364 0 59134 0
[pid=7803] vsize: 237992
Current children cumulated CPU time (s) 109.89
Current children cumulated vsize (Kb) 237992

[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7803
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 97930 0 0 0 11775 215 0 0 25 0 1 0 21783144 245948416 47953 4294967295 134512640 135987407 3221224560 3221223168 134801140 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7803/statm): 60046 47953 364 364 0 59682 0
[pid=7803] vsize: 240184
Current children cumulated CPU time (s) 119.9
Current children cumulated vsize (Kb) 240184

[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7803
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 98100 0 0 0 12775 215 0 0 25 0 1 0 21783144 246472704 47994 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7803/statm): 60174 47994 364 364 0 59810 0
[pid=7803] vsize: 240696
Current children cumulated CPU time (s) 129.9
Current children cumulated vsize (Kb) 240696

[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7803
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 98349 0 0 0 13774 216 0 0 25 0 1 0 21783144 246996992 48113 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7803/statm): 60302 48113 364 364 0 59938 0
[pid=7803] vsize: 241208
Current children cumulated CPU time (s) 139.9
Current children cumulated vsize (Kb) 241208

[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7803
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 98360 0 0 0 14774 216 0 0 25 0 1 0 21783144 246996992 48124 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7803/statm): 60302 48124 364 364 0 59938 0
[pid=7803] vsize: 241208
Current children cumulated CPU time (s) 149.9
Current children cumulated vsize (Kb) 241208

[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7803
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 98382 0 0 0 15774 216 0 0 25 0 1 0 21783144 246996992 48146 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7803/statm): 60302 48146 364 364 0 59938 0
[pid=7803] vsize: 241208
Current children cumulated CPU time (s) 159.9
Current children cumulated vsize (Kb) 241208

[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7803
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 98384 0 0 0 16773 216 0 0 25 0 1 0 21783144 246996992 48148 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7803/statm): 60302 48148 364 364 0 59938 0
[pid=7803] vsize: 241208
Current children cumulated CPU time (s) 169.89
Current children cumulated vsize (Kb) 241208

[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7803
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 98390 0 0 0 17772 216 0 0 25 0 1 0 21783144 246996992 48154 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7803/statm): 60302 48154 364 364 0 59938 0
[pid=7803] vsize: 241208
Current children cumulated CPU time (s) 179.88
Current children cumulated vsize (Kb) 241208

[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7803
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 98393 0 0 0 18772 216 0 0 25 0 1 0 21783144 246996992 48157 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7803/statm): 60302 48157 364 364 0 59938 0
[pid=7803] vsize: 241208
Current children cumulated CPU time (s) 189.88
Current children cumulated vsize (Kb) 241208

[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7803
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 98396 0 0 0 19772 216 0 0 25 0 1 0 21783144 246996992 48160 4294967295 134512640 135987407 3221224560 3221223104 134811980 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7803/statm): 60302 48160 364 364 0 59938 0
[pid=7803] vsize: 241208
Current children cumulated CPU time (s) 199.88
Current children cumulated vsize (Kb) 241208

[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7803
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 98400 0 0 0 20772 216 0 0 25 0 1 0 21783144 246996992 48164 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7803/statm): 60302 48164 364 364 0 59938 0
[pid=7803] vsize: 241208
Current children cumulated CPU time (s) 209.88
Current children cumulated vsize (Kb) 241208

[startup+220.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7803
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 98406 0 0 0 21771 217 0 0 25 0 1 0 21783144 246996992 48170 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7803/statm): 60302 48170 364 364 0 59938 0
[pid=7803] vsize: 241208
Current children cumulated CPU time (s) 219.88
Current children cumulated vsize (Kb) 241208

[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7803
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 98861 0 0 0 22770 218 0 0 25 0 1 0 21783144 248614912 48446 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7803/statm): 60697 48446 364 364 0 60333 0
[pid=7803] vsize: 242788
Current children cumulated CPU time (s) 229.88
Current children cumulated vsize (Kb) 242788

[startup+240.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7803
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 98863 0 0 0 23770 218 0 0 25 0 1 0 21783144 248614912 48448 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7803/statm): 60697 48448 364 364 0 60333 0
[pid=7803] vsize: 242788
Current children cumulated CPU time (s) 239.88
Current children cumulated vsize (Kb) 242788

[startup+250.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7803
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 98867 0 0 0 24770 218 0 0 25 0 1 0 21783144 248614912 48452 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7803/statm): 60697 48452 364 364 0 60333 0
[pid=7803] vsize: 242788
Current children cumulated CPU time (s) 249.88
Current children cumulated vsize (Kb) 242788

[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7803
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 98873 0 0 0 25769 218 0 0 25 0 1 0 21783144 248614912 48458 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7803/statm): 60697 48458 364 364 0 60333 0
[pid=7803] vsize: 242788
Current children cumulated CPU time (s) 259.87
Current children cumulated vsize (Kb) 242788

[startup+270.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7803
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 98876 0 0 0 26769 219 0 0 25 0 1 0 21783144 248614912 48461 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7803/statm): 60697 48461 364 364 0 60333 0
[pid=7803] vsize: 242788
Current children cumulated CPU time (s) 269.88
Current children cumulated vsize (Kb) 242788

[startup+280.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7803
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 98878 0 0 0 27768 219 0 0 25 0 1 0 21783144 248614912 48463 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7803/statm): 60697 48463 364 364 0 60333 0
[pid=7803] vsize: 242788
Current children cumulated CPU time (s) 279.87
Current children cumulated vsize (Kb) 242788

[startup+290.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7803
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 98882 0 0 0 28768 219 0 0 25 0 1 0 21783144 248614912 48467 4294967295 134512640 135987407 3221224560 3221223264 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7803/statm): 60697 48467 364 364 0 60333 0
[pid=7803] vsize: 242788
Current children cumulated CPU time (s) 289.87
Current children cumulated vsize (Kb) 242788

[startup+300.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7803
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 98899 0 0 0 29767 219 0 0 25 0 1 0 21783144 248614912 48484 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7803/statm): 60697 48484 364 364 0 60333 0
[pid=7803] vsize: 242788
Current children cumulated CPU time (s) 299.86
Current children cumulated vsize (Kb) 242788

[startup+310.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7803
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 98900 0 0 0 30767 220 0 0 25 0 1 0 21783144 248614912 48485 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7803/statm): 60697 48485 364 364 0 60333 0
[pid=7803] vsize: 242788
Current children cumulated CPU time (s) 309.87
Current children cumulated vsize (Kb) 242788

[startup+320.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7803
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 98904 0 0 0 31766 220 0 0 25 0 1 0 21783144 248614912 48489 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7803/statm): 60697 48489 364 364 0 60333 0
[pid=7803] vsize: 242788
Current children cumulated CPU time (s) 319.86
Current children cumulated vsize (Kb) 242788

[startup+330.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7803
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 98906 0 0 0 32765 220 0 0 25 0 1 0 21783144 248614912 48491 4294967295 134512640 135987407 3221224560 3221223104 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7803/statm): 60697 48491 364 364 0 60333 0
[pid=7803] vsize: 242788
Current children cumulated CPU time (s) 329.85
Current children cumulated vsize (Kb) 242788

[startup+340.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7803
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 98908 0 0 0 33765 220 0 0 25 0 1 0 21783144 248614912 48493 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7803/statm): 60697 48493 364 364 0 60333 0
[pid=7803] vsize: 242788
Current children cumulated CPU time (s) 339.85
Current children cumulated vsize (Kb) 242788

[startup+350.012 s]
Raw data (loadavg): 0.99 0.97 0.92 1/55 7803
Raw data (/proc/7803/stat): 7803 (pb2sat) T 7802 7803 4061 0 -1 0 98910 0 0 0 34765 220 0 0 25 0 1 0 21783144 248614912 48495 4294967295 134512640 135987407 3221224560 3221223244 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7803/statm): 60697 48495 364 364 0 60333 0
[pid=7803] vsize: 242788
Current children cumulated CPU time (s) 349.85
Current children cumulated vsize (Kb) 242788

[startup+360.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7803
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 98914 0 0 0 35764 221 0 0 25 0 1 0 21783144 248614912 48499 4294967295 134512640 135987407 3221224560 3221223264 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7803/statm): 60697 48499 364 364 0 60333 0
[pid=7803] vsize: 242788
Current children cumulated CPU time (s) 359.85
Current children cumulated vsize (Kb) 242788

[startup+370.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7803
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 98927 0 0 0 36764 221 0 0 25 0 1 0 21783144 248614912 48512 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7803/statm): 60697 48512 364 364 0 60333 0
[pid=7803] vsize: 242788
Current children cumulated CPU time (s) 369.85
Current children cumulated vsize (Kb) 242788

[startup+380.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7803
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 98930 0 0 0 37764 221 0 0 25 0 1 0 21783144 248614912 48515 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7803/statm): 60697 48515 364 364 0 60333 0
[pid=7803] vsize: 242788
Current children cumulated CPU time (s) 379.85
Current children cumulated vsize (Kb) 242788

[startup+390.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7858
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 98933 0 0 0 38762 223 0 0 25 0 1 0 21783144 248614912 48518 4294967295 134512640 135987407 3221224560 3221223104 134812028 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7803/statm): 60697 48518 364 364 0 60333 0
[pid=7803] vsize: 242788
Current children cumulated CPU time (s) 389.85
Current children cumulated vsize (Kb) 242788

[startup+400.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7858
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 98937 0 0 0 39761 223 0 0 25 0 1 0 21783144 248614912 48522 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7803/statm): 60697 48522 364 364 0 60333 0
[pid=7803] vsize: 242788
Current children cumulated CPU time (s) 399.84
Current children cumulated vsize (Kb) 242788

[startup+410.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7858
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 99085 0 0 0 40761 224 0 0 25 0 1 0 21783144 249139200 48541 4294967295 134512640 135987407 3221224560 3221223280 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7803/statm): 60825 48541 364 364 0 60461 0
[pid=7803] vsize: 243300
Current children cumulated CPU time (s) 409.85
Current children cumulated vsize (Kb) 243300

[startup+420.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7858
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 99092 0 0 0 41760 224 0 0 25 0 1 0 21783144 249139200 48548 4294967295 134512640 135987407 3221224560 3221223260 134812764 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7803/statm): 60825 48548 364 364 0 60461 0
[pid=7803] vsize: 243300
Current children cumulated CPU time (s) 419.84
Current children cumulated vsize (Kb) 243300

[startup+430.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7858
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 99095 0 0 0 42760 224 0 0 25 0 1 0 21783144 249139200 48551 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7803/statm): 60825 48551 364 364 0 60461 0
[pid=7803] vsize: 243300
Current children cumulated CPU time (s) 429.84
Current children cumulated vsize (Kb) 243300

[startup+440.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7860
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 99098 0 0 0 43759 225 0 0 25 0 1 0 21783144 249139200 48554 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7803/statm): 60825 48554 364 364 0 60461 0
[pid=7803] vsize: 243300
Current children cumulated CPU time (s) 439.84
Current children cumulated vsize (Kb) 243300

[startup+450.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7862
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 99100 0 0 0 44758 225 0 0 25 0 1 0 21783144 249139200 48556 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7803/statm): 60825 48556 364 364 0 60461 0
[pid=7803] vsize: 243300
Current children cumulated CPU time (s) 449.83
Current children cumulated vsize (Kb) 243300

[startup+460.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7864
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 100048 0 0 0 45756 227 0 0 25 0 1 0 21783144 252035072 49128 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7803/statm): 61532 49128 364 364 0 61168 0
[pid=7803] vsize: 246128
Current children cumulated CPU time (s) 459.83
Current children cumulated vsize (Kb) 246128

[startup+470.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7864
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 101596 0 0 0 46752 230 0 0 25 0 1 0 21783144 256864256 49990 4294967295 134512640 135987407 3221224560 3221223280 134812903 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7803/statm): 62711 49990 364 364 0 62347 0
[pid=7803] vsize: 250844
Current children cumulated CPU time (s) 469.82
Current children cumulated vsize (Kb) 250844

[startup+480.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7864
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 102584 0 0 0 47750 232 0 0 25 0 1 0 21783144 259571712 50458 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7803/statm): 63372 50458 364 364 0 63008 0
[pid=7803] vsize: 253488
Current children cumulated CPU time (s) 479.82
Current children cumulated vsize (Kb) 253488

[startup+490.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7864
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 103223 0 0 0 48748 234 0 0 25 0 1 0 21783144 261271552 50838 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7803/statm): 63787 50838 364 364 0 63423 0
[pid=7803] vsize: 255148
Current children cumulated CPU time (s) 489.82
Current children cumulated vsize (Kb) 255148

[startup+500.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7864
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 103588 0 0 0 49747 235 0 0 25 0 1 0 21783144 262492160 50945 4294967295 134512640 135987407 3221224560 3221223232 134824216 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7803/statm): 64085 50945 364 364 0 63721 0
[pid=7803] vsize: 256340
Current children cumulated CPU time (s) 499.82
Current children cumulated vsize (Kb) 256340

[startup+510.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7864
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 104203 0 0 0 50745 236 0 0 25 0 1 0 21783144 264065024 51172 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7803/statm): 64469 51172 364 364 0 64105 0
[pid=7803] vsize: 257876
Current children cumulated CPU time (s) 509.81
Current children cumulated vsize (Kb) 257876

[startup+520.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7864
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 104493 0 0 0 51742 237 0 0 25 0 1 0 21783144 264982528 51333 4294967295 134512640 135987407 3221224560 3221223104 134811986 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7803/statm): 64693 51333 364 364 0 64329 0
[pid=7803] vsize: 258772
Current children cumulated CPU time (s) 519.79
Current children cumulated vsize (Kb) 258772

[startup+530.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7864
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 105796 0 0 0 52739 240 0 0 25 0 1 0 21783144 268546048 51986 4294967295 134512640 135987407 3221224560 3221223264 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7803/statm): 65563 51986 364 364 0 65199 0
[pid=7803] vsize: 262252
Current children cumulated CPU time (s) 529.79
Current children cumulated vsize (Kb) 262252

[startup+540.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7864
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 105799 0 0 0 53738 240 0 0 25 0 1 0 21783144 268546048 51989 4294967295 134512640 135987407 3221224560 3221223280 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7803/statm): 65563 51989 364 364 0 65199 0
[pid=7803] vsize: 262252
Current children cumulated CPU time (s) 539.78
Current children cumulated vsize (Kb) 262252

[startup+550.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7864
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 105802 0 0 0 54738 240 0 0 25 0 1 0 21783144 268546048 51992 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7803/statm): 65563 51992 364 364 0 65199 0
[pid=7803] vsize: 262252
Current children cumulated CPU time (s) 549.78
Current children cumulated vsize (Kb) 262252

[startup+560.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7864
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 105824 0 0 0 55737 241 0 0 25 0 1 0 21783144 268681216 52014 4294967295 134512640 135987407 3221224560 3221223104 134812028 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7803/statm): 65596 52014 364 364 0 65232 0
[pid=7803] vsize: 262384
Current children cumulated CPU time (s) 559.78
Current children cumulated vsize (Kb) 262384

[startup+570.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7864
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 105827 0 0 0 56737 241 0 0 25 0 1 0 21783144 268681216 52017 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7803/statm): 65596 52017 364 364 0 65232 0
[pid=7803] vsize: 262384
Current children cumulated CPU time (s) 569.78
Current children cumulated vsize (Kb) 262384

[startup+580.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7864
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 105830 0 0 0 57737 241 0 0 25 0 1 0 21783144 268681216 52020 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7803/statm): 65596 52020 364 364 0 65232 0
[pid=7803] vsize: 262384
Current children cumulated CPU time (s) 579.78
Current children cumulated vsize (Kb) 262384

[startup+590.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7864
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 105833 0 0 0 58736 241 0 0 25 0 1 0 21783144 268681216 52023 4294967295 134512640 135987407 3221224560 3221222988 134801609 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7803/statm): 65596 52023 364 364 0 65232 0
[pid=7803] vsize: 262384
Current children cumulated CPU time (s) 589.77
Current children cumulated vsize (Kb) 262384

[startup+600.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7864
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 105836 0 0 0 59736 242 0 0 25 0 1 0 21783144 268681216 52026 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7803/statm): 65596 52026 364 364 0 65232 0
[pid=7803] vsize: 262384
Current children cumulated CPU time (s) 599.78
Current children cumulated vsize (Kb) 262384

[startup+610.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7864
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 105841 0 0 0 60735 242 0 0 25 0 1 0 21783144 268681216 52031 4294967295 134512640 135987407 3221224560 3221223280 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7803/statm): 65596 52031 364 364 0 65232 0
[pid=7803] vsize: 262384
Current children cumulated CPU time (s) 609.77
Current children cumulated vsize (Kb) 262384

[startup+620.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7864
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 105846 0 0 0 61735 242 0 0 25 0 1 0 21783144 268681216 52036 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7803/statm): 65596 52036 364 364 0 65232 0
[pid=7803] vsize: 262384
Current children cumulated CPU time (s) 619.77
Current children cumulated vsize (Kb) 262384

[startup+630.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7864
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 105929 0 0 0 62735 242 0 0 25 0 1 0 21783144 268947456 52086 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7803/statm): 65661 52086 364 364 0 65297 0
[pid=7803] vsize: 262644
Current children cumulated CPU time (s) 629.77
Current children cumulated vsize (Kb) 262644

[startup+640.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7864
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 106375 0 0 0 63734 243 0 0 25 0 1 0 21783144 270131200 52271 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7803/statm): 65950 52271 364 364 0 65586 0
[pid=7803] vsize: 263800
Current children cumulated CPU time (s) 639.77
Current children cumulated vsize (Kb) 263800

[startup+650.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7864
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 106379 0 0 0 64733 243 0 0 25 0 1 0 21783144 270131200 52275 4294967295 134512640 135987407 3221224560 3221223104 134788799 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7803/statm): 65950 52275 364 364 0 65586 0
[pid=7803] vsize: 263800
Current children cumulated CPU time (s) 649.76
Current children cumulated vsize (Kb) 263800

[startup+660.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7864
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 106545 0 0 0 65732 244 0 0 25 0 1 0 21783144 270659584 52376 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7803/statm): 66079 52376 364 364 0 65715 0
[pid=7803] vsize: 264316
Current children cumulated CPU time (s) 659.76
Current children cumulated vsize (Kb) 264316

[startup+670.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7864
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 106563 0 0 0 66732 244 0 0 25 0 1 0 21783144 270659584 52394 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7803/statm): 66079 52394 364 364 0 65715 0
[pid=7803] vsize: 264316
Current children cumulated CPU time (s) 669.76
Current children cumulated vsize (Kb) 264316

[startup+680.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7864
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 106579 0 0 0 67731 244 0 0 25 0 1 0 21783144 270659584 52410 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7803/statm): 66079 52410 364 364 0 65715 0
[pid=7803] vsize: 264316
Current children cumulated CPU time (s) 679.75
Current children cumulated vsize (Kb) 264316

[startup+690.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7864
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 106805 0 0 0 68730 245 0 0 25 0 1 0 21783144 271990784 52636 4294967295 134512640 135987407 3221224560 3221223264 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7803/statm): 66404 52636 364 364 0 66040 0
[pid=7803] vsize: 265616
Current children cumulated CPU time (s) 689.75
Current children cumulated vsize (Kb) 265616

[startup+700.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7864
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 106981 0 0 0 69729 245 0 0 25 0 1 0 21783144 272515072 52682 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7803/statm): 66532 52682 364 364 0 66168 0
[pid=7803] vsize: 266128
Current children cumulated CPU time (s) 699.74
Current children cumulated vsize (Kb) 266128

[startup+710.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7864
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 106985 0 0 0 70729 246 0 0 25 0 1 0 21783144 272515072 52686 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7803/statm): 66532 52686 364 364 0 66168 0
[pid=7803] vsize: 266128
Current children cumulated CPU time (s) 709.75
Current children cumulated vsize (Kb) 266128

[startup+720.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7864
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 106988 0 0 0 71729 246 0 0 25 0 1 0 21783144 272515072 52689 4294967295 134512640 135987407 3221224560 3221222976 134788502 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7803/statm): 66532 52689 364 364 0 66168 0
[pid=7803] vsize: 266128
Current children cumulated CPU time (s) 719.75
Current children cumulated vsize (Kb) 266128

[startup+730.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7866
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 106992 0 0 0 72728 246 0 0 25 0 1 0 21783144 272515072 52693 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7803/statm): 66532 52693 364 364 0 66168 0
[pid=7803] vsize: 266128
Current children cumulated CPU time (s) 729.74
Current children cumulated vsize (Kb) 266128

[startup+740.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7866
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 107010 0 0 0 73727 247 0 0 25 0 1 0 21783144 272515072 52711 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7803/statm): 66532 52711 364 364 0 66168 0
[pid=7803] vsize: 266128
Current children cumulated CPU time (s) 739.74
Current children cumulated vsize (Kb) 266128

[startup+750.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7866
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 107018 0 0 0 74727 247 0 0 25 0 1 0 21783144 272515072 52719 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7803/statm): 66532 52719 364 364 0 66168 0
[pid=7803] vsize: 266128
Current children cumulated CPU time (s) 749.74
Current children cumulated vsize (Kb) 266128

[startup+760.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7866
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 107029 0 0 0 75726 248 0 0 25 0 1 0 21783144 272515072 52730 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7803/statm): 66532 52730 364 364 0 66168 0
[pid=7803] vsize: 266128
Current children cumulated CPU time (s) 759.74
Current children cumulated vsize (Kb) 266128

[startup+770.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7866
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 107039 0 0 0 76726 248 0 0 25 0 1 0 21783144 272515072 52740 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7803/statm): 66532 52740 364 364 0 66168 0
[pid=7803] vsize: 266128
Current children cumulated CPU time (s) 769.74
Current children cumulated vsize (Kb) 266128

[startup+780.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7866
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 107042 0 0 0 77725 248 0 0 25 0 1 0 21783144 272515072 52743 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7803/statm): 66532 52743 364 364 0 66168 0
[pid=7803] vsize: 266128
Current children cumulated CPU time (s) 779.73
Current children cumulated vsize (Kb) 266128

[startup+790.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7866
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 107047 0 0 0 78724 249 0 0 25 0 1 0 21783144 272515072 52748 4294967295 134512640 135987407 3221224560 3221223184 134812419 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7803/statm): 66532 52748 364 364 0 66168 0
[pid=7803] vsize: 266128
Current children cumulated CPU time (s) 789.73
Current children cumulated vsize (Kb) 266128

[startup+800.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7866
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 107056 0 0 0 79724 249 0 0 25 0 1 0 21783144 272515072 52757 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7803/statm): 66532 52757 364 364 0 66168 0
[pid=7803] vsize: 266128
Current children cumulated CPU time (s) 799.73
Current children cumulated vsize (Kb) 266128

[startup+810.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7866
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 107211 0 0 0 80723 250 0 0 25 0 1 0 21783144 272777216 52847 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7803/statm): 66596 52847 364 364 0 66232 0
[pid=7803] vsize: 266384
Current children cumulated CPU time (s) 809.73
Current children cumulated vsize (Kb) 266384

[startup+820.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7866
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 107218 0 0 0 81723 250 0 0 25 0 1 0 21783144 272777216 52854 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7803/statm): 66596 52854 364 364 0 66232 0
[pid=7803] vsize: 266384
Current children cumulated CPU time (s) 819.73
Current children cumulated vsize (Kb) 266384

[startup+830.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7866
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 107222 0 0 0 82722 250 0 0 25 0 1 0 21783144 272777216 52858 4294967295 134512640 135987407 3221224560 3221223232 134824717 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7803/statm): 66596 52858 364 364 0 66232 0
[pid=7803] vsize: 266384
Current children cumulated CPU time (s) 829.72
Current children cumulated vsize (Kb) 266384

[startup+840.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7866
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 107225 0 0 0 83722 250 0 0 25 0 1 0 21783144 272777216 52861 4294967295 134512640 135987407 3221224560 3221223280 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7803/statm): 66596 52861 364 364 0 66232 0
[pid=7803] vsize: 266384
Current children cumulated CPU time (s) 839.72
Current children cumulated vsize (Kb) 266384

[startup+850.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7866
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 107230 0 0 0 84721 251 0 0 25 0 1 0 21783144 272777216 52866 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7803/statm): 66596 52866 364 364 0 66232 0
[pid=7803] vsize: 266384
Current children cumulated CPU time (s) 849.72
Current children cumulated vsize (Kb) 266384

[startup+860.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7866
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 107235 0 0 0 85720 251 0 0 25 0 1 0 21783144 272777216 52871 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7803/statm): 66596 52871 364 364 0 66232 0
[pid=7803] vsize: 266384
Current children cumulated CPU time (s) 859.71
Current children cumulated vsize (Kb) 266384

[startup+870.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7866
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 107240 0 0 0 86720 251 0 0 25 0 1 0 21783144 272777216 52876 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7803/statm): 66596 52876 364 364 0 66232 0
[pid=7803] vsize: 266384
Current children cumulated CPU time (s) 869.71
Current children cumulated vsize (Kb) 266384

[startup+880.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7866
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 107245 0 0 0 87719 252 0 0 25 0 1 0 21783144 272777216 52881 4294967295 134512640 135987407 3221224560 3221223104 134811988 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7803/statm): 66596 52881 364 364 0 66232 0
[pid=7803] vsize: 266384
Current children cumulated CPU time (s) 879.71
Current children cumulated vsize (Kb) 266384

[startup+890.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7866
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 107248 0 0 0 88719 252 0 0 25 0 1 0 21783144 272777216 52884 4294967295 134512640 135987407 3221224560 3221223104 134811870 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7803/statm): 66596 52884 364 364 0 66232 0
[pid=7803] vsize: 266384
Current children cumulated CPU time (s) 889.71
Current children cumulated vsize (Kb) 266384

[startup+900.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7866
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 107252 0 0 0 89718 252 0 0 25 0 1 0 21783144 272777216 52888 4294967295 134512640 135987407 3221224560 3221223280 134812593 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7803/statm): 66596 52888 364 364 0 66232 0
[pid=7803] vsize: 266384
Current children cumulated CPU time (s) 899.7
Current children cumulated vsize (Kb) 266384

[startup+910.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7866
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 107258 0 0 0 90718 252 0 0 25 0 1 0 21783144 272777216 52894 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7803/statm): 66596 52894 364 364 0 66232 0
[pid=7803] vsize: 266384
Current children cumulated CPU time (s) 909.7
Current children cumulated vsize (Kb) 266384

[startup+920.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7866
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 107260 0 0 0 91717 253 0 0 25 0 1 0 21783144 272777216 52896 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7803/statm): 66596 52896 364 364 0 66232 0
[pid=7803] vsize: 266384
Current children cumulated CPU time (s) 919.7
Current children cumulated vsize (Kb) 266384

[startup+930.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7866
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 107274 0 0 0 92717 253 0 0 25 0 1 0 21783144 272777216 52910 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7803/statm): 66596 52910 364 364 0 66232 0
[pid=7803] vsize: 266384
Current children cumulated CPU time (s) 929.7
Current children cumulated vsize (Kb) 266384

[startup+940.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7866
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 107277 0 0 0 93716 253 0 0 25 0 1 0 21783144 272777216 52913 4294967295 134512640 135987407 3221224560 3221223200 134812334 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7803/statm): 66596 52913 364 364 0 66232 0
[pid=7803] vsize: 266384
Current children cumulated CPU time (s) 939.69
Current children cumulated vsize (Kb) 266384

[startup+950.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7866
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 107298 0 0 0 94716 253 0 0 25 0 1 0 21783144 272777216 52934 4294967295 134512640 135987407 3221224560 3221223232 134824238 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7803/statm): 66596 52934 364 364 0 66232 0
[pid=7803] vsize: 266384
Current children cumulated CPU time (s) 949.69
Current children cumulated vsize (Kb) 266384

[startup+960.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7866
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 107320 0 0 0 95716 254 0 0 25 0 1 0 21783144 272777216 52956 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7803/statm): 66596 52956 364 364 0 66232 0
[pid=7803] vsize: 266384
Current children cumulated CPU time (s) 959.7
Current children cumulated vsize (Kb) 266384

[startup+970.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7866
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 107325 0 0 0 96715 254 0 0 25 0 1 0 21783144 272777216 52961 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7803/statm): 66596 52961 364 364 0 66232 0
[pid=7803] vsize: 266384
Current children cumulated CPU time (s) 969.69
Current children cumulated vsize (Kb) 266384

[startup+980.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7866
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 107345 0 0 0 97715 254 0 0 25 0 1 0 21783144 272777216 52981 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7803/statm): 66596 52981 364 364 0 66232 0
[pid=7803] vsize: 266384
Current children cumulated CPU time (s) 979.69
Current children cumulated vsize (Kb) 266384

[startup+990.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7866
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 107348 0 0 0 98715 254 0 0 25 0 1 0 21783144 272777216 52984 4294967295 134512640 135987407 3221224560 3221223176 134811683 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7803/statm): 66596 52984 364 364 0 66232 0
[pid=7803] vsize: 266384
Current children cumulated CPU time (s) 989.69
Current children cumulated vsize (Kb) 266384

[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7866
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 107351 0 0 0 99714 254 0 0 25 0 1 0 21783144 272777216 52987 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7803/statm): 66596 52987 364 364 0 66232 0
[pid=7803] vsize: 266384
Current children cumulated CPU time (s) 999.68
Current children cumulated vsize (Kb) 266384

[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7866
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 107355 0 0 0 100714 254 0 0 25 0 1 0 21783144 272777216 52991 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7803/statm): 66596 52991 364 364 0 66232 0
[pid=7803] vsize: 266384
Current children cumulated CPU time (s) 1009.68
Current children cumulated vsize (Kb) 266384

[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7866
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 107359 0 0 0 101714 255 0 0 25 0 1 0 21783144 272777216 52995 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7803/statm): 66596 52995 364 364 0 66232 0
[pid=7803] vsize: 266384
Current children cumulated CPU time (s) 1019.69
Current children cumulated vsize (Kb) 266384

[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7866
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 107363 0 0 0 102713 255 0 0 25 0 1 0 21783144 272777216 52999 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7803/statm): 66596 52999 364 364 0 66232 0
[pid=7803] vsize: 266384
Current children cumulated CPU time (s) 1029.68
Current children cumulated vsize (Kb) 266384

[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7866
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 107367 0 0 0 103713 255 0 0 25 0 1 0 21783144 272777216 53003 4294967295 134512640 135987407 3221224560 3221223280 134812644 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7803/statm): 66596 53003 364 364 0 66232 0
[pid=7803] vsize: 266384
Current children cumulated CPU time (s) 1039.68
Current children cumulated vsize (Kb) 266384

[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7866
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 107371 0 0 0 104713 255 0 0 25 0 1 0 21783144 272777216 53007 4294967295 134512640 135987407 3221224560 3221223232 134824720 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7803/statm): 66596 53007 364 364 0 66232 0
[pid=7803] vsize: 266384
Current children cumulated CPU time (s) 1049.68
Current children cumulated vsize (Kb) 266384

[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7866
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 107374 0 0 0 105712 255 0 0 25 0 1 0 21783144 272777216 53010 4294967295 134512640 135987407 3221224560 3221223280 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7803/statm): 66596 53010 364 364 0 66232 0
[pid=7803] vsize: 266384
Current children cumulated CPU time (s) 1059.67
Current children cumulated vsize (Kb) 266384

[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7866
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 107379 0 0 0 106712 255 0 0 25 0 1 0 21783144 272777216 53015 4294967295 134512640 135987407 3221224560 3221223104 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7803/statm): 66596 53015 364 364 0 66232 0
[pid=7803] vsize: 266384
Current children cumulated CPU time (s) 1069.67
Current children cumulated vsize (Kb) 266384

[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7866
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 107383 0 0 0 107711 255 0 0 25 0 1 0 21783144 272777216 53019 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7803/statm): 66596 53019 364 364 0 66232 0
[pid=7803] vsize: 266384
Current children cumulated CPU time (s) 1079.66
Current children cumulated vsize (Kb) 266384

[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7866
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 107389 0 0 0 108711 256 0 0 25 0 1 0 21783144 272777216 53025 4294967295 134512640 135987407 3221224560 3221222976 134788460 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7803/statm): 66596 53025 364 364 0 66232 0
[pid=7803] vsize: 266384
Current children cumulated CPU time (s) 1089.67
Current children cumulated vsize (Kb) 266384

[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7866
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 107394 0 0 0 109711 256 0 0 25 0 1 0 21783144 272777216 53030 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7803/statm): 66596 53030 364 364 0 66232 0
[pid=7803] vsize: 266384
Current children cumulated CPU time (s) 1099.67
Current children cumulated vsize (Kb) 266384

[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7866
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 107399 0 0 0 110710 256 0 0 25 0 1 0 21783144 272777216 53035 4294967295 134512640 135987407 3221224560 3221223104 134811778 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7803/statm): 66596 53035 364 364 0 66232 0
[pid=7803] vsize: 266384
Current children cumulated CPU time (s) 1109.66
Current children cumulated vsize (Kb) 266384

[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7866
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 107405 0 0 0 111710 256 0 0 25 0 1 0 21783144 272777216 53041 4294967295 134512640 135987407 3221224560 3221223104 134811937 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7803/statm): 66596 53041 364 364 0 66232 0
[pid=7803] vsize: 266384
Current children cumulated CPU time (s) 1119.66
Current children cumulated vsize (Kb) 266384

[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7866
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 107546 0 0 0 112708 257 0 0 25 0 1 0 21783144 273170432 53084 4294967295 134512640 135987407 3221224560 3221223104 134811975 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7803/statm): 66692 53084 364 364 0 66328 0
[pid=7803] vsize: 266768
Current children cumulated CPU time (s) 1129.65
Current children cumulated vsize (Kb) 266768

[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7866
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 107551 0 0 0 113708 257 0 0 25 0 1 0 21783144 273170432 53089 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7803/statm): 66692 53089 364 364 0 66328 0
[pid=7803] vsize: 266768
Current children cumulated CPU time (s) 1139.65
Current children cumulated vsize (Kb) 266768

[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7866
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 107555 0 0 0 114707 257 0 0 25 0 1 0 21783144 273170432 53093 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7803/statm): 66692 53093 364 364 0 66328 0
[pid=7803] vsize: 266768
Current children cumulated CPU time (s) 1149.64
Current children cumulated vsize (Kb) 266768

[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7866
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 107559 0 0 0 115707 257 0 0 25 0 1 0 21783144 273170432 53097 4294967295 134512640 135987407 3221224560 3221223104 134811937 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7803/statm): 66692 53097 364 364 0 66328 0
[pid=7803] vsize: 266768
Current children cumulated CPU time (s) 1159.64
Current children cumulated vsize (Kb) 266768

[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7866
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 107564 0 0 0 116706 258 0 0 25 0 1 0 21783144 273170432 53102 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7803/statm): 66692 53102 364 364 0 66328 0
[pid=7803] vsize: 266768
Current children cumulated CPU time (s) 1169.64
Current children cumulated vsize (Kb) 266768

[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7866
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 107568 0 0 0 117705 258 0 0 25 0 1 0 21783144 273170432 53106 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7803/statm): 66692 53106 364 364 0 66328 0
[pid=7803] vsize: 266768
Current children cumulated CPU time (s) 1179.63
Current children cumulated vsize (Kb) 266768

[startup+1190.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7866
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 107572 0 0 0 118704 259 0 0 25 0 1 0 21783144 273170432 53110 4294967295 134512640 135987407 3221224560 3221223104 134811813 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7803/statm): 66692 53110 364 364 0 66328 0
[pid=7803] vsize: 266768
Current children cumulated CPU time (s) 1189.63
Current children cumulated vsize (Kb) 266768

[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7866
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 107576 0 0 0 119703 260 0 0 25 0 1 0 21783144 273170432 53114 4294967295 134512640 135987407 3221224560 3221223232 134824688 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7803/statm): 66692 53114 364 364 0 66328 0
[pid=7803] vsize: 266768
Current children cumulated CPU time (s) 1199.63
Current children cumulated vsize (Kb) 266768

[startup+1210.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7866
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 107580 0 0 0 120703 260 0 0 25 0 1 0 21783144 273170432 53118 4294967295 134512640 135987407 3221224560 3221223104 134812049 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7803/statm): 66692 53118 364 364 0 66328 0
[pid=7803] vsize: 266768
Current children cumulated CPU time (s) 1209.63
Current children cumulated vsize (Kb) 266768



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7866
Raw data (/proc/7803/stat): 7803 (pb2sat) R 7802 7803 4061 0 -1 0 107580 0 0 0 120703 260 0 0 25 0 1 0 21783144 273170432 53118 4294967295 134512640 135987407 3221224560 3221223104 134812049 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7803/statm): 66692 53118 364 364 0 66328 0
[pid=7803] vsize: 266768
Current children cumulated CPU time (s) 1209.63
Current children cumulated vsize (Kb) 266768

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

Child status: 10
Real time (s): 1211
CPU time (s): 1210.59
CPU user time (s): 1207.88
CPU system time (s): 2.71459
CPU usage (%): 99.9666
Max. virtual memory (cumulated for all children) (Kb): 266768

Verifier Data

Verifier:	OK	646144