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/miplib2003/normalized-mps-v2-13-7-markshare1.opb
MD5SUM	6f06e375914e0285ec75de90ad627758
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	3712
Optimality of the best value was proved	NO
Number of terms in the objective function	120
Biggest coefficient in the objective function	524288
Number of bits for the biggest coefficient in the objective function	20
Sum of the numbers in the objective function	6291450
Number of bits of the sum of numbers in the objective function	23
Biggest number in a constraint	524288
Number of bits of the biggest number in a constraint	20
Biggest sum of numbers in a constraint	6291450
Number of bits of the biggest sum of numbers	23
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.1
Number of variables	170
Total number of constraints	56
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	50
Number of constraints which are nor clauses,nor cardinality constraints	6
Minimum length of a constraint	1
Maximum length of a constraint	70
Trace number 42849

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-16 16:18:30 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26057 boxname=wulflinc6 idbench=1357 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  6f06e375914e0285ec75de90ad627758  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-markshare1.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-markshare1.opb
IDLAUNCH: 26057
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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.042
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:        709132 kB
Buffers:         22308 kB
Cached:         280720 kB
SwapCached:       1000 kB
Active:          28764 kB
Inactive:       276408 kB
HighTotal:      131008 kB
HighFree:          280 kB
LowTotal:       903652 kB
LowFree:        708852 kB
SwapTotal:     2097136 kB
SwapFree:      2095200 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5092 kB
Slab:            14592 kB
Committed_AS:    63848 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 16:38:33 (client local time) WITH STATUS 10 IN 1201.25 SECONDS
stats: 26057 0 1201.25 10
#### 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: 36224
c small objective detected
c CONFLICT during preprocess 
c [startup+18.298 s]  setting bit 22 to 0
c CONFLICT during preprocess 
c [startup+19.5126 s]  setting bit 21 to 0
c CONFLICT during preprocess 
c [startup+20.7337 s]  setting bit 20 to 0
c CONFLICT during preprocess 
c [startup+21.9484 s]  setting bit 19 to 0
c CONFLICT during preprocess 
c [startup+23.1646 s]  setting bit 18 to 0
c CONFLICT during preprocess 
c [startup+24.3796 s]  setting bit 17 to 0
c CONFLICT during preprocess 
c [startup+25.5946 s]  setting bit 16 to 0

c Decision: 10920/304291	Time: 698.019/86400
c Decision: 10920/304291	Time: 763.473/86400
c Decision: 10920/304291	Time: 842.437/86400
c Decision: 10946/304291	Time: 954.658/86400
c Decision: 10946/304291	Time: 1027.45/86400
c Decision: 10946/304291	Time: 1130.83/86400s SATISFIABLE
v -x11_bit0 x11_bit1 -x11_bit10 -x11_bit11 -x11_bit12 x11_bit2 -x11_bit3 x11_bit4 -x11_bit5 -x11_bit6 -x11_bit7 -x11_bit8 -x11_bit9 -x11_bit_1 -x11_bit_2 -x11_bit_3 -x11_bit_4 -x11_bit_5 -x11_bit_6 -x11_bit_7 -x13_bit0 x14_bit0 -x15_bit0 x16_bit0 x17_bit0 x18_bit0 -x19_bit0 -x1_bit0 x1_bit1 -x1_bit10 -x1_bit11 -x1_bit12 x1_bit2 -x1_bit3 -x1_bit4 -x1_bit5 -x1_bit6 -x1_bit7 -x1_bit8 -x1_bit9 -x1_bit_1 -x1_bit_2 -x1_bit_3 -x1_bit_4 -x1_bit_5 -x1_bit_6 -x1_bit_7 x20_bit0 -x21_bit0 x22_bit0 x23_bit0 x24_bit0 -x25_bit0 -x26_bit0 -x27_bit0 -x28_bit0 -x29_bit0 x30_bit0 -x31_bit0 x32_bit0 x33_bit0 x34_bit0 -x35_bit0 x36_bit0 -x37_bit0 -x38_bit0 x39_bit0 x3_bit0 x3_bit1 -x3_bit10 -x3_bit11 -x3_bit12 x3_bit2 -x3_bit3 -x3_bit4 x3_bit5 x3_bit6 -x3_bit7 -x3_bit8 -x3_bit9 -x3_bit_1 -x3_bit_2 -x3_bit_3 -x3_bit_4 -x3_bit_5 -x3_bit_6 -x3_bit_7 -x40_bit0 x41_bit0 -x42_bit0 -x43_bit0 x44_bit0 -x45_bit0 -x46_bit0 -x47_bit0 x48_bit0 x49_bit0 x50_bit0 -x51_bit0 x52_bit0 x53_bit0 -x54_bit0 x55_bit0 x56_bit0 -x57_bit0 -x58_bit0 -x59_bit0 -x5_bit0 -x5_bit1 -x5_bit10 -x5_bit11 -x5_bit12 x5_bit2 x5_bit3 -x5_bit4 -x5_bit5 -x5_bit6 -x5_bit7 -x5_bit8 -x5_bit9 -x5_bit_1 -x5_bit_2 -x5_bit_3 -x5_bit_4 -x5_bit_5 -x5_bit_6 -x5_bit_7 -x60_bit0 -x61_bit0 -x62_bit0 -x7_bit0 x7_bit1 -x7_bit10 -x7_bit11 -x7_bit12 -x7_bit2 -x7_bit3 x7_bit4 -x7_bit5 -x7_bit6 -x7_bit7 -x7_bit8 -x7_bit9 -x7_bit_1 -x7_bit_2 -x7_bit_3 -x7_bit_4 -x7_bit_5 -x7_bit_6 -x7_bit_7 -x9_bit0 x9_bit1 -x9_bit10 -x9_bit11 -x9_bit12 -x9_bit2 x9_bit3 x9_bit4 x9_bit5 x9_bit6 -x9_bit7 -x9_bit8 -x9_bit9 -x9_bit_1 -x9_bit_2 -x9_bit_3 -x9_bit_4 -x9_bit_5 -x9_bit_6 -x9_bit_7 
#### 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.83 0.92 0.90 2/54 23373
Raw data (stat): 23373 (runsolver) R 23372 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 972144278 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.99973 s]
Raw data (loadavg): 0.86 0.93 0.90 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 26178 0 0 0 942 56 0 0 25 0 1 0 972144278 76783616 15178 4294967295 134512640 135730672 3221224576 3221208292 135292528 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18746 15178 301 301 0 18445 0
vsize: 74984
[startup+20.0008 s]
Raw data (loadavg): 0.88 0.93 0.90 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 49162 0 0 0 1893 105 0 0 25 0 1 0 972144278 145375232 25438 4294967295 134512640 135730672 3221224576 3221222664 134765477 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35492 25438 301 301 0 35191 0
vsize: 141968
[startup+30.0014 s]
Raw data (loadavg): 0.90 0.93 0.90 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 52183 0 0 0 2885 113 0 0 25 0 1 0 972144278 142938112 24889 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 34897 24889 301 301 0 34596 0
vsize: 139588
[startup+40.0012 s]
Raw data (loadavg): 0.91 0.93 0.90 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 52248 0 0 0 3885 113 0 0 25 0 1 0 972144278 142536704 24856 4294967295 134512640 135730672 3221224576 3221222992 134748163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 34799 24856 301 301 0 34498 0
vsize: 139196
[startup+50.0017 s]
Raw data (loadavg): 0.92 0.93 0.90 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 52318 0 0 0 4885 113 0 0 25 0 1 0 972144278 143065088 24926 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 34928 24926 301 301 0 34627 0
vsize: 139712
[startup+60.0018 s]
Raw data (loadavg): 0.94 0.94 0.90 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 52399 0 0 0 5885 113 0 0 25 0 1 0 972144278 143327232 24942 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 34992 24942 301 301 0 34691 0
vsize: 139968
[startup+70.0016 s]
Raw data (loadavg): 0.94 0.94 0.91 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 52437 0 0 0 6885 113 0 0 25 0 1 0 972144278 143593472 24980 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35057 24980 301 301 0 34756 0
vsize: 140228
[startup+80.0024 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 52568 0 0 0 7885 114 0 0 25 0 1 0 972144278 143855616 25046 4294967295 134512640 135730672 3221224576 3221222696 134739217 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35121 25046 301 301 0 34820 0
vsize: 140484
[startup+90.0023 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 52941 0 0 0 8885 115 0 0 25 0 1 0 972144278 145453056 25320 4294967295 134512640 135730672 3221224576 3221222848 134732772 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35511 25320 301 301 0 35210 0
vsize: 142044
[startup+100.002 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 53874 0 0 0 9883 117 0 0 25 0 1 0 972144278 148377600 25890 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36225 25890 301 301 0 35924 0
vsize: 144900
[startup+110.003 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 54072 0 0 0 10883 117 0 0 25 0 1 0 972144278 148905984 25990 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36354 25990 301 301 0 36053 0
vsize: 145416
[startup+120.003 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 54248 0 0 0 11883 117 0 0 25 0 1 0 972144278 149434368 26101 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36483 26101 301 301 0 36182 0
vsize: 145932
[startup+130.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 54828 0 0 0 12883 118 0 0 25 0 1 0 972144278 151707648 26483 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37038 26483 301 301 0 36737 0
vsize: 148152
[startup+140.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 54856 0 0 0 13883 118 0 0 25 0 1 0 972144278 151707648 26511 4294967295 134512640 135730672 3221224576 3221222864 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37038 26511 301 301 0 36737 0
vsize: 148152
[startup+150.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 54865 0 0 0 14884 118 0 0 25 0 1 0 972144278 151707648 26520 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37038 26520 301 301 0 36737 0
vsize: 148152
[startup+160.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 54870 0 0 0 15884 118 0 0 25 0 1 0 972144278 151707648 26525 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37038 26525 301 301 0 36737 0
vsize: 148152
[startup+170.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 54946 0 0 0 16884 119 0 0 25 0 1 0 972144278 151969792 26536 4294967295 134512640 135730672 3221224576 3221222864 134747883 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37102 26536 301 301 0 36801 0
vsize: 148408
[startup+180.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 55024 0 0 0 17884 119 0 0 25 0 1 0 972144278 152231936 26549 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37166 26549 301 301 0 36865 0
vsize: 148664
[startup+190.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 55038 0 0 0 18884 119 0 0 25 0 1 0 972144278 152231936 26563 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37166 26563 301 301 0 36865 0
vsize: 148664
[startup+200.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 55043 0 0 0 19884 119 0 0 25 0 1 0 972144278 152231936 26568 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37166 26568 301 301 0 36865 0
vsize: 148664
[startup+210.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 55193 0 0 0 20885 119 0 0 25 0 1 0 972144278 152760320 26653 4294967295 134512640 135730672 3221224576 3221222864 134747584 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37295 26653 301 301 0 36994 0
vsize: 149180
[startup+220.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 55198 0 0 0 21884 120 0 0 25 0 1 0 972144278 169537536 26658 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41391 26658 301 301 0 41090 0
vsize: 165564
[startup+230.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 55206 0 0 0 22885 120 0 0 25 0 1 0 972144278 169537536 26666 4294967295 134512640 135730672 3221224576 3221222864 134747970 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41391 26666 301 301 0 41090 0
vsize: 165564
[startup+240.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 55211 0 0 0 23885 120 0 0 25 0 1 0 972144278 169537536 26671 4294967295 134512640 135730672 3221224576 3221222864 134747892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41391 26671 301 301 0 41090 0
vsize: 165564
[startup+250.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 55215 0 0 0 24886 120 0 0 25 0 1 0 972144278 169537536 26675 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41391 26675 301 301 0 41090 0
vsize: 165564
[startup+260.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 55466 0 0 0 25886 120 0 0 25 0 1 0 972144278 170332160 26794 4294967295 134512640 135730672 3221224576 3221222616 135284832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41585 26794 301 301 0 41284 0
vsize: 166340
[startup+270.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 55471 0 0 0 26886 120 0 0 25 0 1 0 972144278 170332160 26799 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41585 26799 301 301 0 41284 0
vsize: 166340
[startup+280.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 55626 0 0 0 27886 121 0 0 25 0 1 0 972144278 171270144 26954 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41814 26954 301 301 0 41513 0
vsize: 167256
[startup+290.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 55785 0 0 0 28886 121 0 0 25 0 1 0 972144278 171532288 27047 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41878 27047 301 301 0 41577 0
vsize: 167512
[startup+300.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 56010 0 0 0 29885 122 0 0 25 0 1 0 972144278 172191744 27174 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42039 27174 301 301 0 41738 0
vsize: 168156
[startup+310.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 56015 0 0 0 30885 122 0 0 25 0 1 0 972144278 172191744 27179 4294967295 134512640 135730672 3221224576 3221222864 134747657 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42039 27179 301 301 0 41738 0
vsize: 168156
[startup+320.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 56145 0 0 0 31884 123 0 0 25 0 1 0 972144278 172453888 27244 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42103 27244 301 301 0 41802 0
vsize: 168412
[startup+330.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 56153 0 0 0 32884 124 0 0 25 0 1 0 972144278 172453888 27252 4294967295 134512640 135730672 3221224576 3221222992 134748158 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42103 27252 301 301 0 41802 0
vsize: 168412
[startup+340.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 56158 0 0 0 33884 124 0 0 25 0 1 0 972144278 172453888 27257 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42103 27257 301 301 0 41802 0
vsize: 168412
[startup+350.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 56162 0 0 0 34884 124 0 0 25 0 1 0 972144278 172453888 27261 4294967295 134512640 135730672 3221224576 3221223056 134748455 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42103 27261 301 301 0 41802 0
vsize: 168412
[startup+360.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 56240 0 0 0 35884 125 0 0 25 0 1 0 972144278 172716032 27274 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42167 27274 301 301 0 41866 0
vsize: 168668
[startup+370.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 56253 0 0 0 36884 125 0 0 25 0 1 0 972144278 172716032 27287 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42167 27287 301 301 0 41866 0
vsize: 168668
[startup+380.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 56257 0 0 0 37884 125 0 0 25 0 1 0 972144278 172716032 27291 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42167 27291 301 301 0 41866 0
vsize: 168668
[startup+390.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 56269 0 0 0 38883 126 0 0 25 0 1 0 972144278 172716032 27303 4294967295 134512640 135730672 3221224576 3221222864 134747967 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42167 27303 301 301 0 41866 0
vsize: 168668
[startup+400.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 56273 0 0 0 39883 126 0 0 25 0 1 0 972144278 172716032 27307 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42167 27307 301 301 0 41866 0
vsize: 168668
[startup+410.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 56278 0 0 0 40883 127 0 0 25 0 1 0 972144278 172716032 27312 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42167 27312 301 301 0 41866 0
vsize: 168668
[startup+420.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 56283 0 0 0 41883 127 0 0 25 0 1 0 972144278 172716032 27317 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42167 27317 301 301 0 41866 0
vsize: 168668
[startup+430.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 56287 0 0 0 42883 128 0 0 25 0 1 0 972144278 172716032 27321 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42167 27321 301 301 0 41866 0
vsize: 168668
[startup+440.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 56381 0 0 0 43882 128 0 0 25 0 1 0 972144278 173244416 27415 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42296 27415 301 301 0 41995 0
vsize: 169184
[startup+450.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 56460 0 0 0 44882 129 0 0 25 0 1 0 972144278 173506560 27429 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42360 27429 301 301 0 42059 0
vsize: 169440
[startup+460.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 56465 0 0 0 45883 129 0 0 25 0 1 0 972144278 173506560 27434 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42360 27434 301 301 0 42059 0
vsize: 169440
[startup+470.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 56469 0 0 0 46883 129 0 0 25 0 1 0 972144278 173506560 27438 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42360 27438 301 301 0 42059 0
vsize: 169440
[startup+480.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 56474 0 0 0 47883 129 0 0 25 0 1 0 972144278 173506560 27443 4294967295 134512640 135730672 3221224576 3221222864 134747757 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42360 27443 301 301 0 42059 0
vsize: 169440
[startup+490.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 56487 0 0 0 48883 129 0 0 25 0 1 0 972144278 173506560 27456 4294967295 134512640 135730672 3221224576 3221222864 134747616 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42360 27456 301 301 0 42059 0
vsize: 169440
[startup+500.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 56491 0 0 0 49884 129 0 0 25 0 1 0 972144278 173506560 27460 4294967295 134512640 135730672 3221224576 3221222864 134747641 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42360 27460 301 301 0 42059 0
vsize: 169440
[startup+510.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 56495 0 0 0 50884 129 0 0 25 0 1 0 972144278 173506560 27464 4294967295 134512640 135730672 3221224576 3221223024 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42360 27464 301 301 0 42059 0
vsize: 169440
[startup+520.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 56499 0 0 0 51884 129 0 0 25 0 1 0 972144278 173506560 27468 4294967295 134512640 135730672 3221224576 3221222752 134761945 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42360 27468 301 301 0 42059 0
vsize: 169440
[startup+530.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 56503 0 0 0 52884 129 0 0 25 0 1 0 972144278 173506560 27472 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42360 27472 301 301 0 42059 0
vsize: 169440
[startup+540.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 56507 0 0 0 53885 129 0 0 25 0 1 0 972144278 173506560 27476 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42360 27476 301 301 0 42059 0
vsize: 169440
[startup+550.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 56513 0 0 0 54885 130 0 0 25 0 1 0 972144278 173506560 27482 4294967295 134512640 135730672 3221224576 3221222992 134748145 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42360 27482 301 301 0 42059 0
vsize: 169440
[startup+560.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 56518 0 0 0 55885 130 0 0 25 0 1 0 972144278 173506560 27487 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42360 27487 301 301 0 42059 0
vsize: 169440
[startup+570.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 56523 0 0 0 56885 130 0 0 25 0 1 0 972144278 173506560 27492 4294967295 134512640 135730672 3221224576 3221222864 134747463 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42360 27492 301 301 0 42059 0
vsize: 169440
[startup+580.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 56530 0 0 0 57886 130 0 0 25 0 1 0 972144278 173506560 27499 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42360 27499 301 301 0 42059 0
vsize: 169440
[startup+590.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 56536 0 0 0 58886 130 0 0 25 0 1 0 972144278 173506560 27505 4294967295 134512640 135730672 3221224576 3221222696 134739217 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42360 27505 301 301 0 42059 0
vsize: 169440
[startup+600.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 56542 0 0 0 59886 130 0 0 25 0 1 0 972144278 173506560 27511 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42360 27511 301 301 0 42059 0
vsize: 169440
[startup+610.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 56550 0 0 0 60886 130 0 0 25 0 1 0 972144278 173506560 27519 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42360 27519 301 301 0 42059 0
vsize: 169440
[startup+620.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 56655 0 0 0 61886 131 0 0 25 0 1 0 972144278 174034944 27624 4294967295 134512640 135730672 3221224576 3221222864 134747587 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42489 27624 301 301 0 42188 0
vsize: 169956
[startup+630.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 56660 0 0 0 62886 131 0 0 25 0 1 0 972144278 174034944 27629 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42489 27629 301 301 0 42188 0
vsize: 169956
[startup+640.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 56664 0 0 0 63886 131 0 0 25 0 1 0 972144278 174034944 27633 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42489 27633 301 301 0 42188 0
vsize: 169956
[startup+650.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 56670 0 0 0 64887 131 0 0 25 0 1 0 972144278 174034944 27639 4294967295 134512640 135730672 3221224576 3221223020 134748060 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42489 27639 301 301 0 42188 0
vsize: 169956
[startup+660.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 56677 0 0 0 65887 131 0 0 25 0 1 0 972144278 174034944 27646 4294967295 134512640 135730672 3221224576 3221222688 134732515 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42489 27646 301 301 0 42188 0
vsize: 169956
[startup+670.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 56681 0 0 0 66887 132 0 0 25 0 1 0 972144278 174034944 27650 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42489 27650 301 301 0 42188 0
vsize: 169956
[startup+680.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 56685 0 0 0 67887 132 0 0 25 0 1 0 972144278 174034944 27654 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42489 27654 301 301 0 42188 0
vsize: 169956
[startup+690.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 56691 0 0 0 68888 132 0 0 25 0 1 0 972144278 174034944 27660 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42489 27660 301 301 0 42188 0
vsize: 169956
[startup+700.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 56697 0 0 0 69888 132 0 0 25 0 1 0 972144278 174034944 27666 4294967295 134512640 135730672 3221224576 3221222864 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42489 27666 301 301 0 42188 0
vsize: 169956
[startup+710.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 56702 0 0 0 70888 132 0 0 25 0 1 0 972144278 174034944 27671 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42489 27671 301 301 0 42188 0
vsize: 169956
[startup+720.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 56708 0 0 0 71888 132 0 0 25 0 1 0 972144278 174034944 27677 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42489 27677 301 301 0 42188 0
vsize: 169956
[startup+730.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 57405 0 0 0 72887 133 0 0 25 0 1 0 972144278 174563328 27779 4294967295 134512640 135730672 3221224576 3221222864 134747762 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42618 27779 301 301 0 42317 0
vsize: 170472
[startup+740.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 57489 0 0 0 73887 134 0 0 25 0 1 0 972144278 174825472 27798 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42682 27798 301 301 0 42381 0
vsize: 170728
[startup+750.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 57506 0 0 0 74887 134 0 0 25 0 1 0 972144278 174825472 27815 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42682 27815 301 301 0 42381 0
vsize: 170728
[startup+760.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 57586 0 0 0 75887 134 0 0 25 0 1 0 972144278 175087616 27830 4294967295 134512640 135730672 3221224576 3221222688 134732479 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42746 27830 301 301 0 42445 0
vsize: 170984
[startup+770.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 57586 0 0 0 76888 134 0 0 25 0 1 0 972144278 175087616 27830 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42746 27830 301 301 0 42445 0
vsize: 170984
[startup+780.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 57588 0 0 0 77888 134 0 0 25 0 1 0 972144278 175087616 27832 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42746 27832 301 301 0 42445 0
vsize: 170984
[startup+790.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 58185 0 0 0 78887 136 0 0 25 0 1 0 972144278 175087616 27834 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42746 27834 301 301 0 42445 0
vsize: 170984
[startup+800.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 58185 0 0 0 79887 136 0 0 25 0 1 0 972144278 175087616 27834 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42746 27834 301 301 0 42445 0
vsize: 170984
[startup+810.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 58265 0 0 0 80887 136 0 0 25 0 1 0 972144278 175349760 27849 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42810 27849 301 301 0 42509 0
vsize: 171240
[startup+820.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 58265 0 0 0 81888 136 0 0 25 0 1 0 972144278 175349760 27849 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42810 27849 301 301 0 42509 0
vsize: 171240
[startup+830.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 58274 0 0 0 82888 136 0 0 25 0 1 0 972144278 175349760 27858 4294967295 134512640 135730672 3221224576 3221223056 134748577 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42810 27858 301 301 0 42509 0
vsize: 171240
[startup+840.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 58285 0 0 0 83888 136 0 0 25 0 1 0 972144278 175349760 27869 4294967295 134512640 135730672 3221224576 3221222992 134748120 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42810 27869 301 301 0 42509 0
vsize: 171240
[startup+850.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 58397 0 0 0 84888 137 0 0 25 0 1 0 972144278 175611904 27916 4294967295 134512640 135730672 3221224576 3221223056 134748554 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42874 27916 301 301 0 42573 0
vsize: 171496
[startup+860.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 58401 0 0 0 85888 137 0 0 25 0 1 0 972144278 175611904 27920 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42874 27920 301 301 0 42573 0
vsize: 171496
[startup+870.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 59000 0 0 0 86887 139 0 0 25 0 1 0 972144278 175611904 27924 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42874 27924 301 301 0 42573 0
vsize: 171496
[startup+880.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 59005 0 0 0 87887 139 0 0 25 0 1 0 972144278 175611904 27929 4294967295 134512640 135730672 3221224576 3221222956 134747723 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42874 27929 301 301 0 42573 0
vsize: 171496
[startup+890.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 59012 0 0 0 88888 139 0 0 25 0 1 0 972144278 175611904 27936 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42874 27936 301 301 0 42573 0
vsize: 171496
[startup+900.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 59018 0 0 0 89889 139 0 0 25 0 1 0 972144278 175611904 27942 4294967295 134512640 135730672 3221224576 3221222864 134747578 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42874 27942 301 301 0 42573 0
vsize: 171496
[startup+910.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 59364 0 0 0 90888 140 0 0 25 0 1 0 972144278 177012736 28156 4294967295 134512640 135730672 3221224576 3221222864 134747657 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43216 28156 301 301 0 42915 0
vsize: 172864
[startup+920.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 59518 0 0 0 91898 140 0 0 25 0 1 0 972144278 177537024 28180 4294967295 134512640 135730672 3221224576 3221222972 134747727 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43344 28180 301 301 0 43043 0
vsize: 173376
[startup+930.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 59525 0 0 0 92899 140 0 0 25 0 1 0 972144278 177537024 28187 4294967295 134512640 135730672 3221224576 3221222696 134739217 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43344 28187 301 301 0 43043 0
vsize: 173376
[startup+940.139 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 59545 0 0 0 93899 140 0 0 25 0 1 0 972144278 177537024 28207 4294967295 134512640 135730672 3221224576 3221222864 134747575 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43344 28207 301 301 0 43043 0
vsize: 173376
[startup+950.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 59548 0 0 0 94899 140 0 0 25 0 1 0 972144278 177537024 28210 4294967295 134512640 135730672 3221224576 3221223008 134765753 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43344 28210 301 301 0 43043 0
vsize: 173376
[startup+960.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 59573 0 0 0 95900 140 0 0 25 0 1 0 972144278 177537024 28235 4294967295 134512640 135730672 3221224576 3221222992 134748214 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43344 28235 301 301 0 43043 0
vsize: 173376
[startup+970.141 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 59647 0 0 0 96900 141 0 0 25 0 1 0 972144278 177799168 28244 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43408 28244 301 301 0 43107 0
vsize: 173632
[startup+980.143 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 60253 0 0 0 97899 142 0 0 25 0 1 0 972144278 177799168 28255 4294967295 134512640 135730672 3221224576 3221222864 134747908 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43408 28255 301 301 0 43107 0
vsize: 173632
[startup+990.143 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 60257 0 0 0 98899 142 0 0 25 0 1 0 972144278 177799168 28259 4294967295 134512640 135730672 3221224576 3221222864 134747657 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43408 28259 301 301 0 43107 0
vsize: 173632
[startup+1000.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 60299 0 0 0 99899 142 0 0 25 0 1 0 972144278 177799168 28301 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43408 28301 301 301 0 43107 0
vsize: 173632
[startup+1010.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 60305 0 0 0 100900 142 0 0 25 0 1 0 972144278 177799168 28307 4294967295 134512640 135730672 3221224576 3221223024 134734842 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43408 28307 301 301 0 43107 0
vsize: 173632
[startup+1020.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 60309 0 0 0 101900 143 0 0 25 0 1 0 972144278 177799168 28311 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43408 28311 301 301 0 43107 0
vsize: 173632
[startup+1030.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 60315 0 0 0 102900 143 0 0 25 0 1 0 972144278 177799168 28317 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43408 28317 301 301 0 43107 0
vsize: 173632
[startup+1040.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 60341 0 0 0 103901 143 0 0 25 0 1 0 972144278 177799168 28343 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43408 28343 301 301 0 43107 0
vsize: 173632
[startup+1050.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 60347 0 0 0 104901 143 0 0 25 0 1 0 972144278 177799168 28349 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43408 28349 301 301 0 43107 0
vsize: 173632
[startup+1060.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 61035 0 0 0 105900 144 0 0 25 0 1 0 972144278 178061312 28377 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43472 28377 301 301 0 43171 0
vsize: 173888
[startup+1070.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 61493 0 0 0 106899 145 0 0 25 0 1 0 972144278 179109888 28575 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43728 28575 301 301 0 43427 0
vsize: 174912
[startup+1080.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 61526 0 0 0 107899 146 0 0 25 0 1 0 972144278 179109888 28608 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43728 28608 301 301 0 43427 0
vsize: 174912
[startup+1090.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 61554 0 0 0 108900 146 0 0 25 0 1 0 972144278 179109888 28636 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43728 28636 301 301 0 43427 0
vsize: 174912
[startup+1100.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 61559 0 0 0 109900 146 0 0 25 0 1 0 972144278 179109888 28641 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43728 28641 301 301 0 43427 0
vsize: 174912
[startup+1110.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 61779 0 0 0 110900 146 0 0 25 0 1 0 972144278 179634176 28731 4294967295 134512640 135730672 3221224576 3221222864 134747925 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43856 28731 301 301 0 43555 0
vsize: 175424
[startup+1120.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 61969 0 0 0 111900 146 0 0 25 0 1 0 972144278 180158464 28792 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43984 28792 301 301 0 43683 0
vsize: 175936
[startup+1130.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 62026 0 0 0 112900 147 0 0 25 0 1 0 972144278 180158464 28849 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43984 28849 301 301 0 43683 0
vsize: 175936
[startup+1140.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 62040 0 0 0 113900 147 0 0 25 0 1 0 972144278 180158464 28863 4294967295 134512640 135730672 3221224576 3221222864 134747636 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43984 28863 301 301 0 43683 0
vsize: 175936
[startup+1150.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 62245 0 0 0 114900 147 0 0 25 0 1 0 972144278 180682752 28939 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44112 28939 301 301 0 43811 0
vsize: 176448
[startup+1160.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 62841 0 0 0 115899 149 0 0 25 0 1 0 972144278 180682752 28940 4294967295 134512640 135730672 3221224576 3221223024 134748661 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44112 28940 301 301 0 43811 0
vsize: 176448
[startup+1170.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 62842 0 0 0 116899 149 0 0 25 0 1 0 972144278 180682752 28941 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44112 28941 301 301 0 43811 0
vsize: 176448
[startup+1180.16 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 62842 0 0 0 117900 149 0 0 25 0 1 0 972144278 180682752 28941 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44112 28941 301 301 0 43811 0
vsize: 176448
[startup+1190.16 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 62843 0 0 0 118900 149 0 0 25 0 1 0 972144278 180682752 28942 4294967295 134512640 135730672 3221224576 3221222960 134764020 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44112 28942 301 301 0 43811 0
vsize: 176448
[startup+1200.16 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23373
Raw data (stat): 23373 (pb2sat-v2) R 23372 25568 25567 0 -1 0 62844 0 0 0 119900 149 0 0 25 0 1 0 972144278 180682752 28943 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44112 28943 301 301 0 43811 0
vsize: 176448
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.91 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 23373
Raw data (stat): 23373 (pb2sat-v2) Z 23372 25568 25567 0 -1 12 62846 0 0 0 119969 155 0 0 25 0 1 0 972144278 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 10
Real time (s): 1200.91
CPU time (s): 1201.25
CPU user time (s): 1199.7
CPU system time (s): 1.55476
CPU usage (%): 100.029
Max. virtual memory (Kb): 176448
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	36224
#### END VERIFIER DATA ####