PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-vpm1.opb
MD5SUM	ec9e3281577e2d3f7b25c1cc88cac9ea
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	20
Optimality of the best value was proved	NO
Number of terms in the objective function	168
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	168
Number of bits of the sum of numbers in the objective function	8
Biggest number in a constraint	102400
Number of bits of the biggest number in a constraint	17
Biggest sum of numbers in a constraint	615983
Number of bits of the biggest sum of numbers	20
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.06884
Number of variables	2124
Total number of constraints	612
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	168
Number of constraints which are nor clauses,nor cardinality constraints	444
Minimum length of a constraint	1
Maximum length of a constraint	64
Trace number 42944

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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:        830612 kB
Buffers:         11976 kB
Cached:         170448 kB
SwapCached:        904 kB
Active:          27200 kB
Inactive:       157264 kB
HighTotal:      131008 kB
HighFree:        42000 kB
LowTotal:       903652 kB
LowFree:        788612 kB
SwapTotal:     2097136 kB
SwapFree:      2095236 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4996 kB
Slab:            13952 kB
Committed_AS:    71908 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 19:18:40 (client local time) WITH STATUS 0 IN 1201.48 SECONDS
stats: 26157 7 1201.48 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 94546/452529	Time: 122.689/86400
c Decision: 94546/452529	Time: 135.182/86400
c Decision: 94546/452529	Time: 148.412/86400
c Decision: 94546/452529	Time: 162.359/86400
c Decision: 94546/452529	Time: 175.12/86400
c Decision: 94546/452529	Time: 188.529/86400
c Decision: 94546/452529	Time: 200.077/86400
c Decision: 94546/452529	Time: 214.642/86400
c Decision: 94546/452529	Time: 228.067/86400
c Decision: 94546/452529	Time: 240.445/86400
c Decision: 94546/452529	Time: 255.324/86400
c Decision: 94546/452529	Time: 267.274/86400
c Decision: 94546/452529	Time: 281.456/86400
c Decision: 94546/452529	Time: 297.294/86400
c Decision: 94546/452529	Time: 311.058/86400
c Decision: 94546/452529	Time: 326.284/86400
c Decision: 94546/452529	Time: 339.167/86400
c Decision: 94546/452529	Time: 350.241/86400
c Decision: 94546/452529	Time: 364.533/86400
c Decision: 94546/452529	Time: 378.407/86400
c Decision: 94546/452529	Time: 391.207/86400
c Decision: 94546/452529	Time: 400.214/86400
c Decision: 94546/452529	Time: 411.87/86400
c Decision: 94546/452529	Time: 426.146/86400
c Decision: 94546/452529	Time: 439.987/86400
c Decision: 94546/452529	Time: 453.098/86400
c Decision: 94546/452529	Time: 464.932/86400
c Decision: 94546/452529	Time: 477.674/86400
c Decision: 94551/452529	Time: 488.438/86400
c Decision: 94551/452529	Time: 498.799/86400
c Decision: 94551/452529	Time: 510.677/86400
c Decision: 94551/452529	Time: 521.511/86400
c Decision: 94551/452529	Time: 532.81/86400
c Decision: 94551/452529	Time: 545.609/86400
c Decision: 94551/452529	Time: 557.668/86400
c Decision: 94551/452529	Time: 571.618/86400
c Decision: 94551/452529	Time: 583.883/86400
c Decision: 94551/452529	Time: 597.788/86400
c Decision: 94551/452529	Time: 611.105/86400
c Decision: 94551/452529	Time: 623.594/86400
c Decision: 94551/452529	Time: 637.207/86400
c Decision: 94551/452529	Time: 649.798/86400
c Decision: 94551/452529	Time: 663.333/86400
c Decision: 94551/452529	Time: 675.582/86400
c Decision: 94551/452529	Time: 687.124/86400
c Decision: 94551/452529	Time: 700.588/86400
c Decision: 94551/452529	Time: 713.69/86400
c Decision: 94551/452529	Time: 724.921/86400
c Decision: 94551/452529	Time: 736.04/86400
c Decision: 94551/452529	Time: 746.901/86400
c Decision: 94551/452529	Time: 760.397/86400
c Decision: 94551/452529	Time: 773.052/86400
c Decision: 94551/452529	Time: 785.241/86400
c Decision: 94551/452529	Time: 799.423/86400
c Decision: 94551/452529	Time: 811.945/86400
c Decision: 94551/452529	Time: 823.415/86400
c Decision: 94551/452529	Time: 838.107/86400
c Decision: 94551/452529	Time: 848.662/86400
c Decision: 94551/452529	Time: 858.441/86400
c Decision: 94551/452529	Time: 871.202/86400
c Decision: 94551/452529	Time: 885.976/86400
c Decision: 94551/452529	Time: 898.916/86400
c Decision: 94551/452529	Time: 913.475/86400
c Decision: 94551/452529	Time: 926.285/86400
c Decision: 94551/452529	Time: 939.814/86400
c Decision: 94551/452529	Time: 953.276/86400
c Decision: 94551/452529	Time: 966.116/86400
c Decision: 94551/452529	Time: 977.352/86400
c Decision: 94551/452529	Time: 986.559/86400
c Decision: 94551/452529	Time: 999.928/86400
c Decision: 94551/452529	Time: 1013.22/86400
c Decision: 94551/452529	Time: 1027.29/86400
c Decision: 94551/452529	Time: 1043.33/86400
c Decision: 94551/452529	Time: 1058.05/86400
c Decision: 94551/452529	Time: 1069.5/86400
c Decision: 94551/452529	Time: 1084.05/86400
c Decision: 94551/452529	Time: 1097.16/86400
c Decision: 94551/452529	Time: 1110.53/86400
c Decision: 94551/452529	Time: 1125.09/86400
c Decision: 94551/452529	Time: 1139.57/86400
c Decision: 94551/452529	Time: 1152.92/86400
c Decision: 94551/452529	Time: 1164.18/86400
c Decision: 94551/452529	Time: 1174.76/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.89 0.93 0.90 2/54 31556
Raw data (stat): 31556 (runsolver) R 31555 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 973095821 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.0002 s]
Raw data (loadavg): 0.91 0.94 0.90 2/54 31556
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 26242 0 0 0 936 62 0 0 25 0 1 0 973095821 76640256 15294 4294967295 134512640 135730672 3221224576 3221200052 135281112 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18711 15294 301 301 0 18410 0
vsize: 74844
[startup+20.0005 s]
Raw data (loadavg): 0.92 0.94 0.91 2/54 31556
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 53110 0 0 0 1879 119 0 0 25 0 1 0 973095821 154898432 31187 4294967295 134512640 135730672 3221224576 3221223152 134741558 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37817 31187 301 301 0 37516 0
vsize: 151268
[startup+30.0013 s]
Raw data (loadavg): 0.93 0.94 0.91 2/54 31556
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 56083 0 0 0 2873 125 0 0 25 0 1 0 973095821 163536896 33178 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39926 33178 301 301 0 39625 0
vsize: 159704
[startup+40.0007 s]
Raw data (loadavg): 0.94 0.94 0.91 2/54 31556
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 56960 0 0 0 3871 127 0 0 25 0 1 0 973095821 168095744 34055 4294967295 134512640 135730672 3221224576 3221223200 134748170 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41039 34055 301 301 0 40738 0
vsize: 164156
[startup+50.0019 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 31556
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 57490 0 0 0 4868 129 0 0 25 0 1 0 973095821 170885120 34585 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41720 34585 301 301 0 41419 0
vsize: 166880
[startup+60.0028 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 31556
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 57671 0 0 0 5868 131 0 0 25 0 1 0 973095821 171806720 34766 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41945 34766 301 301 0 41644 0
vsize: 167780
[startup+70.0024 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 31556
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 57792 0 0 0 6867 131 0 0 25 0 1 0 973095821 172347392 34887 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42077 34887 301 301 0 41776 0
vsize: 168308
[startup+80.0036 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 31556
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 58126 0 0 0 7866 133 0 0 25 0 1 0 973095821 174264320 35221 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42545 35221 301 301 0 42244 0
vsize: 170180
[startup+90.0033 s]
Raw data (loadavg): 1.05 0.96 0.91 2/58 31599
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 58249 0 0 0 8865 134 0 0 25 0 1 0 973095821 174927872 35344 4294967295 134512640 135730672 3221224576 3221223056 134732772 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42707 35344 301 301 0 42406 0
vsize: 170828
[startup+100.004 s]
Raw data (loadavg): 1.04 0.96 0.91 2/54 31609
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 58308 0 0 0 9864 135 0 0 25 0 1 0 973095821 175198208 35403 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42773 35403 301 301 0 42472 0
vsize: 171092
[startup+110.006 s]
Raw data (loadavg): 1.04 0.96 0.91 2/54 31609
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 58370 0 0 0 10863 136 0 0 25 0 1 0 973095821 175468544 35465 4294967295 134512640 135730672 3221224576 3221223240 134748654 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42839 35465 301 301 0 42538 0
vsize: 171356
[startup+120.006 s]
Raw data (loadavg): 1.03 0.97 0.91 2/54 31609
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 58431 0 0 0 11860 139 0 0 25 0 1 0 973095821 175738880 35526 4294967295 134512640 135730672 3221224576 3221223072 134747578 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42905 35526 301 301 0 42604 0
vsize: 171620
[startup+130.006 s]
Raw data (loadavg): 1.03 0.97 0.91 2/54 31609
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 58443 0 0 0 12859 140 0 0 25 0 1 0 973095821 175738880 35538 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42905 35538 301 301 0 42604 0
vsize: 171620
[startup+140.006 s]
Raw data (loadavg): 1.02 0.97 0.91 2/54 31609
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 58461 0 0 0 13858 142 0 0 25 0 1 0 973095821 175738880 35556 4294967295 134512640 135730672 3221224576 3221223088 134745860 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42905 35556 301 301 0 42604 0
vsize: 171620
[startup+150.006 s]
Raw data (loadavg): 1.02 0.97 0.91 2/54 31609
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 59437 0 0 0 14854 146 0 0 25 0 1 0 973095821 176132096 35648 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43001 35648 301 301 0 42700 0
vsize: 172004
[startup+160.006 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 31611
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 60346 0 0 0 15851 149 0 0 25 0 1 0 973095821 176328704 35673 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43049 35673 301 301 0 42748 0
vsize: 172196
[startup+170.007 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 31611
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 61280 0 0 0 16848 152 0 0 25 0 1 0 973095821 176627712 35723 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43122 35723 301 301 0 42821 0
vsize: 172488
[startup+180.007 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 31611
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 61359 0 0 0 17847 153 0 0 25 0 1 0 973095821 177020928 35802 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43218 35802 301 301 0 42917 0
vsize: 172872
[startup+190.008 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 31611
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 62261 0 0 0 18844 157 0 0 25 0 1 0 973095821 177020928 35820 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43218 35821 301 301 0 42917 0
vsize: 172872
[startup+200.009 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 31611
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 63164 0 0 0 19841 160 0 0 25 0 1 0 973095821 177217536 35839 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43266 35839 301 301 0 42965 0
vsize: 173064
[startup+210.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31611
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 64054 0 0 0 20838 163 0 0 25 0 1 0 973095821 177217536 35845 4294967295 134512640 135730672 3221224576 3221223072 134747808 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43266 35845 301 301 0 42965 0
vsize: 173064
[startup+220.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31611
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 64943 0 0 0 21835 166 0 0 25 0 1 0 973095821 177217536 35850 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43266 35850 301 301 0 42965 0
vsize: 173064
[startup+230.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31611
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 64977 0 0 0 22835 167 0 0 25 0 1 0 973095821 177352704 35884 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43299 35884 301 301 0 42998 0
vsize: 173196
[startup+240.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31611
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 65896 0 0 0 23832 170 0 0 25 0 1 0 973095821 177549312 35919 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43347 35919 301 301 0 43046 0
vsize: 173388
[startup+250.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31611
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 66793 0 0 0 24829 173 0 0 25 0 1 0 973095821 177549312 35932 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43347 35932 301 301 0 43046 0
vsize: 173388
[startup+260.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31611
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 67688 0 0 0 25825 177 0 0 25 0 1 0 973095821 181170176 36827 4294967295 134512640 135730672 3221224576 3221222712 134765469 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44231 36827 301 301 0 43930 0
vsize: 176924
[startup+270.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31611
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 67705 0 0 0 26824 178 0 0 25 0 1 0 973095821 177549312 35960 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43347 35960 301 301 0 43046 0
vsize: 173388
[startup+280.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31611
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 68594 0 0 0 27822 181 0 0 25 0 1 0 973095821 177549312 35965 4294967295 134512640 135730672 3221224576 3221223176 134747726 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43347 35965 301 301 0 43046 0
vsize: 173388
[startup+290.013 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31611
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 69490 0 0 0 28819 184 0 0 25 0 1 0 973095821 177549312 35977 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43347 35977 301 301 0 43046 0
vsize: 173388
[startup+300.013 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31611
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 69509 0 0 0 29817 186 0 0 25 0 1 0 973095821 177549312 35996 4294967295 134512640 135730672 3221224576 3221223088 134745860 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43347 35996 301 301 0 43046 0
vsize: 173388
[startup+310.013 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31611
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 70418 0 0 0 30814 189 0 0 25 0 1 0 973095821 177745920 36021 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43395 36021 301 301 0 43094 0
vsize: 173580
[startup+320.013 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31611
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 71310 0 0 0 31811 192 0 0 25 0 1 0 973095821 177745920 36029 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43395 36029 301 301 0 43094 0
vsize: 173580
[startup+330.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31611
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 72201 0 0 0 32808 196 0 0 25 0 1 0 973095821 181366784 36920 4294967295 134512640 135730672 3221224576 3221222752 134768808 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44279 36920 301 301 0 43978 0
vsize: 177116
[startup+340.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31611
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 72208 0 0 0 33806 197 0 0 25 0 1 0 973095821 177745920 36043 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43395 36043 301 301 0 43094 0
vsize: 173580
[startup+350.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31611
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 73168 0 0 0 34803 201 0 0 25 0 1 0 973095821 178016256 36119 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43461 36119 301 301 0 43160 0
vsize: 173844
[startup+360.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31611
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 74059 0 0 0 35800 204 0 0 25 0 1 0 973095821 178016256 36126 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43461 36126 301 301 0 43160 0
vsize: 173844
[startup+370.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31611
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 74959 0 0 0 36798 206 0 0 25 0 1 0 973095821 178016256 36142 4294967295 134512640 135730672 3221224576 3221222992 134741730 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43461 36142 301 301 0 43160 0
vsize: 173844
[startup+380.016 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31611
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 75134 0 0 0 37797 207 0 0 25 0 1 0 973095821 178962432 36317 4294967295 134512640 135730672 3221224576 3221223216 134765767 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43692 36317 301 301 0 43391 0
vsize: 174768
[startup+390.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31611
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 76076 0 0 0 38794 211 0 0 25 0 1 0 973095821 179232768 36375 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43758 36375 301 301 0 43457 0
vsize: 175032
[startup+400.016 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31611
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 77055 0 0 0 39790 215 0 0 25 0 1 0 973095821 179638272 36470 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43857 36470 301 301 0 43556 0
vsize: 175428
[startup+410.017 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31611
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 77948 0 0 0 40787 218 0 0 25 0 1 0 973095821 179638272 36479 4294967295 134512640 135730672 3221224576 3221223116 135301642 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43857 36479 301 301 0 43556 0
vsize: 175428
[startup+420.017 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31613
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 78838 0 0 0 41784 222 0 0 25 0 1 0 973095821 179638272 36485 4294967295 134512640 135730672 3221224576 3221223168 134764020 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43857 36485 301 301 0 43556 0
vsize: 175428
[startup+430.017 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31613
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 78874 0 0 0 42783 223 0 0 25 0 1 0 973095821 179773440 36521 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43890 36521 301 301 0 43589 0
vsize: 175560
[startup+440.018 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31613
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 79764 0 0 0 43779 227 0 0 25 0 1 0 973095821 179773440 36527 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43890 36527 301 301 0 43589 0
vsize: 175560
[startup+450.018 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31613
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 80676 0 0 0 44776 230 0 0 25 0 1 0 973095821 179908608 36555 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43923 36555 301 301 0 43622 0
vsize: 175692
[startup+460.018 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31613
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 81567 0 0 0 45772 234 0 0 25 0 1 0 973095821 179908608 36562 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43923 36562 301 301 0 43622 0
vsize: 175692
[startup+470.019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31613
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 81577 0 0 0 46772 234 0 0 25 0 1 0 973095821 179908608 36572 4294967295 134512640 135730672 3221224576 3221223088 134745860 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43923 36572 301 301 0 43622 0
vsize: 175692
[startup+480.019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31613
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 82466 0 0 0 47769 238 0 0 25 0 1 0 973095821 179908608 36577 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43923 36577 301 301 0 43622 0
vsize: 175692
[startup+490.019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31613
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 83516 0 0 0 48766 241 0 0 25 0 1 0 973095821 180719616 36743 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44121 36743 301 301 0 43820 0
vsize: 176484
[startup+500.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31613
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 84412 0 0 0 49762 244 0 0 25 0 1 0 973095821 180719616 36755 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44121 36755 301 301 0 43820 0
vsize: 176484
[startup+510.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31613
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 85326 0 0 0 50759 248 0 0 25 0 1 0 973095821 180854784 36785 4294967295 134512640 135730672 3221224576 3221223072 134747916 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44154 36785 301 301 0 43853 0
vsize: 176616
[startup+520.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31613
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 86263 0 0 0 51757 251 0 0 25 0 1 0 973095821 181125120 36838 4294967295 134512640 135730672 3221224576 3221223236 134748655 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44220 36838 301 301 0 43919 0
vsize: 176880
[startup+530.021 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31613
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 87156 0 0 0 52753 254 0 0 25 0 1 0 973095821 181125120 36847 4294967295 134512640 135730672 3221224576 3221223200 134783328 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44220 36847 301 301 0 43919 0
vsize: 176880
[startup+540.021 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31613
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 87160 0 0 0 53752 255 0 0 25 0 1 0 973095821 181125120 36851 4294967295 134512640 135730672 3221224576 3221223088 134745858 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44220 36851 301 301 0 43919 0
vsize: 176880
[startup+550.022 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31613
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 88055 0 0 0 54749 258 0 0 25 0 1 0 973095821 181125120 36862 4294967295 134512640 135730672 3221224576 3221223200 134748106 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44220 36862 301 301 0 43919 0
vsize: 176880
[startup+560.022 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31613
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 88959 0 0 0 55746 262 0 0 25 0 1 0 973095821 181125120 36882 4294967295 134512640 135730672 3221224576 3221223072 134747610 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44220 36882 301 301 0 43919 0
vsize: 176880
[startup+570.022 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31613
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 89857 0 0 0 56743 265 0 0 25 0 1 0 973095821 181125120 36896 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44220 36896 301 301 0 43919 0
vsize: 176880
[startup+580.021 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31613
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 90750 0 0 0 57740 268 0 0 25 0 1 0 973095821 181125120 36905 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44220 36905 301 301 0 43919 0
vsize: 176880
[startup+590.022 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31613
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 91644 0 0 0 58738 271 0 0 25 0 1 0 973095821 181125120 36915 4294967295 134512640 135730672 3221224576 3221223200 134732479 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44220 36915 301 301 0 43919 0
vsize: 176880
[startup+600.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31613
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 91648 0 0 0 59737 272 0 0 25 0 1 0 973095821 181125120 36919 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44220 36919 301 301 0 43919 0
vsize: 176880
[startup+610.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31613
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 92539 0 0 0 60734 275 0 0 25 0 1 0 973095821 181125120 36926 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44220 36926 301 301 0 43919 0
vsize: 176880
[startup+620.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31613
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 93431 0 0 0 61730 279 0 0 25 0 1 0 973095821 181125120 36934 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44220 36934 301 301 0 43919 0
vsize: 176880
[startup+630.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31613
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 94329 0 0 0 62727 282 0 0 25 0 1 0 973095821 184745984 37832 4294967295 134512640 135730672 3221224576 3221222732 134765490 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45104 37832 301 301 0 44803 0
vsize: 180416
[startup+640.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31613
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 94340 0 0 0 63726 283 0 0 25 0 1 0 973095821 181125120 36959 4294967295 134512640 135730672 3221224576 3221223072 134747902 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44220 36959 301 301 0 43919 0
vsize: 176880
[startup+650.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31613
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 95233 0 0 0 64723 286 0 0 25 0 1 0 973095821 181125120 36968 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44220 36968 301 301 0 43919 0
vsize: 176880
[startup+660.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31613
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 96127 0 0 0 65721 288 0 0 25 0 1 0 973095821 181125120 36978 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44220 36978 301 301 0 43919 0
vsize: 176880
[startup+670.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31613
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 97022 0 0 0 66718 292 0 0 25 0 1 0 973095821 181125120 36989 4294967295 134512640 135730672 3221224576 3221223164 134747723 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44220 36989 301 301 0 43919 0
vsize: 176880
[startup+680.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31613
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 97031 0 0 0 67717 293 0 0 25 0 1 0 973095821 181125120 36998 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44220 36998 301 301 0 43919 0
vsize: 176880
[startup+690.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31613
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 97924 0 0 0 68713 296 0 0 25 0 1 0 973095821 181125120 37007 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44220 37007 301 301 0 43919 0
vsize: 176880
[startup+700.026 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31613
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 98816 0 0 0 69711 300 0 0 25 0 1 0 973095821 181125120 37015 4294967295 134512640 135730672 3221224576 3221223072 134747757 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44220 37015 301 301 0 43919 0
vsize: 176880
[startup+710.027 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31613
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 99712 0 0 0 70708 302 0 0 25 0 1 0 973095821 181125120 37027 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44220 37027 301 301 0 43919 0
vsize: 176880
[startup+720.027 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31613
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 100604 0 0 0 71705 305 0 0 25 0 1 0 973095821 181125120 37035 4294967295 134512640 135730672 3221224576 3221223200 134783291 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44220 37035 301 301 0 43919 0
vsize: 176880
[startup+730.026 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31613
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 100608 0 0 0 72705 306 0 0 25 0 1 0 973095821 181125120 37039 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44220 37039 301 301 0 43919 0
vsize: 176880
[startup+740.027 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31613
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 101500 0 0 0 73701 310 0 0 25 0 1 0 973095821 181125120 37047 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44220 37047 301 301 0 43919 0
vsize: 176880
[startup+750.028 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31613
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 102395 0 0 0 74698 313 0 0 25 0 1 0 973095821 181125120 37058 4294967295 134512640 135730672 3221224576 3221223072 134747594 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44220 37058 301 301 0 43919 0
vsize: 176880
[startup+760.028 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31613
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 103291 0 0 0 75696 316 0 0 25 0 1 0 973095821 181125120 37070 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44220 37070 301 301 0 43919 0
vsize: 176880
[startup+770.028 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31613
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 104183 0 0 0 76693 319 0 0 25 0 1 0 973095821 181125120 37078 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44220 37078 301 301 0 43919 0
vsize: 176880
[startup+780.029 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31613
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 105074 0 0 0 77690 322 0 0 25 0 1 0 973095821 181125120 37085 4294967295 134512640 135730672 3221224576 3221223200 134783356 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44220 37085 301 301 0 43919 0
vsize: 176880
[startup+790.029 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31613
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 105080 0 0 0 78689 323 0 0 25 0 1 0 973095821 181125120 37091 4294967295 134512640 135730672 3221224576 3221223072 134747967 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44220 37091 301 301 0 43919 0
vsize: 176880
[startup+800.029 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31613
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 105973 0 0 0 79686 326 0 0 25 0 1 0 973095821 181125120 37100 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44220 37100 301 301 0 43919 0
vsize: 176880
[startup+810.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31613
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 106865 0 0 0 80684 329 0 0 25 0 1 0 973095821 181125120 37108 4294967295 134512640 135730672 3221224576 3221222912 134739213 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44220 37108 301 301 0 43919 0
vsize: 176880
[startup+820.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31613
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 107756 0 0 0 81681 331 0 0 25 0 1 0 973095821 181125120 37115 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44220 37115 301 301 0 43919 0
vsize: 176880
[startup+830.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31613
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 107784 0 0 0 82681 332 0 0 25 0 1 0 973095821 181260288 37143 4294967295 134512640 135730672 3221224576 3221223088 134745782 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44253 37143 301 301 0 43952 0
vsize: 177012
[startup+840.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31613
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 108753 0 0 0 83677 336 0 0 25 0 1 0 973095821 181526528 37195 4294967295 134512640 135730672 3221224576 3221223216 134748065 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44318 37195 301 301 0 44017 0
vsize: 177272
[startup+850.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31613
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 110610 0 0 0 84673 340 0 0 25 0 1 0 973095821 186036224 37871 4294967295 134512640 135730672 3221224576 3221223072 134747519 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45419 37871 301 301 0 45118 0
vsize: 181676
[startup+860.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31613
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 111730 0 0 0 85670 343 0 0 25 0 1 0 973095821 186560512 37975 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45547 37975 301 301 0 45246 0
vsize: 182188
[startup+870.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31613
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 112626 0 0 0 86668 345 0 0 25 0 1 0 973095821 186560512 37987 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45547 37987 301 301 0 45246 0
vsize: 182188
[startup+880.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31613
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 113535 0 0 0 87665 349 0 0 25 0 1 0 973095821 186560512 38012 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45547 38012 301 301 0 45246 0
vsize: 182188
[startup+890.031 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31613
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 114428 0 0 0 88662 351 0 0 25 0 1 0 973095821 190181376 38905 4294967295 134512640 135730672 3221224576 3221222728 134765477 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46431 38905 301 301 0 46130 0
vsize: 185724
[startup+900.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31613
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 114437 0 0 0 89661 353 0 0 25 0 1 0 973095821 186560512 38030 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45547 38030 301 301 0 45246 0
vsize: 182188
[startup+910.031 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31613
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 115325 0 0 0 90658 356 0 0 25 0 1 0 973095821 186560512 38034 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45547 38034 301 301 0 45246 0
vsize: 182188
[startup+920.031 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31613
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 116225 0 0 0 91656 358 0 0 25 0 1 0 973095821 186560512 38050 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45547 38050 301 301 0 45246 0
vsize: 182188
[startup+930.031 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31613
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 116233 0 0 0 92655 359 0 0 25 0 1 0 973095821 186560512 38058 4294967295 134512640 135730672 3221224576 3221222904 134739217 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45547 38058 301 301 0 45246 0
vsize: 182188
[startup+940.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31613
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 117127 0 0 0 93651 363 0 0 25 0 1 0 973095821 186560512 38068 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45547 38068 301 301 0 45246 0
vsize: 182188
[startup+950.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31613
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 118024 0 0 0 94648 366 0 0 25 0 1 0 973095821 186560512 38081 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45547 38081 301 301 0 45246 0
vsize: 182188
[startup+960.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31613
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 118914 0 0 0 95644 371 0 0 25 0 1 0 973095821 186560512 38087 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45547 38087 301 301 0 45246 0
vsize: 182188
[startup+970.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31613
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 118926 0 0 0 96643 372 0 0 25 0 1 0 973095821 186560512 38099 4294967295 134512640 135730672 3221224576 3221223088 134746205 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45547 38099 301 301 0 45246 0
vsize: 182188
[startup+980.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31613
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 119812 0 0 0 97640 375 0 0 25 0 1 0 973095821 186560512 38101 4294967295 134512640 135730672 3221224576 3221223072 134747587 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45547 38101 301 301 0 45246 0
vsize: 182188
[startup+990.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31613
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 120699 0 0 0 98638 377 0 0 25 0 1 0 973095821 186560512 38104 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45547 38104 301 301 0 45246 0
vsize: 182188
[startup+1000.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31613
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 121588 0 0 0 99634 381 0 0 25 0 1 0 973095821 186560512 38109 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45547 38109 301 301 0 45246 0
vsize: 182188
[startup+1010.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31613
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 122481 0 0 0 100631 384 0 0 25 0 1 0 973095821 186560512 38118 4294967295 134512640 135730672 3221224576 3221223184 134744611 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45547 38118 301 301 0 45246 0
vsize: 182188
[startup+1020.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31613
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 123573 0 0 0 101628 388 0 0 25 0 1 0 973095821 187219968 38227 4294967295 134512640 135730672 3221224576 3221223072 134747768 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45708 38227 301 301 0 45407 0
vsize: 182832
[startup+1030.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31613
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 123582 0 0 0 102628 388 0 0 25 0 1 0 973095821 187219968 38236 4294967295 134512640 135730672 3221224576 3221223088 134745860 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45708 38236 301 301 0 45407 0
vsize: 182832
[startup+1040.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31613
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 124470 0 0 0 103624 392 0 0 25 0 1 0 973095821 187219968 38240 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45708 38240 301 301 0 45407 0
vsize: 182832
[startup+1050.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31613
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 125363 0 0 0 104621 396 0 0 25 0 1 0 973095821 187219968 38249 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45708 38249 301 301 0 45407 0
vsize: 182832
[startup+1060.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31613
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 125371 0 0 0 105619 397 0 0 25 0 1 0 973095821 187219968 38257 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45708 38257 301 301 0 45407 0
vsize: 182832
[startup+1070.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31613
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 126300 0 0 0 106616 401 0 0 25 0 1 0 973095821 187490304 38302 4294967295 134512640 135730672 3221224576 3221223200 134748200 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45774 38302 301 301 0 45473 0
vsize: 183096
[startup+1080.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31613
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 127191 0 0 0 107613 404 0 0 25 0 1 0 973095821 187490304 38309 4294967295 134512640 135730672 3221224576 3221222896 134732479 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45774 38309 301 301 0 45473 0
vsize: 183096
[startup+1090.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31613
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 128087 0 0 0 108610 407 0 0 25 0 1 0 973095821 187490304 38321 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45774 38321 301 301 0 45473 0
vsize: 183096
[startup+1100.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31613
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 128095 0 0 0 109608 409 0 0 25 0 1 0 973095821 187490304 38329 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45774 38329 301 301 0 45473 0
vsize: 183096
[startup+1110.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31613
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 128983 0 0 0 110605 412 0 0 25 0 1 0 973095821 187490304 38333 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45774 38333 301 301 0 45473 0
vsize: 183096
[startup+1120.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31613
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 129875 0 0 0 111603 415 0 0 25 0 1 0 973095821 187490304 38341 4294967295 134512640 135730672 3221224576 3221223264 134748565 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45774 38341 301 301 0 45473 0
vsize: 183096
[startup+1130.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31613
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 130767 0 0 0 112599 418 0 0 25 0 1 0 973095821 191111168 39233 4294967295 134512640 135730672 3221224576 3221222736 134768813 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46658 39233 301 301 0 46357 0
vsize: 186632
[startup+1140.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31613
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 130850 0 0 0 113598 419 0 0 25 0 1 0 973095821 188030976 38432 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45906 38432 301 301 0 45605 0
vsize: 183624
[startup+1150.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31613
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 131842 0 0 0 114595 423 0 0 25 0 1 0 973095821 188379136 38495 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45991 38495 301 301 0 45690 0
vsize: 183964
[startup+1160.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31613
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 132944 0 0 0 115592 426 0 0 25 0 1 0 973095821 188903424 38581 4294967295 134512640 135730672 3221224576 3221223168 134747445 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46119 38581 301 301 0 45818 0
vsize: 184476
[startup+1170.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31613
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 132956 0 0 0 116591 427 0 0 25 0 1 0 973095821 188903424 38593 4294967295 134512640 135730672 3221224576 3221223088 134745860 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46119 38593 301 301 0 45818 0
vsize: 184476
[startup+1180.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31613
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 133844 0 0 0 117589 430 0 0 25 0 1 0 973095821 188903424 38597 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46119 38597 301 301 0 45818 0
vsize: 184476
[startup+1190.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31613
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 134738 0 0 0 118585 433 0 0 25 0 1 0 973095821 188903424 38607 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46119 38607 301 301 0 45818 0
vsize: 184476
[startup+1200.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31613
Raw data (stat): 31556 (pb2sat-v2) R 31555 21152 21151 0 -1 0 135636 0 0 0 119582 436 0 0 25 0 1 0 973095821 188903424 38621 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46119 38621 301 301 0 45818 0
vsize: 184476
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1201.33 s]
Raw data (loadavg): 1.00 0.97 0.91 1/54 31613
Raw data (stat): 31556 (pb2sat-v2) Z 31555 21152 21151 0 -1 12 135638 0 0 0 119703 444 0 0 25 0 1 0 973095821 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 0
Real time (s): 1201.33
CPU time (s): 1201.48
CPU user time (s): 1197.04
CPU system time (s): 4.44432
CPU usage (%): 100.013
Max. virtual memory (Kb): 186632
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####