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/plato.asu.edu/pub/lptestset/fome/normalized-mps-v2-13-7-fome11.opb
MD5SUM	6ffc5f91e7ad7c6593868bb0012c33e4
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	249428
Biggest coefficient in the objective function	2100440996511744
Number of bits for the biggest coefficient in the objective function	51
Sum of the numbers in the objective function	1724124944012305800
Number of bits of the sum of numbers in the objective function	61
Biggest number in a constraint	52428800000000000
Number of bits of the biggest number in a constraint	56
Biggest sum of numbers in a constraint	4176904799999651840
Number of bits of the biggest sum of numbers	62
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	4.54331
Number of variables	488988
Total number of constraints	12168
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	12168
Minimum length of a constraint	10
Maximum length of a constraint	4560
Trace number 42976

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-16 19:57:08 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26191 boxname=wulflinc4 idbench=1491 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  6ffc5f91e7ad7c6593868bb0012c33e4  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-fome11.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-fome11.opb
IDLAUNCH: 26191
/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:        741704 kB
Buffers:         16824 kB
Cached:         253388 kB
SwapCached:        904 kB
Active:          60980 kB
Inactive:       211364 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        741452 kB
SwapTotal:     2097136 kB
SwapFree:      2095236 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4996 kB
Slab:            14848 kB
Committed_AS:    71908 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 20:17:12 (client local time) WITH STATUS 0 IN 1201.22 SECONDS
stats: 26191 7 1201.22 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
s 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.88 0.94 0.90 1/54 32170
Raw data (stat): 32170 (runsolver) R 32169 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 973447100 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+9.99995 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 32170
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 2033 0 0 0 993 5 0 0 25 0 1 0 973447100 7553024 1359 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 1844 1359 301 301 0 1543 0
vsize: 7376
[startup+20.0008 s]
Raw data (loadavg): 0.91 0.94 0.90 2/54 32170
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 2600 0 0 0 1991 8 0 0 25 0 1 0 973447100 9039872 1917 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2207 1917 301 301 0 1906 0
vsize: 8828
[startup+30.0013 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 32170
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 3827 0 0 0 2988 10 0 0 25 0 1 0 973447100 13414400 2432 4294967295 134512640 135730672 3221224576 3221221664 134561664 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3275 2432 301 301 0 2974 0
vsize: 13100
[startup+40.0016 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 32170
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 4038 0 0 0 3987 11 0 0 25 0 1 0 973447100 13819904 2638 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3374 2638 301 301 0 3073 0
vsize: 13496
[startup+50.0024 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 32170
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 4305 0 0 0 4986 12 0 0 25 0 1 0 973447100 14495744 2901 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3539 2901 301 301 0 3238 0
vsize: 14156
[startup+60.0026 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 32170
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 4540 0 0 0 5985 13 0 0 25 0 1 0 973447100 15171584 3132 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3704 3132 301 301 0 3403 0
vsize: 14816
[startup+70.0032 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 32170
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 4756 0 0 0 6984 14 0 0 25 0 1 0 973447100 15712256 3344 4294967295 134512640 135730672 3221224576 3221221520 134539768 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3836 3344 301 301 0 3535 0
vsize: 15344
[startup+80.004 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 32170
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 4956 0 0 0 7984 15 0 0 25 0 1 0 973447100 16252928 3541 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3968 3541 301 301 0 3667 0
vsize: 15872
[startup+90.0046 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 32170
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 5145 0 0 0 8983 16 0 0 25 0 1 0 973447100 16793600 3727 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4100 3727 301 301 0 3799 0
vsize: 16400
[startup+100.005 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 32170
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 5324 0 0 0 9982 16 0 0 25 0 1 0 973447100 17199104 3903 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4199 3903 301 301 0 3898 0
vsize: 16796
[startup+110.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 32170
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 5490 0 0 0 10982 17 0 0 25 0 1 0 973447100 17739776 4067 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4331 4067 301 301 0 4030 0
vsize: 17324
[startup+120.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 32170
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 7487 0 0 0 11978 21 0 0 25 0 1 0 973447100 25407488 4651 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6203 4651 301 301 0 5902 0
vsize: 24812
[startup+130.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 32170
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 7540 0 0 0 12979 21 0 0 25 0 1 0 973447100 25407488 4702 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6203 4702 301 301 0 5902 0
vsize: 24812
[startup+140.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 32170
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 7592 0 0 0 13978 21 0 0 25 0 1 0 973447100 25407488 4751 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6203 4751 301 301 0 5902 0
vsize: 24812
[startup+150.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 32170
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 7669 0 0 0 14979 21 0 0 25 0 1 0 973447100 25407488 4826 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6203 4826 301 301 0 5902 0
vsize: 24812
[startup+160.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 32170
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 7719 0 0 0 15977 22 0 0 25 0 1 0 973447100 25407488 4874 4294967295 134512640 135730672 3221224576 3221221664 134561691 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6203 4874 301 301 0 5902 0
vsize: 24812
[startup+170.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 32170
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 7828 0 0 0 16977 22 0 0 25 0 1 0 973447100 25677824 4981 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6269 4981 301 301 0 5968 0
vsize: 25076
[startup+180.009 s]
Raw data (loadavg): 1.07 0.98 0.91 2/54 32223
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 7958 0 0 0 17975 24 0 0 25 0 1 0 973447100 26083328 5109 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6368 5109 301 301 0 6067 0
vsize: 25472
[startup+190.01 s]
Raw data (loadavg): 1.06 0.98 0.91 2/54 32223
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 8086 0 0 0 18975 24 0 0 25 0 1 0 973447100 26353664 5234 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6434 5234 301 301 0 6133 0
vsize: 25736
[startup+200.011 s]
Raw data (loadavg): 1.05 0.98 0.91 2/54 32223
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 8210 0 0 0 19975 25 0 0 25 0 1 0 973447100 26759168 5356 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6533 5356 301 301 0 6232 0
vsize: 26132
[startup+210.011 s]
Raw data (loadavg): 1.04 0.98 0.91 2/54 32223
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 8330 0 0 0 20974 25 0 0 25 0 1 0 973447100 27029504 5475 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6599 5475 301 301 0 6298 0
vsize: 26396
[startup+220.013 s]
Raw data (loadavg): 1.04 0.98 0.91 2/54 32223
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 8449 0 0 0 21973 26 0 0 25 0 1 0 973447100 27435008 5592 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6698 5592 301 301 0 6397 0
vsize: 26792
[startup+230.013 s]
Raw data (loadavg): 1.03 0.98 0.91 2/54 32223
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 8565 0 0 0 22973 26 0 0 25 0 1 0 973447100 27705344 5706 4294967295 134512640 135730672 3221224576 3221221664 134561664 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6764 5706 301 301 0 6463 0
vsize: 27056
[startup+240.013 s]
Raw data (loadavg): 1.02 0.98 0.91 2/54 32223
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 8679 0 0 0 23973 26 0 0 25 0 1 0 973447100 27975680 5818 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6830 5818 301 301 0 6529 0
vsize: 27320
[startup+250.014 s]
Raw data (loadavg): 1.02 0.98 0.91 2/54 32225
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 8789 0 0 0 24972 27 0 0 25 0 1 0 973447100 28246016 5926 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6896 5926 301 301 0 6595 0
vsize: 27584
[startup+260.015 s]
Raw data (loadavg): 1.02 0.98 0.91 2/54 32225
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 8899 0 0 0 25972 27 0 0 25 0 1 0 973447100 28516352 6034 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6962 6034 301 301 0 6661 0
vsize: 27848
[startup+270.016 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 32225
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 9006 0 0 0 26973 27 0 0 25 0 1 0 973447100 28786688 6140 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7028 6140 301 301 0 6727 0
vsize: 28112
[startup+280.017 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 32225
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 9113 0 0 0 27972 27 0 0 25 0 1 0 973447100 29057024 6245 4294967295 134512640 135730672 3221224576 3221220824 135285983 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7094 6245 301 301 0 6793 0
vsize: 28376
[startup+290.018 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 32225
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 9216 0 0 0 28972 28 0 0 25 0 1 0 973447100 29327360 6346 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7160 6346 301 301 0 6859 0
vsize: 28640
[startup+300.018 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 32225
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 9317 0 0 0 29972 28 0 0 25 0 1 0 973447100 29597696 6446 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7226 6446 301 301 0 6925 0
vsize: 28904
[startup+310.018 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 32225
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 9418 0 0 0 30971 28 0 0 25 0 1 0 973447100 29868032 6545 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7292 6545 301 301 0 6991 0
vsize: 29168
[startup+320.019 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32225
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 9518 0 0 0 31972 28 0 0 25 0 1 0 973447100 30138368 6643 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7358 6643 301 301 0 7057 0
vsize: 29432
[startup+330.021 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32225
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 9613 0 0 0 32972 29 0 0 25 0 1 0 973447100 30408704 6737 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7424 6737 301 301 0 7123 0
vsize: 29696
[startup+340.021 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32225
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 9712 0 0 0 33971 29 0 0 25 0 1 0 973447100 30679040 6834 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7490 6834 301 301 0 7189 0
vsize: 29960
[startup+350.022 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32225
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 9806 0 0 0 34970 30 0 0 25 0 1 0 973447100 30949376 6927 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7556 6927 301 301 0 7255 0
vsize: 30224
[startup+360.023 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32225
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 9899 0 0 0 35970 30 0 0 25 0 1 0 973447100 31219712 7018 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7622 7018 301 301 0 7321 0
vsize: 30488
[startup+370.024 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32225
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 9992 0 0 0 36969 31 0 0 25 0 1 0 973447100 31490048 7110 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7688 7110 301 301 0 7387 0
vsize: 30752
[startup+380.024 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32225
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 10084 0 0 0 37968 31 0 0 25 0 1 0 973447100 31625216 7200 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7721 7200 301 301 0 7420 0
vsize: 30884
[startup+390.025 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32225
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 10173 0 0 0 38968 32 0 0 25 0 1 0 973447100 31895552 7288 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7787 7288 301 301 0 7486 0
vsize: 31148
[startup+400.025 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32225
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 10263 0 0 0 39967 32 0 0 25 0 1 0 973447100 32165888 7376 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7853 7376 301 301 0 7552 0
vsize: 31412
[startup+410.025 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32225
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 10350 0 0 0 40967 32 0 0 25 0 1 0 973447100 32436224 7462 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7919 7462 301 301 0 7618 0
vsize: 31676
[startup+420.026 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32225
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 10436 0 0 0 41967 32 0 0 25 0 1 0 973447100 32571392 7547 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7952 7547 301 301 0 7651 0
vsize: 31808
[startup+430.027 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32225
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 10523 0 0 0 42967 32 0 0 25 0 1 0 973447100 32841728 7632 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8018 7632 301 301 0 7717 0
vsize: 32072
[startup+440.027 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32225
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 10607 0 0 0 43968 32 0 0 25 0 1 0 973447100 33112064 7715 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8084 7715 301 301 0 7783 0
vsize: 32336
[startup+450.028 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32225
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 10692 0 0 0 44968 32 0 0 25 0 1 0 973447100 33247232 7798 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8117 7798 301 301 0 7816 0
vsize: 32468
[startup+460.028 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32225
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 10774 0 0 0 45967 33 0 0 25 0 1 0 973447100 33517568 7879 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8183 7879 301 301 0 7882 0
vsize: 32732
[startup+470.029 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32225
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 10857 0 0 0 46967 33 0 0 25 0 1 0 973447100 33787904 7961 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8249 7961 301 301 0 7948 0
vsize: 32996
[startup+480.029 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32225
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 10938 0 0 0 47967 33 0 0 25 0 1 0 973447100 33923072 8040 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8282 8040 301 301 0 7981 0
vsize: 33128
[startup+490.029 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32225
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 14824 0 0 0 48959 42 0 0 25 0 1 0 973447100 49258496 9107 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9107 301 301 0 11725 0
vsize: 48104
[startup+500.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32225
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 14852 0 0 0 49959 42 0 0 25 0 1 0 973447100 49258496 9134 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9134 301 301 0 11725 0
vsize: 48104
[startup+510.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32227
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 14879 0 0 0 50959 42 0 0 25 0 1 0 973447100 49258496 9160 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9160 301 301 0 11725 0
vsize: 48104
[startup+520.031 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32227
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 14908 0 0 0 51959 42 0 0 25 0 1 0 973447100 49258496 9187 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9187 301 301 0 11725 0
vsize: 48104
[startup+530.031 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32227
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 14935 0 0 0 52959 42 0 0 25 0 1 0 973447100 49258496 9213 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9213 301 301 0 11725 0
vsize: 48104
[startup+540.032 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32227
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 14962 0 0 0 53959 42 0 0 25 0 1 0 973447100 49258496 9239 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9239 301 301 0 11725 0
vsize: 48104
[startup+550.033 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32227
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 14989 0 0 0 54959 42 0 0 25 0 1 0 973447100 49258496 9265 4294967295 134512640 135730672 3221224576 3221221664 134561683 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9265 301 301 0 11725 0
vsize: 48104
[startup+560.033 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32227
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 15017 0 0 0 55959 42 0 0 25 0 1 0 973447100 49258496 9291 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9291 301 301 0 11725 0
vsize: 48104
[startup+570.036 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32227
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 15042 0 0 0 56960 42 0 0 25 0 1 0 973447100 49258496 9315 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9315 301 301 0 11725 0
vsize: 48104
[startup+580.037 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32227
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 15069 0 0 0 57959 42 0 0 25 0 1 0 973447100 49258496 9341 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9341 301 301 0 11725 0
vsize: 48104
[startup+590.037 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32227
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 15095 0 0 0 58959 43 0 0 25 0 1 0 973447100 49258496 9366 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9366 301 301 0 11725 0
vsize: 48104
[startup+600.038 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32227
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 15121 0 0 0 59959 43 0 0 25 0 1 0 973447100 49258496 9391 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9391 301 301 0 11725 0
vsize: 48104
[startup+610.038 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32227
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 15147 0 0 0 60959 44 0 0 25 0 1 0 973447100 49258496 9416 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9416 301 301 0 11725 0
vsize: 48104
[startup+620.039 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32227
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 15190 0 0 0 61958 44 0 0 25 0 1 0 973447100 49258496 9457 4294967295 134512640 135730672 3221224576 3221221664 134561688 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9457 301 301 0 11725 0
vsize: 48104
[startup+630.041 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32227
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 15225 0 0 0 62958 44 0 0 25 0 1 0 973447100 49258496 9491 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9491 301 301 0 11725 0
vsize: 48104
[startup+640.041 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32227
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 15249 0 0 0 63958 45 0 0 25 0 1 0 973447100 49258496 9514 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9514 301 301 0 11725 0
vsize: 48104
[startup+650.042 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32227
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 15275 0 0 0 64958 45 0 0 25 0 1 0 973447100 49258496 9539 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9539 301 301 0 11725 0
vsize: 48104
[startup+660.042 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32227
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 15300 0 0 0 65957 45 0 0 25 0 1 0 973447100 49258496 9563 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9563 301 301 0 11725 0
vsize: 48104
[startup+670.043 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32227
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 15324 0 0 0 66957 46 0 0 25 0 1 0 973447100 49258496 9586 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9586 301 301 0 11725 0
vsize: 48104
[startup+680.044 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32227
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 15368 0 0 0 67957 46 0 0 25 0 1 0 973447100 49393664 9629 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12059 9629 301 301 0 11758 0
vsize: 48236
[startup+690.044 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32227
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 15437 0 0 0 68956 47 0 0 25 0 1 0 973447100 49528832 9696 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12092 9696 301 301 0 11791 0
vsize: 48368
[startup+700.044 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32227
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 15505 0 0 0 69955 48 0 0 25 0 1 0 973447100 49799168 9763 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12158 9763 301 301 0 11857 0
vsize: 48632
[startup+710.045 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32227
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 15573 0 0 0 70955 49 0 0 25 0 1 0 973447100 49934336 9830 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12191 9830 301 301 0 11890 0
vsize: 48764
[startup+720.046 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32227
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 15640 0 0 0 71955 49 0 0 25 0 1 0 973447100 50069504 9896 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12224 9896 301 301 0 11923 0
vsize: 48896
[startup+730.047 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32227
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 15706 0 0 0 72955 49 0 0 25 0 1 0 973447100 50339840 9961 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12290 9961 301 301 0 11989 0
vsize: 49160
[startup+740.047 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32227
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 15772 0 0 0 73954 49 0 0 25 0 1 0 973447100 50475008 10026 4294967295 134512640 135730672 3221224576 3221221664 134561683 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12323 10026 301 301 0 12022 0
vsize: 49292
[startup+750.048 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32227
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 15837 0 0 0 74955 50 0 0 25 0 1 0 973447100 50610176 10090 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12356 10090 301 301 0 12055 0
vsize: 49424
[startup+760.048 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32227
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 15902 0 0 0 75955 50 0 0 25 0 1 0 973447100 50745344 10154 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12389 10154 301 301 0 12088 0
vsize: 49556
[startup+770.049 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32227
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 15966 0 0 0 76954 50 0 0 25 0 1 0 973447100 51015680 10217 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12455 10217 301 301 0 12154 0
vsize: 49820
[startup+780.05 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32227
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 16030 0 0 0 77953 51 0 0 25 0 1 0 973447100 51150848 10280 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12488 10280 301 301 0 12187 0
vsize: 49952
[startup+790.05 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32227
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 16093 0 0 0 78953 51 0 0 25 0 1 0 973447100 51286016 10342 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12521 10342 301 301 0 12220 0
vsize: 50084
[startup+800.051 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32227
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 16157 0 0 0 79953 51 0 0 25 0 1 0 973447100 51421184 10405 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12554 10405 301 301 0 12253 0
vsize: 50216
[startup+810.051 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32227
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 16221 0 0 0 80953 51 0 0 25 0 1 0 973447100 51691520 10468 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12620 10468 301 301 0 12319 0
vsize: 50480
[startup+820.053 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32227
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 16283 0 0 0 81953 52 0 0 25 0 1 0 973447100 51826688 10529 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12653 10529 301 301 0 12352 0
vsize: 50612
[startup+830.053 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32227
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 16345 0 0 0 82953 52 0 0 25 0 1 0 973447100 51961856 10590 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12686 10590 301 301 0 12385 0
vsize: 50744
[startup+840.053 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32227
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 16407 0 0 0 83953 52 0 0 25 0 1 0 973447100 52097024 10651 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12719 10651 301 301 0 12418 0
vsize: 50876
[startup+850.054 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32227
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 16467 0 0 0 84953 52 0 0 25 0 1 0 973447100 52367360 10710 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12785 10710 301 301 0 12484 0
vsize: 51140
[startup+860.054 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32227
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 16528 0 0 0 85953 52 0 0 25 0 1 0 973447100 52502528 10770 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12818 10770 301 301 0 12517 0
vsize: 51272
[startup+870.055 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32227
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 16589 0 0 0 86953 52 0 0 25 0 1 0 973447100 52637696 10830 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12851 10830 301 301 0 12550 0
vsize: 51404
[startup+880.056 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32227
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 16650 0 0 0 87953 53 0 0 25 0 1 0 973447100 52772864 10890 4294967295 134512640 135730672 3221224576 3221221664 134561683 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12884 10890 301 301 0 12583 0
vsize: 51536
[startup+890.057 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32227
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 16709 0 0 0 88953 53 0 0 25 0 1 0 973447100 52908032 10948 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12917 10948 301 301 0 12616 0
vsize: 51668
[startup+900.058 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32227
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 16769 0 0 0 89953 53 0 0 25 0 1 0 973447100 53043200 11007 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12950 11007 301 301 0 12649 0
vsize: 51800
[startup+910.057 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32227
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 16829 0 0 0 90953 53 0 0 25 0 1 0 973447100 53313536 11066 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13016 11066 301 301 0 12715 0
vsize: 52064
[startup+920.058 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32227
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 16888 0 0 0 91953 53 0 0 25 0 1 0 973447100 53448704 11124 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13049 11124 301 301 0 12748 0
vsize: 52196
[startup+930.072 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32227
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 16946 0 0 0 92954 54 0 0 25 0 1 0 973447100 53583872 11181 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13082 11181 301 301 0 12781 0
vsize: 52328
[startup+940.074 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32227
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 17005 0 0 0 93955 54 0 0 25 0 1 0 973447100 53719040 11239 4294967295 134512640 135730672 3221224576 3221221664 134561683 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13115 11239 301 301 0 12814 0
vsize: 52460
[startup+950.075 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32227
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 17064 0 0 0 94954 54 0 0 25 0 1 0 973447100 53854208 11297 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13148 11297 301 301 0 12847 0
vsize: 52592
[startup+960.076 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32227
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 17122 0 0 0 95954 54 0 0 25 0 1 0 973447100 53989376 11354 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13181 11354 301 301 0 12880 0
vsize: 52724
[startup+970.077 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32227
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 17179 0 0 0 96954 54 0 0 25 0 1 0 973447100 54124544 11410 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13214 11410 301 301 0 12913 0
vsize: 52856
[startup+980.077 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32227
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 17236 0 0 0 97954 54 0 0 25 0 1 0 973447100 54394880 11466 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13280 11466 301 301 0 12979 0
vsize: 53120
[startup+990.079 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32227
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 17294 0 0 0 98954 54 0 0 25 0 1 0 973447100 54530048 11523 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13313 11523 301 301 0 13012 0
vsize: 53252
[startup+1000.08 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32227
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 17349 0 0 0 99954 55 0 0 25 0 1 0 973447100 54665216 11578 4294967295 134512640 135730672 3221224576 3221221664 134561664 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13346 11578 301 301 0 13045 0
vsize: 53384
[startup+1010.08 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32227
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 17406 0 0 0 100953 55 0 0 25 0 1 0 973447100 54800384 11634 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13379 11634 301 301 0 13078 0
vsize: 53516
[startup+1020.08 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32227
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 17462 0 0 0 101953 56 0 0 25 0 1 0 973447100 54935552 11689 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13412 11689 301 301 0 13111 0
vsize: 53648
[startup+1030.08 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32227
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 17518 0 0 0 102953 56 0 0 25 0 1 0 973447100 55070720 11744 4294967295 134512640 135730672 3221224576 3221221664 134561677 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13445 11744 301 301 0 13144 0
vsize: 53780
[startup+1040.08 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32227
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 17574 0 0 0 103953 56 0 0 25 0 1 0 973447100 55205888 11799 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13478 11799 301 301 0 13177 0
vsize: 53912
[startup+1050.08 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32227
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 17629 0 0 0 104953 56 0 0 25 0 1 0 973447100 55341056 11853 4294967295 134512640 135730672 3221224576 3221221504 134540894 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13511 11853 301 301 0 13210 0
vsize: 54044
[startup+1060.08 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32227
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 17684 0 0 0 105953 56 0 0 25 0 1 0 973447100 55476224 11907 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13544 11907 301 301 0 13243 0
vsize: 54176
[startup+1070.08 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32227
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 17740 0 0 0 106953 56 0 0 25 0 1 0 973447100 55611392 11962 4294967295 134512640 135730672 3221224576 3221221664 134561688 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13577 11962 301 301 0 13276 0
vsize: 54308
[startup+1080.09 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32227
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 17794 0 0 0 107952 57 0 0 25 0 1 0 973447100 55746560 12015 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13610 12015 301 301 0 13309 0
vsize: 54440
[startup+1090.09 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32227
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 17848 0 0 0 108951 57 0 0 25 0 1 0 973447100 56016896 12069 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13676 12069 301 301 0 13375 0
vsize: 54704
[startup+1100.09 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32227
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 17902 0 0 0 109950 58 0 0 25 0 1 0 973447100 56152064 12122 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13709 12122 301 301 0 13408 0
vsize: 54836
[startup+1110.09 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32227
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 17957 0 0 0 110950 58 0 0 25 0 1 0 973447100 56287232 12176 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13742 12176 301 301 0 13441 0
vsize: 54968
[startup+1120.09 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32227
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 18011 0 0 0 111950 59 0 0 25 0 1 0 973447100 56422400 12229 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13775 12229 301 301 0 13474 0
vsize: 55100
[startup+1130.09 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32227
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 18063 0 0 0 112949 59 0 0 25 0 1 0 973447100 56557568 12280 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13808 12280 301 301 0 13507 0
vsize: 55232
[startup+1140.09 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32227
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 18117 0 0 0 113949 59 0 0 25 0 1 0 973447100 56692736 12333 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13841 12333 301 301 0 13540 0
vsize: 55364
[startup+1150.09 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32227
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 18169 0 0 0 114949 60 0 0 25 0 1 0 973447100 56827904 12384 4294967295 134512640 135730672 3221224576 3221221664 134561683 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13874 12384 301 301 0 13573 0
vsize: 55496
[startup+1160.09 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32227
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 18224 0 0 0 115947 61 0 0 25 0 1 0 973447100 56963072 12438 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13907 12438 301 301 0 13606 0
vsize: 55628
[startup+1170.09 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32227
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 18274 0 0 0 116947 61 0 0 25 0 1 0 973447100 57098240 12488 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13940 12488 301 301 0 13639 0
vsize: 55760
[startup+1180.09 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32227
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 18327 0 0 0 117947 61 0 0 25 0 1 0 973447100 57233408 12540 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13973 12540 301 301 0 13672 0
vsize: 55892
[startup+1190.09 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32227
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 18380 0 0 0 118947 61 0 0 25 0 1 0 973447100 57368576 12592 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14006 12592 301 301 0 13705 0
vsize: 56024
[startup+1200.09 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32227
Raw data (stat): 32170 (pb2sat-v2) R 32169 21152 21151 0 -1 0 18431 0 0 0 119946 61 0 0 25 0 1 0 973447100 57503744 12642 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14039 12642 301 301 0 13738 0
vsize: 56156
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1201.23 s]
Raw data (loadavg): 1.00 0.98 0.91 1/54 32227
Raw data (stat): 32170 (pb2sat-v2) Z 32169 21152 21151 0 -1 12 18435 0 0 0 120057 64 0 0 25 0 1 0 973447100 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): 1201.22
CPU time (s): 1201.22
CPU user time (s): 1200.57
CPU system time (s): 0.646901
CPU usage (%): 99.9994
Max. virtual memory (Kb): 56156
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####