PB'05 competition: run trace

Some explanations

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

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

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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:        717472 kB
Buffers:         21752 kB
Cached:         273600 kB
SwapCached:        788 kB
Active:          33532 kB
Inactive:       263972 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        717220 kB
SwapTotal:     2097136 kB
SwapFree:      2095372 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5104 kB
Slab:            14076 kB
Committed_AS:    71900 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 16:10:52 (client local time) WITH STATUS 0 IN 1201.48 SECONDS
stats: 26036 7 1201.48 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 94546/452529	Time: 123.66/86400
c Decision: 94546/452529	Time: 136.157/86400
c Decision: 94546/452529	Time: 149.464/86400
c Decision: 94546/452529	Time: 163.533/86400
c Decision: 94546/452529	Time: 176.402/86400
c Decision: 94546/452529	Time: 189.905/86400
c Decision: 94546/452529	Time: 201.55/86400
c Decision: 94546/452529	Time: 216.25/86400
c Decision: 94546/452529	Time: 229.788/86400
c Decision: 94546/452529	Time: 242.271/86400
c Decision: 94546/452529	Time: 257.262/86400
c Decision: 94546/452529	Time: 269.31/86400
c Decision: 94546/452529	Time: 283.62/86400
c Decision: 94546/452529	Time: 299.592/86400
c Decision: 94546/452529	Time: 313.483/86400
c Decision: 94546/452529	Time: 328.827/86400
c Decision: 94546/452529	Time: 341.82/86400
c Decision: 94546/452529	Time: 352.991/86400
c Decision: 94546/452529	Time: 367.391/86400
c Decision: 94546/452529	Time: 381.375/86400
c Decision: 94546/452529	Time: 394.257/86400
c Decision: 94546/452529	Time: 403.332/86400
c Decision: 94546/452529	Time: 415.084/86400
c Decision: 94546/452529	Time: 429.484/86400
c Decision: 94546/452529	Time: 443.445/86400
c Decision: 94546/452529	Time: 456.642/86400
c Decision: 94546/452529	Time: 468.57/86400
c Decision: 94546/452529	Time: 481.416/86400
c Decision: 94551/452529	Time: 492.266/86400
c Decision: 94551/452529	Time: 502.707/86400
c Decision: 94551/452529	Time: 514.662/86400
c Decision: 94551/452529	Time: 525.583/86400
c Decision: 94551/452529	Time: 536.999/86400
c Decision: 94551/452529	Time: 549.948/86400
c Decision: 94551/452529	Time: 562.113/86400
c Decision: 94551/452529	Time: 576.164/86400
c Decision: 94551/452529	Time: 588.537/86400
c Decision: 94551/452529	Time: 602.558/86400
c Decision: 94551/452529	Time: 615.996/86400
c Decision: 94551/452529	Time: 628.592/86400
c Decision: 94551/452529	Time: 642.3/86400
c Decision: 94551/452529	Time: 655.001/86400
c Decision: 94551/452529	Time: 668.644/86400
c Decision: 94551/452529	Time: 680.983/86400
c Decision: 94551/452529	Time: 692.614/86400
c Decision: 94551/452529	Time: 706.178/86400
c Decision: 94551/452529	Time: 719.393/86400
c Decision: 94551/452529	Time: 730.718/86400
c Decision: 94551/452529	Time: 741.936/86400
c Decision: 94551/452529	Time: 752.886/86400
c Decision: 94551/452529	Time: 766.474/86400
c Decision: 94551/452529	Time: 779.237/86400
c Decision: 94551/452529	Time: 791.535/86400
c Decision: 94551/452529	Time: 805.846/86400
c Decision: 94551/452529	Time: 818.48/86400
c Decision: 94551/452529	Time: 830.028/86400
c Decision: 94551/452529	Time: 844.856/86400
c Decision: 94551/452529	Time: 855.496/86400
c Decision: 94551/452529	Time: 865.361/86400
c Decision: 94551/452529	Time: 878.227/86400
c Decision: 94551/452529	Time: 893.107/86400
c Decision: 94551/452529	Time: 906.175/86400
c Decision: 94551/452529	Time: 920.865/86400
c Decision: 94551/452529	Time: 933.788/86400
c Decision: 94551/452529	Time: 947.426/86400
c Decision: 94551/452529	Time: 960.982/86400
c Decision: 94551/452529	Time: 973.933/86400
c Decision: 94551/452529	Time: 985.264/86400
c Decision: 94551/452529	Time: 994.542/86400
c Decision: 94551/452529	Time: 1008.03/86400
c Decision: 94551/452529	Time: 1021.41/86400
c Decision: 94551/452529	Time: 1035.6/86400
c Decision: 94551/452529	Time: 1051.78/86400
c Decision: 94551/452529	Time: 1066.61/86400
c Decision: 94551/452529	Time: 1078.16/86400
c Decision: 94551/452529	Time: 1092.82/86400
c Decision: 94551/452529	Time: 1106.04/86400
c Decision: 94551/452529	Time: 1119.53/86400
c Decision: 94551/452529	Time: 1134.23/86400
c Decision: 94551/452529	Time: 1148.84/86400
c Decision: 94551/452529	Time: 1162.28/86400
c Decision: 94551/452529	Time: 1173.64/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.71 0.91 0.89 2/54 26405
Raw data (stat): 26405 (runsolver) R 26404 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 971969860 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0001 s]
Raw data (loadavg): 0.76 0.91 0.89 2/54 26405
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 26783 0 0 0 939 60 0 0 25 0 1 0 971969860 77180928 15826 4294967295 134512640 135730672 3221224576 3221204588 134608072 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18843 15826 301 301 0 18542 0
vsize: 75372
[startup+20.0009 s]
Raw data (loadavg): 0.79 0.91 0.89 2/54 26405
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 53994 0 0 0 1881 117 0 0 25 0 1 0 971969860 158519296 32071 4294967295 134512640 135730672 3221224576 3221222888 134765477 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38701 32071 301 301 0 38400 0
vsize: 154804
[startup+30.001 s]
Raw data (loadavg): 0.82 0.91 0.89 2/54 26405
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 56085 0 0 0 2875 123 0 0 25 0 1 0 971969860 163536896 33180 4294967295 134512640 135730672 3221224576 3221223072 134747608 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39926 33180 301 301 0 39625 0
vsize: 159704
[startup+40.0015 s]
Raw data (loadavg): 0.85 0.92 0.89 2/54 26405
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 56961 0 0 0 3873 125 0 0 25 0 1 0 971969860 168095744 34056 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41039 34056 301 301 0 40738 0
vsize: 164156
[startup+50.0023 s]
Raw data (loadavg): 0.87 0.92 0.89 2/54 26405
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 57490 0 0 0 4871 127 0 0 25 0 1 0 971969860 170885120 34585 4294967295 134512640 135730672 3221224576 3221223072 134747486 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41720 34585 301 301 0 41419 0
vsize: 166880
[startup+60.0025 s]
Raw data (loadavg): 0.89 0.92 0.89 2/54 26405
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 57671 0 0 0 5870 128 0 0 25 0 1 0 971969860 171806720 34766 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41945 34766 301 301 0 41644 0
vsize: 167780
[startup+70.003 s]
Raw data (loadavg): 0.91 0.92 0.90 2/54 26405
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 57792 0 0 0 6869 129 0 0 25 0 1 0 971969860 172347392 34887 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42077 34887 301 301 0 41776 0
vsize: 168308
[startup+80.0029 s]
Raw data (loadavg): 0.92 0.92 0.90 2/54 26405
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 58126 0 0 0 7868 131 0 0 25 0 1 0 971969860 174264320 35221 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42545 35221 301 301 0 42244 0
vsize: 170180
[startup+90.003 s]
Raw data (loadavg): 0.93 0.93 0.90 2/54 26405
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 58234 0 0 0 8867 132 0 0 25 0 1 0 971969860 174731264 35329 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42659 35329 301 301 0 42358 0
vsize: 170636
[startup+100.003 s]
Raw data (loadavg): 0.94 0.93 0.90 2/54 26405
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 58308 0 0 0 9867 133 0 0 25 0 1 0 971969860 175198208 35403 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42773 35403 301 301 0 42472 0
vsize: 171092
[startup+110.002 s]
Raw data (loadavg): 0.95 0.93 0.90 2/54 26405
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 58370 0 0 0 10865 134 0 0 25 0 1 0 971969860 175468544 35465 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42839 35465 301 301 0 42538 0
vsize: 171356
[startup+120.004 s]
Raw data (loadavg): 0.96 0.93 0.90 2/54 26405
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 58387 0 0 0 11865 134 0 0 25 0 1 0 971969860 175468544 35482 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42839 35482 301 301 0 42538 0
vsize: 171356
[startup+130.003 s]
Raw data (loadavg): 0.96 0.93 0.90 2/54 26405
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 58443 0 0 0 12865 135 0 0 25 0 1 0 971969860 175738880 35538 4294967295 134512640 135730672 3221224576 3221223072 134747477 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42905 35538 301 301 0 42604 0
vsize: 171620
[startup+140.003 s]
Raw data (loadavg): 0.97 0.94 0.90 2/54 26405
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 58461 0 0 0 13864 136 0 0 25 0 1 0 971969860 175738880 35556 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42905 35556 301 301 0 42604 0
vsize: 171620
[startup+150.004 s]
Raw data (loadavg): 0.97 0.94 0.90 2/54 26405
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 59435 0 0 0 14861 138 0 0 25 0 1 0 971969860 176132096 35646 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43001 35646 301 301 0 42700 0
vsize: 172004
[startup+160.004 s]
Raw data (loadavg): 0.98 0.94 0.90 2/54 26405
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 60346 0 0 0 15858 141 0 0 25 0 1 0 971969860 176328704 35673 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43049 35673 301 301 0 42748 0
vsize: 172196
[startup+170.004 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 26405
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 61261 0 0 0 16855 144 0 0 25 0 1 0 971969860 176463872 35704 4294967295 134512640 135730672 3221224576 3221223232 134734776 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43082 35704 301 301 0 42781 0
vsize: 172328
[startup+180.004 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 26405
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 61359 0 0 0 17855 145 0 0 25 0 1 0 971969860 177020928 35802 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43218 35802 301 301 0 42917 0
vsize: 172872
[startup+190.004 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 26405
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 62251 0 0 0 18852 148 0 0 25 0 1 0 971969860 177020928 35810 4294967295 134512640 135730672 3221224576 3221223136 134740161 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43218 35810 301 301 0 42917 0
vsize: 172872
[startup+200.004 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 26405
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 63164 0 0 0 19849 151 0 0 25 0 1 0 971969860 177217536 35839 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43266 35839 301 301 0 42965 0
vsize: 173064
[startup+210.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 26405
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 64054 0 0 0 20845 154 0 0 25 0 1 0 971969860 177217536 35845 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43266 35845 301 301 0 42965 0
vsize: 173064
[startup+220.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 26405
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 64059 0 0 0 21844 155 0 0 25 0 1 0 971969860 177217536 35850 4294967295 134512640 135730672 3221224576 3221223088 134746077 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43266 35850 301 301 0 42965 0
vsize: 173064
[startup+230.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 26405
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 64976 0 0 0 22841 159 0 0 25 0 1 0 971969860 177352704 35883 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43299 35883 301 301 0 42998 0
vsize: 173196
[startup+240.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 26405
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 65895 0 0 0 23838 161 0 0 25 0 1 0 971969860 177549312 35918 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43347 35918 301 301 0 43046 0
vsize: 173388
[startup+250.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 26405
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 66792 0 0 0 24835 164 0 0 25 0 1 0 971969860 177549312 35931 4294967295 134512640 135730672 3221224576 3221223264 134748557 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43347 35931 301 301 0 43046 0
vsize: 173388
[startup+260.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 26405
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 66804 0 0 0 25835 165 0 0 25 0 1 0 971969860 177549312 35943 4294967295 134512640 135730672 3221224576 3221223072 134747967 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43347 35943 301 301 0 43046 0
vsize: 173388
[startup+270.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 26405
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 67703 0 0 0 26832 168 0 0 25 0 1 0 971969860 177549312 35958 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43347 35958 301 301 0 43046 0
vsize: 173388
[startup+280.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 26405
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 68592 0 0 0 27830 170 0 0 25 0 1 0 971969860 177549312 35963 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43347 35963 301 301 0 43046 0
vsize: 173388
[startup+290.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 26405
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 69483 0 0 0 28827 173 0 0 25 0 1 0 971969860 177549312 35970 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43347 35970 301 301 0 43046 0
vsize: 173388
[startup+300.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 26405
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 69508 0 0 0 29827 174 0 0 25 0 1 0 971969860 177549312 35995 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43347 35995 301 301 0 43046 0
vsize: 173388
[startup+310.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 26405
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 70417 0 0 0 30824 177 0 0 25 0 1 0 971969860 177745920 36020 4294967295 134512640 135730672 3221224576 3221223200 134748114 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43395 36020 301 301 0 43094 0
vsize: 173580
[startup+320.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 26405
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 71308 0 0 0 31822 179 0 0 25 0 1 0 971969860 177745920 36027 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43395 36027 301 301 0 43094 0
vsize: 173580
[startup+330.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 26405
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 71317 0 0 0 32821 181 0 0 25 0 1 0 971969860 177745920 36036 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43395 36036 301 301 0 43094 0
vsize: 173580
[startup+340.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 26405
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 72207 0 0 0 33818 183 0 0 25 0 1 0 971969860 177745920 36042 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43395 36042 301 301 0 43094 0
vsize: 173580
[startup+350.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 26405
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 73165 0 0 0 34816 186 0 0 25 0 1 0 971969860 178016256 36116 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43461 36116 301 301 0 43160 0
vsize: 173844
[startup+360.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 26405
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 73175 0 0 0 35815 187 0 0 25 0 1 0 971969860 178016256 36126 4294967295 134512640 135730672 3221224576 3221223088 134745860 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43461 36126 301 301 0 43160 0
vsize: 173844
[startup+370.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 26405
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 74072 0 0 0 36813 189 0 0 25 0 1 0 971969860 178016256 36139 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43461 36139 301 301 0 43160 0
vsize: 173844
[startup+380.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 26405
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 75090 0 0 0 37810 192 0 0 25 0 1 0 971969860 178692096 36273 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43626 36273 301 301 0 43325 0
vsize: 174504
[startup+390.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 26405
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 76064 0 0 0 38806 196 0 0 25 0 1 0 971969860 179232768 36363 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43758 36363 301 301 0 43457 0
vsize: 175032
[startup+400.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 26405
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 77052 0 0 0 39804 199 0 0 25 0 1 0 971969860 183259136 37351 4294967295 134512640 135730672 3221224576 3221222728 134765483 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44741 37351 301 301 0 44440 0
vsize: 178964
[startup+410.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26405
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 77063 0 0 0 40803 200 0 0 25 0 1 0 971969860 179638272 36478 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43857 36478 301 301 0 43556 0
vsize: 175428
[startup+420.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26405
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 77952 0 0 0 41801 202 0 0 25 0 1 0 971969860 179638272 36483 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43857 36483 301 301 0 43556 0
vsize: 175428
[startup+430.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26405
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 78870 0 0 0 42798 205 0 0 25 0 1 0 971969860 179773440 36517 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43890 36517 301 301 0 43589 0
vsize: 175560
[startup+440.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26405
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 79762 0 0 0 43795 208 0 0 25 0 1 0 971969860 179773440 36525 4294967295 134512640 135730672 3221224576 3221223072 134747610 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43890 36525 301 301 0 43589 0
vsize: 175560
[startup+450.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26405
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 80673 0 0 0 44792 211 0 0 25 0 1 0 971969860 179908608 36552 4294967295 134512640 135730672 3221224576 3221223072 134747714 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43923 36552 301 301 0 43622 0
vsize: 175692
[startup+460.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26405
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 80681 0 0 0 45792 212 0 0 25 0 1 0 971969860 179908608 36560 4294967295 134512640 135730672 3221224576 3221223232 134734756 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43923 36560 301 301 0 43622 0
vsize: 175692
[startup+470.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26405
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 81574 0 0 0 46789 215 0 0 25 0 1 0 971969860 179908608 36569 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43923 36569 301 301 0 43622 0
vsize: 175692
[startup+480.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26405
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 82463 0 0 0 47787 217 0 0 25 0 1 0 971969860 179908608 36574 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43923 36574 301 301 0 43622 0
vsize: 175692
[startup+490.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26405
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 83403 0 0 0 48784 220 0 0 25 0 1 0 971969860 180178944 36630 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43989 36630 301 301 0 43688 0
vsize: 175956
[startup+500.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26405
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 84409 0 0 0 49781 223 0 0 25 0 1 0 971969860 184340480 37636 4294967295 134512640 135730672 3221224576 3221222752 134768862 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45005 37636 301 301 0 44704 0
vsize: 180020
[startup+510.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26405
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 84439 0 0 0 50780 224 0 0 25 0 1 0 971969860 180854784 36782 4294967295 134512640 135730672 3221224576 3221223232 134734835 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44154 36782 301 301 0 43853 0
vsize: 176616
[startup+520.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26405
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 85377 0 0 0 51777 227 0 0 25 0 1 0 971969860 181125120 36836 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44220 36836 301 301 0 43919 0
vsize: 176880
[startup+530.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26405
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 86270 0 0 0 52775 230 0 0 25 0 1 0 971969860 181125120 36845 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44220 36845 301 301 0 43919 0
vsize: 176880
[startup+540.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26405
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 87158 0 0 0 53772 233 0 0 25 0 1 0 971969860 181125120 36849 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44220 36849 301 301 0 43919 0
vsize: 176880
[startup+550.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26405
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 88050 0 0 0 54769 236 0 0 25 0 1 0 971969860 181125120 36857 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44220 36857 301 301 0 43919 0
vsize: 176880
[startup+560.016 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 26458
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 88942 0 0 0 55764 241 0 0 25 0 1 0 971969860 181125120 36865 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44220 36865 301 301 0 43919 0
vsize: 176880
[startup+570.017 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 26458
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 89854 0 0 0 56763 243 0 0 25 0 1 0 971969860 181125120 36893 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44220 36893 301 301 0 43919 0
vsize: 176880
[startup+580.017 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 26458
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 89864 0 0 0 57762 243 0 0 25 0 1 0 971969860 181125120 36903 4294967295 134512640 135730672 3221224576 3221223088 134745782 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44220 36903 301 301 0 43919 0
vsize: 176880
[startup+590.018 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 26458
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 90758 0 0 0 58760 246 0 0 25 0 1 0 971969860 181125120 36913 4294967295 134512640 135730672 3221224576 3221223072 134747597 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44220 36913 301 301 0 43919 0
vsize: 176880
[startup+600.018 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 26458
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 91645 0 0 0 59757 249 0 0 25 0 1 0 971969860 181125120 36916 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44220 36916 301 301 0 43919 0
vsize: 176880
[startup+610.019 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 26458
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 92535 0 0 0 60755 251 0 0 25 0 1 0 971969860 181125120 36922 4294967295 134512640 135730672 3221224576 3221223072 134747610 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44220 36922 301 301 0 43919 0
vsize: 176880
[startup+620.019 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 26458
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 92544 0 0 0 61754 252 0 0 25 0 1 0 971969860 181125120 36931 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44220 36931 301 301 0 43919 0
vsize: 176880
[startup+630.019 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 26458
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 93441 0 0 0 62751 255 0 0 25 0 1 0 971969860 181125120 36944 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44220 36944 301 301 0 43919 0
vsize: 176880
[startup+640.02 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 26460
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 94333 0 0 0 63749 258 0 0 25 0 1 0 971969860 181125120 36952 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44220 36952 301 301 0 43919 0
vsize: 176880
[startup+650.02 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 26460
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 95228 0 0 0 64746 261 0 0 25 0 1 0 971969860 181125120 36963 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44220 36963 301 301 0 43919 0
vsize: 176880
[startup+660.02 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 26460
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 96123 0 0 0 65744 263 0 0 25 0 1 0 971969860 184745984 37858 4294967295 134512640 135730672 3221224576 3221222712 134765483 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45104 37858 301 301 0 44803 0
vsize: 180416
[startup+670.021 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 26460
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 96134 0 0 0 66743 264 0 0 25 0 1 0 971969860 181125120 36985 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44220 36985 301 301 0 43919 0
vsize: 176880
[startup+680.021 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 26460
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 97026 0 0 0 67741 267 0 0 25 0 1 0 971969860 181125120 36993 4294967295 134512640 135730672 3221224576 3221223072 134747602 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44220 36993 301 301 0 43919 0
vsize: 176880
[startup+690.022 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 26460
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 97917 0 0 0 68738 269 0 0 25 0 1 0 971969860 181125120 37000 4294967295 134512640 135730672 3221224576 3221223200 134748163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44220 37000 301 301 0 43919 0
vsize: 176880
[startup+700.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26460
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 98811 0 0 0 69735 273 0 0 25 0 1 0 971969860 184745984 37894 4294967295 134512640 135730672 3221224576 3221222716 134765468 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45104 37894 301 301 0 44803 0
vsize: 180416
[startup+710.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26460
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 98824 0 0 0 70735 274 0 0 25 0 1 0 971969860 181125120 37023 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44220 37023 301 301 0 43919 0
vsize: 176880
[startup+720.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26460
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 99716 0 0 0 71732 277 0 0 25 0 1 0 971969860 181125120 37031 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44220 37031 301 301 0 43919 0
vsize: 176880
[startup+730.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26460
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 100605 0 0 0 72730 279 0 0 25 0 1 0 971969860 181125120 37036 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44220 37036 301 301 0 43919 0
vsize: 176880
[startup+740.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26460
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 101494 0 0 0 73727 282 0 0 25 0 1 0 971969860 181125120 37041 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44220 37041 301 301 0 43919 0
vsize: 176880
[startup+750.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26460
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 102387 0 0 0 74724 285 0 0 25 0 1 0 971969860 184745984 37934 4294967295 134512640 135730672 3221224576 3221222720 134769157 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45104 37934 301 301 0 44803 0
vsize: 180416
[startup+760.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26460
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 102402 0 0 0 75724 285 0 0 25 0 1 0 971969860 181125120 37065 4294967295 134512640 135730672 3221224576 3221223088 134745849 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44220 37065 301 301 0 43919 0
vsize: 176880
[startup+770.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26460
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 103296 0 0 0 76722 288 0 0 25 0 1 0 971969860 181125120 37075 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44220 37075 301 301 0 43919 0
vsize: 176880
[startup+780.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26460
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 104187 0 0 0 77719 290 0 0 25 0 1 0 971969860 181125120 37082 4294967295 134512640 135730672 3221224576 3221223072 134747932 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44220 37082 301 301 0 43919 0
vsize: 176880
[startup+790.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26460
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 105075 0 0 0 78717 293 0 0 25 0 1 0 971969860 181125120 37086 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44220 37086 301 301 0 43919 0
vsize: 176880
[startup+800.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26460
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 105966 0 0 0 79714 296 0 0 25 0 1 0 971969860 181125120 37093 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44220 37093 301 301 0 43919 0
vsize: 176880
[startup+810.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26460
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 105976 0 0 0 80713 297 0 0 25 0 1 0 971969860 181125120 37103 4294967295 134512640 135730672 3221224576 3221222992 134741558 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44220 37103 301 301 0 43919 0
vsize: 176880
[startup+820.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26460
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 106868 0 0 0 81710 300 0 0 25 0 1 0 971969860 181125120 37111 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44220 37111 301 301 0 43919 0
vsize: 176880
[startup+830.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26460
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 107777 0 0 0 82707 304 0 0 25 0 1 0 971969860 181260288 37136 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44253 37136 301 301 0 43952 0
vsize: 177012
[startup+840.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26460
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 108744 0 0 0 83704 307 0 0 25 0 1 0 971969860 181526528 37186 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44318 37186 301 301 0 44017 0
vsize: 177272
[startup+850.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26460
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 109684 0 0 0 84702 309 0 0 25 0 1 0 971969860 181657600 37209 4294967295 134512640 135730672 3221224576 3221223072 134747647 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44350 37209 301 301 0 44049 0
vsize: 177400
[startup+860.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26460
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 110836 0 0 0 85698 313 0 0 25 0 1 0 971969860 186560512 37965 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45547 37965 301 301 0 45246 0
vsize: 182188
[startup+870.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26460
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 111735 0 0 0 86696 316 0 0 25 0 1 0 971969860 186560512 37980 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45547 37980 301 301 0 45246 0
vsize: 182188
[startup+880.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26460
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 112633 0 0 0 87693 319 0 0 25 0 1 0 971969860 186560512 37994 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45547 37994 301 301 0 45246 0
vsize: 182188
[startup+890.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26462
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 113535 0 0 0 88690 321 0 0 25 0 1 0 971969860 186560512 38012 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45547 38012 301 301 0 45246 0
vsize: 182188
[startup+900.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26462
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 114430 0 0 0 89688 324 0 0 25 0 1 0 971969860 186560512 38023 4294967295 134512640 135730672 3221224576 3221223072 134747899 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45547 38023 301 301 0 45246 0
vsize: 182188
[startup+910.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26462
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 114439 0 0 0 90687 325 0 0 25 0 1 0 971969860 186560512 38032 4294967295 134512640 135730672 3221224576 3221223088 134745858 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45547 38032 301 301 0 45246 0
vsize: 182188
[startup+920.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26462
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 115335 0 0 0 91685 327 0 0 25 0 1 0 971969860 186560512 38044 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45547 38044 301 301 0 45246 0
vsize: 182188
[startup+930.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26462
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 116225 0 0 0 92682 330 0 0 25 0 1 0 971969860 186560512 38050 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45547 38050 301 301 0 45246 0
vsize: 182188
[startup+940.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26462
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 117118 0 0 0 93680 333 0 0 25 0 1 0 971969860 190181376 38943 4294967295 134512640 135730672 3221224576 3221222724 134768817 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 46431 38943 301 301 0 46130 0
vsize: 185724
[startup+950.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26462
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 117130 0 0 0 94679 334 0 0 25 0 1 0 971969860 186560512 38071 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45547 38071 301 301 0 45246 0
vsize: 182188
[startup+960.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26462
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 118026 0 0 0 95676 338 0 0 25 0 1 0 971969860 186560512 38083 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45547 38083 301 301 0 45246 0
vsize: 182188
[startup+970.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26462
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 118919 0 0 0 96673 341 0 0 25 0 1 0 971969860 186560512 38092 4294967295 134512640 135730672 3221224576 3221223072 134747627 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45547 38092 301 301 0 45246 0
vsize: 182188
[startup+980.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26462
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 119810 0 0 0 97670 344 0 0 25 0 1 0 971969860 186560512 38099 4294967295 134512640 135730672 3221224576 3221223200 134783353 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45547 38099 301 301 0 45246 0
vsize: 182188
[startup+990.036 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26462
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 119813 0 0 0 98669 344 0 0 25 0 1 0 971969860 186560512 38102 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45547 38102 301 301 0 45246 0
vsize: 182188
[startup+1000.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26462
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 120700 0 0 0 99667 348 0 0 25 0 1 0 971969860 186560512 38105 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45547 38105 301 301 0 45246 0
vsize: 182188
[startup+1010.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26462
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 121589 0 0 0 100664 350 0 0 25 0 1 0 971969860 186560512 38110 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45547 38110 301 301 0 45246 0
vsize: 182188
[startup+1020.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26462
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 122577 0 0 0 101661 353 0 0 25 0 1 0 971969860 186957824 38181 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45644 38181 301 301 0 45343 0
vsize: 182576
[startup+1030.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26462
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 123574 0 0 0 102659 355 0 0 25 0 1 0 971969860 187219968 38228 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45708 38228 301 301 0 45407 0
vsize: 182832
[startup+1040.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26462
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 124466 0 0 0 103657 358 0 0 25 0 1 0 971969860 187219968 38236 4294967295 134512640 135730672 3221224576 3221223200 134783353 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45708 38236 301 301 0 45407 0
vsize: 182832
[startup+1050.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26462
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 124471 0 0 0 104657 358 0 0 25 0 1 0 971969860 187219968 38241 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45708 38241 301 301 0 45407 0
vsize: 182832
[startup+1060.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26462
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 125365 0 0 0 105654 361 0 0 25 0 1 0 971969860 187219968 38251 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45708 38251 301 301 0 45407 0
vsize: 182832
[startup+1070.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26462
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 125372 0 0 0 106653 362 0 0 25 0 1 0 971969860 187219968 38258 4294967295 134512640 135730672 3221224576 3221223088 134745860 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45708 38258 301 301 0 45407 0
vsize: 182832
[startup+1080.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26462
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 126301 0 0 0 107651 365 0 0 25 0 1 0 971969860 187490304 38303 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45774 38303 301 301 0 45473 0
vsize: 183096
[startup+1090.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26462
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 127193 0 0 0 108648 368 0 0 25 0 1 0 971969860 187490304 38311 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45774 38311 301 301 0 45473 0
vsize: 183096
[startup+1100.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26462
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 128087 0 0 0 109646 370 0 0 25 0 1 0 971969860 187490304 38321 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45774 38321 301 301 0 45473 0
vsize: 183096
[startup+1110.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26462
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 128981 0 0 0 110643 373 0 0 25 0 1 0 971969860 191111168 39215 4294967295 134512640 135730672 3221224576 3221222728 134765486 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 46658 39215 301 301 0 46357 0
vsize: 186632
[startup+1120.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26462
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 128983 0 0 0 111643 374 0 0 25 0 1 0 971969860 187490304 38333 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45774 38333 301 301 0 45473 0
vsize: 183096
[startup+1130.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26462
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 129876 0 0 0 112640 377 0 0 25 0 1 0 971969860 187490304 38342 4294967295 134512640 135730672 3221224576 3221223200 134748138 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45774 38342 301 301 0 45473 0
vsize: 183096
[startup+1140.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26462
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 130767 0 0 0 113637 380 0 0 25 0 1 0 971969860 187490304 38349 4294967295 134512640 135730672 3221224576 3221223072 134747878 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45774 38349 301 301 0 45473 0
vsize: 183096
[startup+1150.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26462
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 130851 0 0 0 114636 381 0 0 25 0 1 0 971969860 188030976 38433 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45906 38433 301 301 0 45605 0
vsize: 183624
[startup+1160.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26462
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 131891 0 0 0 115633 384 0 0 25 0 1 0 971969860 188510208 38511 4294967295 134512640 135730672 3221224576 3221222904 134739222 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 46023 38511 301 301 0 45722 0
vsize: 184092
[startup+1170.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26462
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 132945 0 0 0 116631 387 0 0 25 0 1 0 971969860 188903424 38582 4294967295 134512640 135730672 3221224576 3221223176 134747441 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 46119 38582 301 301 0 45818 0
vsize: 184476
[startup+1180.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26462
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 133840 0 0 0 117629 389 0 0 25 0 1 0 971969860 192524288 39477 4294967295 134512640 135730672 3221224576 3221222712 134765486 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 47003 39477 301 301 0 46702 0
vsize: 188012
[startup+1190.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26462
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 133845 0 0 0 118628 390 0 0 25 0 1 0 971969860 188903424 38598 4294967295 134512640 135730672 3221224576 3221222960 135109351 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 46119 38598 301 301 0 45818 0
vsize: 184476
[startup+1200.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26462
Raw data (stat): 26405 (pb2sat-v2) R 26404 20224 20223 0 -1 0 134740 0 0 0 119625 393 0 0 25 0 1 0 971969860 188903424 38609 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 46119 38609 301 301 0 45818 0
vsize: 184476
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1201.33 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 26462
Raw data (stat): 26405 (pb2sat-v2) Z 26404 20224 20223 0 -1 12 134742 0 0 0 119746 400 0 0 25 0 1 0 971969860 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

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