PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-fixnet6.opb
MD5SUM	643c61a2fa79f4946ef3ab8d08d00c03
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	48386177
Optimality of the best value was proved	NO
Number of terms in the objective function	11714
Biggest coefficient in the objective function	1073741824
Number of bits for the biggest coefficient in the objective function	31
Sum of the numbers in the objective function	513431911800
Number of bits of the sum of numbers in the objective function	39
Biggest number in a constraint	1073741824
Number of bits of the biggest number in a constraint	31
Biggest sum of numbers in a constraint	513431911800
Number of bits of the biggest sum of numbers	39
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1260.33
Number of variables	14036
Total number of constraints	978
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	378
Number of constraints which are nor clauses,nor cardinality constraints	600
Minimum length of a constraint	1
Maximum length of a constraint	1523
Trace number 42402

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        741168 kB
Buffers:         33244 kB
Cached:         237388 kB
SwapCached:       1028 kB
Active:          28840 kB
Inactive:       243996 kB
HighTotal:      131008 kB
HighFree:        18060 kB
LowTotal:       903652 kB
LowFree:        723108 kB
SwapTotal:     2097136 kB
SwapFree:      2095200 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5088 kB
Slab:            15000 kB
Committed_AS:    63848 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 06:54:58 (client local time) WITH STATUS 0 IN 1202.49 SECONDS
stats: 25612 7 1202.49 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 604203/1600883	Time: 344.181/86400
c Decision: 604205/1600883	Time: 393.441/86400
c Decision: 604208/1600883	Time: 497.593/86400
c Decision: 604208/1600883	Time: 566.915/86400
c Decision: 604216/1600883	Time: 651.302/86400
c Decision: 604216/1600883	Time: 706.076/86400
c Decision: 604233/1600883	Time: 766.506/86400
c Decision: 604236/1600883	Time: 814.285/86400
c Decision: 604241/1600883	Time: 875.787/86400
c Decision: 604241/1600883	Time: 906.511/86400
c Decision: 604241/1600883	Time: 948.776/86400
c Decision: 604241/1600883	Time: 982.278/86400
c Decision: 604241/1600883	Time: 1014.05/86400
c Decision: 604241/1600883	Time: 1041.65/86400
c Decision: 604241/1600883	Time: 1064.45/86400
c Decision: 604245/1600883	Time: 1100.78/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.93 0.97 0.91 1/54 15281
Raw data (stat): 15281 (runsolver) R 15280 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 968642331 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.0007 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 23499 0 0 0 947 52 0 0 25 0 1 0 968642331 70508544 12581 4294967295 134512640 135730672 3221224576 3220882112 134546366 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17214 12581 301 301 0 16913 0
vsize: 68856
[startup+20.0037 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 50638 0 0 0 1886 112 0 0 25 0 1 0 968642331 156643328 28750 4294967295 134512640 135730672 3221224576 3221153504 134786278 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38243 28750 301 301 0 37942 0
vsize: 152972
[startup+30.004 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 89315 0 0 0 2804 194 0 0 25 0 1 0 968642331 269930496 45732 4294967295 134512640 135730672 3221224576 3220995744 134786408 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 65901 45732 301 301 0 65600 0
vsize: 263604
[startup+40.0043 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 103362 0 0 0 3769 229 0 0 25 0 1 0 968642331 303579136 59526 4294967295 134512640 135730672 3221224576 3220768096 134788095 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 74116 59526 301 301 0 73815 0
vsize: 296464
[startup+50.0052 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 139511 0 0 0 4699 299 0 0 25 0 1 0 968642331 492552192 94730 4294967295 134512640 135730672 3221224576 3220958568 135285983 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 120252 94733 301 301 0 119951 0
vsize: 481008
[startup+60.0053 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 183225 0 0 0 5608 390 0 0 25 0 1 0 968642331 544088064 96001 4294967295 134512640 135730672 3221224576 3220594000 134770700 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 132834 96001 301 301 0 132533 0
vsize: 531336
[startup+70.0055 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 196369 0 0 0 6578 421 0 0 25 0 1 0 968642331 577642496 108914 4294967295 134512640 135730672 3221224576 3220911792 134786323 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 141026 108914 301 301 0 140725 0
vsize: 564104
[startup+80.0057 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 210071 0 0 0 7544 454 0 0 25 0 1 0 968642331 603258880 122478 4294967295 134512640 135730672 3221224576 3221222896 134769202 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 147280 122478 301 301 0 146979 0
vsize: 589120
[startup+90.0057 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 211275 0 0 0 8542 457 0 0 25 0 1 0 968642331 596213760 120550 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 145560 120550 301 301 0 145259 0
vsize: 582240
[startup+100.006 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 213154 0 0 0 9538 461 0 0 25 0 1 0 968642331 605237248 122396 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 147763 122396 301 301 0 147462 0
vsize: 591052
[startup+110.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 213786 0 0 0 10537 462 0 0 25 0 1 0 968642331 608305152 122995 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 148512 122995 301 301 0 148211 0
vsize: 594048
[startup+120.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 214406 0 0 0 11537 464 0 0 25 0 1 0 968642331 610762752 123467 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 149112 123467 301 301 0 148811 0
vsize: 596448
[startup+130.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 214806 0 0 0 12536 465 0 0 25 0 1 0 968642331 612970496 123867 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 149651 123867 301 301 0 149350 0
vsize: 598604
[startup+140.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 216460 0 0 0 13533 468 0 0 25 0 1 0 968642331 620072960 125209 4294967295 134512640 135730672 3221224576 3221223168 134747445 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 151385 125209 301 301 0 151084 0
vsize: 605540
[startup+150.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 217129 0 0 0 14532 469 0 0 25 0 1 0 968642331 623448064 125845 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 152209 125845 301 301 0 151908 0
vsize: 608836
[startup+160.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 217740 0 0 0 15531 471 0 0 25 0 1 0 968642331 626245632 126357 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 152892 126357 301 301 0 152591 0
vsize: 611568
[startup+170.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 218033 0 0 0 16531 471 0 0 25 0 1 0 968642331 627240960 126568 4294967295 134512640 135730672 3221224576 3221222912 134739213 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 153135 126568 301 301 0 152834 0
vsize: 612540
[startup+180.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 218398 0 0 0 17530 472 0 0 25 0 1 0 968642331 629129216 126901 4294967295 134512640 135730672 3221224576 3221223264 134748499 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 153596 126901 301 301 0 153295 0
vsize: 614384
[startup+190.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 219574 0 0 0 18529 474 0 0 25 0 1 0 968642331 634527744 127979 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 154914 127979 301 301 0 154613 0
vsize: 619656
[startup+200.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 220525 0 0 0 19527 476 0 0 25 0 1 0 968642331 638861312 128799 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 155972 128799 301 301 0 155671 0
vsize: 623888
[startup+210.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 220970 0 0 0 20526 478 0 0 25 0 1 0 968642331 640536576 129080 4294967295 134512640 135730672 3221224576 3221223072 134747942 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 156381 129080 301 301 0 156080 0
vsize: 625524
[startup+220.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 221572 0 0 0 21524 480 0 0 25 0 1 0 968642331 643391488 129649 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 157078 129649 301 301 0 156777 0
vsize: 628312
[startup+230.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 222132 0 0 0 22524 481 0 0 25 0 1 0 968642331 646078464 130143 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 157734 130143 301 301 0 157433 0
vsize: 630936
[startup+240.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 222692 0 0 0 23522 483 0 0 25 0 1 0 968642331 648355840 130539 4294967295 134512640 135730672 3221224576 3221223072 134747610 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 158290 130539 301 301 0 157989 0
vsize: 633160
[startup+250.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 223114 0 0 0 24522 483 0 0 25 0 1 0 968642331 650235904 130862 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 158749 130862 301 301 0 158448 0
vsize: 634996
[startup+260.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 223566 0 0 0 25522 484 0 0 25 0 1 0 968642331 652242944 131215 4294967295 134512640 135730672 3221224576 3221223200 134748244 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 159239 131215 301 301 0 158938 0
vsize: 636956
[startup+270.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 223898 0 0 0 26521 485 0 0 25 0 1 0 968642331 653721600 131514 4294967295 134512640 135730672 3221224576 3221223072 134747610 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 159600 131514 301 301 0 159299 0
vsize: 638400
[startup+280.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 224328 0 0 0 27520 486 0 0 25 0 1 0 968642331 655458304 131812 4294967295 134512640 135730672 3221224576 3221223232 134734849 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 160024 131812 301 301 0 159723 0
vsize: 640096
[startup+290.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 224534 0 0 0 28519 488 0 0 25 0 1 0 968642331 656257024 131919 4294967295 134512640 135730672 3221224576 3221223072 134747636 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 160219 131919 301 301 0 159918 0
vsize: 640876
[startup+300.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 224829 0 0 0 29519 489 0 0 25 0 1 0 968642331 657326080 132115 4294967295 134512640 135730672 3221224576 3221223232 134734829 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 160480 132115 301 301 0 160179 0
vsize: 641920
[startup+310.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 224905 0 0 0 30519 489 0 0 25 0 1 0 968642331 657731584 132191 4294967295 134512640 135730672 3221224576 3221223072 134747460 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 160579 132191 301 301 0 160278 0
vsize: 642316
[startup+320.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 224962 0 0 0 31518 490 0 0 25 0 1 0 968642331 658001920 132248 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 160645 132248 301 301 0 160344 0
vsize: 642580
[startup+330.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 225143 0 0 0 32518 491 0 0 25 0 1 0 968642331 658808832 132396 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 160842 132396 301 301 0 160541 0
vsize: 643368
[startup+340.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 225290 0 0 0 33516 492 0 0 25 0 1 0 968642331 659619840 132543 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 161040 132543 301 301 0 160739 0
vsize: 644160
[startup+350.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 225675 0 0 0 34516 494 0 0 25 0 1 0 968642331 661225472 132829 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 161432 132829 301 301 0 161131 0
vsize: 645728
[startup+360.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 225744 0 0 0 35515 494 0 0 25 0 1 0 968642331 661491712 132865 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 161497 132865 301 301 0 161196 0
vsize: 645988
[startup+370.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 225902 0 0 0 36515 495 0 0 25 0 1 0 968642331 662159360 132957 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 161660 132957 301 301 0 161359 0
vsize: 646640
[startup+380.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 226092 0 0 0 37514 497 0 0 25 0 1 0 968642331 662827008 133081 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 161823 133081 301 301 0 161522 0
vsize: 647292
[startup+390.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 226454 0 0 0 38513 498 0 0 25 0 1 0 968642331 664166400 133344 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 162150 133344 301 301 0 161849 0
vsize: 648600
[startup+400.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 226582 0 0 0 39512 499 0 0 25 0 1 0 968642331 664702976 133439 4294967295 134512640 135730672 3221224576 3221223180 134747727 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 162281 133439 301 301 0 161980 0
vsize: 649124
[startup+410.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 226805 0 0 0 40512 500 0 0 25 0 1 0 968642331 665899008 133629 4294967295 134512640 135730672 3221224576 3221223088 134745858 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 162573 133629 301 301 0 162272 0
vsize: 650292
[startup+420.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 229948 0 0 0 41504 508 0 0 25 0 1 0 968642331 665899008 133645 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 162573 133645 301 301 0 162272 0
vsize: 650292
[startup+430.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 229999 0 0 0 42503 509 0 0 25 0 1 0 968642331 666030080 133663 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 162605 133663 301 301 0 162304 0
vsize: 650420
[startup+440.029 s]
Raw data (loadavg): 0.99 0.97 0.91 3/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 230147 0 0 0 43502 509 0 0 25 0 1 0 968642331 666693632 133778 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 162767 133778 301 301 0 162466 0
vsize: 651068
[startup+450.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 230361 0 0 0 44502 511 0 0 25 0 1 0 968642331 667623424 133959 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 162994 133959 301 301 0 162693 0
vsize: 651976
[startup+460.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 230386 0 0 0 45502 511 0 0 25 0 1 0 968642331 667623424 133984 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 162994 133984 301 301 0 162693 0
vsize: 651976
[startup+470.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 233575 0 0 0 46494 519 0 0 25 0 1 0 968642331 668024832 134046 4294967295 134512640 135730672 3221224576 3221223072 134747960 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 163092 134046 301 301 0 162791 0
vsize: 652368
[startup+480.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 233836 0 0 0 47493 520 0 0 25 0 1 0 968642331 669507584 134274 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 163454 134274 301 301 0 163153 0
vsize: 653816
[startup+490.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 234269 0 0 0 48492 522 0 0 25 0 1 0 968642331 671715328 134707 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 163993 134707 301 301 0 163692 0
vsize: 655972
[startup+500.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 234329 0 0 0 49492 522 0 0 25 0 1 0 968642331 671985664 134767 4294967295 134512640 135730672 3221224576 3221223184 134748222 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 164059 134767 301 301 0 163758 0
vsize: 656236
[startup+510.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 234331 0 0 0 50491 523 0 0 25 0 1 0 968642331 671985664 134769 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 164059 134769 301 301 0 163758 0
vsize: 656236
[startup+520.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 234430 0 0 0 51491 524 0 0 25 0 1 0 968642331 672526336 134868 4294967295 134512640 135730672 3221224576 3221223072 134747578 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 164191 134868 301 301 0 163890 0
vsize: 656764
[startup+530.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 234544 0 0 0 52490 525 0 0 25 0 1 0 968642331 672923648 134949 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 164288 134949 301 301 0 163987 0
vsize: 657152
[startup+540.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 234560 0 0 0 53490 525 0 0 25 0 1 0 968642331 672923648 134965 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 164288 134965 301 301 0 163987 0
vsize: 657152
[startup+550.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 234639 0 0 0 54489 526 0 0 25 0 1 0 968642331 673193984 135044 4294967295 134512640 135730672 3221224576 3221223072 134747486 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 164354 135044 301 301 0 164053 0
vsize: 657416
[startup+560.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 234816 0 0 0 55489 527 0 0 25 0 1 0 968642331 673730560 135188 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 164485 135188 301 301 0 164184 0
vsize: 657940
[startup+570.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 238014 0 0 0 56483 534 0 0 25 0 1 0 968642331 686804992 138353 4294967295 134512640 135730672 3221224576 3221222752 134768870 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 167677 138353 301 301 0 167376 0
vsize: 670708
[startup+580.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 238413 0 0 0 57481 536 0 0 25 0 1 0 968642331 675958784 135592 4294967295 134512640 135730672 3221224576 3221223116 135301630 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 165029 135592 301 301 0 164728 0
vsize: 660116
[startup+590.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 239085 0 0 0 58479 538 0 0 25 0 1 0 968642331 679145472 136165 4294967295 134512640 135730672 3221224576 3221223072 134747970 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 165807 136165 301 301 0 165506 0
vsize: 663228
[startup+600.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 239468 0 0 0 59478 539 0 0 25 0 1 0 968642331 680919040 136482 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 166240 136482 301 301 0 165939 0
vsize: 664960
[startup+610.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 239702 0 0 0 60478 540 0 0 25 0 1 0 968642331 682057728 136683 4294967295 134512640 135730672 3221224576 3221223168 134747445 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 166518 136683 301 301 0 166217 0
vsize: 666072
[startup+620.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 239921 0 0 0 61477 541 0 0 25 0 1 0 968642331 682586112 136803 4294967295 134512640 135730672 3221224576 3221223200 134748108 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 166647 136803 301 301 0 166346 0
vsize: 666588
[startup+630.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 239966 0 0 0 62477 542 0 0 25 0 1 0 968642331 682717184 136815 4294967295 134512640 135730672 3221224576 3221223200 134748138 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 166679 136815 301 301 0 166378 0
vsize: 666716
[startup+640.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 243152 0 0 0 63470 550 0 0 25 0 1 0 968642331 695791616 140001 4294967295 134512640 135730672 3221224576 3221222728 134765477 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 169871 140001 301 301 0 169570 0
vsize: 679484
[startup+650.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 243558 0 0 0 64469 551 0 0 25 0 1 0 968642331 684859392 137214 4294967295 134512640 135730672 3221224576 3221222912 134739213 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 167202 137214 301 301 0 166901 0
vsize: 668808
[startup+660.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 244339 0 0 0 65467 553 0 0 25 0 1 0 968642331 688689152 137995 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 168137 137995 301 301 0 167836 0
vsize: 672548
[startup+670.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 244797 0 0 0 66466 554 0 0 25 0 1 0 968642331 690782208 138354 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 168648 138354 301 301 0 168347 0
vsize: 674592
[startup+680.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 244936 0 0 0 67467 554 0 0 25 0 1 0 968642331 691318784 138460 4294967295 134512640 135730672 3221224576 3221223200 134748163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 168779 138460 301 301 0 168478 0
vsize: 675116
[startup+690.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 245066 0 0 0 68466 555 0 0 25 0 1 0 968642331 692056064 138590 4294967295 134512640 135730672 3221224576 3221223072 134747970 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 168959 138590 301 301 0 168658 0
vsize: 675836
[startup+700.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 245106 0 0 0 69466 556 0 0 25 0 1 0 968642331 692187136 138597 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 168991 138597 301 301 0 168690 0
vsize: 675964
[startup+710.047 s]
Raw data (loadavg): 0.99 0.97 0.91 3/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 245113 0 0 0 70466 556 0 0 25 0 1 0 968642331 692187136 138604 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 168991 138604 301 301 0 168690 0
vsize: 675964
[startup+720.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 245133 0 0 0 71465 558 0 0 25 0 1 0 968642331 692322304 138624 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 169024 138624 301 301 0 168723 0
vsize: 676096
[startup+730.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 248298 0 0 0 72457 565 0 0 25 0 1 0 968642331 692592640 138662 4294967295 134512640 135730672 3221224576 3221222896 134732524 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 169090 138662 301 301 0 168789 0
vsize: 676360
[startup+740.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 248691 0 0 0 73456 567 0 0 25 0 1 0 968642331 694538240 138989 4294967295 134512640 135730672 3221224576 3221223056 134732772 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 169565 138989 301 301 0 169264 0
vsize: 678260
[startup+750.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 248751 0 0 0 74455 568 0 0 25 0 1 0 968642331 695001088 139049 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 169678 139049 301 301 0 169377 0
vsize: 678712
[startup+760.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 248766 0 0 0 75455 568 0 0 25 0 1 0 968642331 695001088 139064 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 169678 139064 301 301 0 169377 0
vsize: 678712
[startup+770.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 248770 0 0 0 76455 569 0 0 25 0 1 0 968642331 695001088 139068 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 169678 139068 301 301 0 169377 0
vsize: 678712
[startup+780.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 251918 0 0 0 77448 576 0 0 25 0 1 0 968642331 695001088 139089 4294967295 134512640 135730672 3221224576 3221223200 134783350 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 169678 139089 301 301 0 169377 0
vsize: 678712
[startup+790.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 251930 0 0 0 78447 577 0 0 25 0 1 0 968642331 695197696 139101 4294967295 134512640 135730672 3221224576 3221223072 134747631 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 169726 139101 301 301 0 169425 0
vsize: 678904
[startup+800.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 251931 0 0 0 79447 577 0 0 25 0 1 0 968642331 695197696 139102 4294967295 134512640 135730672 3221224576 3221223168 134763992 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 169726 139102 301 301 0 169425 0
vsize: 678904
[startup+810.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 251978 0 0 0 80446 578 0 0 25 0 1 0 968642331 695332864 139149 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 169759 139149 301 301 0 169458 0
vsize: 679036
[startup+820.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 251979 0 0 0 81446 579 0 0 25 0 1 0 968642331 695332864 139150 4294967295 134512640 135730672 3221224576 3221223184 134748234 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 169759 139150 301 301 0 169458 0
vsize: 679036
[startup+830.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 251980 0 0 0 82445 580 0 0 25 0 1 0 968642331 695332864 139151 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 169759 139151 301 301 0 169458 0
vsize: 679036
[startup+840.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 255123 0 0 0 83438 587 0 0 25 0 1 0 968642331 708141056 142294 4294967295 134512640 135730672 3221224576 3221222728 134765483 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 172886 142294 301 301 0 172585 0
vsize: 691544
[startup+850.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 255176 0 0 0 84437 589 0 0 25 0 1 0 968642331 695738368 139220 4294967295 134512640 135730672 3221224576 3221223232 134734849 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 169858 139220 301 301 0 169557 0
vsize: 679432
[startup+860.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 255180 0 0 0 85437 589 0 0 25 0 1 0 968642331 695738368 139224 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 169858 139224 301 301 0 169557 0
vsize: 679432
[startup+870.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 255181 0 0 0 86436 590 0 0 25 0 1 0 968642331 695738368 139225 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 169858 139225 301 301 0 169557 0
vsize: 679432
[startup+880.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 255183 0 0 0 87435 591 0 0 25 0 1 0 968642331 695738368 139227 4294967295 134512640 135730672 3221224576 3221223072 134747594 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 169858 139227 301 301 0 169557 0
vsize: 679432
[startup+890.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 258333 0 0 0 88428 599 0 0 25 0 1 0 968642331 695873536 139250 4294967295 134512640 135730672 3221224576 3221223232 134734776 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 169891 139250 301 301 0 169590 0
vsize: 679564
[startup+900.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 258334 0 0 0 89428 599 0 0 25 0 1 0 968642331 695873536 139251 4294967295 134512640 135730672 3221224576 3221223200 134748166 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 169891 139251 301 301 0 169590 0
vsize: 679564
[startup+910.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 258357 0 0 0 90428 599 0 0 25 0 1 0 968642331 696008704 139274 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 169924 139274 301 301 0 169623 0
vsize: 679696
[startup+920.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 258359 0 0 0 91427 600 0 0 25 0 1 0 968642331 696008704 139276 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 169924 139276 301 301 0 169623 0
vsize: 679696
[startup+930.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 258360 0 0 0 92426 602 0 0 25 0 1 0 968642331 696008704 139277 4294967295 134512640 135730672 3221224576 3221223072 134747594 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 169924 139277 301 301 0 169623 0
vsize: 679696
[startup+940.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 258372 0 0 0 93425 603 0 0 25 0 1 0 968642331 696008704 139289 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 169924 139289 301 301 0 169623 0
vsize: 679696
[startup+950.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 261538 0 0 0 94418 610 0 0 25 0 1 0 968642331 709087232 142455 4294967295 134512640 135730672 3221224576 3221222712 134765486 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 173117 142455 301 301 0 172816 0
vsize: 692468
[startup+960.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 261544 0 0 0 95418 611 0 0 25 0 1 0 968642331 696279040 139334 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 169990 139334 301 301 0 169689 0
vsize: 679960
[startup+970.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 261713 0 0 0 96417 612 0 0 25 0 1 0 968642331 696672256 139404 4294967295 134512640 135730672 3221224576 3221223200 134748132 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 170086 139404 301 301 0 169785 0
vsize: 680344
[startup+980.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 264895 0 0 0 97410 619 0 0 25 0 1 0 968642331 709746688 142586 4294967295 134512640 135730672 3221224576 3221222752 134769202 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 173278 142586 301 301 0 172977 0
vsize: 693112
[startup+990.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 264918 0 0 0 98410 620 0 0 25 0 1 0 968642331 697073664 139482 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 170184 139482 301 301 0 169883 0
vsize: 680736
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 264921 0 0 0 99409 621 0 0 25 0 1 0 968642331 697073664 139485 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 170184 139485 301 301 0 169883 0
vsize: 680736
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 265008 0 0 0 100408 622 0 0 25 0 1 0 968642331 697339904 139539 4294967295 134512640 135730672 3221224576 3221223200 134748249 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 170249 139539 301 301 0 169948 0
vsize: 680996
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 268137 0 0 0 101400 631 0 0 25 0 1 0 968642331 697339904 139541 4294967295 134512640 135730672 3221224576 3221223176 134787678 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 170249 139541 301 301 0 169948 0
vsize: 680996
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 268137 0 0 0 102400 631 0 0 25 0 1 0 968642331 697339904 139541 4294967295 134512640 135730672 3221224576 3221223232 134748661 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 170249 139541 301 301 0 169948 0
vsize: 680996
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 268139 0 0 0 103399 632 0 0 25 0 1 0 968642331 697339904 139543 4294967295 134512640 135730672 3221224576 3221223072 134747970 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 170249 139543 301 301 0 169948 0
vsize: 680996
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 268140 0 0 0 104398 633 0 0 25 0 1 0 968642331 697339904 139544 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 170249 139544 301 301 0 169948 0
vsize: 680996
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 271268 0 0 0 105390 641 0 0 25 0 1 0 968642331 697339904 139545 4294967295 134512640 135730672 3221224576 3221223264 134748570 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 170249 139545 301 301 0 169948 0
vsize: 680996
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 271270 0 0 0 106390 642 0 0 25 0 1 0 968642331 697339904 139547 4294967295 134512640 135730672 3221224576 3221223200 134748143 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 170249 139547 301 301 0 169948 0
vsize: 680996
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 271272 0 0 0 107389 643 0 0 25 0 1 0 968642331 697339904 139549 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 170249 139549 301 301 0 169948 0
vsize: 680996
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 274400 0 0 0 108382 651 0 0 25 0 1 0 968642331 697339904 139550 4294967295 134512640 135730672 3221224576 3221223056 134732772 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 170249 139550 301 301 0 169948 0
vsize: 680996
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 274402 0 0 0 109381 652 0 0 25 0 1 0 968642331 697339904 139552 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 170249 139552 301 301 0 169948 0
vsize: 680996
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 274404 0 0 0 110381 652 0 0 25 0 1 0 968642331 697339904 139554 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 170249 139554 301 301 0 169948 0
vsize: 680996
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 277531 0 0 0 111373 660 0 0 25 0 1 0 968642331 697339904 139554 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 170249 139554 301 301 0 169948 0
vsize: 680996
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 277534 0 0 0 112373 661 0 0 25 0 1 0 968642331 697339904 139557 4294967295 134512640 135730672 3221224576 3221223264 134748475 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 170249 139557 301 301 0 169948 0
vsize: 680996
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 280662 0 0 0 113365 669 0 0 25 0 1 0 968642331 697339904 139558 4294967295 134512640 135730672 3221224576 3221223072 134747639 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 170249 139558 301 301 0 169948 0
vsize: 680996
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 280682 0 0 0 114364 670 0 0 25 0 1 0 968642331 697475072 139578 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 170282 139578 301 301 0 169981 0
vsize: 681128
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 280684 0 0 0 115363 671 0 0 25 0 1 0 968642331 697475072 139580 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 170282 139580 301 301 0 169981 0
vsize: 681128
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 283814 0 0 0 116355 679 0 0 25 0 1 0 968642331 710283264 142710 4294967295 134512640 135730672 3221224576 3221222712 134765477 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 173409 142710 301 301 0 173108 0
vsize: 693636
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 283836 0 0 0 117354 680 0 0 25 0 1 0 968642331 697610240 139605 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 170315 139605 301 301 0 170014 0
vsize: 681260
[startup+1190.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 283837 0 0 0 118354 681 0 0 25 0 1 0 968642331 697610240 139606 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 170315 139606 301 301 0 170014 0
vsize: 681260
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 283862 0 0 0 119353 682 0 0 25 0 1 0 968642331 697745408 139631 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 170348 139631 301 301 0 170047 0
vsize: 681392
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.16 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 15281
Raw data (stat): 15281 (pb2sat-v2) R 15280 25568 25567 0 -1 0 283862 0 0 0 119353 682 0 0 25 0 1 0 968642331 697745408 139631 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 170348 139631 301 301 0 170047 0
vsize: 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1202.16
CPU time (s): 1202.49
CPU user time (s): 1195.4
CPU system time (s): 7.09892
CPU usage (%): 100.028
Max. virtual memory (Kb): 693636
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####