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-fixnet6.opb
MD5SUM	08a1ce7c6c4cc8e461ae1aeabdf15da0
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	3289593
Optimality of the best value was proved	NO
Number of terms in the objective function	8282
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	524133752
Number of bits of the sum of numbers in the objective function	29
Biggest number in a constraint	1048576
Number of bits of the biggest number in a constraint	21
Biggest sum of numbers in a constraint	524133752
Number of bits of the biggest sum of numbers	29
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.04
Number of variables	9890
Total number of constraints	978
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	378
Number of constraints which are nor clauses,nor cardinality constraints	600
Minimum length of a constraint	1
Maximum length of a constraint	1072
Trace number 42842

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-16 16:11:00 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26050 boxname=wulflinc3 idbench=1350 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  08a1ce7c6c4cc8e461ae1aeabdf15da0  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-fixnet6.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-fixnet6.opb
IDLAUNCH: 26050
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        715344 kB
Buffers:         22624 kB
Cached:         274700 kB
SwapCached:        788 kB
Active:          34760 kB
Inactive:       264648 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        715092 kB
SwapTotal:     2097136 kB
SwapFree:      2095372 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5104 kB
Slab:            14172 kB
Committed_AS:    71900 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 16:31:02 (client local time) WITH STATUS 0 IN 1202.31 SECONDS
stats: 26050 7 1202.31 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 321709/1103678	Time: 253.07/86400
c Decision: 321709/1103678	Time: 294.654/86400
c Decision: 321709/1103678	Time: 331.409/86400
c Decision: 321709/1103678	Time: 389.791/86400
c Decision: 321709/1103678	Time: 437.695/86400
c Decision: 321709/1103678	Time: 477.236/86400
c Decision: 321709/1103678	Time: 536.238/86400
c Decision: 321709/1103678	Time: 583.043/86400
c Decision: 321709/1103678	Time: 638.906/86400
c Decision: 321709/1103678	Time: 679.464/86400
c Decision: 321764/1103678	Time: 763.248/86400
c Decision: 321764/1103678	Time: 807.509/86400
c Decision: 321764/1103678	Time: 853.773/86400
c Decision: 321764/1103678	Time: 887.27/86400
c Decision: 321766/1103678	Time: 926.517/86400
c Decision: 321766/1103678	Time: 952.775/86400
c Decision: 321771/1103678	Time: 984.796/86400
c Decision: 321771/1103678	Time: 1004.34/86400
c Decision: 321771/1103678	Time: 1023.34/86400
c Decision: 321771/1103678	Time: 1060.1/86400
c Decision: 321771/1103678	Time: 1099.04/86400
c Decision: 321771/1103678	Time: 1130.56/86400s UNKNOWN
#### 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
Raw data (loadavg): 0.92 0.97 0.91 2/54 26554
Raw data (stat): 26554 (runsolver) R 26553 20224 20223 0 -1 64 3 0 0 0 0 0 0 0 19 0 1 0 972090990 884736 93 4294967295 134512640 135332820 3221224464 3221219508 134703346 0 0 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 93 205 205 0 11 0
vsize: 864
Current StackSize limit: 67108864 bytes
[startup+10.0007 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 26249 0 0 0 938 61 0 0 25 0 1 0 972090990 80654336 15224 4294967295 134512640 135730672 3221224576 3221101680 134777054 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19691 15225 301 301 0 19390 0
vsize: 78764
[startup+20.0011 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 52925 0 0 0 1881 117 0 0 25 0 1 0 972090990 155832320 30926 4294967295 134512640 135730672 3221224576 3220778120 135291151 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38045 30926 301 301 0 37744 0
vsize: 152180
[startup+30.0025 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 91890 0 0 0 2803 195 0 0 25 0 1 0 972090990 271011840 48200 4294967295 134512640 135730672 3221224576 3220898352 134770759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 66165 48200 301 301 0 65864 0
vsize: 264660
[startup+40.0022 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 105618 0 0 0 3771 227 0 0 25 0 1 0 972090990 304566272 61678 4294967295 134512640 135730672 3221224576 3221201376 134770605 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 74357 61678 301 301 0 74056 0
vsize: 297428
[startup+50.0024 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 148089 0 0 0 4689 309 0 0 25 0 1 0 972090990 506515456 102952 4294967295 134512640 135730672 3221224576 3221131824 135284078 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 123661 102952 301 301 0 123360 0
vsize: 494644
[startup+60.003 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 181007 0 0 0 5614 384 0 0 25 0 1 0 972090990 553095168 91674 4294967295 134512640 135730672 3221224576 3221223072 134747616 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 135033 91674 301 301 0 134732 0
vsize: 540132
[startup+70.0037 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 181014 0 0 0 6613 385 0 0 25 0 1 0 972090990 553095168 91681 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 135033 91681 301 301 0 134732 0
vsize: 540132
[startup+80.0049 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 181032 0 0 0 7612 385 0 0 25 0 1 0 972090990 553095168 91699 4294967295 134512640 135730672 3221224576 3221223072 134747892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 135033 91699 301 301 0 134732 0
vsize: 540132
[startup+90.0044 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 181051 0 0 0 8612 386 0 0 25 0 1 0 972090990 553095168 91718 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 135033 91718 301 301 0 134732 0
vsize: 540132
[startup+100.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 181070 0 0 0 9612 386 0 0 25 0 1 0 972090990 553095168 91737 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 135033 91737 301 301 0 134732 0
vsize: 540132
[startup+110.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 181084 0 0 0 10612 386 0 0 25 0 1 0 972090990 553095168 91751 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 135033 91751 301 301 0 134732 0
vsize: 540132
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 181101 0 0 0 11612 387 0 0 25 0 1 0 972090990 553095168 91768 4294967295 134512640 135730672 3221224576 3221223072 134747570 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 135033 91768 301 301 0 134732 0
vsize: 540132
[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 181119 0 0 0 12612 387 0 0 25 0 1 0 972090990 553095168 91786 4294967295 134512640 135730672 3221224576 3221223232 134734849 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 135033 91786 301 301 0 134732 0
vsize: 540132
[startup+140.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 181133 0 0 0 13612 387 0 0 25 0 1 0 972090990 553095168 91800 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 135033 91800 301 301 0 134732 0
vsize: 540132
[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 181146 0 0 0 14612 387 0 0 25 0 1 0 972090990 553095168 91813 4294967295 134512640 135730672 3221224576 3221223168 134747445 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 135033 91813 301 301 0 134732 0
vsize: 540132
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 181165 0 0 0 15612 387 0 0 25 0 1 0 972090990 553095168 91832 4294967295 134512640 135730672 3221224576 3221223072 134747657 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 135033 91832 301 301 0 134732 0
vsize: 540132
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 181185 0 0 0 16612 387 0 0 25 0 1 0 972090990 553095168 91852 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 135033 91852 301 301 0 134732 0
vsize: 540132
[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 181205 0 0 0 17612 387 0 0 25 0 1 0 972090990 553095168 91872 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 135033 91872 301 301 0 134732 0
vsize: 540132
[startup+190.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 181227 0 0 0 18612 388 0 0 25 0 1 0 972090990 553095168 91894 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 135033 91894 301 301 0 134732 0
vsize: 540132
[startup+200.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 181249 0 0 0 19612 388 0 0 25 0 1 0 972090990 553095168 91916 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 135033 91916 301 301 0 134732 0
vsize: 540132
[startup+210.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 181263 0 0 0 20612 388 0 0 25 0 1 0 972090990 553095168 91930 4294967295 134512640 135730672 3221224576 3221223168 134764020 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 135033 91930 301 301 0 134732 0
vsize: 540132
[startup+220.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 181275 0 0 0 21612 388 0 0 25 0 1 0 972090990 553095168 91942 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 135033 91942 301 301 0 134732 0
vsize: 540132
[startup+230.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 181286 0 0 0 22612 389 0 0 25 0 1 0 972090990 553095168 91953 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 135033 91953 301 301 0 134732 0
vsize: 540132
[startup+240.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 181300 0 0 0 23612 389 0 0 25 0 1 0 972090990 553095168 91967 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 135033 91967 301 301 0 134732 0
vsize: 540132
[startup+250.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 181307 0 0 0 24612 389 0 0 25 0 1 0 972090990 553095168 91974 4294967295 134512640 135730672 3221224576 3221223072 134747735 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 135033 91974 301 301 0 134732 0
vsize: 540132
[startup+260.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 181313 0 0 0 25612 389 0 0 25 0 1 0 972090990 553095168 91980 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 135033 91980 301 301 0 134732 0
vsize: 540132
[startup+270.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 181320 0 0 0 26612 390 0 0 25 0 1 0 972090990 553095168 91987 4294967295 134512640 135730672 3221224576 3221223072 134747885 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 135033 91987 301 301 0 134732 0
vsize: 540132
[startup+280.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 181324 0 0 0 27612 390 0 0 25 0 1 0 972090990 553095168 91991 4294967295 134512640 135730672 3221224576 3221223264 134748486 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 135033 91991 301 301 0 134732 0
vsize: 540132
[startup+290.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 181371 0 0 0 28612 390 0 0 25 0 1 0 972090990 553365504 92038 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 135099 92038 301 301 0 134798 0
vsize: 540396
[startup+300.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 181552 0 0 0 29611 391 0 0 25 0 1 0 972090990 554127360 92219 4294967295 134512640 135730672 3221224576 3221223088 134745860 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 135285 92219 301 301 0 134984 0
vsize: 541140
[startup+310.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 183779 0 0 0 30605 397 0 0 25 0 1 0 972090990 554532864 92290 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 135384 92290 301 301 0 135083 0
vsize: 541536
[startup+320.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 185003 0 0 0 31602 400 0 0 25 0 1 0 972090990 560156672 93342 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 136757 93342 301 301 0 136456 0
vsize: 547028
[startup+330.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 185999 0 0 0 32601 402 0 0 25 0 1 0 972090990 564535296 94124 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 137826 94124 301 301 0 137525 0
vsize: 551304
[startup+340.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 186750 0 0 0 33599 403 0 0 25 0 1 0 972090990 567894016 94711 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 138646 94711 301 301 0 138345 0
vsize: 554584
[startup+350.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 189007 0 0 0 34594 409 0 0 25 0 1 0 972090990 568299520 94812 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 138745 94812 301 301 0 138444 0
vsize: 554980
[startup+360.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 189141 0 0 0 35593 410 0 0 25 0 1 0 972090990 569167872 94946 4294967295 134512640 135730672 3221224576 3221223072 134747883 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 138957 94946 301 301 0 138656 0
vsize: 555828
[startup+370.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 189785 0 0 0 36592 412 0 0 25 0 1 0 972090990 571838464 95425 4294967295 134512640 135730672 3221224576 3221223072 134747610 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 139609 95425 301 301 0 139308 0
vsize: 558436
[startup+380.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 189797 0 0 0 37591 412 0 0 25 0 1 0 972090990 571838464 95437 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 139609 95437 301 301 0 139308 0
vsize: 558436
[startup+390.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 192266 0 0 0 38586 418 0 0 25 0 1 0 972090990 573177856 95684 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 139936 95684 301 301 0 139635 0
vsize: 559744
[startup+400.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 193032 0 0 0 39583 421 0 0 25 0 1 0 972090990 576729088 96368 4294967295 134512640 135730672 3221224576 3221223072 134747892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 140803 96368 301 301 0 140502 0
vsize: 563212
[startup+410.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 193684 0 0 0 40582 422 0 0 25 0 1 0 972090990 580034560 96987 4294967295 134512640 135730672 3221224576 3221223056 134732772 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 141610 96987 301 301 0 141309 0
vsize: 566440
[startup+420.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 194236 0 0 0 41580 424 0 0 25 0 1 0 972090990 582025216 97277 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 142096 97277 301 301 0 141795 0
vsize: 568384
[startup+430.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 194388 0 0 0 42579 425 0 0 25 0 1 0 972090990 582832128 97396 4294967295 134512640 135730672 3221224576 3221223184 134744757 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 142293 97396 301 301 0 141992 0
vsize: 569172
[startup+440.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 194588 0 0 0 43579 426 0 0 25 0 1 0 972090990 583761920 97563 4294967295 134512640 135730672 3221224576 3221223088 134745782 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 142520 97563 301 301 0 142219 0
vsize: 570080
[startup+450.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 196795 0 0 0 44574 431 0 0 25 0 1 0 972090990 584032256 97614 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 142586 97614 301 301 0 142285 0
vsize: 570344
[startup+460.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 197066 0 0 0 45573 432 0 0 25 0 1 0 972090990 585367552 97852 4294967295 134512640 135730672 3221224576 3221223072 134747730 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 142912 97852 301 301 0 142611 0
vsize: 571648
[startup+470.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 197212 0 0 0 46573 433 0 0 25 0 1 0 972090990 586043392 97998 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 143077 97998 301 301 0 142776 0
vsize: 572308
[startup+480.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 197297 0 0 0 47572 433 0 0 25 0 1 0 972090990 586448896 98083 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 143176 98083 301 301 0 142875 0
vsize: 572704
[startup+490.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 199490 0 0 0 48567 439 0 0 25 0 1 0 972090990 595550208 100276 4294967295 134512640 135730672 3221224576 3221222740 134769153 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 145398 100276 301 301 0 145097 0
vsize: 581592
[startup+500.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 199661 0 0 0 49566 440 0 0 25 0 1 0 972090990 587517952 98258 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 143437 98258 301 301 0 143136 0
vsize: 573748
[startup+510.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 199857 0 0 0 50565 441 0 0 25 0 1 0 972090990 588312576 98388 4294967295 134512640 135730672 3221224576 3221222912 134739213 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 143631 98388 301 301 0 143330 0
vsize: 574524
[startup+520.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 199875 0 0 0 51565 441 0 0 25 0 1 0 972090990 588312576 98406 4294967295 134512640 135730672 3221224576 3221223264 134748503 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 143631 98406 301 301 0 143330 0
vsize: 574524
[startup+530.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 202035 0 0 0 52560 446 0 0 25 0 1 0 972090990 588312576 98410 4294967295 134512640 135730672 3221224576 3221223200 134783291 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 143631 98410 301 301 0 143330 0
vsize: 574524
[startup+540.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 202253 0 0 0 53559 447 0 0 25 0 1 0 972090990 589508608 98595 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 143923 98595 301 301 0 143622 0
vsize: 575692
[startup+550.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 202503 0 0 0 54557 449 0 0 25 0 1 0 972090990 590569472 98779 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 144182 98779 301 301 0 143881 0
vsize: 576728
[startup+560.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 202989 0 0 0 55555 451 0 0 25 0 1 0 972090990 593235968 99199 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 144833 99199 301 301 0 144532 0
vsize: 579332
[startup+570.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 203163 0 0 0 56555 452 0 0 25 0 1 0 972090990 593764352 99274 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 144962 99274 301 301 0 144661 0
vsize: 579848
[startup+580.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 203323 0 0 0 57554 453 0 0 25 0 1 0 972090990 594296832 99368 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 145092 99368 301 301 0 144791 0
vsize: 580368
[startup+590.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 205714 0 0 0 58549 458 0 0 25 0 1 0 972090990 604057600 101660 4294967295 134512640 135730672 3221224576 3221222736 134768813 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 147475 101660 301 301 0 147174 0
vsize: 589900
[startup+600.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 206049 0 0 0 59547 460 0 0 25 0 1 0 972090990 596873216 99773 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 145721 99773 301 301 0 145420 0
vsize: 582884
[startup+610.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 206269 0 0 0 60546 461 0 0 25 0 1 0 972090990 598073344 99960 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 146014 99960 301 301 0 145713 0
vsize: 584056
[startup+620.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 206358 0 0 0 61546 462 0 0 25 0 1 0 972090990 598339584 100016 4294967295 134512640 135730672 3221224576 3221223072 134747934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 146079 100016 301 301 0 145778 0
vsize: 584316
[startup+630.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 206396 0 0 0 62545 462 0 0 25 0 1 0 972090990 598605824 100054 4294967295 134512640 135730672 3221224576 3221223072 134747594 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 146144 100054 301 301 0 145843 0
vsize: 584576
[startup+640.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 208689 0 0 0 63539 469 0 0 25 0 1 0 972090990 599269376 100191 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 146306 100191 301 301 0 146005 0
vsize: 585224
[startup+650.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 209012 0 0 0 64537 471 0 0 25 0 1 0 972090990 600735744 100448 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 146664 100448 301 301 0 146363 0
vsize: 586656
[startup+660.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 209810 0 0 0 65535 473 0 0 25 0 1 0 972090990 604889088 101197 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 147678 101197 301 301 0 147377 0
vsize: 590712
[startup+670.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 210151 0 0 0 66534 475 0 0 25 0 1 0 972090990 606625792 101505 4294967295 134512640 135730672 3221224576 3221223264 134748499 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 148102 101505 301 301 0 147801 0
vsize: 592408
[startup+680.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 210308 0 0 0 67533 476 0 0 25 0 1 0 972090990 607424512 101629 4294967295 134512640 135730672 3221224576 3221222824 135284590 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 148297 101629 301 301 0 147996 0
vsize: 593188
[startup+690.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 210310 0 0 0 68532 477 0 0 25 0 1 0 972090990 607424512 101631 4294967295 134512640 135730672 3221224576 3221223088 134745860 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 148297 101631 301 301 0 147996 0
vsize: 593188
[startup+700.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 212548 0 0 0 69527 482 0 0 25 0 1 0 972090990 607830016 101713 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 148396 101713 301 301 0 148095 0
vsize: 593584
[startup+710.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 212690 0 0 0 70526 484 0 0 25 0 1 0 972090990 608362496 101789 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 148526 101789 301 301 0 148225 0
vsize: 594104
[startup+720.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 212887 0 0 0 71525 484 0 0 25 0 1 0 972090990 609165312 101920 4294967295 134512640 135730672 3221224576 3221223200 134748111 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 148722 101920 301 301 0 148421 0
vsize: 594888
[startup+730.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 212990 0 0 0 72525 485 0 0 25 0 1 0 972090990 609697792 102023 4294967295 134512640 135730672 3221224576 3221223088 134745875 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 148852 102023 301 301 0 148551 0
vsize: 595408
[startup+740.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 215152 0 0 0 73519 490 0 0 25 0 1 0 972090990 609697792 102029 4294967295 134512640 135730672 3221224576 3221223200 134748114 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 148852 102029 301 301 0 148551 0
vsize: 595408
[startup+750.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 215344 0 0 0 74518 492 0 0 25 0 1 0 972090990 610775040 102221 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 149115 102221 301 301 0 148814 0
vsize: 596460
[startup+760.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 215571 0 0 0 75517 493 0 0 25 0 1 0 972090990 611708928 102415 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 149343 102415 301 301 0 149042 0
vsize: 597372
[startup+770.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 215623 0 0 0 76516 494 0 0 25 0 1 0 972090990 611975168 102467 4294967295 134512640 135730672 3221224576 3221223216 134748065 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 149408 102467 301 301 0 149107 0
vsize: 597632
[startup+780.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 215697 0 0 0 77516 495 0 0 25 0 1 0 972090990 612241408 102508 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 149473 102508 301 301 0 149172 0
vsize: 597892
[startup+790.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 215765 0 0 0 78516 495 0 0 25 0 1 0 972090990 612507648 102543 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 149538 102543 301 301 0 149237 0
vsize: 598152
[startup+800.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 215776 0 0 0 79515 497 0 0 25 0 1 0 972090990 612507648 102554 4294967295 134512640 135730672 3221224576 3221223072 134747967 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 149538 102554 301 301 0 149237 0
vsize: 598152
[startup+810.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 215824 0 0 0 80514 497 0 0 25 0 1 0 972090990 612638720 102569 4294967295 134512640 135730672 3221224576 3221223088 134745860 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 149570 102569 301 301 0 149269 0
vsize: 598280
[startup+820.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 217980 0 0 0 81509 503 0 0 25 0 1 0 972090990 612638720 102569 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 149570 102569 301 301 0 149269 0
vsize: 598280
[startup+830.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 218129 0 0 0 82508 504 0 0 25 0 1 0 972090990 613445632 102685 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 149767 102685 301 301 0 149466 0
vsize: 599068
[startup+840.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 218215 0 0 0 83508 504 0 0 25 0 1 0 972090990 613986304 102771 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 149899 102771 301 301 0 149598 0
vsize: 599596
[startup+850.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 218331 0 0 0 84508 504 0 0 25 0 1 0 972090990 614518784 102854 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 150029 102854 301 301 0 149728 0
vsize: 600116
[startup+860.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 220492 0 0 0 85503 509 0 0 25 0 1 0 972090990 623349760 105015 4294967295 134512640 135730672 3221224576 3221222728 134765477 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 152185 105015 301 301 0 151884 0
vsize: 608740
[startup+870.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 220602 0 0 0 86502 510 0 0 25 0 1 0 972090990 615055360 102936 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 150160 102936 301 301 0 149859 0
vsize: 600640
[startup+880.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 220771 0 0 0 87501 512 0 0 25 0 1 0 972090990 616001536 103105 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 150391 103105 301 301 0 150090 0
vsize: 601564
[startup+890.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 220896 0 0 0 88500 513 0 0 25 0 1 0 972090990 616677376 103230 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 150556 103230 301 301 0 150255 0
vsize: 602224
[startup+900.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 221001 0 0 0 89499 514 0 0 25 0 1 0 972090990 617209856 103302 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 150686 103302 301 301 0 150385 0
vsize: 602744
[startup+910.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 223214 0 0 0 90494 520 0 0 25 0 1 0 972090990 617340928 103326 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 150718 103326 301 301 0 150417 0
vsize: 602872
[startup+920.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 223220 0 0 0 91493 520 0 0 25 0 1 0 972090990 617340928 103332 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 150718 103332 301 301 0 150417 0
vsize: 602872
[startup+930.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 223263 0 0 0 92493 521 0 0 25 0 1 0 972090990 617607168 103375 4294967295 134512640 135730672 3221224576 3221223264 134748499 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 150783 103375 301 301 0 150482 0
vsize: 603132
[startup+940.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 225501 0 0 0 93487 527 0 0 25 0 1 0 972090990 626835456 105580 4294967295 134512640 135730672 3221224576 3221222752 134772759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 153036 105580 301 301 0 152735 0
vsize: 612144
[startup+950.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 225545 0 0 0 94487 527 0 0 25 0 1 0 972090990 618135552 103435 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 150912 103435 301 301 0 150611 0
vsize: 603648
[startup+960.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 225550 0 0 0 95486 528 0 0 25 0 1 0 972090990 618135552 103440 4294967295 134512640 135730672 3221224576 3221223072 134747701 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 150912 103440 301 301 0 150611 0
vsize: 603648
[startup+970.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 225560 0 0 0 96485 529 0 0 25 0 1 0 972090990 618135552 103450 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 150912 103450 301 301 0 150611 0
vsize: 603648
[startup+980.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 227717 0 0 0 97480 534 0 0 25 0 1 0 972090990 626966528 105607 4294967295 134512640 135730672 3221224576 3221222736 134769149 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 153068 105607 301 301 0 152767 0
vsize: 612272
[startup+990.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 227758 0 0 0 98480 535 0 0 25 0 1 0 972090990 618401792 103492 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 150977 103492 301 301 0 150676 0
vsize: 603908
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 227762 0 0 0 99479 536 0 0 25 0 1 0 972090990 618401792 103496 4294967295 134512640 135730672 3221224576 3221223088 134745860 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 150977 103496 301 301 0 150676 0
vsize: 603908
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 229965 0 0 0 100474 541 0 0 25 0 1 0 972090990 618532864 103510 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 151009 103510 301 301 0 150708 0
vsize: 604036
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 229966 0 0 0 101474 542 0 0 25 0 1 0 972090990 618532864 103511 4294967295 134512640 135730672 3221224576 3221223232 134734835 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 151009 103511 301 301 0 150708 0
vsize: 604036
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 229979 0 0 0 102473 542 0 0 25 0 1 0 972090990 618532864 103524 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 151009 103524 301 301 0 150708 0
vsize: 604036
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 232137 0 0 0 103468 548 0 0 25 0 1 0 972090990 618532864 103526 4294967295 134512640 135730672 3221224576 3221223200 134748170 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 151009 103526 301 301 0 150708 0
vsize: 604036
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 232181 0 0 0 104467 549 0 0 25 0 1 0 972090990 618663936 103537 4294967295 134512640 135730672 3221224576 3221223200 134748266 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 151041 103537 301 301 0 150740 0
vsize: 604164
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 234339 0 0 0 105462 555 0 0 25 0 1 0 972090990 618663936 103539 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 151041 103539 301 301 0 150740 0
vsize: 604164
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 234342 0 0 0 106461 555 0 0 25 0 1 0 972090990 618663936 103542 4294967295 134512640 135730672 3221224576 3221223072 134747934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 151041 103542 301 301 0 150740 0
vsize: 604164
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 236499 0 0 0 107456 561 0 0 25 0 1 0 972090990 618663936 103543 4294967295 134512640 135730672 3221224576 3221223072 134747483 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 151041 103543 301 301 0 150740 0
vsize: 604164
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 236615 0 0 0 108455 562 0 0 25 0 1 0 972090990 618926080 103593 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 151105 103593 301 301 0 150804 0
vsize: 604420
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 236799 0 0 0 109454 563 0 0 25 0 1 0 972090990 619585536 103678 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 151266 103678 301 301 0 150965 0
vsize: 605064
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 236805 0 0 0 110454 564 0 0 25 0 1 0 972090990 619585536 103684 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 151266 103684 301 301 0 150965 0
vsize: 605064
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 238962 0 0 0 111447 570 0 0 25 0 1 0 972090990 619585536 103685 4294967295 134512640 135730672 3221224576 3221223056 134732772 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 151266 103685 301 301 0 150965 0
vsize: 605064
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 238974 0 0 0 112447 571 0 0 25 0 1 0 972090990 619585536 103697 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 151266 103697 301 301 0 150965 0
vsize: 605064
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 238975 0 0 0 113446 572 0 0 25 0 1 0 972090990 619585536 103698 4294967295 134512640 135730672 3221224576 3221223200 134748138 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 151266 103698 301 301 0 150965 0
vsize: 605064
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 241133 0 0 0 114441 578 0 0 25 0 1 0 972090990 619585536 103700 4294967295 134512640 135730672 3221224576 3221223200 134783062 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 151266 103700 301 301 0 150965 0
vsize: 605064
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 241139 0 0 0 115440 578 0 0 25 0 1 0 972090990 619585536 103706 4294967295 134512640 135730672 3221224576 3221223200 134748079 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 151266 103706 301 301 0 150965 0
vsize: 605064
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 241192 0 0 0 116440 579 0 0 25 0 1 0 972090990 619851776 103759 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 151331 103759 301 301 0 151030 0
vsize: 605324
[startup+1180.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 241198 0 0 0 117439 580 0 0 25 0 1 0 972090990 619851776 103765 4294967295 134512640 135730672 3221224576 3221222940 135291214 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 151331 103765 301 301 0 151030 0
vsize: 605324
[startup+1190.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 243450 0 0 0 118433 586 0 0 25 0 1 0 972090990 620113920 103795 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 151395 103795 301 301 0 151094 0
vsize: 605580
[startup+1200.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 243730 0 0 0 119432 587 0 0 25 0 1 0 972090990 621039616 103977 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 151621 103977 301 301 0 151320 0
vsize: 606484
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.16 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 26554
Raw data (stat): 26554 (pb2sat-v2) R 26553 20224 20223 0 -1 0 243730 0 0 0 119432 587 0 0 25 0 1 0 972090990 621039616 103977 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 151621 103977 301 301 0 151320 0
vsize: 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1202.16
CPU time (s): 1202.31
CPU user time (s): 1196.22
CPU system time (s): 6.08308
CPU usage (%): 100.012
Max. virtual memory (Kb): 612272
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####