PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-fixnet4.opb
MD5SUM	c6a26aa8aefc43a120ecaff31b506c53
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	4227509
Optimality of the best value was proved	NO
Number of terms in the objective function	9638
Biggest coefficient in the objective function	5242880
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	2427493442
Number of bits of the sum of numbers in the objective function	32
Biggest number in a constraint	5242880
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	2427493442
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	1189.06
Number of variables	9890
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	1072
Trace number 42781

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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:        725464 kB
Buffers:         15656 kB
Cached:         271468 kB
SwapCached:        788 kB
Active:          31840 kB
Inactive:       257380 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        725212 kB
SwapTotal:     2097136 kB
SwapFree:      2095372 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5104 kB
Slab:            14324 kB
Committed_AS:    71904 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 14:54:30 (client local time) WITH STATUS 0 IN 1202.22 SECONDS
stats: 25995 7 1202.22 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 321714/1103681	Time: 65.1221/86400
c Decision: 321754/1103681	Time: 169.775/86400
c Decision: 321770/1103681	Time: 243.724/86400
c Decision: 321777/1103681	Time: 285.686/86400
c Decision: 321777/1103681	Time: 325.476/86400
c Decision: 321777/1103681	Time: 359.008/86400
c Decision: 321777/1103681	Time: 388.874/86400
c Decision: 321777/1103681	Time: 419.144/86400
c Decision: 321777/1103681	Time: 444.237/86400
c Decision: 321777/1103681	Time: 471.599/86400
c Decision: 321777/1103681	Time: 500.385/86400
c Decision: 321777/1103681	Time: 528.305/86400
c Decision: 321777/1103681	Time: 562.455/86400
c Decision: 321777/1103681	Time: 595.338/86400
c Decision: 321777/1103681	Time: 623.266/86400
c Decision: 321777/1103681	Time: 661.733/86400
c Decision: 321777/1103681	Time: 692.76/86400
c Decision: 321777/1103681	Time: 716.415/86400
c Decision: 321777/1103681	Time: 745.153/86400
c Decision: 321777/1103681	Time: 767.246/86400
c Decision: 321777/1103681	Time: 800.458/86400
c Decision: 321777/1103681	Time: 823.73/86400
c Decision: 321777/1103681	Time: 847.01/86400
c Decision: 321777/1103681	Time: 869.036/86400
c Decision: 321777/1103681	Time: 896.551/86400
c Decision: 321777/1103681	Time: 923.288/86400
c Decision: 321777/1103681	Time: 948.083/86400
c Decision: 321777/1103681	Time: 974.571/86400
c Decision: 321777/1103681	Time: 997.082/86400
c Decision: 321777/1103681	Time: 1022.29/86400
c Decision: 321777/1103681	Time: 1049.88/86400
c Decision: 321777/1103681	Time: 1071.98/86400
c Decision: 321777/1103681	Time: 1100.9/86400
c Decision: 321777/1103681	Time: 1128.16/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.93 0.90 2/54 25421
Raw data (stat): 25421 (runsolver) R 25420 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 971511694 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 0 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0017 s]
Raw data (loadavg): 0.92 0.93 0.90 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 25033 0 0 0 944 54 0 0 25 0 1 0 971511694 80338944 14032 4294967295 134512640 135730672 3221224576 3221015400 134787727 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 19614 14032 301 301 0 19313 0
vsize: 78456
[startup+20.0023 s]
Raw data (loadavg): 0.93 0.93 0.91 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 51617 0 0 0 1886 111 0 0 25 0 1 0 971511694 154570752 29641 4294967295 134512640 135730672 3221224576 3221071128 135284227 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37737 29641 301 301 0 37436 0
vsize: 150948
[startup+30.0035 s]
Raw data (loadavg): 0.94 0.94 0.91 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 90675 0 0 0 2801 197 0 0 25 0 1 0 971511694 269144064 47002 4294967295 134512640 135730672 3221224576 3221009072 134548472 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 65709 47002 301 301 0 65408 0
vsize: 262836
[startup+40.004 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 104644 0 0 0 3769 228 0 0 25 0 1 0 971511694 303915008 60725 4294967295 134512640 135730672 3221224576 3220836672 134770759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 74198 60725 301 301 0 73897 0
vsize: 296792
[startup+50.0046 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 146031 0 0 0 4692 306 0 0 25 0 1 0 971511694 502349824 100968 4294967295 134512640 135730672 3221224576 3221170352 134775432 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 122644 100970 301 301 0 122343 0
vsize: 490576
[startup+60.006 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 177581 0 0 0 5619 379 0 0 25 0 1 0 971511694 535085056 88252 4294967295 134512640 135730672 3221224576 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 130636 88252 301 301 0 130335 0
vsize: 522544
[startup+70.0068 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 177587 0 0 0 6618 380 0 0 25 0 1 0 971511694 535085056 88258 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 130636 88258 301 301 0 130335 0
vsize: 522544
[startup+80.0072 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 178345 0 0 0 7616 382 0 0 25 0 1 0 971511694 538615808 88983 4294967295 134512640 135730672 3221224576 3221223072 134747594 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 131498 88983 301 301 0 131197 0
vsize: 525992
[startup+90.0085 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 179375 0 0 0 8614 384 0 0 25 0 1 0 971511694 544002048 90013 4294967295 134512640 135730672 3221224576 3221223072 134747708 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 132813 90013 301 301 0 132512 0
vsize: 531252
[startup+100.009 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 180834 0 0 0 9611 387 0 0 25 0 1 0 971511694 551030784 91274 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 134529 91274 301 301 0 134228 0
vsize: 538116
[startup+110.011 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 181189 0 0 0 10610 389 0 0 25 0 1 0 971511694 552296448 91530 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 134838 91530 301 301 0 134537 0
vsize: 539352
[startup+120.012 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 183397 0 0 0 11604 395 0 0 25 0 1 0 971511694 552427520 91549 4294967295 134512640 135730672 3221224576 3221223200 134783328 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 134870 91549 301 301 0 134569 0
vsize: 539480
[startup+130.012 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 184512 0 0 0 12600 398 0 0 25 0 1 0 971511694 557850624 92550 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 136194 92550 301 301 0 135893 0
vsize: 544776
[startup+140.012 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 185623 0 0 0 13597 401 0 0 25 0 1 0 971511694 563675136 93637 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 137616 93637 301 301 0 137315 0
vsize: 550464
[startup+150.013 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 186335 0 0 0 14596 403 0 0 25 0 1 0 971511694 567013376 94217 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138431 94217 301 301 0 138130 0
vsize: 553724
[startup+160.014 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 186740 0 0 0 15594 405 0 0 25 0 1 0 971511694 569323520 94622 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138995 94622 301 301 0 138694 0
vsize: 555980
[startup+170.015 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 187183 0 0 0 16592 407 0 0 25 0 1 0 971511694 571154432 94933 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 139442 94933 301 301 0 139141 0
vsize: 557768
[startup+180.015 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 187699 0 0 0 17590 409 0 0 25 0 1 0 971511694 573431808 95383 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 139998 95383 301 301 0 139697 0
vsize: 559992
[startup+190.016 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 188037 0 0 0 18589 410 0 0 25 0 1 0 971511694 574910464 95655 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 140359 95655 301 301 0 140058 0
vsize: 561436
[startup+200.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 188325 0 0 0 19589 411 0 0 25 0 1 0 971511694 576114688 95844 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 140653 95844 301 301 0 140352 0
vsize: 562612
[startup+210.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 188593 0 0 0 20588 412 0 0 25 0 1 0 971511694 577662976 96112 4294967295 134512640 135730672 3221224576 3221223072 134747730 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 141031 96112 301 301 0 140730 0
vsize: 564124
[startup+220.018 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 188709 0 0 0 21587 413 0 0 25 0 1 0 971511694 578338816 96228 4294967295 134512640 135730672 3221224576 3221222896 134732479 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 141196 96228 301 301 0 140895 0
vsize: 564784
[startup+230.018 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 191094 0 0 0 22580 420 0 0 25 0 1 0 971511694 579596288 96441 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 141503 96441 301 301 0 141202 0
vsize: 566012
[startup+240.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 191352 0 0 0 23579 422 0 0 25 0 1 0 971511694 581001216 96699 4294967295 134512640 135730672 3221224576 3221222896 134732524 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 141846 96699 301 301 0 141545 0
vsize: 567384
[startup+250.02 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 191368 0 0 0 24578 423 0 0 25 0 1 0 971511694 581001216 96715 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 141846 96715 301 301 0 141545 0
vsize: 567384
[startup+260.021 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 191402 0 0 0 25577 424 0 0 25 0 1 0 971511694 581136384 96749 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 141879 96749 301 301 0 141578 0
vsize: 567516
[startup+270.021 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 191887 0 0 0 26576 425 0 0 25 0 1 0 971511694 583204864 97069 4294967295 134512640 135730672 3221224576 3221223072 134747587 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 142384 97069 301 301 0 142083 0
vsize: 569536
[startup+280.021 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 191966 0 0 0 27575 426 0 0 25 0 1 0 971511694 583471104 97115 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 142449 97115 301 301 0 142148 0
vsize: 569796
[startup+290.022 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 192124 0 0 0 28574 427 0 0 25 0 1 0 971511694 584142848 97240 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 142613 97240 301 301 0 142312 0
vsize: 570452
[startup+300.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 194355 0 0 0 29568 434 0 0 25 0 1 0 971511694 584548352 97315 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 142712 97315 301 301 0 142411 0
vsize: 570848
[startup+310.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 194455 0 0 0 30567 435 0 0 25 0 1 0 971511694 584953856 97415 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 142811 97415 301 301 0 142510 0
vsize: 571244
[startup+320.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 194529 0 0 0 31565 436 0 0 25 0 1 0 971511694 585359360 97489 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 142910 97489 301 301 0 142609 0
vsize: 571640
[startup+330.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 194568 0 0 0 32564 438 0 0 25 0 1 0 971511694 585494528 97528 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 142943 97528 301 301 0 142642 0
vsize: 571772
[startup+340.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 196727 0 0 0 33559 443 0 0 25 0 1 0 971511694 594325504 99687 4294967295 134512640 135730672 3221224576 3221222736 134768906 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 145099 99687 301 301 0 144798 0
vsize: 580396
[startup+350.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 196876 0 0 0 34556 445 0 0 25 0 1 0 971511694 586305536 97680 4294967295 134512640 135730672 3221224576 3221223072 134747908 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 143141 97680 301 301 0 142840 0
vsize: 572564
[startup+360.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 196960 0 0 0 35555 447 0 0 25 0 1 0 971511694 586711040 97764 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 143240 97764 301 301 0 142939 0
vsize: 572960
[startup+370.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 196983 0 0 0 36554 448 0 0 25 0 1 0 971511694 586846208 97787 4294967295 134512640 135730672 3221224576 3221223072 134747602 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 143273 97787 301 301 0 142972 0
vsize: 573092
[startup+380.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 199143 0 0 0 37549 453 0 0 25 0 1 0 971511694 595677184 99947 4294967295 134512640 135730672 3221224576 3221222712 134765477 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 145429 99947 301 301 0 145128 0
vsize: 581716
[startup+390.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 199172 0 0 0 38547 455 0 0 25 0 1 0 971511694 586981376 97820 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 143306 97820 301 301 0 143005 0
vsize: 573224
[startup+400.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 199176 0 0 0 39546 456 0 0 25 0 1 0 971511694 586981376 97824 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 143306 97824 301 301 0 143005 0
vsize: 573224
[startup+410.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 201336 0 0 0 40541 462 0 0 25 0 1 0 971511694 595812352 99984 4294967295 134512640 135730672 3221224576 3221222712 134765483 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 145462 99984 301 301 0 145161 0
vsize: 581848
[startup+420.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 201350 0 0 0 41540 463 0 0 25 0 1 0 971511694 586981376 97842 4294967295 134512640 135730672 3221224576 3221223200 134748266 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 143306 97842 301 301 0 143005 0
vsize: 573224
[startup+430.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 201353 0 0 0 42539 463 0 0 25 0 1 0 971511694 586981376 97845 4294967295 134512640 135730672 3221224576 3221222896 134732459 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 143306 97845 301 301 0 143005 0
vsize: 573224
[startup+440.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 201354 0 0 0 43539 464 0 0 25 0 1 0 971511694 586981376 97846 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 143306 97846 301 301 0 143005 0
vsize: 573224
[startup+450.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 203511 0 0 0 44533 470 0 0 25 0 1 0 971511694 586981376 97847 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 143306 97847 301 301 0 143005 0
vsize: 573224
[startup+460.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 203516 0 0 0 45532 471 0 0 25 0 1 0 971511694 586981376 97852 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 143306 97852 301 301 0 143005 0
vsize: 573224
[startup+470.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 203538 0 0 0 46531 472 0 0 25 0 1 0 971511694 587116544 97874 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 143339 97874 301 301 0 143038 0
vsize: 573356
[startup+480.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 205725 0 0 0 47524 479 0 0 25 0 1 0 971511694 587251712 97905 4294967295 134512640 135730672 3221224576 3221223264 134748426 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 143372 97905 301 301 0 143071 0
vsize: 573488
[startup+490.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 205726 0 0 0 48523 480 0 0 25 0 1 0 971511694 587251712 97906 4294967295 134512640 135730672 3221224576 3221222896 134732500 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 143372 97906 301 301 0 143071 0
vsize: 573488
[startup+500.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 207907 0 0 0 49518 485 0 0 25 0 1 0 971511694 587386880 97931 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 143405 97931 301 301 0 143104 0
vsize: 573620
[startup+510.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 207908 0 0 0 50517 486 0 0 25 0 1 0 971511694 587386880 97932 4294967295 134512640 135730672 3221224576 3221223072 134747647 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 143405 97932 301 301 0 143104 0
vsize: 573620
[startup+520.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 207910 0 0 0 51516 487 0 0 25 0 1 0 971511694 587386880 97934 4294967295 134512640 135730672 3221224576 3221223224 134748061 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 143405 97934 301 301 0 143104 0
vsize: 573620
[startup+530.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 210068 0 0 0 52510 494 0 0 25 0 1 0 971511694 587386880 97936 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 143405 97936 301 301 0 143104 0
vsize: 573620
[startup+540.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 210074 0 0 0 53509 495 0 0 25 0 1 0 971511694 587386880 97942 4294967295 134512640 135730672 3221224576 3221223264 134748626 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 143405 97942 301 301 0 143104 0
vsize: 573620
[startup+550.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 212238 0 0 0 54504 500 0 0 25 0 1 0 971511694 596217856 100106 4294967295 134512640 135730672 3221224576 3221222748 134765468 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 145561 100106 301 301 0 145260 0
vsize: 582244
[startup+560.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 212257 0 0 0 55503 501 0 0 25 0 1 0 971511694 587522048 97969 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 143438 97969 301 301 0 143137 0
vsize: 573752
[startup+570.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 212259 0 0 0 56502 502 0 0 25 0 1 0 971511694 587522048 97971 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 143438 97971 301 301 0 143137 0
vsize: 573752
[startup+580.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 212279 0 0 0 57502 503 0 0 25 0 1 0 971511694 587657216 97991 4294967295 134512640 135730672 3221224576 3221223088 134745860 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 143471 97991 301 301 0 143170 0
vsize: 573884
[startup+590.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 214598 0 0 0 58496 508 0 0 25 0 1 0 971511694 588189696 98088 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 143601 98088 301 301 0 143300 0
vsize: 574404
[startup+600.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 214703 0 0 0 59495 510 0 0 25 0 1 0 971511694 588587008 98127 4294967295 134512640 135730672 3221224576 3221223232 134734837 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 143698 98127 301 301 0 143397 0
vsize: 574792
[startup+610.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 214916 0 0 0 60493 512 0 0 25 0 1 0 971511694 589389824 98274 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 143894 98274 301 301 0 143593 0
vsize: 575576
[startup+620.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 217116 0 0 0 61488 517 0 0 25 0 1 0 971511694 589524992 98318 4294967295 134512640 135730672 3221224576 3221223072 134747578 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 143927 98318 301 301 0 143626 0
vsize: 575708
[startup+630.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 217218 0 0 0 62488 517 0 0 25 0 1 0 971511694 590065664 98420 4294967295 134512640 135730672 3221224576 3221222824 135286123 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 144059 98420 301 301 0 143758 0
vsize: 576236
[startup+640.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 217244 0 0 0 63487 518 0 0 25 0 1 0 971511694 590200832 98446 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 144092 98446 301 301 0 143791 0
vsize: 576368
[startup+650.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 219403 0 0 0 64481 524 0 0 25 0 1 0 971511694 599031808 100605 4294967295 134512640 135730672 3221224576 3221222712 134765483 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 146248 100605 301 301 0 145947 0
vsize: 584992
[startup+660.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 219417 0 0 0 65480 526 0 0 25 0 1 0 971511694 590200832 98463 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 144092 98463 301 301 0 143791 0
vsize: 576368
[startup+670.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 219447 0 0 0 66479 527 0 0 25 0 1 0 971511694 590200832 98493 4294967295 134512640 135730672 3221224576 3221222896 134732493 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 144092 98493 301 301 0 143791 0
vsize: 576368
[startup+680.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 221613 0 0 0 67473 533 0 0 25 0 1 0 971511694 590200832 98503 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 144092 98503 301 301 0 143791 0
vsize: 576368
[startup+690.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 221931 0 0 0 68470 535 0 0 25 0 1 0 971511694 591953920 98821 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 144520 98821 301 301 0 144219 0
vsize: 578080
[startup+700.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 222068 0 0 0 69469 536 0 0 25 0 1 0 971511694 592629760 98958 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 144685 98958 301 301 0 144384 0
vsize: 578740
[startup+710.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 222149 0 0 0 70467 538 0 0 25 0 1 0 971511694 592896000 99006 4294967295 134512640 135730672 3221224576 3221223088 134745858 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 144750 99006 301 301 0 144449 0
vsize: 579000
[startup+720.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 224345 0 0 0 71461 545 0 0 25 0 1 0 971511694 593031168 99046 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 144783 99046 301 301 0 144482 0
vsize: 579132
[startup+730.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 224522 0 0 0 72460 546 0 0 25 0 1 0 971511694 593842176 99223 4294967295 134512640 135730672 3221224576 3221223232 134734849 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 144981 99223 301 301 0 144680 0
vsize: 579924
[startup+740.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 224544 0 0 0 73459 547 0 0 25 0 1 0 971511694 593977344 99245 4294967295 134512640 135730672 3221224576 3221223072 134747808 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 145014 99245 301 301 0 144713 0
vsize: 580056
[startup+750.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 226765 0 0 0 74453 553 0 0 25 0 1 0 971511694 594382848 99310 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 145113 99310 301 301 0 144812 0
vsize: 580452
[startup+760.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 226767 0 0 0 75453 553 0 0 25 0 1 0 971511694 594382848 99312 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 145113 99312 301 301 0 144812 0
vsize: 580452
[startup+770.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 228925 0 0 0 76447 559 0 0 25 0 1 0 971511694 603213824 101470 4294967295 134512640 135730672 3221224576 3221222728 134765477 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 147269 101470 301 301 0 146968 0
vsize: 589076
[startup+780.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 228998 0 0 0 77446 561 0 0 25 0 1 0 971511694 594788352 99387 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 145212 99387 301 301 0 144911 0
vsize: 580848
[startup+790.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 229000 0 0 0 78445 562 0 0 25 0 1 0 971511694 594788352 99389 4294967295 134512640 135730672 3221224576 3221223232 134734756 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 145212 99389 301 301 0 144911 0
vsize: 580848
[startup+800.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 231226 0 0 0 79439 568 0 0 25 0 1 0 971511694 604024832 101615 4294967295 134512640 135730672 3221224576 3221222736 134768862 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 147467 101615 301 301 0 147166 0
vsize: 589868
[startup+810.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 231237 0 0 0 80438 569 0 0 25 0 1 0 971511694 595193856 99470 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 145311 99470 301 301 0 145010 0
vsize: 581244
[startup+820.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 231247 0 0 0 81437 571 0 0 25 0 1 0 971511694 595193856 99480 4294967295 134512640 135730672 3221224576 3221223088 134746077 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 145311 99480 301 301 0 145010 0
vsize: 581244
[startup+830.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 233558 0 0 0 82430 577 0 0 25 0 1 0 971511694 595726336 99569 4294967295 134512640 135730672 3221224576 3221223072 134747549 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 145441 99569 301 301 0 145140 0
vsize: 581764
[startup+840.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 233563 0 0 0 83429 578 0 0 25 0 1 0 971511694 595726336 99574 4294967295 134512640 135730672 3221224576 3221223264 134748499 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 145441 99574 301 301 0 145140 0
vsize: 581764
[startup+850.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 235818 0 0 0 84423 585 0 0 25 0 1 0 971511694 604954624 101796 4294967295 134512640 135730672 3221224576 3221222768 134772795 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 147694 101796 301 301 0 147393 0
vsize: 590776
[startup+860.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 235819 0 0 0 85422 586 0 0 25 0 1 0 971511694 596123648 99641 4294967295 134512640 135730672 3221224576 3221223264 134748499 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 145538 99641 301 301 0 145237 0
vsize: 582152
[startup+870.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 235821 0 0 0 86421 587 0 0 25 0 1 0 971511694 596123648 99643 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 145538 99643 301 301 0 145237 0
vsize: 582152
[startup+880.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 237978 0 0 0 87415 593 0 0 25 0 1 0 971511694 596123648 99644 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 145538 99644 301 301 0 145237 0
vsize: 582152
[startup+890.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 237982 0 0 0 88413 594 0 0 25 0 1 0 971511694 596123648 99648 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 145538 99648 301 301 0 145237 0
vsize: 582152
[startup+900.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 239952 0 0 0 89408 600 0 0 25 0 1 0 971511694 604954624 101618 4294967295 134512640 135730672 3221224576 3221222912 134767241 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 147694 101618 301 301 0 147393 0
vsize: 590776
[startup+910.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 240148 0 0 0 90407 601 0 0 25 0 1 0 971511694 596123648 99658 4294967295 134512640 135730672 3221224576 3221223200 134748208 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 145538 99658 301 301 0 145237 0
vsize: 582152
[startup+920.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 240154 0 0 0 91406 602 0 0 25 0 1 0 971511694 596123648 99664 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 145538 99664 301 301 0 145237 0
vsize: 582152
[startup+930.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 242313 0 0 0 92399 609 0 0 25 0 1 0 971511694 596123648 99667 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 145538 99667 301 301 0 145237 0
vsize: 582152
[startup+940.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 242318 0 0 0 93397 611 0 0 25 0 1 0 971511694 596123648 99672 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 145538 99672 301 301 0 145237 0
vsize: 582152
[startup+950.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 244478 0 0 0 94390 618 0 0 25 0 1 0 971511694 604954624 101832 4294967295 134512640 135730672 3221224576 3221222728 134765469 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 147694 101832 301 301 0 147393 0
vsize: 590776
[startup+960.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 244483 0 0 0 95389 618 0 0 25 0 1 0 971511694 596123648 99681 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 145538 99681 301 301 0 145237 0
vsize: 582152
[startup+970.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 244508 0 0 0 96388 620 0 0 25 0 1 0 971511694 596258816 99706 4294967295 134512640 135730672 3221224576 3221223072 134747942 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 145571 99706 301 301 0 145270 0
vsize: 582284
[startup+980.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 246665 0 0 0 97382 626 0 0 25 0 1 0 971511694 596258816 99707 4294967295 134512640 135730672 3221224576 3221223232 134734776 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 145571 99707 301 301 0 145270 0
vsize: 582284
[startup+990.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 246668 0 0 0 98381 627 0 0 25 0 1 0 971511694 596258816 99710 4294967295 134512640 135730672 3221224576 3221223232 134734829 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 145571 99710 301 301 0 145270 0
vsize: 582284
[startup+1000.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 246670 0 0 0 99379 629 0 0 25 0 1 0 971511694 596258816 99712 4294967295 134512640 135730672 3221224576 3221223088 134745849 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 145571 99712 301 301 0 145270 0
vsize: 582284
[startup+1010.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 248828 0 0 0 100372 636 0 0 25 0 1 0 971511694 596258816 99714 4294967295 134512640 135730672 3221224576 3221223072 134747516 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 145571 99714 301 301 0 145270 0
vsize: 582284
[startup+1020.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 248833 0 0 0 101371 637 0 0 25 0 1 0 971511694 596258816 99719 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 145571 99719 301 301 0 145270 0
vsize: 582284
[startup+1030.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 250991 0 0 0 102365 643 0 0 25 0 1 0 971511694 596258816 99721 4294967295 134512640 135730672 3221224576 3221222992 134741730 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 145571 99721 301 301 0 145270 0
vsize: 582284
[startup+1040.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 251000 0 0 0 103364 644 0 0 25 0 1 0 971511694 596258816 99730 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 145571 99730 301 301 0 145270 0
vsize: 582284
[startup+1050.06 s]
Raw data (loadavg): 0.99 0.97 0.91 3/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 251264 0 0 0 104363 646 0 0 25 0 1 0 971511694 605089792 99994 4294967295 134512640 135730672 3221224576 3221222912 134767241 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 147727 99994 301 301 0 147426 0
vsize: 590908
[startup+1060.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 253165 0 0 0 105357 651 0 0 25 0 1 0 971511694 596258816 99739 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 145571 99739 301 301 0 145270 0
vsize: 582284
[startup+1070.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 253171 0 0 0 106357 651 0 0 25 0 1 0 971511694 596258816 99745 4294967295 134512640 135730672 3221224576 3221223192 134748218 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 145571 99745 301 301 0 145270 0
vsize: 582284
[startup+1080.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 255336 0 0 0 107351 658 0 0 25 0 1 0 971511694 596258816 99754 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 145571 99754 301 301 0 145270 0
vsize: 582284
[startup+1090.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 255342 0 0 0 108350 659 0 0 25 0 1 0 971511694 596258816 99760 4294967295 134512640 135730672 3221224576 3221223184 134748241 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 145571 99760 301 301 0 145270 0
vsize: 582284
[startup+1100.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 257503 0 0 0 109344 665 0 0 25 0 1 0 971511694 605089792 101921 4294967295 134512640 135730672 3221224576 3221222728 134765477 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 147727 101921 301 301 0 147426 0
vsize: 590908
[startup+1110.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 257504 0 0 0 110343 666 0 0 25 0 1 0 971511694 596258816 99766 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 145571 99766 301 301 0 145270 0
vsize: 582284
[startup+1120.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 257509 0 0 0 111342 667 0 0 25 0 1 0 971511694 596258816 99771 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 145571 99771 301 301 0 145270 0
vsize: 582284
[startup+1130.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 259667 0 0 0 112336 673 0 0 25 0 1 0 971511694 596258816 99773 4294967295 134512640 135730672 3221224576 3221223264 134748499 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 145571 99773 301 301 0 145270 0
vsize: 582284
[startup+1140.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 259672 0 0 0 113335 674 0 0 25 0 1 0 971511694 596258816 99778 4294967295 134512640 135730672 3221224576 3221223264 134748499 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 145571 99778 301 301 0 145270 0
vsize: 582284
[startup+1150.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 259677 0 0 0 114334 676 0 0 25 0 1 0 971511694 596258816 99783 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 145571 99783 301 301 0 145270 0
vsize: 582284
[startup+1160.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 261836 0 0 0 115329 681 0 0 25 0 1 0 971511694 596258816 99786 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 145571 99786 301 301 0 145270 0
vsize: 582284
[startup+1170.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 261868 0 0 0 116327 683 0 0 25 0 1 0 971511694 596393984 99818 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 145604 99818 301 301 0 145303 0
vsize: 582416
[startup+1180.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 261874 0 0 0 117327 684 0 0 25 0 1 0 971511694 596393984 99824 4294967295 134512640 135730672 3221224576 3221223088 134745860 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 145604 99824 301 301 0 145303 0
vsize: 582416
[startup+1190.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 264034 0 0 0 118321 690 0 0 25 0 1 0 971511694 596393984 99828 4294967295 134512640 135730672 3221224576 3221223264 134748499 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 145604 99828 301 301 0 145303 0
vsize: 582416
[startup+1200.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 264041 0 0 0 119319 691 0 0 25 0 1 0 971511694 596393984 99835 4294967295 134512640 135730672 3221224576 3221223072 134747913 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 145604 99835 301 301 0 145303 0
vsize: 582416
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.17 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 25421
Raw data (stat): 25421 (pb2sat-v2) R 25420 20224 20223 0 -1 0 264041 0 0 0 119319 691 0 0 25 0 1 0 971511694 596393984 99835 4294967295 134512640 135730672 3221224576 3221223072 134747913 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 145604 99835 301 301 0 145303 0
vsize: 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1202.17
CPU time (s): 1202.22
CPU user time (s): 1195.1
CPU system time (s): 7.11792
CPU usage (%): 100.004
Max. virtual memory (Kb): 590908
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####