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/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-bienst2.opb
MD5SUM	fe2e8f62e013702a825e7d0ee28c2295
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	30
Biggest coefficient in the objective function	536870912
Number of bits for the biggest coefficient in the objective function	30
Sum of the numbers in the objective function	1073741823
Number of bits of the sum of numbers in the objective function	30
Biggest number in a constraint	536870912
Number of bits of the biggest number in a constraint	30
Biggest sum of numbers in a constraint	13958659059
Number of bits of the biggest sum of numbers	34
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.869867
Number of variables	13736
Total number of constraints	632
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	40
Number of constraints which are nor clauses,nor cardinality constraints	592
Minimum length of a constraint	1
Maximum length of a constraint	390
Trace number 42599

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-16 12:10:23 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25810 boxname=wulflinc6 idbench=1110 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  fe2e8f62e013702a825e7d0ee28c2295  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-bienst2.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-bienst2.opb
IDLAUNCH: 25810
/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:        640284 kB
Buffers:         33880 kB
Cached:         337868 kB
SwapCached:       1028 kB
Active:          42012 kB
Inactive:       331888 kB
HighTotal:      131008 kB
HighFree:          280 kB
LowTotal:       903652 kB
LowFree:        640004 kB
SwapTotal:     2097136 kB
SwapFree:      2095200 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5092 kB
Slab:            14904 kB
Committed_AS:    63848 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 12:30:25 (client local time) WITH STATUS 0 IN 1202.51 SECONDS
stats: 25810 7 1202.51 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 457328/1196004	Time: 282.203/86400
c Decision: 457328/1196004	Time: 320.648/86400
c Decision: 457599/1196004	Time: 448.773/86400
c Decision: 457599/1196004	Time: 481.589/86400
c Decision: 458620/1196004	Time: 695.816/86400
c Decision: 458620/1196004	Time: 724.827/86400
c Decision: 458620/1196004	Time: 777.892/86400
c Decision: 458620/1196004	Time: 834.528/86400
c Decision: 458654/1196004	Time: 930.956/86400
c Decision: 458886/1196004	Time: 1028.63/86400
c Decision: 458936/1196004	Time: 1124.59/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.85 0.97 0.91 1/54 19620
Raw data (stat): 19620 (runsolver) R 19619 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 970655336 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0015 s]
Raw data (loadavg): 0.87 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 27982 0 0 0 934 65 0 0 25 0 1 0 970655336 78409728 17018 4294967295 134512640 135730672 3221224576 3221183212 134608033 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19143 17018 301 301 0 18842 0
vsize: 76572
[startup+20.0019 s]
Raw data (loadavg): 0.89 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 55874 0 0 0 1870 129 0 0 25 0 1 0 970655336 154697728 33663 4294967295 134512640 135730672 3221224576 3221141572 134612341 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37768 33665 301 301 0 37467 0
vsize: 151072
[startup+30.002 s]
Raw data (loadavg): 0.91 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 93803 0 0 0 2792 207 0 0 25 0 1 0 970655336 300457984 49902 4294967295 134512640 135730672 3221224576 3221157728 134546440 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 73354 49902 301 301 0 73053 0
vsize: 293416
[startup+40.0025 s]
Raw data (loadavg): 0.92 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 110965 0 0 0 3749 250 0 0 25 0 1 0 970655336 307081216 66776 4294967295 134512640 135730672 3221224576 3221197800 135285983 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 74971 66776 301 301 0 74670 0
vsize: 299884
[startup+50.0035 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 166946 0 0 0 4644 355 0 0 25 0 1 0 970655336 640688128 104191 4294967295 134512640 135730672 3221224576 3221212176 134788521 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 156418 104191 301 301 0 156117 0
vsize: 625672
[startup+60.0035 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 183956 0 0 0 5604 396 0 0 25 0 1 0 970655336 549588992 94199 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 134177 94199 301 301 0 133876 0
vsize: 536708
[startup+70.005 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 183970 0 0 0 6604 397 0 0 25 0 1 0 970655336 549588992 94213 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 134177 94213 301 301 0 133876 0
vsize: 536708
[startup+80.0058 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 183984 0 0 0 7603 397 0 0 25 0 1 0 970655336 549588992 94227 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 134177 94227 301 301 0 133876 0
vsize: 536708
[startup+90.0063 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 183989 0 0 0 8604 397 0 0 25 0 1 0 970655336 549588992 94232 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 134177 94232 301 301 0 133876 0
vsize: 536708
[startup+100.007 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 183992 0 0 0 9603 398 0 0 25 0 1 0 970655336 549588992 94235 4294967295 134512640 135730672 3221224576 3221223072 134747477 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 134177 94235 301 301 0 133876 0
vsize: 536708
[startup+110.008 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 183994 0 0 0 10603 398 0 0 25 0 1 0 970655336 549588992 94237 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 134177 94237 301 301 0 133876 0
vsize: 536708
[startup+120.009 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 183997 0 0 0 11604 399 0 0 25 0 1 0 970655336 549588992 94240 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 134177 94240 301 301 0 133876 0
vsize: 536708
[startup+130.01 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 184617 0 0 0 12602 401 0 0 25 0 1 0 970655336 552775680 94730 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 134955 94730 301 301 0 134654 0
vsize: 539820
[startup+140.01 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 185700 0 0 0 13600 403 0 0 25 0 1 0 970655336 557547520 95521 4294967295 134512640 135730672 3221224576 3221223072 134747708 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 136120 95521 301 301 0 135819 0
vsize: 544480
[startup+150.011 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 186051 0 0 0 14600 404 0 0 25 0 1 0 970655336 559136768 95807 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 136508 95807 301 301 0 136207 0
vsize: 546032
[startup+160.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 186585 0 0 0 15599 405 0 0 25 0 1 0 970655336 561913856 96243 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 137186 96243 301 301 0 136885 0
vsize: 548744
[startup+170.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 187542 0 0 0 16598 406 0 0 25 0 1 0 970655336 565866496 96877 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138151 96877 301 301 0 137850 0
vsize: 552604
[startup+180.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 188326 0 0 0 17597 408 0 0 25 0 1 0 970655336 568500224 97403 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138794 97403 301 301 0 138493 0
vsize: 555176
[startup+190.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 188622 0 0 0 18597 408 0 0 25 0 1 0 970655336 569286656 97634 4294967295 134512640 135730672 3221224576 3221223168 134764020 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138986 97634 301 301 0 138685 0
vsize: 555944
[startup+200.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 188829 0 0 0 19597 409 0 0 25 0 1 0 970655336 569810944 97712 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 139114 97712 301 301 0 138813 0
vsize: 556456
[startup+210.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 189268 0 0 0 20596 410 0 0 25 0 1 0 970655336 571650048 97957 4294967295 134512640 135730672 3221224576 3221223072 134747916 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 139563 97957 301 301 0 139262 0
vsize: 558252
[startup+220.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 189417 0 0 0 21596 410 0 0 25 0 1 0 970655336 572702720 98106 4294967295 134512640 135730672 3221224576 3221223072 134747587 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 139820 98106 301 301 0 139519 0
vsize: 559280
[startup+230.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 189446 0 0 0 22596 410 0 0 25 0 1 0 970655336 572702720 98135 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 139820 98135 301 301 0 139519 0
vsize: 559280
[startup+240.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 190559 0 0 0 23595 412 0 0 25 0 1 0 970655336 576925696 98924 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 140851 98924 301 301 0 140550 0
vsize: 563404
[startup+250.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 191694 0 0 0 24593 415 0 0 25 0 1 0 970655336 580739072 99574 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 141782 99574 301 301 0 141481 0
vsize: 567128
[startup+260.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 192008 0 0 0 25593 415 0 0 25 0 1 0 970655336 582057984 99759 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 142104 99759 301 301 0 141803 0
vsize: 568416
[startup+270.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 192095 0 0 0 26592 416 0 0 25 0 1 0 970655336 582586368 99846 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 142233 99846 301 301 0 141932 0
vsize: 568932
[startup+280.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 192701 0 0 0 27590 418 0 0 25 0 1 0 970655336 585224192 100323 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 142877 100323 301 301 0 142576 0
vsize: 571508
[startup+290.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 193044 0 0 0 28590 419 0 0 25 0 1 0 970655336 586276864 100536 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 143134 100536 301 301 0 142833 0
vsize: 572536
[startup+300.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 193388 0 0 0 29589 421 0 0 25 0 1 0 970655336 587857920 100751 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 143520 100751 301 301 0 143219 0
vsize: 574080
[startup+310.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 193954 0 0 0 30587 423 0 0 25 0 1 0 970655336 589963264 101059 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 144034 101059 301 301 0 143733 0
vsize: 576136
[startup+320.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 194075 0 0 0 31587 423 0 0 25 0 1 0 970655336 590491648 101180 4294967295 134512640 135730672 3221224576 3221223232 134734786 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 144163 101180 301 301 0 143862 0
vsize: 576652
[startup+330.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 196703 0 0 0 32581 429 0 0 25 0 1 0 970655336 600846336 103614 4294967295 134512640 135730672 3221224576 3221222728 134765474 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 146691 103614 301 301 0 146390 0
vsize: 586764
[startup+340.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 196771 0 0 0 33580 431 0 0 25 0 1 0 970655336 591544320 101346 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 144420 101346 301 301 0 144119 0
vsize: 577680
[startup+350.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 197038 0 0 0 34578 433 0 0 25 0 1 0 970655336 592875520 101548 4294967295 134512640 135730672 3221224576 3221223232 134734786 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 144745 101548 301 301 0 144444 0
vsize: 578980
[startup+360.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 198764 0 0 0 35575 436 0 0 25 0 1 0 970655336 599789568 102649 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 146433 102649 301 301 0 146132 0
vsize: 585732
[startup+370.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 200573 0 0 0 36571 441 0 0 25 0 1 0 970655336 606806016 103839 4294967295 134512640 135730672 3221224576 3221223088 134745856 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148146 103839 301 301 0 147845 0
vsize: 592584
[startup+380.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 203032 0 0 0 37565 447 0 0 25 0 1 0 970655336 607600640 103962 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148340 103962 301 301 0 148039 0
vsize: 593360
[startup+390.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 203327 0 0 0 38564 448 0 0 25 0 1 0 970655336 608522240 104094 4294967295 134512640 135730672 3221224576 3221223232 134734761 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148565 104094 301 301 0 148264 0
vsize: 594260
[startup+400.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 204316 0 0 0 39563 449 0 0 25 0 1 0 970655336 612089856 104694 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 149436 104694 301 301 0 149135 0
vsize: 597744
[startup+410.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 204442 0 0 0 40563 450 0 0 25 0 1 0 970655336 612491264 104787 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 149534 104787 301 301 0 149233 0
vsize: 598136
[startup+420.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 205275 0 0 0 41562 452 0 0 25 0 1 0 970655336 614858752 105297 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 150112 105297 301 301 0 149811 0
vsize: 600448
[startup+430.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 205485 0 0 0 42562 452 0 0 25 0 1 0 970655336 615383040 105378 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 150240 105378 301 301 0 149939 0
vsize: 600960
[startup+440.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 205635 0 0 0 43561 453 0 0 25 0 1 0 970655336 615907328 105399 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 150368 105399 301 301 0 150067 0
vsize: 601472
[startup+450.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 205988 0 0 0 44561 454 0 0 25 0 1 0 970655336 616431616 105623 4294967295 134512640 135730672 3221224576 3221222912 134739213 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 150496 105623 301 301 0 150195 0
vsize: 601984
[startup+460.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 206236 0 0 0 45561 454 0 0 25 0 1 0 970655336 616955904 105742 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 150624 105742 301 301 0 150323 0
vsize: 602496
[startup+470.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 206468 0 0 0 46561 455 0 0 25 0 1 0 970655336 618012672 105974 4294967295 134512640 135730672 3221224576 3221223072 134747747 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 150882 105974 301 301 0 150581 0
vsize: 603528
[startup+480.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 206944 0 0 0 47560 456 0 0 25 0 1 0 970655336 619327488 106256 4294967295 134512640 135730672 3221224576 3221223072 134747608 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 151203 106256 301 301 0 150902 0
vsize: 604812
[startup+490.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 207120 0 0 0 48560 457 0 0 25 0 1 0 970655336 620384256 106432 4294967295 134512640 135730672 3221224576 3221223072 134747627 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 151461 106432 301 301 0 151160 0
vsize: 605844
[startup+500.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 209496 0 0 0 49554 463 0 0 25 0 1 0 970655336 629952512 108808 4294967295 134512640 135730672 3221224576 3221222732 134765468 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 153797 108808 301 301 0 153496 0
vsize: 615188
[startup+510.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 209596 0 0 0 50554 463 0 0 25 0 1 0 970655336 620646400 106507 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 151525 106507 301 301 0 151224 0
vsize: 606100
[startup+520.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 209703 0 0 0 51554 464 0 0 25 0 1 0 970655336 620908544 106549 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 151589 106549 301 301 0 151288 0
vsize: 606356
[startup+530.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 209713 0 0 0 52554 464 0 0 25 0 1 0 970655336 620908544 106559 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 151589 106559 301 301 0 151288 0
vsize: 606356
[startup+540.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 212231 0 0 0 53548 470 0 0 25 0 1 0 970655336 621436928 106741 4294967295 134512640 135730672 3221224576 3221223072 134747647 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 151718 106741 301 301 0 151417 0
vsize: 606872
[startup+550.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 212236 0 0 0 54548 470 0 0 25 0 1 0 970655336 621436928 106746 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 151718 106746 301 301 0 151417 0
vsize: 606872
[startup+560.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 212397 0 0 0 55548 471 0 0 25 0 1 0 970655336 622493696 106907 4294967295 134512640 135730672 3221224576 3221223216 134748065 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 151976 106907 301 301 0 151675 0
vsize: 607904
[startup+570.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 212862 0 0 0 56547 472 0 0 25 0 1 0 970655336 624074752 107242 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152362 107242 301 301 0 152061 0
vsize: 609448
[startup+580.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 213199 0 0 0 57547 473 0 0 25 0 1 0 970655336 625922048 107514 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152813 107514 301 301 0 152512 0
vsize: 611252
[startup+590.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 213416 0 0 0 58546 473 0 0 25 0 1 0 970655336 626446336 107601 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152941 107601 301 301 0 152640 0
vsize: 611764
[startup+600.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 213585 0 0 0 59546 474 0 0 25 0 1 0 970655336 627507200 107770 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 153200 107770 301 301 0 152899 0
vsize: 612800
[startup+610.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 214324 0 0 0 60545 475 0 0 25 0 1 0 970655336 631189504 108380 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 154099 108380 301 301 0 153798 0
vsize: 616396
[startup+620.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 214353 0 0 0 61546 475 0 0 25 0 1 0 970655336 631189504 108409 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 154099 108409 301 301 0 153798 0
vsize: 616396
[startup+630.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 214360 0 0 0 62546 476 0 0 25 0 1 0 970655336 631189504 108416 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 154099 108416 301 301 0 153798 0
vsize: 616396
[startup+640.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 214852 0 0 0 63545 477 0 0 25 0 1 0 970655336 632770560 108779 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 154485 108779 301 301 0 154184 0
vsize: 617940
[startup+650.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 215049 0 0 0 64544 478 0 0 25 0 1 0 970655336 633823232 108976 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 154742 108976 301 301 0 154441 0
vsize: 618968
[startup+660.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 215125 0 0 0 65544 478 0 0 25 0 1 0 970655336 634085376 108987 4294967295 134512640 135730672 3221224576 3221223200 134748264 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 154806 108987 301 301 0 154505 0
vsize: 619224
[startup+670.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 215563 0 0 0 66543 480 0 0 25 0 1 0 970655336 635662336 109296 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 155191 109296 301 301 0 154890 0
vsize: 620764
[startup+680.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 215925 0 0 0 67542 481 0 0 25 0 1 0 970655336 636182528 109399 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 155318 109400 301 301 0 155017 0
vsize: 621272
[startup+690.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 216144 0 0 0 68542 481 0 0 25 0 1 0 970655336 636706816 109489 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 155446 109489 301 301 0 155145 0
vsize: 621784
[startup+700.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 216188 0 0 0 69542 482 0 0 25 0 1 0 970655336 636706816 109533 4294967295 134512640 135730672 3221224576 3221223072 134747705 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 155446 109533 301 301 0 155145 0
vsize: 621784
[startup+710.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 216231 0 0 0 70542 482 0 0 25 0 1 0 970655336 636706816 109576 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 155446 109576 301 301 0 155145 0
vsize: 621784
[startup+720.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 216256 0 0 0 71542 482 0 0 25 0 1 0 970655336 636706816 109601 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 155446 109601 301 301 0 155145 0
vsize: 621784
[startup+730.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 216274 0 0 0 72542 483 0 0 25 0 1 0 970655336 636706816 109619 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 155446 109619 301 301 0 155145 0
vsize: 621784
[startup+740.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 216308 0 0 0 73542 483 0 0 25 0 1 0 970655336 636706816 109653 4294967295 134512640 135730672 3221224576 3221223164 134747723 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 155446 109653 301 301 0 155145 0
vsize: 621784
[startup+750.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 218649 0 0 0 74536 489 0 0 25 0 1 0 970655336 636706816 109658 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 155446 109658 301 301 0 155145 0
vsize: 621784
[startup+760.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 218801 0 0 0 75535 490 0 0 25 0 1 0 970655336 637231104 109681 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 155574 109681 301 301 0 155273 0
vsize: 622296
[startup+770.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 218812 0 0 0 76534 492 0 0 25 0 1 0 970655336 637231104 109692 4294967295 134512640 135730672 3221224576 3221223088 134745801 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 155574 109692 301 301 0 155273 0
vsize: 622296
[startup+780.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 221216 0 0 0 77528 498 0 0 25 0 1 0 970655336 637759488 109760 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 155703 109760 301 301 0 155402 0
vsize: 622812
[startup+790.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 221217 0 0 0 78528 498 0 0 25 0 1 0 970655336 637759488 109761 4294967295 134512640 135730672 3221224576 3221222904 134739217 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 155703 109761 301 301 0 155402 0
vsize: 622812
[startup+800.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 221232 0 0 0 79528 498 0 0 25 0 1 0 970655336 637759488 109776 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 155703 109776 301 301 0 155402 0
vsize: 622812
[startup+810.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 221232 0 0 0 80528 499 0 0 25 0 1 0 970655336 637759488 109776 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 155703 109776 301 301 0 155402 0
vsize: 622812
[startup+820.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 221425 0 0 0 81528 499 0 0 25 0 1 0 970655336 638816256 109969 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 155961 109969 301 301 0 155660 0
vsize: 623844
[startup+830.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 223910 0 0 0 82521 506 0 0 25 0 1 0 970655336 649170944 112389 4294967295 134512640 135730672 3221224576 3221222736 134768862 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 158489 112389 301 301 0 158188 0
vsize: 633956
[startup+840.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 223910 0 0 0 83521 506 0 0 25 0 1 0 970655336 639602688 110053 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 156153 110053 301 301 0 155852 0
vsize: 624612
[startup+850.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 224188 0 0 0 84521 507 0 0 25 0 1 0 970655336 640126976 110202 4294967295 134512640 135730672 3221224576 3221222912 134739213 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 156281 110202 301 301 0 155980 0
vsize: 625124
[startup+860.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 224188 0 0 0 85521 507 0 0 25 0 1 0 970655336 640126976 110202 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 156281 110202 301 301 0 155980 0
vsize: 625124
[startup+870.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 224366 0 0 0 86521 508 0 0 25 0 1 0 970655336 640651264 110251 4294967295 134512640 135730672 3221224576 3221223232 134734829 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 156409 110251 301 301 0 156108 0
vsize: 625636
[startup+880.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 224391 0 0 0 87520 509 0 0 25 0 1 0 970655336 640651264 110276 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 156409 110276 301 301 0 156108 0
vsize: 625636
[startup+890.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 226735 0 0 0 88514 515 0 0 25 0 1 0 970655336 640651264 110284 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 156409 110284 301 301 0 156108 0
vsize: 625636
[startup+900.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 226742 0 0 0 89513 516 0 0 25 0 1 0 970655336 640651264 110291 4294967295 134512640 135730672 3221224576 3221223232 134734849 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 156409 110291 301 301 0 156108 0
vsize: 625636
[startup+910.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 226750 0 0 0 90513 517 0 0 25 0 1 0 970655336 640651264 110299 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 156409 110299 301 301 0 156108 0
vsize: 625636
[startup+920.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 226813 0 0 0 91513 517 0 0 25 0 1 0 970655336 640651264 110362 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 156409 110362 301 301 0 156108 0
vsize: 625636
[startup+930.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 226864 0 0 0 92513 518 0 0 25 0 1 0 970655336 640651264 110413 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 156409 110413 301 301 0 156108 0
vsize: 625636
[startup+940.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 226866 0 0 0 93513 518 0 0 25 0 1 0 970655336 640651264 110415 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 156409 110415 301 301 0 156108 0
vsize: 625636
[startup+950.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 227072 0 0 0 94513 519 0 0 25 0 1 0 970655336 641175552 110492 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 156537 110492 301 301 0 156236 0
vsize: 626148
[startup+960.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 227077 0 0 0 95513 519 0 0 25 0 1 0 970655336 641175552 110497 4294967295 134512640 135730672 3221224576 3221223072 134747578 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 156537 110497 301 301 0 156236 0
vsize: 626148
[startup+970.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 227080 0 0 0 96513 519 0 0 25 0 1 0 970655336 641175552 110500 4294967295 134512640 135730672 3221224576 3221223072 134747874 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 156537 110500 301 301 0 156236 0
vsize: 626148
[startup+980.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 227085 0 0 0 97513 520 0 0 25 0 1 0 970655336 641175552 110505 4294967295 134512640 135730672 3221224576 3221223088 134745858 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 156537 110505 301 301 0 156236 0
vsize: 626148
[startup+990.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 229423 0 0 0 98507 526 0 0 25 0 1 0 970655336 641175552 110507 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 156537 110507 301 301 0 156236 0
vsize: 626148
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 229427 0 0 0 99506 526 0 0 25 0 1 0 970655336 641175552 110511 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 156537 110511 301 301 0 156236 0
vsize: 626148
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 229431 0 0 0 100507 526 0 0 25 0 1 0 970655336 641175552 110515 4294967295 134512640 135730672 3221224576 3221223072 134747916 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 156537 110515 301 301 0 156236 0
vsize: 626148
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 229439 0 0 0 101506 527 0 0 25 0 1 0 970655336 641175552 110523 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 156537 110523 301 301 0 156236 0
vsize: 626148
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 229614 0 0 0 102506 528 0 0 25 0 1 0 970655336 642228224 110698 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 156794 110698 301 301 0 156493 0
vsize: 627176
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 229843 0 0 0 103506 528 0 0 25 0 1 0 970655336 642752512 110798 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 156922 110798 301 301 0 156621 0
vsize: 627688
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 229884 0 0 0 104506 528 0 0 25 0 1 0 970655336 642486272 110774 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 156857 110774 301 301 0 156556 0
vsize: 627428
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 229897 0 0 0 105506 529 0 0 25 0 1 0 970655336 642351104 110754 4294967295 134512640 135730672 3221224576 3221223232 134734761 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 156824 110754 301 301 0 156523 0
vsize: 627296
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 229910 0 0 0 106506 529 0 0 25 0 1 0 970655336 642351104 110767 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 156824 110767 301 301 0 156523 0
vsize: 627296
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 232456 0 0 0 107501 534 0 0 25 0 1 0 970655336 652578816 113215 4294967295 134512640 135730672 3221224576 3221222740 134769153 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 159321 113215 301 301 0 159020 0
vsize: 637284
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 232613 0 0 0 108500 536 0 0 25 0 1 0 970655336 643534848 110907 4294967295 134512640 135730672 3221224576 3221223232 134734835 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 157113 110907 301 301 0 156812 0
vsize: 628452
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 232618 0 0 0 109500 536 0 0 25 0 1 0 970655336 643534848 110912 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 157113 110912 301 301 0 156812 0
vsize: 628452
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 232831 0 0 0 110499 537 0 0 25 0 1 0 970655336 644059136 110996 4294967295 134512640 135730672 3221224576 3221223168 134764020 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 157241 110996 301 301 0 156940 0
vsize: 628964
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 232943 0 0 0 111499 537 0 0 25 0 1 0 970655336 644059136 111108 4294967295 134512640 135730672 3221224576 3221223072 134747549 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 157241 111108 301 301 0 156940 0
vsize: 628964
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 233151 0 0 0 112499 538 0 0 25 0 1 0 970655336 644583424 111187 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 157369 111187 301 301 0 157068 0
vsize: 629476
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 233153 0 0 0 113500 538 0 0 25 0 1 0 970655336 644583424 111189 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 157369 111189 301 301 0 157068 0
vsize: 629476
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 233360 0 0 0 114500 538 0 0 25 0 1 0 970655336 645636096 111396 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 157626 111396 301 301 0 157325 0
vsize: 630504
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 233363 0 0 0 115500 538 0 0 25 0 1 0 970655336 645636096 111399 4294967295 134512640 135730672 3221224576 3221223072 134747610 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 157626 111399 301 301 0 157325 0
vsize: 630504
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 233366 0 0 0 116500 538 0 0 25 0 1 0 970655336 645636096 111402 4294967295 134512640 135730672 3221224576 3221223088 134745858 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 157626 111402 301 301 0 157325 0
vsize: 630504
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 235857 0 0 0 117494 544 0 0 25 0 1 0 970655336 646160384 111428 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 157754 111428 301 301 0 157453 0
vsize: 631016
[startup+1190.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 235865 0 0 0 118494 545 0 0 25 0 1 0 970655336 646160384 111436 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 157754 111436 301 301 0 157453 0
vsize: 631016
[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 235866 0 0 0 119494 545 0 0 25 0 1 0 970655336 646160384 111437 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 157754 111437 301 301 0 157453 0
vsize: 631016
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.15 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 19620
Raw data (stat): 19620 (pb2sat-v2) R 19619 25568 25567 0 -1 0 235866 0 0 0 119494 545 0 0 25 0 1 0 970655336 646160384 111437 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 157754 111437 301 301 0 157453 0
vsize: 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1202.15
CPU time (s): 1202.51
CPU user time (s): 1196.83
CPU system time (s): 5.67414
CPU usage (%): 100.03
Max. virtual memory (Kb): 637284
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####