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/miplib3/normalized-mps-v2-13-7-misc03.opb
MD5SUM	a9018751ab90bc03ab8cd95317ace234
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.20882
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 42921

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-16 18:15:24 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26128 boxname=wulflinc1 idbench=1428 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  a9018751ab90bc03ab8cd95317ace234  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-misc03.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-misc03.opb
IDLAUNCH: 26128
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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.053
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:        743120 kB
Buffers:          8328 kB
Cached:         259260 kB
SwapCached:       1148 kB
Active:          25920 kB
Inactive:       243936 kB
HighTotal:      131008 kB
HighFree:        22820 kB
LowTotal:       903652 kB
LowFree:        720300 kB
SwapTotal:     2097136 kB
SwapFree:      2094896 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5364 kB
Slab:            15888 kB
Committed_AS:    92720 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 18:35:27 (client local time) WITH STATUS 0 IN 1202.31 SECONDS
stats: 26128 0 1202.31 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.9364 s]  setting bit 20 to 0

c Decision: 173723/1067074	Time: 765.355/86400
c [startup+1086.74 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.85 0.95 0.90 1/55 24258
Raw data (stat): 24258 (runsolver) R 24257 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 915989575 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+10.0003 s]
Raw data (loadavg): 0.87 0.95 0.90 2/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 29306 0 0 0 935 63 0 0 25 0 1 0 915989575 88420352 18174 4294967295 134512640 135730672 3221224576 3221194312 135284254 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21587 18174 301 301 0 21286 0
vsize: 86348
[startup+20.0011 s]
Raw data (loadavg): 0.89 0.96 0.91 2/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 57896 0 0 0 1880 119 0 0 25 0 1 0 915989575 174379008 35549 4294967295 134512640 135730672 3221224576 3221168272 135104813 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42573 35549 301 301 0 42272 0
vsize: 170292
[startup+30.0019 s]
Raw data (loadavg): 0.91 0.96 0.91 2/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 95535 0 0 0 2808 190 0 0 25 0 1 0 915989575 298684416 51046 4294967295 134512640 135730672 3221224576 3221175356 134608046 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 72921 51046 301 301 0 72620 0
vsize: 291684
[startup+40.0027 s]
Raw data (loadavg): 0.92 0.96 0.91 2/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 108086 0 0 0 3784 215 0 0 25 0 1 0 915989575 332238848 63371 4294967295 134512640 135730672 3221224576 3221173036 134608033 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 81113 63371 301 301 0 80812 0
vsize: 324452
[startup+50.0039 s]
Raw data (loadavg): 0.93 0.96 0.91 2/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 122895 0 0 0 4753 246 0 0 25 0 1 0 915989575 338186240 77944 4294967295 134512640 135730672 3221224576 3221191968 135288428 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 82565 77944 301 301 0 82264 0
vsize: 330260
[startup+60.0034 s]
Raw data (loadavg): 0.94 0.96 0.91 2/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 160322 0 0 0 5683 316 0 0 25 0 1 0 915989575 473456640 95871 4294967295 134512640 135730672 3221224576 3221222888 134765469 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.0041 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 160325 0 0 0 6682 317 0 0 25 0 1 0 915989575 464920576 93790 4294967295 134512640 135730672 3221224576 3221223072 134747714 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.0048 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 160732 0 0 0 7682 317 0 0 25 0 1 0 915989575 467025920 94197 4294967295 134512640 135730672 3221224576 3221223072 134747516 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 114020 94197 301 301 0 113719 0
vsize: 456080
[startup+90.0056 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 161018 0 0 0 8682 318 0 0 25 0 1 0 915989575 468381696 94483 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 114351 94483 301 301 0 114050 0
vsize: 457404
[startup+100.005 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 168374 0 0 0 9666 333 0 0 25 0 1 0 915989575 481148928 95199 4294967295 134512640 135730672 3221224576 3221222912 134749370 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 117468 95199 301 301 0 117167 0
vsize: 469872
[startup+110.006 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 168667 0 0 0 10666 334 0 0 25 0 1 0 915989575 482201600 95363 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 117725 95363 301 301 0 117424 0
vsize: 470900
[startup+120.006 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 169203 0 0 0 11665 335 0 0 25 0 1 0 915989575 484302848 95642 4294967295 134512640 135730672 3221224576 3221222752 135109359 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118238 95642 301 301 0 117937 0
vsize: 472952
[startup+130.006 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 169204 0 0 0 12665 335 0 0 25 0 1 0 915989575 484302848 95643 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118238 95643 301 301 0 117937 0
vsize: 472952
[startup+140.007 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 169616 0 0 0 13664 336 0 0 25 0 1 0 915989575 485351424 95798 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118494 95798 301 301 0 118193 0
vsize: 473976
[startup+150.007 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 169650 0 0 0 14664 336 0 0 25 0 1 0 915989575 485351424 95832 4294967295 134512640 135730672 3221224576 3221222960 134747445 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118494 95832 301 301 0 118193 0
vsize: 473976
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 169651 0 0 0 15664 337 0 0 25 0 1 0 915989575 485351424 95833 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 1 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/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 169728 0 0 0 16664 337 0 0 25 0 1 0 915989575 485351424 95910 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 1 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/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 170021 0 0 0 17664 337 0 0 25 0 1 0 915989575 486400000 95946 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118750 95946 301 301 0 118449 0
vsize: 475000
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 170022 0 0 0 18664 337 0 0 25 0 1 0 915989575 486400000 95947 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118750 95947 301 301 0 118449 0
vsize: 475000
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 170034 0 0 0 19664 338 0 0 25 0 1 0 915989575 486400000 95959 4294967295 134512640 135730672 3221224576 3221222960 134763582 0 0 7 16384 0 0 0 17 1 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/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 170055 0 0 0 20663 338 0 0 25 0 1 0 915989575 486400000 95980 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 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/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 170330 0 0 0 21663 339 0 0 25 0 1 0 915989575 487448576 95998 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 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/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 170345 0 0 0 22663 339 0 0 25 0 1 0 915989575 487448576 96013 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 119006 96013 301 301 0 118705 0
vsize: 476024
[startup+240.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 170549 0 0 0 23662 340 0 0 25 0 1 0 915989575 487448576 96217 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 119006 96217 301 301 0 118705 0
vsize: 476024
[startup+250.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 170564 0 0 0 24662 340 0 0 25 0 1 0 915989575 487448576 96232 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 119006 96232 301 301 0 118705 0
vsize: 476024
[startup+260.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 170599 0 0 0 25662 341 0 0 25 0 1 0 915989575 487448576 96267 4294967295 134512640 135730672 3221224576 3221222864 134747970 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 119006 96267 301 301 0 118705 0
vsize: 476024
[startup+270.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 171280 0 0 0 26660 343 0 0 25 0 1 0 915989575 489545728 96435 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 119518 96435 301 301 0 119217 0
vsize: 478072
[startup+280.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 171281 0 0 0 27659 343 0 0 25 0 1 0 915989575 489545728 96436 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 119518 96436 301 301 0 119217 0
vsize: 478072
[startup+290.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 171339 0 0 0 28659 343 0 0 25 0 1 0 915989575 489545728 96494 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 119518 96494 301 301 0 119217 0
vsize: 478072
[startup+300.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 171390 0 0 0 29659 343 0 0 25 0 1 0 915989575 489545728 96545 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 119518 96545 301 301 0 119217 0
vsize: 478072
[startup+310.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 171393 0 0 0 30659 344 0 0 25 0 1 0 915989575 489545728 96548 4294967295 134512640 135730672 3221224576 3221222864 134747575 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 119518 96548 301 301 0 119217 0
vsize: 478072
[startup+320.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 171426 0 0 0 31659 344 0 0 25 0 1 0 915989575 489545728 96581 4294967295 134512640 135730672 3221224576 3221222992 134748108 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.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 171746 0 0 0 32659 345 0 0 25 0 1 0 915989575 491646976 96901 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 120031 96901 301 301 0 119730 0
vsize: 480124
[startup+340.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 171747 0 0 0 33659 345 0 0 25 0 1 0 915989575 491646976 96902 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 120031 96902 301 301 0 119730 0
vsize: 480124
[startup+350.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 171748 0 0 0 34659 345 0 0 25 0 1 0 915989575 491646976 96903 4294967295 134512640 135730672 3221224576 3221222864 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 120031 96903 301 301 0 119730 0
vsize: 480124
[startup+360.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 171749 0 0 0 35659 345 0 0 25 0 1 0 915989575 491646976 96904 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 120031 96904 301 301 0 119730 0
vsize: 480124
[startup+370.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 171751 0 0 0 36658 346 0 0 25 0 1 0 915989575 491646976 96906 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 120031 96906 301 301 0 119730 0
vsize: 480124
[startup+380.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 171830 0 0 0 37658 346 0 0 25 0 1 0 915989575 491646976 96985 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 120031 96985 301 301 0 119730 0
vsize: 480124
[startup+390.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 171831 0 0 0 38658 346 0 0 25 0 1 0 915989575 491646976 96986 4294967295 134512640 135730672 3221224576 3221222992 134748214 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 120031 96986 301 301 0 119730 0
vsize: 480124
[startup+400.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 171832 0 0 0 39659 346 0 0 25 0 1 0 915989575 491646976 96987 4294967295 134512640 135730672 3221224576 3221222864 134747957 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 120031 96987 301 301 0 119730 0
vsize: 480124
[startup+410.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 171833 0 0 0 40659 346 0 0 25 0 1 0 915989575 491646976 96988 4294967295 134512640 135730672 3221224576 3221222864 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 120031 96988 301 301 0 119730 0
vsize: 480124
[startup+420.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 172372 0 0 0 41657 348 0 0 25 0 1 0 915989575 493744128 97014 4294967295 134512640 135730672 3221224576 3221223056 134748554 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 120543 97014 301 301 0 120242 0
vsize: 482172
[startup+430.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 172403 0 0 0 42657 348 0 0 25 0 1 0 915989575 493744128 97045 4294967295 134512640 135730672 3221224576 3221222864 134747751 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.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 172406 0 0 0 43657 348 0 0 25 0 1 0 915989575 493744128 97048 4294967295 134512640 135730672 3221224576 3221222992 134748132 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.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 172407 0 0 0 44657 348 0 0 25 0 1 0 915989575 493744128 97049 4294967295 134512640 135730672 3221224576 3221222864 134747570 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.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 172408 0 0 0 45657 348 0 0 25 0 1 0 915989575 493744128 97050 4294967295 134512640 135730672 3221224576 3221223024 134734832 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.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 172409 0 0 0 46657 348 0 0 25 0 1 0 915989575 493744128 97051 4294967295 134512640 135730672 3221224576 3221222688 134732518 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.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 172410 0 0 0 47657 348 0 0 25 0 1 0 915989575 493744128 97052 4294967295 134512640 135730672 3221224576 3221222688 134732518 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.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 172411 0 0 0 48658 348 0 0 25 0 1 0 915989575 493744128 97053 4294967295 134512640 135730672 3221224576 3221222864 134747543 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.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 172707 0 0 0 49658 349 0 0 25 0 1 0 915989575 494796800 97220 4294967295 134512640 135730672 3221224576 3221222864 134747489 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.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 172709 0 0 0 50658 349 0 0 25 0 1 0 915989575 494796800 97222 4294967295 134512640 135730672 3221224576 3221222688 134732476 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.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 172710 0 0 0 51658 349 0 0 25 0 1 0 915989575 494796800 97223 4294967295 134512640 135730672 3221224576 3221222864 134747541 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.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 172711 0 0 0 52658 349 0 0 25 0 1 0 915989575 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.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 172712 0 0 0 53658 349 0 0 25 0 1 0 915989575 494796800 97225 4294967295 134512640 135730672 3221224576 3221222864 134747651 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.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 172713 0 0 0 54659 349 0 0 25 0 1 0 915989575 494796800 97226 4294967295 134512640 135730672 3221224576 3221222864 134747543 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.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 172715 0 0 0 55659 349 0 0 25 0 1 0 915989575 494796800 97228 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 120800 97228 301 301 0 120499 0
vsize: 483200
[startup+570.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 172717 0 0 0 56659 349 0 0 25 0 1 0 915989575 494796800 97230 4294967295 134512640 135730672 3221224576 3221222864 134747541 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.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 172718 0 0 0 57659 349 0 0 25 0 1 0 915989575 494796800 97231 4294967295 134512640 135730672 3221224576 3221223056 134748449 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.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 172719 0 0 0 58659 349 0 0 25 0 1 0 915989575 494796800 97232 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 120800 97232 301 301 0 120499 0
vsize: 483200
[startup+600.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 172724 0 0 0 59659 349 0 0 25 0 1 0 915989575 494796800 97237 4294967295 134512640 135730672 3221224576 3221222976 134748234 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.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 172725 0 0 0 60659 349 0 0 25 0 1 0 915989575 494796800 97238 4294967295 134512640 135730672 3221224576 3221222688 134732518 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.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 172726 0 0 0 61660 349 0 0 25 0 1 0 915989575 494796800 97239 4294967295 134512640 135730672 3221224576 3221223056 134748565 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.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 172728 0 0 0 62660 349 0 0 25 0 1 0 915989575 494796800 97241 4294967295 134512640 135730672 3221224576 3221222864 134747543 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.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 172729 0 0 0 63660 349 0 0 25 0 1 0 915989575 494796800 97242 4294967295 134512640 135730672 3221224576 3221222864 134747541 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.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 172730 0 0 0 64660 349 0 0 25 0 1 0 915989575 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.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 172902 0 0 0 65660 350 0 0 25 0 1 0 915989575 495849472 97415 4294967295 134512640 135730672 3221224576 3221222864 134747543 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.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 172904 0 0 0 66660 350 0 0 25 0 1 0 915989575 495849472 97417 4294967295 134512640 135730672 3221224576 3221222864 134747657 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 121057 97417 301 301 0 120756 0
vsize: 484228
[startup+680.018 s]
Raw data (loadavg): 0.99 0.97 0.91 3/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 172907 0 0 0 67660 350 0 0 25 0 1 0 915989575 495849472 97420 4294967295 134512640 135730672 3221224576 3221222864 134747549 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.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 172946 0 0 0 68660 350 0 0 25 0 1 0 915989575 495849472 97459 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 121057 97459 301 301 0 120756 0
vsize: 484228
[startup+700.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 172958 0 0 0 69660 350 0 0 25 0 1 0 915989575 495849472 97471 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 121057 97471 301 301 0 120756 0
vsize: 484228
[startup+710.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 172981 0 0 0 70660 350 0 0 25 0 1 0 915989575 495849472 97494 4294967295 134512640 135730672 3221224576 3221222968 134747726 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 121057 97494 301 301 0 120756 0
vsize: 484228
[startup+720.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 172982 0 0 0 71661 350 0 0 25 0 1 0 915989575 495849472 97495 4294967295 134512640 135730672 3221224576 3221222688 134732518 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.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 172984 0 0 0 72661 350 0 0 25 0 1 0 915989575 495849472 97497 4294967295 134512640 135730672 3221224576 3221223040 134748644 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 121057 97497 301 301 0 120756 0
vsize: 484228
[startup+740.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 172986 0 0 0 73661 350 0 0 25 0 1 0 915989575 495849472 97499 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 121057 97499 301 301 0 120756 0
vsize: 484228
[startup+750.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 172987 0 0 0 74661 350 0 0 25 0 1 0 915989575 495849472 97500 4294967295 134512640 135730672 3221224576 3221222960 134763604 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.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 172990 0 0 0 75661 350 0 0 25 0 1 0 915989575 495849472 97503 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 121057 97503 301 301 0 120756 0
vsize: 484228
[startup+770.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 172993 0 0 0 76661 350 0 0 25 0 1 0 915989575 495849472 97506 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 121057 97506 301 301 0 120756 0
vsize: 484228
[startup+780.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 172995 0 0 0 77661 350 0 0 25 0 1 0 915989575 495849472 97508 4294967295 134512640 135730672 3221224576 3221222864 134747657 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.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 172998 0 0 0 78662 350 0 0 25 0 1 0 915989575 495849472 97511 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 121057 97511 301 301 0 120756 0
vsize: 484228
[startup+800.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 173001 0 0 0 79661 351 0 0 25 0 1 0 915989575 495849472 97514 4294967295 134512640 135730672 3221224576 3221222992 134748214 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 121057 97514 301 301 0 120756 0
vsize: 484228
[startup+810.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 173002 0 0 0 80662 351 0 0 25 0 1 0 915989575 495849472 97515 4294967295 134512640 135730672 3221224576 3221223056 134748554 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 121057 97515 301 301 0 120756 0
vsize: 484228
[startup+820.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 173005 0 0 0 81662 351 0 0 25 0 1 0 915989575 495849472 97518 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 121057 97518 301 301 0 120756 0
vsize: 484228
[startup+830.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 173310 0 0 0 82661 351 0 0 25 0 1 0 915989575 496898048 97566 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 121313 97566 301 301 0 121012 0
vsize: 485252
[startup+840.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 173312 0 0 0 83662 351 0 0 25 0 1 0 915989575 496898048 97568 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 121313 97568 301 301 0 121012 0
vsize: 485252
[startup+850.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 173316 0 0 0 84662 351 0 0 25 0 1 0 915989575 496898048 97572 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 121313 97572 301 301 0 121012 0
vsize: 485252
[startup+860.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 175402 0 0 0 85657 356 0 0 25 0 1 0 915989575 496898048 97573 4294967295 134512640 135730672 3221224576 3221222992 134783311 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.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 175402 0 0 0 86657 356 0 0 25 0 1 0 915989575 496898048 97573 4294967295 134512640 135730672 3221224576 3221222864 134747568 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.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 175402 0 0 0 87656 356 0 0 25 0 1 0 915989575 496898048 97573 4294967295 134512640 135730672 3221224576 3221222864 134747543 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.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 175529 0 0 0 88656 357 0 0 25 0 1 0 915989575 497426432 97700 4294967295 134512640 135730672 3221224576 3221222960 134763992 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 121442 97700 301 301 0 121141 0
vsize: 485768
[startup+900.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 175529 0 0 0 89657 357 0 0 25 0 1 0 915989575 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.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 175529 0 0 0 90657 357 0 0 25 0 1 0 915989575 497426432 97700 4294967295 134512640 135730672 3221224576 3221223056 134748554 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.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 175530 0 0 0 91657 357 0 0 25 0 1 0 915989575 497426432 97701 4294967295 134512640 135730672 3221224576 3221223056 134748449 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.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 175530 0 0 0 92657 357 0 0 25 0 1 0 915989575 497426432 97701 4294967295 134512640 135730672 3221224576 3221222864 134747543 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.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 175530 0 0 0 93657 357 0 0 25 0 1 0 915989575 497426432 97701 4294967295 134512640 135730672 3221224576 3221222864 134747541 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.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 175530 0 0 0 94657 357 0 0 25 0 1 0 915989575 497426432 97701 4294967295 134512640 135730672 3221224576 3221222864 134747543 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.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 175535 0 0 0 95657 357 0 0 25 0 1 0 915989575 497426432 97706 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 121442 97706 301 301 0 121141 0
vsize: 485768
[startup+970.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 175538 0 0 0 96657 357 0 0 25 0 1 0 915989575 497426432 97709 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 121442 97709 301 301 0 121141 0
vsize: 485768
[startup+980.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 175543 0 0 0 97657 357 0 0 25 0 1 0 915989575 497426432 97714 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 121442 97714 301 301 0 121141 0
vsize: 485768
[startup+990.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 175547 0 0 0 98658 358 0 0 25 0 1 0 915989575 497426432 97718 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 121442 97718 301 301 0 121141 0
vsize: 485768
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 175552 0 0 0 99658 358 0 0 25 0 1 0 915989575 497426432 97723 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 121442 97723 301 301 0 121141 0
vsize: 485768
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 175560 0 0 0 100658 358 0 0 25 0 1 0 915989575 497426432 97731 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 121442 97731 301 301 0 121141 0
vsize: 485768
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 175563 0 0 0 101657 358 0 0 25 0 1 0 915989575 497426432 97734 4294967295 134512640 135730672 3221224576 3221222864 134747555 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 121442 97734 301 301 0 121141 0
vsize: 485768
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 175570 0 0 0 102657 359 0 0 25 0 1 0 915989575 497426432 97741 4294967295 134512640 135730672 3221224576 3221222960 134764020 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 121442 97741 301 301 0 121141 0
vsize: 485768
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 175576 0 0 0 103657 359 0 0 25 0 1 0 915989575 497426432 97747 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 121442 97747 301 301 0 121141 0
vsize: 485768
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 175591 0 0 0 104657 359 0 0 25 0 1 0 915989575 497426432 97762 4294967295 134512640 135730672 3221224576 3221223056 134748554 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 121442 97762 301 301 0 121141 0
vsize: 485768
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 3/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 175608 0 0 0 105657 359 0 0 25 0 1 0 915989575 497426432 97779 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 121442 97779 301 301 0 121141 0
vsize: 485768
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 175612 0 0 0 106657 359 0 0 25 0 1 0 915989575 497426432 97783 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 121442 97783 301 301 0 121141 0
vsize: 485768
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 175627 0 0 0 107657 359 0 0 25 0 1 0 915989575 497426432 97798 4294967295 134512640 135730672 3221224576 3221222992 134748126 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 121442 97798 301 301 0 121141 0
vsize: 485768
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 178148 0 0 0 108651 365 0 0 25 0 1 0 915989575 498475008 97977 4294967295 134512640 135730672 3221224576 3221222912 134749640 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 121698 97977 301 301 0 121397 0
vsize: 486792
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 178149 0 0 0 109651 365 0 0 25 0 1 0 915989575 498475008 97978 4294967295 134512640 135730672 3221224576 3221223024 134748661 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 121698 97978 301 301 0 121397 0
vsize: 486792
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 178285 0 0 0 110651 366 0 0 25 0 1 0 915989575 498475008 98114 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 121698 98114 301 301 0 121397 0
vsize: 486792
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 178964 0 0 0 111650 367 0 0 25 0 1 0 915989575 500572160 98280 4294967295 134512640 135730672 3221224576 3221222864 134747751 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.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 178965 0 0 0 112650 367 0 0 25 0 1 0 915989575 500572160 98281 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 122210 98281 301 301 0 121909 0
vsize: 488840
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 178966 0 0 0 113650 367 0 0 25 0 1 0 915989575 500572160 98282 4294967295 134512640 135730672 3221224576 3221222960 134747445 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 122210 98282 301 301 0 121909 0
vsize: 488840
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 178977 0 0 0 114650 367 0 0 25 0 1 0 915989575 500572160 98293 4294967295 134512640 135730672 3221224576 3221223056 134748554 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 122210 98293 301 301 0 121909 0
vsize: 488840
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 178978 0 0 0 115650 367 0 0 25 0 1 0 915989575 500572160 98294 4294967295 134512640 135730672 3221224576 3221222864 134747587 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 122210 98294 301 301 0 121909 0
vsize: 488840
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 178980 0 0 0 116650 367 0 0 25 0 1 0 915989575 500572160 98296 4294967295 134512640 135730672 3221224576 3221223056 134748554 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 122210 98296 301 301 0 121909 0
vsize: 488840
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 179101 0 0 0 117650 368 0 0 25 0 1 0 915989575 500838400 98417 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 122275 98417 301 301 0 121974 0
vsize: 489100
[startup+1190.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 182399 0 0 0 118644 374 0 0 25 0 1 0 915989575 510189568 100003 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 124558 100003 301 301 0 124257 0
vsize: 498232
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 183679 0 0 0 119642 376 0 0 25 0 1 0 915989575 513609728 100638 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 125393 100638 301 301 0 125092 0
vsize: 501572
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.15 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 24258
Raw data (stat): 24258 (pb2sat-v2) R 24257 8378 8377 0 -1 0 183679 0 0 0 119642 376 0 0 25 0 1 0 915989575 513609728 100638 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 125393 100638 301 301 0 125092 0
vsize: 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1202.15
CPU time (s): 1202.31
CPU user time (s): 1198.34
CPU system time (s): 3.9704
CPU usage (%): 100.013
Max. virtual memory (Kb): 501572
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	1776768
#### END VERIFIER DATA ####