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-3.opb
MD5SUM	063fe125a766c5e46d0ecbf211fd8049
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.04584
Number of variables	450
Total number of constraints	17809
Number of constraints which are clauses	17809
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 34951

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc26 THE 2005-05-28 11:16:00 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24242 boxname=wulflinc26 idbench=316 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  063fe125a766c5e46d0ecbf211fd8049  /oldhome/oroussel/tmp/wulflinc26/normalized-frb30-15-3.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc26/normalized-frb30-15-3.opb
IDLAUNCH: 24242
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.061
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.061
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:        706460 kB
Buffers:         32444 kB
Cached:         264244 kB
SwapCached:        744 kB
Active:          21508 kB
Inactive:       277280 kB
HighTotal:      131008 kB
HighFree:        75796 kB
LowTotal:       903652 kB
LowFree:        630664 kB
SwapTotal:     2097892 kB
SwapFree:      2096256 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5088 kB
Slab:            23704 kB
Committed_AS:    63736 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-28 11:36:02 (client local time) WITH STATUS 0 IN 1200.7 SECONDS
stats: 24242 7 1200.7 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

Decision: 36315/102389	Time: 43.9063/86400
Decision: 36315/102389	Time: 65.0291/86400
Decision: 38389/102389	Time: 102.786/86400
Decision: 38389/102389	Time: 123.775/86400c [startup+391.619 s]  setting bit 8 to 0

Decision: 16685/102389	Time: 25.5951/86400
Decision: 16809/102389	Time: 41.4877/86400
Decision: 16817/102389	Time: 56.4784/86400
Decision: 16945/102389	Time: 80.4358/86400
Decision: 16945/102389	Time: 94.1157/86400
Decision: 16945/102389	Time: 107.996/86400
Decision: 17067/102389	Time: 121.4/86400
Decision: 17067/102389	Time: 137.258/86400
Decision: 17067/102389	Time: 149.773/86400
Decision: 17067/102389	Time: 162.957/86400
Decision: 17067/102389	Time: 179.381/86400
Decision: 17067/102389	Time: 193.56/86400
Decision: 32631/102389	Time: 217.717/86400
Decision: 32631/102389	Time: 231.48/86400
Decision: 32631/102389	Time: 245.099/86400
Decision: 35787/102389	Time: 302.784/86400
Decision: 59516/102389	Time: 319.558/86400c [startup+752.275 s]  setting bit 7 to 0

Decision: 59176/102389	Time: 66.4539/86400
Decision: 59176/102389	Time: 74.5867/86400
Decision: 59302/102389	Time: 87.1957/86400
Decision: 59304/102389	Time: 103.327/86400
Decision: 59429/102389	Time: 120.606/86400
Decision: 59486/102389	Time: 137.56/86400
Decision: 59733/102389	Time: 154.051/86400
Decision: 59733/102389	Time: 165.122/86400
Decision: 59733/102389	Time: 175.56/86400
Decision: 62895/102389	Time: 198.977/86400
Decision: 63291/102389	Time: 220.643/86400
Decision: 63832/102389	Time: 234.463/86400c [startup+1006.59 s]  setting bit 6 to 0

Decision: 62461/102389	Time: 72.084/86400
Decision: 62492/102389	Time: 80.5937/86400
Decision: 62492/102389	Time: 86.6508/86400
Decision: 62582/102389	Time: 98.468/86400
Decision: 62582/102389	Time: 105.596/86400
Decision: 62582/102389	Time: 112.565/86400
Decision: 62582/102389	Time: 120.118/86400
Decision: 62582/102389	Time: 127.591/86400
Decision: 62646/102389	Time: 137.795/86400
Decision: 62856/102389	Time: 152.153/86400
Decision: 62856/102389	Time: 159.332/86400
Decision: 62856/102389	Time: 165.907/86400
Decision: 62856/102389	Time: 173.271/86400
Decision: 62856/102389	Time: 179.557/86400
Decision: 62856/102389	Time: 188.551/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.65 0.83 0.87 2/54 1171
Raw data (stat): 1171 (runsolver) R 1170 20687 20686 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 864375995 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0002 s]
Raw data (loadavg): 0.70 0.84 0.87 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 15948 0 0 0 960 38 0 0 25 0 1 0 864375995 50626560 10299 4294967295 134512640 135726644 3221224592 3221223184 134760424 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12360 10299 300 300 0 12060 0
vsize: 49440
[startup+19.9998 s]
Raw data (loadavg): 0.75 0.84 0.87 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 16394 0 0 0 1960 39 0 0 25 0 1 0 864375995 52838400 10712 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12900 10712 300 300 0 12600 0
vsize: 51600
[startup+30.0005 s]
Raw data (loadavg): 0.79 0.85 0.87 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 16644 0 0 0 2959 40 0 0 25 0 1 0 864375995 54091776 10929 4294967295 134512640 135726644 3221224592 3221223088 134744046 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13206 10929 300 300 0 12906 0
vsize: 52824
[startup+40.0002 s]
Raw data (loadavg): 0.82 0.85 0.87 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 16688 0 0 0 3959 40 0 0 25 0 1 0 864375995 54091776 10973 4294967295 134512640 135726644 3221224592 3221222832 134782862 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13206 10973 300 300 0 12906 0
vsize: 52824
[startup+49.9999 s]
Raw data (loadavg): 0.85 0.86 0.87 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 16944 0 0 0 4958 41 0 0 25 0 1 0 864375995 54226944 11029 4294967295 134512640 135726644 3221224592 3221223088 134744377 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13239 11029 300 300 0 12939 0
vsize: 52956
[startup+60.0006 s]
Raw data (loadavg): 0.87 0.86 0.87 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 16945 0 0 0 5957 41 0 0 25 0 1 0 864375995 54226944 11030 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13239 11030 300 300 0 12939 0
vsize: 52956
[startup+70.0012 s]
Raw data (loadavg): 0.89 0.86 0.87 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 16960 0 0 0 6958 41 0 0 25 0 1 0 864375995 54226944 11045 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13239 11045 300 300 0 12939 0
vsize: 52956
[startup+80.0014 s]
Raw data (loadavg): 0.91 0.87 0.87 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 17250 0 0 0 7956 42 0 0 25 0 1 0 864375995 54358016 11102 4294967295 134512640 135726644 3221224592 3221223088 134744153 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13271 11102 300 300 0 12971 0
vsize: 53084
[startup+90.0016 s]
Raw data (loadavg): 0.92 0.87 0.87 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 17311 0 0 0 8955 43 0 0 25 0 1 0 864375995 54624256 11163 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13336 11163 300 300 0 13036 0
vsize: 53344
[startup+100.001 s]
Raw data (loadavg): 0.93 0.88 0.87 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 17329 0 0 0 9955 43 0 0 25 0 1 0 864375995 54624256 11181 4294967295 134512640 135726644 3221224592 3221223088 134744113 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13336 11181 300 300 0 13036 0
vsize: 53344
[startup+110.002 s]
Raw data (loadavg): 0.94 0.88 0.88 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 17545 0 0 0 10955 43 0 0 25 0 1 0 864375995 54624256 11197 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13336 11197 300 300 0 13036 0
vsize: 53344
[startup+120.003 s]
Raw data (loadavg): 0.95 0.88 0.88 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 17862 0 0 0 11955 44 0 0 25 0 1 0 864375995 56262656 11514 4294967295 134512640 135726644 3221224592 3221223088 134743961 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13736 11514 300 300 0 13436 0
vsize: 54944
[startup+130.002 s]
Raw data (loadavg): 0.96 0.89 0.88 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 18317 0 0 0 12953 46 0 0 25 0 1 0 864375995 57454592 11769 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14027 11769 300 300 0 13727 0
vsize: 56108
[startup+140.002 s]
Raw data (loadavg): 0.96 0.89 0.88 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 18335 0 0 0 13953 46 0 0 25 0 1 0 864375995 57454592 11787 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14027 11787 300 300 0 13727 0
vsize: 56108
[startup+150.003 s]
Raw data (loadavg): 0.97 0.89 0.88 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 18348 0 0 0 14953 46 0 0 25 0 1 0 864375995 57454592 11800 4294967295 134512640 135726644 3221224592 3221223088 134743999 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14027 11800 300 300 0 13727 0
vsize: 56108
[startup+160.003 s]
Raw data (loadavg): 0.97 0.89 0.88 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 18363 0 0 0 15953 46 0 0 25 0 1 0 864375995 57454592 11815 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14027 11815 300 300 0 13727 0
vsize: 56108
[startup+170.003 s]
Raw data (loadavg): 0.98 0.90 0.88 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 18383 0 0 0 16953 46 0 0 25 0 1 0 864375995 57454592 11835 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14027 11835 300 300 0 13727 0
vsize: 56108
[startup+180.003 s]
Raw data (loadavg): 0.98 0.90 0.88 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 18400 0 0 0 17953 46 0 0 25 0 1 0 864375995 57454592 11852 4294967295 134512640 135726644 3221224592 3221223280 134744980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14027 11852 300 300 0 13727 0
vsize: 56108
[startup+190.003 s]
Raw data (loadavg): 0.98 0.90 0.88 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 18418 0 0 0 18953 46 0 0 25 0 1 0 864375995 57454592 11870 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14027 11870 300 300 0 13727 0
vsize: 56108
[startup+200.003 s]
Raw data (loadavg): 0.98 0.91 0.88 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 18434 0 0 0 19953 47 0 0 25 0 1 0 864375995 57454592 11886 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14027 11886 300 300 0 13727 0
vsize: 56108
[startup+210.004 s]
Raw data (loadavg): 0.99 0.91 0.89 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 18453 0 0 0 20953 47 0 0 25 0 1 0 864375995 57454592 11905 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14027 11905 300 300 0 13727 0
vsize: 56108
[startup+220.004 s]
Raw data (loadavg): 0.99 0.91 0.89 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 18469 0 0 0 21953 47 0 0 25 0 1 0 864375995 57454592 11921 4294967295 134512640 135726644 3221224592 3221223088 134744140 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14027 11921 300 300 0 13727 0
vsize: 56108
[startup+230.004 s]
Raw data (loadavg): 0.99 0.91 0.89 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 18487 0 0 0 22953 47 0 0 25 0 1 0 864375995 57454592 11939 4294967295 134512640 135726644 3221224592 3221223216 134744606 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14027 11939 300 300 0 13727 0
vsize: 56108
[startup+240.005 s]
Raw data (loadavg): 0.99 0.92 0.89 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 18510 0 0 0 23953 48 0 0 25 0 1 0 864375995 57454592 11962 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14027 11962 300 300 0 13727 0
vsize: 56108
[startup+250.004 s]
Raw data (loadavg): 0.99 0.92 0.89 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 18537 0 0 0 24953 48 0 0 25 0 1 0 864375995 57589760 11989 4294967295 134512640 135726644 3221224592 3221223088 134743978 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14060 11989 300 300 0 13760 0
vsize: 56240
[startup+260.006 s]
Raw data (loadavg): 0.99 0.92 0.89 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 18560 0 0 0 25953 48 0 0 25 0 1 0 864375995 57589760 12012 4294967295 134512640 135726644 3221224592 3221223088 134744254 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14060 12012 300 300 0 13760 0
vsize: 56240
[startup+270.005 s]
Raw data (loadavg): 0.99 0.92 0.89 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 18581 0 0 0 26953 48 0 0 25 0 1 0 864375995 57589760 12033 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14060 12033 300 300 0 13760 0
vsize: 56240
[startup+280.005 s]
Raw data (loadavg): 0.99 0.92 0.89 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 18603 0 0 0 27953 48 0 0 25 0 1 0 864375995 57589760 12055 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14060 12055 300 300 0 13760 0
vsize: 56240
[startup+290.005 s]
Raw data (loadavg): 0.99 0.93 0.89 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 18643 0 0 0 28953 49 0 0 25 0 1 0 864375995 57724928 12095 4294967295 134512640 135726644 3221224592 3221223088 134744223 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14093 12095 300 300 0 13793 0
vsize: 56372
[startup+300.005 s]
Raw data (loadavg): 0.99 0.93 0.89 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 18677 0 0 0 29953 49 0 0 25 0 1 0 864375995 57868288 12129 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14128 12129 300 300 0 13828 0
vsize: 56512
[startup+310.005 s]
Raw data (loadavg): 0.99 0.93 0.90 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 18697 0 0 0 30953 49 0 0 25 0 1 0 864375995 57868288 12149 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14128 12149 300 300 0 13828 0
vsize: 56512
[startup+320.005 s]
Raw data (loadavg): 0.99 0.93 0.90 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 18718 0 0 0 31953 49 0 0 25 0 1 0 864375995 57868288 12170 4294967295 134512640 135726644 3221224592 3221222840 135280958 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14128 12170 300 300 0 13828 0
vsize: 56512
[startup+330.004 s]
Raw data (loadavg): 0.99 0.93 0.90 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 18747 0 0 0 32953 49 0 0 25 0 1 0 864375995 57868288 12199 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14128 12199 300 300 0 13828 0
vsize: 56512
[startup+340.005 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 18772 0 0 0 33953 50 0 0 25 0 1 0 864375995 58003456 12224 4294967295 134512640 135726644 3221224592 3221223136 134736730 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14161 12224 300 300 0 13861 0
vsize: 56644
[startup+350.005 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 18796 0 0 0 34953 50 0 0 25 0 1 0 864375995 58003456 12248 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14161 12248 300 300 0 13861 0
vsize: 56644
[startup+360.005 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 18823 0 0 0 35953 50 0 0 25 0 1 0 864375995 58003456 12275 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14161 12275 300 300 0 13861 0
vsize: 56644
[startup+370.005 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 18849 0 0 0 36953 51 0 0 25 0 1 0 864375995 58003456 12301 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14161 12301 300 300 0 13861 0
vsize: 56644
[startup+380.005 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 18941 0 0 0 37952 51 0 0 25 0 1 0 864375995 58265600 12328 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14225 12328 300 300 0 13925 0
vsize: 56900
[startup+390.005 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 18986 0 0 0 38952 51 0 0 25 0 1 0 864375995 58400768 12373 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14258 12373 300 300 0 13958 0
vsize: 57032
[startup+400.005 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 19287 0 0 0 39950 53 0 0 25 0 1 0 864375995 58531840 12441 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14290 12441 300 300 0 13990 0
vsize: 57160
[startup+410.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 19339 0 0 0 40949 54 0 0 25 0 1 0 864375995 66920448 12493 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16338 12493 300 300 0 16038 0
vsize: 65352
[startup+420.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 19577 0 0 0 41948 55 0 0 25 0 1 0 864375995 66920448 12531 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16338 12531 300 300 0 16038 0
vsize: 65352
[startup+430.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 19588 0 0 0 42948 55 0 0 25 0 1 0 864375995 67051520 12542 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16370 12542 300 300 0 16070 0
vsize: 65480
[startup+440.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 19797 0 0 0 43947 56 0 0 25 0 1 0 864375995 67051520 12551 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16370 12551 300 300 0 16070 0
vsize: 65480
[startup+450.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 20033 0 0 0 44946 57 0 0 25 0 1 0 864375995 67051520 12587 4294967295 134512640 135726644 3221224592 3221223088 134744011 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16370 12587 300 300 0 16070 0
vsize: 65480
[startup+460.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 20086 0 0 0 45947 57 0 0 25 0 1 0 864375995 67051520 12640 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16370 12640 300 300 0 16070 0
vsize: 65480
[startup+470.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 20140 0 0 0 46946 57 0 0 25 0 1 0 864375995 67182592 12694 4294967295 134512640 135726644 3221224592 3221223088 134744020 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16402 12694 300 300 0 16102 0
vsize: 65608
[startup+480.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 20391 0 0 0 47945 58 0 0 25 0 1 0 864375995 67182592 12745 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16402 12745 300 300 0 16102 0
vsize: 65608
[startup+490.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 20642 0 0 0 48944 59 0 0 25 0 1 0 864375995 67182592 12796 4294967295 134512640 135726644 3221224592 3221223248 134731251 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16402 12796 300 300 0 16102 0
vsize: 65608
[startup+500.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 20893 0 0 0 49944 60 0 0 25 0 1 0 864375995 67317760 12847 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16435 12847 300 300 0 16135 0
vsize: 65740
[startup+510.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 20931 0 0 0 50944 60 0 0 25 0 1 0 864375995 67317760 12885 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16435 12885 300 300 0 16135 0
vsize: 65740
[startup+520.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 21342 0 0 0 51943 61 0 0 25 0 1 0 864375995 68239360 13096 4294967295 134512640 135726644 3221224592 3221223088 134743975 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16660 13096 300 300 0 16360 0
vsize: 66640
[startup+530.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 21583 0 0 0 52942 62 0 0 25 0 1 0 864375995 68239360 13137 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16660 13137 300 300 0 16360 0
vsize: 66640
[startup+540.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 21621 0 0 0 53942 62 0 0 25 0 1 0 864375995 68239360 13175 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16660 13175 300 300 0 16360 0
vsize: 66640
[startup+550.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 21870 0 0 0 54941 64 0 0 25 0 1 0 864375995 68239360 13224 4294967295 134512640 135726644 3221224592 3221223184 134760424 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16660 13224 300 300 0 16360 0
vsize: 66640
[startup+560.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 22124 0 0 0 55940 65 0 0 25 0 1 0 864375995 68374528 13278 4294967295 134512640 135726644 3221224592 3221223088 134743951 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16693 13278 300 300 0 16393 0
vsize: 66772
[startup+570.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 22176 0 0 0 56940 65 0 0 25 0 1 0 864375995 68374528 13330 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16693 13330 300 300 0 16393 0
vsize: 66772
[startup+580.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 22391 0 0 0 57939 66 0 0 25 0 1 0 864375995 68509696 13345 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16726 13345 300 300 0 16426 0
vsize: 66904
[startup+590.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 22634 0 0 0 58939 67 0 0 25 0 1 0 864375995 68509696 13388 4294967295 134512640 135726644 3221224592 3221223088 134744377 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16726 13388 300 300 0 16426 0
vsize: 66904
[startup+600.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 22690 0 0 0 59938 67 0 0 25 0 1 0 864375995 68644864 13444 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16759 13444 300 300 0 16459 0
vsize: 67036
[startup+610.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 22942 0 0 0 60938 68 0 0 25 0 1 0 864375995 68644864 13496 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16759 13496 300 300 0 16459 0
vsize: 67036
[startup+620.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 22980 0 0 0 61937 69 0 0 25 0 1 0 864375995 68644864 13534 4294967295 134512640 135726644 3221224592 3221223280 134744966 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16759 13534 300 300 0 16459 0
vsize: 67036
[startup+630.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 23227 0 0 0 62936 70 0 0 25 0 1 0 864375995 68784128 13581 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16793 13581 300 300 0 16493 0
vsize: 67172
[startup+640.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 23472 0 0 0 63936 71 0 0 25 0 1 0 864375995 68784128 13626 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16793 13626 300 300 0 16493 0
vsize: 67172
[startup+650.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 23515 0 0 0 64935 71 0 0 25 0 1 0 864375995 68923392 13669 4294967295 134512640 135726644 3221224592 3221222976 134758349 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16827 13669 300 300 0 16527 0
vsize: 67308
[startup+660.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 23568 0 0 0 65935 72 0 0 25 0 1 0 864375995 68923392 13722 4294967295 134512640 135726644 3221224592 3221223088 134744382 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16827 13722 300 300 0 16527 0
vsize: 67308
[startup+670.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 23613 0 0 0 66935 72 0 0 25 0 1 0 864375995 69058560 13767 4294967295 134512640 135726644 3221224592 3221222956 135287443 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16860 13767 300 300 0 16560 0
vsize: 67440
[startup+680.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 23653 0 0 0 67934 73 0 0 25 0 1 0 864375995 69058560 13807 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16860 13807 300 300 0 16560 0
vsize: 67440
[startup+690.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 23700 0 0 0 68934 73 0 0 25 0 1 0 864375995 69197824 13854 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16894 13854 300 300 0 16594 0
vsize: 67576
[startup+700.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 23915 0 0 0 69933 74 0 0 25 0 1 0 864375995 69197824 13869 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16894 13869 300 300 0 16594 0
vsize: 67576
[startup+710.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 23918 0 0 0 70933 75 0 0 25 0 1 0 864375995 69197824 13872 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16894 13872 300 300 0 16594 0
vsize: 67576
[startup+720.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 24121 0 0 0 71933 75 0 0 25 0 1 0 864375995 69197824 13875 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16894 13875 300 300 0 16594 0
vsize: 67576
[startup+730.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 24128 0 0 0 72933 75 0 0 25 0 1 0 864375995 69197824 13882 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16894 13882 300 300 0 16594 0
vsize: 67576
[startup+740.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 24133 0 0 0 73933 76 0 0 25 0 1 0 864375995 69197824 13887 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16894 13887 300 300 0 16594 0
vsize: 67576
[startup+750.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 24138 0 0 0 74933 76 0 0 25 0 1 0 864375995 69197824 13892 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16894 13892 300 300 0 16594 0
vsize: 67576
[startup+760.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 24343 0 0 0 75932 76 0 0 25 0 1 0 864375995 69197824 13897 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16894 13897 300 300 0 16594 0
vsize: 67576
[startup+770.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 24347 0 0 0 76932 77 0 0 25 0 1 0 864375995 69197824 13901 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16894 13901 300 300 0 16594 0
vsize: 67576
[startup+780.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 24355 0 0 0 77932 77 0 0 25 0 1 0 864375995 69197824 13909 4294967295 134512640 135726644 3221224592 3221223088 134744142 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16894 13909 300 300 0 16594 0
vsize: 67576
[startup+790.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 24395 0 0 0 78931 78 0 0 25 0 1 0 864375995 69197824 13949 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16894 13949 300 300 0 16594 0
vsize: 67576
[startup+800.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 24479 0 0 0 79931 78 0 0 25 0 1 0 864375995 69480448 14033 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16963 14033 300 300 0 16663 0
vsize: 67852
[startup+810.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 24533 0 0 0 80931 78 0 0 25 0 1 0 864375995 69480448 14087 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16963 14087 300 300 0 16663 0
vsize: 67852
[startup+820.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 24786 0 0 0 81931 79 0 0 25 0 1 0 864375995 69615616 14140 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16996 14140 300 300 0 16696 0
vsize: 67984
[startup+830.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 24999 0 0 0 82930 80 0 0 25 0 1 0 864375995 69615616 14153 4294967295 134512640 135726644 3221224592 3221223088 134744039 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16996 14153 300 300 0 16696 0
vsize: 67984
[startup+840.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 25213 0 0 0 83929 81 0 0 25 0 1 0 864375995 69615616 14167 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16996 14167 300 300 0 16696 0
vsize: 67984
[startup+850.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 25226 0 0 0 84929 81 0 0 25 0 1 0 864375995 69615616 14180 4294967295 134512640 135726644 3221224592 3221223088 134743987 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16996 14180 300 300 0 16696 0
vsize: 67984
[startup+860.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 25439 0 0 0 85929 82 0 0 25 0 1 0 864375995 69750784 14193 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17029 14193 300 300 0 16729 0
vsize: 68116
[startup+870.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 25466 0 0 0 86928 82 0 0 25 0 1 0 864375995 69750784 14220 4294967295 134512640 135726644 3221224592 3221223088 134743907 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17029 14220 300 300 0 16729 0
vsize: 68116
[startup+880.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 25670 0 0 0 87928 83 0 0 25 0 1 0 864375995 69750784 14224 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17029 14224 300 300 0 16729 0
vsize: 68116
[startup+890.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 25879 0 0 0 88927 84 0 0 25 0 1 0 864375995 69885952 14233 4294967295 134512640 135726644 3221224592 3221223216 134744518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17062 14233 300 300 0 16762 0
vsize: 68248
[startup+900.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 25890 0 0 0 89927 84 0 0 25 0 1 0 864375995 69885952 14244 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17062 14244 300 300 0 16762 0
vsize: 68248
[startup+910.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 26107 0 0 0 90926 85 0 0 25 0 1 0 864375995 69885952 14261 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17062 14261 300 300 0 16762 0
vsize: 68248
[startup+920.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 26323 0 0 0 91926 86 0 0 25 0 1 0 864375995 70021120 14277 4294967295 134512640 135726644 3221224592 3221223088 134744382 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17095 14277 300 300 0 16795 0
vsize: 68380
[startup+930.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 26534 0 0 0 92925 86 0 0 25 0 1 0 864375995 70021120 14288 4294967295 134512640 135726644 3221224592 3221222976 134758349 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17095 14288 300 300 0 16795 0
vsize: 68380
[startup+940.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 26548 0 0 0 93925 87 0 0 25 0 1 0 864375995 70021120 14302 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17095 14302 300 300 0 16795 0
vsize: 68380
[startup+950.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 26557 0 0 0 94925 87 0 0 25 0 1 0 864375995 70021120 14311 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17095 14311 300 300 0 16795 0
vsize: 68380
[startup+960.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 26777 0 0 0 95924 88 0 0 25 0 1 0 864375995 70156288 14331 4294967295 134512640 135726644 3221224592 3221223088 134744153 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17128 14331 300 300 0 16828 0
vsize: 68512
[startup+970.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 26787 0 0 0 96924 88 0 0 25 0 1 0 864375995 70156288 14341 4294967295 134512640 135726644 3221224592 3221223088 134743987 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17128 14341 300 300 0 16828 0
vsize: 68512
[startup+980.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 26995 0 0 0 97924 88 0 0 25 0 1 0 864375995 70156288 14349 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17128 14349 300 300 0 16828 0
vsize: 68512
[startup+990.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 27210 0 0 0 98924 89 0 0 25 0 1 0 864375995 70291456 14364 4294967295 134512640 135726644 3221224592 3221223088 134744382 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17161 14364 300 300 0 16861 0
vsize: 68644
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 27216 0 0 0 99923 90 0 0 25 0 1 0 864375995 70291456 14370 4294967295 134512640 135726644 3221224592 3221223280 134744864 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17161 14370 300 300 0 16861 0
vsize: 68644
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 27427 0 0 0 100923 90 0 0 25 0 1 0 864375995 70291456 14381 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17161 14381 300 300 0 16861 0
vsize: 68644
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 27442 0 0 0 101923 91 0 0 25 0 1 0 864375995 70291456 14396 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17161 14396 300 300 0 16861 0
vsize: 68644
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 27458 0 0 0 102922 91 0 0 25 0 1 0 864375995 70291456 14412 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17161 14412 300 300 0 16861 0
vsize: 68644
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 27470 0 0 0 103922 92 0 0 25 0 1 0 864375995 70426624 14424 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17194 14424 300 300 0 16894 0
vsize: 68776
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 27520 0 0 0 104922 92 0 0 25 0 1 0 864375995 70426624 14474 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17194 14474 300 300 0 16894 0
vsize: 68776
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 27610 0 0 0 105921 93 0 0 25 0 1 0 864375995 70426624 14564 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17194 14564 300 300 0 16894 0
vsize: 68776
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 27709 0 0 0 106920 94 0 0 25 0 1 0 864375995 70426624 14663 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17194 14663 300 300 0 16894 0
vsize: 68776
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 28012 0 0 0 107919 95 0 0 25 0 1 0 864375995 70561792 14766 4294967295 134512640 135726644 3221224592 3221223268 134745047 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17227 14766 300 300 0 16927 0
vsize: 68908
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 28243 0 0 0 108918 96 0 0 25 0 1 0 864375995 70701056 14797 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17261 14797 300 300 0 16961 0
vsize: 69044
[startup+1100.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 28557 0 0 0 109917 97 0 0 25 0 1 0 864375995 71196672 14911 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17382 14911 300 300 0 17082 0
vsize: 69528
[startup+1110.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 28829 0 0 0 110917 98 0 0 25 0 1 0 864375995 71471104 14983 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17449 14983 300 300 0 17149 0
vsize: 69796
[startup+1120.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 29121 0 0 0 111915 99 0 0 25 0 1 0 864375995 71471104 15075 4294967295 134512640 135726644 3221224592 3221223088 134744169 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17449 15075 300 300 0 17149 0
vsize: 69796
[startup+1130.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 29398 0 0 0 112913 101 0 0 25 0 1 0 864375995 71618560 15152 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17485 15152 300 300 0 17185 0
vsize: 69940
[startup+1140.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 29688 0 0 0 113913 102 0 0 25 0 1 0 864375995 71618560 15242 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17485 15242 300 300 0 17185 0
vsize: 69940
[startup+1150.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 29985 0 0 0 114911 103 0 0 25 0 1 0 864375995 71757824 15339 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17519 15339 300 300 0 17219 0
vsize: 70076
[startup+1160.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 30281 0 0 0 115910 104 0 0 25 0 1 0 864375995 71757824 15435 4294967295 134512640 135726644 3221224592 3221223088 134744235 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17519 15435 300 300 0 17219 0
vsize: 70076
[startup+1170.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 30569 0 0 0 116910 105 0 0 25 0 1 0 864375995 71905280 15523 4294967295 134512640 135726644 3221224592 3221223088 134744022 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17555 15523 300 300 0 17255 0
vsize: 70220
[startup+1180.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 31077 0 0 0 117908 107 0 0 25 0 1 0 864375995 72069120 15631 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17595 15631 300 300 0 17295 0
vsize: 70380
[startup+1190.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 31371 0 0 0 118908 107 0 0 25 0 1 0 864375995 72069120 15725 4294967295 134512640 135726644 3221224592 3221223088 134744260 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17595 15725 300 300 0 17295 0
vsize: 70380
[startup+1200.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1171
Raw data (stat): 1171 (pb2sat) R 1170 20687 20686 0 -1 0 31677 0 0 0 119906 109 0 0 25 0 1 0 864375995 72208384 15831 4294967295 134512640 135726644 3221224592 3221223248 134731177 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17629 15831 300 300 0 17329 0
vsize: 70516
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.54 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 1171
Raw data (stat): 1171 (pb2sat) Z 1170 20687 20686 0 -1 12 31678 0 0 0 119956 112 0 0 25 0 1 0 864375995 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 0
Real time (s): 1200.54
CPU time (s): 1200.7
CPU user time (s): 1199.57
CPU system time (s): 1.12683
CPU usage (%): 100.013
Max. virtual memory (Kb): 70516
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####