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/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-sc205.opb
MD5SUM	8dcd54bb06c18286b7b6d9b86b2fd29c
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
Number of terms in the objective function	20
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	1048575
Number of bits of the sum of numbers in the objective function	20
Biggest number in a constraint	8388608
Number of bits of the biggest number in a constraint	24
Biggest sum of numbers in a constraint	22020075
Number of bits of the biggest sum of numbers	25
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	9.35658
Number of variables	4060
Total number of constraints	204
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	204
Minimum length of a constraint	20
Maximum length of a constraint	80
Trace number 42764

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-16 14:09:17 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25942 boxname=wulflinc4 idbench=1242 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  8dcd54bb06c18286b7b6d9b86b2fd29c  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-sc205.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-sc205.opb
IDLAUNCH: 25942
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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.169
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:        788888 kB
Buffers:          3984 kB
Cached:         220124 kB
SwapCached:        904 kB
Active:          26880 kB
Inactive:       199268 kB
HighTotal:      131008 kB
HighFree:        19684 kB
LowTotal:       903652 kB
LowFree:        769204 kB
SwapTotal:     2097136 kB
SwapFree:      2095236 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4996 kB
Slab:            14008 kB
Committed_AS:    71908 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 14:29:19 (client local time) WITH STATUS 0 IN 1200.46 SECONDS
stats: 25942 7 1200.46 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 4630/91653	Time: 4.27535/86400
c Decision: 5446/91653	Time: 8.90465/86400
c Decision: 5885/91653	Time: 15.8996/86400
c Decision: 5885/91653	Time: 20.057/86400
c Decision: 5885/91653	Time: 23.9504/86400
c Decision: 5885/91653	Time: 28.7886/86400
c Decision: 5889/91653	Time: 34.7497/86400
c Decision: 5889/91653	Time: 38.6471/86400
c Decision: 5889/91653	Time: 42.6305/86400
c Decision: 5893/91653	Time: 49.7854/86400
c Decision: 6334/91653	Time: 55.9905/86400
c Decision: 6338/91653	Time: 63.7243/86400
c Decision: 6338/91653	Time: 68.2446/86400
c Decision: 6607/91653	Time: 74.6896/86400
c Decision: 6607/91653	Time: 79.6669/86400
c Decision: 6609/91653	Time: 85.1561/86400
c Decision: 41386/91653	Time: 118.501/86400
c Decision: 41679/91653	Time: 146.315/86400
c Decision: 41684/91653	Time: 152.196/86400
c Decision: 41684/91653	Time: 155.664/86400
c Decision: 41743/91653	Time: 163.916/86400
c Decision: 41854/91653	Time: 168.727/86400
c Decision: 41857/91653	Time: 173.207/86400
c Decision: 41860/91653	Time: 176.935/86400
c Decision: 41879/91653	Time: 185.219/86400
c Decision: 41893/91653	Time: 193.889/86400
c Decision: 41896/91653	Time: 197.147/86400
c Decision: 41906/91653	Time: 204.286/86400
c Decision: 42028/91653	Time: 240.579/86400
c Decision: 42054/91653	Time: 251.031/86400
c Decision: 42060/91653	Time: 260.265/86400
c Decision: 42074/91653	Time: 270.108/86400
c Decision: 42074/91653	Time: 275.944/86400
c Decision: 42112/91653	Time: 289.345/86400
c Decision: 42190/91653	Time: 305.279/86400
c Decision: 42200/91653	Time: 317.277/86400
c Decision: 42347/91653	Time: 343.416/86400
c Decision: 42374/91653	Time: 367.308/86400
c Decision: 42374/91653	Time: 372.74/86400
c Decision: 42586/91653	Time: 457.801/86400
c Decision: 42586/91653	Time: 465.963/86400
c Decision: 42586/91653	Time: 472.608/86400
c Decision: 42592/91653	Time: 490.286/86400
c Decision: 42627/91653	Time: 511.033/86400
c Decision: 42627/91653	Time: 518.983/86400
c Decision: 42681/91653	Time: 539.387/86400
c Decision: 42681/91653	Time: 547.663/86400
c Decision: 42684/91653	Time: 560.068/86400
c Decision: 42684/91653	Time: 567.53/86400
c Decision: 42684/91653	Time: 575.976/86400
c Decision: 42685/91653	Time: 587.177/86400
c Decision: 42738/91653	Time: 624.095/86400
c Decision: 42738/91653	Time: 633.375/86400
c Decision: 42740/91653	Time: 644.066/86400
c Decision: 42743/91653	Time: 652.472/86400
c Decision: 42743/91653	Time: 661.392/86400
c Decision: 42743/91653	Time: 670.24/86400
c Decision: 42743/91653	Time: 679.648/86400
c Decision: 42743/91653	Time: 689.636/86400
c Decision: 42743/91653	Time: 698.992/86400
c Decision: 42743/91653	Time: 709.313/86400
c Decision: 42758/91653	Time: 737.063/86400
c Decision: 42822/91653	Time: 774.025/86400
c Decision: 42981/91653	Time: 898.178/86400
c Decision: 42981/91653	Time: 908.161/86400
c Decision: 42987/91653	Time: 928.082/86400
c Decision: 42987/91653	Time: 939.421/86400
c Decision: 43056/91653	Time: 999.779/86400
c Decision: 43056/91653	Time: 1010.08/86400
c Decision: 43057/91653	Time: 1030.58/86400
c Decision: 43057/91653	Time: 1042.28/86400
c Decision: 43144/91653	Time: 1113.5/86400
c Decision: 43144/91653	Time: 1126.14/86400
c Decision: 43160/91653	Time: 1147.36/86400
c Decision: 43160/91653	Time: 1160.58/86400
c Decision: 43160/91653	Time: 1172.08/86400
c Decision: 43160/91653	Time: 1183.38/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
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.91 0.95 0.90 2/54 28085
Raw data (stat): 28085 (runsolver) R 28084 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 971359615 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0003 s]
Raw data (loadavg): 0.93 0.95 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 12451 0 0 0 968 30 0 0 25 0 1 0 971359615 40112128 6631 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9793 6631 301 301 0 9492 0
vsize: 39172
[startup+20.0012 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 12922 0 0 0 1966 33 0 0 25 0 1 0 971359615 40505344 6742 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9889 6742 301 301 0 9588 0
vsize: 39556
[startup+30.0021 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 13464 0 0 0 2964 35 0 0 25 0 1 0 971359615 41062400 6924 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10025 6924 301 301 0 9724 0
vsize: 40100
[startup+40.0019 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 13920 0 0 0 3962 37 0 0 25 0 1 0 971359615 41062400 7020 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10025 7020 301 301 0 9724 0
vsize: 40100
[startup+50.0018 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 14441 0 0 0 4960 38 0 0 25 0 1 0 971359615 41340928 7181 4294967295 134512640 135730672 3221224576 3221223072 134747539 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10093 7181 301 301 0 9792 0
vsize: 40372
[startup+60.0026 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 14880 0 0 0 5959 40 0 0 25 0 1 0 971359615 41476096 7260 4294967295 134512640 135730672 3221224576 3221223200 134783328 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10126 7260 301 301 0 9825 0
vsize: 40504
[startup+70.0035 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 15097 0 0 0 6958 41 0 0 25 0 1 0 971359615 41623552 7297 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10162 7297 301 301 0 9861 0
vsize: 40648
[startup+80.0049 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 15557 0 0 0 7956 43 0 0 25 0 1 0 971359615 41623552 7397 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10162 7397 301 301 0 9861 0
vsize: 40648
[startup+90.0053 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 16057 0 0 0 8954 45 0 0 25 0 1 0 971359615 41820160 7537 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10210 7537 301 301 0 9909 0
vsize: 40840
[startup+100.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 16370 0 0 0 9952 48 0 0 25 0 1 0 971359615 42983424 7801 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10494 7801 301 301 0 10193 0
vsize: 41976
[startup+110.006 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 16630 0 0 0 10948 52 0 0 25 0 1 0 971359615 43663360 8061 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10660 8061 301 301 0 10359 0
vsize: 42640
[startup+120.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 16782 0 0 0 11944 56 0 0 25 0 1 0 971359615 43937792 8213 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10727 8213 301 301 0 10426 0
vsize: 42908
[startup+130.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 17173 0 0 0 12938 62 0 0 25 0 1 0 971359615 44482560 8424 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10860 8424 301 301 0 10559 0
vsize: 43440
[startup+140.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 17325 0 0 0 13934 67 0 0 25 0 1 0 971359615 44761088 8576 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10928 8576 301 301 0 10627 0
vsize: 43712
[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 17447 0 0 0 14929 71 0 0 25 0 1 0 971359615 44896256 8698 4294967295 134512640 135730672 3221224576 3221223088 134745782 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10961 8698 301 301 0 10660 0
vsize: 43844
[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 18113 0 0 0 15924 76 0 0 25 0 1 0 971359615 45031424 8824 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10994 8824 301 301 0 10693 0
vsize: 43976
[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 18400 0 0 0 16921 80 0 0 25 0 1 0 971359615 53555200 8931 4294967295 134512640 135730672 3221224576 3221223176 134747441 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13075 8931 301 301 0 12774 0
vsize: 52300
[startup+180.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 18797 0 0 0 17917 84 0 0 25 0 1 0 971359615 53686272 8968 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13107 8968 301 301 0 12806 0
vsize: 52428
[startup+190.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 19217 0 0 0 18912 89 0 0 25 0 1 0 971359615 53821440 9028 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13140 9028 301 301 0 12839 0
vsize: 52560
[startup+200.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 19436 0 0 0 19908 92 0 0 25 0 1 0 971359615 53960704 9067 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13174 9067 301 301 0 12873 0
vsize: 52696
[startup+210.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 19827 0 0 0 20904 97 0 0 25 0 1 0 971359615 54095872 9098 4294967295 134512640 135730672 3221224576 3221222824 135285390 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13207 9098 301 301 0 12906 0
vsize: 52828
[startup+220.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 19879 0 0 0 21900 101 0 0 25 0 1 0 971359615 54231040 9150 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13240 9150 301 301 0 12939 0
vsize: 52960
[startup+230.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 19916 0 0 0 22897 104 0 0 25 0 1 0 971359615 54366208 9187 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13273 9187 301 301 0 12972 0
vsize: 53092
[startup+240.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 19949 0 0 0 23894 107 0 0 25 0 1 0 971359615 54505472 9220 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13307 9220 301 301 0 13006 0
vsize: 53228
[startup+250.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 20167 0 0 0 24891 111 0 0 25 0 1 0 971359615 54640640 9258 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13340 9258 301 301 0 13039 0
vsize: 53360
[startup+260.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 20395 0 0 0 25888 114 0 0 25 0 1 0 971359615 54640640 9306 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13340 9306 301 301 0 13039 0
vsize: 53360
[startup+270.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 20632 0 0 0 26885 117 0 0 25 0 1 0 971359615 54767616 9363 4294967295 134512640 135730672 3221224576 3221223232 134734824 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13371 9363 301 301 0 13070 0
vsize: 53484
[startup+280.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 21030 0 0 0 27882 120 0 0 25 0 1 0 971359615 54906880 9401 4294967295 134512640 135730672 3221224576 3221223072 134747563 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13405 9401 301 301 0 13104 0
vsize: 53620
[startup+290.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 21179 0 0 0 28880 122 0 0 25 0 1 0 971359615 54906880 9550 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13405 9550 301 301 0 13104 0
vsize: 53620
[startup+300.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 21471 0 0 0 29877 125 0 0 25 0 1 0 971359615 55029760 9662 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13435 9662 301 301 0 13134 0
vsize: 53740
[startup+310.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 21756 0 0 0 30873 129 0 0 25 0 1 0 971359615 55164928 9767 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13468 9767 301 301 0 13167 0
vsize: 53872
[startup+320.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 21862 0 0 0 31870 133 0 0 25 0 1 0 971359615 55312384 9873 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13504 9873 301 301 0 13203 0
vsize: 54016
[startup+330.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 22094 0 0 0 32867 135 0 0 25 0 1 0 971359615 55447552 9925 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13537 9925 301 301 0 13236 0
vsize: 54148
[startup+340.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 22126 0 0 0 33864 139 0 0 25 0 1 0 971359615 55586816 9957 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13571 9957 301 301 0 13270 0
vsize: 54284
[startup+350.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 22337 0 0 0 34861 142 0 0 25 0 1 0 971359615 55586816 9988 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13571 9988 301 301 0 13270 0
vsize: 54284
[startup+360.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 22420 0 0 0 35859 145 0 0 25 0 1 0 971359615 55713792 10071 4294967295 134512640 135730672 3221224576 3221223072 134747616 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13602 10071 301 301 0 13301 0
vsize: 54408
[startup+370.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 22491 0 0 0 36856 147 0 0 25 0 1 0 971359615 55713792 10142 4294967295 134512640 135730672 3221224576 3221223072 134747587 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13602 10142 301 301 0 13301 0
vsize: 54408
[startup+380.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 22939 0 0 0 37853 150 0 0 25 0 1 0 971359615 55844864 10230 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13634 10230 301 301 0 13333 0
vsize: 54536
[startup+390.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 23035 0 0 0 38852 152 0 0 25 0 1 0 971359615 55844864 10326 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13634 10326 301 301 0 13333 0
vsize: 54536
[startup+400.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 23124 0 0 0 39849 155 0 0 25 0 1 0 971359615 55980032 10415 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13667 10415 301 301 0 13366 0
vsize: 54668
[startup+410.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 23224 0 0 0 40846 158 0 0 25 0 1 0 971359615 55980032 10515 4294967295 134512640 135730672 3221224576 3221223264 134748499 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13667 10515 301 301 0 13366 0
vsize: 54668
[startup+420.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 23318 0 0 0 41844 160 0 0 25 0 1 0 971359615 56115200 10609 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13700 10609 301 301 0 13399 0
vsize: 54800
[startup+430.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 23414 0 0 0 42841 164 0 0 25 0 1 0 971359615 56250368 10705 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13733 10705 301 301 0 13432 0
vsize: 54932
[startup+440.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 23525 0 0 0 43837 167 0 0 25 0 1 0 971359615 56385536 10816 4294967295 134512640 135730672 3221224576 3221223072 134747757 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13766 10816 301 301 0 13465 0
vsize: 55064
[startup+450.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 23607 0 0 0 44835 170 0 0 25 0 1 0 971359615 56385536 10898 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13766 10898 301 301 0 13465 0
vsize: 55064
[startup+460.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 23670 0 0 0 45833 172 0 0 25 0 1 0 971359615 56385536 10961 4294967295 134512640 135730672 3221224576 3221222912 134739213 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13766 10961 301 301 0 13465 0
vsize: 55064
[startup+470.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 24109 0 0 0 46831 174 0 0 25 0 1 0 971359615 56520704 11040 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13799 11040 301 301 0 13498 0
vsize: 55196
[startup+480.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 24308 0 0 0 47827 177 0 0 25 0 1 0 971359615 56520704 11059 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13799 11059 301 301 0 13498 0
vsize: 55196
[startup+490.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 24322 0 0 0 48826 179 0 0 25 0 1 0 971359615 56655872 11073 4294967295 134512640 135730672 3221224576 3221223168 134747445 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13832 11073 301 301 0 13531 0
vsize: 55328
[startup+500.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 24524 0 0 0 49823 181 0 0 25 0 1 0 971359615 56655872 11095 4294967295 134512640 135730672 3221224576 3221223072 134747902 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13832 11095 301 301 0 13531 0
vsize: 55328
[startup+510.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 24543 0 0 0 50821 184 0 0 25 0 1 0 971359615 56655872 11114 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13832 11114 301 301 0 13531 0
vsize: 55328
[startup+520.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 24745 0 0 0 51819 186 0 0 25 0 1 0 971359615 56786944 11136 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13864 11136 301 301 0 13563 0
vsize: 55456
[startup+530.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 24941 0 0 0 52817 188 0 0 25 0 1 0 971359615 56786944 11152 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13864 11152 301 301 0 13563 0
vsize: 55456
[startup+540.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 24985 0 0 0 53815 190 0 0 25 0 1 0 971359615 56922112 11196 4294967295 134512640 135730672 3221224576 3221223072 134747775 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13897 11196 301 301 0 13596 0
vsize: 55588
[startup+550.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 25199 0 0 0 54813 192 0 0 25 0 1 0 971359615 56922112 11230 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13897 11230 301 301 0 13596 0
vsize: 55588
[startup+560.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 25399 0 0 0 55810 195 0 0 25 0 1 0 971359615 57049088 11250 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13928 11250 301 301 0 13627 0
vsize: 55712
[startup+570.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 25661 0 0 0 56808 197 0 0 25 0 1 0 971359615 57049088 11332 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13928 11332 301 301 0 13627 0
vsize: 55712
[startup+580.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 26094 0 0 0 57807 199 0 0 25 0 1 0 971359615 57049088 11405 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13928 11405 301 301 0 13627 0
vsize: 55712
[startup+590.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 26175 0 0 0 58804 202 0 0 25 0 1 0 971359615 57184256 11486 4294967295 134512640 135730672 3221224576 3221223072 134747811 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13961 11486 301 301 0 13660 0
vsize: 55844
[startup+600.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 26372 0 0 0 59801 205 0 0 25 0 1 0 971359615 57184256 11503 4294967295 134512640 135730672 3221224576 3221223184 134744438 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13961 11503 301 301 0 13660 0
vsize: 55844
[startup+610.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 26404 0 0 0 60799 208 0 0 25 0 1 0 971359615 57327616 11535 4294967295 134512640 135730672 3221224576 3221223072 134747808 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13996 11535 301 301 0 13695 0
vsize: 55984
[startup+620.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 26419 0 0 0 61796 210 0 0 25 0 1 0 971359615 57327616 11550 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13996 11550 301 301 0 13695 0
vsize: 55984
[startup+630.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 26661 0 0 0 62794 213 0 0 25 0 1 0 971359615 57454592 11612 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14027 11612 301 301 0 13726 0
vsize: 56108
[startup+640.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 26928 0 0 0 63791 216 0 0 25 0 1 0 971359615 57454592 11699 4294967295 134512640 135730672 3221224576 3221223072 134747730 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14027 11699 301 301 0 13726 0
vsize: 56108
[startup+650.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 27203 0 0 0 64789 218 0 0 25 0 1 0 971359615 57454592 11794 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14027 11794 301 301 0 13726 0
vsize: 56108
[startup+660.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 27476 0 0 0 65787 220 0 0 25 0 1 0 971359615 57581568 11887 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14058 11887 301 301 0 13757 0
vsize: 56232
[startup+670.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 27698 0 0 0 66785 223 0 0 25 0 1 0 971359615 57581568 11929 4294967295 134512640 135730672 3221224576 3221223232 134734835 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14058 11929 301 301 0 13757 0
vsize: 56232
[startup+680.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 27889 0 0 0 67783 225 0 0 25 0 1 0 971359615 57716736 11940 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14091 11940 301 301 0 13790 0
vsize: 56364
[startup+690.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 28081 0 0 0 68782 226 0 0 25 0 1 0 971359615 57716736 11952 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14091 11952 301 301 0 13790 0
vsize: 56364
[startup+700.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 28276 0 0 0 69779 229 0 0 25 0 1 0 971359615 57716736 11967 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14091 11967 301 301 0 13790 0
vsize: 56364
[startup+710.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 28468 0 0 0 70778 231 0 0 25 0 1 0 971359615 57716736 11979 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14091 11979 301 301 0 13790 0
vsize: 56364
[startup+720.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 28667 0 0 0 71775 233 0 0 25 0 1 0 971359615 57851904 11998 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14124 11998 301 301 0 13823 0
vsize: 56496
[startup+730.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 28683 0 0 0 72774 235 0 0 25 0 1 0 971359615 57851904 12014 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14124 12014 301 301 0 13823 0
vsize: 56496
[startup+740.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 28728 0 0 0 73772 236 0 0 25 0 1 0 971359615 57851904 12059 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14124 12059 301 301 0 13823 0
vsize: 56496
[startup+750.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 28984 0 0 0 74770 239 0 0 25 0 1 0 971359615 57982976 12135 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14156 12135 301 301 0 13855 0
vsize: 56624
[startup+760.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 29051 0 0 0 75768 241 0 0 25 0 1 0 971359615 57982976 12202 4294967295 134512640 135730672 3221224576 3221223120 134740270 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14156 12202 301 301 0 13855 0
vsize: 56624
[startup+770.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 29124 0 0 0 76766 243 0 0 25 0 1 0 971359615 58122240 12275 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14190 12275 301 301 0 13889 0
vsize: 56760
[startup+780.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 29382 0 0 0 77764 245 0 0 25 0 1 0 971359615 58122240 12353 4294967295 134512640 135730672 3221224576 3221223072 134747823 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14190 12353 301 301 0 13889 0
vsize: 56760
[startup+790.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 29454 0 0 0 78761 249 0 0 25 0 1 0 971359615 58122240 12425 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14190 12425 301 301 0 13889 0
vsize: 56760
[startup+800.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 29535 0 0 0 79758 252 0 0 25 0 1 0 971359615 75030528 12506 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18318 12506 301 301 0 18017 0
vsize: 73272
[startup+810.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 29622 0 0 0 80757 254 0 0 25 0 1 0 971359615 75030528 12593 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18318 12593 301 301 0 18017 0
vsize: 73272
[startup+820.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 29684 0 0 0 81754 256 0 0 25 0 1 0 971359615 75169792 12655 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18352 12655 301 301 0 18051 0
vsize: 73408
[startup+830.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 29792 0 0 0 82751 259 0 0 25 0 1 0 971359615 75304960 12763 4294967295 134512640 135730672 3221224576 3221223072 134747808 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18385 12763 301 301 0 18084 0
vsize: 73540
[startup+840.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 29873 0 0 0 83749 262 0 0 25 0 1 0 971359615 75440128 12844 4294967295 134512640 135730672 3221224576 3221223168 134763776 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18418 12844 301 301 0 18117 0
vsize: 73672
[startup+850.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 29932 0 0 0 84747 264 0 0 25 0 1 0 971359615 75579392 12903 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18452 12903 301 301 0 18151 0
vsize: 73808
[startup+860.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 30006 0 0 0 85744 267 0 0 25 0 1 0 971359615 75579392 12977 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18452 12977 301 301 0 18151 0
vsize: 73808
[startup+870.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 30071 0 0 0 86742 269 0 0 25 0 1 0 971359615 75579392 13042 4294967295 134512640 135730672 3221224576 3221223072 134747578 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18452 13042 301 301 0 18151 0
vsize: 73808
[startup+880.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 30146 0 0 0 87740 272 0 0 25 0 1 0 971359615 75718656 13117 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18486 13117 301 301 0 18185 0
vsize: 73944
[startup+890.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 30225 0 0 0 88738 274 0 0 25 0 1 0 971359615 75718656 13196 4294967295 134512640 135730672 3221224576 3221223072 134747549 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18486 13196 301 301 0 18185 0
vsize: 73944
[startup+900.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 30308 0 0 0 89737 275 0 0 25 0 1 0 971359615 75718656 13279 4294967295 134512640 135730672 3221224576 3221223072 134747563 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18486 13279 301 301 0 18185 0
vsize: 73944
[startup+910.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 30570 0 0 0 90734 278 0 0 25 0 1 0 971359615 75853824 13361 4294967295 134512640 135730672 3221224576 3221223072 134747575 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18519 13361 301 301 0 18218 0
vsize: 74076
[startup+920.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 30823 0 0 0 91731 280 0 0 25 0 1 0 971359615 75853824 13434 4294967295 134512640 135730672 3221224576 3221223072 134747808 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18519 13434 301 301 0 18218 0
vsize: 74076
[startup+930.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 30890 0 0 0 92730 282 0 0 25 0 1 0 971359615 75853824 13501 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18519 13501 301 301 0 18218 0
vsize: 74076
[startup+940.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 31085 0 0 0 93728 284 0 0 25 0 1 0 971359615 75988992 13516 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18552 13516 301 301 0 18251 0
vsize: 74208
[startup+950.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 31310 0 0 0 94725 287 0 0 25 0 1 0 971359615 76124160 13561 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18585 13561 301 301 0 18284 0
vsize: 74340
[startup+960.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 31319 0 0 0 95723 290 0 0 25 0 1 0 971359615 76124160 13570 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18585 13570 301 301 0 18284 0
vsize: 74340
[startup+970.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 31327 0 0 0 96720 293 0 0 25 0 1 0 971359615 76124160 13578 4294967295 134512640 135730672 3221224576 3221223072 134747570 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18585 13578 301 301 0 18284 0
vsize: 74340
[startup+980.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 31339 0 0 0 97719 294 0 0 25 0 1 0 971359615 76124160 13590 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18585 13590 301 301 0 18284 0
vsize: 74340
[startup+990.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 31350 0 0 0 98717 296 0 0 25 0 1 0 971359615 76124160 13601 4294967295 134512640 135730672 3221224576 3221223072 134747728 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18585 13601 301 301 0 18284 0
vsize: 74340
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 31368 0 0 0 99717 297 0 0 25 0 1 0 971359615 76255232 13619 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18617 13619 301 301 0 18316 0
vsize: 74468
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 31567 0 0 0 100715 298 0 0 25 0 1 0 971359615 76255232 13638 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18617 13638 301 301 0 18316 0
vsize: 74468
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 31824 0 0 0 101713 300 0 0 25 0 1 0 971359615 76390400 13715 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18650 13715 301 301 0 18349 0
vsize: 74600
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 31908 0 0 0 102711 303 0 0 25 0 1 0 971359615 76390400 13799 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18650 13799 301 301 0 18349 0
vsize: 74600
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 32181 0 0 0 103709 305 0 0 25 0 1 0 971359615 76390400 13892 4294967295 134512640 135730672 3221224576 3221223072 134747842 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18650 13892 301 301 0 18349 0
vsize: 74600
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 32397 0 0 0 104708 306 0 0 25 0 1 0 971359615 76390400 13928 4294967295 134512640 135730672 3221224576 3221223072 134747566 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18650 13928 301 301 0 18349 0
vsize: 74600
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 32413 0 0 0 105707 307 0 0 25 0 1 0 971359615 76525568 13944 4294967295 134512640 135730672 3221224576 3221223172 134747725 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18683 13944 301 301 0 18382 0
vsize: 74732
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 32432 0 0 0 106706 308 0 0 25 0 1 0 971359615 76525568 13963 4294967295 134512640 135730672 3221224576 3221223072 134747566 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18683 13963 301 301 0 18382 0
vsize: 74732
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 32444 0 0 0 107705 310 0 0 25 0 1 0 971359615 76660736 13975 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18716 13975 301 301 0 18415 0
vsize: 74864
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 32452 0 0 0 108702 313 0 0 25 0 1 0 971359615 76660736 13983 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18716 13983 301 301 0 18415 0
vsize: 74864
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 32459 0 0 0 109700 314 0 0 25 0 1 0 971359615 76660736 13990 4294967295 134512640 135730672 3221224576 3221223072 134747570 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18716 13990 301 301 0 18415 0
vsize: 74864
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 32470 0 0 0 110699 316 0 0 25 0 1 0 971359615 76660736 14001 4294967295 134512640 135730672 3221224576 3221222896 134732800 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18716 14001 301 301 0 18415 0
vsize: 74864
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 32693 0 0 0 111698 317 0 0 25 0 1 0 971359615 76783616 14044 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18746 14044 301 301 0 18445 0
vsize: 74984
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 32939 0 0 0 112695 320 0 0 25 0 1 0 971359615 76783616 14110 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18746 14110 301 301 0 18445 0
vsize: 74984
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 33015 0 0 0 113693 322 0 0 25 0 1 0 971359615 76783616 14186 4294967295 134512640 135730672 3221224576 3221223072 134747757 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18746 14186 301 301 0 18445 0
vsize: 74984
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 33089 0 0 0 114692 324 0 0 25 0 1 0 971359615 76783616 14260 4294967295 134512640 135730672 3221224576 3221222960 135109359 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18746 14260 301 301 0 18445 0
vsize: 74984
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 33351 0 0 0 115690 326 0 0 25 0 1 0 971359615 76918784 14342 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18779 14342 301 301 0 18478 0
vsize: 75116
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 33613 0 0 0 116689 328 0 0 25 0 1 0 971359615 76918784 14424 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18779 14424 301 301 0 18478 0
vsize: 75116
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 33829 0 0 0 117686 330 0 0 25 0 1 0 971359615 77053952 14460 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18812 14460 301 301 0 18511 0
vsize: 75248
[startup+1190.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 34019 0 0 0 118684 332 0 0 25 0 1 0 971359615 77053952 14470 4294967295 134512640 135730672 3221224576 3221223184 134744850 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18812 14470 301 301 0 18511 0
vsize: 75248
[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28085
Raw data (stat): 28085 (pb2sat-v2) R 28084 21152 21151 0 -1 0 34026 0 0 0 119682 334 0 0 25 0 1 0 971359615 77053952 14477 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18812 14477 301 301 0 18511 0
vsize: 75248
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.33 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 28085
Raw data (stat): 28085 (pb2sat-v2) Z 28084 21152 21151 0 -1 12 34028 0 0 0 119708 337 0 0 25 0 1 0 971359615 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: 0
Real time (s): 1200.33
CPU time (s): 1200.46
CPU user time (s): 1197.09
CPU system time (s): 3.37649
CPU usage (%): 100.011
Max. virtual memory (Kb): 75248
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####