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/miplib3/normalized-mps-v2-13-7-danoint.opb
MD5SUM	bf9bbda6f586f0b888182a433f63f010
Bench Category	optimization, medium integers (OPTMEDINT)
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	20
Biggest coefficient in the objective function	524288
Number of bits for the biggest coefficient in the objective function	20
Sum of the numbers in the objective function	1048575
Number of bits of the sum of numbers in the objective function	20
Biggest number in a constraint	13107200
Number of bits of the biggest number in a constraint	24
Biggest sum of numbers in a constraint	52829966
Number of bits of the biggest sum of numbers	26
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.39179
Number of variables	9304
Total number of constraints	728
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	72
Number of constraints which are nor clauses,nor cardinality constraints	656
Minimum length of a constraint	1
Maximum length of a constraint	1000
Trace number 42897

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-16 17:45:54 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26106 boxname=wulflinc3 idbench=1406 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  bf9bbda6f586f0b888182a433f63f010  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-danoint.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-danoint.opb
IDLAUNCH: 26106
/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:        714876 kB
Buffers:         23448 kB
Cached:         274236 kB
SwapCached:        768 kB
Active:          34372 kB
Inactive:       265448 kB
HighTotal:      131008 kB
HighFree:         3528 kB
LowTotal:       903652 kB
LowFree:        711348 kB
SwapTotal:     2097136 kB
SwapFree:      2095372 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5104 kB
Slab:            14368 kB
Committed_AS:    71900 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 18:05:56 (client local time) WITH STATUS 0 IN 1202.3 SECONDS
stats: 26106 7 1202.3 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 293672/1624559	Time: 354.715/86400
c Decision: 293672/1624559	Time: 571.952/86400
c Decision: 293672/1624559	Time: 788.508/86400
c Decision: 293672/1624559	Time: 1041.84/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.90 0.93 0.90 2/54 27630
Raw data (stat): 27630 (runsolver) R 27629 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 972660498 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0008 s]
Raw data (loadavg): 0.92 0.93 0.90 2/54 27630
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 28424 0 0 0 934 64 0 0 25 0 1 0 972660498 78512128 17358 4294967295 134512640 135730672 3221224576 3221143312 135109362 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 19168 17358 301 301 0 18867 0
vsize: 76672
[startup+20.002 s]
Raw data (loadavg): 0.93 0.94 0.91 2/54 27630
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 56418 0 0 0 1870 128 0 0 25 0 1 0 972660498 155176960 34356 4294967295 134512640 135730672 3221224576 3221120096 134786199 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37885 34357 301 301 0 37584 0
vsize: 151540
[startup+30.0024 s]
Raw data (loadavg): 0.94 0.94 0.91 2/54 27630
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 95157 0 0 0 2788 210 0 0 25 0 1 0 972660498 304803840 51399 4294967295 134512640 135730672 3221224576 3220862624 134770873 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 74415 51399 301 301 0 74114 0
vsize: 297660
[startup+40.0022 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 27630
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 111038 0 0 0 3749 249 0 0 25 0 1 0 972660498 308047872 67014 4294967295 134512640 135730672 3221224576 3220901168 134770727 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75207 67015 301 301 0 74906 0
vsize: 300828
[startup+50.0035 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 27630
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 171253 0 0 0 4632 366 0 0 25 0 1 0 972660498 637321216 107654 4294967295 134512640 135730672 3221224576 3221044672 134788521 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 155596 107658 301 301 0 155295 0
vsize: 622384
[startup+60.003 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 27630
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 187195 0 0 0 5591 407 0 0 25 0 1 0 972660498 570208256 98795 4294967295 134512640 135730672 3221224576 3220798944 134770057 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 139211 98795 301 301 0 138910 0
vsize: 556844
[startup+70.0037 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 27630
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 202472 0 0 0 6556 442 0 0 25 0 1 0 972660498 570208256 113801 4294967295 134512640 135730672 3221224576 3221221520 134539724 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 139211 113801 301 301 0 138910 0
vsize: 556844
[startup+80.005 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 27630
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 211004 0 0 0 7535 463 0 0 25 0 1 0 972660498 586358784 119127 4294967295 134512640 135730672 3221224576 3221223264 134748554 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 143154 119127 301 301 0 142853 0
vsize: 572616
[startup+90.0044 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 27630
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 215878 0 0 0 8525 473 0 0 25 0 1 0 972660498 602480640 122263 4294967295 134512640 135730672 3221224576 3221223200 134748264 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 147090 122263 301 301 0 146789 0
vsize: 588360
[startup+100.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 27630
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 219559 0 0 0 9519 479 0 0 25 0 1 0 972660498 613572608 124176 4294967295 134512640 135730672 3221224576 3221223072 134747705 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 149798 124176 301 301 0 149497 0
vsize: 599192
[startup+110.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 27630
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 222913 0 0 0 10513 485 0 0 25 0 1 0 972660498 622854144 125973 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 152064 125973 301 301 0 151763 0
vsize: 608256
[startup+120.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 27630
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 226755 0 0 0 11506 493 0 0 25 0 1 0 972660498 633401344 127869 4294967295 134512640 135730672 3221224576 3221223216 134748065 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 154639 127869 301 301 0 154338 0
vsize: 618556
[startup+130.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 27630
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 229403 0 0 0 12501 498 0 0 25 0 1 0 972660498 640524288 129215 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 156378 129215 301 301 0 156077 0
vsize: 625512
[startup+140.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 27630
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 231411 0 0 0 13498 501 0 0 25 0 1 0 972660498 646373376 130232 4294967295 134512640 135730672 3221224576 3221223072 134747634 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 157806 130232 301 301 0 157505 0
vsize: 631224
[startup+150.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 27630
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 233009 0 0 0 14495 504 0 0 25 0 1 0 972660498 650428416 131068 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 158796 131068 301 301 0 158495 0
vsize: 635184
[startup+160.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 27630
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 234811 0 0 0 15491 508 0 0 25 0 1 0 972660498 655302656 131961 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 159986 131961 301 301 0 159685 0
vsize: 639944
[startup+170.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 27630
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 235770 0 0 0 16489 510 0 0 25 0 1 0 972660498 658063360 132370 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 160660 132370 301 301 0 160359 0
vsize: 642640
[startup+180.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 27630
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 236661 0 0 0 17488 512 0 0 25 0 1 0 972660498 660701184 132872 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 161304 132872 301 301 0 161003 0
vsize: 645216
[startup+190.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 27630
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 237763 0 0 0 18486 514 0 0 25 0 1 0 972660498 663068672 133456 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 161882 133456 301 301 0 161581 0
vsize: 647528
[startup+200.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 27630
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 239271 0 0 0 19483 517 0 0 25 0 1 0 972660498 667299840 134183 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 162915 134183 301 301 0 162614 0
vsize: 651660
[startup+210.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 27630
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 240053 0 0 0 20482 518 0 0 25 0 1 0 972660498 669462528 134638 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 163443 134638 301 301 0 163142 0
vsize: 653772
[startup+220.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 27630
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 242316 0 0 0 21478 522 0 0 25 0 1 0 972660498 675807232 135697 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 164992 135697 301 301 0 164691 0
vsize: 659968
[startup+230.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 27630
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 245732 0 0 0 22472 529 0 0 25 0 1 0 972660498 686231552 137359 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 167537 137359 301 301 0 167236 0
vsize: 670148
[startup+240.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 27630
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 247896 0 0 0 23468 533 0 0 25 0 1 0 972660498 692080640 138358 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 168965 138358 301 301 0 168664 0
vsize: 675860
[startup+250.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 27630
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 248923 0 0 0 24467 534 0 0 25 0 1 0 972660498 695119872 138995 4294967295 134512640 135730672 3221224576 3221223164 134747446 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 169707 138995 301 301 0 169406 0
vsize: 678828
[startup+260.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 27630
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 249910 0 0 0 25466 535 0 0 25 0 1 0 972660498 697360384 139561 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 170254 139561 301 301 0 169953 0
vsize: 681016
[startup+270.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 27630
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 250553 0 0 0 26464 537 0 0 25 0 1 0 972660498 699072512 139848 4294967295 134512640 135730672 3221224576 3221223264 134748499 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 170672 139848 301 301 0 170371 0
vsize: 682688
[startup+280.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 27630
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 253332 0 0 0 27460 541 0 0 25 0 1 0 972660498 706179072 141166 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 172407 141166 301 301 0 172106 0
vsize: 689628
[startup+290.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 27630
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 254549 0 0 0 28458 544 0 0 25 0 1 0 972660498 709332992 141736 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 173177 141736 301 301 0 172876 0
vsize: 692708
[startup+300.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27630
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 255883 0 0 0 29455 547 0 0 25 0 1 0 972660498 712478720 142297 4294967295 134512640 135730672 3221224576 3221223072 134747602 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 173945 142297 301 301 0 173644 0
vsize: 695780
[startup+310.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27630
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 256670 0 0 0 30454 548 0 0 25 0 1 0 972660498 714575872 142570 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 174457 142570 301 301 0 174156 0
vsize: 697828
[startup+320.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27630
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 257003 0 0 0 31453 549 0 0 25 0 1 0 972660498 715362304 142709 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 174649 142709 301 301 0 174348 0
vsize: 698596
[startup+330.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27630
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 257632 0 0 0 32452 551 0 0 25 0 1 0 972660498 717201408 142951 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 175098 142951 301 301 0 174797 0
vsize: 700392
[startup+340.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27630
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 257882 0 0 0 33451 551 0 0 25 0 1 0 972660498 717987840 143007 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 175290 143007 301 301 0 174989 0
vsize: 701160
[startup+350.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27630
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 258314 0 0 0 34451 552 0 0 25 0 1 0 972660498 719044608 143243 4294967295 134512640 135730672 3221224576 3221223072 134747534 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 175548 143243 301 301 0 175247 0
vsize: 702192
[startup+360.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27630
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 258603 0 0 0 35450 553 0 0 25 0 1 0 972660498 719572992 143434 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 175677 143434 301 301 0 175376 0
vsize: 702708
[startup+370.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27630
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 260262 0 0 0 36448 556 0 0 25 0 1 0 972660498 724041728 144090 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 176768 144090 301 301 0 176467 0
vsize: 707072
[startup+380.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27630
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 261745 0 0 0 37445 558 0 0 25 0 1 0 972660498 727711744 144671 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 177664 144671 301 301 0 177363 0
vsize: 710656
[startup+390.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27630
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 262565 0 0 0 38443 561 0 0 25 0 1 0 972660498 729808896 144976 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 178176 144976 301 301 0 177875 0
vsize: 712704
[startup+400.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27630
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 263591 0 0 0 39441 563 0 0 25 0 1 0 972660498 732430336 145358 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 178816 145358 301 301 0 178515 0
vsize: 715264
[startup+410.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27630
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 264034 0 0 0 40440 564 0 0 25 0 1 0 972660498 733220864 145638 4294967295 134512640 135730672 3221224576 3221223264 134748549 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 179009 145638 301 301 0 178708 0
vsize: 716036
[startup+420.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27630
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 267208 0 0 0 41434 571 0 0 25 0 1 0 972660498 746217472 148812 4294967295 134512640 135730672 3221224576 3221222848 134774598 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 182182 148812 301 301 0 181881 0
vsize: 728728
[startup+430.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27630
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 268319 0 0 0 42431 573 0 0 25 0 1 0 972660498 736120832 146165 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 179717 146165 301 301 0 179416 0
vsize: 718868
[startup+440.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27630
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 268792 0 0 0 43429 575 0 0 25 0 1 0 972660498 737169408 146380 4294967295 134512640 135730672 3221224576 3221222912 134739213 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 179973 146380 301 301 0 179672 0
vsize: 719892
[startup+450.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27630
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 269454 0 0 0 44427 576 0 0 25 0 1 0 972660498 738750464 146717 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 180359 146717 301 301 0 180058 0
vsize: 721436
[startup+460.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27630
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 270263 0 0 0 45425 578 0 0 25 0 1 0 972660498 740859904 147202 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 180874 147202 301 301 0 180573 0
vsize: 723496
[startup+470.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27630
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 271497 0 0 0 46423 580 0 0 25 0 1 0 972660498 744820736 147917 4294967295 134512640 135730672 3221224576 3221223200 134748126 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 181841 147917 301 301 0 181540 0
vsize: 727364
[startup+480.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27630
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 271719 0 0 0 47422 581 0 0 25 0 1 0 972660498 745345024 148010 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 181969 148010 301 301 0 181668 0
vsize: 727876
[startup+490.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27630
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 271909 0 0 0 48422 582 0 0 25 0 1 0 972660498 745869312 148071 4294967295 134512640 135730672 3221224576 3221223168 134764020 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 182097 148071 301 301 0 181796 0
vsize: 728388
[startup+500.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27630
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 271911 0 0 0 49422 582 0 0 25 0 1 0 972660498 745869312 148073 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 182097 148073 301 301 0 181796 0
vsize: 728388
[startup+510.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27630
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 271913 0 0 0 50422 582 0 0 25 0 1 0 972660498 745869312 148075 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 182097 148075 301 301 0 181796 0
vsize: 728388
[startup+520.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27630
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 272377 0 0 0 51421 583 0 0 25 0 1 0 972660498 746917888 148281 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 182353 148281 301 301 0 182052 0
vsize: 729412
[startup+530.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27630
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 272738 0 0 0 52420 584 0 0 25 0 1 0 972660498 747704320 148448 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 182545 148448 301 301 0 182244 0
vsize: 730180
[startup+540.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27630
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 273236 0 0 0 53419 585 0 0 25 0 1 0 972660498 748752896 148688 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 182801 148688 301 301 0 182500 0
vsize: 731204
[startup+550.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27630
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 273464 0 0 0 54419 585 0 0 25 0 1 0 972660498 749277184 148787 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 182929 148787 301 301 0 182628 0
vsize: 731716
[startup+560.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27630
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 273672 0 0 0 55419 586 0 0 25 0 1 0 972660498 750071808 148930 4294967295 134512640 135730672 3221224576 3221223200 134748120 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 183123 148930 301 301 0 182822 0
vsize: 732492
[startup+570.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27630
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 274339 0 0 0 56418 587 0 0 25 0 1 0 972660498 751906816 149145 4294967295 134512640 135730672 3221224576 3221223200 134748091 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 183571 149145 301 301 0 183270 0
vsize: 734284
[startup+580.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27630
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 274781 0 0 0 57418 587 0 0 25 0 1 0 972660498 753217536 149264 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 183891 149264 301 301 0 183590 0
vsize: 735564
[startup+590.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27630
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 275096 0 0 0 58417 588 0 0 25 0 1 0 972660498 754270208 149385 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 184148 149385 301 301 0 183847 0
vsize: 736592
[startup+600.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27630
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 275559 0 0 0 59416 590 0 0 25 0 1 0 972660498 755318784 149590 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 184404 149590 301 301 0 184103 0
vsize: 737616
[startup+610.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27630
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 276770 0 0 0 60413 593 0 0 25 0 1 0 972660498 758464512 150031 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 185172 150031 301 301 0 184871 0
vsize: 740688
[startup+620.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27630
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 276985 0 0 0 61413 594 0 0 25 0 1 0 972660498 758988800 150117 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 185300 150117 301 301 0 184999 0
vsize: 741200
[startup+630.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27630
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 277667 0 0 0 62412 595 0 0 25 0 1 0 972660498 760561664 150413 4294967295 134512640 135730672 3221224576 3221222904 134739217 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 185684 150413 301 301 0 185383 0
vsize: 742736
[startup+640.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27630
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 280881 0 0 0 63404 602 0 0 25 0 1 0 972660498 773558272 153627 4294967295 134512640 135730672 3221224576 3221222728 134765483 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 188857 153627 301 301 0 188556 0
vsize: 755428
[startup+650.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27630
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 282440 0 0 0 64400 606 0 0 25 0 1 0 972660498 764510208 151302 4294967295 134512640 135730672 3221224576 3221223072 134747657 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 186648 151302 301 301 0 186347 0
vsize: 746592
[startup+660.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27630
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 283333 0 0 0 65398 608 0 0 25 0 1 0 972660498 766877696 151742 4294967295 134512640 135730672 3221224576 3221223072 134747965 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 187226 151742 301 301 0 186925 0
vsize: 748904
[startup+670.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27630
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 283373 0 0 0 66398 608 0 0 25 0 1 0 972660498 766877696 151782 4294967295 134512640 135730672 3221224576 3221223072 134747639 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 187226 151782 301 301 0 186925 0
vsize: 748904
[startup+680.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27630
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 283654 0 0 0 67397 609 0 0 25 0 1 0 972660498 767664128 151869 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 187418 151869 301 301 0 187117 0
vsize: 749672
[startup+690.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27630
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 283723 0 0 0 68398 610 0 0 25 0 1 0 972660498 767664128 151938 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 187418 151938 301 301 0 187117 0
vsize: 749672
[startup+700.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27630
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 283744 0 0 0 69398 610 0 0 25 0 1 0 972660498 767664128 151959 4294967295 134512640 135730672 3221224576 3221223232 134748670 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 187418 151959 301 301 0 187117 0
vsize: 749672
[startup+710.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27630
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 284174 0 0 0 70397 611 0 0 25 0 1 0 972660498 768712704 152132 4294967295 134512640 135730672 3221224576 3221223264 134748570 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 187674 152132 301 301 0 187373 0
vsize: 750696
[startup+720.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27630
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 284703 0 0 0 71396 611 0 0 25 0 1 0 972660498 769761280 152403 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 187930 152403 301 301 0 187629 0
vsize: 751720
[startup+730.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27630
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 284707 0 0 0 72397 611 0 0 25 0 1 0 972660498 769761280 152407 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 187930 152407 301 301 0 187629 0
vsize: 751720
[startup+740.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27630
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 284754 0 0 0 73397 611 0 0 25 0 1 0 972660498 769761280 152454 4294967295 134512640 135730672 3221224576 3221223232 134734761 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 187930 152454 301 301 0 187629 0
vsize: 751720
[startup+750.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27630
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 284890 0 0 0 74397 612 0 0 25 0 1 0 972660498 769761280 152590 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 187930 152590 301 301 0 187629 0
vsize: 751720
[startup+760.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27630
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 285012 0 0 0 75397 612 0 0 25 0 1 0 972660498 769761280 152712 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 187930 152712 301 301 0 187629 0
vsize: 751720
[startup+770.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27630
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 285061 0 0 0 76397 612 0 0 25 0 1 0 972660498 769761280 152761 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 187930 152761 301 301 0 187629 0
vsize: 751720
[startup+780.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27630
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 285062 0 0 0 77397 612 0 0 25 0 1 0 972660498 769761280 152762 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 187930 152762 301 301 0 187629 0
vsize: 751720
[startup+790.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27630
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 285362 0 0 0 78396 613 0 0 25 0 1 0 972660498 770547712 152868 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 188122 152868 301 301 0 187821 0
vsize: 752488
[startup+800.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27630
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 285580 0 0 0 79396 613 0 0 25 0 1 0 972660498 771072000 152957 4294967295 134512640 135730672 3221224576 3221222904 134739217 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 188250 152957 301 301 0 187949 0
vsize: 753000
[startup+810.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27630
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 285608 0 0 0 80396 614 0 0 25 0 1 0 972660498 771072000 152985 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 188250 152985 301 301 0 187949 0
vsize: 753000
[startup+820.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27630
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 286141 0 0 0 81395 615 0 0 25 0 1 0 972660498 772120576 153260 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 188506 153260 301 301 0 188205 0
vsize: 754024
[startup+830.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27630
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 286307 0 0 0 82394 615 0 0 25 0 1 0 972660498 772644864 153297 4294967295 134512640 135730672 3221224576 3221223072 134747639 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 188634 153297 301 301 0 188333 0
vsize: 754536
[startup+840.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27630
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 287136 0 0 0 83393 617 0 0 25 0 1 0 972660498 775016448 153738 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 189213 153738 301 301 0 188912 0
vsize: 756852
[startup+850.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27630
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 287318 0 0 0 84392 618 0 0 25 0 1 0 972660498 775278592 153855 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 189277 153855 301 301 0 188976 0
vsize: 757108
[startup+860.032 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 27683
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 291056 0 0 0 85377 633 0 0 25 0 1 0 972660498 776851456 154034 4294967295 134512640 135730672 3221224576 3221223184 134748241 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 189661 154034 301 301 0 189360 0
vsize: 758644
[startup+870.033 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 27683
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 291773 0 0 0 86374 636 0 0 25 0 1 0 972660498 778690560 154364 4294967295 134512640 135730672 3221224576 3221223244 134748653 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 190110 154364 301 301 0 189809 0
vsize: 760440
[startup+880.033 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 27683
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 291777 0 0 0 87374 636 0 0 25 0 1 0 972660498 778690560 154368 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 190110 154368 301 301 0 189809 0
vsize: 760440
[startup+890.034 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 27683
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 292234 0 0 0 88373 637 0 0 25 0 1 0 972660498 779739136 154568 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 190366 154568 301 301 0 190065 0
vsize: 761464
[startup+900.035 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 27683
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 292329 0 0 0 89373 637 0 0 25 0 1 0 972660498 779739136 154663 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 190366 154663 301 301 0 190065 0
vsize: 761464
[startup+910.035 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 27683
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 292351 0 0 0 90374 637 0 0 25 0 1 0 972660498 779739136 154685 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 190366 154685 301 301 0 190065 0
vsize: 761464
[startup+920.035 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 27683
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 293320 0 0 0 91373 638 0 0 25 0 1 0 972660498 782360576 155011 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 191006 155011 301 301 0 190705 0
vsize: 764024
[startup+930.037 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 27685
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 293568 0 0 0 92372 639 0 0 25 0 1 0 972660498 782884864 155130 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 191134 155130 301 301 0 190833 0
vsize: 764536
[startup+940.037 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 27685
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 293671 0 0 0 93372 639 0 0 25 0 1 0 972660498 782884864 155233 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 191134 155233 301 301 0 190833 0
vsize: 764536
[startup+950.038 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 27685
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 293696 0 0 0 94372 640 0 0 25 0 1 0 972660498 782884864 155258 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 191134 155258 301 301 0 190833 0
vsize: 764536
[startup+960.039 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 27685
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 293716 0 0 0 95372 640 0 0 25 0 1 0 972660498 782884864 155278 4294967295 134512640 135730672 3221224576 3221223200 134748108 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 191134 155278 301 301 0 190833 0
vsize: 764536
[startup+970.04 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 27685
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 294353 0 0 0 96371 641 0 0 25 0 1 0 972660498 784855040 155496 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 191615 155496 301 301 0 191314 0
vsize: 766460
[startup+980.04 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 27685
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 294588 0 0 0 97371 642 0 0 25 0 1 0 972660498 785379328 155602 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 191743 155602 301 301 0 191442 0
vsize: 766972
[startup+990.041 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27685
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 294855 0 0 0 98370 642 0 0 25 0 1 0 972660498 785903616 155740 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 191871 155740 301 301 0 191570 0
vsize: 767484
[startup+1000.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27685
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 295156 0 0 0 99370 643 0 0 25 0 1 0 972660498 786427904 155912 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 191999 155912 301 301 0 191698 0
vsize: 767996
[startup+1010.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27685
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 295641 0 0 0 100369 644 0 0 25 0 1 0 972660498 787476480 156140 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 192255 156140 301 301 0 191954 0
vsize: 769020
[startup+1020.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27685
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 295873 0 0 0 101369 644 0 0 25 0 1 0 972660498 788004864 156307 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 192384 156307 301 301 0 192083 0
vsize: 769536
[startup+1030.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27685
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 295894 0 0 0 102369 645 0 0 25 0 1 0 972660498 788004864 156328 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 192384 156328 301 301 0 192083 0
vsize: 769536
[startup+1040.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27685
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 295898 0 0 0 103369 645 0 0 25 0 1 0 972660498 788004864 156332 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 192384 156332 301 301 0 192083 0
vsize: 769536
[startup+1050.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27685
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 295898 0 0 0 104369 645 0 0 25 0 1 0 972660498 788004864 156332 4294967295 134512640 135730672 3221224576 3221223200 134748073 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 192384 156332 301 301 0 192083 0
vsize: 769536
[startup+1060.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27685
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 296121 0 0 0 105369 645 0 0 25 0 1 0 972660498 788529152 156426 4294967295 134512640 135730672 3221224576 3221223200 134748264 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 192512 156426 301 301 0 192211 0
vsize: 770048
[startup+1070.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27685
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 296348 0 0 0 106369 646 0 0 25 0 1 0 972660498 789053440 156524 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 192640 156524 301 301 0 192339 0
vsize: 770560
[startup+1080.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27685
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 297106 0 0 0 107368 647 0 0 25 0 1 0 972660498 790888448 156831 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 193088 156831 301 301 0 192787 0
vsize: 772352
[startup+1090.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27685
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 297181 0 0 0 108368 647 0 0 25 0 1 0 972660498 790888448 156906 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 193088 156906 301 301 0 192787 0
vsize: 772352
[startup+1100.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27685
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 298116 0 0 0 109366 649 0 0 25 0 1 0 972660498 793513984 157261 4294967295 134512640 135730672 3221224576 3221223200 134748264 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 193729 157261 301 301 0 193428 0
vsize: 774916
[startup+1110.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27685
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 301755 0 0 0 110359 657 0 0 25 0 1 0 972660498 807559168 160642 4294967295 134512640 135730672 3221224576 3221222736 134768821 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 197158 160642 301 301 0 196857 0
vsize: 788632
[startup+1120.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27685
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 302051 0 0 0 111357 658 0 0 25 0 1 0 972660498 795348992 157571 4294967295 134512640 135730672 3221224576 3221223072 134747960 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 194177 157571 301 301 0 193876 0
vsize: 776708
[startup+1130.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27685
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 302627 0 0 0 112356 659 0 0 25 0 1 0 972660498 796659712 157824 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 194497 157824 301 301 0 194196 0
vsize: 777988
[startup+1140.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27685
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 303710 0 0 0 113354 661 0 0 25 0 1 0 972660498 799281152 158264 4294967295 134512640 135730672 3221224576 3221223072 134747942 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 195137 158264 301 301 0 194836 0
vsize: 780548
[startup+1150.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27685
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 303711 0 0 0 114355 661 0 0 25 0 1 0 972660498 799281152 158265 4294967295 134512640 135730672 3221224576 3221223072 134747549 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 195137 158265 301 301 0 194836 0
vsize: 780548
[startup+1160.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27685
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 303867 0 0 0 115355 661 0 0 25 0 1 0 972660498 799281152 158421 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 195137 158421 301 301 0 194836 0
vsize: 780548
[startup+1170.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27685
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 304141 0 0 0 116354 662 0 0 25 0 1 0 972660498 799805440 158566 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 195265 158566 301 301 0 194964 0
vsize: 781060
[startup+1180.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27687
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 304675 0 0 0 117353 664 0 0 25 0 1 0 972660498 801378304 158714 4294967295 134512640 135730672 3221224576 3221223072 134747597 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 195649 158714 301 301 0 195348 0
vsize: 782596
[startup+1190.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27687
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 305897 0 0 0 118350 667 0 0 25 0 1 0 972660498 804524032 159165 4294967295 134512640 135730672 3221224576 3221223072 134747602 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 196417 159165 301 301 0 196116 0
vsize: 785668
[startup+1200.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27687
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 306406 0 0 0 119349 668 0 0 25 0 1 0 972660498 806096896 159288 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 196801 159288 301 301 0 196500 0
vsize: 787204
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.18 s]
Raw data (loadavg): 1.00 0.99 0.91 1/53 27687
Raw data (stat): 27630 (pb2sat-v2) R 27629 20224 20223 0 -1 0 306406 0 0 0 119349 668 0 0 25 0 1 0 972660498 806096896 159288 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 196801 159288 301 301 0 196500 0
vsize: 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1202.18
CPU time (s): 1202.3
CPU user time (s): 1195.3
CPU system time (s): 6.99994
CPU usage (%): 100.01
Max. virtual memory (Kb): 788632
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####