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/submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-cm42a.opb
MD5SUM	62b75258091a8b1382fa8b1c633d9511
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	694
Optimality of the best value was proved	NO
Number of terms in the objective function	99
Biggest coefficient in the objective function	60
Number of bits for the biggest coefficient in the objective function	6
Sum of the numbers in the objective function	4087
Number of bits of the sum of numbers in the objective function	12
Biggest number in a constraint	60
Number of bits of the biggest number in a constraint	6
Biggest sum of numbers in a constraint	4087
Number of bits of the biggest sum of numbers	12
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.168973
Number of variables	99
Total number of constraints	185
Number of constraints which are clauses	185
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	20
Trace number 42136

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        764212 kB
Buffers:         33904 kB
Cached:         214220 kB
SwapCached:       1028 kB
Active:          64484 kB
Inactive:       185796 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        763960 kB
SwapTotal:     2097136 kB
SwapFree:      2095200 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5088 kB
Slab:            14492 kB
Committed_AS:    63844 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 00:58:22 (client local time) WITH STATUS 10 IN 1200.94 SECONDS
stats: 25350 0 1200.94 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
c got solution with objective value: 3667
c small objective detected
c got solution with objective value: 1615
c [startup+49.8999 s]  setting bit 11 to 1

c Decision: 48421/133591	Time: 60.4338/86400
c Decision: 48421/133591	Time: 90.5082/86400
c Decision: 50311/133591	Time: 123.132/86400
c Decision: 50311/133591	Time: 149.696/86400
c Decision: 50311/133591	Time: 174.84/86400
c Decision: 50311/133591	Time: 206.252/86400
c Decision: 50311/133591	Time: 244.632/86400
c Decision: 50311/133591	Time: 271.28/86400
c Decision: 50311/133591	Time: 299.075/86400
c Decision: 50311/133591	Time: 331.752/86400
c Decision: 50311/133591	Time: 357.774/86400
c Decision: 50311/133591	Time: 389.969/86400
c Decision: 50311/133591	Time: 423.1/86400
c Decision: 50311/133591	Time: 454.084/86400
c Decision: 50311/133591	Time: 485.656/86400
c Decision: 50311/133591	Time: 516.272/86400
c Decision: 50311/133591	Time: 542.561/86400
c Decision: 50311/133591	Time: 574.923/86400
c Decision: 50311/133591	Time: 604.994/86400
c Decision: 50311/133591	Time: 631.451/86400
c Decision: 50311/133591	Time: 664.901/86400
c Decision: 50311/133591	Time: 693.303/86400
c Decision: 50311/133591	Time: 727.247/86400
c Decision: 50311/133591	Time: 758.536/86400
c Decision: 50311/133591	Time: 790.698/86400
c Decision: 50311/133591	Time: 823.979/86400
c Decision: 50311/133591	Time: 854.261/86400
c Decision: 50311/133591	Time: 884.791/86400
c Decision: 50311/133591	Time: 914.428/86400
c Decision: 50311/133591	Time: 946.795/86400
c Decision: 50311/133591	Time: 978.72/86400
c Decision: 50311/133591	Time: 1012.45/86400
c Decision: 52241/133591	Time: 1052.55/86400
c Decision: 52241/133591	Time: 1085.93/86400
c Decision: 52241/133591	Time: 1117.35/86400
c Decision: 52241/133591	Time: 1147.8/86400s SATISFIABLE
v -x1 -x10 x11 x12 x13 x14 x15 -x16 -x17 -x18 -x19 -x2 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 x29 -x3 x30 -x31 x32 x33 x34 -x35 x36 -x37 -x38 -x39 -x4 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x5 -x50 x51 -x52 -x53 -x54 x55 -x56 -x57 -x58 x59 x6 -x60 x61 -x62 -x63 -x64 -x65 x66 x67 x68 x69 -x7 x70 x71 x72 x73 x74 x75 x76 x77 x78 x79 x8 x80 x81 x82 x83 -x84 -x85 -x86 -x87 x88 x89 -x9 -x90 -x91 -x92 -x93 -x94 -x95 -x96 x97 -x98 -x99 
#### 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.91 0.95 0.90 2/54 12071
Raw data (stat): 12071 (runsolver) R 12070 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 966502422 884736 94 4294967295 134512640 135332820 3221224480 3221219660 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+9.99996 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 24549 0 0 0 948 51 0 0 25 0 1 0 966502422 77561856 13227 4294967295 134512640 135730672 3221224592 3221222880 134747641 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18936 13227 301 301 0 18635 0
vsize: 75744
[startup+19.9996 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 24721 0 0 0 1948 51 0 0 25 0 1 0 966502422 78295040 13366 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19115 13366 301 301 0 18814 0
vsize: 76460
[startup+29.9998 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 24832 0 0 0 2947 52 0 0 25 0 1 0 966502422 78557184 13411 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19179 13411 301 301 0 18878 0
vsize: 76716
[startup+39.9993 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 24884 0 0 0 3947 52 0 0 25 0 1 0 966502422 78823424 13463 4294967295 134512640 135730672 3221224592 3221222880 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19244 13463 301 301 0 18943 0
vsize: 76976
[startup+49.9991 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 25172 0 0 0 4946 54 0 0 25 0 1 0 966502422 79892480 13751 4294967295 134512640 135730672 3221224592 3221222696 134765477 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19505 13751 301 301 0 19204 0
vsize: 78020
[startup+59.9982 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 25460 0 0 0 5946 54 0 0 25 0 1 0 966502422 79953920 13712 4294967295 134512640 135730672 3221224592 3221223028 134748260 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19520 13712 301 301 0 19219 0
vsize: 78080
[startup+69.9987 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 25740 0 0 0 6945 55 0 0 25 0 1 0 966502422 81424384 13992 4294967295 134512640 135730672 3221224592 3221223004 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 19879 13992 301 301 0 19578 0
vsize: 79516
[startup+79.9984 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 25819 0 0 0 7945 55 0 0 25 0 1 0 966502422 81690624 14038 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 19944 14038 301 301 0 19643 0
vsize: 79776
[startup+89.9975 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 25851 0 0 0 8945 56 0 0 25 0 1 0 966502422 81690624 14070 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 19944 14070 301 301 0 19643 0
vsize: 79776
[startup+99.9973 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 25868 0 0 0 9945 56 0 0 25 0 1 0 966502422 81690624 14087 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 19944 14087 301 301 0 19643 0
vsize: 79776
[startup+109.997 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 26156 0 0 0 10945 56 0 0 25 0 1 0 966502422 81825792 14114 4294967295 134512640 135730672 3221224592 3221223004 134783158 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 19977 14114 301 301 0 19676 0
vsize: 79908
[startup+119.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 26162 0 0 0 11945 56 0 0 25 0 1 0 966502422 81825792 14120 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 19977 14120 301 301 0 19676 0
vsize: 79908
[startup+129.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 26189 0 0 0 12945 57 0 0 25 0 1 0 966502422 81960960 14147 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20010 14147 301 301 0 19709 0
vsize: 80040
[startup+139.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 26199 0 0 0 13945 57 0 0 25 0 1 0 966502422 81960960 14157 4294967295 134512640 135730672 3221224592 3221222896 134745849 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20010 14157 301 301 0 19709 0
vsize: 80040
[startup+149.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 26479 0 0 0 14944 58 0 0 25 0 1 0 966502422 81960960 14176 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 20010 14176 301 301 0 19709 0
vsize: 80040
[startup+159.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 26491 0 0 0 15944 58 0 0 25 0 1 0 966502422 81960960 14188 4294967295 134512640 135730672 3221224592 3221222880 134747495 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20010 14188 301 301 0 19709 0
vsize: 80040
[startup+169.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 26532 0 0 0 16945 58 0 0 25 0 1 0 966502422 82092032 14196 4294967295 134512640 135730672 3221224592 3221222880 134747608 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20042 14196 301 301 0 19741 0
vsize: 80168
[startup+179.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 26801 0 0 0 17943 59 0 0 25 0 1 0 966502422 82092032 14204 4294967295 134512640 135730672 3221224592 3221222880 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 20042 14204 301 301 0 19741 0
vsize: 80168
[startup+189.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 26810 0 0 0 18943 59 0 0 25 0 1 0 966502422 82092032 14213 4294967295 134512640 135730672 3221224592 3221222880 134747902 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20042 14213 301 301 0 19741 0
vsize: 80168
[startup+199.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 27079 0 0 0 19943 60 0 0 25 0 1 0 966502422 82092032 14221 4294967295 134512640 135730672 3221224592 3221222704 134732507 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20042 14221 301 301 0 19741 0
vsize: 80168
[startup+209.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 27087 0 0 0 20943 60 0 0 25 0 1 0 966502422 82092032 14229 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20042 14229 301 301 0 19741 0
vsize: 80168
[startup+219.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 27096 0 0 0 21943 60 0 0 25 0 1 0 966502422 82092032 14238 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20042 14238 301 301 0 19741 0
vsize: 80168
[startup+229.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 27366 0 0 0 22943 61 0 0 25 0 1 0 966502422 82092032 14247 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20042 14247 301 301 0 19741 0
vsize: 80168
[startup+239.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 27372 0 0 0 23943 61 0 0 25 0 1 0 966502422 82092032 14253 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20042 14253 301 301 0 19741 0
vsize: 80168
[startup+249.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 27414 0 0 0 24943 61 0 0 25 0 1 0 966502422 82223104 14262 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20074 14262 301 301 0 19773 0
vsize: 80296
[startup+259.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 27681 0 0 0 25943 62 0 0 25 0 1 0 966502422 82223104 14268 4294967295 134512640 135730672 3221224592 3221223072 134748503 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20074 14268 301 301 0 19773 0
vsize: 80296
[startup+269.992 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 27721 0 0 0 26943 62 0 0 25 0 1 0 966502422 82354176 14275 4294967295 134512640 135730672 3221224592 3221222880 134747549 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20106 14275 301 301 0 19805 0
vsize: 80424
[startup+279.992 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 27729 0 0 0 27943 62 0 0 25 0 1 0 966502422 82354176 14283 4294967295 134512640 135730672 3221224592 3221222976 134747445 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20106 14283 301 301 0 19805 0
vsize: 80424
[startup+289.991 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 27763 0 0 0 28943 62 0 0 25 0 1 0 966502422 82620416 14317 4294967295 134512640 135730672 3221224592 3221222880 134747549 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20171 14317 301 301 0 19870 0
vsize: 80684
[startup+299.991 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 28030 0 0 0 29943 63 0 0 25 0 1 0 966502422 82620416 14323 4294967295 134512640 135730672 3221224592 3221222720 134739186 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20171 14323 301 301 0 19870 0
vsize: 80684
[startup+309.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 28037 0 0 0 30943 63 0 0 25 0 1 0 966502422 82620416 14330 4294967295 134512640 135730672 3221224592 3221222704 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20171 14330 301 301 0 19870 0
vsize: 80684
[startup+319.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 28044 0 0 0 31943 63 0 0 25 0 1 0 966502422 82620416 14337 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20171 14337 301 301 0 19870 0
vsize: 80684
[startup+329.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 28340 0 0 0 32943 64 0 0 25 0 1 0 966502422 82755584 14372 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20204 14372 301 301 0 19903 0
vsize: 80816
[startup+339.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 28353 0 0 0 33943 64 0 0 25 0 1 0 966502422 82755584 14385 4294967295 134512640 135730672 3221224592 3221223072 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20204 14385 301 301 0 19903 0
vsize: 80816
[startup+349.989 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 28642 0 0 0 34942 65 0 0 25 0 1 0 966502422 82890752 14413 4294967295 134512640 135730672 3221224592 3221222704 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20237 14413 301 301 0 19936 0
vsize: 80948
[startup+359.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 28648 0 0 0 35942 65 0 0 25 0 1 0 966502422 82890752 14419 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20237 14419 301 301 0 19936 0
vsize: 80948
[startup+369.989 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 28654 0 0 0 36942 65 0 0 25 0 1 0 966502422 82890752 14425 4294967295 134512640 135730672 3221224592 3221222976 134763602 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20237 14425 301 301 0 19936 0
vsize: 80948
[startup+379.989 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 28661 0 0 0 37943 65 0 0 25 0 1 0 966502422 82890752 14432 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20237 14432 301 301 0 19936 0
vsize: 80948
[startup+389.988 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 28987 0 0 0 38942 66 0 0 25 0 1 0 966502422 83021824 14464 4294967295 134512640 135730672 3221224592 3221223024 134765753 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20269 14464 301 301 0 19968 0
vsize: 81076
[startup+399.989 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 28995 0 0 0 39942 67 0 0 25 0 1 0 966502422 83021824 14472 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20269 14472 301 301 0 19968 0
vsize: 81076
[startup+409.988 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 29262 0 0 0 40941 68 0 0 25 0 1 0 966502422 83021824 14478 4294967295 134512640 135730672 3221224592 3221222880 134747705 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20269 14478 301 301 0 19968 0
vsize: 81076
[startup+419.987 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 29264 0 0 0 41941 68 0 0 25 0 1 0 966502422 83021824 14480 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20269 14480 301 301 0 19968 0
vsize: 81076
[startup+429.988 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 29265 0 0 0 42941 69 0 0 25 0 1 0 966502422 83021824 14481 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20269 14481 301 301 0 19968 0
vsize: 81076
[startup+439.988 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 29527 0 0 0 43940 70 0 0 25 0 1 0 966502422 83021824 14482 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20269 14482 301 301 0 19968 0
vsize: 81076
[startup+449.987 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 29528 0 0 0 44940 70 0 0 25 0 1 0 966502422 83021824 14483 4294967295 134512640 135730672 3221224592 3221223072 134748554 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20269 14483 301 301 0 19968 0
vsize: 81076
[startup+459.987 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 29530 0 0 0 45940 70 0 0 25 0 1 0 966502422 83021824 14485 4294967295 134512640 135730672 3221224592 3221222632 135284832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20269 14485 301 301 0 19968 0
vsize: 81076
[startup+469.986 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 29533 0 0 0 46940 70 0 0 25 0 1 0 966502422 83021824 14488 4294967295 134512640 135730672 3221224592 3221222880 134747570 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20269 14488 301 301 0 19968 0
vsize: 81076
[startup+479.985 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 29801 0 0 0 47940 71 0 0 25 0 1 0 966502422 83021824 14495 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20269 14495 301 301 0 19968 0
vsize: 81076
[startup+489.985 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 29808 0 0 0 48940 71 0 0 25 0 1 0 966502422 83021824 14502 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20269 14502 301 301 0 19968 0
vsize: 81076
[startup+499.985 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 29816 0 0 0 49940 71 0 0 25 0 1 0 966502422 83021824 14510 4294967295 134512640 135730672 3221224592 3221223040 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20269 14510 301 301 0 19968 0
vsize: 81076
[startup+509.984 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 30084 0 0 0 50939 72 0 0 25 0 1 0 966502422 83021824 14517 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20269 14517 301 301 0 19968 0
vsize: 81076
[startup+519.984 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 30092 0 0 0 51940 72 0 0 25 0 1 0 966502422 83021824 14525 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20269 14525 301 301 0 19968 0
vsize: 81076
[startup+529.983 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 30099 0 0 0 52940 72 0 0 25 0 1 0 966502422 83021824 14532 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20269 14532 301 301 0 19968 0
vsize: 81076
[startup+539.983 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 30390 0 0 0 53939 73 0 0 25 0 1 0 966502422 83156992 14562 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20302 14562 301 301 0 20001 0
vsize: 81208
[startup+549.982 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 30400 0 0 0 54939 74 0 0 25 0 1 0 966502422 91545600 14572 4294967295 134512640 135730672 3221224592 3221222880 134747735 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22350 14572 301 301 0 22049 0
vsize: 89400
[startup+559.982 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 30409 0 0 0 55939 74 0 0 25 0 1 0 966502422 91545600 14581 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22350 14581 301 301 0 22049 0
vsize: 89400
[startup+569.982 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 30674 0 0 0 56938 75 0 0 25 0 1 0 966502422 91545600 14585 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22350 14585 301 301 0 22049 0
vsize: 89400
[startup+579.981 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 30675 0 0 0 57939 75 0 0 25 0 1 0 966502422 91545600 14586 4294967295 134512640 135730672 3221224592 3221222880 134747950 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22350 14586 301 301 0 22049 0
vsize: 89400
[startup+589.981 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 30682 0 0 0 58939 75 0 0 25 0 1 0 966502422 91545600 14593 4294967295 134512640 135730672 3221224592 3221222880 134747610 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22350 14593 301 301 0 22049 0
vsize: 89400
[startup+599.981 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 30949 0 0 0 59938 76 0 0 25 0 1 0 966502422 91545600 14599 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22350 14599 301 301 0 22049 0
vsize: 89400
[startup+609.981 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 30958 0 0 0 60938 76 0 0 25 0 1 0 966502422 91545600 14608 4294967295 134512640 135730672 3221224592 3221223040 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22350 14608 301 301 0 22049 0
vsize: 89400
[startup+619.982 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 30964 0 0 0 61939 76 0 0 25 0 1 0 966502422 91545600 14614 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22350 14614 301 301 0 22049 0
vsize: 89400
[startup+629.981 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 31231 0 0 0 62938 77 0 0 25 0 1 0 966502422 91545600 14620 4294967295 134512640 135730672 3221224592 3221222880 134747602 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22350 14620 301 301 0 22049 0
vsize: 89400
[startup+639.982 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 31272 0 0 0 63938 77 0 0 25 0 1 0 966502422 91811840 14661 4294967295 134512640 135730672 3221224592 3221223052 134748650 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22415 14661 301 301 0 22114 0
vsize: 89660
[startup+649.982 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 31282 0 0 0 64938 77 0 0 25 0 1 0 966502422 91811840 14671 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22415 14671 301 301 0 22114 0
vsize: 89660
[startup+659.982 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 31551 0 0 0 65938 78 0 0 25 0 1 0 966502422 91811840 14679 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22415 14679 301 301 0 22114 0
vsize: 89660
[startup+669.981 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 31560 0 0 0 66938 78 0 0 25 0 1 0 966502422 91811840 14688 4294967295 134512640 135730672 3221224592 3221222880 134747641 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22415 14688 301 301 0 22114 0
vsize: 89660
[startup+679.982 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 31568 0 0 0 67938 79 0 0 25 0 1 0 966502422 91811840 14696 4294967295 134512640 135730672 3221224592 3221222704 134732479 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22415 14696 301 301 0 22114 0
vsize: 89660
[startup+689.981 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 31837 0 0 0 68938 79 0 0 25 0 1 0 966502422 91811840 14704 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22415 14704 301 301 0 22114 0
vsize: 89660
[startup+699.981 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 31843 0 0 0 69938 79 0 0 25 0 1 0 966502422 91811840 14710 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22415 14710 301 301 0 22114 0
vsize: 89660
[startup+709.981 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 31894 0 0 0 70938 79 0 0 25 0 1 0 966502422 91942912 14728 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22447 14728 301 301 0 22146 0
vsize: 89788
[startup+719.981 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 32159 0 0 0 71938 80 0 0 25 0 1 0 966502422 91942912 14732 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22447 14732 301 301 0 22146 0
vsize: 89788
[startup+729.981 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 32160 0 0 0 72938 80 0 0 25 0 1 0 966502422 91942912 14733 4294967295 134512640 135730672 3221224592 3221223072 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22447 14733 301 301 0 22146 0
vsize: 89788
[startup+739.981 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 32161 0 0 0 73938 80 0 0 25 0 1 0 966502422 91942912 14734 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22447 14734 301 301 0 22146 0
vsize: 89788
[startup+749.98 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 32424 0 0 0 74938 81 0 0 25 0 1 0 966502422 91942912 14736 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22447 14736 301 301 0 22146 0
vsize: 89788
[startup+759.98 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 32425 0 0 0 75938 81 0 0 25 0 1 0 966502422 91942912 14737 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22447 14737 301 301 0 22146 0
vsize: 89788
[startup+769.98 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 32430 0 0 0 76938 81 0 0 25 0 1 0 966502422 91942912 14742 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22447 14742 301 301 0 22146 0
vsize: 89788
[startup+779.98 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 32700 0 0 0 77938 82 0 0 25 0 1 0 966502422 91942912 14751 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22447 14751 301 301 0 22146 0
vsize: 89788
[startup+789.98 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 32720 0 0 0 78938 82 0 0 25 0 1 0 966502422 91942912 14771 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22447 14771 301 301 0 22146 0
vsize: 89788
[startup+799.979 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 32730 0 0 0 79938 82 0 0 25 0 1 0 966502422 91942912 14781 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22447 14781 301 301 0 22146 0
vsize: 89788
[startup+809.979 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 32998 0 0 0 80938 83 0 0 25 0 1 0 966502422 91942912 14788 4294967295 134512640 135730672 3221224592 3221222880 134747892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22447 14788 301 301 0 22146 0
vsize: 89788
[startup+819.98 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 33006 0 0 0 81938 83 0 0 25 0 1 0 966502422 91942912 14796 4294967295 134512640 135730672 3221224592 3221222880 134747587 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22447 14796 301 301 0 22146 0
vsize: 89788
[startup+829.98 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 33013 0 0 0 82938 83 0 0 25 0 1 0 966502422 91942912 14803 4294967295 134512640 135730672 3221224592 3221222972 134747723 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22447 14803 301 301 0 22146 0
vsize: 89788
[startup+839.98 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 33264 0 0 0 83938 84 0 0 25 0 1 0 966502422 93413376 15054 4294967295 134512640 135730672 3221224592 3221222896 134745858 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22806 15054 301 301 0 22505 0
vsize: 91224
[startup+849.98 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 33531 0 0 0 84938 85 0 0 25 0 1 0 966502422 93413376 15060 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22806 15060 301 301 0 22505 0
vsize: 91224
[startup+859.98 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 33538 0 0 0 85938 85 0 0 25 0 1 0 966502422 93413376 15067 4294967295 134512640 135730672 3221224592 3221223072 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22806 15067 301 301 0 22505 0
vsize: 91224
[startup+869.98 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 33545 0 0 0 86938 85 0 0 25 0 1 0 966502422 93413376 15074 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22806 15074 301 301 0 22505 0
vsize: 91224
[startup+879.981 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 33809 0 0 0 87937 86 0 0 25 0 1 0 966502422 93413376 15077 4294967295 134512640 135730672 3221224592 3221222976 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22806 15077 301 301 0 22505 0
vsize: 91224
[startup+889.981 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 33810 0 0 0 88938 86 0 0 25 0 1 0 966502422 93413376 15078 4294967295 134512640 135730672 3221224592 3221222880 134747757 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22806 15078 301 301 0 22505 0
vsize: 91224
[startup+899.981 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 33812 0 0 0 89938 86 0 0 25 0 1 0 966502422 93413376 15080 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22806 15080 301 301 0 22505 0
vsize: 91224
[startup+909.981 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 34074 0 0 0 90937 87 0 0 25 0 1 0 966502422 93413376 15081 4294967295 134512640 135730672 3221224592 3221222976 134763590 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22806 15081 301 301 0 22505 0
vsize: 91224
[startup+919.981 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 34076 0 0 0 91938 87 0 0 25 0 1 0 966502422 93413376 15083 4294967295 134512640 135730672 3221224592 3221223040 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22806 15083 301 301 0 22505 0
vsize: 91224
[startup+929.981 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 34077 0 0 0 92938 87 0 0 25 0 1 0 966502422 93413376 15084 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22806 15084 301 301 0 22505 0
vsize: 91224
[startup+939.982 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 34341 0 0 0 93937 88 0 0 25 0 1 0 966502422 93413376 15087 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22806 15087 301 301 0 22505 0
vsize: 91224
[startup+949.982 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 34350 0 0 0 94937 88 0 0 25 0 1 0 966502422 93413376 15096 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22806 15096 301 301 0 22505 0
vsize: 91224
[startup+959.981 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 34357 0 0 0 95938 88 0 0 25 0 1 0 966502422 93413376 15103 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22806 15103 301 301 0 22505 0
vsize: 91224
[startup+969.982 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 34625 0 0 0 96938 89 0 0 25 0 1 0 966502422 93413376 15110 4294967295 134512640 135730672 3221224592 3221223072 134748503 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22806 15110 301 301 0 22505 0
vsize: 91224
[startup+979.982 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 34644 0 0 0 97938 89 0 0 25 0 1 0 966502422 93585408 15129 4294967295 134512640 135730672 3221224592 3221223072 134748499 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22848 15129 301 301 0 22547 0
vsize: 91392
[startup+989.982 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 34653 0 0 0 98938 89 0 0 25 0 1 0 966502422 93585408 15138 4294967295 134512640 135730672 3221224592 3221222704 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22848 15138 301 301 0 22547 0
vsize: 91392
[startup+999.982 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 34925 0 0 0 99937 90 0 0 25 0 1 0 966502422 93585408 15149 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22848 15149 301 301 0 22547 0
vsize: 91392
[startup+1009.98 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 34935 0 0 0 100937 91 0 0 25 0 1 0 966502422 93585408 15159 4294967295 134512640 135730672 3221224592 3221222704 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22848 15159 301 301 0 22547 0
vsize: 91392
[startup+1019.98 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 34952 0 0 0 101937 91 0 0 25 0 1 0 966502422 93585408 15176 4294967295 134512640 135730672 3221224592 3221223008 134748145 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22848 15176 301 301 0 22547 0
vsize: 91392
[startup+1029.98 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 35225 0 0 0 102936 92 0 0 25 0 1 0 966502422 93585408 15188 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22848 15188 301 301 0 22547 0
vsize: 91392
[startup+1039.98 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 35226 0 0 0 103936 92 0 0 25 0 1 0 966502422 93585408 15189 4294967295 134512640 135730672 3221224592 3221222976 134747724 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22848 15189 301 301 0 22547 0
vsize: 91392
[startup+1049.98 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 35231 0 0 0 104937 92 0 0 25 0 1 0 966502422 93585408 15194 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22848 15194 301 301 0 22547 0
vsize: 91392
[startup+1059.98 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 35235 0 0 0 105937 92 0 0 25 0 1 0 966502422 93585408 15198 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22848 15198 301 301 0 22547 0
vsize: 91392
[startup+1069.98 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 35504 0 0 0 106937 93 0 0 25 0 1 0 966502422 93585408 15206 4294967295 134512640 135730672 3221224592 3221222880 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22848 15206 301 301 0 22547 0
vsize: 91392
[startup+1079.98 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 35510 0 0 0 107937 93 0 0 25 0 1 0 966502422 93585408 15212 4294967295 134512640 135730672 3221224592 3221222976 134764022 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22848 15212 301 301 0 22547 0
vsize: 91392
[startup+1089.98 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 35517 0 0 0 108937 93 0 0 25 0 1 0 966502422 93585408 15219 4294967295 134512640 135730672 3221224592 3221223072 134748557 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22848 15219 301 301 0 22547 0
vsize: 91392
[startup+1099.98 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 35523 0 0 0 109937 94 0 0 25 0 1 0 966502422 93585408 15225 4294967295 134512640 135730672 3221224592 3221223008 134748108 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22848 15225 301 301 0 22547 0
vsize: 91392
[startup+1109.98 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 35794 0 0 0 110937 94 0 0 25 0 1 0 966502422 93585408 15235 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22848 15235 301 301 0 22547 0
vsize: 91392
[startup+1119.98 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 35816 0 0 0 111937 94 0 0 25 0 1 0 966502422 93585408 15257 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22848 15257 301 301 0 22547 0
vsize: 91392
[startup+1129.98 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 35826 0 0 0 112937 95 0 0 25 0 1 0 966502422 93724672 15267 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22882 15267 301 301 0 22581 0
vsize: 91528
[startup+1139.98 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 36093 0 0 0 113937 95 0 0 25 0 1 0 966502422 93724672 15273 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22882 15273 301 301 0 22581 0
vsize: 91528
[startup+1149.98 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 36102 0 0 0 114937 96 0 0 25 0 1 0 966502422 93724672 15282 4294967295 134512640 135730672 3221224592 3221222880 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22882 15282 301 301 0 22581 0
vsize: 91528
[startup+1159.98 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 36110 0 0 0 115937 96 0 0 25 0 1 0 966502422 93724672 15290 4294967295 134512640 135730672 3221224592 3221222880 134747610 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22882 15290 301 301 0 22581 0
vsize: 91528
[startup+1169.98 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 36458 0 0 0 116936 97 0 0 25 0 1 0 966502422 94023680 15377 4294967295 134512640 135730672 3221224592 3221222704 134732459 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22955 15377 301 301 0 22654 0
vsize: 91820
[startup+1179.99 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 36469 0 0 0 117936 97 0 0 25 0 1 0 966502422 94023680 15388 4294967295 134512640 135730672 3221224592 3221223040 134734829 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22955 15388 301 301 0 22654 0
vsize: 91820
[startup+1189.98 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 36478 0 0 0 118937 97 0 0 25 0 1 0 966502422 94023680 15397 4294967295 134512640 135730672 3221224592 3221222880 134747883 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22955 15397 301 301 0 22654 0
vsize: 91820
[startup+1199.98 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12071
Raw data (stat): 12071 (pb2sat-v2) R 12070 25568 25567 0 -1 0 36749 0 0 0 119936 98 0 0 25 0 1 0 966502422 94023680 15407 4294967295 134512640 135730672 3221224592 3221223040 134734769 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22955 15407 301 301 0 22654 0
vsize: 91820
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.58 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 12071
Raw data (stat): 12071 (pb2sat-v2) Z 12070 25568 25567 0 -1 12 36751 0 0 0 119992 101 0 0 25 0 1 0 966502422 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: 10
Real time (s): 1200.58
CPU time (s): 1200.94
CPU user time (s): 1199.93
CPU system time (s): 1.01584
CPU usage (%): 100.03
Max. virtual memory (Kb): 91820
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	1615
#### END VERIFIER DATA ####