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-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-markshare2.opb
MD5SUM3b5121187baf09367bd50bdc4d869d21
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 5632
Optimality of the best value was proved NO
Number of terms in the objective function 140
Biggest coefficient in the objective function 524288
Number of bits for the biggest coefficient in the objective function 20
Sum of the numbers in the objective function 7340025
Number of bits of the sum of numbers in the objective function 23
Biggest number in a constraint 524288
Number of bits of the biggest number in a constraint 20
Biggest sum of numbers in a constraint 7340025
Number of bits of the biggest sum of numbers23
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1195.36
Number of variables200
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 constraint80

Trace number 10465

Launcher Data

LAUNCH ON wulflinc3 THE 2005-09-23 18:12:18 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=9161 boxname=wulflinc3 idbench=957 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  3b5121187baf09367bd50bdc4d869d21  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-markshare2.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-markshare2.opb
IDLAUNCH: 9161
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.228
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.228
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:        924680 kB
Buffers:         13628 kB
Cached:          79464 kB
SwapCached:          0 kB
Active:          44044 kB
Inactive:        51924 kB
HighTotal:      131008 kB
HighFree:        47236 kB
LowTotal:       903652 kB
LowFree:        877444 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:             8356 kB
Committed_AS:    63624 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 18:32:30 (client local time) WITH STATUS 10 IN 1210.66 SECONDS
stats: 9161 0 1210.66 10

Solver Data

c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
c got solution with objective value: 80768
c small objective detected
c CONFLICT during preprocess 
c [startup+31.2917 s]  setting bit 22 to 0
c CONFLICT during preprocess 
c [startup+33.4582 s]  setting bit 21 to 0
c CONFLICT during preprocess 
c [startup+35.6256 s]  setting bit 20 to 0
c CONFLICT during preprocess 
c [startup+37.7926 s]  setting bit 19 to 0
c CONFLICT during preprocess 
c [startup+39.9583 s]  setting bit 18 to 0
c CONFLICT during preprocess 
c [startup+42.1276 s]  setting bit 17 to 0
s SATISFIABLE
v x11_bit0 -x11_bit1 -x11_bit10 -x11_bit11 -x11_bit12 x11_bit2 -x11_bit3 -x11_bit4 x11_bit5 x11_bit6 -x11_bit7 -x11_bit8 -x11_bit9 -x11_bit_1 -x11_bit_2 -x11_bit_3 -x11_bit_4 -x11_bit_5 -x11_bit_6 -x11_bit_7 x13_bit0 -x13_bit1 -x13_bit10 -x13_bit11 -x13_bit12 -x13_bit2 x13_bit3 x13_bit4 -x13_bit5 -x13_bit6 -x13_bit7 x13_bit8 -x13_bit9 -x13_bit_1 -x13_bit_2 -x13_bit_3 -x13_bit_4 -x13_bit_5 -x13_bit_6 -x13_bit_7 -x15_bit0 x16_bit0 x17_bit0 x18_bit0 x19_bit0 x1_bit0 x1_bit1 -x1_bit10 -x1_bit11 -x1_bit12 -x1_bit2 x1_bit3 -x1_bit4 x1_bit5 x1_bit6 -x1_bit7 -x1_bit8 -x1_bit9 -x1_bit_1 -x1_bit_2 -x1_bit_3 -x1_bit_4 -x1_bit_5 -x1_bit_6 -x1_bit_7 x20_bit0 x21_bit0 -x22_bit0 x23_bit0 -x24_bit0 -x25_bit0 -x26_bit0 -x27_bit0 x28_bit0 -x29_bit0 x30_bit0 -x31_bit0 -x32_bit0 -x33_bit0 x34_bit0 -x35_bit0 x36_bit0 -x37_bit0 -x38_bit0 x39_bit0 x3_bit0 x3_bit1 -x3_bit10 -x3_bit11 -x3_bit12 x3_bit2 -x3_bit3 -x3_bit4 -x3_bit5 -x3_bit6 -x3_bit7 -x3_bit8 -x3_bit9 -x3_bit_1 -x3_bit_2 -x3_bit_3 -x3_bit_4 -x3_bit_5 -x3_bit_6 -x3_bit_7 -x40_bit0 -x41_bit0 -x42_bit0 -x43_bit0 -x44_bit0 -x45_bit0 x46_bit0 -x47_bit0 -x48_bit0 -x49_bit0 x50_bit0 -x51_bit0 -x52_bit0 x53_bit0 -x54_bit0 x55_bit0 -x56_bit0 -x57_bit0 -x58_bit0 x59_bit0 x5_bit0 x5_bit1 -x5_bit10 -x5_bit11 -x5_bit12 x5_bit2 -x5_bit3 -x5_bit4 x5_bit5 -x5_bit6 -x5_bit7 -x5_bit8 -x5_bit9 -x5_bit_1 -x5_bit_2 -x5_bit_3 -x5_bit_4 -x5_bit_5 -x5_bit_6 -x5_bit_7 -x60_bit0 -x61_bit0 x62_bit0 x63_bit0 x64_bit0 x65_bit0 x66_bit0 -x67_bit0 x68_bit0 x69_bit0 x70_bit0 x71_bit0 -x72_bit0 -x73_bit0 -x74_bit0 x7_bit0 -x7_bit1 -x7_bit10 -x7_bit11 -x7_bit12 x7_bit2 -x7_bit3 -x7_bit4 x7_bit5 -x7_bit6 -x7_bit7 -x7_bit8 -x7_bit9 -x7_bit_1 -x7_bit_2 -x7_bit_3 -x7_bit_4 -x7_bit_5 -x7_bit_6 -x7_bit_7 x9_bit0 x9_bit1 -x9_bit10 -x9_bit11 -x9_bit12 -x9_bit2 x9_bit3 x9_bit4 x9_bit5 -x9_bit6 -x9_bit7 -x9_bit8 -x9_bit9 -x9_bit_1 -x9_bit_2 -x9_bit_3 -x9_bit_4 -x9_bit_5 -x9_bit_6 -x9_bit_7

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/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 22269478 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/10587/statm): 373 2 364 364 0 9 0
[pid=10587] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-markshare2.opb

[startup+10.002 s]
Raw data (loadavg): 0.92 0.95 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 27922 0 0 0 934 62 0 0 25 0 1 0 22269478 82374656 16779 4294967295 134512640 135987407 3221224560 3221209952 134887887 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10587/statm): 20111 16779 364 364 0 19747 0
[pid=10587] vsize: 80444
Current children cumulated CPU time (s) 9.96
Current children cumulated vsize (Kb) 80444

[startup+20.0039 s]
Raw data (loadavg): 0.93 0.95 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 54881 0 0 0 1876 120 0 0 25 0 1 0 22269478 159412224 32513 4294967295 134512640 135987407 3221224560 3221210576 134640447 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10587/statm): 38919 32513 364 364 0 38555 0
[pid=10587] vsize: 155676
Current children cumulated CPU time (s) 19.96
Current children cumulated vsize (Kb) 155676

[startup+30.0047 s]
Raw data (loadavg): 0.94 0.95 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 82587 0 0 0 2819 175 0 0 25 0 1 0 22269478 245264384 48175 4294967295 134512640 135987407 3221224560 3221222964 134828865 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10587/statm): 59879 48175 364 364 0 59515 0
[pid=10587] vsize: 239516
Current children cumulated CPU time (s) 29.94
Current children cumulated vsize (Kb) 239516

[startup+40.0045 s]
Raw data (loadavg): 0.95 0.95 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 86790 0 0 0 3808 186 0 0 25 0 1 0 22269478 240975872 47143 4294967295 134512640 135987407 3221224560 3221223312 134800232 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10587/statm): 58832 47143 364 364 0 58468 0
[pid=10587] vsize: 235328
Current children cumulated CPU time (s) 39.94
Current children cumulated vsize (Kb) 235328

[startup+50.0054 s]
Raw data (loadavg): 0.96 0.95 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 89218 0 0 0 4801 192 0 0 25 0 1 0 22269478 241958912 47347 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10587/statm): 59072 47347 364 364 0 58708 0
[pid=10587] vsize: 236288
Current children cumulated CPU time (s) 49.93
Current children cumulated vsize (Kb) 236288

[startup+60.0052 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 89407 0 0 0 5800 192 0 0 25 0 1 0 22269478 242352128 47438 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10587/statm): 59168 47438 364 364 0 58804 0
[pid=10587] vsize: 236672
Current children cumulated CPU time (s) 59.92
Current children cumulated vsize (Kb) 236672

[startup+70.0061 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 89828 0 0 0 6799 194 0 0 25 0 1 0 22269478 243765248 47601 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10587/statm): 59513 47601 364 364 0 59149 0
[pid=10587] vsize: 238052
Current children cumulated CPU time (s) 69.93
Current children cumulated vsize (Kb) 238052

[startup+80.0069 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 89992 0 0 0 7798 194 0 0 25 0 1 0 22269478 244457472 47636 4294967295 134512640 135987407 3221224560 3221223176 134811683 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10587/statm): 59682 47636 364 364 0 59318 0
[pid=10587] vsize: 238728
Current children cumulated CPU time (s) 79.92
Current children cumulated vsize (Kb) 238728

[startup+90.0067 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 90116 0 0 0 8797 195 0 0 25 0 1 0 22269478 244719616 47695 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10587/statm): 59746 47695 364 364 0 59382 0
[pid=10587] vsize: 238984
Current children cumulated CPU time (s) 89.92
Current children cumulated vsize (Kb) 238984

[startup+100.008 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 90159 0 0 0 9797 195 0 0 25 0 1 0 22269478 244985856 47738 4294967295 134512640 135987407 3221224560 3221223264 134790054 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10587/statm): 59811 47738 364 364 0 59447 0
[pid=10587] vsize: 239244
Current children cumulated CPU time (s) 99.92
Current children cumulated vsize (Kb) 239244

[startup+110.008 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 90176 0 0 0 10797 195 0 0 25 0 1 0 22269478 244985856 47755 4294967295 134512640 135987407 3221224560 3221223104 134811966 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10587/statm): 59811 47755 364 364 0 59447 0
[pid=10587] vsize: 239244
Current children cumulated CPU time (s) 109.92
Current children cumulated vsize (Kb) 239244

[startup+120.009 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 90179 0 0 0 11796 196 0 0 25 0 1 0 22269478 244985856 47758 4294967295 134512640 135987407 3221224560 3221223280 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10587/statm): 59811 47758 364 364 0 59447 0
[pid=10587] vsize: 239244
Current children cumulated CPU time (s) 119.92
Current children cumulated vsize (Kb) 239244

[startup+130.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 90186 0 0 0 12796 196 0 0 25 0 1 0 22269478 244985856 47765 4294967295 134512640 135987407 3221224560 3221223104 134811735 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10587/statm): 59811 47765 364 364 0 59447 0
[pid=10587] vsize: 239244
Current children cumulated CPU time (s) 129.92
Current children cumulated vsize (Kb) 239244

[startup+140.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 90219 0 0 0 13795 196 0 0 25 0 1 0 22269478 245121024 47798 4294967295 134512640 135987407 3221224560 3221223104 134811773 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10587/statm): 59844 47798 364 364 0 59480 0
[pid=10587] vsize: 239376
Current children cumulated CPU time (s) 139.91
Current children cumulated vsize (Kb) 239376

[startup+150.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 90263 0 0 0 14795 196 0 0 25 0 1 0 22269478 245252096 47809 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10587/statm): 59876 47809 364 364 0 59512 0
[pid=10587] vsize: 239504
Current children cumulated CPU time (s) 149.91
Current children cumulated vsize (Kb) 239504

[startup+160.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 90270 0 0 0 15794 196 0 0 25 0 1 0 22269478 245252096 47816 4294967295 134512640 135987407 3221224560 3221223280 134812696 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10587/statm): 59876 47816 364 364 0 59512 0
[pid=10587] vsize: 239504
Current children cumulated CPU time (s) 159.9
Current children cumulated vsize (Kb) 239504

[startup+170.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 90288 0 0 0 16794 197 0 0 25 0 1 0 22269478 245252096 47834 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10587/statm): 59876 47834 364 364 0 59512 0
[pid=10587] vsize: 239504
Current children cumulated CPU time (s) 169.91
Current children cumulated vsize (Kb) 239504

[startup+180.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 90304 0 0 0 17794 197 0 0 25 0 1 0 22269478 245252096 47850 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10587/statm): 59876 47850 364 364 0 59512 0
[pid=10587] vsize: 239504
Current children cumulated CPU time (s) 179.91
Current children cumulated vsize (Kb) 239504

[startup+190.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 90306 0 0 0 18793 197 0 0 25 0 1 0 22269478 245252096 47852 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10587/statm): 59876 47852 364 364 0 59512 0
[pid=10587] vsize: 239504
Current children cumulated CPU time (s) 189.9
Current children cumulated vsize (Kb) 239504

[startup+200.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 90397 0 0 0 19793 197 0 0 25 0 1 0 22269478 245387264 47943 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10587/statm): 59909 47943 364 364 0 59545 0
[pid=10587] vsize: 239636
Current children cumulated CPU time (s) 199.9
Current children cumulated vsize (Kb) 239636

[startup+210.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 90401 0 0 0 20793 197 0 0 25 0 1 0 22269478 245387264 47947 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10587/statm): 59909 47947 364 364 0 59545 0
[pid=10587] vsize: 239636
Current children cumulated CPU time (s) 209.9
Current children cumulated vsize (Kb) 239636

[startup+220.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 90403 0 0 0 21793 198 0 0 25 0 1 0 22269478 245387264 47949 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10587/statm): 59909 47949 364 364 0 59545 0
[pid=10587] vsize: 239636
Current children cumulated CPU time (s) 219.91
Current children cumulated vsize (Kb) 239636

[startup+230.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 90485 0 0 0 22792 198 0 0 25 0 1 0 22269478 245653504 47998 4294967295 134512640 135987407 3221224560 3221223264 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10587/statm): 59974 47998 364 364 0 59610 0
[pid=10587] vsize: 239896
Current children cumulated CPU time (s) 229.9
Current children cumulated vsize (Kb) 239896

[startup+240.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 90617 0 0 0 23791 199 0 0 25 0 1 0 22269478 246046720 48032 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10587/statm): 60070 48032 364 364 0 59706 0
[pid=10587] vsize: 240280
Current children cumulated CPU time (s) 239.9
Current children cumulated vsize (Kb) 240280

[startup+250.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 90619 0 0 0 24791 199 0 0 25 0 1 0 22269478 246046720 48034 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10587/statm): 60070 48034 364 364 0 59706 0
[pid=10587] vsize: 240280
Current children cumulated CPU time (s) 249.9
Current children cumulated vsize (Kb) 240280

[startup+260.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 90642 0 0 0 25790 199 0 0 25 0 1 0 22269478 246046720 48057 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10587/statm): 60070 48057 364 364 0 59706 0
[pid=10587] vsize: 240280
Current children cumulated CPU time (s) 259.89
Current children cumulated vsize (Kb) 240280

[startup+270.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 90646 0 0 0 26790 199 0 0 25 0 1 0 22269478 246046720 48061 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10587/statm): 60070 48061 364 364 0 59706 0
[pid=10587] vsize: 240280
Current children cumulated CPU time (s) 269.89
Current children cumulated vsize (Kb) 240280

[startup+280.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 90647 0 0 0 27790 199 0 0 25 0 1 0 22269478 246046720 48062 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10587/statm): 60070 48062 364 364 0 59706 0
[pid=10587] vsize: 240280
Current children cumulated CPU time (s) 279.89
Current children cumulated vsize (Kb) 240280

[startup+290.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 90655 0 0 0 28789 199 0 0 25 0 1 0 22269478 246046720 48070 4294967295 134512640 135987407 3221224560 3221223232 134824722 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10587/statm): 60070 48070 364 364 0 59706 0
[pid=10587] vsize: 240280
Current children cumulated CPU time (s) 289.88
Current children cumulated vsize (Kb) 240280

[startup+300.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 90670 0 0 0 29789 199 0 0 25 0 1 0 22269478 246046720 48085 4294967295 134512640 135987407 3221224560 3221223232 134824720 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10587/statm): 60070 48085 364 364 0 59706 0
[pid=10587] vsize: 240280
Current children cumulated CPU time (s) 299.88
Current children cumulated vsize (Kb) 240280

[startup+310.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 90698 0 0 0 30789 200 0 0 25 0 1 0 22269478 246046720 48113 4294967295 134512640 135987407 3221224560 3221223236 134812452 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10587/statm): 60070 48113 364 364 0 59706 0
[pid=10587] vsize: 240280
Current children cumulated CPU time (s) 309.89
Current children cumulated vsize (Kb) 240280

[startup+320.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 90714 0 0 0 31788 200 0 0 25 0 1 0 22269478 246046720 48129 4294967295 134512640 135987407 3221224560 3221223104 134811768 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10587/statm): 60070 48129 364 364 0 59706 0
[pid=10587] vsize: 240280
Current children cumulated CPU time (s) 319.88
Current children cumulated vsize (Kb) 240280

[startup+330.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 90722 0 0 0 32788 200 0 0 25 0 1 0 22269478 246046720 48137 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10587/statm): 60070 48137 364 364 0 59706 0
[pid=10587] vsize: 240280
Current children cumulated CPU time (s) 329.88
Current children cumulated vsize (Kb) 240280

[startup+340.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 90820 0 0 0 33787 201 0 0 25 0 1 0 22269478 246308864 48170 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10587/statm): 60134 48170 364 364 0 59770 0
[pid=10587] vsize: 240536
Current children cumulated CPU time (s) 339.88
Current children cumulated vsize (Kb) 240536

[startup+350.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 90823 0 0 0 34787 201 0 0 25 0 1 0 22269478 246308864 48173 4294967295 134512640 135987407 3221224560 3221223232 134824717 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10587/statm): 60134 48173 364 364 0 59770 0
[pid=10587] vsize: 240536
Current children cumulated CPU time (s) 349.88
Current children cumulated vsize (Kb) 240536

[startup+360.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 90826 0 0 0 35787 201 0 0 25 0 1 0 22269478 246308864 48176 4294967295 134512640 135987407 3221224560 3221223280 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10587/statm): 60134 48176 364 364 0 59770 0
[pid=10587] vsize: 240536
Current children cumulated CPU time (s) 359.88
Current children cumulated vsize (Kb) 240536

[startup+370.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 90847 0 0 0 36786 201 0 0 25 0 1 0 22269478 246489088 48197 4294967295 134512640 135987407 3221224560 3221223104 134812000 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10587/statm): 60178 48197 364 364 0 59814 0
[pid=10587] vsize: 240712
Current children cumulated CPU time (s) 369.87
Current children cumulated vsize (Kb) 240712

[startup+380.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 92640 0 0 0 37782 204 0 0 25 0 1 0 22269478 251760640 49189 4294967295 134512640 135987407 3221224560 3221223280 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10587/statm): 61465 49189 364 364 0 61101 0
[pid=10587] vsize: 245860
Current children cumulated CPU time (s) 379.86
Current children cumulated vsize (Kb) 245860

[startup+390.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 93309 0 0 0 38780 206 0 0 25 0 1 0 22269478 254009344 49564 4294967295 134512640 135987407 3221224560 3221223100 135500012 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10587/statm): 62014 49564 364 364 0 61650 0
[pid=10587] vsize: 248056
Current children cumulated CPU time (s) 389.86
Current children cumulated vsize (Kb) 248056

[startup+400.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 94178 0 0 0 39778 208 0 0 25 0 1 0 22269478 256217088 49962 4294967295 134512640 135987407 3221224560 3221223236 134812452 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10587/statm): 62553 49962 364 364 0 62189 0
[pid=10587] vsize: 250212
Current children cumulated CPU time (s) 399.86
Current children cumulated vsize (Kb) 250212

[startup+410.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 94889 0 0 0 40775 210 0 0 25 0 1 0 22269478 258736128 50395 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10587/statm): 63168 50395 364 364 0 62804 0
[pid=10587] vsize: 252672
Current children cumulated CPU time (s) 409.85
Current children cumulated vsize (Kb) 252672

[startup+420.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 95074 0 0 0 41774 211 0 0 25 0 1 0 22269478 259129344 50482 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10587/statm): 63264 50482 364 364 0 62900 0
[pid=10587] vsize: 253056
Current children cumulated CPU time (s) 419.85
Current children cumulated vsize (Kb) 253056

[startup+430.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 95212 0 0 0 42773 211 0 0 25 0 1 0 22269478 259391488 50555 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10587/statm): 63328 50555 364 364 0 62964 0
[pid=10587] vsize: 253312
Current children cumulated CPU time (s) 429.84
Current children cumulated vsize (Kb) 253312

[startup+440.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 95266 0 0 0 43773 211 0 0 25 0 1 0 22269478 259502080 50603 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10587/statm): 63355 50603 364 364 0 62991 0
[pid=10587] vsize: 253420
Current children cumulated CPU time (s) 439.84
Current children cumulated vsize (Kb) 253420

[startup+450.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 95385 0 0 0 44772 212 0 0 25 0 1 0 22269478 259764224 50657 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10587/statm): 63419 50657 364 364 0 63055 0
[pid=10587] vsize: 253676
Current children cumulated CPU time (s) 449.84
Current children cumulated vsize (Kb) 253676

[startup+460.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 95393 0 0 0 45772 212 0 0 25 0 1 0 22269478 259764224 50665 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10587/statm): 63419 50665 364 364 0 63055 0
[pid=10587] vsize: 253676
Current children cumulated CPU time (s) 459.84
Current children cumulated vsize (Kb) 253676

[startup+470.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 95731 0 0 0 46771 213 0 0 25 0 1 0 22269478 260550656 50808 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10587/statm): 63611 50808 364 364 0 63247 0
[pid=10587] vsize: 254444
Current children cumulated CPU time (s) 469.84
Current children cumulated vsize (Kb) 254444

[startup+480.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 95751 0 0 0 47771 213 0 0 25 0 1 0 22269478 260550656 50828 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10587/statm): 63611 50828 364 364 0 63247 0
[pid=10587] vsize: 254444
Current children cumulated CPU time (s) 479.84
Current children cumulated vsize (Kb) 254444

[startup+490.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 95794 0 0 0 48770 213 0 0 25 0 1 0 22269478 260550656 50871 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10587/statm): 63611 50871 364 364 0 63247 0
[pid=10587] vsize: 254444
Current children cumulated CPU time (s) 489.83
Current children cumulated vsize (Kb) 254444

[startup+500.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 95819 0 0 0 49769 213 0 0 25 0 1 0 22269478 260550656 50896 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10587/statm): 63611 50896 364 364 0 63247 0
[pid=10587] vsize: 254444
Current children cumulated CPU time (s) 499.82
Current children cumulated vsize (Kb) 254444

[startup+510.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 95824 0 0 0 50769 214 0 0 25 0 1 0 22269478 260550656 50901 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10587/statm): 63611 50901 364 364 0 63247 0
[pid=10587] vsize: 254444
Current children cumulated CPU time (s) 509.83
Current children cumulated vsize (Kb) 254444

[startup+520.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 95871 0 0 0 51769 214 0 0 25 0 1 0 22269478 260550656 50948 4294967295 134512640 135987407 3221224560 3221223104 134812028 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10587/statm): 63611 50948 364 364 0 63247 0
[pid=10587] vsize: 254444
Current children cumulated CPU time (s) 519.83
Current children cumulated vsize (Kb) 254444

[startup+530.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 96084 0 0 0 52768 214 0 0 25 0 1 0 22269478 261206016 50999 4294967295 134512640 135987407 3221224560 3221223104 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10587/statm): 63771 50999 364 364 0 63407 0
[pid=10587] vsize: 255084
Current children cumulated CPU time (s) 529.82
Current children cumulated vsize (Kb) 255084

[startup+540.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 96221 0 0 0 53767 215 0 0 25 0 1 0 22269478 261468160 51071 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10587/statm): 63835 51071 364 364 0 63471 0
[pid=10587] vsize: 255340
Current children cumulated CPU time (s) 539.82
Current children cumulated vsize (Kb) 255340

[startup+550.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 96227 0 0 0 54767 215 0 0 25 0 1 0 22269478 261468160 51077 4294967295 134512640 135987407 3221224560 3221223104 134811800 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10587/statm): 63835 51077 364 364 0 63471 0
[pid=10587] vsize: 255340
Current children cumulated CPU time (s) 549.82
Current children cumulated vsize (Kb) 255340

[startup+560.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 96472 0 0 0 55766 215 0 0 25 0 1 0 22269478 262131712 51224 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10587/statm): 63997 51224 364 364 0 63633 0
[pid=10587] vsize: 255988
Current children cumulated CPU time (s) 559.81
Current children cumulated vsize (Kb) 255988

[startup+570.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 96617 0 0 0 56765 216 0 0 25 0 1 0 22269478 262656000 51240 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10587/statm): 64125 51240 364 364 0 63761 0
[pid=10587] vsize: 256500
Current children cumulated CPU time (s) 569.81
Current children cumulated vsize (Kb) 256500

[startup+580.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 96623 0 0 0 57765 216 0 0 25 0 1 0 22269478 262656000 51246 4294967295 134512640 135987407 3221224560 3221223104 134811773 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10587/statm): 64125 51246 364 364 0 63761 0
[pid=10587] vsize: 256500
Current children cumulated CPU time (s) 579.81
Current children cumulated vsize (Kb) 256500

[startup+590.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 96677 0 0 0 58764 216 0 0 25 0 1 0 22269478 262787072 51267 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10587/statm): 64157 51267 364 364 0 63793 0
[pid=10587] vsize: 256628
Current children cumulated CPU time (s) 589.8
Current children cumulated vsize (Kb) 256628

[startup+600.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 97341 0 0 0 59762 218 0 0 25 0 1 0 22269478 264626176 51510 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10587/statm): 64606 51510 364 364 0 64242 0
[pid=10587] vsize: 258424
Current children cumulated CPU time (s) 599.8
Current children cumulated vsize (Kb) 258424

[startup+610.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 97379 0 0 0 60761 219 0 0 25 0 1 0 22269478 264761344 51548 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10587/statm): 64639 51548 364 364 0 64275 0
[pid=10587] vsize: 258556
Current children cumulated CPU time (s) 609.8
Current children cumulated vsize (Kb) 258556

[startup+620.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 97385 0 0 0 61760 219 0 0 25 0 1 0 22269478 264761344 51554 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10587/statm): 64639 51554 364 364 0 64275 0
[pid=10587] vsize: 258556
Current children cumulated CPU time (s) 619.79
Current children cumulated vsize (Kb) 258556

[startup+630.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 97393 0 0 0 62760 219 0 0 25 0 1 0 22269478 264761344 51562 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10587/statm): 64639 51562 364 364 0 64275 0
[pid=10587] vsize: 258556
Current children cumulated CPU time (s) 629.79
Current children cumulated vsize (Kb) 258556

[startup+640.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 97403 0 0 0 63760 219 0 0 25 0 1 0 22269478 264761344 51572 4294967295 134512640 135987407 3221224560 3221222992 134801596 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10587/statm): 64639 51572 364 364 0 64275 0
[pid=10587] vsize: 258556
Current children cumulated CPU time (s) 639.79
Current children cumulated vsize (Kb) 258556

[startup+650.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 97447 0 0 0 64759 220 0 0 25 0 1 0 22269478 264892416 51583 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10587/statm): 64671 51583 364 364 0 64307 0
[pid=10587] vsize: 258684
Current children cumulated CPU time (s) 649.79
Current children cumulated vsize (Kb) 258684

[startup+660.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 97469 0 0 0 65759 220 0 0 25 0 1 0 22269478 264892416 51605 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10587/statm): 64671 51605 364 364 0 64307 0
[pid=10587] vsize: 258684
Current children cumulated CPU time (s) 659.79
Current children cumulated vsize (Kb) 258684

[startup+670.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 97763 0 0 0 66758 221 0 0 25 0 1 0 22269478 265678848 51705 4294967295 134512640 135987407 3221224560 3221223264 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10587/statm): 64863 51705 364 364 0 64499 0
[pid=10587] vsize: 259452
Current children cumulated CPU time (s) 669.79
Current children cumulated vsize (Kb) 259452

[startup+680.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 97766 0 0 0 67758 221 0 0 25 0 1 0 22269478 265678848 51708 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10587/statm): 64863 51708 364 364 0 64499 0
[pid=10587] vsize: 259452
Current children cumulated CPU time (s) 679.79
Current children cumulated vsize (Kb) 259452

[startup+690.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 97769 0 0 0 68758 221 0 0 25 0 1 0 22269478 265678848 51711 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10587/statm): 64863 51711 364 364 0 64499 0
[pid=10587] vsize: 259452
Current children cumulated CPU time (s) 689.79
Current children cumulated vsize (Kb) 259452

[startup+700.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 97771 0 0 0 69757 221 0 0 25 0 1 0 22269478 265678848 51713 4294967295 134512640 135987407 3221224560 3221223104 134811813 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10587/statm): 64863 51713 364 364 0 64499 0
[pid=10587] vsize: 259452
Current children cumulated CPU time (s) 699.78
Current children cumulated vsize (Kb) 259452

[startup+710.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 97775 0 0 0 70757 222 0 0 25 0 1 0 22269478 265678848 51717 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10587/statm): 64863 51717 364 364 0 64499 0
[pid=10587] vsize: 259452
Current children cumulated CPU time (s) 709.79
Current children cumulated vsize (Kb) 259452

[startup+720.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 97778 0 0 0 71756 222 0 0 25 0 1 0 22269478 265678848 51720 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10587/statm): 64863 51720 364 364 0 64499 0
[pid=10587] vsize: 259452
Current children cumulated CPU time (s) 719.78
Current children cumulated vsize (Kb) 259452

[startup+730.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 97781 0 0 0 72756 222 0 0 25 0 1 0 22269478 265678848 51723 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10587/statm): 64863 51723 364 364 0 64499 0
[pid=10587] vsize: 259452
Current children cumulated CPU time (s) 729.78
Current children cumulated vsize (Kb) 259452

[startup+740.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 97785 0 0 0 73755 223 0 0 25 0 1 0 22269478 265678848 51727 4294967295 134512640 135987407 3221224560 3221223232 134824720 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10587/statm): 64863 51727 364 364 0 64499 0
[pid=10587] vsize: 259452
Current children cumulated CPU time (s) 739.78
Current children cumulated vsize (Kb) 259452

[startup+750.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 97788 0 0 0 74755 223 0 0 25 0 1 0 22269478 265678848 51730 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10587/statm): 64863 51730 364 364 0 64499 0
[pid=10587] vsize: 259452
Current children cumulated CPU time (s) 749.78
Current children cumulated vsize (Kb) 259452

[startup+760.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 97790 0 0 0 75755 223 0 0 25 0 1 0 22269478 265678848 51732 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10587/statm): 64863 51732 364 364 0 64499 0
[pid=10587] vsize: 259452
Current children cumulated CPU time (s) 759.78
Current children cumulated vsize (Kb) 259452

[startup+770.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 97832 0 0 0 76754 223 0 0 25 0 1 0 22269478 265945088 51774 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10587/statm): 64928 51774 364 364 0 64564 0
[pid=10587] vsize: 259712
Current children cumulated CPU time (s) 769.77
Current children cumulated vsize (Kb) 259712

[startup+780.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 97847 0 0 0 77754 223 0 0 25 0 1 0 22269478 265945088 51789 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10587/statm): 64928 51789 364 364 0 64564 0
[pid=10587] vsize: 259712
Current children cumulated CPU time (s) 779.77
Current children cumulated vsize (Kb) 259712

[startup+790.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 97854 0 0 0 78754 223 0 0 25 0 1 0 22269478 265945088 51796 4294967295 134512640 135987407 3221224560 3221223104 134811778 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10587/statm): 64928 51796 364 364 0 64564 0
[pid=10587] vsize: 259712
Current children cumulated CPU time (s) 789.77
Current children cumulated vsize (Kb) 259712

[startup+800.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 97935 0 0 0 79753 224 0 0 25 0 1 0 22269478 266207232 51812 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10587/statm): 64992 51812 364 364 0 64628 0
[pid=10587] vsize: 259968
Current children cumulated CPU time (s) 799.77
Current children cumulated vsize (Kb) 259968

[startup+810.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 98151 0 0 0 80752 224 0 0 25 0 1 0 22269478 266731520 51899 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10587/statm): 65120 51899 364 364 0 64756 0
[pid=10587] vsize: 260480
Current children cumulated CPU time (s) 809.76
Current children cumulated vsize (Kb) 260480

[startup+820.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 98153 0 0 0 81752 224 0 0 25 0 1 0 22269478 266731520 51901 4294967295 134512640 135987407 3221224560 3221223172 134811684 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10587/statm): 65120 51901 364 364 0 64756 0
[pid=10587] vsize: 260480
Current children cumulated CPU time (s) 819.76
Current children cumulated vsize (Kb) 260480

[startup+830.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 98156 0 0 0 82751 224 0 0 25 0 1 0 22269478 266731520 51904 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10587/statm): 65120 51904 364 364 0 64756 0
[pid=10587] vsize: 260480
Current children cumulated CPU time (s) 829.75
Current children cumulated vsize (Kb) 260480

[startup+840.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 98160 0 0 0 83751 225 0 0 25 0 1 0 22269478 266731520 51908 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10587/statm): 65120 51908 364 364 0 64756 0
[pid=10587] vsize: 260480
Current children cumulated CPU time (s) 839.76
Current children cumulated vsize (Kb) 260480

[startup+850.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 98162 0 0 0 84751 225 0 0 25 0 1 0 22269478 266731520 51910 4294967295 134512640 135987407 3221224560 3221223264 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10587/statm): 65120 51910 364 364 0 64756 0
[pid=10587] vsize: 260480
Current children cumulated CPU time (s) 849.76
Current children cumulated vsize (Kb) 260480

[startup+860.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 98174 0 0 0 85750 225 0 0 25 0 1 0 22269478 266731520 51922 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10587/statm): 65120 51922 364 364 0 64756 0
[pid=10587] vsize: 260480
Current children cumulated CPU time (s) 859.75
Current children cumulated vsize (Kb) 260480

[startup+870.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 98177 0 0 0 86750 225 0 0 25 0 1 0 22269478 266731520 51925 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10587/statm): 65120 51925 364 364 0 64756 0
[pid=10587] vsize: 260480
Current children cumulated CPU time (s) 869.75
Current children cumulated vsize (Kb) 260480

[startup+880.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 98183 0 0 0 87750 225 0 0 25 0 1 0 22269478 266731520 51931 4294967295 134512640 135987407 3221224560 3221223280 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10587/statm): 65120 51931 364 364 0 64756 0
[pid=10587] vsize: 260480
Current children cumulated CPU time (s) 879.75
Current children cumulated vsize (Kb) 260480

[startup+890.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 98189 0 0 0 88750 225 0 0 25 0 1 0 22269478 266731520 51937 4294967295 134512640 135987407 3221224560 3221223232 134824256 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10587/statm): 65120 51937 364 364 0 64756 0
[pid=10587] vsize: 260480
Current children cumulated CPU time (s) 889.75
Current children cumulated vsize (Kb) 260480

[startup+900.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 98194 0 0 0 89749 226 0 0 25 0 1 0 22269478 266731520 51942 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10587/statm): 65120 51942 364 364 0 64756 0
[pid=10587] vsize: 260480
Current children cumulated CPU time (s) 899.75
Current children cumulated vsize (Kb) 260480

[startup+910.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 98197 0 0 0 90749 226 0 0 25 0 1 0 22269478 266731520 51945 4294967295 134512640 135987407 3221224560 3221223184 134812433 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10587/statm): 65120 51945 364 364 0 64756 0
[pid=10587] vsize: 260480
Current children cumulated CPU time (s) 909.75
Current children cumulated vsize (Kb) 260480

[startup+920.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 98201 0 0 0 91748 226 0 0 25 0 1 0 22269478 266731520 51949 4294967295 134512640 135987407 3221224560 3221223232 134824696 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10587/statm): 65120 51949 364 364 0 64756 0
[pid=10587] vsize: 260480
Current children cumulated CPU time (s) 919.74
Current children cumulated vsize (Kb) 260480

[startup+930.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 98206 0 0 0 92748 226 0 0 25 0 1 0 22269478 266731520 51954 4294967295 134512640 135987407 3221224560 3221223104 134811959 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10587/statm): 65120 51954 364 364 0 64756 0
[pid=10587] vsize: 260480
Current children cumulated CPU time (s) 929.74
Current children cumulated vsize (Kb) 260480

[startup+940.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 98210 0 0 0 93747 227 0 0 25 0 1 0 22269478 266731520 51958 4294967295 134512640 135987407 3221224560 3221223176 134811683 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10587/statm): 65120 51958 364 364 0 64756 0
[pid=10587] vsize: 260480
Current children cumulated CPU time (s) 939.74
Current children cumulated vsize (Kb) 260480

[startup+950.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 98214 0 0 0 94746 227 0 0 25 0 1 0 22269478 266731520 51962 4294967295 134512640 135987407 3221224560 3221223104 134811986 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10587/statm): 65120 51962 364 364 0 64756 0
[pid=10587] vsize: 260480
Current children cumulated CPU time (s) 949.73
Current children cumulated vsize (Kb) 260480

[startup+960.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 98216 0 0 0 95747 227 0 0 25 0 1 0 22269478 266731520 51964 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10587/statm): 65120 51964 364 364 0 64756 0
[pid=10587] vsize: 260480
Current children cumulated CPU time (s) 959.74
Current children cumulated vsize (Kb) 260480

[startup+970.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 98219 0 0 0 96746 227 0 0 25 0 1 0 22269478 266731520 51967 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10587/statm): 65120 51967 364 364 0 64756 0
[pid=10587] vsize: 260480
Current children cumulated CPU time (s) 969.73
Current children cumulated vsize (Kb) 260480

[startup+980.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 98223 0 0 0 97746 227 0 0 25 0 1 0 22269478 266731520 51971 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10587/statm): 65120 51971 364 364 0 64756 0
[pid=10587] vsize: 260480
Current children cumulated CPU time (s) 979.73
Current children cumulated vsize (Kb) 260480

[startup+990.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 98226 0 0 0 98746 227 0 0 25 0 1 0 22269478 266731520 51974 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10587/statm): 65120 51974 364 364 0 64756 0
[pid=10587] vsize: 260480
Current children cumulated CPU time (s) 989.73
Current children cumulated vsize (Kb) 260480

[startup+1000.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 98229 0 0 0 99745 227 0 0 25 0 1 0 22269478 266731520 51977 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10587/statm): 65120 51977 364 364 0 64756 0
[pid=10587] vsize: 260480
Current children cumulated CPU time (s) 999.72
Current children cumulated vsize (Kb) 260480

[startup+1010.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 98232 0 0 0 100745 227 0 0 25 0 1 0 22269478 266731520 51980 4294967295 134512640 135987407 3221224560 3221223280 134812593 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10587/statm): 65120 51980 364 364 0 64756 0
[pid=10587] vsize: 260480
Current children cumulated CPU time (s) 1009.72
Current children cumulated vsize (Kb) 260480

[startup+1020.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 98235 0 0 0 101745 227 0 0 25 0 1 0 22269478 266731520 51983 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10587/statm): 65120 51983 364 364 0 64756 0
[pid=10587] vsize: 260480
Current children cumulated CPU time (s) 1019.72
Current children cumulated vsize (Kb) 260480

[startup+1030.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 98238 0 0 0 102745 228 0 0 25 0 1 0 22269478 266731520 51986 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10587/statm): 65120 51986 364 364 0 64756 0
[pid=10587] vsize: 260480
Current children cumulated CPU time (s) 1029.73
Current children cumulated vsize (Kb) 260480

[startup+1040.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 98241 0 0 0 103745 228 0 0 25 0 1 0 22269478 266731520 51989 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10587/statm): 65120 51989 364 364 0 64756 0
[pid=10587] vsize: 260480
Current children cumulated CPU time (s) 1039.73
Current children cumulated vsize (Kb) 260480

[startup+1050.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 98245 0 0 0 104745 228 0 0 25 0 1 0 22269478 266731520 51993 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10587/statm): 65120 51993 364 364 0 64756 0
[pid=10587] vsize: 260480
Current children cumulated CPU time (s) 1049.73
Current children cumulated vsize (Kb) 260480

[startup+1060.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 98248 0 0 0 105744 228 0 0 25 0 1 0 22269478 266731520 51996 4294967295 134512640 135987407 3221224560 3221223104 134811773 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10587/statm): 65120 51996 364 364 0 64756 0
[pid=10587] vsize: 260480
Current children cumulated CPU time (s) 1059.72
Current children cumulated vsize (Kb) 260480

[startup+1070.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 98251 0 0 0 106744 228 0 0 25 0 1 0 22269478 266731520 51999 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10587/statm): 65120 51999 364 364 0 64756 0
[pid=10587] vsize: 260480
Current children cumulated CPU time (s) 1069.72
Current children cumulated vsize (Kb) 260480

[startup+1080.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 98255 0 0 0 107744 229 0 0 25 0 1 0 22269478 266731520 52003 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10587/statm): 65120 52003 364 364 0 64756 0
[pid=10587] vsize: 260480
Current children cumulated CPU time (s) 1079.73
Current children cumulated vsize (Kb) 260480

[startup+1090.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 98259 0 0 0 108744 229 0 0 25 0 1 0 22269478 266731520 52007 4294967295 134512640 135987407 3221224560 3221223104 134811704 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10587/statm): 65120 52007 364 364 0 64756 0
[pid=10587] vsize: 260480
Current children cumulated CPU time (s) 1089.73
Current children cumulated vsize (Kb) 260480

[startup+1100.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 98263 0 0 0 109743 229 0 0 25 0 1 0 22269478 266731520 52011 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10587/statm): 65120 52011 364 364 0 64756 0
[pid=10587] vsize: 260480
Current children cumulated CPU time (s) 1099.72
Current children cumulated vsize (Kb) 260480

[startup+1110.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 98268 0 0 0 110743 229 0 0 25 0 1 0 22269478 266731520 52016 4294967295 134512640 135987407 3221224560 3221223104 134811792 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10587/statm): 65120 52016 364 364 0 64756 0
[pid=10587] vsize: 260480
Current children cumulated CPU time (s) 1109.72
Current children cumulated vsize (Kb) 260480

[startup+1120.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 98271 0 0 0 111743 229 0 0 25 0 1 0 22269478 266731520 52019 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10587/statm): 65120 52019 364 364 0 64756 0
[pid=10587] vsize: 260480
Current children cumulated CPU time (s) 1119.72
Current children cumulated vsize (Kb) 260480

[startup+1130.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 98277 0 0 0 112742 229 0 0 25 0 1 0 22269478 266731520 52025 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10587/statm): 65120 52025 364 364 0 64756 0
[pid=10587] vsize: 260480
Current children cumulated CPU time (s) 1129.71
Current children cumulated vsize (Kb) 260480

[startup+1140.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 98281 0 0 0 113741 230 0 0 25 0 1 0 22269478 266731520 52029 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10587/statm): 65120 52029 364 364 0 64756 0
[pid=10587] vsize: 260480
Current children cumulated CPU time (s) 1139.71
Current children cumulated vsize (Kb) 260480

[startup+1150.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 98284 0 0 0 114741 230 0 0 25 0 1 0 22269478 266731520 52032 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10587/statm): 65120 52032 364 364 0 64756 0
[pid=10587] vsize: 260480
Current children cumulated CPU time (s) 1149.71
Current children cumulated vsize (Kb) 260480

[startup+1160.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 98288 0 0 0 115740 230 0 0 25 0 1 0 22269478 266731520 52036 4294967295 134512640 135987407 3221224560 3221222980 134788428 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10587/statm): 65120 52036 364 364 0 64756 0
[pid=10587] vsize: 260480
Current children cumulated CPU time (s) 1159.7
Current children cumulated vsize (Kb) 260480

[startup+1170.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 98301 0 0 0 116740 231 0 0 25 0 1 0 22269478 266731520 52049 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10587/statm): 65120 52049 364 364 0 64756 0
[pid=10587] vsize: 260480
Current children cumulated CPU time (s) 1169.71
Current children cumulated vsize (Kb) 260480

[startup+1180.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 98306 0 0 0 117740 231 0 0 25 0 1 0 22269478 266731520 52054 4294967295 134512640 135987407 3221224560 3221223280 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10587/statm): 65120 52054 364 364 0 64756 0
[pid=10587] vsize: 260480
Current children cumulated CPU time (s) 1179.71
Current children cumulated vsize (Kb) 260480

[startup+1190.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 98311 0 0 0 118738 231 0 0 25 0 1 0 22269478 266731520 52059 4294967295 134512640 135987407 3221224560 3221223104 134811891 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10587/statm): 65120 52059 364 364 0 64756 0
[pid=10587] vsize: 260480
Current children cumulated CPU time (s) 1189.69
Current children cumulated vsize (Kb) 260480

[startup+1200.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 98963 0 0 0 119736 233 0 0 25 0 1 0 22269478 269115392 52417 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10587/statm): 65702 52417 364 364 0 65338 0
[pid=10587] vsize: 262808
Current children cumulated CPU time (s) 1199.69
Current children cumulated vsize (Kb) 262808

[startup+1210.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 98975 0 0 0 120736 233 0 0 25 0 1 0 22269478 269115392 52429 4294967295 134512640 135987407 3221224560 3221223280 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10587/statm): 65702 52429 364 364 0 65338 0
[pid=10587] vsize: 262808
Current children cumulated CPU time (s) 1209.69
Current children cumulated vsize (Kb) 262808



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10587
Raw data (/proc/10587/stat): 10587 (pb2sat) R 10586 10587 4060 0 -1 0 98975 0 0 0 120736 233 0 0 25 0 1 0 22269478 269115392 52429 4294967295 134512640 135987407 3221224560 3221223280 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10587/statm): 65702 52429 364 364 0 65338 0
[pid=10587] vsize: 262808
Current children cumulated CPU time (s) 1209.69
Current children cumulated vsize (Kb) 262808

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

Child status: 10
Real time (s): 1211.03
CPU time (s): 1210.66
CPU user time (s): 1208.21
CPU system time (s): 2.44663
CPU usage (%): 99.9695
Max. virtual memory (cumulated for all children) (Kb): 262808

Verifier Data

Verifier:	OK	80768