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.burch_dill.6.accl.ucl.opb
MD5SUM	f306f9e77db4c563a096b79aebdedeaa
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	71
Number of bits of the biggest number in a constraint	7
Biggest sum of numbers in a constraint	261
Number of bits of the biggest sum of numbers	9
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	23621
Total number of constraints	67526
Number of constraints which are clauses	65126
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	2400
Minimum length of a constraint	1
Maximum length of a constraint	13
Trace number 42182

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-16 01:20:03 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25397 boxname=wulflinc5 idbench=299 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  f306f9e77db4c563a096b79aebdedeaa  /oldhome/oroussel/tmp/wulflinc5/normalized-ooo.burch_dill.6.accl.ucl.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-ooo.burch_dill.6.accl.ucl.opb
IDLAUNCH: 25397
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        814248 kB
Buffers:         34212 kB
Cached:         162696 kB
SwapCached:        700 kB
Active:          74852 kB
Inactive:       124200 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        813996 kB
SwapTotal:     2097136 kB
SwapFree:      2095508 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           5156 kB
Slab:            15540 kB
Committed_AS:    63716 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 01:40:06 (client local time) WITH STATUS 0 IN 1200.48 SECONDS
stats: 25397 7 1200.48 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 2445/71607	Time: 12.6101/86400
c Decision: 2445/71607	Time: 20.6089/86400
c Decision: 2446/71607	Time: 30.0024/86400
c Decision: 2458/71607	Time: 48.7246/86400
c Decision: 2458/71607	Time: 56.6824/86400
c Decision: 2458/71607	Time: 66.8358/86400
c Decision: 2458/71607	Time: 76.8683/86400
c Decision: 2458/71607	Time: 85.223/86400
c Decision: 2458/71607	Time: 95.1215/86400
c Decision: 2458/71607	Time: 104.895/86400
c Decision: 2458/71607	Time: 114.261/86400
c Decision: 2460/71607	Time: 130.095/86400
c Decision: 2470/71607	Time: 147.153/86400
c Decision: 2470/71607	Time: 164.113/86400
c Decision: 2470/71607	Time: 178.478/86400
c Decision: 3566/71607	Time: 193.403/86400
c Decision: 5259/71607	Time: 211.182/86400
c Decision: 5431/71607	Time: 236.876/86400
c Decision: 5440/71607	Time: 291.305/86400
c Decision: 5440/71607	Time: 308.215/86400
c Decision: 5440/71607	Time: 327.375/86400
c Decision: 5471/71607	Time: 379.543/86400
c Decision: 5471/71607	Time: 396.631/86400
c Decision: 5471/71607	Time: 413.77/86400
c Decision: 5471/71607	Time: 429.497/86400
c Decision: 5471/71607	Time: 439.175/86400
c Decision: 5471/71607	Time: 449.441/86400
c Decision: 5471/71607	Time: 458.072/86400
c Decision: 5471/71607	Time: 470.843/86400
c Decision: 5471/71607	Time: 483.271/86400
c Decision: 5471/71607	Time: 495.118/86400
c Decision: 5471/71607	Time: 503.762/86400
c Decision: 5471/71607	Time: 511.308/86400
c Decision: 5471/71607	Time: 517.953/86400
c Decision: 5471/71607	Time: 526.008/86400
c Decision: 5471/71607	Time: 533.463/86400
c Decision: 5471/71607	Time: 543.446/86400
c Decision: 5471/71607	Time: 549.714/86400
c Decision: 5471/71607	Time: 558.073/86400
c Decision: 5471/71607	Time: 564.452/86400
c Decision: 5475/71607	Time: 579.251/86400
c Decision: 5475/71607	Time: 587.674/86400
c Decision: 5475/71607	Time: 595.71/86400
c Decision: 7435/71607	Time: 604.019/86400
c Decision: 7435/71607	Time: 612.156/86400
c Decision: 7435/71607	Time: 621.76/86400
c Decision: 7435/71607	Time: 630.19/86400
c Decision: 7435/71607	Time: 638.155/86400
c Decision: 7436/71607	Time: 649.555/86400
c Decision: 7436/71607	Time: 658.182/86400
c Decision: 7436/71607	Time: 666.723/86400
c Decision: 7436/71607	Time: 676.181/86400
c Decision: 7436/71607	Time: 684.707/86400
c Decision: 7436/71607	Time: 692.753/86400
c Decision: 7436/71607	Time: 703.756/86400
c Decision: 7436/71607	Time: 711.018/86400
c Decision: 7436/71607	Time: 723.021/86400
c Decision: 7436/71607	Time: 734.931/86400
c Decision: 7436/71607	Time: 745.902/86400
c Decision: 7436/71607	Time: 757.68/86400
c Decision: 7436/71607	Time: 768.865/86400
c Decision: 7436/71607	Time: 779.115/86400
c Decision: 7436/71607	Time: 791.466/86400
c Decision: 7445/71607	Time: 811.98/86400
c Decision: 7445/71607	Time: 829.129/86400
c Decision: 7461/71607	Time: 878.279/86400
c Decision: 7461/71607	Time: 903.571/86400
c Decision: 7461/71607	Time: 928.369/86400
c Decision: 7461/71607	Time: 946.379/86400
c Decision: 7461/71607	Time: 965.094/86400
c Decision: 7461/71607	Time: 982.443/86400
c Decision: 7461/71607	Time: 1003.35/86400
c Decision: 7461/71607	Time: 1029.14/86400
c Decision: 7464/71607	Time: 1067.52/86400
c Decision: 7464/71607	Time: 1090.01/86400
c Decision: 7464/71607	Time: 1111.29/86400
c Decision: 7464/71607	Time: 1129.91/86400
c Decision: 7464/71607	Time: 1152.51/86400
c Decision: 7464/71607	Time: 1172.35/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.64 0.81 0.86 2/54 6774
Raw data (stat): 6774 (runsolver) R 6773 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 966753857 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.0012 s]
Raw data (loadavg): 0.70 0.82 0.86 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 9668 0 0 0 976 22 0 0 25 0 1 0 966753857 30076928 5614 4294967295 134512640 135730672 3221224576 3221223264 134748426 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7343 5614 301 301 0 7042 0
vsize: 29372
[startup+20.0015 s]
Raw data (loadavg): 0.74 0.82 0.86 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 10462 0 0 0 1973 25 0 0 25 0 1 0 966753857 33738752 6408 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8237 6408 301 301 0 7936 0
vsize: 32948
[startup+30.0025 s]
Raw data (loadavg): 0.78 0.83 0.86 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 11096 0 0 0 2972 27 0 0 25 0 1 0 966753857 35573760 6762 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8685 6762 301 301 0 8384 0
vsize: 34740
[startup+40.0018 s]
Raw data (loadavg): 0.81 0.83 0.86 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 11459 0 0 0 3970 29 0 0 25 0 1 0 966753857 36556800 6985 4294967295 134512640 135730672 3221224576 3221223072 134747610 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8925 6985 301 301 0 8624 0
vsize: 35700
[startup+50.0026 s]
Raw data (loadavg): 0.84 0.84 0.87 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 11834 0 0 0 4969 31 0 0 25 0 1 0 966753857 38559744 7360 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9414 7360 301 301 0 9113 0
vsize: 37656
[startup+60.0028 s]
Raw data (loadavg): 0.87 0.84 0.87 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 12131 0 0 0 5966 33 0 0 25 0 1 0 966753857 39235584 7517 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9579 7517 301 301 0 9278 0
vsize: 38316
[startup+70.0031 s]
Raw data (loadavg): 0.89 0.85 0.87 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 12363 0 0 0 6964 35 0 0 25 0 1 0 966753857 39505920 7609 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9645 7609 301 301 0 9344 0
vsize: 38580
[startup+80.0038 s]
Raw data (loadavg): 0.90 0.85 0.87 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 12614 0 0 0 7963 36 0 0 25 0 1 0 966753857 40108032 7720 4294967295 134512640 135730672 3221224576 3221223232 134748661 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9792 7720 301 301 0 9491 0
vsize: 39168
[startup+90.0039 s]
Raw data (loadavg): 0.92 0.86 0.87 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 12807 0 0 0 8961 38 0 0 25 0 1 0 966753857 40378368 7773 4294967295 134512640 135730672 3221224576 3221222896 134732816 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9858 7773 301 301 0 9557 0
vsize: 39432
[startup+100.004 s]
Raw data (loadavg): 0.93 0.86 0.87 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 12975 0 0 0 9960 40 0 0 25 0 1 0 966753857 40378368 7801 4294967295 134512640 135730672 3221224576 3221222896 134732479 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9858 7801 301 301 0 9557 0
vsize: 39432
[startup+110.004 s]
Raw data (loadavg): 0.94 0.86 0.87 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 13139 0 0 0 10958 42 0 0 25 0 1 0 966753857 40378368 7825 4294967295 134512640 135730672 3221224576 3221223072 134747578 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9858 7825 301 301 0 9557 0
vsize: 39432
[startup+120.004 s]
Raw data (loadavg): 0.95 0.87 0.87 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 13382 0 0 0 11956 44 0 0 25 0 1 0 966753857 40648704 7928 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9924 7928 301 301 0 9623 0
vsize: 39696
[startup+130.004 s]
Raw data (loadavg): 0.96 0.87 0.87 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 13602 0 0 0 12954 46 0 0 25 0 1 0 966753857 41054208 8008 4294967295 134512640 135730672 3221224576 3221223072 134747618 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10023 8008 301 301 0 9722 0
vsize: 40092
[startup+140.004 s]
Raw data (loadavg): 0.96 0.88 0.87 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 13816 0 0 0 13953 47 0 0 25 0 1 0 966753857 41324544 8082 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10089 8082 301 301 0 9788 0
vsize: 40356
[startup+150.005 s]
Raw data (loadavg): 0.97 0.88 0.88 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 13847 0 0 0 14951 49 0 0 25 0 1 0 966753857 41459712 8113 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10122 8113 301 301 0 9821 0
vsize: 40488
[startup+160.005 s]
Raw data (loadavg): 0.97 0.88 0.88 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 14031 0 0 0 15950 50 0 0 25 0 1 0 966753857 41594880 8157 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10155 8157 301 301 0 9854 0
vsize: 40620
[startup+170.005 s]
Raw data (loadavg): 0.98 0.89 0.88 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 14045 0 0 0 16949 51 0 0 25 0 1 0 966753857 41594880 8171 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10155 8171 301 301 0 9854 0
vsize: 40620
[startup+180.006 s]
Raw data (loadavg): 0.98 0.89 0.88 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 14214 0 0 0 17949 52 0 0 25 0 1 0 966753857 41730048 8200 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10188 8200 301 301 0 9887 0
vsize: 40752
[startup+190.006 s]
Raw data (loadavg): 0.98 0.89 0.88 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 14394 0 0 0 18947 54 0 0 25 0 1 0 966753857 41865216 8240 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10221 8240 301 301 0 9920 0
vsize: 40884
[startup+200.006 s]
Raw data (loadavg): 0.98 0.90 0.88 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 14408 0 0 0 19945 56 0 0 25 0 1 0 966753857 41865216 8254 4294967295 134512640 135730672 3221224576 3221223200 134748208 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10221 8254 301 301 0 9920 0
vsize: 40884
[startup+210.006 s]
Raw data (loadavg): 0.99 0.90 0.88 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 14575 0 0 0 20944 57 0 0 25 0 1 0 966753857 42000384 8281 4294967295 134512640 135730672 3221224576 3221222960 134763180 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10254 8281 301 301 0 9953 0
vsize: 41016
[startup+220.005 s]
Raw data (loadavg): 0.99 0.90 0.88 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 14717 0 0 0 21943 59 0 0 25 0 1 0 966753857 42573824 8423 4294967295 134512640 135730672 3221224576 3221222736 134769210 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10394 8423 301 301 0 10093 0
vsize: 41576
[startup+230.005 s]
Raw data (loadavg): 0.99 0.90 0.88 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 14748 0 0 0 22941 60 0 0 25 0 1 0 966753857 42135552 8314 4294967295 134512640 135730672 3221224576 3221223072 134747570 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10287 8314 301 301 0 9986 0
vsize: 41148
[startup+240.005 s]
Raw data (loadavg): 0.99 0.91 0.88 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 14770 0 0 0 23941 61 0 0 25 0 1 0 966753857 42270720 8336 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10320 8336 301 301 0 10019 0
vsize: 41280
[startup+250.005 s]
Raw data (loadavg): 0.99 0.91 0.89 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 14937 0 0 0 24939 63 0 0 25 0 1 0 966753857 42405888 8363 4294967295 134512640 135730672 3221224576 3221223072 134747602 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10353 8363 301 301 0 10052 0
vsize: 41412
[startup+260.006 s]
Raw data (loadavg): 0.99 0.91 0.89 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 14940 0 0 0 25938 64 0 0 25 0 1 0 966753857 42405888 8366 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10353 8366 301 301 0 10052 0
vsize: 41412
[startup+270.006 s]
Raw data (loadavg): 0.99 0.91 0.89 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 14942 0 0 0 26937 66 0 0 25 0 1 0 966753857 42405888 8368 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10353 8368 301 301 0 10052 0
vsize: 41412
[startup+280.007 s]
Raw data (loadavg): 0.99 0.92 0.89 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 14952 0 0 0 27936 67 0 0 25 0 1 0 966753857 42405888 8378 4294967295 134512640 135730672 3221224576 3221223168 134747445 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10353 8378 301 301 0 10052 0
vsize: 41412
[startup+290.007 s]
Raw data (loadavg): 0.99 0.92 0.89 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 14968 0 0 0 28934 68 0 0 25 0 1 0 966753857 42405888 8394 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10353 8394 301 301 0 10052 0
vsize: 41412
[startup+300.014 s]
Raw data (loadavg): 0.99 0.92 0.89 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 15018 0 0 0 29934 70 0 0 25 0 1 0 966753857 42979328 8444 4294967295 134512640 135730672 3221224576 3221222912 134767241 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10493 8454 301 301 0 10192 0
vsize: 41972
[startup+310.015 s]
Raw data (loadavg): 0.99 0.92 0.89 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 15132 0 0 0 30931 72 0 0 25 0 1 0 966753857 42405888 8418 4294967295 134512640 135730672 3221224576 3221223072 134747618 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10353 8418 301 301 0 10052 0
vsize: 41412
[startup+320.014 s]
Raw data (loadavg): 0.99 0.92 0.89 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 15289 0 0 0 31930 73 0 0 25 0 1 0 966753857 42405888 8435 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10353 8435 301 301 0 10052 0
vsize: 41412
[startup+330.015 s]
Raw data (loadavg): 0.99 0.93 0.89 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 15322 0 0 0 32929 74 0 0 25 0 1 0 966753857 46735360 8468 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11410 8468 301 301 0 11109 0
vsize: 45640
[startup+340.015 s]
Raw data (loadavg): 0.99 0.93 0.89 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 15333 0 0 0 33928 75 0 0 25 0 1 0 966753857 46735360 8479 4294967295 134512640 135730672 3221224576 3221222896 134732524 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11410 8479 301 301 0 11109 0
vsize: 45640
[startup+350.016 s]
Raw data (loadavg): 0.99 0.93 0.89 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 15336 0 0 0 34927 76 0 0 25 0 1 0 966753857 46735360 8482 4294967295 134512640 135730672 3221224576 3221223072 134747570 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11410 8482 301 301 0 11109 0
vsize: 45640
[startup+360.016 s]
Raw data (loadavg): 0.99 0.93 0.90 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 15338 0 0 0 35926 78 0 0 25 0 1 0 966753857 46735360 8484 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11410 8484 301 301 0 11109 0
vsize: 45640
[startup+370.017 s]
Raw data (loadavg): 0.99 0.93 0.90 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 15341 0 0 0 36925 79 0 0 25 0 1 0 966753857 46735360 8487 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11410 8487 301 301 0 11109 0
vsize: 45640
[startup+380.017 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 15352 0 0 0 37923 82 0 0 25 0 1 0 966753857 46735360 8498 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11410 8498 301 301 0 11109 0
vsize: 45640
[startup+390.017 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 15504 0 0 0 38921 84 0 0 25 0 1 0 966753857 46735360 8510 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11410 8510 301 301 0 11109 0
vsize: 45640
[startup+400.018 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 15516 0 0 0 39920 85 0 0 25 0 1 0 966753857 46735360 8522 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11410 8522 301 301 0 11109 0
vsize: 45640
[startup+410.017 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 15670 0 0 0 40918 87 0 0 25 0 1 0 966753857 46735360 8536 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11410 8536 301 301 0 11109 0
vsize: 45640
[startup+420.017 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 15692 0 0 0 41917 88 0 0 25 0 1 0 966753857 46735360 8558 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11410 8558 301 301 0 11109 0
vsize: 45640
[startup+430.018 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 15857 0 0 0 42915 90 0 0 25 0 1 0 966753857 46735360 8583 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11410 8583 301 301 0 11109 0
vsize: 45640
[startup+440.017 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 16045 0 0 0 43913 92 0 0 25 0 1 0 966753857 46735360 8631 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11410 8631 301 301 0 11109 0
vsize: 45640
[startup+450.017 s]
Raw data (loadavg): 0.99 0.95 0.90 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 16371 0 0 0 44912 94 0 0 25 0 1 0 966753857 46735360 8817 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11410 8817 301 301 0 11109 0
vsize: 45640
[startup+460.017 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 16530 0 0 0 45910 96 0 0 25 0 1 0 966753857 46735360 8836 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11410 8836 301 301 0 11109 0
vsize: 45640
[startup+470.017 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 16680 0 0 0 46909 97 0 0 25 0 1 0 966753857 46735360 8846 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11410 8846 301 301 0 11109 0
vsize: 45640
[startup+480.017 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 16872 0 0 0 47908 99 0 0 25 0 1 0 966753857 46735360 8898 4294967295 134512640 135730672 3221224576 3221223168 134747445 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11410 8898 301 301 0 11109 0
vsize: 45640
[startup+490.017 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 16972 0 0 0 48906 101 0 0 25 0 1 0 966753857 46735360 8998 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11410 8998 301 301 0 11109 0
vsize: 45640
[startup+500.018 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 17221 0 0 0 49903 103 0 0 25 0 1 0 966753857 46870528 9107 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11443 9107 301 301 0 11142 0
vsize: 45772
[startup+510.018 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 17450 0 0 0 50901 105 0 0 25 0 1 0 966753857 46870528 9196 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11443 9196 301 301 0 11142 0
vsize: 45772
[startup+520.018 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 17740 0 0 0 51900 107 0 0 25 0 1 0 966753857 47443968 9346 4294967295 134512640 135730672 3221224576 3221222736 134768818 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11583 9346 301 301 0 11282 0
vsize: 46332
[startup+530.018 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 17885 0 0 0 52899 108 0 0 25 0 1 0 966753857 46870528 9211 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11443 9211 301 301 0 11142 0
vsize: 45772
[startup+540.019 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 18141 0 0 0 53897 111 0 0 25 0 1 0 966753857 46870528 9327 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11443 9327 301 301 0 11142 0
vsize: 45772
[startup+550.02 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 18312 0 0 0 54896 112 0 0 25 0 1 0 966753857 47005696 9358 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11476 9358 301 301 0 11175 0
vsize: 45904
[startup+560.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 18609 0 0 0 55893 114 0 0 25 0 1 0 966753857 47153152 9375 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11512 9375 301 301 0 11211 0
vsize: 46048
[startup+570.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 18755 0 0 0 56892 116 0 0 25 0 1 0 966753857 47153152 9381 4294967295 134512640 135730672 3221224576 3221223072 134747908 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11512 9381 301 301 0 11211 0
vsize: 46048
[startup+580.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 19040 0 0 0 57890 118 0 0 25 0 1 0 966753857 47558656 9526 4294967295 134512640 135730672 3221224576 3221222908 134739224 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11611 9526 301 301 0 11310 0
vsize: 46444
[startup+590.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 19237 0 0 0 58888 120 0 0 25 0 1 0 966753857 47558656 9583 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11611 9583 301 301 0 11310 0
vsize: 46444
[startup+600.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 19414 0 0 0 59887 121 0 0 25 0 1 0 966753857 47697920 9620 4294967295 134512640 135730672 3221224576 3221223072 134747599 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11645 9620 301 301 0 11344 0
vsize: 46580
[startup+610.02 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 19590 0 0 0 60886 123 0 0 25 0 1 0 966753857 47833088 9656 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11678 9656 301 301 0 11377 0
vsize: 46712
[startup+620.02 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 19754 0 0 0 61884 124 0 0 25 0 1 0 966753857 47968256 9680 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11711 9680 301 301 0 11410 0
vsize: 46844
[startup+630.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 19908 0 0 0 62883 126 0 0 25 0 1 0 966753857 47968256 9694 4294967295 134512640 135730672 3221224576 3221223088 134746539 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11711 9694 301 301 0 11410 0
vsize: 46844
[startup+640.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 20217 0 0 0 63881 128 0 0 25 0 1 0 966753857 48103424 9723 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11744 9723 301 301 0 11443 0
vsize: 46976
[startup+650.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 21898 0 0 0 64877 132 0 0 25 0 1 0 966753857 54394880 9727 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13280 9727 301 301 0 12979 0
vsize: 53120
[startup+660.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 22052 0 0 0 65875 134 0 0 25 0 1 0 966753857 54517760 9741 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13310 9741 301 301 0 13009 0
vsize: 53240
[startup+670.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 22212 0 0 0 66874 135 0 0 25 0 1 0 966753857 54517760 9761 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13310 9761 301 301 0 13009 0
vsize: 53240
[startup+680.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 22368 0 0 0 67873 137 0 0 25 0 1 0 966753857 54517760 9777 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13310 9777 301 301 0 13009 0
vsize: 53240
[startup+690.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 22521 0 0 0 68871 139 0 0 25 0 1 0 966753857 54697984 9790 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13354 9790 301 301 0 13053 0
vsize: 53416
[startup+700.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 22675 0 0 0 69870 141 0 0 25 0 1 0 966753857 54697984 9804 4294967295 134512640 135730672 3221224576 3221223184 134744757 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13354 9804 301 301 0 13053 0
vsize: 53416
[startup+710.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 22841 0 0 0 70868 142 0 0 25 0 1 0 966753857 54833152 9830 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13387 9830 301 301 0 13086 0
vsize: 53548
[startup+720.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 23131 0 0 0 71867 144 0 0 25 0 1 0 966753857 54833152 9840 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13387 9840 301 301 0 13086 0
vsize: 53548
[startup+730.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 23145 0 0 0 72866 145 0 0 25 0 1 0 966753857 54951936 9854 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13416 9854 301 301 0 13115 0
vsize: 53664
[startup+740.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 23331 0 0 0 73865 146 0 0 25 0 1 0 966753857 55222272 9900 4294967295 134512640 135730672 3221224576 3221222896 134732479 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13482 9900 301 301 0 13181 0
vsize: 53928
[startup+750.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 23475 0 0 0 74865 147 0 0 25 0 1 0 966753857 55222272 9904 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13482 9904 301 301 0 13181 0
vsize: 53928
[startup+760.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 23618 0 0 0 75863 149 0 0 25 0 1 0 966753857 55222272 9907 4294967295 134512640 135730672 3221224576 3221223072 134747701 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13482 9907 301 301 0 13181 0
vsize: 53928
[startup+770.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 23763 0 0 0 76862 150 0 0 25 0 1 0 966753857 55222272 9912 4294967295 134512640 135730672 3221224576 3221222896 134732479 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13482 9912 301 301 0 13181 0
vsize: 53928
[startup+780.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 23911 0 0 0 77860 152 0 0 25 0 1 0 966753857 55222272 9920 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13482 9920 301 301 0 13181 0
vsize: 53928
[startup+790.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 24069 0 0 0 78858 154 0 0 25 0 1 0 966753857 55361536 9938 4294967295 134512640 135730672 3221224576 3221223072 134747624 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13516 9938 301 301 0 13215 0
vsize: 54064
[startup+800.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 24078 0 0 0 79858 154 0 0 25 0 1 0 966753857 55361536 9947 4294967295 134512640 135730672 3221224576 3221223072 134747823 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13516 9947 301 301 0 13215 0
vsize: 54064
[startup+810.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 24091 0 0 0 80856 156 0 0 25 0 1 0 966753857 55361536 9960 4294967295 134512640 135730672 3221224576 3221223072 134747856 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13516 9960 301 301 0 13215 0
vsize: 54064
[startup+820.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 24103 0 0 0 81855 157 0 0 25 0 1 0 966753857 55361536 9972 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13516 9972 301 301 0 13215 0
vsize: 54064
[startup+830.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 24260 0 0 0 82855 158 0 0 25 0 1 0 966753857 55517184 9989 4294967295 134512640 135730672 3221224576 3221223072 134747705 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13554 9989 301 301 0 13253 0
vsize: 54216
[startup+840.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 24412 0 0 0 83854 159 0 0 25 0 1 0 966753857 55517184 10001 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13554 10001 301 301 0 13253 0
vsize: 54216
[startup+850.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 24419 0 0 0 84853 160 0 0 25 0 1 0 966753857 55517184 10008 4294967295 134512640 135730672 3221224576 3221223072 134747832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13554 10008 301 301 0 13253 0
vsize: 54216
[startup+860.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 24444 0 0 0 85851 162 0 0 25 0 1 0 966753857 55652352 10033 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13587 10033 301 301 0 13286 0
vsize: 54348
[startup+870.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 24447 0 0 0 86850 164 0 0 25 0 1 0 966753857 55652352 10036 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13587 10036 301 301 0 13286 0
vsize: 54348
[startup+880.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 24455 0 0 0 87849 164 0 0 25 0 1 0 966753857 55652352 10044 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13587 10044 301 301 0 13286 0
vsize: 54348
[startup+890.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 24600 0 0 0 88848 166 0 0 25 0 1 0 966753857 55652352 10049 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13587 10049 301 301 0 13286 0
vsize: 54348
[startup+900.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 24606 0 0 0 89846 168 0 0 25 0 1 0 966753857 55652352 10055 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13587 10055 301 301 0 13286 0
vsize: 54348
[startup+910.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 24611 0 0 0 90845 169 0 0 25 0 1 0 966753857 55652352 10060 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13587 10060 301 301 0 13286 0
vsize: 54348
[startup+920.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 24754 0 0 0 91843 171 0 0 25 0 1 0 966753857 55762944 10063 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13614 10063 301 301 0 13313 0
vsize: 54456
[startup+930.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 24759 0 0 0 92842 172 0 0 25 0 1 0 966753857 55762944 10068 4294967295 134512640 135730672 3221224576 3221223072 134747762 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13614 10068 301 301 0 13313 0
vsize: 54456
[startup+940.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 24909 0 0 0 93841 174 0 0 25 0 1 0 966753857 55762944 10078 4294967295 134512640 135730672 3221224576 3221223072 134747610 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13614 10078 301 301 0 13313 0
vsize: 54456
[startup+950.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 24915 0 0 0 94839 175 0 0 25 0 1 0 966753857 55762944 10084 4294967295 134512640 135730672 3221224576 3221223000 134730069 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13614 10084 301 301 0 13313 0
vsize: 54456
[startup+960.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 25060 0 0 0 95839 176 0 0 25 0 1 0 966753857 55762944 10089 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13614 10089 301 301 0 13313 0
vsize: 54456
[startup+970.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 25063 0 0 0 96838 177 0 0 25 0 1 0 966753857 55762944 10092 4294967295 134512640 135730672 3221224576 3221223072 134747808 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13614 10092 301 301 0 13313 0
vsize: 54456
[startup+980.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 25226 0 0 0 97837 178 0 0 25 0 1 0 966753857 55898112 10115 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13647 10115 301 301 0 13346 0
vsize: 54588
[startup+990.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 25235 0 0 0 98836 179 0 0 25 0 1 0 966753857 56057856 10124 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13686 10124 301 301 0 13385 0
vsize: 54744
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 25389 0 0 0 99835 181 0 0 25 0 1 0 966753857 56057856 10138 4294967295 134512640 135730672 3221224576 3221223072 134747463 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13686 10138 301 301 0 13385 0
vsize: 54744
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 25391 0 0 0 100834 182 0 0 25 0 1 0 966753857 56057856 10140 4294967295 134512640 135730672 3221224576 3221223264 134748570 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13686 10140 301 301 0 13385 0
vsize: 54744
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 25533 0 0 0 101833 183 0 0 25 0 1 0 966753857 56057856 10142 4294967295 134512640 135730672 3221224576 3221223232 134748656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13686 10142 301 301 0 13385 0
vsize: 54744
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 25534 0 0 0 102832 184 0 0 25 0 1 0 966753857 56057856 10143 4294967295 134512640 135730672 3221224576 3221223072 134747883 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13686 10143 301 301 0 13385 0
vsize: 54744
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 25694 0 0 0 103831 186 0 0 25 0 1 0 966753857 56193024 10163 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13719 10163 301 301 0 13418 0
vsize: 54876
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 25696 0 0 0 104829 187 0 0 25 0 1 0 966753857 56193024 10165 4294967295 134512640 135730672 3221224576 3221223200 134748255 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13719 10165 301 301 0 13418 0
vsize: 54876
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 25698 0 0 0 105829 188 0 0 25 0 1 0 966753857 56193024 10167 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13719 10167 301 301 0 13418 0
vsize: 54876
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 25700 0 0 0 106828 189 0 0 25 0 1 0 966753857 56193024 10169 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13719 10169 301 301 0 13418 0
vsize: 54876
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 25843 0 0 0 107826 191 0 0 25 0 1 0 966753857 56193024 10172 4294967295 134512640 135730672 3221224576 3221223072 134747811 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13719 10172 301 301 0 13418 0
vsize: 54876
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 25846 0 0 0 108825 192 0 0 25 0 1 0 966753857 56193024 10175 4294967295 134512640 135730672 3221224576 3221223072 134747811 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13719 10175 301 301 0 13418 0
vsize: 54876
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 25989 0 0 0 109825 193 0 0 25 0 1 0 966753857 56193024 10178 4294967295 134512640 135730672 3221224576 3221222824 135284587 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13719 10178 301 301 0 13418 0
vsize: 54876
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 25996 0 0 0 110823 194 0 0 25 0 1 0 966753857 56193024 10185 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13719 10185 301 301 0 13418 0
vsize: 54876
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 26142 0 0 0 111823 195 0 0 25 0 1 0 966753857 56193024 10191 4294967295 134512640 135730672 3221224576 3221223072 134747587 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13719 10191 301 301 0 13418 0
vsize: 54876
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 26152 0 0 0 112821 197 0 0 25 0 1 0 966753857 56315904 10201 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13749 10201 301 301 0 13448 0
vsize: 54996
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 26296 0 0 0 113820 199 0 0 25 0 1 0 966753857 56315904 10205 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13749 10205 301 301 0 13448 0
vsize: 54996
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 26303 0 0 0 114819 199 0 0 25 0 1 0 966753857 56315904 10212 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13749 10212 301 301 0 13448 0
vsize: 54996
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 26314 0 0 0 115818 200 0 0 25 0 1 0 966753857 56315904 10223 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13749 10223 301 301 0 13448 0
vsize: 54996
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 26469 0 0 0 116817 202 0 0 25 0 1 0 966753857 56315904 10238 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13749 10238 301 301 0 13448 0
vsize: 54996
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 26505 0 0 0 117815 204 0 0 25 0 1 0 966753857 56315904 10274 4294967295 134512640 135730672 3221224576 3221223072 134747610 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13749 10274 301 301 0 13448 0
vsize: 54996
[startup+1190.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 26667 0 0 0 118814 205 0 0 25 0 1 0 966753857 56315904 10296 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13749 10296 301 301 0 13448 0
vsize: 54996
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6774
Raw data (stat): 6774 (pb2sat-v2) R 6773 7266 7265 0 -1 0 26687 0 0 0 119813 206 0 0 25 0 1 0 966753857 56315904 10316 4294967295 134512640 135730672 3221224576 3221223072 134747939 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13749 10316 301 301 0 13448 0
vsize: 54996
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.31 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 6774
Raw data (stat): 6774 (pb2sat-v2) Z 6773 7266 7265 0 -1 12 26689 0 0 0 119838 208 0 0 25 0 1 0 966753857 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 0 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): 1200.31
CPU time (s): 1200.48
CPU user time (s): 1198.39
CPU system time (s): 2.08968
CPU usage (%): 100.014
Max. virtual memory (Kb): 54996
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####