PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-2.opb
MD5SUM	25130921f4384cc034832ca1cd52ec48
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-30
Optimality of the best value was proved	NO
Number of terms in the objective function	450
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	450
Number of bits of the sum of numbers in the objective function	9
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	450
Number of bits of the biggest sum of numbers	9
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.05584
Number of variables	450
Total number of constraints	17874
Number of constraints which are clauses	17874
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	2
Trace number 34949

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        760232 kB
Buffers:         34060 kB
Cached:         219416 kB
SwapCached:        504 kB
Active:          18960 kB
Inactive:       236888 kB
HighTotal:      131008 kB
HighFree:        46844 kB
LowTotal:       903652 kB
LowFree:        713388 kB
SwapTotal:     2097136 kB
SwapFree:      2096000 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5796 kB
Slab:            12756 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-28 11:35:56 (client local time) WITH STATUS 0 IN 1200.7 SECONDS
stats: 24241 7 1200.7 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

Decision: 34796/102389	Time: 17.9223/86400
Decision: 35266/102389	Time: 38.0832/86400
Decision: 35266/102389	Time: 52.806/86400
Decision: 36322/102389	Time: 114.624/86400
Decision: 36331/102389	Time: 142.523/86400c [startup+291.906 s]  setting bit 8 to 0

Decision: 12310/102389	Time: 142.03/86400
Decision: 12310/102389	Time: 154.935/86400
Decision: 12396/102389	Time: 174.093/86400
Decision: 12396/102389	Time: 188.661/86400
Decision: 12396/102389	Time: 203.554/86400
Decision: 12396/102389	Time: 220.436/86400c [startup+556.958 s]  setting bit 7 to 0

Decision: 19433/102389	Time: 84.9401/86400
Decision: 19439/102389	Time: 98.1961/86400
Decision: 19439/102389	Time: 108.689/86400
Decision: 19439/102389	Time: 119.514/86400
Decision: 19442/102389	Time: 130.468/86400
Decision: 19442/102389	Time: 142.996/86400c [startup+737.255 s]  setting bit 6 to 0

Decision: 79867/102389	Time: 72.9849/86400
Decision: 79867/102389	Time: 79.13/86400
Decision: 79867/102389	Time: 85.0821/86400
Decision: 79867/102389	Time: 92.154/86400
Decision: 79867/102389	Time: 98.1891/86400
Decision: 79867/102389	Time: 104.867/86400
Decision: 79867/102389	Time: 111.742/86400
Decision: 79867/102389	Time: 117.716/86400
Decision: 79898/102389	Time: 128.34/86400
Decision: 79898/102389	Time: 134.604/86400
Decision: 79898/102389	Time: 142.776/86400
Decision: 79898/102389	Time: 150.333/86400
Decision: 79898/102389	Time: 157.966/86400
Decision: 79898/102389	Time: 164.418/86400
Decision: 79898/102389	Time: 172.421/86400
Decision: 79898/102389	Time: 181.079/86400
Decision: 79898/102389	Time: 188.518/86400
Decision: 79898/102389	Time: 197.546/86400
Decision: 79898/102389	Time: 205.454/86400
Decision: 79898/102389	Time: 213.103/86400
Decision: 79898/102389	Time: 219.769/86400
Decision: 79924/102389	Time: 228.004/86400
Decision: 79924/102389	Time: 235.786/86400
Decision: 79924/102389	Time: 244.652/86400
Decision: 79924/102389	Time: 253.646/86400
Decision: 79924/102389	Time: 262.145/86400
Decision: 79924/102389	Time: 270.13/86400
Decision: 79930/102389	Time: 281.8/86400
Decision: 80054/102389	Time: 291.022/86400
Decision: 80054/102389	Time: 299.725/86400
Decision: 80054/102389	Time: 309.536/86400
Decision: 80054/102389	Time: 318.455/86400
Decision: 80054/102389	Time: 327.159/86400
Decision: 80054/102389	Time: 336.617/86400
Decision: 80054/102389	Time: 346.276/86400
Decision: 80054/102389	Time: 355.755/86400
Decision: 80054/102389	Time: 364.865/86400
Decision: 80054/102389	Time: 374.935/86400
Decision: 80054/102389	Time: 383.222/86400
Decision: 80054/102389	Time: 392.229/86400
Decision: 80054/102389	Time: 401.292/86400
Decision: 80054/102389	Time: 411.874/86400
Decision: 80054/102389	Time: 420.315/86400
Decision: 80054/102389	Time: 430.925/86400
Decision: 80054/102389	Time: 441.322/86400
Decision: 80054/102389	Time: 451.108/86400
Decision: 80054/102389	Time: 461.425/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.78 0.93 0.90 1/54 29210
Raw data (stat): 29210 (runsolver) R 29209 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 806138702 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+10.001 s]
Raw data (loadavg): 0.82 0.93 0.90 2/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 15820 0 0 0 963 35 0 0 25 0 1 0 806138702 49889280 10171 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12180 10171 300 300 0 11880 0
vsize: 48720
[startup+20.0019 s]
Raw data (loadavg): 0.84 0.93 0.90 2/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 16365 0 0 0 1962 37 0 0 25 0 1 0 806138702 52322304 10716 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12774 10716 300 300 0 12474 0
vsize: 51096
[startup+30.0025 s]
Raw data (loadavg): 0.87 0.93 0.90 2/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 17517 0 0 0 2960 39 0 0 25 0 1 0 806138702 57040896 11635 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13926 11635 300 300 0 13626 0
vsize: 55704
[startup+40.0027 s]
Raw data (loadavg): 0.89 0.93 0.90 2/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 17648 0 0 0 3959 40 0 0 25 0 1 0 806138702 57622528 11766 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14068 11766 300 300 0 13768 0
vsize: 56272
[startup+50.0039 s]
Raw data (loadavg): 0.90 0.94 0.90 2/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 17978 0 0 0 4958 41 0 0 25 0 1 0 806138702 57884672 11830 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14132 11830 300 300 0 13832 0
vsize: 56528
[startup+60.0049 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 18201 0 0 0 5957 42 0 0 25 0 1 0 806138702 57884672 11853 4294967295 134512640 135726644 3221224592 3221223088 134744025 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14132 11853 300 300 0 13832 0
vsize: 56528
[startup+70.0053 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 18283 0 0 0 6957 42 0 0 25 0 1 0 806138702 58015744 11902 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14164 11902 300 300 0 13864 0
vsize: 56656
[startup+80.0056 s]
Raw data (loadavg): 0.94 0.94 0.90 2/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 18303 0 0 0 7957 42 0 0 25 0 1 0 806138702 58015744 11922 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14164 11922 300 300 0 13864 0
vsize: 56656
[startup+90.0065 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 18320 0 0 0 8956 43 0 0 25 0 1 0 806138702 58015744 11939 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14164 11939 300 300 0 13864 0
vsize: 56656
[startup+100.006 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 18337 0 0 0 9956 43 0 0 25 0 1 0 806138702 58015744 11956 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14164 11956 300 300 0 13864 0
vsize: 56656
[startup+110.007 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 18357 0 0 0 10956 44 0 0 25 0 1 0 806138702 58015744 11976 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14164 11976 300 300 0 13864 0
vsize: 56656
[startup+120.008 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 18575 0 0 0 11955 45 0 0 25 0 1 0 806138702 58015744 11994 4294967295 134512640 135726644 3221224592 3221223008 134738146 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14164 11994 300 300 0 13864 0
vsize: 56656
[startup+130.008 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 18590 0 0 0 12954 46 0 0 25 0 1 0 806138702 58015744 12009 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14164 12009 300 300 0 13864 0
vsize: 56656
[startup+140.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 18609 0 0 0 13954 46 0 0 25 0 1 0 806138702 58015744 12028 4294967295 134512640 135726644 3221224592 3221223072 134729216 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14164 12028 300 300 0 13864 0
vsize: 56656
[startup+150.009 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 18824 0 0 0 14953 47 0 0 25 0 1 0 806138702 58015744 12043 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14164 12043 300 300 0 13864 0
vsize: 56656
[startup+160.01 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 18840 0 0 0 15953 48 0 0 25 0 1 0 806138702 58015744 12059 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14164 12059 300 300 0 13864 0
vsize: 56656
[startup+170.01 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 18855 0 0 0 16952 48 0 0 25 0 1 0 806138702 58015744 12074 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14164 12074 300 300 0 13864 0
vsize: 56656
[startup+180.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 18908 0 0 0 17952 49 0 0 25 0 1 0 806138702 58281984 12127 4294967295 134512640 135726644 3221224592 3221223088 134744304 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14229 12127 300 300 0 13929 0
vsize: 56916
[startup+190.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 18931 0 0 0 18952 49 0 0 25 0 1 0 806138702 58281984 12150 4294967295 134512640 135726644 3221224592 3221223136 134736726 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14229 12150 300 300 0 13929 0
vsize: 56916
[startup+200.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 18947 0 0 0 19951 49 0 0 25 0 1 0 806138702 58281984 12166 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14229 12166 300 300 0 13929 0
vsize: 56916
[startup+210.012 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 18964 0 0 0 20951 50 0 0 25 0 1 0 806138702 58281984 12183 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14229 12183 300 300 0 13929 0
vsize: 56916
[startup+220.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 18980 0 0 0 21951 50 0 0 25 0 1 0 806138702 58281984 12199 4294967295 134512640 135726644 3221224592 3221223200 134744653 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14229 12199 300 300 0 13929 0
vsize: 56916
[startup+230.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 18997 0 0 0 22950 51 0 0 25 0 1 0 806138702 58281984 12216 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14229 12216 300 300 0 13929 0
vsize: 56916
[startup+240.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 19015 0 0 0 23950 51 0 0 25 0 1 0 806138702 58281984 12234 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14229 12234 300 300 0 13929 0
vsize: 56916
[startup+250.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 19031 0 0 0 24950 52 0 0 25 0 1 0 806138702 58281984 12250 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14229 12250 300 300 0 13929 0
vsize: 56916
[startup+260.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 19049 0 0 0 25950 52 0 0 25 0 1 0 806138702 58281984 12268 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14229 12268 300 300 0 13929 0
vsize: 56916
[startup+270.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 19068 0 0 0 26949 53 0 0 25 0 1 0 806138702 58281984 12287 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14229 12287 300 300 0 13929 0
vsize: 56916
[startup+280.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 19096 0 0 0 27949 53 0 0 25 0 1 0 806138702 58281984 12315 4294967295 134512640 135726644 3221224592 3221223280 134745093 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14229 12315 300 300 0 13929 0
vsize: 56916
[startup+290.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 19197 0 0 0 28948 54 0 0 25 0 1 0 806138702 58544128 12351 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14293 12351 300 300 0 13993 0
vsize: 57172
[startup+300.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 19477 0 0 0 29947 55 0 0 25 0 1 0 806138702 58675200 12431 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14325 12431 300 300 0 14025 0
vsize: 57300
[startup+310.018 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 19535 0 0 0 30946 56 0 0 25 0 1 0 806138702 58675200 12489 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14325 12489 300 300 0 14025 0
vsize: 57300
[startup+320.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 19595 0 0 0 31946 57 0 0 25 0 1 0 806138702 58675200 12549 4294967295 134512640 135726644 3221224592 3221223088 134744059 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14325 12549 300 300 0 14025 0
vsize: 57300
[startup+330.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 19656 0 0 0 32945 57 0 0 25 0 1 0 806138702 58675200 12610 4294967295 134512640 135726644 3221224592 3221223280 134744961 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14325 12610 300 300 0 14025 0
vsize: 57300
[startup+340.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 19716 0 0 0 33945 57 0 0 25 0 1 0 806138702 67198976 12670 4294967295 134512640 135726644 3221224592 3221223184 134760175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16406 12670 300 300 0 16106 0
vsize: 65624
[startup+350.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 19765 0 0 0 34945 58 0 0 25 0 1 0 806138702 67198976 12719 4294967295 134512640 135726644 3221224592 3221223136 134736624 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16406 12719 300 300 0 16106 0
vsize: 65624
[startup+360.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 19824 0 0 0 35944 59 0 0 25 0 1 0 806138702 67346432 12778 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16442 12778 300 300 0 16142 0
vsize: 65768
[startup+370.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 19861 0 0 0 36944 59 0 0 25 0 1 0 806138702 67346432 12815 4294967295 134512640 135726644 3221224592 3221223088 134743889 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16442 12815 300 300 0 16142 0
vsize: 65768
[startup+380.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 20090 0 0 0 37944 60 0 0 25 0 1 0 806138702 68444160 13044 4294967295 134512640 135726644 3221224592 3221223088 134743961 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16710 13044 300 300 0 16410 0
vsize: 66840
[startup+390.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 20115 0 0 0 38944 60 0 0 25 0 1 0 806138702 68444160 13069 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16710 13069 300 300 0 16410 0
vsize: 66840
[startup+400.025 s]
Raw data (loadavg): 0.99 0.97 0.91 5/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 20146 0 0 0 39943 61 0 0 25 0 1 0 806138702 68444160 13100 4294967295 134512640 135726644 3221224592 3221223280 134744915 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16710 13100 300 300 0 16410 0
vsize: 66840
[startup+410.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 20179 0 0 0 40943 61 0 0 25 0 1 0 806138702 68444160 13133 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16710 13133 300 300 0 16410 0
vsize: 66840
[startup+420.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 20202 0 0 0 41943 61 0 0 25 0 1 0 806138702 68444160 13156 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16710 13156 300 300 0 16410 0
vsize: 66840
[startup+430.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 20337 0 0 0 42943 61 0 0 25 0 1 0 806138702 68841472 13226 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16807 13226 300 300 0 16507 0
vsize: 67228
[startup+440.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 20566 0 0 0 43942 62 0 0 25 0 1 0 806138702 68841472 13255 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16807 13255 300 300 0 16507 0
vsize: 67228
[startup+450.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 20779 0 0 0 44941 63 0 0 25 0 1 0 806138702 68976640 13268 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16840 13268 300 300 0 16540 0
vsize: 67360
[startup+460.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 20800 0 0 0 45941 64 0 0 25 0 1 0 806138702 68976640 13289 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16840 13289 300 300 0 16540 0
vsize: 67360
[startup+470.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 21023 0 0 0 46940 65 0 0 25 0 1 0 806138702 69148672 13312 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16882 13312 300 300 0 16582 0
vsize: 67528
[startup+480.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 21042 0 0 0 47940 65 0 0 25 0 1 0 806138702 69148672 13331 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16882 13331 300 300 0 16582 0
vsize: 67528
[startup+490.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 21281 0 0 0 48940 66 0 0 25 0 1 0 806138702 69287936 13370 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16916 13370 300 300 0 16616 0
vsize: 67664
[startup+500.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 21523 0 0 0 49939 67 0 0 25 0 1 0 806138702 69287936 13412 4294967295 134512640 135726644 3221224592 3221223216 134744678 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16916 13412 300 300 0 16616 0
vsize: 67664
[startup+510.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 21556 0 0 0 50938 67 0 0 25 0 1 0 806138702 69287936 13445 4294967295 134512640 135726644 3221224592 3221222928 134735629 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16916 13445 300 300 0 16616 0
vsize: 67664
[startup+520.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 21773 0 0 0 51938 68 0 0 25 0 1 0 806138702 69423104 13462 4294967295 134512640 135726644 3221224592 3221223184 134760417 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16949 13462 300 300 0 16649 0
vsize: 67796
[startup+530.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 21780 0 0 0 52938 69 0 0 25 0 1 0 806138702 69423104 13469 4294967295 134512640 135726644 3221224592 3221223248 134745088 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16949 13469 300 300 0 16649 0
vsize: 67796
[startup+540.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 21795 0 0 0 53938 69 0 0 25 0 1 0 806138702 69423104 13484 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16949 13484 300 300 0 16649 0
vsize: 67796
[startup+550.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 21800 0 0 0 54938 69 0 0 25 0 1 0 806138702 69423104 13489 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16949 13489 300 300 0 16649 0
vsize: 67796
[startup+560.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 22008 0 0 0 55937 70 0 0 25 0 1 0 806138702 69423104 13497 4294967295 134512640 135726644 3221224592 3221223088 134744069 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16949 13497 300 300 0 16649 0
vsize: 67796
[startup+570.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 22044 0 0 0 56937 70 0 0 25 0 1 0 806138702 69566464 13533 4294967295 134512640 135726644 3221224592 3221223088 134744036 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16984 13533 300 300 0 16684 0
vsize: 67936
[startup+580.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 22063 0 0 0 57937 71 0 0 25 0 1 0 806138702 69566464 13552 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16984 13552 300 300 0 16684 0
vsize: 67936
[startup+590.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 22068 0 0 0 58936 71 0 0 25 0 1 0 806138702 69566464 13557 4294967295 134512640 135726644 3221224592 3221223088 134743987 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16984 13557 300 300 0 16684 0
vsize: 67936
[startup+600.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 22072 0 0 0 59936 71 0 0 25 0 1 0 806138702 69566464 13561 4294967295 134512640 135726644 3221224592 3221223248 134731185 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16984 13561 300 300 0 16684 0
vsize: 67936
[startup+610.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 22104 0 0 0 60936 72 0 0 25 0 1 0 806138702 69701632 13593 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17017 13593 300 300 0 16717 0
vsize: 68068
[startup+620.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 22146 0 0 0 61936 72 0 0 25 0 1 0 806138702 69701632 13635 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17017 13635 300 300 0 16717 0
vsize: 68068
[startup+630.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 22538 0 0 0 62936 73 0 0 25 0 1 0 806138702 71356416 13994 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17421 13994 300 300 0 17121 0
vsize: 69684
[startup+640.04 s]
Raw data (loadavg): 0.99 0.97 0.91 3/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 22581 0 0 0 63935 73 0 0 25 0 1 0 806138702 71356416 14037 4294967295 134512640 135726644 3221224592 3221223240 134744473 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17421 14037 300 300 0 17121 0
vsize: 69684
[startup+650.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 22863 0 0 0 64935 74 0 0 25 0 1 0 806138702 71761920 14119 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17520 14119 300 300 0 17220 0
vsize: 70080
[startup+660.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 23123 0 0 0 65934 75 0 0 25 0 1 0 806138702 71958528 14179 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17568 14179 300 300 0 17268 0
vsize: 70272
[startup+670.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 23359 0 0 0 66933 76 0 0 25 0 1 0 806138702 71958528 14215 4294967295 134512640 135726644 3221224592 3221223200 134740988 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17568 14215 300 300 0 17268 0
vsize: 70272
[startup+680.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 23607 0 0 0 67932 76 0 0 25 0 1 0 806138702 71958528 14263 4294967295 134512640 135726644 3221224592 3221223088 134744022 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17568 14263 300 300 0 17268 0
vsize: 70272
[startup+690.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 23839 0 0 0 68931 77 0 0 25 0 1 0 806138702 71958528 14295 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17568 14295 300 300 0 17268 0
vsize: 70272
[startup+700.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 24067 0 0 0 69930 78 0 0 25 0 1 0 806138702 71958528 14323 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17568 14323 300 300 0 17268 0
vsize: 70272
[startup+710.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 24092 0 0 0 70930 78 0 0 25 0 1 0 806138702 71958528 14348 4294967295 134512640 135726644 3221224592 3221223088 134744169 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17568 14348 300 300 0 17268 0
vsize: 70272
[startup+720.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 24107 0 0 0 71930 78 0 0 25 0 1 0 806138702 71958528 14363 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17568 14363 300 300 0 17268 0
vsize: 70272
[startup+730.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 24120 0 0 0 72930 79 0 0 25 0 1 0 806138702 71958528 14376 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17568 14376 300 300 0 17268 0
vsize: 70272
[startup+740.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 24360 0 0 0 73929 80 0 0 25 0 1 0 806138702 72093696 14416 4294967295 134512640 135726644 3221224592 3221223088 134743990 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17601 14416 300 300 0 17301 0
vsize: 70404
[startup+750.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 24465 0 0 0 74929 80 0 0 25 0 1 0 806138702 72093696 14521 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17601 14521 300 300 0 17301 0
vsize: 70404
[startup+760.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 24572 0 0 0 75928 81 0 0 25 0 1 0 806138702 72093696 14628 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17601 14628 300 300 0 17301 0
vsize: 70404
[startup+770.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 24662 0 0 0 76928 82 0 0 25 0 1 0 806138702 72093696 14718 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17601 14718 300 300 0 17301 0
vsize: 70404
[startup+780.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 24749 0 0 0 77927 83 0 0 25 0 1 0 806138702 72232960 14805 4294967295 134512640 135726644 3221224592 3221223088 134743875 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17635 14805 300 300 0 17335 0
vsize: 70540
[startup+790.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 24829 0 0 0 78927 83 0 0 25 0 1 0 806138702 72232960 14885 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17635 14885 300 300 0 17335 0
vsize: 70540
[startup+800.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 24925 0 0 0 79926 84 0 0 25 0 1 0 806138702 72232960 14981 4294967295 134512640 135726644 3221224592 3221222976 134758411 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17635 14981 300 300 0 17335 0
vsize: 70540
[startup+810.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 25263 0 0 0 80925 85 0 0 25 0 1 0 806138702 72507392 15119 4294967295 134512640 135726644 3221224592 3221223216 134779717 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17702 15119 300 300 0 17402 0
vsize: 70808
[startup+820.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 25501 0 0 0 81924 86 0 0 25 0 1 0 806138702 72642560 15157 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17735 15157 300 300 0 17435 0
vsize: 70940
[startup+830.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 25925 0 0 0 82923 87 0 0 25 0 1 0 806138702 72642560 15181 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17735 15181 300 300 0 17435 0
vsize: 70940
[startup+840.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 26145 0 0 0 83923 88 0 0 25 0 1 0 806138702 72781824 15201 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17769 15201 300 300 0 17469 0
vsize: 71076
[startup+850.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 26582 0 0 0 84920 90 0 0 25 0 1 0 806138702 72921088 15238 4294967295 134512640 135726644 3221224592 3221223248 134731185 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17803 15238 300 300 0 17503 0
vsize: 71212
[startup+860.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 26805 0 0 0 85920 90 0 0 25 0 1 0 806138702 72921088 15261 4294967295 134512640 135726644 3221224592 3221223088 134744220 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17803 15261 300 300 0 17503 0
vsize: 71212
[startup+870.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 27029 0 0 0 86919 91 0 0 25 0 1 0 806138702 73060352 15285 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17837 15285 300 300 0 17537 0
vsize: 71348
[startup+880.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 27448 0 0 0 87918 93 0 0 25 0 1 0 806138702 73060352 15304 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17837 15304 300 300 0 17537 0
vsize: 71348
[startup+890.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 27663 0 0 0 88917 94 0 0 25 0 1 0 806138702 73195520 15319 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17870 15319 300 300 0 17570 0
vsize: 71480
[startup+900.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 27890 0 0 0 89916 94 0 0 25 0 1 0 806138702 73195520 15346 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17870 15346 300 300 0 17570 0
vsize: 71480
[startup+910.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 28315 0 0 0 90916 95 0 0 25 0 1 0 806138702 73338880 15371 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17905 15371 300 300 0 17605 0
vsize: 71620
[startup+920.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 28532 0 0 0 91915 96 0 0 25 0 1 0 806138702 73338880 15388 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17905 15388 300 300 0 17605 0
vsize: 71620
[startup+930.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 28760 0 0 0 92914 98 0 0 25 0 1 0 806138702 73478144 15416 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17939 15416 300 300 0 17639 0
vsize: 71756
[startup+940.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 28967 0 0 0 93914 98 0 0 25 0 1 0 806138702 73478144 15423 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17939 15423 300 300 0 17639 0
vsize: 71756
[startup+950.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 29189 0 0 0 94913 99 0 0 25 0 1 0 806138702 73617408 15445 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17973 15445 300 300 0 17673 0
vsize: 71892
[startup+960.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 29423 0 0 0 95912 100 0 0 25 0 1 0 806138702 73617408 15479 4294967295 134512640 135726644 3221224592 3221223088 134744377 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17973 15479 300 300 0 17673 0
vsize: 71892
[startup+970.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 29641 0 0 0 96912 100 0 0 25 0 1 0 806138702 73756672 15497 4294967295 134512640 135726644 3221224592 3221223088 134744214 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18007 15497 300 300 0 17707 0
vsize: 72028
[startup+980.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 29866 0 0 0 97911 101 0 0 25 0 1 0 806138702 73895936 15522 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18041 15522 300 300 0 17741 0
vsize: 72164
[startup+990.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 30076 0 0 0 98911 102 0 0 25 0 1 0 806138702 73895936 15532 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18041 15532 300 300 0 17741 0
vsize: 72164
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 30107 0 0 0 99911 102 0 0 25 0 1 0 806138702 73895936 15563 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18041 15563 300 300 0 17741 0
vsize: 72164
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 30336 0 0 0 100910 103 0 0 25 0 1 0 806138702 74035200 15592 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18075 15592 300 300 0 17775 0
vsize: 72300
[startup+1020.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 30559 0 0 0 101910 103 0 0 25 0 1 0 806138702 74174464 15615 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18109 15615 300 300 0 17809 0
vsize: 72436
[startup+1030.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 30777 0 0 0 102910 104 0 0 25 0 1 0 806138702 74174464 15633 4294967295 134512640 135726644 3221224592 3221223088 134744172 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18109 15633 300 300 0 17809 0
vsize: 72436
[startup+1040.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 30998 0 0 0 103909 105 0 0 25 0 1 0 806138702 74321920 15654 4294967295 134512640 135726644 3221224592 3221222912 134728940 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18145 15654 300 300 0 17845 0
vsize: 72580
[startup+1050.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 31213 0 0 0 104908 106 0 0 25 0 1 0 806138702 74321920 15669 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18145 15669 300 300 0 17845 0
vsize: 72580
[startup+1060.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 31466 0 0 0 105908 106 0 0 25 0 1 0 806138702 74461184 15722 4294967295 134512640 135726644 3221224592 3221223280 134744911 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18179 15722 300 300 0 17879 0
vsize: 72716
[startup+1070.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 31752 0 0 0 106907 107 0 0 25 0 1 0 806138702 74461184 15808 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18179 15808 300 300 0 17879 0
vsize: 72716
[startup+1080.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 32045 0 0 0 107906 108 0 0 25 0 1 0 806138702 74600448 15901 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18213 15901 300 300 0 17913 0
vsize: 72852
[startup+1090.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 32325 0 0 0 108905 110 0 0 25 0 1 0 806138702 74600448 15981 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18213 15981 300 300 0 17913 0
vsize: 72852
[startup+1100.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 32554 0 0 0 109904 111 0 0 25 0 1 0 806138702 74600448 16010 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18213 16010 300 300 0 17913 0
vsize: 72852
[startup+1110.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 32812 0 0 0 110902 113 0 0 25 0 1 0 806138702 74739712 16068 4294967295 134512640 135726644 3221224592 3221223088 134743982 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18247 16068 300 300 0 17947 0
vsize: 72988
[startup+1120.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 33110 0 0 0 111901 114 0 0 25 0 1 0 806138702 74739712 16166 4294967295 134512640 135726644 3221224592 3221223104 134742630 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18247 16166 300 300 0 17947 0
vsize: 72988
[startup+1130.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 33599 0 0 0 112900 116 0 0 25 0 1 0 806138702 74878976 16255 4294967295 134512640 135726644 3221224592 3221223088 134744048 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18281 16255 300 300 0 17981 0
vsize: 73124
[startup+1140.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 33869 0 0 0 113899 117 0 0 25 0 1 0 806138702 74878976 16325 4294967295 134512640 135726644 3221224592 3221223088 134744046 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18281 16325 300 300 0 17981 0
vsize: 73124
[startup+1150.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 34120 0 0 0 114898 118 0 0 25 0 1 0 806138702 75018240 16376 4294967295 134512640 135726644 3221224592 3221223088 134744182 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18315 16376 300 300 0 18015 0
vsize: 73260
[startup+1160.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 34399 0 0 0 115897 119 0 0 25 0 1 0 806138702 75018240 16455 4294967295 134512640 135726644 3221224592 3221223088 134744147 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18315 16455 300 300 0 18015 0
vsize: 73260
[startup+1170.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 34667 0 0 0 116897 119 0 0 25 0 1 0 806138702 75182080 16523 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18355 16523 300 300 0 18055 0
vsize: 73420
[startup+1180.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 34945 0 0 0 117896 120 0 0 25 0 1 0 806138702 75182080 16601 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18355 16601 300 300 0 18055 0
vsize: 73420
[startup+1190.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 35232 0 0 0 118895 121 0 0 25 0 1 0 806138702 75329536 16688 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18391 16688 300 300 0 18091 0
vsize: 73564
[startup+1200.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29210
Raw data (stat): 29210 (pb2sat) R 29209 21152 21151 0 -1 0 35520 0 0 0 119895 122 0 0 25 0 1 0 806138702 92106752 16776 4294967295 134512640 135726644 3221224592 3221222752 134780435 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22487 16776 300 300 0 22187 0
vsize: 89948
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.59 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 29210
Raw data (stat): 29210 (pb2sat) Z 29209 21152 21151 0 -1 12 35521 0 0 0 119944 125 0 0 25 0 1 0 806138702 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 0
Real time (s): 1200.59
CPU time (s): 1200.7
CPU user time (s): 1199.44
CPU system time (s): 1.25981
CPU usage (%): 100.01
Max. virtual memory (Kb): 89948
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####