PB'05 competition: run trace

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:
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.
SOLVER DATA
This is the output of the solver (stdout and stderr).
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.
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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-misc03.opb
MD5SUM	0a25291690224f6f7c8a4bead47a7b72
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1478528
Optimality of the best value was proved	NO
Number of terms in the objective function	21
Biggest coefficient in the objective function	1048576
Number of bits for the biggest coefficient in the objective function	21
Sum of the numbers in the objective function	2097151
Number of bits of the sum of numbers in the objective function	21
Biggest number in a constraint	1048576
Number of bits of the biggest number in a constraint	21
Biggest sum of numbers in a constraint	11386239
Number of bits of the biggest sum of numbers	24
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.20881
Number of variables	180
Total number of constraints	255
Number of constraints which are clauses	31
Number of constraints which are cardinality constraints (but not clauses)	170
Number of constraints which are nor clauses,nor cardinality constraints	54
Minimum length of a constraint	1
Maximum length of a constraint	159
Trace number 42798

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-16 14:59:53 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26005 boxname=wulflinc3 idbench=1305 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  0a25291690224f6f7c8a4bead47a7b72  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-misc03.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-misc03.opb
IDLAUNCH: 26005
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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:        724776 kB
Buffers:         17728 kB
Cached:         270552 kB
SwapCached:        788 kB
Active:          30904 kB
Inactive:       259536 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        724524 kB
SwapTotal:     2097136 kB
SwapFree:      2095372 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5104 kB
Slab:            13796 kB
Committed_AS:    71904 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 15:19:56 (client local time) WITH STATUS 0 IN 1202.3 SECONDS
stats: 26005 0 1202.3 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
c got solution with objective value: 1776768
c small objective detected
c CONFLICT during preprocess 
c [startup+96.6734 s]  setting bit 20 to 0

c Decision: 173723/1067074	Time: 770.923/86400
c [startup+1094.59 s]  setting bit 19 to 0
s SATISFIABLE
v -COL001_bit0 -COL002_bit0 -COL003_bit0 -COL004_bit0 -COL005_bit0 -COL006_bit0 -COL007_bit0 -COL008_bit0 -COL009_bit0 -COL010_bit0 -COL011_bit0 -COL012_bit0 -COL013_bit0 -COL014_bit0 -COL015_bit0 -COL016_bit0 -COL017_bit0 -COL018_bit0 -COL019_bit0 COL020_bit0 -COL021_bit0 -COL022_bit0 -COL023_bit0 -COL024_bit0 -COL025_bit0 -COL026_bit0 -COL027_bit0 -COL028_bit0 -COL029_bit0 -COL030_bit0 -COL031_bit0 -COL032_bit0 COL033_bit0 -COL034_bit0 -COL035_bit0 -COL036_bit0 -COL037_bit0 -COL038_bit0 -COL039_bit0 -COL040_bit0 -COL041_bit0 -COL042_bit0 -COL043_bit0 -COL044_bit0 -COL045_bit0 -COL046_bit0 -COL047_bit0 -COL048_bit0 -COL049_bit0 -COL050_bit0 -COL051_bit0 -COL052_bit0 -COL053_bit0 -COL054_bit0 -COL055_bit0 -COL056_bit0 -COL057_bit0 COL058_bit0 -COL059_bit0 -COL060_bit0 -COL061_bit0 -COL062_bit0 -COL063_bit0 -COL064_bit0 -COL065_bit0 -COL066_bit0 -COL067_bit0 -COL068_bit0 -COL069_bit0 -COL070_bit0 -COL071_bit0 -COL072_bit0 -COL073_bit0 -COL074_bit0 -COL075_bit0 -COL076_bit0 -COL077_bit0 -COL078_bit0 -COL079_bit0 -COL080_bit0 -COL081_bit0 -COL082_bit0 -COL083_bit0 COL084_bit0 -COL085_bit0 -COL086_bit0 -COL087_bit0 -COL088_bit0 -COL089_bit0 -COL090_bit0 COL091_bit0 -COL092_bit0 -COL093_bit0 -COL094_bit0 -COL095_bit0 -COL096_bit0 -COL097_bit0 -COL098_bit0 -COL099_bit0 -COL100_bit0 -COL101_bit0 -COL102_bit0 -COL103_bit0 -COL104_bit0 -COL105_bit0 -COL106_bit0 COL107_bit0 -COL108_bit0 -COL109_bit0 -COL110_bit0 -COL111_bit0 -COL112_bit0 -COL113_bit0 -COL114_bit0 -COL115_bit0 -COL116_bit0 -COL117_bit0 COL118_bit0 -COL119_bit0 -COL120_bit0 -COL121_bit0 -COL122_bit0 -COL123_bit0 -COL124_bit0 -COL125_bit0 -COL126_bit0 -COL127_bit0 -COL128_bit0 -COL129_bit0 -COL130_bit0 -COL131_bit0 COL132_bit0 -COL133_bit0 -COL134_bit0 -COL135_bit0 -COL136_bit0 -COL137_bit0 -COL138_bit0 -COL139_bit0 -COL140_bit0 -COL141_bit0 -COL142_bit0 COL143_bit0 -COL144_bit0 -COL145_bit0 -COL146_bit0 -COL147_bit0 COL148_bit0 COL149_bit0 COL150_bit0 COL151_bit0 -COL152_bit0 COL153_bit0 COL154_bit0 -COL155_bit0 -COL156_bit0 COL157_bit0 COL158_bit0 -COL159_bit0 COL160_bit0 -COL160_bit1 COL160_bit10 -COL160_bit11 COL160_bit12 COL160_bit13 -COL160_bit2 COL160_bit3 COL160_bit4 COL160_bit5 -COL160_bit6 -COL160_bit7 -COL160_bit8 COL160_bit9 -COL160_bit_1 -COL160_bit_2 -COL160_bit_3 -COL160_bit_4 -COL160_bit_5 -COL160_bit_6 -COL160_bit_7 
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.92 0.95 0.90 2/54 25699
Raw data (stat): 25699 (runsolver) R 25698 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 971664309 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+9.99953 s]
Raw data (loadavg): 0.93 0.95 0.91 2/54 25699
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 29583 0 0 0 938 61 0 0 25 0 1 0 971664309 88825856 18448 4294967295 134512640 135730672 3221224576 3221192512 134770786 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21686 18448 301 301 0 21385 0
vsize: 86744
[startup+20.0007 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 25752
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 58151 0 0 0 1879 119 0 0 25 0 1 0 971664309 174784512 35801 4294967295 134512640 135730672 3221224576 3221167936 134546483 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42672 35801 301 301 0 42371 0
vsize: 170688
[startup+30.0015 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 25752
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 95699 0 0 0 2807 191 0 0 25 0 1 0 971664309 298684416 51207 4294967295 134512640 135730672 3221224576 3221160444 135109334 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 72921 51207 301 301 0 72620 0
vsize: 291684
[startup+40.002 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 25752
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 108248 0 0 0 3779 220 0 0 25 0 1 0 971664309 332238848 63530 4294967295 134512640 135730672 3221224576 3221167076 135291157 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 81113 63530 301 301 0 80812 0
vsize: 324452
[startup+50.0022 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 25752
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 123135 0 0 0 4749 250 0 0 25 0 1 0 971664309 338456576 78181 4294967295 134512640 135730672 3221224576 3221193360 135288336 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 82631 78182 301 301 0 82330 0
vsize: 330524
[startup+60.0023 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 25752
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 160322 0 0 0 5676 323 0 0 25 0 1 0 971664309 473456640 95871 4294967295 134512640 135730672 3221224576 3221222896 134769166 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 115590 95871 301 301 0 115289 0
vsize: 462360
[startup+70.0031 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 25752
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 160325 0 0 0 6675 323 0 0 25 0 1 0 971664309 464920576 93790 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 113506 93790 301 301 0 113205 0
vsize: 454024
[startup+80.0038 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 25752
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 160732 0 0 0 7674 324 0 0 25 0 1 0 971664309 467025920 94197 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 114020 94197 301 301 0 113719 0
vsize: 456080
[startup+90.0046 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 25754
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 161159 0 0 0 8673 325 0 0 25 0 1 0 971664309 469434368 94624 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 114608 94624 301 301 0 114307 0
vsize: 458432
[startup+100.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 25754
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 168374 0 0 0 9656 342 0 0 25 0 1 0 971664309 481148928 95199 4294967295 134512640 135730672 3221224576 3221222912 134749640 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 117468 95199 301 301 0 117167 0
vsize: 469872
[startup+110.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 25754
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 168667 0 0 0 10655 342 0 0 25 0 1 0 971664309 482201600 95363 4294967295 134512640 135730672 3221224576 3221223036 134748653 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 117725 95363 301 301 0 117424 0
vsize: 470900
[startup+120.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25754
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 169203 0 0 0 11655 343 0 0 25 0 1 0 971664309 484302848 95642 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 118238 95642 301 301 0 117937 0
vsize: 472952
[startup+130.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25754
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 169205 0 0 0 12655 343 0 0 25 0 1 0 971664309 484302848 95644 4294967295 134512640 135730672 3221224576 3221223024 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 118238 95644 301 301 0 117937 0
vsize: 472952
[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25754
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 169616 0 0 0 13654 344 0 0 25 0 1 0 971664309 485351424 95798 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 118494 95798 301 301 0 118193 0
vsize: 473976
[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25754
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 169650 0 0 0 14654 344 0 0 25 0 1 0 971664309 485351424 95832 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 118494 95832 301 301 0 118193 0
vsize: 473976
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25754
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 169651 0 0 0 15654 345 0 0 25 0 1 0 971664309 485351424 95833 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 118494 95833 301 301 0 118193 0
vsize: 473976
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25754
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 169728 0 0 0 16654 345 0 0 25 0 1 0 971664309 485351424 95910 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 118494 95910 301 301 0 118193 0
vsize: 473976
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25754
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 170021 0 0 0 17654 345 0 0 25 0 1 0 971664309 486400000 95946 4294967295 134512640 135730672 3221224576 3221222864 134747762 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 118750 95946 301 301 0 118449 0
vsize: 475000
[startup+190.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25754
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 170022 0 0 0 18654 345 0 0 25 0 1 0 971664309 486400000 95947 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 118750 95947 301 301 0 118449 0
vsize: 475000
[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25754
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 170034 0 0 0 19654 345 0 0 25 0 1 0 971664309 486400000 95959 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 118750 95959 301 301 0 118449 0
vsize: 475000
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25754
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 170055 0 0 0 20655 345 0 0 25 0 1 0 971664309 486400000 95980 4294967295 134512640 135730672 3221224576 3221222992 134748191 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 118750 95980 301 301 0 118449 0
vsize: 475000
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25754
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 170330 0 0 0 21654 346 0 0 25 0 1 0 971664309 487448576 95998 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 119006 95998 301 301 0 118705 0
vsize: 476024
[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25754
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 170345 0 0 0 22654 346 0 0 25 0 1 0 971664309 487448576 96013 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 119006 96013 301 301 0 118705 0
vsize: 476024
[startup+240.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25754
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 170549 0 0 0 23654 346 0 0 25 0 1 0 971664309 487448576 96217 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 119006 96217 301 301 0 118705 0
vsize: 476024
[startup+250.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25754
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 170564 0 0 0 24654 346 0 0 25 0 1 0 971664309 487448576 96232 4294967295 134512640 135730672 3221224576 3221222960 134763992 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 119006 96232 301 301 0 118705 0
vsize: 476024
[startup+260.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25754
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 170605 0 0 0 25655 346 0 0 25 0 1 0 971664309 487448576 96273 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 119006 96273 301 301 0 118705 0
vsize: 476024
[startup+270.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25754
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 171280 0 0 0 26653 348 0 0 25 0 1 0 971664309 489545728 96435 4294967295 134512640 135730672 3221224576 3221222960 134764020 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 119518 96435 301 301 0 119217 0
vsize: 478072
[startup+280.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25754
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 171281 0 0 0 27653 348 0 0 25 0 1 0 971664309 489545728 96436 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 119518 96436 301 301 0 119217 0
vsize: 478072
[startup+290.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25754
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 171339 0 0 0 28654 348 0 0 25 0 1 0 971664309 489545728 96494 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 119518 96494 301 301 0 119217 0
vsize: 478072
[startup+300.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25754
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 171390 0 0 0 29653 348 0 0 25 0 1 0 971664309 489545728 96545 4294967295 134512640 135730672 3221224576 3221223024 134748656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 119518 96545 301 301 0 119217 0
vsize: 478072
[startup+310.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25754
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 171393 0 0 0 30654 348 0 0 25 0 1 0 971664309 489545728 96548 4294967295 134512640 135730672 3221224576 3221222864 134747608 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 119518 96548 301 301 0 119217 0
vsize: 478072
[startup+320.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25754
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 171426 0 0 0 31653 348 0 0 25 0 1 0 971664309 489545728 96581 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 119518 96581 301 301 0 119217 0
vsize: 478072
[startup+330.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25754
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 171746 0 0 0 32652 350 0 0 25 0 1 0 971664309 491646976 96901 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 120031 96901 301 301 0 119730 0
vsize: 480124
[startup+340.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25756
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 171747 0 0 0 33652 350 0 0 25 0 1 0 971664309 491646976 96902 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 120031 96902 301 301 0 119730 0
vsize: 480124
[startup+350.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25756
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 171748 0 0 0 34652 350 0 0 25 0 1 0 971664309 491646976 96903 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 120031 96903 301 301 0 119730 0
vsize: 480124
[startup+360.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25756
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 171749 0 0 0 35652 350 0 0 25 0 1 0 971664309 491646976 96904 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 120031 96904 301 301 0 119730 0
vsize: 480124
[startup+370.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25756
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 171751 0 0 0 36653 350 0 0 25 0 1 0 971664309 491646976 96906 4294967295 134512640 135730672 3221224576 3221222864 134747613 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 120031 96906 301 301 0 119730 0
vsize: 480124
[startup+380.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25756
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 171830 0 0 0 37653 350 0 0 25 0 1 0 971664309 491646976 96985 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 120031 96985 301 301 0 119730 0
vsize: 480124
[startup+390.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25756
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 171831 0 0 0 38653 350 0 0 25 0 1 0 971664309 491646976 96986 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 120031 96986 301 301 0 119730 0
vsize: 480124
[startup+400.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25756
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 171832 0 0 0 39653 350 0 0 25 0 1 0 971664309 491646976 96987 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 120031 96987 301 301 0 119730 0
vsize: 480124
[startup+410.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25756
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 171833 0 0 0 40653 350 0 0 25 0 1 0 971664309 491646976 96988 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 120031 96988 301 301 0 119730 0
vsize: 480124
[startup+420.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25756
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 172372 0 0 0 41652 351 0 0 25 0 1 0 971664309 493744128 97014 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 120543 97014 301 301 0 120242 0
vsize: 482172
[startup+430.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25756
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 172403 0 0 0 42652 351 0 0 25 0 1 0 971664309 493744128 97045 4294967295 134512640 135730672 3221224576 3221222960 134747445 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 120543 97045 301 301 0 120242 0
vsize: 482172
[startup+440.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25756
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 172406 0 0 0 43653 351 0 0 25 0 1 0 971664309 493744128 97048 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 120543 97048 301 301 0 120242 0
vsize: 482172
[startup+450.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25756
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 172407 0 0 0 44653 351 0 0 25 0 1 0 971664309 493744128 97049 4294967295 134512640 135730672 3221224576 3221222960 134764020 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 120543 97049 301 301 0 120242 0
vsize: 482172
[startup+460.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25756
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 172408 0 0 0 45653 351 0 0 25 0 1 0 971664309 493744128 97050 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 120543 97050 301 301 0 120242 0
vsize: 482172
[startup+470.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25756
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 172409 0 0 0 46653 351 0 0 25 0 1 0 971664309 493744128 97051 4294967295 134512640 135730672 3221224576 3221222864 134747834 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 120543 97051 301 301 0 120242 0
vsize: 482172
[startup+480.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25756
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 172410 0 0 0 47653 352 0 0 25 0 1 0 971664309 493744128 97052 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 120543 97052 301 301 0 120242 0
vsize: 482172
[startup+490.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25756
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 172411 0 0 0 48653 352 0 0 25 0 1 0 971664309 493744128 97053 4294967295 134512640 135730672 3221224576 3221222960 134747724 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 120543 97053 301 301 0 120242 0
vsize: 482172
[startup+500.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25756
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 172707 0 0 0 49653 352 0 0 25 0 1 0 971664309 494796800 97220 4294967295 134512640 135730672 3221224576 3221223024 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 120800 97220 301 301 0 120499 0
vsize: 483200
[startup+510.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25756
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 172709 0 0 0 50653 352 0 0 25 0 1 0 971664309 494796800 97222 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 120800 97222 301 301 0 120499 0
vsize: 483200
[startup+520.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25756
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 172710 0 0 0 51654 352 0 0 25 0 1 0 971664309 494796800 97223 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 120800 97223 301 301 0 120499 0
vsize: 483200
[startup+530.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25756
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 172711 0 0 0 52653 352 0 0 25 0 1 0 971664309 494796800 97224 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 120800 97224 301 301 0 120499 0
vsize: 483200
[startup+540.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25756
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 172712 0 0 0 53653 352 0 0 25 0 1 0 971664309 494796800 97225 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 120800 97225 301 301 0 120499 0
vsize: 483200
[startup+550.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25756
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 172713 0 0 0 54653 352 0 0 25 0 1 0 971664309 494796800 97226 4294967295 134512640 135730672 3221224576 3221222864 134747575 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 120800 97226 301 301 0 120499 0
vsize: 483200
[startup+560.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25756
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 172714 0 0 0 55654 352 0 0 25 0 1 0 971664309 494796800 97227 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 120800 97227 301 301 0 120499 0
vsize: 483200
[startup+570.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25756
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 172717 0 0 0 56654 352 0 0 25 0 1 0 971664309 494796800 97230 4294967295 134512640 135730672 3221224576 3221222864 134747549 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 120800 97230 301 301 0 120499 0
vsize: 483200
[startup+580.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25756
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 172718 0 0 0 57654 352 0 0 25 0 1 0 971664309 494796800 97231 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 120800 97231 301 301 0 120499 0
vsize: 483200
[startup+590.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25756
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 172718 0 0 0 58654 352 0 0 25 0 1 0 971664309 494796800 97231 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 120800 97231 301 301 0 120499 0
vsize: 483200
[startup+600.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25756
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 172724 0 0 0 59654 352 0 0 25 0 1 0 971664309 494796800 97237 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 120800 97237 301 301 0 120499 0
vsize: 483200
[startup+610.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25756
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 172725 0 0 0 60654 352 0 0 25 0 1 0 971664309 494796800 97238 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 120800 97238 301 301 0 120499 0
vsize: 483200
[startup+620.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25756
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 172726 0 0 0 61655 352 0 0 25 0 1 0 971664309 494796800 97239 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 120800 97239 301 301 0 120499 0
vsize: 483200
[startup+630.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25756
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 172728 0 0 0 62655 352 0 0 25 0 1 0 971664309 494796800 97241 4294967295 134512640 135730672 3221224576 3221222864 134747832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 120800 97241 301 301 0 120499 0
vsize: 483200
[startup+640.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25756
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 172729 0 0 0 63655 352 0 0 25 0 1 0 971664309 494796800 97242 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 120800 97242 301 301 0 120499 0
vsize: 483200
[startup+650.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25756
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 172730 0 0 0 64655 352 0 0 25 0 1 0 971664309 494796800 97243 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 120800 97243 301 301 0 120499 0
vsize: 483200
[startup+660.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25756
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 172902 0 0 0 65655 353 0 0 25 0 1 0 971664309 495849472 97415 4294967295 134512640 135730672 3221224576 3221223056 134748632 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 121057 97415 301 301 0 120756 0
vsize: 484228
[startup+670.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25756
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 172903 0 0 0 66655 353 0 0 25 0 1 0 971664309 495849472 97416 4294967295 134512640 135730672 3221224576 3221223056 134748440 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 121057 97416 301 301 0 120756 0
vsize: 484228
[startup+680.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25756
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 172907 0 0 0 67655 353 0 0 25 0 1 0 971664309 495849472 97420 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 121057 97420 301 301 0 120756 0
vsize: 484228
[startup+690.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25756
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 172918 0 0 0 68655 353 0 0 25 0 1 0 971664309 495849472 97431 4294967295 134512640 135730672 3221224576 3221222864 134747967 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 121057 97431 301 301 0 120756 0
vsize: 484228
[startup+700.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25756
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 172957 0 0 0 69655 353 0 0 25 0 1 0 971664309 495849472 97470 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 121057 97470 301 301 0 120756 0
vsize: 484228
[startup+710.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25756
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 172962 0 0 0 70655 353 0 0 25 0 1 0 971664309 495849472 97475 4294967295 134512640 135730672 3221224576 3221222864 134747584 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 121057 97475 301 301 0 120756 0
vsize: 484228
[startup+720.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25756
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 172982 0 0 0 71656 353 0 0 25 0 1 0 971664309 495849472 97495 4294967295 134512640 135730672 3221224576 3221222864 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 121057 97495 301 301 0 120756 0
vsize: 484228
[startup+730.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25756
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 172983 0 0 0 72656 353 0 0 25 0 1 0 971664309 495849472 97496 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 121057 97496 301 301 0 120756 0
vsize: 484228
[startup+740.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25756
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 172984 0 0 0 73656 353 0 0 25 0 1 0 971664309 495849472 97497 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 121057 97497 301 301 0 120756 0
vsize: 484228
[startup+750.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25756
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 172987 0 0 0 74656 353 0 0 25 0 1 0 971664309 495849472 97500 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 121057 97500 301 301 0 120756 0
vsize: 484228
[startup+760.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25756
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 172988 0 0 0 75656 353 0 0 25 0 1 0 971664309 495849472 97501 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 121057 97501 301 301 0 120756 0
vsize: 484228
[startup+770.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25756
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 172992 0 0 0 76657 353 0 0 25 0 1 0 971664309 495849472 97505 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 121057 97505 301 301 0 120756 0
vsize: 484228
[startup+780.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25756
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 172995 0 0 0 77657 353 0 0 25 0 1 0 971664309 495849472 97508 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 121057 97508 301 301 0 120756 0
vsize: 484228
[startup+790.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25756
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 172996 0 0 0 78657 353 0 0 25 0 1 0 971664309 495849472 97509 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 121057 97509 301 301 0 120756 0
vsize: 484228
[startup+800.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25756
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 172999 0 0 0 79657 353 0 0 25 0 1 0 971664309 495849472 97512 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 121057 97512 301 301 0 120756 0
vsize: 484228
[startup+810.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25756
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 173001 0 0 0 80658 353 0 0 25 0 1 0 971664309 495849472 97514 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 121057 97514 301 301 0 120756 0
vsize: 484228
[startup+820.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25756
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 173004 0 0 0 81658 353 0 0 25 0 1 0 971664309 495849472 97517 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 121057 97517 301 301 0 120756 0
vsize: 484228
[startup+830.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25756
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 173309 0 0 0 82657 354 0 0 25 0 1 0 971664309 496898048 97565 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 121313 97565 301 301 0 121012 0
vsize: 485252
[startup+840.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25756
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 173311 0 0 0 83657 354 0 0 25 0 1 0 971664309 496898048 97567 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 121313 97567 301 301 0 121012 0
vsize: 485252
[startup+850.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25756
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 173314 0 0 0 84657 354 0 0 25 0 1 0 971664309 496898048 97570 4294967295 134512640 135730672 3221224576 3221222960 134747445 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 121313 97570 301 301 0 121012 0
vsize: 485252
[startup+860.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25756
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 173317 0 0 0 85658 354 0 0 25 0 1 0 971664309 496898048 97573 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 121313 97573 301 301 0 121012 0
vsize: 485252
[startup+870.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25756
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 175402 0 0 0 86652 359 0 0 25 0 1 0 971664309 496898048 97573 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 121313 97573 301 301 0 121012 0
vsize: 485252
[startup+880.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25756
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 175402 0 0 0 87652 359 0 0 25 0 1 0 971664309 496898048 97573 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 121313 97573 301 301 0 121012 0
vsize: 485252
[startup+890.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25756
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 175402 0 0 0 88652 359 0 0 25 0 1 0 971664309 496898048 97573 4294967295 134512640 135730672 3221224576 3221222864 134747641 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 121313 97573 301 301 0 121012 0
vsize: 485252
[startup+900.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25756
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 175529 0 0 0 89652 360 0 0 25 0 1 0 971664309 497426432 97700 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 121442 97700 301 301 0 121141 0
vsize: 485768
[startup+910.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25756
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 175529 0 0 0 90652 360 0 0 25 0 1 0 971664309 497426432 97700 4294967295 134512640 135730672 3221224576 3221222864 134747657 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 121442 97700 301 301 0 121141 0
vsize: 485768
[startup+920.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25756
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 175530 0 0 0 91652 360 0 0 25 0 1 0 971664309 497426432 97701 4294967295 134512640 135730672 3221224576 3221222864 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 121442 97701 301 301 0 121141 0
vsize: 485768
[startup+930.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25756
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 175530 0 0 0 92653 360 0 0 25 0 1 0 971664309 497426432 97701 4294967295 134512640 135730672 3221224576 3221222864 134747714 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 121442 97701 301 301 0 121141 0
vsize: 485768
[startup+940.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25756
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 175530 0 0 0 93653 360 0 0 25 0 1 0 971664309 497426432 97701 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 121442 97701 301 301 0 121141 0
vsize: 485768
[startup+950.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25756
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 175530 0 0 0 94653 360 0 0 25 0 1 0 971664309 497426432 97701 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 121442 97701 301 301 0 121141 0
vsize: 485768
[startup+960.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25756
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 175532 0 0 0 95653 360 0 0 25 0 1 0 971664309 497426432 97703 4294967295 134512640 135730672 3221224576 3221222864 134747714 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 121442 97703 301 301 0 121141 0
vsize: 485768
[startup+970.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25756
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 175536 0 0 0 96653 360 0 0 25 0 1 0 971664309 497426432 97707 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 121442 97707 301 301 0 121141 0
vsize: 485768
[startup+980.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25756
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 175539 0 0 0 97654 360 0 0 25 0 1 0 971664309 497426432 97710 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 121442 97710 301 301 0 121141 0
vsize: 485768
[startup+990.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25756
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 175545 0 0 0 98654 360 0 0 25 0 1 0 971664309 497426432 97716 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 121442 97716 301 301 0 121141 0
vsize: 485768
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25756
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 175548 0 0 0 99654 360 0 0 25 0 1 0 971664309 497426432 97719 4294967295 134512640 135730672 3221224576 3221222864 134747808 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 121442 97719 301 301 0 121141 0
vsize: 485768
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25756
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 175554 0 0 0 100654 360 0 0 25 0 1 0 971664309 497426432 97725 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 121442 97725 301 301 0 121141 0
vsize: 485768
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25756
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 175561 0 0 0 101654 360 0 0 25 0 1 0 971664309 497426432 97732 4294967295 134512640 135730672 3221224576 3221222992 134748166 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 121442 97732 301 301 0 121141 0
vsize: 485768
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25756
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 175564 0 0 0 102654 360 0 0 25 0 1 0 971664309 497426432 97735 4294967295 134512640 135730672 3221224576 3221223024 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 121442 97735 301 301 0 121141 0
vsize: 485768
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25756
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 175571 0 0 0 103655 360 0 0 25 0 1 0 971664309 497426432 97742 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 121442 97742 301 301 0 121141 0
vsize: 485768
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25756
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 175579 0 0 0 104655 360 0 0 25 0 1 0 971664309 497426432 97750 4294967295 134512640 135730672 3221224576 3221222912 134740310 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 121442 97750 301 301 0 121141 0
vsize: 485768
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25756
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 175592 0 0 0 105655 360 0 0 25 0 1 0 971664309 497426432 97763 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 121442 97763 301 301 0 121141 0
vsize: 485768
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25756
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 175610 0 0 0 106655 360 0 0 25 0 1 0 971664309 497426432 97781 4294967295 134512640 135730672 3221224576 3221222864 134747902 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 121442 97781 301 301 0 121141 0
vsize: 485768
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25756
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 175619 0 0 0 107655 360 0 0 25 0 1 0 971664309 497426432 97790 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 121442 97790 301 301 0 121141 0
vsize: 485768
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25756
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 175954 0 0 0 108655 361 0 0 25 0 1 0 971664309 498475008 97868 4294967295 134512640 135730672 3221224576 3221222864 134747602 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 121698 97868 301 301 0 121397 0
vsize: 486792
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25756
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 178148 0 0 0 109650 366 0 0 25 0 1 0 971664309 498475008 97977 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 121698 97977 301 301 0 121397 0
vsize: 486792
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25756
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 178149 0 0 0 110650 366 0 0 25 0 1 0 971664309 498475008 97978 4294967295 134512640 135730672 3221224576 3221223024 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 121698 97978 301 301 0 121397 0
vsize: 486792
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25756
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 178964 0 0 0 111648 367 0 0 25 0 1 0 971664309 500572160 98280 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 122210 98280 301 301 0 121909 0
vsize: 488840
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25756
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 178964 0 0 0 112648 367 0 0 25 0 1 0 971664309 500572160 98280 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 122210 98280 301 301 0 121909 0
vsize: 488840
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25756
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 178965 0 0 0 113649 367 0 0 25 0 1 0 971664309 500572160 98281 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 122210 98281 301 301 0 121909 0
vsize: 488840
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25756
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 178976 0 0 0 114649 367 0 0 25 0 1 0 971664309 500572160 98292 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 122210 98292 301 301 0 121909 0
vsize: 488840
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25756
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 178977 0 0 0 115649 367 0 0 25 0 1 0 971664309 500572160 98293 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 122210 98293 301 301 0 121909 0
vsize: 488840
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25756
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 178979 0 0 0 116649 368 0 0 25 0 1 0 971664309 500572160 98295 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 122210 98295 301 301 0 121909 0
vsize: 488840
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25756
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 178980 0 0 0 117649 368 0 0 25 0 1 0 971664309 500572160 98296 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 122210 98296 301 301 0 121909 0
vsize: 488840
[startup+1190.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25756
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 179353 0 0 0 118649 368 0 0 25 0 1 0 971664309 501633024 98604 4294967295 134512640 135730672 3221224576 3221222864 134747878 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 122469 98604 301 301 0 122168 0
vsize: 489876
[startup+1200.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25756
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 182551 0 0 0 119642 375 0 0 25 0 1 0 971664309 510451712 100090 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 124622 100090 301 301 0 124321 0
vsize: 498488
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.16 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 25756
Raw data (stat): 25699 (pb2sat-v2) R 25698 20224 20223 0 -1 0 182551 0 0 0 119642 375 0 0 25 0 1 0 971664309 510451712 100090 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 124622 100090 301 301 0 124321 0
vsize: 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1202.16
CPU time (s): 1202.3
CPU user time (s): 1198.33
CPU system time (s): 3.9614
CPU usage (%): 100.011
Max. virtual memory (Kb): 498488
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	1776768
#### END VERIFIER DATA ####