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/miplib/normalized-mps-v2-20-10-fixnet4.opb
MD5SUM	c588849b8a310510484f5bf14bc15ec4
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	13668
Biggest coefficient in the objective function	5368709120
Number of bits for the biggest coefficient in the objective function	33
Sum of the numbers in the objective function	2423922177090
Number of bits of the sum of numbers in the objective function	42
Biggest number in a constraint	5368709120
Number of bits of the biggest number in a constraint	33
Biggest sum of numbers in a constraint	2423922177090
Number of bits of the biggest sum of numbers	42
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.122981
Number of variables	14036
Total number of constraints	978
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	378
Number of constraints which are nor clauses,nor cardinality constraints	600
Minimum length of a constraint	1
Maximum length of a constraint	1523
Trace number 42397

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-16 06:22:58 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25611 boxname=wulflinc1 idbench=911 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  c588849b8a310510484f5bf14bc15ec4  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-fixnet4.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-fixnet4.opb
IDLAUNCH: 25611
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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.053
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:        702728 kB
Buffers:         33348 kB
Cached:         274180 kB
SwapCached:       1192 kB
Active:          40388 kB
Inactive:       269460 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        702476 kB
SwapTotal:     2097136 kB
SwapFree:      2094880 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5364 kB
Slab:            16280 kB
Committed_AS:    92716 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 06:43:01 (client local time) WITH STATUS 0 IN 1202.31 SECONDS
stats: 25611 7 1202.31 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 604393/1600886	Time: 75.7075/86400
c Decision: 604398/1600886	Time: 126.242/86400
c Decision: 604398/1600886	Time: 158.584/86400
c Decision: 604398/1600886	Time: 193.87/86400
c Decision: 604398/1600886	Time: 231.431/86400
c Decision: 604398/1600886	Time: 261.396/86400
c Decision: 604398/1600886	Time: 297.776/86400
c Decision: 604398/1600886	Time: 333.845/86400
c Decision: 604398/1600886	Time: 355.803/86400
c Decision: 604398/1600886	Time: 380.232/86400
c Decision: 604398/1600886	Time: 412.37/86400
c Decision: 604398/1600886	Time: 445.271/86400
c Decision: 604398/1600886	Time: 476.149/86400
c Decision: 604398/1600886	Time: 506.301/86400
c Decision: 604398/1600886	Time: 537.274/86400
c Decision: 604398/1600886	Time: 569.175/86400
c Decision: 604417/1600886	Time: 606.99/86400
c Decision: 604417/1600886	Time: 637.258/86400
c Decision: 604417/1600886	Time: 670.057/86400
c Decision: 604417/1600886	Time: 697.176/86400
c Decision: 604417/1600886	Time: 742.29/86400
c Decision: 604417/1600886	Time: 769.164/86400
c Decision: 604417/1600886	Time: 793.171/86400
c Decision: 604417/1600886	Time: 820.414/86400
c Decision: 604417/1600886	Time: 843.676/86400
c Decision: 604417/1600886	Time: 872.442/86400
c Decision: 604417/1600886	Time: 894.829/86400
c Decision: 604417/1600886	Time: 917.318/86400
c Decision: 604417/1600886	Time: 940.206/86400
c Decision: 604417/1600886	Time: 963.738/86400
c Decision: 604417/1600886	Time: 992.352/86400
c Decision: 604417/1600886	Time: 1016.61/86400
c Decision: 604417/1600886	Time: 1039.17/86400
c Decision: 604417/1600886	Time: 1064.17/86400
c Decision: 604417/1600886	Time: 1090.89/86400
c Decision: 604417/1600886	Time: 1119.99/86400s UNKNOWN
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.91 0.95 0.90 2/55 14926
Raw data (stat): 14926 (runsolver) R 14925 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 911714404 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.0011 s]
Raw data (loadavg): 0.93 0.95 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 20687 0 0 0 957 41 0 0 25 0 1 0 911714404 83226624 12856 4294967295 134512640 135730672 3221224576 3220837696 134788521 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 20319 12860 301 301 0 20018 0
vsize: 81276
[startup+20.0018 s]
Raw data (loadavg): 0.94 0.95 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 49885 0 0 0 1898 100 0 0 25 0 1 0 911714404 156774400 28011 4294967295 134512640 135730672 3221224576 3221089056 134770759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38275 28011 301 301 0 37974 0
vsize: 153100
[startup+30.0015 s]
Raw data (loadavg): 0.95 0.95 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 88749 0 0 0 2821 177 0 0 25 0 1 0 911714404 270061568 45176 4294967295 134512640 135730672 3221224576 3221177800 134787727 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 65933 45176 301 301 0 65632 0
vsize: 263732
[startup+40.0014 s]
Raw data (loadavg): 0.95 0.95 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 102731 0 0 0 3790 209 0 0 25 0 1 0 911714404 303710208 58906 4294967295 134512640 135730672 3221224576 3220697840 135109362 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 74148 58906 301 301 0 73847 0
vsize: 296592
[startup+50.0011 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 134818 0 0 0 4723 276 0 0 25 0 1 0 911714404 484978688 90196 4294967295 134512640 135730672 3221224576 3220970368 134775338 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 118403 90199 301 301 0 118102 0
vsize: 473612
[startup+60.0011 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 181437 0 0 0 5622 376 0 0 25 0 1 0 911714404 535826432 94225 4294967295 134512640 135730672 3221224576 3221196304 134786013 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 130817 94225 301 301 0 130516 0
vsize: 523268
[startup+70.0018 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 194086 0 0 0 6593 406 0 0 25 0 1 0 911714404 569380864 106647 4294967295 134512640 135730672 3221224576 3220897544 134787727 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 139009 106648 301 301 0 138708 0
vsize: 556036
[startup+80.0016 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 208548 0 0 0 7559 439 0 0 25 0 1 0 911714404 594997248 120955 4294967295 134512640 135730672 3221224576 3221222872 134765477 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 145263 120955 301 301 0 144962 0
vsize: 581052
[startup+90.0013 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 211296 0 0 0 8552 446 0 0 25 0 1 0 911714404 596111360 120510 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 145535 120510 301 301 0 145234 0
vsize: 582140
[startup+100.001 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 213187 0 0 0 9548 450 0 0 25 0 1 0 911714404 605073408 122368 4294967295 134512640 135730672 3221224576 3221222952 135285983 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 147723 122369 301 301 0 147422 0
vsize: 590892
[startup+110.002 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 214995 0 0 0 10544 455 0 0 25 0 1 0 911714404 613363712 124062 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 149747 124062 301 301 0 149446 0
vsize: 598988
[startup+120.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 215992 0 0 0 11541 457 0 0 25 0 1 0 911714404 618352640 125026 4294967295 134512640 135730672 3221224576 3221223232 134734780 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 150965 125026 301 301 0 150664 0
vsize: 603860
[startup+130.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 216709 0 0 0 12540 459 0 0 25 0 1 0 911714404 621625344 125677 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 151764 125677 301 301 0 151463 0
vsize: 607056
[startup+140.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 217387 0 0 0 13539 461 0 0 25 0 1 0 911714404 624934912 126355 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 152572 126355 301 301 0 152271 0
vsize: 610288
[startup+150.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 220556 0 0 0 14531 469 0 0 25 0 1 0 911714404 625205248 126397 4294967295 134512640 135730672 3221224576 3221223200 134783291 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 152638 126397 301 301 0 152337 0
vsize: 610552
[startup+160.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 221098 0 0 0 15529 470 0 0 25 0 1 0 911714404 627900416 126939 4294967295 134512640 135730672 3221224576 3221222896 134732515 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 153296 126939 301 301 0 152995 0
vsize: 613184
[startup+170.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 221938 0 0 0 16527 472 0 0 25 0 1 0 911714404 631828480 127713 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 154255 127713 301 301 0 153954 0
vsize: 617020
[startup+180.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 222349 0 0 0 17526 473 0 0 25 0 1 0 911714404 633561088 128058 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 154678 128058 301 301 0 154377 0
vsize: 618712
[startup+190.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 222647 0 0 0 18526 474 0 0 25 0 1 0 911714404 634556416 128241 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 154921 128241 301 301 0 154620 0
vsize: 619684
[startup+200.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 225786 0 0 0 19519 481 0 0 25 0 1 0 911714404 647364608 131380 4294967295 134512640 135730672 3221224576 3221222752 134768847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 158048 131380 301 301 0 157747 0
vsize: 632192
[startup+210.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 225813 0 0 0 20517 482 0 0 25 0 1 0 911714404 634691584 128280 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 154954 128280 301 301 0 154653 0
vsize: 619816
[startup+220.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 226091 0 0 0 21516 484 0 0 25 0 1 0 911714404 636092416 128558 4294967295 134512640 135730672 3221224576 3221223264 134748503 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 155296 128558 301 301 0 154995 0
vsize: 621184
[startup+230.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 226229 0 0 0 22515 484 0 0 25 0 1 0 911714404 636829696 128696 4294967295 134512640 135730672 3221224576 3221223088 134745860 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 155476 128696 301 301 0 155175 0
vsize: 621904
[startup+240.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 229405 0 0 0 23508 492 0 0 25 0 1 0 911714404 637161472 128745 4294967295 134512640 135730672 3221224576 3221223072 134747705 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 155557 128745 301 301 0 155256 0
vsize: 622228
[startup+250.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 229486 0 0 0 24507 493 0 0 25 0 1 0 911714404 637493248 128826 4294967295 134512640 135730672 3221224576 3221223072 134747566 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 155638 128826 301 301 0 155337 0
vsize: 622552
[startup+260.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 229654 0 0 0 25506 494 0 0 25 0 1 0 911714404 638304256 128994 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 155836 128994 301 301 0 155535 0
vsize: 623344
[startup+270.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 232804 0 0 0 26499 502 0 0 25 0 1 0 911714404 638439424 129017 4294967295 134512640 135730672 3221224576 3221222992 134741733 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 155869 129017 301 301 0 155568 0
vsize: 623476
[startup+280.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 233026 0 0 0 27497 503 0 0 25 0 1 0 911714404 639705088 129239 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 156178 129239 301 301 0 155877 0
vsize: 624712
[startup+290.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 233176 0 0 0 28497 504 0 0 25 0 1 0 911714404 640376832 129356 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 156342 129356 301 301 0 156041 0
vsize: 625368
[startup+300.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 233190 0 0 0 29496 504 0 0 25 0 1 0 911714404 640376832 129370 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 156342 129370 301 301 0 156041 0
vsize: 625368
[startup+310.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 236361 0 0 0 30489 511 0 0 25 0 1 0 911714404 640540672 129414 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 156382 129414 301 301 0 156081 0
vsize: 625528
[startup+320.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 236466 0 0 0 31489 512 0 0 25 0 1 0 911714404 641142784 129519 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 156529 129519 301 301 0 156228 0
vsize: 626116
[startup+330.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 239710 0 0 0 32482 519 0 0 25 0 1 0 911714404 654491648 132763 4294967295 134512640 135730672 3221224576 3221222736 134768821 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 159788 132763 301 301 0 159487 0
vsize: 639152
[startup+340.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 239711 0 0 0 33482 520 0 0 25 0 1 0 911714404 641683456 129637 4294967295 134512640 135730672 3221224576 3221223072 134747539 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 156661 129637 301 301 0 156360 0
vsize: 626644
[startup+350.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 240124 0 0 0 34480 521 0 0 25 0 1 0 911714404 643817472 130017 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 157182 130017 301 301 0 156881 0
vsize: 628728
[startup+360.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 240697 0 0 0 35479 523 0 0 25 0 1 0 911714404 646713344 130557 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 157889 130557 301 301 0 157588 0
vsize: 631556
[startup+370.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 240823 0 0 0 36478 524 0 0 25 0 1 0 911714404 647249920 130650 4294967295 134512640 135730672 3221224576 3221223088 134746077 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 158020 130650 301 301 0 157719 0
vsize: 632080
[startup+380.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 244027 0 0 0 37470 532 0 0 25 0 1 0 911714404 647745536 130727 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 158141 130727 301 301 0 157840 0
vsize: 632564
[startup+390.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 244168 0 0 0 38469 533 0 0 25 0 1 0 911714404 648437760 130868 4294967295 134512640 135730672 3221224576 3221223232 134734844 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 158310 130868 301 301 0 158009 0
vsize: 633240
[startup+400.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 244308 0 0 0 39469 533 0 0 25 0 1 0 911714404 649101312 131008 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 158472 131008 301 301 0 158171 0
vsize: 633888
[startup+410.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 247493 0 0 0 40461 541 0 0 25 0 1 0 911714404 649232384 131033 4294967295 134512640 135730672 3221224576 3221222992 134741730 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 158504 131033 301 301 0 158203 0
vsize: 634016
[startup+420.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 247597 0 0 0 41460 542 0 0 25 0 1 0 911714404 649633792 131104 4294967295 134512640 135730672 3221224576 3221223232 134734837 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 158602 131104 301 301 0 158301 0
vsize: 634408
[startup+430.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 250737 0 0 0 42454 549 0 0 25 0 1 0 911714404 662441984 134244 4294967295 134512640 135730672 3221224576 3221222728 134765483 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 161729 134244 301 301 0 161428 0
vsize: 646916
[startup+440.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 250771 0 0 0 43453 550 0 0 25 0 1 0 911714404 649768960 131151 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 158635 131151 301 301 0 158334 0
vsize: 634540
[startup+450.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 250777 0 0 0 44453 550 0 0 25 0 1 0 911714404 649768960 131157 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 158635 131157 301 301 0 158334 0
vsize: 634540
[startup+460.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 253929 0 0 0 45445 558 0 0 25 0 1 0 911714404 649904128 131182 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 158668 131182 301 301 0 158367 0
vsize: 634672
[startup+470.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 253995 0 0 0 46444 559 0 0 25 0 1 0 911714404 650309632 131248 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 158767 131248 301 301 0 158466 0
vsize: 635068
[startup+480.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 254096 0 0 0 47444 560 0 0 25 0 1 0 911714404 663117824 131349 4294967295 134512640 135730672 3221224576 3221222912 134767241 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 161894 131357 301 301 0 161593 0
vsize: 647576
[startup+490.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 257128 0 0 0 48438 566 0 0 25 0 1 0 911714404 650309632 131254 4294967295 134512640 135730672 3221224576 3221223072 134747599 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 158767 131254 301 301 0 158466 0
vsize: 635068
[startup+500.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 257708 0 0 0 49435 568 0 0 25 0 1 0 911714404 653283328 131810 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 159493 131810 301 301 0 159192 0
vsize: 637972
[startup+510.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 257889 0 0 0 50434 570 0 0 25 0 1 0 911714404 654069760 131991 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 159685 131991 301 301 0 159384 0
vsize: 638740
[startup+520.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 261030 0 0 0 51426 578 0 0 25 0 1 0 911714404 667074560 135132 4294967295 134512640 135730672 3221224576 3221222712 134765474 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 162860 135132 301 301 0 162559 0
vsize: 651440
[startup+530.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 261102 0 0 0 52425 580 0 0 25 0 1 0 911714404 654671872 132077 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 159832 132077 301 301 0 159531 0
vsize: 639328
[startup+540.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 261251 0 0 0 53424 581 0 0 25 0 1 0 911714404 655482880 132226 4294967295 134512640 135730672 3221224576 3221223232 134734835 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 160030 132226 301 301 0 159729 0
vsize: 640120
[startup+550.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 264424 0 0 0 54417 588 0 0 25 0 1 0 911714404 668684288 135399 4294967295 134512640 135730672 3221224576 3221222752 134769202 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 163253 135399 301 301 0 162952 0
vsize: 653012
[startup+560.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 264580 0 0 0 55415 590 0 0 25 0 1 0 911714404 656412672 132395 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 160257 132395 301 301 0 159956 0
vsize: 641028
[startup+570.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 264583 0 0 0 56415 591 0 0 25 0 1 0 911714404 656412672 132398 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 160257 132398 301 301 0 159956 0
vsize: 641028
[startup+580.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 267740 0 0 0 57406 599 0 0 25 0 1 0 911714404 669356032 135555 4294967295 134512640 135730672 3221224576 3221222728 134765477 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 163417 135555 301 301 0 163116 0
vsize: 653668
[startup+590.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 267743 0 0 0 58405 601 0 0 25 0 1 0 911714404 656547840 132431 4294967295 134512640 135730672 3221224576 3221223072 134747516 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 160290 132431 301 301 0 159989 0
vsize: 641160
[startup+600.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 267780 0 0 0 59404 602 0 0 25 0 1 0 911714404 656683008 132468 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 160323 132468 301 301 0 160022 0
vsize: 641292
[startup+610.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 270230 0 0 0 60398 608 0 0 25 0 1 0 911714404 669491200 134918 4294967295 134512640 135730672 3221224576 3221222912 134767241 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 163450 134926 301 301 0 163149 0
vsize: 653800
[startup+620.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 270940 0 0 0 61396 610 0 0 25 0 1 0 911714404 656818176 132501 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 160356 132501 301 301 0 160055 0
vsize: 641424
[startup+630.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 271072 0 0 0 62396 611 0 0 25 0 1 0 911714404 657494016 132633 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 160521 132633 301 301 0 160220 0
vsize: 642084
[startup+640.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 274205 0 0 0 63388 618 0 0 25 0 1 0 911714404 670302208 135766 4294967295 134512640 135730672 3221224576 3221222760 134765483 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 163648 135766 301 301 0 163347 0
vsize: 654592
[startup+650.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 274254 0 0 0 64388 619 0 0 25 0 1 0 911714404 657629184 132688 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 160554 132688 301 301 0 160253 0
vsize: 642216
[startup+660.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 274356 0 0 0 65387 620 0 0 25 0 1 0 911714404 658026496 132757 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 160651 132757 301 301 0 160350 0
vsize: 642604
[startup+670.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 274619 0 0 0 66386 621 0 0 25 0 1 0 911714404 659099648 132954 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 160913 132954 301 301 0 160612 0
vsize: 643652
[startup+680.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 277851 0 0 0 67379 629 0 0 25 0 1 0 911714404 672583680 136186 4294967295 134512640 135730672 3221224576 3221222804 134769344 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 164205 136186 301 301 0 163904 0
vsize: 656820
[startup+690.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 277898 0 0 0 68378 630 0 0 25 0 1 0 911714404 660041728 133106 4294967295 134512640 135730672 3221224576 3221222896 134732500 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 161143 133106 301 301 0 160842 0
vsize: 644572
[startup+700.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 277944 0 0 0 69377 630 0 0 25 0 1 0 911714404 660312064 133152 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 161209 133152 301 301 0 160908 0
vsize: 644836
[startup+710.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 281074 0 0 0 70371 637 0 0 25 0 1 0 911714404 673120256 136282 4294967295 134512640 135730672 3221224576 3221222768 134772731 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 164336 136282 301 301 0 164035 0
vsize: 657344
[startup+720.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 281113 0 0 0 71370 638 0 0 25 0 1 0 911714404 660447232 133194 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 161242 133194 301 301 0 160941 0
vsize: 644968
[startup+730.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 281238 0 0 0 72369 639 0 0 25 0 1 0 911714404 661118976 133319 4294967295 134512640 135730672 3221224576 3221223184 134748227 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 161406 133319 301 301 0 161105 0
vsize: 645624
[startup+740.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 281353 0 0 0 73368 640 0 0 25 0 1 0 911714404 661659648 133434 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 161538 133434 301 301 0 161237 0
vsize: 646152
[startup+750.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 284487 0 0 0 74360 648 0 0 25 0 1 0 911714404 661659648 133441 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 161538 133441 301 301 0 161237 0
vsize: 646152
[startup+760.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 284520 0 0 0 75359 649 0 0 25 0 1 0 911714404 661794816 133474 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 161571 133474 301 301 0 161270 0
vsize: 646284
[startup+770.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 287653 0 0 0 76352 657 0 0 25 0 1 0 911714404 674603008 136607 4294967295 134512640 135730672 3221224576 3221222756 134772714 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 164698 136607 301 301 0 164397 0
vsize: 658792
[startup+780.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 287758 0 0 0 77350 659 0 0 25 0 1 0 911714404 662466560 133585 4294967295 134512640 135730672 3221224576 3221223236 134748655 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 161735 133585 301 301 0 161434 0
vsize: 646940
[startup+790.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 287954 0 0 0 78350 660 0 0 25 0 1 0 911714404 663269376 133715 4294967295 134512640 135730672 3221224576 3221223072 134747608 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 161931 133715 301 301 0 161630 0
vsize: 647724
[startup+800.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 288099 0 0 0 79349 661 0 0 25 0 1 0 911714404 664072192 133860 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 162127 133860 301 301 0 161826 0
vsize: 648508
[startup+810.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 291281 0 0 0 80341 669 0 0 25 0 1 0 911714404 677150720 137042 4294967295 134512640 135730672 3221224576 3221222756 134772714 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 165320 137042 301 301 0 165019 0
vsize: 661280
[startup+820.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 291281 0 0 0 81340 669 0 0 25 0 1 0 911714404 664342528 133915 4294967295 134512640 135730672 3221224576 3221223072 134747599 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 162193 133915 301 301 0 161892 0
vsize: 648772
[startup+830.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 291328 0 0 0 82340 669 0 0 25 0 1 0 911714404 664477696 133962 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 162226 133962 301 301 0 161925 0
vsize: 648904
[startup+840.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 291380 0 0 0 83340 670 0 0 25 0 1 0 911714404 664748032 134014 4294967295 134512640 135730672 3221224576 3221223088 134745860 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 162292 134014 301 301 0 161991 0
vsize: 649168
[startup+850.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 294509 0 0 0 84331 679 0 0 25 0 1 0 911714404 664748032 134016 4294967295 134512640 135730672 3221224576 3221223200 134748176 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 162292 134016 301 301 0 161991 0
vsize: 649168
[startup+860.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 294515 0 0 0 85331 679 0 0 25 0 1 0 911714404 664748032 134022 4294967295 134512640 135730672 3221224576 3221223264 134748499 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 162292 134022 301 301 0 161991 0
vsize: 649168
[startup+870.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 297645 0 0 0 86323 687 0 0 25 0 1 0 911714404 664748032 134025 4294967295 134512640 135730672 3221224576 3221223232 134734756 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 162292 134025 301 301 0 161991 0
vsize: 649168
[startup+880.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 297671 0 0 0 87323 688 0 0 25 0 1 0 911714404 664883200 134051 4294967295 134512640 135730672 3221224576 3221223072 134747657 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 162325 134051 301 301 0 162024 0
vsize: 649300
[startup+890.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 297677 0 0 0 88322 689 0 0 25 0 1 0 911714404 664883200 134057 4294967295 134512640 135730672 3221224576 3221223232 134734761 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 162325 134057 301 301 0 162024 0
vsize: 649300
[startup+900.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 300814 0 0 0 89313 698 0 0 25 0 1 0 911714404 664883200 134067 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 162325 134067 301 301 0 162024 0
vsize: 649300
[startup+910.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 300822 0 0 0 90313 699 0 0 25 0 1 0 911714404 664883200 134075 4294967295 134512640 135730672 3221224576 3221223056 134732772 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 162325 134075 301 301 0 162024 0
vsize: 649300
[startup+920.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 303952 0 0 0 91304 707 0 0 25 0 1 0 911714404 664883200 134078 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 162325 134078 301 301 0 162024 0
vsize: 649300
[startup+930.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 304000 0 0 0 92303 709 0 0 25 0 1 0 911714404 665153536 134126 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 162391 134126 301 301 0 162090 0
vsize: 649564
[startup+940.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 304557 0 0 0 93302 711 0 0 25 0 1 0 911714404 677961728 134683 4294967295 134512640 135730672 3221224576 3221222912 134767241 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 165518 134691 301 301 0 165217 0
vsize: 662072
[startup+950.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 307134 0 0 0 94296 716 0 0 25 0 1 0 911714404 665153536 134133 4294967295 134512640 135730672 3221224576 3221223200 134748138 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 162391 134133 301 301 0 162090 0
vsize: 649564
[startup+960.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 307137 0 0 0 95295 718 0 0 25 0 1 0 911714404 665153536 134136 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 162391 134136 301 301 0 162090 0
vsize: 649564
[startup+970.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 310269 0 0 0 96288 724 0 0 25 0 1 0 911714404 677961728 137268 4294967295 134512640 135730672 3221224576 3221222736 134769290 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 165518 137268 301 301 0 165217 0
vsize: 662072
[startup+980.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 310276 0 0 0 97287 725 0 0 25 0 1 0 911714404 665153536 134148 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 162391 134148 301 301 0 162090 0
vsize: 649564
[startup+990.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 312599 0 0 0 98282 731 0 0 25 0 1 0 911714404 677961728 136471 4294967295 134512640 135730672 3221224576 3221222912 134767241 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 165518 136478 301 301 0 165217 0
vsize: 662072
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 313412 0 0 0 99279 734 0 0 25 0 1 0 911714404 665153536 134157 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 162391 134157 301 301 0 162090 0
vsize: 649564
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 313424 0 0 0 100278 735 0 0 25 0 1 0 911714404 665153536 134169 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 162391 134169 301 301 0 162090 0
vsize: 649564
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 316555 0 0 0 101270 744 0 0 25 0 1 0 911714404 665153536 134173 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 162391 134173 301 301 0 162090 0
vsize: 649564
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 316562 0 0 0 102269 744 0 0 25 0 1 0 911714404 665153536 134180 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 162391 134180 301 301 0 162090 0
vsize: 649564
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 319692 0 0 0 103263 751 0 0 25 0 1 0 911714404 665153536 134183 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 162391 134183 301 301 0 162090 0
vsize: 649564
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 319701 0 0 0 104262 752 0 0 25 0 1 0 911714404 665153536 134192 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 162391 134192 301 301 0 162090 0
vsize: 649564
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 322833 0 0 0 105254 760 0 0 25 0 1 0 911714404 677961728 137324 4294967295 134512640 135730672 3221224576 3221222768 134772759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 165518 137324 301 301 0 165217 0
vsize: 662072
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 322833 0 0 0 106254 760 0 0 25 0 1 0 911714404 665153536 134197 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 162391 134197 301 301 0 162090 0
vsize: 649564
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 322836 0 0 0 107253 761 0 0 25 0 1 0 911714404 665153536 134200 4294967295 134512640 135730672 3221224576 3221223232 134734829 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 162391 134200 301 301 0 162090 0
vsize: 649564
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 325964 0 0 0 108245 769 0 0 25 0 1 0 911714404 677961728 137328 4294967295 134512640 135730672 3221224576 3221222728 134765477 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 165518 137328 301 301 0 165217 0
vsize: 662072
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 325966 0 0 0 109244 770 0 0 25 0 1 0 911714404 665153536 134203 4294967295 134512640 135730672 3221224576 3221222896 134732493 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 162391 134203 301 301 0 162090 0
vsize: 649564
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 325971 0 0 0 110243 771 0 0 25 0 1 0 911714404 665153536 134208 4294967295 134512640 135730672 3221224576 3221223088 134745860 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 162391 134208 301 301 0 162090 0
vsize: 649564
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 329101 0 0 0 111235 780 0 0 25 0 1 0 911714404 665153536 134211 4294967295 134512640 135730672 3221224576 3221222896 134732479 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 162391 134211 301 301 0 162090 0
vsize: 649564
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 329356 0 0 0 112233 782 0 0 25 0 1 0 911714404 665952256 134367 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 162586 134367 301 301 0 162285 0
vsize: 650344
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 332485 0 0 0 113227 789 0 0 25 0 1 0 911714404 678760448 137496 4294967295 134512640 135730672 3221224576 3221222760 134765477 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 165713 137496 301 301 0 165412 0
vsize: 662852
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 332642 0 0 0 114225 790 0 0 25 0 1 0 911714404 666492928 134526 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 162718 134526 301 301 0 162417 0
vsize: 650872
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 332649 0 0 0 115224 791 0 0 25 0 1 0 911714404 666492928 134533 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 162718 134533 301 301 0 162417 0
vsize: 650872
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 335779 0 0 0 116217 799 0 0 25 0 1 0 911714404 666492928 134536 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 162718 134536 301 301 0 162417 0
vsize: 650872
[startup+1180.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 335787 0 0 0 117216 800 0 0 25 0 1 0 911714404 666492928 134544 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 162718 134544 301 301 0 162417 0
vsize: 650872
[startup+1190.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 338918 0 0 0 118207 809 0 0 25 0 1 0 911714404 679301120 137675 4294967295 134512640 135730672 3221224576 3221222720 134769157 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 165845 137675 301 301 0 165544 0
vsize: 663380
[startup+1200.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 338919 0 0 0 119206 810 0 0 25 0 1 0 911714404 666492928 134549 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 162718 134549 301 301 0 162417 0
vsize: 650872
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.16 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 14926
Raw data (stat): 14926 (pb2sat-v2) R 14925 8378 8377 0 -1 0 338919 0 0 0 119206 810 0 0 25 0 1 0 911714404 666492928 134549 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 162718 134549 301 301 0 162417 0
vsize: 0

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