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-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-dcmulti.opb
MD5SUM	659e380dd1d6168ad99a794b3190043f
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	14235
Biggest coefficient in the objective function	714038312960
Number of bits for the biggest coefficient in the objective function	40
Sum of the numbers in the objective function	68224730472397
Number of bits of the sum of numbers in the objective function	46
Biggest number in a constraint	714038312960
Number of bits of the biggest number in a constraint	40
Biggest sum of numbers in a constraint	68224730472397
Number of bits of the biggest sum of numbers	46
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.12198
Number of variables	14265
Total number of constraints	365
Number of constraints which are clauses	27
Number of constraints which are cardinality constraints (but not clauses)	80
Number of constraints which are nor clauses,nor cardinality constraints	258
Minimum length of a constraint	1
Maximum length of a constraint	420
Trace number 42518

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-16 09:29:48 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25723 boxname=wulflinc4 idbench=1023 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  659e380dd1d6168ad99a794b3190043f  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-dcmulti.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-dcmulti.opb
IDLAUNCH: 25723
/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:        689496 kB
Buffers:         34612 kB
Cached:         288396 kB
SwapCached:        944 kB
Active:          34516 kB
Inactive:       290648 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        689244 kB
SwapTotal:     2097136 kB
SwapFree:      2095208 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4996 kB
Slab:            14364 kB
Committed_AS:    71904 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 09:49:51 (client local time) WITH STATUS 0 IN 1201.54 SECONDS
stats: 25723 7 1201.54 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 189637/556292	Time: 55.0416/86400
c Decision: 189655/556292	Time: 68.5416/86400
c Decision: 189666/556292	Time: 85.816/86400
c Decision: 189695/556292	Time: 98.836/86400
c Decision: 189695/556292	Time: 109.249/86400
c Decision: 189700/556292	Time: 122.459/86400
c Decision: 189700/556292	Time: 131.74/86400
c Decision: 189928/556292	Time: 148.996/86400
c Decision: 189928/556292	Time: 157.733/86400
c Decision: 189952/556292	Time: 174.189/86400
c Decision: 189952/556292	Time: 184.983/86400
c Decision: 189952/556292	Time: 195.252/86400
c Decision: 189952/556292	Time: 204.388/86400
c Decision: 189952/556292	Time: 213.743/86400
c Decision: 189953/556292	Time: 230.927/86400
c Decision: 189953/556292	Time: 245.974/86400
c Decision: 189953/556292	Time: 254.791/86400
c Decision: 189953/556292	Time: 263.079/86400
c Decision: 189954/556292	Time: 274.332/86400
c Decision: 189982/556292	Time: 296.918/86400
c Decision: 190006/556292	Time: 319.438/86400
c Decision: 190006/556292	Time: 328.496/86400
c Decision: 190011/556292	Time: 344.475/86400
c Decision: 190033/556292	Time: 365.813/86400
c Decision: 190047/556292	Time: 377.017/86400
c Decision: 190047/556292	Time: 389.785/86400
c Decision: 190047/556292	Time: 401.73/86400
c Decision: 190058/556292	Time: 417.878/86400
c Decision: 190066/556292	Time: 435.091/86400
c Decision: 190066/556292	Time: 446.201/86400
c Decision: 190079/556292	Time: 461.58/86400
c Decision: 190079/556292	Time: 472.113/86400
c Decision: 190079/556292	Time: 481.532/86400
c Decision: 190079/556292	Time: 490.979/86400
c Decision: 190085/556292	Time: 505.754/86400
c Decision: 190091/556292	Time: 515.378/86400
c Decision: 190091/556292	Time: 524.738/86400
c Decision: 190091/556292	Time: 533.861/86400
c Decision: 190091/556292	Time: 541.426/86400
c Decision: 190091/556292	Time: 551.395/86400
c Decision: 190091/556292	Time: 562.813/86400
c Decision: 190091/556292	Time: 572.399/86400
c Decision: 190091/556292	Time: 580.261/86400
c Decision: 190232/556292	Time: 602.294/86400
c Decision: 190232/556292	Time: 612.225/86400
c Decision: 190232/556292	Time: 621.753/86400
c Decision: 190254/556292	Time: 637.477/86400
c Decision: 190254/556292	Time: 649.285/86400
c Decision: 190285/556292	Time: 684.635/86400
c Decision: 190288/556292	Time: 697.154/86400
c Decision: 190288/556292	Time: 709.707/86400
c Decision: 190288/556292	Time: 720.339/86400
c Decision: 190324/556292	Time: 745.947/86400
c Decision: 190324/556292	Time: 755.565/86400
c Decision: 190324/556292	Time: 765.905/86400
c Decision: 190328/556292	Time: 784.916/86400
c Decision: 190349/556292	Time: 803.636/86400
c Decision: 190349/556292	Time: 813.31/86400
c Decision: 190349/556292	Time: 822.654/86400
c Decision: 190357/556292	Time: 842.712/86400
c Decision: 190357/556292	Time: 854.4/86400
c Decision: 190361/556292	Time: 867.171/86400
c Decision: 190361/556292	Time: 876.959/86400
c Decision: 190365/556292	Time: 895.609/86400
c Decision: 190368/556292	Time: 909.987/86400
c Decision: 190368/556292	Time: 919.869/86400
c Decision: 190385/556292	Time: 940.792/86400
c Decision: 190396/556292	Time: 958.562/86400
c Decision: 190396/556292	Time: 967.896/86400
c Decision: 190397/556292	Time: 987.46/86400
c Decision: 190397/556292	Time: 999.419/86400
c Decision: 190397/556292	Time: 1010.23/86400
c Decision: 190414/556292	Time: 1033.54/86400
c Decision: 190414/556292	Time: 1045.6/86400
c Decision: 190414/556292	Time: 1056.6/86400
c Decision: 190414/556292	Time: 1068.36/86400
c Decision: 190414/556292	Time: 1076.74/86400
c Decision: 190414/556292	Time: 1087.44/86400
c Decision: 190415/556292	Time: 1104.93/86400
c Decision: 190415/556292	Time: 1115.54/86400
c Decision: 190437/556292	Time: 1136.81/86400
c Decision: 190437/556292	Time: 1147.83/86400
c Decision: 190437/556292	Time: 1159.89/86400
c Decision: 190437/556292	Time: 1170.21/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.85 0.97 0.94 1/54 24451
Raw data (stat): 24451 (runsolver) R 24450 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 969682515 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.0008 s]
Raw data (loadavg): 0.87 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 23166 0 0 0 944 55 0 0 25 0 1 0 969682515 69971968 12186 4294967295 134512640 135730672 3221224576 3221095184 134607963 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17083 12186 301 301 0 16782 0
vsize: 68332
[startup+20.0018 s]
Raw data (loadavg): 0.89 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 49983 0 0 0 1881 117 0 0 25 0 1 0 969682515 152727552 28019 4294967295 134512640 135730672 3221224576 3221111360 134770759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37287 28019 301 301 0 36986 0
vsize: 149148
[startup+30.0029 s]
Raw data (loadavg): 0.91 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 75933 0 0 0 2826 172 0 0 25 0 1 0 969682515 217305088 43507 4294967295 134512640 135730672 3221224576 3221223072 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53053 43507 301 301 0 52752 0
vsize: 212212
[startup+40.0023 s]
Raw data (loadavg): 0.92 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 75948 0 0 0 3824 174 0 0 25 0 1 0 969682515 217305088 43522 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 53053 43522 301 301 0 52752 0
vsize: 212212
[startup+50.0035 s]
Raw data (loadavg): 0.93 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 75972 0 0 0 4823 175 0 0 25 0 1 0 969682515 217444352 43546 4294967295 134512640 135730672 3221224576 3221223072 134747539 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 53087 43546 301 301 0 52786 0
vsize: 212348
[startup+60.0033 s]
Raw data (loadavg): 0.94 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 76093 0 0 0 5820 177 0 0 25 0 1 0 969682515 217919488 43667 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 53203 43667 301 301 0 52902 0
vsize: 212812
[startup+70.0039 s]
Raw data (loadavg): 0.95 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 76248 0 0 0 6819 179 0 0 25 0 1 0 969682515 218771456 43822 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 53411 43822 301 301 0 53110 0
vsize: 213644
[startup+80.0051 s]
Raw data (loadavg): 0.96 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 76355 0 0 0 7817 181 0 0 25 0 1 0 969682515 219295744 43929 4294967295 134512640 135730672 3221224576 3221222992 134741546 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 53539 43929 301 301 0 53238 0
vsize: 214156
[startup+90.005 s]
Raw data (loadavg): 0.96 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 77540 0 0 0 8813 185 0 0 25 0 1 0 969682515 219787264 44027 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 53659 44027 301 301 0 53358 0
vsize: 214636
[startup+100.006 s]
Raw data (loadavg): 0.97 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 78687 0 0 0 9809 189 0 0 25 0 1 0 969682515 219951104 44087 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53699 44087 301 301 0 53398 0
vsize: 214796
[startup+110.006 s]
Raw data (loadavg): 0.97 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 78737 0 0 0 10807 191 0 0 25 0 1 0 969682515 220114944 44137 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53739 44137 301 301 0 53438 0
vsize: 214956
[startup+120.008 s]
Raw data (loadavg): 0.98 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 79883 0 0 0 11802 196 0 0 25 0 1 0 969682515 220442624 44196 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53819 44196 301 301 0 53518 0
vsize: 215276
[startup+130.008 s]
Raw data (loadavg): 0.98 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 81022 0 0 0 12798 200 0 0 25 0 1 0 969682515 220606464 44248 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53859 44248 301 301 0 53558 0
vsize: 215436
[startup+140.009 s]
Raw data (loadavg): 0.98 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 82142 0 0 0 13794 204 0 0 25 0 1 0 969682515 220606464 44281 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53859 44281 301 301 0 53558 0
vsize: 215436
[startup+150.01 s]
Raw data (loadavg): 0.98 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 83248 0 0 0 14789 209 0 0 25 0 1 0 969682515 220770304 44300 4294967295 134512640 135730672 3221224576 3221223200 134783294 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53899 44300 301 301 0 53598 0
vsize: 215596
[startup+160.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 84387 0 0 0 15786 213 0 0 25 0 1 0 969682515 220934144 44352 4294967295 134512640 135730672 3221224576 3221223228 134748060 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53939 44352 301 301 0 53638 0
vsize: 215756
[startup+170.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 84423 0 0 0 16784 215 0 0 25 0 1 0 969682515 221097984 44388 4294967295 134512640 135730672 3221224576 3221223196 134748215 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53979 44388 301 301 0 53678 0
vsize: 215916
[startup+180.012 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 85546 0 0 0 17780 219 0 0 25 0 1 0 969682515 221261824 44424 4294967295 134512640 135730672 3221224576 3221223072 134747587 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 54019 44424 301 301 0 53718 0
vsize: 216076
[startup+190.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 91693 0 0 0 18765 234 0 0 25 0 1 0 969682515 322322432 49484 4294967295 134512640 135730672 3221224576 3221222528 134788521 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 78692 49484 301 301 0 78391 0
vsize: 314768
[startup+200.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 99056 0 0 0 19747 252 0 0 25 0 1 0 969682515 272183296 44558 4294967295 134512640 135730672 3221224576 3221223072 134747575 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 66451 44558 301 301 0 66150 0
vsize: 265804
[startup+210.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 100167 0 0 0 20742 257 0 0 25 0 1 0 969682515 272183296 44582 4294967295 134512640 135730672 3221224576 3221222992 134741558 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 66451 44582 301 301 0 66150 0
vsize: 265804
[startup+220.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 101268 0 0 0 21739 260 0 0 25 0 1 0 969682515 272379904 44596 4294967295 134512640 135730672 3221224576 3221222896 134732532 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 66499 44596 301 301 0 66198 0
vsize: 265996
[startup+230.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 102416 0 0 0 22734 265 0 0 25 0 1 0 969682515 272576512 44657 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 66547 44657 301 301 0 66246 0
vsize: 266188
[startup+240.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 103550 0 0 0 23729 270 0 0 25 0 1 0 969682515 272773120 44704 4294967295 134512640 135730672 3221224576 3221223088 134745860 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 66595 44704 301 301 0 66294 0
vsize: 266380
[startup+250.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 104908 0 0 0 24725 275 0 0 25 0 1 0 969682515 274345984 44975 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 66979 44975 301 301 0 66678 0
vsize: 267916
[startup+260.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 106117 0 0 0 25720 279 0 0 25 0 1 0 969682515 274935808 45097 4294967295 134512640 135730672 3221224576 3221223232 134734829 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 67123 45097 301 301 0 66822 0
vsize: 268492
[startup+270.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 106345 0 0 0 26718 281 0 0 25 0 1 0 969682515 275918848 45325 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 67363 45325 301 301 0 67062 0
vsize: 269452
[startup+280.018 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 107453 0 0 0 27714 286 0 0 25 0 1 0 969682515 275918848 45346 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 67363 45346 301 301 0 67062 0
vsize: 269452
[startup+290.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 109647 0 0 0 28708 292 0 0 25 0 1 0 969682515 280371200 46453 4294967295 134512640 135730672 3221224576 3221222728 134765477 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 68450 46453 301 301 0 68149 0
vsize: 273800
[startup+300.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 109687 0 0 0 29706 294 0 0 25 0 1 0 969682515 276115456 45406 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 67411 45406 301 301 0 67110 0
vsize: 269644
[startup+310.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 110855 0 0 0 30702 298 0 0 25 0 1 0 969682515 276508672 45487 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 67507 45487 301 301 0 67206 0
vsize: 270028
[startup+320.022 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 111297 0 0 0 31700 300 0 0 25 0 1 0 969682515 278401024 45929 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 67969 45929 301 301 0 67668 0
vsize: 271876
[startup+330.022 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 112398 0 0 0 32695 305 0 0 25 0 1 0 969682515 278401024 45943 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 67969 45943 301 301 0 67668 0
vsize: 271876
[startup+340.022 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 112452 0 0 0 33693 307 0 0 25 0 1 0 969682515 278536192 45997 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 68002 45997 301 301 0 67701 0
vsize: 272008
[startup+350.023 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 113577 0 0 0 34690 310 0 0 25 0 1 0 969682515 278671360 46035 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 68035 46035 301 301 0 67734 0
vsize: 272140
[startup+360.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 113588 0 0 0 35688 313 0 0 25 0 1 0 969682515 278671360 46046 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68035 46046 301 301 0 67734 0
vsize: 272140
[startup+370.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 113604 0 0 0 36685 316 0 0 25 0 1 0 969682515 278671360 46062 4294967295 134512640 135730672 3221224576 3221223072 134747516 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68035 46062 301 301 0 67734 0
vsize: 272140
[startup+380.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 114713 0 0 0 37682 319 0 0 25 0 1 0 969682515 278671360 46084 4294967295 134512640 135730672 3221224576 3221223072 134747575 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68035 46084 301 301 0 67734 0
vsize: 272140
[startup+390.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 114732 0 0 0 38681 320 0 0 25 0 1 0 969682515 278671360 46103 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68035 46103 301 301 0 67734 0
vsize: 272140
[startup+400.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 115832 0 0 0 39677 324 0 0 25 0 1 0 969682515 278671360 46116 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68035 46116 301 301 0 67734 0
vsize: 272140
[startup+410.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 116937 0 0 0 40674 327 0 0 25 0 1 0 969682515 278671360 46134 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68035 46134 301 301 0 67734 0
vsize: 272140
[startup+420.026 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 118068 0 0 0 41671 331 0 0 25 0 1 0 969682515 278867968 46178 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68083 46178 301 301 0 67782 0
vsize: 272332
[startup+430.026 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 119178 0 0 0 42667 335 0 0 25 0 1 0 969682515 279064576 46201 4294967295 134512640 135730672 3221224576 3221223072 134747657 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68131 46201 301 301 0 67830 0
vsize: 272524
[startup+440.027 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 119193 0 0 0 43665 337 0 0 25 0 1 0 969682515 279064576 46216 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68131 46216 301 301 0 67830 0
vsize: 272524
[startup+450.027 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 120302 0 0 0 44662 340 0 0 25 0 1 0 969682515 279064576 46238 4294967295 134512640 135730672 3221224576 3221223232 134734842 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68131 46238 301 301 0 67830 0
vsize: 272524
[startup+460.027 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 120407 0 0 0 45660 342 0 0 25 0 1 0 969682515 279457792 46343 4294967295 134512640 135730672 3221224576 3221223232 134734849 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68227 46343 301 301 0 67926 0
vsize: 272908
[startup+470.028 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 121507 0 0 0 46657 346 0 0 25 0 1 0 969682515 279457792 46356 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68227 46356 301 301 0 67926 0
vsize: 272908
[startup+480.029 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 122607 0 0 0 47653 350 0 0 25 0 1 0 969682515 279457792 46369 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68227 46369 301 301 0 67926 0
vsize: 272908
[startup+490.029 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 123714 0 0 0 48650 353 0 0 25 0 1 0 969682515 279457792 46389 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68227 46389 301 301 0 67926 0
vsize: 272908
[startup+500.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 124805 0 0 0 49646 357 0 0 25 0 1 0 969682515 279457792 46393 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68227 46393 301 301 0 67926 0
vsize: 272908
[startup+510.029 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 125909 0 0 0 50643 360 0 0 25 0 1 0 969682515 279654400 46410 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68275 46410 301 301 0 67974 0
vsize: 273100
[startup+520.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 127060 0 0 0 51639 364 0 0 25 0 1 0 969682515 279789568 46474 4294967295 134512640 135730672 3221224576 3221223072 134747590 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68308 46474 301 301 0 68007 0
vsize: 273232
[startup+530.031 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 127289 0 0 0 52638 366 0 0 25 0 1 0 969682515 280870912 46703 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68572 46703 301 301 0 68271 0
vsize: 274288
[startup+540.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 128401 0 0 0 53635 369 0 0 25 0 1 0 969682515 280870912 46728 4294967295 134512640 135730672 3221224576 3221223088 134745858 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68572 46728 301 301 0 68271 0
vsize: 274288
[startup+550.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 129533 0 0 0 54631 373 0 0 25 0 1 0 969682515 281141248 46773 4294967295 134512640 135730672 3221224576 3221223232 134734835 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68638 46773 301 301 0 68337 0
vsize: 274552
[startup+560.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 130655 0 0 0 55627 377 0 0 25 0 1 0 969682515 281276416 46808 4294967295 134512640 135730672 3221224576 3221223088 134745862 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68671 46808 301 301 0 68370 0
vsize: 274684
[startup+570.031 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 132858 0 0 0 56622 383 0 0 25 0 1 0 969682515 281276416 46837 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68671 46837 301 301 0 68370 0
vsize: 274684
[startup+580.031 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 133985 0 0 0 57618 387 0 0 25 0 1 0 969682515 281411584 46877 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68704 46877 301 301 0 68403 0
vsize: 274816
[startup+590.031 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 135108 0 0 0 58615 390 0 0 25 0 1 0 969682515 281546752 46913 4294967295 134512640 135730672 3221224576 3221223200 134783330 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68737 46913 301 301 0 68436 0
vsize: 274948
[startup+600.031 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 136200 0 0 0 59611 393 0 0 25 0 1 0 969682515 285999104 48005 4294967295 134512640 135730672 3221224576 3221222716 134765468 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 69824 48005 301 301 0 69523 0
vsize: 279296
[startup+610.031 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 137301 0 0 0 60608 397 0 0 25 0 1 0 969682515 281546752 46932 4294967295 134512640 135730672 3221224576 3221223072 134747471 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68737 46932 301 301 0 68436 0
vsize: 274948
[startup+620.031 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 137322 0 0 0 61607 399 0 0 25 0 1 0 969682515 281546752 46953 4294967295 134512640 135730672 3221224576 3221223232 134734829 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68737 46953 301 301 0 68436 0
vsize: 274948
[startup+630.031 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 138425 0 0 0 62602 403 0 0 25 0 1 0 969682515 285999104 48056 4294967295 134512640 135730672 3221224576 3221222760 134765483 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 69824 48056 301 301 0 69523 0
vsize: 279296
[startup+640.031 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 139593 0 0 0 63596 408 0 0 25 0 1 0 969682515 281952256 47050 4294967295 134512640 135730672 3221224576 3221222992 134741730 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68836 47050 301 301 0 68535 0
vsize: 275344
[startup+650.032 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 140698 0 0 0 64593 411 0 0 25 0 1 0 969682515 281952256 47068 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68836 47068 301 301 0 68535 0
vsize: 275344
[startup+660.032 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 140703 0 0 0 65591 413 0 0 25 0 1 0 969682515 281952256 47073 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68836 47073 301 301 0 68535 0
vsize: 275344
[startup+670.033 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 141864 0 0 0 66588 417 0 0 25 0 1 0 969682515 282284032 47147 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68917 47147 301 301 0 68616 0
vsize: 275668
[startup+680.033 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 143006 0 0 0 67583 422 0 0 25 0 1 0 969682515 282554368 47202 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68983 47202 301 301 0 68682 0
vsize: 275932
[startup+690.032 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 143024 0 0 0 68581 424 0 0 25 0 1 0 969682515 282554368 47220 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68983 47220 301 301 0 68682 0
vsize: 275932
[startup+700.033 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 143044 0 0 0 69579 426 0 0 25 0 1 0 969682515 282554368 47240 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68983 47240 301 301 0 68682 0
vsize: 275932
[startup+710.033 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 143111 0 0 0 70577 428 0 0 25 0 1 0 969682515 282824704 47307 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 69049 47307 301 301 0 68748 0
vsize: 276196
[startup+720.034 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 144243 0 0 0 71573 432 0 0 25 0 1 0 969682515 282959872 47352 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 69082 47352 301 301 0 68781 0
vsize: 276328
[startup+730.034 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 145356 0 0 0 72570 436 0 0 25 0 1 0 969682515 282959872 47378 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 69082 47378 301 301 0 68781 0
vsize: 276328
[startup+740.034 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 146450 0 0 0 73566 440 0 0 25 0 1 0 969682515 282959872 47385 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 69082 47385 301 301 0 68781 0
vsize: 276328
[startup+750.035 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 147541 0 0 0 74563 443 0 0 25 0 1 0 969682515 282959872 47389 4294967295 134512640 135730672 3221224576 3221222896 134732462 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 69082 47389 301 301 0 68781 0
vsize: 276328
[startup+760.035 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 147780 0 0 0 75560 446 0 0 25 0 1 0 969682515 284311552 47628 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 69412 47628 301 301 0 69111 0
vsize: 277648
[startup+770.036 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 148289 0 0 0 76559 448 0 0 25 0 1 0 969682515 286474240 48137 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 69940 48137 301 301 0 69639 0
vsize: 279760
[startup+780.036 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 149445 0 0 0 77556 451 0 0 25 0 1 0 969682515 286744576 48206 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 70006 48206 301 301 0 69705 0
vsize: 280024
[startup+790.036 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 150549 0 0 0 78551 455 0 0 25 0 1 0 969682515 286744576 48223 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 70006 48223 301 301 0 69705 0
vsize: 280024
[startup+800.036 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 151657 0 0 0 79548 459 0 0 25 0 1 0 969682515 286744576 48244 4294967295 134512640 135730672 3221224576 3221223232 134734780 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 70006 48244 301 301 0 69705 0
vsize: 280024
[startup+810.037 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 152762 0 0 0 80544 463 0 0 25 0 1 0 969682515 291196928 49349 4294967295 134512640 135730672 3221224576 3221222728 134765483 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 71093 49349 301 301 0 70792 0
vsize: 284372
[startup+820.038 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 152766 0 0 0 81543 464 0 0 25 0 1 0 969682515 286744576 48266 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 70006 48266 301 301 0 69705 0
vsize: 280024
[startup+830.038 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 152784 0 0 0 82542 465 0 0 25 0 1 0 969682515 286744576 48284 4294967295 134512640 135730672 3221224576 3221223088 134745860 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 70006 48284 301 301 0 69705 0
vsize: 280024
[startup+840.037 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 154976 0 0 0 83536 472 0 0 25 0 1 0 969682515 291196928 49389 4294967295 134512640 135730672 3221224576 3221222768 134772751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 71093 49389 301 301 0 70792 0
vsize: 284372
[startup+850.038 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 156081 0 0 0 84533 475 0 0 25 0 1 0 969682515 291196928 49407 4294967295 134512640 135730672 3221224576 3221222712 134765477 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 71093 49407 301 301 0 70792 0
vsize: 284372
[startup+860.039 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 156111 0 0 0 85531 477 0 0 25 0 1 0 969682515 286744576 48350 4294967295 134512640 135730672 3221224576 3221223168 134763998 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 70006 48350 301 301 0 69705 0
vsize: 280024
[startup+870.039 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 157225 0 0 0 86528 480 0 0 25 0 1 0 969682515 291196928 49464 4294967295 134512640 135730672 3221224576 3221222712 134765477 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 71093 49464 301 301 0 70792 0
vsize: 284372
[startup+880.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 158334 0 0 0 87524 484 0 0 25 0 1 0 969682515 291196928 49486 4294967295 134512640 135730672 3221224576 3221222712 134765483 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 71093 49486 301 301 0 70792 0
vsize: 284372
[startup+890.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 158337 0 0 0 88523 485 0 0 25 0 1 0 969682515 286744576 48402 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 70006 48402 301 301 0 69705 0
vsize: 280024
[startup+900.041 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 159431 0 0 0 89520 489 0 0 25 0 1 0 969682515 286744576 48409 4294967295 134512640 135730672 3221224576 3221222904 134739222 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 70006 48409 301 301 0 69705 0
vsize: 280024
[startup+910.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 160538 0 0 0 90516 493 0 0 25 0 1 0 969682515 286744576 48429 4294967295 134512640 135730672 3221224576 3221223072 134747730 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 70006 48429 301 301 0 69705 0
vsize: 280024
[startup+920.042 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 160604 0 0 0 91515 494 0 0 25 0 1 0 969682515 287014912 48495 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 70072 48495 301 301 0 69771 0
vsize: 280288
[startup+930.042 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 161712 0 0 0 92511 498 0 0 25 0 1 0 969682515 287014912 48516 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 70072 48516 301 301 0 69771 0
vsize: 280288
[startup+940.043 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 162820 0 0 0 93508 501 0 0 25 0 1 0 969682515 287014912 48537 4294967295 134512640 135730672 3221224576 3221223232 134734849 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 70072 48537 301 301 0 69771 0
vsize: 280288
[startup+950.044 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 163921 0 0 0 94504 504 0 0 25 0 1 0 969682515 287014912 48551 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 70072 48551 301 301 0 69771 0
vsize: 280288
[startup+960.044 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 163955 0 0 0 95503 506 0 0 25 0 1 0 969682515 287150080 48585 4294967295 134512640 135730672 3221224576 3221223232 134734829 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 70105 48585 301 301 0 69804 0
vsize: 280420
[startup+970.045 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 165050 0 0 0 96499 510 0 0 25 0 1 0 969682515 287150080 48593 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 70105 48593 301 301 0 69804 0
vsize: 280420
[startup+980.046 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 165068 0 0 0 97497 513 0 0 25 0 1 0 969682515 287150080 48611 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 70105 48611 301 301 0 69804 0
vsize: 280420
[startup+990.046 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 166176 0 0 0 98493 516 0 0 25 0 1 0 969682515 287150080 48632 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 70105 48632 301 301 0 69804 0
vsize: 280420
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 167283 0 0 0 99490 520 0 0 25 0 1 0 969682515 287150080 48652 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 70105 48652 301 301 0 69804 0
vsize: 280420
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 167329 0 0 0 100487 522 0 0 25 0 1 0 969682515 287285248 48698 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 70138 48698 301 301 0 69837 0
vsize: 280552
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 168435 0 0 0 101483 526 0 0 25 0 1 0 969682515 287285248 48717 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 70138 48717 301 301 0 69837 0
vsize: 280552
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 169532 0 0 0 102480 530 0 0 25 0 1 0 969682515 287285248 48727 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 70138 48727 301 301 0 69837 0
vsize: 280552
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 170624 0 0 0 103476 534 0 0 25 0 1 0 969682515 287285248 48732 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 70138 48732 301 301 0 69837 0
vsize: 280552
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 170637 0 0 0 104474 536 0 0 25 0 1 0 969682515 287285248 48745 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 70138 48745 301 301 0 69837 0
vsize: 280552
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 170655 0 0 0 105473 537 0 0 25 0 1 0 969682515 287285248 48763 4294967295 134512640 135730672 3221224576 3221223088 134746077 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 70138 48763 301 301 0 69837 0
vsize: 280552
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 171947 0 0 0 106469 541 0 0 25 0 1 0 969682515 288231424 48968 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 70369 48968 301 301 0 70068 0
vsize: 281476
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 173060 0 0 0 107465 545 0 0 25 0 1 0 969682515 288231424 48994 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 70369 48994 301 301 0 70068 0
vsize: 281476
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 174161 0 0 0 108462 549 0 0 25 0 1 0 969682515 321785856 49008 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 78561 49008 301 301 0 78260 0
vsize: 314244
[startup+1100.06 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 175257 0 0 0 109458 552 0 0 25 0 1 0 969682515 321785856 49017 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 78561 49017 301 301 0 78260 0
vsize: 314244
[startup+1110.06 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 176349 0 0 0 110455 556 0 0 25 0 1 0 969682515 321785856 49022 4294967295 134512640 135730672 3221224576 3221223072 134747768 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 78561 49022 301 301 0 78260 0
vsize: 314244
[startup+1120.06 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 177449 0 0 0 111450 560 0 0 25 0 1 0 969682515 321785856 49035 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 78561 49035 301 301 0 78260 0
vsize: 314244
[startup+1130.06 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 177470 0 0 0 112448 562 0 0 25 0 1 0 969682515 321785856 49056 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 78561 49056 301 301 0 78260 0
vsize: 314244
[startup+1140.06 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 178572 0 0 0 113445 566 0 0 25 0 1 0 969682515 321785856 49071 4294967295 134512640 135730672 3221224576 3221223072 134747578 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 78561 49071 301 301 0 78260 0
vsize: 314244
[startup+1150.06 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 179675 0 0 0 114441 570 0 0 25 0 1 0 969682515 321785856 49087 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 78561 49087 301 301 0 78260 0
vsize: 314244
[startup+1160.06 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 179810 0 0 0 115439 572 0 0 25 0 1 0 969682515 322326528 49222 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 78693 49222 301 301 0 78392 0
vsize: 314772
[startup+1170.06 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 180924 0 0 0 116435 576 0 0 25 0 1 0 969682515 322461696 49249 4294967295 134512640 135730672 3221224576 3221223072 134747463 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 78726 49249 301 301 0 78425 0
vsize: 314904
[startup+1180.06 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 182075 0 0 0 117432 580 0 0 25 0 1 0 969682515 322732032 49313 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 78792 49313 301 301 0 78491 0
vsize: 315168
[startup+1190.06 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 183178 0 0 0 118428 584 0 0 25 0 1 0 969682515 322732032 49329 4294967295 134512640 135730672 3221224576 3221223072 134747578 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 78792 49329 301 301 0 78491 0
vsize: 315168
[startup+1200.06 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 24451
Raw data (stat): 24451 (pb2sat-v2) R 24450 21152 21151 0 -1 0 184282 0 0 0 119423 589 0 0 25 0 1 0 969682515 322732032 49346 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 78792 49346 301 301 0 78491 0
vsize: 315168
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1201.49 s]
Raw data (loadavg): 0.99 0.97 0.94 1/54 24451
Raw data (stat): 24451 (pb2sat-v2) Z 24450 21152 21151 0 -1 12 184284 0 0 0 119555 598 0 0 25 0 1 0 969682515 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.49
CPU time (s): 1201.54
CPU user time (s): 1195.56
CPU system time (s): 5.98809
CPU usage (%): 100.005
Max. virtual memory (Kb): 315168
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####