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 34933

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-28 11:07:40 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24178 boxname=wulflinc31 idbench=252 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  62b75258091a8b1382fa8b1c633d9511  /oldhome/oroussel/tmp/wulflinc31/normalized-cm42a.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc31/normalized-cm42a.opb
IDLAUNCH: 24178
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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	: 3
cpu MHz		: 451.153
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        876240 kB
Buffers:         34600 kB
Cached:         101504 kB
SwapCached:       1052 kB
Active:          78824 kB
Inactive:        59380 kB
HighTotal:      131008 kB
HighFree:        29596 kB
LowTotal:       903652 kB
LowFree:        846644 kB
SwapTotal:     2097892 kB
SwapFree:      2095928 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5108 kB
Slab:            14536 kB
Committed_AS:    63812 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-28 11:27:42 (client local time) WITH STATUS 10 IN 1200.8 SECONDS
stats: 24178 0 1200.8 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: 2033
c [startup+13.5343 s]  setting bit 11 to 1
c got solution with objective value: 1000
c [startup+15.2058 s]  setting bit 10 to 1

Decision: 62721/134262	Time: 50.5433/86400
Decision: 62721/134262	Time: 76.8433/86400
Decision: 62721/134262	Time: 105.709/86400
Decision: 62721/134262	Time: 132.711/86400
Decision: 62721/134262	Time: 157.485/86400
Decision: 64892/134262	Time: 190.559/86400
Decision: 64892/134262	Time: 218.652/86400
Decision: 64892/134262	Time: 247.267/86400
Decision: 64892/134262	Time: 277.75/86400
Decision: 64892/134262	Time: 304.404/86400
Decision: 64892/134262	Time: 332.925/86400
Decision: 64892/134262	Time: 360.236/86400
Decision: 64892/134262	Time: 389.258/86400
Decision: 64892/134262	Time: 418.315/86400
Decision: 64892/134262	Time: 446.263/86400
Decision: 64892/134262	Time: 476.243/86400
Decision: 64892/134262	Time: 506.045/86400
Decision: 64892/134262	Time: 532.063/86400
Decision: 64892/134262	Time: 562.635/86400
Decision: 64892/134262	Time: 588.243/86400
Decision: 64892/134262	Time: 618.099/86400
Decision: 64892/134262	Time: 646.475/86400
Decision: 64892/134262	Time: 675.51/86400
Decision: 64892/134262	Time: 704.262/86400
Decision: 64892/134262	Time: 731.303/86400
Decision: 64892/134262	Time: 760.565/86400
Decision: 65116/134262	Time: 803.647/86400
Decision: 65116/134262	Time: 831.505/86400
Decision: 67465/134262	Time: 886.922/86400
Decision: 67952/134262	Time: 936.959/86400
Decision: 67952/134262	Time: 964.02/86400
Decision: 67952/134262	Time: 991.184/86400
Decision: 67952/134262	Time: 1015.77/86400
Decision: 67952/134262	Time: 1041.93/86400c [startup+1171.67 s]  setting bit 9 to 0
s 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.90 0.95 0.90 2/55 18841
Raw data (stat): 18841 (runsolver) R 18840 29618 29617 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 864299087 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.0011 s]
Raw data (loadavg): 0.92 0.95 0.90 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 24454 0 0 0 946 53 0 0 25 0 1 0 864299087 76824576 13130 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18756 13130 300 300 0 18456 0
vsize: 75024
[startup+20.0016 s]
Raw data (loadavg): 0.93 0.95 0.91 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 25480 0 0 0 1943 56 0 0 25 0 1 0 864299087 79179776 13630 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19331 13630 300 300 0 19031 0
vsize: 77324
[startup+30.0019 s]
Raw data (loadavg): 0.94 0.95 0.91 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 25634 0 0 0 2943 56 0 0 25 0 1 0 864299087 79990784 13784 4294967295 134512640 135726644 3221224592 3221223088 134744006 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19529 13784 300 300 0 19229 0
vsize: 78116
[startup+40.0018 s]
Raw data (loadavg): 0.95 0.95 0.91 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 25847 0 0 0 3942 57 0 0 25 0 1 0 864299087 81330176 13997 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19856 13997 300 300 0 19556 0
vsize: 79424
[startup+50.0032 s]
Raw data (loadavg): 0.96 0.95 0.91 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 25885 0 0 0 4941 58 0 0 25 0 1 0 864299087 81465344 14035 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19889 14035 300 300 0 19589 0
vsize: 79556
[startup+60.0037 s]
Raw data (loadavg): 0.96 0.95 0.91 2/55 18843
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 25935 0 0 0 5941 59 0 0 25 0 1 0 864299087 81735680 14085 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19955 14085 300 300 0 19655 0
vsize: 79820
[startup+70.0036 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 18843
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 26214 0 0 0 6940 60 0 0 25 0 1 0 864299087 81735680 14101 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19955 14101 300 300 0 19655 0
vsize: 79820
[startup+80.005 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 18843
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 26225 0 0 0 7940 60 0 0 25 0 1 0 864299087 81735680 14112 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19955 14112 300 300 0 19655 0
vsize: 79820
[startup+90.0044 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 18843
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 26233 0 0 0 8940 60 0 0 25 0 1 0 864299087 81735680 14120 4294967295 134512640 135726644 3221224592 3221222840 135281200 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19955 14120 300 300 0 19655 0
vsize: 79820
[startup+100.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 18843
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 26509 0 0 0 9938 62 0 0 25 0 1 0 864299087 81735680 14133 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19955 14133 300 300 0 19655 0
vsize: 79820
[startup+110.007 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 18843
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 26534 0 0 0 10938 63 0 0 25 0 1 0 864299087 81735680 14158 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19955 14158 300 300 0 19655 0
vsize: 79820
[startup+120.006 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 18845
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 26541 0 0 0 11937 64 0 0 25 0 1 0 864299087 81735680 14165 4294967295 134512640 135726644 3221224592 3221223136 134736661 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19955 14165 300 300 0 19655 0
vsize: 79820
[startup+130.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 18845
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 26810 0 0 0 12936 65 0 0 25 0 1 0 864299087 81735680 14171 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19955 14171 300 300 0 19655 0
vsize: 79820
[startup+140.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 18845
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 26818 0 0 0 13936 66 0 0 25 0 1 0 864299087 81735680 14179 4294967295 134512640 135726644 3221224592 3221223248 134731265 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19955 14179 300 300 0 19655 0
vsize: 79820
[startup+150.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 18845
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 27089 0 0 0 14934 67 0 0 25 0 1 0 864299087 81735680 14187 4294967295 134512640 135726644 3221224592 3221223088 134744235 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19955 14187 300 300 0 19655 0
vsize: 79820
[startup+160.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 18845
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 27100 0 0 0 15934 67 0 0 25 0 1 0 864299087 81735680 14198 4294967295 134512640 135726644 3221224592 3221223088 134743975 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19955 14198 300 300 0 19655 0
vsize: 79820
[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18845
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 27114 0 0 0 16934 68 0 0 25 0 1 0 864299087 81735680 14212 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19955 14212 300 300 0 19655 0
vsize: 79820
[startup+180.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18847
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 27393 0 0 0 17932 69 0 0 25 0 1 0 864299087 81735680 14228 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19955 14228 300 300 0 19655 0
vsize: 79820
[startup+190.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18847
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 27401 0 0 0 18932 69 0 0 25 0 1 0 864299087 81735680 14236 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19955 14236 300 300 0 19655 0
vsize: 79820
[startup+200.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18847
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 27408 0 0 0 19932 70 0 0 25 0 1 0 864299087 81735680 14243 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19955 14243 300 300 0 19655 0
vsize: 79820
[startup+210.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18847
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 27678 0 0 0 20931 71 0 0 25 0 1 0 864299087 81735680 14250 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19955 14250 300 300 0 19655 0
vsize: 79820
[startup+220.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18847
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 27687 0 0 0 21931 71 0 0 25 0 1 0 864299087 81735680 14259 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19955 14259 300 300 0 19655 0
vsize: 79820
[startup+230.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18847
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 27707 0 0 0 22930 72 0 0 25 0 1 0 864299087 81735680 14279 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19955 14279 300 300 0 19655 0
vsize: 79820
[startup+240.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18849
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 27981 0 0 0 23929 73 0 0 25 0 1 0 864299087 81735680 14290 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19955 14290 300 300 0 19655 0
vsize: 79820
[startup+250.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18849
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 27996 0 0 0 24928 74 0 0 25 0 1 0 864299087 81735680 14305 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19955 14305 300 300 0 19655 0
vsize: 79820
[startup+260.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18849
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 28011 0 0 0 25928 74 0 0 25 0 1 0 864299087 81735680 14320 4294967295 134512640 135726644 3221224592 3221223088 134744028 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 19955 14320 300 300 0 19655 0
vsize: 79820
[startup+270.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18849
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 28294 0 0 0 26927 75 0 0 25 0 1 0 864299087 81735680 14340 4294967295 134512640 135726644 3221224592 3221223268 134745050 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 19955 14340 300 300 0 19655 0
vsize: 79820
[startup+280.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18849
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 28318 0 0 0 27927 75 0 0 25 0 1 0 864299087 81735680 14364 4294967295 134512640 135726644 3221224592 3221223248 134731177 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 19955 14364 300 300 0 19655 0
vsize: 79820
[startup+290.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18849
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 28329 0 0 0 28927 76 0 0 25 0 1 0 864299087 81735680 14375 4294967295 134512640 135726644 3221224592 3221223088 134744036 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 19955 14375 300 300 0 19655 0
vsize: 79820
[startup+300.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18851
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 28604 0 0 0 29926 77 0 0 25 0 1 0 864299087 81735680 14387 4294967295 134512640 135726644 3221224592 3221223232 134744477 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 19955 14387 300 300 0 19655 0
vsize: 79820
[startup+310.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18851
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 28616 0 0 0 30926 77 0 0 25 0 1 0 864299087 90124288 14399 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22003 14399 300 300 0 21703 0
vsize: 88012
[startup+320.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18851
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 28886 0 0 0 31925 78 0 0 25 0 1 0 864299087 90124288 14406 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22003 14406 300 300 0 21703 0
vsize: 88012
[startup+330.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18851
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 28899 0 0 0 32925 78 0 0 25 0 1 0 864299087 90275840 14419 4294967295 134512640 135726644 3221224592 3221223088 134743875 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22040 14419 300 300 0 21740 0
vsize: 88160
[startup+340.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18851
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 28906 0 0 0 33925 78 0 0 25 0 1 0 864299087 90275840 14426 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22040 14426 300 300 0 21740 0
vsize: 88160
[startup+350.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18851
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 29176 0 0 0 34924 79 0 0 25 0 1 0 864299087 90275840 14433 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22040 14433 300 300 0 21740 0
vsize: 88160
[startup+360.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18853
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 29181 0 0 0 35924 80 0 0 25 0 1 0 864299087 90275840 14438 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22040 14438 300 300 0 21740 0
vsize: 88160
[startup+370.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18853
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 29223 0 0 0 36924 80 0 0 25 0 1 0 864299087 90406912 14447 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22072 14447 300 300 0 21772 0
vsize: 88288
[startup+380.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18853
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 29512 0 0 0 37923 81 0 0 25 0 1 0 864299087 90542080 14473 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22105 14473 300 300 0 21805 0
vsize: 88420
[startup+390.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18853
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 29545 0 0 0 38923 81 0 0 25 0 1 0 864299087 90542080 14506 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22105 14506 300 300 0 21805 0
vsize: 88420
[startup+400.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18853
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 29560 0 0 0 39923 81 0 0 25 0 1 0 864299087 90542080 14521 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22105 14521 300 300 0 21805 0
vsize: 88420
[startup+410.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18853
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 29837 0 0 0 40922 82 0 0 25 0 1 0 864299087 90542080 14535 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22105 14535 300 300 0 21805 0
vsize: 88420
[startup+420.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18855
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 29862 0 0 0 41922 82 0 0 25 0 1 0 864299087 90542080 14560 4294967295 134512640 135726644 3221224592 3221223088 134744140 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22105 14560 300 300 0 21805 0
vsize: 88420
[startup+430.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18855
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 29870 0 0 0 42923 82 0 0 25 0 1 0 864299087 90542080 14568 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22105 14568 300 300 0 21805 0
vsize: 88420
[startup+440.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18855
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 30143 0 0 0 43922 83 0 0 25 0 1 0 864299087 90542080 14578 4294967295 134512640 135726644 3221224592 3221223088 134744056 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22105 14578 300 300 0 21805 0
vsize: 88420
[startup+450.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18855
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 30151 0 0 0 44922 83 0 0 25 0 1 0 864299087 90542080 14586 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22105 14586 300 300 0 21805 0
vsize: 88420
[startup+460.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18855
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 30165 0 0 0 45922 83 0 0 25 0 1 0 864299087 90542080 14600 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22105 14600 300 300 0 21805 0
vsize: 88420
[startup+470.018 s]
Raw data (loadavg): 1.07 0.99 0.91 2/55 18855
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 30438 0 0 0 46921 84 0 0 25 0 1 0 864299087 90542080 14610 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22105 14610 300 300 0 21805 0
vsize: 88420
[startup+480.019 s]
Raw data (loadavg): 1.06 0.99 0.91 2/55 18857
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 30469 0 0 0 47921 84 0 0 25 0 1 0 864299087 90542080 14641 4294967295 134512640 135726644 3221224592 3221223088 134744014 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22105 14641 300 300 0 21805 0
vsize: 88420
[startup+490.018 s]
Raw data (loadavg): 1.05 0.99 0.91 2/55 18857
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 30506 0 0 0 48921 84 0 0 25 0 1 0 864299087 90542080 14678 4294967295 134512640 135726644 3221224592 3221222920 134735638 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22105 14678 300 300 0 21805 0
vsize: 88420
[startup+500.02 s]
Raw data (loadavg): 1.11 1.00 0.92 2/55 18857
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 30791 0 0 0 49920 85 0 0 25 0 1 0 864299087 90677248 14700 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22138 14700 300 300 0 21838 0
vsize: 88552
[startup+510.02 s]
Raw data (loadavg): 1.10 1.00 0.92 2/55 18857
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 30792 0 0 0 50921 85 0 0 25 0 1 0 864299087 90677248 14701 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22138 14701 300 300 0 21838 0
vsize: 88552
[startup+520.02 s]
Raw data (loadavg): 1.08 1.00 0.92 2/55 18857
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 30798 0 0 0 51921 85 0 0 25 0 1 0 864299087 90677248 14707 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22138 14707 300 300 0 21838 0
vsize: 88552
[startup+530.02 s]
Raw data (loadavg): 1.07 1.00 0.92 2/55 18857
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 31062 0 0 0 52920 85 0 0 25 0 1 0 864299087 90677248 14708 4294967295 134512640 135726644 3221224592 3221223256 134745066 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22138 14708 300 300 0 21838 0
vsize: 88552
[startup+540.021 s]
Raw data (loadavg): 1.06 1.00 0.92 2/55 18859
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 31064 0 0 0 53921 85 0 0 25 0 1 0 864299087 90677248 14710 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22138 14710 300 300 0 21838 0
vsize: 88552
[startup+550.022 s]
Raw data (loadavg): 1.05 1.00 0.92 2/55 18859
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 31328 0 0 0 54920 86 0 0 25 0 1 0 864299087 90677248 14711 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22138 14711 300 300 0 21838 0
vsize: 88552
[startup+560.022 s]
Raw data (loadavg): 1.04 1.00 0.92 2/55 18859
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 31340 0 0 0 55920 86 0 0 25 0 1 0 864299087 90677248 14723 4294967295 134512640 135726644 3221224592 3221223188 134744137 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22138 14723 300 300 0 21838 0
vsize: 88552
[startup+570.022 s]
Raw data (loadavg): 1.03 1.00 0.92 2/55 18859
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 31349 0 0 0 56920 86 0 0 25 0 1 0 864299087 90677248 14732 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22138 14732 300 300 0 21838 0
vsize: 88552
[startup+580.022 s]
Raw data (loadavg): 1.03 1.00 0.92 2/55 18859
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 31644 0 0 0 57920 87 0 0 25 0 1 0 864299087 90677248 14764 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22138 14764 300 300 0 21838 0
vsize: 88552
[startup+590.022 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 18859
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 31665 0 0 0 58920 87 0 0 25 0 1 0 864299087 90677248 14785 4294967295 134512640 135726644 3221224592 3221223244 134744674 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22138 14785 300 300 0 21838 0
vsize: 88552
[startup+600.023 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 18861
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 31681 0 0 0 59920 87 0 0 25 0 1 0 864299087 90677248 14801 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22138 14801 300 300 0 21838 0
vsize: 88552
[startup+610.024 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 18861
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 31957 0 0 0 60919 88 0 0 25 0 1 0 864299087 90677248 14814 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22138 14814 300 300 0 21838 0
vsize: 88552
[startup+620.023 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 18861
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 31994 0 0 0 61919 88 0 0 25 0 1 0 864299087 90677248 14851 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22138 14851 300 300 0 21838 0
vsize: 88552
[startup+630.024 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 18861
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 32019 0 0 0 62919 89 0 0 25 0 1 0 864299087 90677248 14876 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22138 14876 300 300 0 21838 0
vsize: 88552
[startup+640.025 s]
Raw data (loadavg): 1.14 1.03 0.93 2/55 18861
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 32305 0 0 0 63918 90 0 0 25 0 1 0 864299087 90812416 14899 4294967295 134512640 135726644 3221224592 3221223088 134744006 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22171 14899 300 300 0 21871 0
vsize: 88684
[startup+650.026 s]
Raw data (loadavg): 1.12 1.03 0.93 2/55 18861
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 32307 0 0 0 64919 90 0 0 25 0 1 0 864299087 90812416 14901 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22171 14901 300 300 0 21871 0
vsize: 88684
[startup+660.026 s]
Raw data (loadavg): 1.10 1.03 0.93 2/55 18863
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 32308 0 0 0 65919 90 0 0 25 0 1 0 864299087 90812416 14902 4294967295 134512640 135726644 3221224592 3221222912 134729202 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22171 14902 300 300 0 21871 0
vsize: 88684
[startup+670.026 s]
Raw data (loadavg): 1.08 1.03 0.93 2/55 18863
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 32574 0 0 0 66918 90 0 0 25 0 1 0 864299087 90812416 14905 4294967295 134512640 135726644 3221224592 3221223088 134744011 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22171 14905 300 300 0 21871 0
vsize: 88684
[startup+680.027 s]
Raw data (loadavg): 1.07 1.03 0.93 2/55 18863
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 32583 0 0 0 67918 90 0 0 25 0 1 0 864299087 90812416 14914 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22171 14914 300 300 0 21871 0
vsize: 88684
[startup+690.027 s]
Raw data (loadavg): 1.06 1.03 0.93 2/55 18863
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 32626 0 0 0 68918 91 0 0 25 0 1 0 864299087 90812416 14957 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22171 14957 300 300 0 21871 0
vsize: 88684
[startup+700.028 s]
Raw data (loadavg): 1.05 1.02 0.93 2/55 18863
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 32916 0 0 0 69917 92 0 0 25 0 1 0 864299087 90812416 14984 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22171 14984 300 300 0 21871 0
vsize: 88684
[startup+710.029 s]
Raw data (loadavg): 1.04 1.02 0.93 2/55 18863
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 32931 0 0 0 70917 92 0 0 25 0 1 0 864299087 90812416 14999 4294967295 134512640 135726644 3221224592 3221223088 134744014 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22171 14999 300 300 0 21871 0
vsize: 88684
[startup+720.029 s]
Raw data (loadavg): 1.04 1.02 0.93 2/55 18865
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 33208 0 0 0 71916 93 0 0 25 0 1 0 864299087 90812416 15013 4294967295 134512640 135726644 3221224592 3221222912 134729210 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22171 15013 300 300 0 21871 0
vsize: 88684
[startup+730.029 s]
Raw data (loadavg): 1.03 1.02 0.93 2/55 18865
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 33245 0 0 0 72916 93 0 0 25 0 1 0 864299087 90812416 15050 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22171 15050 300 300 0 21871 0
vsize: 88684
[startup+740.029 s]
Raw data (loadavg): 1.02 1.02 0.93 2/55 18865
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 33269 0 0 0 73916 93 0 0 25 0 1 0 864299087 90812416 15074 4294967295 134512640 135726644 3221224592 3221223088 134743964 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22171 15074 300 300 0 21871 0
vsize: 88684
[startup+750.03 s]
Raw data (loadavg): 1.02 1.02 0.93 2/55 18865
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 33565 0 0 0 74916 94 0 0 25 0 1 0 864299087 90812416 15107 4294967295 134512640 135726644 3221224592 3221222912 134728916 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22171 15107 300 300 0 21871 0
vsize: 88684
[startup+760.03 s]
Raw data (loadavg): 1.02 1.02 0.93 2/55 18865
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 33592 0 0 0 75916 94 0 0 25 0 1 0 864299087 90812416 15134 4294967295 134512640 135726644 3221224592 3221222840 135282525 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22171 15134 300 300 0 21871 0
vsize: 88684
[startup+770.03 s]
Raw data (loadavg): 1.01 1.02 0.93 2/55 18865
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 33607 0 0 0 76916 94 0 0 25 0 1 0 864299087 90812416 15149 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22171 15149 300 300 0 21871 0
vsize: 88684
[startup+780.031 s]
Raw data (loadavg): 1.01 1.02 0.93 2/55 18867
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 33879 0 0 0 77916 95 0 0 25 0 1 0 864299087 90812416 15158 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22171 15158 300 300 0 21871 0
vsize: 88684
[startup+790.031 s]
Raw data (loadavg): 1.01 1.02 0.93 2/55 18867
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 33880 0 0 0 78916 95 0 0 25 0 1 0 864299087 90812416 15159 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22171 15159 300 300 0 21871 0
vsize: 88684
[startup+800.032 s]
Raw data (loadavg): 1.01 1.01 0.93 2/55 18867
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 33882 0 0 0 79916 95 0 0 25 0 1 0 864299087 90812416 15161 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22171 15161 300 300 0 21871 0
vsize: 88684
[startup+810.033 s]
Raw data (loadavg): 1.01 1.01 0.93 2/55 18867
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 33883 0 0 0 80916 96 0 0 25 0 1 0 864299087 90812416 15162 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22171 15162 300 300 0 21871 0
vsize: 88684
[startup+820.033 s]
Raw data (loadavg): 1.00 1.01 0.93 2/55 18867
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 34148 0 0 0 81915 97 0 0 25 0 1 0 864299087 90812416 15164 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22171 15164 300 300 0 21871 0
vsize: 88684
[startup+830.033 s]
Raw data (loadavg): 1.00 1.01 0.93 2/55 18867
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 34149 0 0 0 82915 97 0 0 25 0 1 0 864299087 90812416 15165 4294967295 134512640 135726644 3221224592 3221223232 134744477 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22171 15165 300 300 0 21871 0
vsize: 88684
[startup+840.033 s]
Raw data (loadavg): 1.00 1.01 0.93 2/55 18869
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 34151 0 0 0 83915 97 0 0 25 0 1 0 864299087 90812416 15167 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22171 15167 300 300 0 21871 0
vsize: 88684
[startup+850.034 s]
Raw data (loadavg): 1.00 1.01 0.93 2/55 18869
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 34421 0 0 0 84914 98 0 0 25 0 1 0 864299087 90812416 15174 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22171 15174 300 300 0 21871 0
vsize: 88684
[startup+860.034 s]
Raw data (loadavg): 1.00 1.01 0.93 2/55 18869
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 34423 0 0 0 85914 98 0 0 25 0 1 0 864299087 90812416 15176 4294967295 134512640 135726644 3221224592 3221223088 134744150 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22171 15176 300 300 0 21871 0
vsize: 88684
[startup+870.034 s]
Raw data (loadavg): 1.00 1.01 0.93 2/55 18869
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 34462 0 0 0 86914 98 0 0 25 0 1 0 864299087 90812416 15215 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22171 15215 300 300 0 21871 0
vsize: 88684
[startup+880.035 s]
Raw data (loadavg): 1.00 1.01 0.93 2/55 18869
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 34616 0 0 0 87914 98 0 0 25 0 1 0 864299087 91209728 15304 4294967295 134512640 135726644 3221224592 3221223088 134744235 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22268 15304 300 300 0 21968 0
vsize: 89072
[startup+890.034 s]
Raw data (loadavg): 1.00 1.01 0.93 2/55 18869
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 34641 0 0 0 88914 99 0 0 25 0 1 0 864299087 91209728 15329 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22268 15329 300 300 0 21968 0
vsize: 89072
[startup+900.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 18871
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 34653 0 0 0 89914 99 0 0 25 0 1 0 864299087 91209728 15341 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22268 15341 300 300 0 21968 0
vsize: 89072
[startup+910.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 18871
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 34942 0 0 0 90913 100 0 0 25 0 1 0 864299087 91209728 15367 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22268 15367 300 300 0 21968 0
vsize: 89072
[startup+920.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 18871
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 34978 0 0 0 91913 100 0 0 25 0 1 0 864299087 91209728 15403 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22268 15403 300 300 0 21968 0
vsize: 89072
[startup+930.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 18871
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 35012 0 0 0 92913 100 0 0 25 0 1 0 864299087 91209728 15437 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22268 15437 300 300 0 21968 0
vsize: 89072
[startup+940.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 18871
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 35043 0 0 0 93913 100 0 0 25 0 1 0 864299087 91209728 15468 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22268 15468 300 300 0 21968 0
vsize: 89072
[startup+950.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 18871
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 35078 0 0 0 94913 100 0 0 25 0 1 0 864299087 91209728 15503 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22268 15503 300 300 0 21968 0
vsize: 89072
[startup+960.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 18873
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 35368 0 0 0 95913 102 0 0 25 0 1 0 864299087 91209728 15530 4294967295 134512640 135726644 3221224592 3221223088 134744295 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22268 15530 300 300 0 21968 0
vsize: 89072
[startup+970.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 18873
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 35409 0 0 0 96912 102 0 0 25 0 1 0 864299087 91209728 15571 4294967295 134512640 135726644 3221224592 3221223184 134760424 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22268 15571 300 300 0 21968 0
vsize: 89072
[startup+980.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 18873
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 35712 0 0 0 97912 102 0 0 25 0 1 0 864299087 91209728 15611 4294967295 134512640 135726644 3221224592 3221223088 134744169 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22268 15611 300 300 0 21968 0
vsize: 89072
[startup+990.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 18873
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 35749 0 0 0 98912 103 0 0 25 0 1 0 864299087 91537408 15648 4294967295 134512640 135726644 3221224592 3221223280 134744911 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22348 15648 300 300 0 22048 0
vsize: 89392
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 18873
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 35751 0 0 0 99912 103 0 0 25 0 1 0 864299087 91537408 15650 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22348 15650 300 300 0 22048 0
vsize: 89392
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 18873
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 36016 0 0 0 100911 104 0 0 25 0 1 0 864299087 91537408 15652 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22348 15652 300 300 0 22048 0
vsize: 89392
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 18875
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 36018 0 0 0 101912 104 0 0 25 0 1 0 864299087 91537408 15654 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22348 15654 300 300 0 22048 0
vsize: 89392
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 18875
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 36019 0 0 0 102911 104 0 0 25 0 1 0 864299087 91537408 15655 4294967295 134512640 135726644 3221224592 3221223088 134744295 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22348 15655 300 300 0 22048 0
vsize: 89392
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 18875
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 36284 0 0 0 103911 104 0 0 25 0 1 0 864299087 91537408 15657 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22348 15657 300 300 0 22048 0
vsize: 89392
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 18875
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 36286 0 0 0 104912 104 0 0 25 0 1 0 864299087 91537408 15659 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22348 15659 300 300 0 22048 0
vsize: 89392
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 18875
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 36550 0 0 0 105911 105 0 0 25 0 1 0 864299087 91537408 15660 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22348 15660 300 300 0 22048 0
vsize: 89392
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 18875
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 36552 0 0 0 106911 105 0 0 25 0 1 0 864299087 91537408 15662 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22348 15662 300 300 0 22048 0
vsize: 89392
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 18877
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 36553 0 0 0 107911 105 0 0 25 0 1 0 864299087 91537408 15663 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22348 15663 300 300 0 22048 0
vsize: 89392
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 18877
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 36555 0 0 0 108911 105 0 0 25 0 1 0 864299087 91537408 15665 4294967295 134512640 135726644 3221224592 3221222912 134728940 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22348 15665 300 300 0 22048 0
vsize: 89392
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 18877
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 36556 0 0 0 109911 105 0 0 25 0 1 0 864299087 91537408 15666 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22348 15666 300 300 0 22048 0
vsize: 89392
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 18877
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 36557 0 0 0 110911 105 0 0 25 0 1 0 864299087 91537408 15667 4294967295 134512640 135726644 3221224592 3221223184 134760010 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22348 15667 300 300 0 22048 0
vsize: 89392
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 18877
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 36559 0 0 0 111911 105 0 0 25 0 1 0 864299087 91537408 15669 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22348 15669 300 300 0 22048 0
vsize: 89392
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 18877
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 36560 0 0 0 112912 106 0 0 25 0 1 0 864299087 91537408 15670 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22348 15670 300 300 0 22048 0
vsize: 89392
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 18879
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 36595 0 0 0 113912 106 0 0 25 0 1 0 864299087 91537408 15705 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22348 15705 300 300 0 22048 0
vsize: 89392
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 18879
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 36650 0 0 0 114912 106 0 0 25 0 1 0 864299087 91537408 15760 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22348 15760 300 300 0 22048 0
vsize: 89392
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 18879
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 36698 0 0 0 115911 106 0 0 25 0 1 0 864299087 91537408 15808 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22348 15808 300 300 0 22048 0
vsize: 89392
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 18879
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 36759 0 0 0 116911 106 0 0 25 0 1 0 864299087 91537408 15869 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22348 15869 300 300 0 22048 0
vsize: 89392
[startup+1180.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 18879
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 37070 0 0 0 117910 107 0 0 25 0 1 0 864299087 91537408 15917 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22348 15917 300 300 0 22048 0
vsize: 89392
[startup+1190.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 18879
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 37184 0 0 0 118910 108 0 0 25 0 1 0 864299087 91803648 15998 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22413 15998 300 300 0 22113 0
vsize: 89652
[startup+1200.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 18881
Raw data (stat): 18841 (pb2sat) R 18840 29618 29617 0 -1 0 37202 0 0 0 119910 108 0 0 25 0 1 0 864299087 91803648 16016 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22413 16016 300 300 0 22113 0
vsize: 89652
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.66 s]
Raw data (loadavg): 1.00 1.00 0.93 1/55 18881
Raw data (stat): 18841 (pb2sat) Z 18840 29618 29617 0 -1 12 37203 0 0 0 119968 111 0 0 25 0 1 0 864299087 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.66
CPU time (s): 1200.8
CPU user time (s): 1199.69
CPU system time (s): 1.11383
CPU usage (%): 100.012
Max. virtual memory (Kb): 89652
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	1000
#### END VERIFIER DATA ####