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/miplib2003/normalized-mps-v2-20-10-liu.opb
MD5SUM	7c5b217de8d505f751f776306b4ebb3a
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	3145687
Optimality of the best value was proved	NO
Number of terms in the objective function	30
Biggest coefficient in the objective function	536870912
Number of bits for the biggest coefficient in the objective function	30
Sum of the numbers in the objective function	1073741823
Number of bits of the sum of numbers in the objective function	30
Biggest number in a constraint	536870912
Number of bits of the biggest number in a constraint	30
Biggest sum of numbers in a constraint	2182184958
Number of bits of the biggest sum of numbers	32
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	3785.95
Number of variables	3099
Total number of constraints	3267
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	1089
Number of constraints which are nor clauses,nor cardinality constraints	2178
Minimum length of a constraint	1
Maximum length of a constraint	63
Trace number 42463

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        704740 kB
Buffers:         33472 kB
Cached:         273336 kB
SwapCached:       1028 kB
Active:          39460 kB
Inactive:       269572 kB
HighTotal:      131008 kB
HighFree:          840 kB
LowTotal:       903652 kB
LowFree:        703900 kB
SwapTotal:     2097136 kB
SwapFree:      2095200 kB
Dirty:              44 kB
Writeback:           0 kB
Mapped:           5092 kB
Slab:            15220 kB
Committed_AS:    63848 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 08:20:19 (client local time) WITH STATUS 0 IN 1201.84 SECONDS
stats: 25671 7 1201.84 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 6566/689565	Time: 496.618/86400
c Decision: 6566/689565	Time: 548.001/86400
c Decision: 6566/689565	Time: 599.79/86400
c Decision: 6566/689565	Time: 659.679/86400
c Decision: 6566/689565	Time: 710.922/86400
c Decision: 6566/689565	Time: 773.464/86400
c Decision: 6566/689565	Time: 824.736/86400
c Decision: 6566/689565	Time: 867.649/86400
c Decision: 6566/689565	Time: 916.928/86400
c Decision: 6566/689565	Time: 967.993/86400
c Decision: 6566/689565	Time: 1014.2/86400
c Decision: 6566/689565	Time: 1064.53/86400
c Decision: 6566/689565	Time: 1116.41/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.92 0.95 0.90 2/54 16690
Raw data (stat): 16690 (runsolver) R 16689 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 969154407 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.001 s]
Raw data (loadavg): 0.93 0.95 0.91 2/54 16690
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 25662 0 0 0 940 59 0 0 25 0 1 0 969154407 76075008 14520 4294967295 134512640 135730672 3221224576 3221211456 135288528 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18573 14520 301 301 0 18272 0
vsize: 74292
[startup+20.0017 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 16690
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 51321 0 0 0 1882 117 0 0 25 0 1 0 969154407 150605824 28948 4294967295 134512640 135730672 3221224576 3221211712 134549381 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36769 28948 301 301 0 36468 0
vsize: 147076
[startup+30.0023 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 16690
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 89122 0 0 0 2802 197 0 0 25 0 1 0 969154407 265793536 45053 4294967295 134512640 135730672 3221224576 3221193116 134607993 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 64891 45053 301 301 0 64590 0
vsize: 259564
[startup+40.0032 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 16690
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 93934 0 0 0 3788 211 0 0 25 0 1 0 969154407 271310848 48477 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 66238 48477 301 301 0 65937 0
vsize: 264952
[startup+50.004 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 16690
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 93934 0 0 0 4787 212 0 0 25 0 1 0 969154407 271310848 48477 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 66238 48477 301 301 0 65937 0
vsize: 264952
[startup+60.0045 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 16692
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 93936 0 0 0 5786 214 0 0 25 0 1 0 969154407 271310848 48479 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 66238 48479 301 301 0 65937 0
vsize: 264952
[startup+70.0046 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 16692
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 93936 0 0 0 6784 216 0 0 25 0 1 0 969154407 271310848 48479 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 66238 48479 301 301 0 65937 0
vsize: 264952
[startup+80.0044 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 16692
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 93936 0 0 0 7782 219 0 0 25 0 1 0 969154407 271310848 48479 4294967295 134512640 135730672 3221224576 3221223264 134748570 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 66238 48479 301 301 0 65937 0
vsize: 264952
[startup+90.0049 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 16692
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 93936 0 0 0 8780 221 0 0 25 0 1 0 969154407 271310848 48479 4294967295 134512640 135730672 3221224576 3221223072 134747834 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 66238 48479 301 301 0 65937 0
vsize: 264952
[startup+100.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 16692
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 94402 0 0 0 9779 223 0 0 25 0 1 0 969154407 273723392 48945 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 66827 48945 301 301 0 66526 0
vsize: 267308
[startup+110.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 16692
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 95375 0 0 0 10775 226 0 0 25 0 1 0 969154407 278663168 49918 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68033 49918 301 301 0 67732 0
vsize: 272132
[startup+120.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16692
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 96179 0 0 0 11774 228 0 0 25 0 1 0 969154407 282882048 50722 4294967295 134512640 135730672 3221224576 3221222896 134732772 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 69063 50722 301 301 0 68762 0
vsize: 276252
[startup+130.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16692
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 96513 0 0 0 12773 229 0 0 25 0 1 0 969154407 284590080 51056 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 69480 51056 301 301 0 69179 0
vsize: 277920
[startup+140.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16692
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 96728 0 0 0 13773 230 0 0 25 0 1 0 969154407 285671424 51271 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 69744 51271 301 301 0 69443 0
vsize: 278976
[startup+150.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16692
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 97164 0 0 0 14772 231 0 0 25 0 1 0 969154407 287834112 51707 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 70272 51707 301 301 0 69971 0
vsize: 281088
[startup+160.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16692
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 97441 0 0 0 15771 232 0 0 25 0 1 0 969154407 289087488 51984 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 70578 51984 301 301 0 70277 0
vsize: 282312
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16692
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 97577 0 0 0 16771 233 0 0 25 0 1 0 969154407 289689600 52120 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 70725 52120 301 301 0 70424 0
vsize: 282900
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16692
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 97694 0 0 0 17770 234 0 0 25 0 1 0 969154407 290230272 52237 4294967295 134512640 135730672 3221224576 3221223072 134747927 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 70857 52237 301 301 0 70556 0
vsize: 283428
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16692
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 97792 0 0 0 18771 234 0 0 25 0 1 0 969154407 290758656 52335 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 70986 52335 301 301 0 70685 0
vsize: 283944
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16692
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 97897 0 0 0 19770 235 0 0 25 0 1 0 969154407 291287040 52440 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 71115 52440 301 301 0 70814 0
vsize: 284460
[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16692
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 98095 0 0 0 20769 237 0 0 25 0 1 0 969154407 292343808 52638 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 71373 52638 301 301 0 71072 0
vsize: 285492
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16692
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 98218 0 0 0 21768 238 0 0 25 0 1 0 969154407 293007360 52761 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 71535 52761 301 301 0 71234 0
vsize: 286140
[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16692
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 98418 0 0 0 22768 238 0 0 25 0 1 0 969154407 293879808 52961 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 71748 52961 301 301 0 71447 0
vsize: 286992
[startup+240.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16692
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 98459 0 0 0 23768 239 0 0 25 0 1 0 969154407 294014976 53002 4294967295 134512640 135730672 3221224576 3221223200 134748143 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 71781 53002 301 301 0 71480 0
vsize: 287124
[startup+250.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16692
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 98531 0 0 0 24767 239 0 0 25 0 1 0 969154407 294617088 53074 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 71928 53074 301 301 0 71627 0
vsize: 287712
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16692
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 98649 0 0 0 25767 240 0 0 25 0 1 0 969154407 295084032 53192 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 72042 53192 301 301 0 71741 0
vsize: 288168
[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16692
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 98802 0 0 0 26766 241 0 0 25 0 1 0 969154407 295956480 53345 4294967295 134512640 135730672 3221224576 3221223212 134748066 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 72255 53345 301 301 0 71954 0
vsize: 289020
[startup+280.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16692
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 98825 0 0 0 27766 242 0 0 25 0 1 0 969154407 296091648 53368 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 72288 53368 301 301 0 71987 0
vsize: 289152
[startup+290.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16692
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 98964 0 0 0 28766 242 0 0 25 0 1 0 969154407 296902656 53507 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 72486 53507 301 301 0 72185 0
vsize: 289944
[startup+300.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16692
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 99015 0 0 0 29766 243 0 0 25 0 1 0 969154407 297037824 53558 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 72519 53558 301 301 0 72218 0
vsize: 290076
[startup+310.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16694
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 99026 0 0 0 30766 243 0 0 25 0 1 0 969154407 297037824 53569 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 72519 53569 301 301 0 72218 0
vsize: 290076
[startup+320.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16694
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 99071 0 0 0 31765 244 0 0 25 0 1 0 969154407 297234432 53614 4294967295 134512640 135730672 3221224576 3221223200 134748158 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 72567 53614 301 301 0 72266 0
vsize: 290268
[startup+330.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16694
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 99141 0 0 0 32765 245 0 0 25 0 1 0 969154407 297639936 53684 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 72666 53684 301 301 0 72365 0
vsize: 290664
[startup+340.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16694
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 99148 0 0 0 33765 245 0 0 25 0 1 0 969154407 297639936 53691 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 72666 53691 301 301 0 72365 0
vsize: 290664
[startup+350.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16694
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 99227 0 0 0 34765 246 0 0 25 0 1 0 969154407 298045440 53770 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 72765 53770 301 301 0 72464 0
vsize: 291060
[startup+360.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16694
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 99232 0 0 0 35764 247 0 0 25 0 1 0 969154407 298045440 53775 4294967295 134512640 135730672 3221224576 3221223072 134747711 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 72765 53775 301 301 0 72464 0
vsize: 291060
[startup+370.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16694
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 99303 0 0 0 36764 247 0 0 25 0 1 0 969154407 298315776 53846 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 72831 53846 301 301 0 72530 0
vsize: 291324
[startup+380.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16694
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 99365 0 0 0 37764 248 0 0 25 0 1 0 969154407 298721280 53908 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 72930 53908 301 301 0 72629 0
vsize: 291720
[startup+390.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16694
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 99407 0 0 0 38763 248 0 0 25 0 1 0 969154407 298991616 53950 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 72996 53950 301 301 0 72695 0
vsize: 291984
[startup+400.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16694
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 99427 0 0 0 39763 249 0 0 25 0 1 0 969154407 298991616 53970 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 72996 53970 301 301 0 72695 0
vsize: 291984
[startup+410.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16694
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 99431 0 0 0 40763 250 0 0 25 0 1 0 969154407 298991616 53974 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 72996 53974 301 301 0 72695 0
vsize: 291984
[startup+420.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16694
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 99502 0 0 0 41763 250 0 0 25 0 1 0 969154407 299397120 54045 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 73095 54045 301 301 0 72794 0
vsize: 292380
[startup+430.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16694
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 99523 0 0 0 42763 251 0 0 25 0 1 0 969154407 299532288 54066 4294967295 134512640 135730672 3221224576 3221223184 134748227 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 73128 54066 301 301 0 72827 0
vsize: 292512
[startup+440.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16694
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 99631 0 0 0 43762 252 0 0 25 0 1 0 969154407 300072960 54174 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 73260 54174 301 301 0 72959 0
vsize: 293040
[startup+450.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16694
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 99746 0 0 0 44762 252 0 0 25 0 1 0 969154407 300748800 54289 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 73425 54289 301 301 0 73124 0
vsize: 293700
[startup+460.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16694
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 99849 0 0 0 45761 253 0 0 25 0 1 0 969154407 301289472 54392 4294967295 134512640 135730672 3221224576 3221223072 134747616 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 73557 54392 301 301 0 73256 0
vsize: 294228
[startup+470.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16694
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 99939 0 0 0 46760 254 0 0 25 0 1 0 969154407 301694976 54482 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 73656 54482 301 301 0 73355 0
vsize: 294624
[startup+480.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16694
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 100036 0 0 0 47760 255 0 0 25 0 1 0 969154407 302235648 54579 4294967295 134512640 135730672 3221224576 3221223072 134747856 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 73788 54579 301 301 0 73487 0
vsize: 295152
[startup+490.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16694
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 100040 0 0 0 48759 256 0 0 25 0 1 0 969154407 302235648 54583 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 73788 54583 301 301 0 73487 0
vsize: 295152
[startup+500.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16694
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 100045 0 0 0 49759 257 0 0 25 0 1 0 969154407 302235648 54588 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 73788 54588 301 301 0 73487 0
vsize: 295152
[startup+510.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16694
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 100051 0 0 0 50759 258 0 0 25 0 1 0 969154407 302235648 54594 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 73788 54594 301 301 0 73487 0
vsize: 295152
[startup+520.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16694
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 100082 0 0 0 51758 258 0 0 25 0 1 0 969154407 302370816 54625 4294967295 134512640 135730672 3221224576 3221223232 134734780 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 73821 54625 301 301 0 73520 0
vsize: 295284
[startup+530.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16694
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 101448 0 0 0 52755 262 0 0 25 0 1 0 969154407 302370816 54644 4294967295 134512640 135730672 3221224576 3221223200 134748255 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 73821 54644 301 301 0 73520 0
vsize: 295284
[startup+540.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16694
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 101496 0 0 0 53754 263 0 0 25 0 1 0 969154407 302641152 54692 4294967295 134512640 135730672 3221224576 3221223168 134764020 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 73887 54692 301 301 0 73586 0
vsize: 295548
[startup+550.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16694
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 101545 0 0 0 54754 264 0 0 25 0 1 0 969154407 302911488 54741 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 73953 54741 301 301 0 73652 0
vsize: 295812
[startup+560.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16694
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 101554 0 0 0 55753 265 0 0 25 0 1 0 969154407 302911488 54750 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 73953 54750 301 301 0 73652 0
vsize: 295812
[startup+570.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16694
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 101555 0 0 0 56753 265 0 0 25 0 1 0 969154407 302911488 54751 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 73953 54751 301 301 0 73652 0
vsize: 295812
[startup+580.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16694
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 102942 0 0 0 57749 269 0 0 25 0 1 0 969154407 303046656 54791 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 73986 54791 301 301 0 73685 0
vsize: 295944
[startup+590.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16694
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 103119 0 0 0 58749 270 0 0 25 0 1 0 969154407 303976448 54935 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 74213 54935 301 301 0 73912 0
vsize: 296852
[startup+600.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16694
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 103198 0 0 0 59748 271 0 0 25 0 1 0 969154407 304308224 55014 4294967295 134512640 135730672 3221224576 3221223072 134747862 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 74294 55014 301 301 0 73993 0
vsize: 297176
[startup+610.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16694
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 103201 0 0 0 60748 272 0 0 25 0 1 0 969154407 304308224 55017 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 74294 55017 301 301 0 73993 0
vsize: 297176
[startup+620.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16694
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 103242 0 0 0 61747 273 0 0 25 0 1 0 969154407 304635904 55058 4294967295 134512640 135730672 3221224576 3221223216 134748259 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 74374 55058 301 301 0 74073 0
vsize: 297496
[startup+630.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16694
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 104611 0 0 0 62744 277 0 0 25 0 1 0 969154407 310153216 56427 4294967295 134512640 135730672 3221224576 3221222728 134765483 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75721 56427 301 301 0 75420 0
vsize: 302884
[startup+640.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16694
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 104673 0 0 0 63743 278 0 0 25 0 1 0 969154407 304934912 55142 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 74447 55142 301 301 0 74146 0
vsize: 297788
[startup+650.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16694
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 104740 0 0 0 64743 278 0 0 25 0 1 0 969154407 305340416 55209 4294967295 134512640 135730672 3221224576 3221223200 134748163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 74546 55209 301 301 0 74245 0
vsize: 298184
[startup+660.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16694
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 104742 0 0 0 65743 279 0 0 25 0 1 0 969154407 305340416 55211 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 74546 55211 301 301 0 74245 0
vsize: 298184
[startup+670.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16694
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 104832 0 0 0 66742 280 0 0 25 0 1 0 969154407 305881088 55301 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 74678 55301 301 301 0 74377 0
vsize: 298712
[startup+680.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16694
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 104834 0 0 0 67742 281 0 0 25 0 1 0 969154407 305881088 55303 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 74678 55303 301 301 0 74377 0
vsize: 298712
[startup+690.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16694
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 106271 0 0 0 68739 284 0 0 25 0 1 0 969154407 311799808 56707 4294967295 134512640 135730672 3221224576 3221222732 134765468 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 76123 56707 301 301 0 75822 0
vsize: 304492
[startup+700.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16694
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 106309 0 0 0 69738 285 0 0 25 0 1 0 969154407 306417664 55398 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 74809 55398 301 301 0 74508 0
vsize: 299236
[startup+710.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16694
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 106351 0 0 0 70738 285 0 0 25 0 1 0 969154407 306688000 55440 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 74875 55440 301 301 0 74574 0
vsize: 299500
[startup+720.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16694
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 106388 0 0 0 71737 286 0 0 25 0 1 0 969154407 306958336 55477 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 74941 55477 301 301 0 74640 0
vsize: 299764
[startup+730.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16694
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 106513 0 0 0 72737 287 0 0 25 0 1 0 969154407 307634176 55602 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75106 55602 301 301 0 74805 0
vsize: 300424
[startup+740.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16694
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 106535 0 0 0 73736 288 0 0 25 0 1 0 969154407 307769344 55624 4294967295 134512640 135730672 3221224576 3221223088 134745860 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75139 55624 301 301 0 74838 0
vsize: 300556
[startup+750.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16694
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 107912 0 0 0 74734 290 0 0 25 0 1 0 969154407 307904512 55654 4294967295 134512640 135730672 3221224576 3221223264 134748452 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75172 55654 301 301 0 74871 0
vsize: 300688
[startup+760.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16694
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 107944 0 0 0 75733 291 0 0 25 0 1 0 969154407 308039680 55686 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75205 55686 301 301 0 74904 0
vsize: 300820
[startup+770.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16694
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 107962 0 0 0 76733 292 0 0 25 0 1 0 969154407 308174848 55704 4294967295 134512640 135730672 3221224576 3221223072 134747878 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75238 55704 301 301 0 74937 0
vsize: 300952
[startup+780.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16694
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 107963 0 0 0 77733 293 0 0 25 0 1 0 969154407 308174848 55705 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75238 55705 301 301 0 74937 0
vsize: 300952
[startup+790.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16694
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 107966 0 0 0 78732 293 0 0 25 0 1 0 969154407 308174848 55708 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75238 55708 301 301 0 74937 0
vsize: 300952
[startup+800.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16694
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 107976 0 0 0 79732 294 0 0 25 0 1 0 969154407 308174848 55718 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75238 55718 301 301 0 74937 0
vsize: 300952
[startup+810.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16694
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 109362 0 0 0 80728 299 0 0 25 0 1 0 969154407 308338688 55757 4294967295 134512640 135730672 3221224576 3221223072 134747477 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75278 55757 301 301 0 74977 0
vsize: 301112
[startup+820.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16694
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 109370 0 0 0 81727 299 0 0 25 0 1 0 969154407 308338688 55765 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75278 55765 301 301 0 74977 0
vsize: 301112
[startup+830.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16694
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 109433 0 0 0 82727 300 0 0 25 0 1 0 969154407 308908032 55828 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75417 55828 301 301 0 75116 0
vsize: 301668
[startup+840.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16694
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 109481 0 0 0 83727 301 0 0 25 0 1 0 969154407 309178368 55876 4294967295 134512640 135730672 3221224576 3221222824 135284655 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75483 55876 301 301 0 75182 0
vsize: 301932
[startup+850.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16694
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 109510 0 0 0 84726 302 0 0 25 0 1 0 969154407 309313536 55905 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75516 55905 301 301 0 75215 0
vsize: 302064
[startup+860.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16694
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 110900 0 0 0 85723 305 0 0 25 0 1 0 969154407 309583872 55948 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75582 55948 301 301 0 75281 0
vsize: 302328
[startup+870.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16694
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 110924 0 0 0 86723 306 0 0 25 0 1 0 969154407 309719040 55972 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75615 55972 301 301 0 75314 0
vsize: 302460
[startup+880.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16694
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 110967 0 0 0 87722 307 0 0 25 0 1 0 969154407 309985280 56015 4294967295 134512640 135730672 3221224576 3221222896 134732452 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75680 56015 301 301 0 75379 0
vsize: 302720
[startup+890.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16694
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 110973 0 0 0 88722 307 0 0 25 0 1 0 969154407 309985280 56021 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75680 56021 301 301 0 75379 0
vsize: 302720
[startup+900.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16694
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 112322 0 0 0 89718 312 0 0 25 0 1 0 969154407 309985280 56023 4294967295 134512640 135730672 3221224576 3221223072 134747575 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75680 56023 301 301 0 75379 0
vsize: 302720
[startup+910.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16694
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 112424 0 0 0 90718 313 0 0 25 0 1 0 969154407 310661120 56125 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75845 56125 301 301 0 75544 0
vsize: 303380
[startup+920.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16694
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 112498 0 0 0 91718 313 0 0 25 0 1 0 969154407 311066624 56199 4294967295 134512640 135730672 3221224576 3221222904 134739217 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75944 56199 301 301 0 75643 0
vsize: 303776
[startup+930.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16694
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 112502 0 0 0 92717 314 0 0 25 0 1 0 969154407 311066624 56203 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75944 56203 301 301 0 75643 0
vsize: 303776
[startup+940.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16694
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 112528 0 0 0 93717 314 0 0 25 0 1 0 969154407 311201792 56229 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75977 56229 301 301 0 75676 0
vsize: 303908
[startup+950.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16694
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 113882 0 0 0 94713 319 0 0 25 0 1 0 969154407 311201792 56236 4294967295 134512640 135730672 3221224576 3221223072 134747842 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75977 56236 301 301 0 75676 0
vsize: 303908
[startup+960.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16694
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 114132 0 0 0 95712 320 0 0 25 0 1 0 969154407 312274944 56420 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 76239 56420 301 301 0 75938 0
vsize: 304956
[startup+970.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16694
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 114139 0 0 0 96711 321 0 0 25 0 1 0 969154407 312274944 56427 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 76239 56427 301 301 0 75938 0
vsize: 304956
[startup+980.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16694
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 114141 0 0 0 97711 322 0 0 25 0 1 0 969154407 312274944 56429 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 76239 56429 301 301 0 75938 0
vsize: 304956
[startup+990.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16694
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 114199 0 0 0 98712 322 0 0 25 0 1 0 969154407 312406016 56454 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 76271 56454 301 301 0 75970 0
vsize: 305084
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16694
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 115551 0 0 0 99710 326 0 0 25 0 1 0 969154407 312406016 56459 4294967295 134512640 135730672 3221224576 3221223200 134748138 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 76271 56459 301 301 0 75970 0
vsize: 305084
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16694
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 115632 0 0 0 100709 327 0 0 25 0 1 0 969154407 312811520 56540 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 76370 56540 301 301 0 76069 0
vsize: 305480
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16694
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 115730 0 0 0 101708 328 0 0 25 0 1 0 969154407 313212928 56605 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 76468 56605 301 301 0 76167 0
vsize: 305872
[startup+1030.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16694
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 115827 0 0 0 102708 328 0 0 25 0 1 0 969154407 313753600 56702 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 76600 56702 301 301 0 76299 0
vsize: 306400
[startup+1040.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16694
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 115885 0 0 0 103708 329 0 0 25 0 1 0 969154407 313884672 56727 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 76632 56727 301 301 0 76331 0
vsize: 306528
[startup+1050.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16694
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 117281 0 0 0 104705 333 0 0 25 0 1 0 969154407 314155008 56776 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 76698 56776 301 301 0 76397 0
vsize: 306792
[startup+1060.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16694
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 117306 0 0 0 105705 333 0 0 25 0 1 0 969154407 314155008 56801 4294967295 134512640 135730672 3221224576 3221223072 134747587 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 76698 56801 301 301 0 76397 0
vsize: 306792
[startup+1070.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16694
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 117330 0 0 0 106704 334 0 0 25 0 1 0 969154407 314290176 56825 4294967295 134512640 135730672 3221224576 3221222896 134732515 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 76731 56825 301 301 0 76430 0
vsize: 306924
[startup+1080.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16694
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 117335 0 0 0 107704 334 0 0 25 0 1 0 969154407 314290176 56830 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 76731 56830 301 301 0 76430 0
vsize: 306924
[startup+1090.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16694
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 117354 0 0 0 108704 335 0 0 25 0 1 0 969154407 314425344 56849 4294967295 134512640 135730672 3221224576 3221223232 134748656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 76764 56849 301 301 0 76463 0
vsize: 307056
[startup+1100.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16694
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 118792 0 0 0 109700 339 0 0 25 0 1 0 969154407 314826752 56907 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 76862 56907 301 301 0 76561 0
vsize: 307448
[startup+1110.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16694
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 118809 0 0 0 110700 340 0 0 25 0 1 0 969154407 314826752 56924 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 76862 56924 301 301 0 76561 0
vsize: 307448
[startup+1120.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16694
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 118811 0 0 0 111700 340 0 0 25 0 1 0 969154407 314826752 56926 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 76862 56926 301 301 0 76561 0
vsize: 307448
[startup+1130.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16694
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 118813 0 0 0 112699 341 0 0 25 0 1 0 969154407 314826752 56928 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 76862 56928 301 301 0 76561 0
vsize: 307448
[startup+1140.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16694
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 118824 0 0 0 113699 341 0 0 25 0 1 0 969154407 314826752 56939 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 76862 56939 301 301 0 76561 0
vsize: 307448
[startup+1150.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16694
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 120172 0 0 0 114695 346 0 0 25 0 1 0 969154407 314826752 56940 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 76862 56940 301 301 0 76561 0
vsize: 307448
[startup+1160.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16694
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 120192 0 0 0 115695 347 0 0 25 0 1 0 969154407 314961920 56960 4294967295 134512640 135730672 3221224576 3221222896 134732479 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 76895 56960 301 301 0 76594 0
vsize: 307580
[startup+1170.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16694
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 120194 0 0 0 116694 348 0 0 25 0 1 0 969154407 314961920 56962 4294967295 134512640 135730672 3221224576 3221222988 135109339 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 76895 56962 301 301 0 76594 0
vsize: 307580
[startup+1180.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16694
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 120199 0 0 0 117693 349 0 0 25 0 1 0 969154407 314961920 56967 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 76895 56967 301 301 0 76594 0
vsize: 307580
[startup+1190.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16694
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 120202 0 0 0 118693 349 0 0 25 0 1 0 969154407 314961920 56970 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 76895 56970 301 301 0 76594 0
vsize: 307580
[startup+1200.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16694
Raw data (stat): 16690 (pb2sat-v2) R 16689 25568 25567 0 -1 0 120239 0 0 0 119693 350 0 0 25 0 1 0 969154407 315232256 57007 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 76961 57007 301 301 0 76660 0
vsize: 307844
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1201.47 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 16694
Raw data (stat): 16690 (pb2sat-v2) Z 16689 25568 25567 0 -1 12 120241 0 0 0 119822 361 0 0 25 0 1 0 969154407 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.47
CPU time (s): 1201.84
CPU user time (s): 1198.23
CPU system time (s): 3.61645
CPU usage (%): 100.031
Max. virtual memory (Kb): 307844
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####