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/web/uclid_pb_benchmarks/normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl.opb
MD5SUM	46f4eb904b1c96b45521a6459aa5d49d
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	130
Number of bits of the biggest number in a constraint	8
Biggest sum of numbers in a constraint	512
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	109757
Total number of constraints	313451
Number of constraints which are clauses	295929
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	17522
Minimum length of a constraint	1
Maximum length of a constraint	15
Trace number 42178

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-16 01:04:50 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25377 boxname=wulflinc6 idbench=279 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  46f4eb904b1c96b45521a6459aa5d49d  /oldhome/oroussel/tmp/wulflinc6/normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl.opb
IDLAUNCH: 25377
/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:        733588 kB
Buffers:         34016 kB
Cached:         243552 kB
SwapCached:       1028 kB
Active:          75676 kB
Inactive:       204120 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        733336 kB
SwapTotal:     2097136 kB
SwapFree:      2095200 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           5088 kB
Slab:            15596 kB
Committed_AS:    63844 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 01:24:54 (client local time) WITH STATUS 0 IN 1201.82 SECONDS
stats: 25377 7 1201.82 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 19530/460151	Time: 19.0141/86400
c Decision: 19530/460151	Time: 36.2625/86400
c Decision: 19530/460151	Time: 50.4253/86400
c Decision: 19531/460151	Time: 70.2333/86400
c Decision: 19531/460151	Time: 86.6138/86400
c Decision: 19536/460151	Time: 108.761/86400
c Decision: 19555/460151	Time: 134.223/86400
c Decision: 19555/460151	Time: 154.011/86400
c Decision: 19808/460151	Time: 182.757/86400
c Decision: 19808/460151	Time: 202.941/86400
c Decision: 19811/460151	Time: 230.978/86400
c Decision: 19823/460151	Time: 269.888/86400
c Decision: 19829/460151	Time: 307.897/86400
c Decision: 19830/460151	Time: 332.729/86400
c Decision: 19836/460151	Time: 360.542/86400
c Decision: 19836/460151	Time: 381.04/86400
c Decision: 19836/460151	Time: 402.644/86400
c Decision: 19837/460151	Time: 430.81/86400
c Decision: 19840/460151	Time: 460.238/86400
c Decision: 19843/460151	Time: 482.725/86400
c Decision: 19843/460151	Time: 501.306/86400
c Decision: 19843/460151	Time: 521.744/86400
c Decision: 19843/460151	Time: 544.841/86400
c Decision: 19875/460151	Time: 593.155/86400
c Decision: 19875/460151	Time: 615.463/86400
c Decision: 19875/460151	Time: 639.274/86400
c Decision: 19878/460151	Time: 661.372/86400
c Decision: 19878/460151	Time: 682.402/86400
c Decision: 21052/460151	Time: 705.076/86400
c Decision: 21052/460151	Time: 723.916/86400
c Decision: 21052/460151	Time: 745.078/86400
c Decision: 21170/460151	Time: 766.912/86400
c Decision: 21170/460151	Time: 786.652/86400
c Decision: 21170/460151	Time: 803.377/86400
c Decision: 21170/460151	Time: 818.891/86400
c Decision: 21464/460151	Time: 846.78/86400
c Decision: 21464/460151	Time: 869.305/86400
c Decision: 21464/460151	Time: 892.317/86400
c Decision: 23036/460151	Time: 907.995/86400
c Decision: 23036/460151	Time: 929.991/86400
c Decision: 23039/460151	Time: 975.853/86400
c Decision: 23039/460151	Time: 995.748/86400
c Decision: 23039/460151	Time: 1015.7/86400
c Decision: 23039/460151	Time: 1042.77/86400
c Decision: 23039/460151	Time: 1065.26/86400
c Decision: 25608/460151	Time: 1117.27/86400
c Decision: 25608/460151	Time: 1145.97/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.80 0.89 0.89 1/54 13055
Raw data (stat): 13055 (runsolver) R 13054 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 966661555 884736 94 4294967295 134512640 135332820 3221224448 3221219628 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.0009 s]
Raw data (loadavg): 0.83 0.90 0.89 2/54 13055
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 5061 0 0 0 987 12 0 0 25 0 1 0 966661555 17326080 3135 4294967295 134512640 135730672 3221224560 3221221568 134850943 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4230 3135 301 301 0 3929 0
vsize: 16920
[startup+20.001 s]
Raw data (loadavg): 0.85 0.90 0.89 2/54 13055
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 10000 0 0 0 1975 24 0 0 25 0 1 0 966661555 33234944 6054 4294967295 134512640 135730672 3221224560 3221221376 134776216 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8114 6054 301 301 0 7813 0
vsize: 32456
[startup+30.0008 s]
Raw data (loadavg): 0.88 0.90 0.89 2/54 13057
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 13844 0 0 0 2964 35 0 0 25 0 1 0 966661555 42905600 8328 4294967295 134512640 135730672 3221224560 3221221760 134577614 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10475 8329 301 301 0 10174 0
vsize: 41900
[startup+40.0014 s]
Raw data (loadavg): 0.89 0.91 0.89 2/54 13057
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 36328 0 0 0 3913 86 0 0 25 0 1 0 966661555 132767744 24895 4294967295 134512640 135730672 3221224560 3221214912 134776110 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 32414 24895 301 301 0 32113 0
vsize: 129656
[startup+50.0015 s]
Raw data (loadavg): 0.91 0.91 0.89 2/54 13057
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 51932 0 0 0 4876 124 0 0 25 0 1 0 966661555 158666752 29564 4294967295 134512640 135730672 3221224560 3221215332 135282202 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38737 29565 301 301 0 38436 0
vsize: 154948
[startup+60.0017 s]
Raw data (loadavg): 0.92 0.91 0.89 2/54 13057
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 56716 0 0 0 5864 136 0 0 25 0 1 0 966661555 172597248 33403 4294967295 134512640 135730672 3221224560 3221223056 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42138 33403 301 301 0 41837 0
vsize: 168552
[startup+70.0018 s]
Raw data (loadavg): 0.93 0.91 0.90 2/54 13057
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 57934 0 0 0 6861 139 0 0 25 0 1 0 966661555 174014464 33722 4294967295 134512640 135730672 3221224560 3221222888 134739217 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42484 33722 301 301 0 42183 0
vsize: 169936
[startup+80.0029 s]
Raw data (loadavg): 0.94 0.92 0.90 2/54 13057
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 58727 0 0 0 7858 142 0 0 25 0 1 0 966661555 177922048 34515 4294967295 134512640 135730672 3221224560 3221223056 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43438 34515 301 301 0 43137 0
vsize: 173752
[startup+90.0032 s]
Raw data (loadavg): 0.95 0.92 0.90 2/54 13057
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 60096 0 0 0 8855 146 0 0 25 0 1 0 966661555 180240384 34985 4294967295 134512640 135730672 3221224560 3221223216 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44004 34985 301 301 0 43703 0
vsize: 176016
[startup+100.003 s]
Raw data (loadavg): 0.96 0.92 0.90 2/54 13057
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 60361 0 0 0 9854 147 0 0 25 0 1 0 966661555 181518336 35250 4294967295 134512640 135730672 3221224560 3221222976 134741558 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44316 35250 301 301 0 44015 0
vsize: 177264
[startup+110.003 s]
Raw data (loadavg): 0.97 0.92 0.90 2/54 13057
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 61469 0 0 0 10850 151 0 0 25 0 1 0 966661555 182460416 35426 4294967295 134512640 135730672 3221224560 3221223216 134734780 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44546 35426 301 301 0 44245 0
vsize: 178184
[startup+120.004 s]
Raw data (loadavg): 0.97 0.92 0.90 2/54 13057
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 62663 0 0 0 11847 155 0 0 25 0 1 0 966661555 187359232 36620 4294967295 134512640 135730672 3221224560 3221222720 134768821 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45742 36620 301 301 0 45441 0
vsize: 182968
[startup+130.005 s]
Raw data (loadavg): 0.97 0.93 0.90 2/54 13057
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 62716 0 0 0 12846 157 0 0 25 0 1 0 966661555 183947264 35774 4294967295 134512640 135730672 3221224560 3221222880 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44909 35774 301 301 0 44608 0
vsize: 179636
[startup+140.005 s]
Raw data (loadavg): 0.98 0.93 0.90 2/54 13057
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 63809 0 0 0 13842 160 0 0 25 0 1 0 966661555 185225216 35968 4294967295 134512640 135730672 3221224560 3221223056 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45221 35968 301 301 0 44920 0
vsize: 180884
[startup+150.005 s]
Raw data (loadavg): 0.98 0.93 0.90 2/54 13057
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 64049 0 0 0 14840 163 0 0 25 0 1 0 966661555 186437632 36175 4294967295 134512640 135730672 3221224560 3221223056 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45517 36175 301 301 0 45216 0
vsize: 182068
[startup+160.005 s]
Raw data (loadavg): 0.98 0.93 0.90 2/54 13057
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 65093 0 0 0 15837 166 0 0 25 0 1 0 966661555 187113472 36320 4294967295 134512640 135730672 3221224560 3221223056 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45682 36320 301 301 0 45381 0
vsize: 182728
[startup+170.005 s]
Raw data (loadavg): 0.98 0.93 0.91 2/54 13057
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 65290 0 0 0 16836 167 0 0 25 0 1 0 966661555 188051456 36484 4294967295 134512640 135730672 3221224560 3221223056 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45911 36484 301 301 0 45610 0
vsize: 183644
[startup+180.005 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 13057
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 65522 0 0 0 17835 169 0 0 25 0 1 0 966661555 189128704 36683 4294967295 134512640 135730672 3221224560 3221222896 134739215 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46174 36683 301 301 0 45873 0
vsize: 184696
[startup+190.005 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 13057
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 66516 0 0 0 18831 173 0 0 25 0 1 0 966661555 189394944 36745 4294967295 134512640 135730672 3221224560 3221223184 134748138 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46239 36745 301 301 0 45938 0
vsize: 184956
[startup+200.005 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 13057
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 66865 0 0 0 19830 174 0 0 25 0 1 0 966661555 190316544 36896 4294967295 134512640 135730672 3221224560 3221223056 134747460 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46464 36896 301 301 0 46163 0
vsize: 185856
[startup+210.006 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 13057
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 68064 0 0 0 20827 178 0 0 25 0 1 0 966661555 191246336 37064 4294967295 134512640 135730672 3221224560 3221222880 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46691 37064 301 301 0 46390 0
vsize: 186764
[startup+220.006 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 13057
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 68253 0 0 0 21826 179 0 0 25 0 1 0 966661555 192045056 37187 4294967295 134512640 135730672 3221224560 3221223212 134748060 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46886 37187 301 301 0 46585 0
vsize: 187544
[startup+230.006 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 13057
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 68385 0 0 0 22825 180 0 0 25 0 1 0 966661555 192307200 37253 4294967295 134512640 135730672 3221224560 3221223216 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46950 37253 301 301 0 46649 0
vsize: 187800
[startup+240.006 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 13057
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 69548 0 0 0 23822 184 0 0 25 0 1 0 966661555 193363968 37385 4294967295 134512640 135730672 3221224560 3221223216 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47208 37385 301 301 0 46907 0
vsize: 188832
[startup+250.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 13057
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 69650 0 0 0 24821 185 0 0 25 0 1 0 966661555 193904640 37487 4294967295 134512640 135730672 3221224560 3221223216 134734835 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47340 37487 301 301 0 47039 0
vsize: 189360
[startup+260.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 13057
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 70690 0 0 0 25818 188 0 0 25 0 1 0 966661555 194306048 37595 4294967295 134512640 135730672 3221224560 3221223056 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47438 37595 301 301 0 47137 0
vsize: 189752
[startup+270.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 13057
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 70828 0 0 0 26818 189 0 0 25 0 1 0 966661555 194707456 37700 4294967295 134512640 135730672 3221224560 3221223056 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47536 37700 301 301 0 47235 0
vsize: 190144
[startup+280.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 13057
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 71760 0 0 0 27815 191 0 0 25 0 1 0 966661555 198389760 38632 4294967295 134512640 135730672 3221224560 3221222696 134765477 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48435 38632 301 301 0 48134 0
vsize: 193740
[startup+290.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 13057
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 71811 0 0 0 28815 192 0 0 25 0 1 0 966661555 194904064 37784 4294967295 134512640 135730672 3221224560 3221223248 134748554 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47584 37784 301 301 0 47283 0
vsize: 190336
[startup+300.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 13057
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 71956 0 0 0 29813 194 0 0 25 0 1 0 966661555 195649536 37929 4294967295 134512640 135730672 3221224560 3221223056 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47766 37929 301 301 0 47465 0
vsize: 191064
[startup+310.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 13057
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 71999 0 0 0 30813 195 0 0 25 0 1 0 966661555 195919872 37972 4294967295 134512640 135730672 3221224560 3221223056 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47832 37972 301 301 0 47531 0
vsize: 191328
[startup+320.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 13057
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 72901 0 0 0 31810 198 0 0 25 0 1 0 966661555 199602176 38874 4294967295 134512640 135730672 3221224560 3221222696 134765477 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48731 38874 301 301 0 48430 0
vsize: 194924
[startup+330.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 13057
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 72981 0 0 0 32810 199 0 0 25 0 1 0 966661555 196182016 37989 4294967295 134512640 135730672 3221224560 3221223216 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47896 37989 301 301 0 47595 0
vsize: 191584
[startup+340.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 13057
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 73019 0 0 0 33808 200 0 0 25 0 1 0 966661555 196317184 38027 4294967295 134512640 135730672 3221224560 3221223056 134747741 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47929 38027 301 301 0 47628 0
vsize: 191716
[startup+350.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13057
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 73055 0 0 0 34808 201 0 0 25 0 1 0 966661555 196317184 38063 4294967295 134512640 135730672 3221224560 3221222880 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47929 38063 301 301 0 47628 0
vsize: 191716
[startup+360.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13057
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 73981 0 0 0 35805 204 0 0 25 0 1 0 966661555 196317184 38090 4294967295 134512640 135730672 3221224560 3221223056 134747823 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47929 38090 301 301 0 47628 0
vsize: 191716
[startup+370.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13057
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 74103 0 0 0 36804 205 0 0 25 0 1 0 966661555 196849664 38179 4294967295 134512640 135730672 3221224560 3221223056 134747647 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48059 38179 301 301 0 47758 0
vsize: 192236
[startup+380.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13057
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 74116 0 0 0 37803 207 0 0 25 0 1 0 966661555 196849664 38192 4294967295 134512640 135730672 3221224560 3221223056 134747463 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48059 38192 301 301 0 47758 0
vsize: 192236
[startup+390.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13057
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 75055 0 0 0 38801 209 0 0 25 0 1 0 966661555 196984832 38232 4294967295 134512640 135730672 3221224560 3221223072 135283010 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48092 38232 301 301 0 47791 0
vsize: 192368
[startup+400.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13057
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 75065 0 0 0 39800 210 0 0 25 0 1 0 966661555 196984832 38242 4294967295 134512640 135730672 3221224560 3221222880 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48092 38242 301 301 0 47791 0
vsize: 192368
[startup+410.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13057
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 75075 0 0 0 40799 212 0 0 25 0 1 0 966661555 196984832 38252 4294967295 134512640 135730672 3221224560 3221222976 134741588 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48092 38252 301 301 0 47791 0
vsize: 192368
[startup+420.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13057
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 76029 0 0 0 41797 214 0 0 25 0 1 0 966661555 197251072 38307 4294967295 134512640 135730672 3221224560 3221223216 134734835 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48157 38307 301 301 0 47856 0
vsize: 192628
[startup+430.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13057
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 77000 0 0 0 42794 217 0 0 25 0 1 0 966661555 201064448 39245 4294967295 134512640 135730672 3221224560 3221222696 134765477 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49088 39245 301 301 0 48787 0
vsize: 196352
[startup+440.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13057
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 77002 0 0 0 43794 218 0 0 25 0 1 0 966661555 197382144 38348 4294967295 134512640 135730672 3221224560 3221222892 134739224 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48189 38348 301 301 0 47888 0
vsize: 192756
[startup+450.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13057
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 77057 0 0 0 44794 218 0 0 25 0 1 0 966661555 197513216 38370 4294967295 134512640 135730672 3221224560 3221223056 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48221 38370 301 301 0 47920 0
vsize: 192884
[startup+460.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13057
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 77957 0 0 0 45791 221 0 0 25 0 1 0 966661555 197513216 38371 4294967295 134512640 135730672 3221224560 3221223056 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48221 38371 301 301 0 47920 0
vsize: 192884
[startup+470.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13057
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 77962 0 0 0 46790 222 0 0 25 0 1 0 966661555 197513216 38376 4294967295 134512640 135730672 3221224560 3221223056 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48221 38376 301 301 0 47920 0
vsize: 192884
[startup+480.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13057
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 78116 0 0 0 47789 223 0 0 25 0 1 0 966661555 198176768 38497 4294967295 134512640 135730672 3221224560 3221223072 134745860 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48383 38497 301 301 0 48082 0
vsize: 193532
[startup+490.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13057
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 79036 0 0 0 48787 226 0 0 25 0 1 0 966661555 198176768 38518 4294967295 134512640 135730672 3221224560 3221223216 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48383 38518 301 301 0 48082 0
vsize: 193532
[startup+500.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13057
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 79259 0 0 0 49786 228 0 0 25 0 1 0 966661555 198836224 38642 4294967295 134512640 135730672 3221224560 3221223056 134747657 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48544 38642 301 301 0 48243 0
vsize: 194176
[startup+510.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13057
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 80259 0 0 0 50783 231 0 0 25 0 1 0 966661555 202915840 39609 4294967295 134512640 135730672 3221224560 3221222712 134765477 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49540 39609 301 301 0 49239 0
vsize: 198160
[startup+520.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13057
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 80271 0 0 0 51782 232 0 0 25 0 1 0 966661555 199233536 38722 4294967295 134512640 135730672 3221224560 3221223184 134748145 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48641 38722 301 301 0 48340 0
vsize: 194564
[startup+530.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13057
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 80282 0 0 0 52781 233 0 0 25 0 1 0 966661555 199233536 38733 4294967295 134512640 135730672 3221224560 3221223216 134734761 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48641 38733 301 301 0 48340 0
vsize: 194564
[startup+540.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13057
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 81215 0 0 0 53779 235 0 0 25 0 1 0 966661555 199368704 38767 4294967295 134512640 135730672 3221224560 3221223056 134747970 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48674 38767 301 301 0 48373 0
vsize: 194696
[startup+550.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13057
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 82127 0 0 0 54777 238 0 0 25 0 1 0 966661555 203051008 39679 4294967295 134512640 135730672 3221224560 3221222736 134772793 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49573 39679 301 301 0 49272 0
vsize: 198292
[startup+560.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13057
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 82130 0 0 0 55776 239 0 0 25 0 1 0 966661555 199368704 38783 4294967295 134512640 135730672 3221224560 3221223056 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48674 38783 301 301 0 48373 0
vsize: 194696
[startup+570.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13057
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 82139 0 0 0 56775 240 0 0 25 0 1 0 966661555 199368704 38792 4294967295 134512640 135730672 3221224560 3221223216 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48674 38792 301 301 0 48373 0
vsize: 194696
[startup+580.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13057
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 83052 0 0 0 57773 243 0 0 25 0 1 0 966661555 199368704 38806 4294967295 134512640 135730672 3221224560 3221223180 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48674 38806 301 301 0 48373 0
vsize: 194696
[startup+590.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13057
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 83165 0 0 0 58772 245 0 0 25 0 1 0 966661555 199630848 38853 4294967295 134512640 135730672 3221224560 3221223056 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48738 38853 301 301 0 48437 0
vsize: 194952
[startup+600.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13057
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 84070 0 0 0 59769 247 0 0 25 0 1 0 966661555 199630848 38859 4294967295 134512640 135730672 3221224560 3221223056 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48738 38859 301 301 0 48437 0
vsize: 194952
[startup+610.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13057
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 84139 0 0 0 60769 248 0 0 25 0 1 0 966661555 199761920 38895 4294967295 134512640 135730672 3221224560 3221222884 134732444 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48770 38895 301 301 0 48469 0
vsize: 195080
[startup+620.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13057
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 84331 0 0 0 61766 251 0 0 25 0 1 0 966661555 200290304 38988 4294967295 134512640 135730672 3221224560 3221223056 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48899 38988 301 301 0 48598 0
vsize: 195596
[startup+630.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13057
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 84357 0 0 0 62766 252 0 0 25 0 1 0 966661555 200290304 39014 4294967295 134512640 135730672 3221224560 3221223056 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48899 39014 301 301 0 48598 0
vsize: 195596
[startup+640.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13057
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 84372 0 0 0 63765 253 0 0 25 0 1 0 966661555 200290304 39029 4294967295 134512640 135730672 3221224560 3221223056 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48899 39029 301 301 0 48598 0
vsize: 195596
[startup+650.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13057
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 85321 0 0 0 64762 256 0 0 25 0 1 0 966661555 200421376 39046 4294967295 134512640 135730672 3221224560 3221223056 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48931 39046 301 301 0 48630 0
vsize: 195724
[startup+660.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13057
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 85382 0 0 0 65761 257 0 0 25 0 1 0 966661555 200753152 39107 4294967295 134512640 135730672 3221224560 3221222880 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49012 39107 301 301 0 48711 0
vsize: 196048
[startup+670.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13057
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 86316 0 0 0 66758 261 0 0 25 0 1 0 966661555 200916992 39142 4294967295 134512640 135730672 3221224560 3221223216 134734780 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49052 39142 301 301 0 48751 0
vsize: 196208
[startup+680.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13057
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 86382 0 0 0 67757 263 0 0 25 0 1 0 966661555 201080832 39208 4294967295 134512640 135730672 3221224560 3221223216 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49092 39208 301 301 0 48791 0
vsize: 196368
[startup+690.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13057
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 87289 0 0 0 68753 266 0 0 25 0 1 0 966661555 201080832 39216 4294967295 134512640 135730672 3221224560 3221223056 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49092 39216 301 301 0 48791 0
vsize: 196368
[startup+700.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13057
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 87386 0 0 0 69752 268 0 0 25 0 1 0 966661555 201342976 39247 4294967295 134512640 135730672 3221224560 3221223216 134734835 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49156 39247 301 301 0 48855 0
vsize: 196624
[startup+710.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13057
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 87458 0 0 0 70750 270 0 0 25 0 1 0 966661555 201670656 39319 4294967295 134512640 135730672 3221224560 3221223056 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49236 39319 301 301 0 48935 0
vsize: 196944
[startup+720.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13057
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 88384 0 0 0 71747 273 0 0 25 0 1 0 966661555 201859072 39346 4294967295 134512640 135730672 3221224560 3221223180 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49282 39346 301 301 0 48981 0
vsize: 197128
[startup+730.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13057
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 88387 0 0 0 72746 275 0 0 25 0 1 0 966661555 201859072 39349 4294967295 134512640 135730672 3221224560 3221222880 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49282 39349 301 301 0 48981 0
vsize: 197128
[startup+740.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13057
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 89309 0 0 0 73743 278 0 0 25 0 1 0 966661555 201859072 39372 4294967295 134512640 135730672 3221224560 3221223056 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49282 39372 301 301 0 48981 0
vsize: 197128
[startup+750.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13057
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 89341 0 0 0 74742 279 0 0 25 0 1 0 966661555 201994240 39404 4294967295 134512640 135730672 3221224560 3221223216 134734837 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49315 39404 301 301 0 49014 0
vsize: 197260
[startup+760.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13057
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 90293 0 0 0 75738 283 0 0 25 0 1 0 966661555 202264576 39457 4294967295 134512640 135730672 3221224560 3221222880 134732479 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49381 39457 301 301 0 49080 0
vsize: 197524
[startup+770.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13057
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 90298 0 0 0 76737 284 0 0 25 0 1 0 966661555 202395648 39462 4294967295 134512640 135730672 3221224560 3221223248 134748554 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49413 39462 301 301 0 49112 0
vsize: 197652
[startup+780.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13057
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 91210 0 0 0 77734 287 0 0 25 0 1 0 966661555 202395648 39475 4294967295 134512640 135730672 3221224560 3221222880 134732837 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49413 39475 301 301 0 49112 0
vsize: 197652
[startup+790.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13057
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 91232 0 0 0 78733 288 0 0 25 0 1 0 966661555 202395648 39497 4294967295 134512640 135730672 3221224560 3221223056 134747519 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49413 39497 301 301 0 49112 0
vsize: 197652
[startup+800.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13057
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 92162 0 0 0 79730 292 0 0 25 0 1 0 966661555 202530816 39528 4294967295 134512640 135730672 3221224560 3221223208 134748061 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49446 39528 301 301 0 49145 0
vsize: 197784
[startup+810.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13057
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 92182 0 0 0 80730 293 0 0 25 0 1 0 966661555 202665984 39548 4294967295 134512640 135730672 3221224560 3221223056 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49479 39548 301 301 0 49178 0
vsize: 197916
[startup+820.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13057
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 93089 0 0 0 81726 296 0 0 25 0 1 0 966661555 202665984 39556 4294967295 134512640 135730672 3221224560 3221222896 134739213 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49479 39556 301 301 0 49178 0
vsize: 197916
[startup+830.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13057
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 93132 0 0 0 82725 298 0 0 25 0 1 0 966661555 202977280 39599 4294967295 134512640 135730672 3221224560 3221222880 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49555 39599 301 301 0 49254 0
vsize: 198220
[startup+840.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13057
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 94038 0 0 0 83722 301 0 0 25 0 1 0 966661555 202977280 39606 4294967295 134512640 135730672 3221224560 3221222896 134739213 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49555 39606 301 301 0 49254 0
vsize: 198220
[startup+850.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13057
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 94046 0 0 0 84721 302 0 0 25 0 1 0 966661555 202977280 39614 4294967295 134512640 135730672 3221224560 3221223160 134747441 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49555 39614 301 301 0 49254 0
vsize: 198220
[startup+860.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13057
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 94947 0 0 0 85719 305 0 0 25 0 1 0 966661555 202977280 39616 4294967295 134512640 135730672 3221224560 3221223056 134747610 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49555 39616 301 301 0 49254 0
vsize: 198220
[startup+870.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13057
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 95904 0 0 0 86716 307 0 0 25 0 1 0 966661555 203108352 39641 4294967295 134512640 135730672 3221224560 3221223056 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49587 39641 301 301 0 49286 0
vsize: 198348
[startup+880.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13057
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 95912 0 0 0 87716 309 0 0 25 0 1 0 966661555 203108352 39649 4294967295 134512640 135730672 3221224560 3221223180 134730931 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49587 39649 301 301 0 49286 0
vsize: 198348
[startup+890.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13057
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 95946 0 0 0 88714 310 0 0 25 0 1 0 966661555 203243520 39683 4294967295 134512640 135730672 3221224560 3221223056 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49620 39683 301 301 0 49319 0
vsize: 198480
[startup+900.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13057
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 96856 0 0 0 89711 313 0 0 25 0 1 0 966661555 203243520 39694 4294967295 134512640 135730672 3221224560 3221223056 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49620 39694 301 301 0 49319 0
vsize: 198480
[startup+910.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13057
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 96914 0 0 0 90711 315 0 0 25 0 1 0 966661555 203374592 39719 4294967295 134512640 135730672 3221224560 3221223056 134747823 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49652 39719 301 301 0 49351 0
vsize: 198608
[startup+920.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13057
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 97899 0 0 0 91708 317 0 0 25 0 1 0 966661555 203702272 39772 4294967295 134512640 135730672 3221224560 3221223056 134747570 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49732 39772 301 301 0 49431 0
vsize: 198928
[startup+930.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13057
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 97901 0 0 0 92708 318 0 0 25 0 1 0 966661555 203702272 39774 4294967295 134512640 135730672 3221224560 3221223056 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49732 39774 301 301 0 49431 0
vsize: 198928
[startup+940.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13057
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 97911 0 0 0 93708 319 0 0 25 0 1 0 966661555 203849728 39784 4294967295 134512640 135730672 3221224560 3221223056 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49768 39784 301 301 0 49467 0
vsize: 199072
[startup+950.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13057
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 98819 0 0 0 94705 322 0 0 25 0 1 0 966661555 203849728 39793 4294967295 134512640 135730672 3221224560 3221223216 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49768 39793 301 301 0 49467 0
vsize: 199072
[startup+960.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13057
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 99729 0 0 0 95703 324 0 0 25 0 1 0 966661555 203849728 39804 4294967295 134512640 135730672 3221224560 3221223056 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49768 39804 301 301 0 49467 0
vsize: 199072
[startup+970.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13057
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 99743 0 0 0 96703 325 0 0 25 0 1 0 966661555 203849728 39818 4294967295 134512640 135730672 3221224560 3221223056 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49768 39818 301 301 0 49467 0
vsize: 199072
[startup+980.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13057
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 100662 0 0 0 97700 328 0 0 25 0 1 0 966661555 207667200 40737 4294967295 134512640 135730672 3221224560 3221222720 134768808 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50700 40737 301 301 0 50399 0
vsize: 202800
[startup+990.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13057
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 100663 0 0 0 98700 328 0 0 25 0 1 0 966661555 203984896 39839 4294967295 134512640 135730672 3221224560 3221223056 134747608 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49801 39839 301 301 0 49500 0
vsize: 199204
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13057
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 100666 0 0 0 99700 329 0 0 25 0 1 0 966661555 203984896 39842 4294967295 134512640 135730672 3221224560 3221223180 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49801 39842 301 301 0 49500 0
vsize: 199204
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13057
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 100708 0 0 0 100699 330 0 0 25 0 1 0 966661555 204251136 39884 4294967295 134512640 135730672 3221224560 3221223180 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49866 39884 301 301 0 49565 0
vsize: 199464
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13057
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 100751 0 0 0 101698 331 0 0 25 0 1 0 966661555 204447744 39927 4294967295 134512640 135730672 3221224560 3221223056 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49914 39927 301 301 0 49613 0
vsize: 199656
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13057
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 101699 0 0 0 102696 334 0 0 25 0 1 0 966661555 204578816 39943 4294967295 134512640 135730672 3221224560 3221223056 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49946 39943 301 301 0 49645 0
vsize: 199784
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13057
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 101713 0 0 0 103695 335 0 0 25 0 1 0 966661555 204578816 39957 4294967295 134512640 135730672 3221224560 3221223180 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49946 39957 301 301 0 49645 0
vsize: 199784
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13057
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 102628 0 0 0 104693 338 0 0 25 0 1 0 966661555 204578816 39973 4294967295 134512640 135730672 3221224560 3221223216 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49946 39973 301 301 0 49645 0
vsize: 199784
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13057
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 102651 0 0 0 105692 338 0 0 25 0 1 0 966661555 204578816 39996 4294967295 134512640 135730672 3221224560 3221223152 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49946 39996 301 301 0 49645 0
vsize: 199784
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13057
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 103577 0 0 0 106690 341 0 0 25 0 1 0 966661555 204578816 40023 4294967295 134512640 135730672 3221224560 3221222880 134732515 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49946 40023 301 301 0 49645 0
vsize: 199784
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13057
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 103596 0 0 0 107690 341 0 0 25 0 1 0 966661555 204578816 40042 4294967295 134512640 135730672 3221224560 3221223056 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49946 40042 301 301 0 49645 0
vsize: 199784
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13057
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 103608 0 0 0 108690 342 0 0 25 0 1 0 966661555 204578816 40054 4294967295 134512640 135730672 3221224560 3221223056 134747808 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49946 40054 301 301 0 49645 0
vsize: 199784
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13057
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 104555 0 0 0 109687 345 0 0 25 0 1 0 966661555 204775424 40102 4294967295 134512640 135730672 3221224560 3221223056 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49994 40102 301 301 0 49693 0
vsize: 199976
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13057
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 104589 0 0 0 110687 346 0 0 25 0 1 0 966661555 204775424 40136 4294967295 134512640 135730672 3221224560 3221223056 134747516 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49994 40136 301 301 0 49693 0
vsize: 199976
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13057
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 105511 0 0 0 111684 349 0 0 25 0 1 0 966661555 204972032 40159 4294967295 134512640 135730672 3221224560 3221223056 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50042 40159 301 301 0 49741 0
vsize: 200168
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13057
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 105548 0 0 0 112683 350 0 0 25 0 1 0 966661555 204972032 40196 4294967295 134512640 135730672 3221224560 3221223216 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50042 40196 301 301 0 49741 0
vsize: 200168
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13057
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 105572 0 0 0 113683 350 0 0 25 0 1 0 966661555 204972032 40220 4294967295 134512640 135730672 3221224560 3221222880 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50042 40220 301 301 0 49741 0
vsize: 200168
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13057
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 105627 0 0 0 114682 352 0 0 25 0 1 0 966661555 205103104 40242 4294967295 134512640 135730672 3221224560 3221223056 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50074 40242 301 301 0 49773 0
vsize: 200296
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13057
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 105637 0 0 0 115682 352 0 0 25 0 1 0 966661555 205103104 40252 4294967295 134512640 135730672 3221224560 3221223056 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50074 40252 301 301 0 49773 0
vsize: 200296
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13057
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 106581 0 0 0 116680 354 0 0 25 0 1 0 966661555 205234176 40264 4294967295 134512640 135730672 3221224560 3221222808 135284754 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50106 40264 301 301 0 49805 0
vsize: 200424
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13057
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 106674 0 0 0 117679 356 0 0 25 0 1 0 966661555 205496320 40291 4294967295 134512640 135730672 3221224560 3221223056 134747587 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50170 40291 301 301 0 49869 0
vsize: 200680
[startup+1190.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13057
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 106756 0 0 0 118678 357 0 0 25 0 1 0 966661555 206057472 40340 4294967295 134512640 135730672 3221224560 3221223180 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50307 40340 301 301 0 50006 0
vsize: 201228
[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13057
Raw data (stat): 13055 (pb2sat-v2) R 13054 25568 25567 0 -1 0 107702 0 0 0 119675 360 0 0 25 0 1 0 966661555 206323712 40387 4294967295 134512640 135730672 3221224560 3221222880 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50372 40387 301 301 0 50071 0
vsize: 201488
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1201.49 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 13057
Raw data (stat): 13055 (pb2sat-v2) Z 13054 25568 25567 0 -1 12 107704 0 0 0 119812 368 0 0 25 0 1 0 966661555 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.49
CPU time (s): 1201.82
CPU user time (s): 1198.13
CPU system time (s): 3.68844
CPU usage (%): 100.027
Max. virtual memory (Kb): 202800
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####