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/frb56-25-opb/normalized-frb56-25-5.opb
MD5SUM	1694d09a3d3e6cb31138c73ed644b225
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-43
Optimality of the best value was proved	NO
Number of terms in the objective function	1400
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	1400
Number of bits of the sum of numbers in the objective function	11
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	1400
Number of bits of the biggest sum of numbers	11
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.12
Number of variables	1400
Total number of constraints	109601
Number of constraints which are clauses	109601
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 35003

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc17 THE 2005-05-28 11:37:54 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24274 boxname=wulflinc17 idbench=348 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  1694d09a3d3e6cb31138c73ed644b225  /oldhome/oroussel/tmp/wulflinc17/normalized-frb56-25-5.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc17/normalized-frb56-25-5.opb
IDLAUNCH: 24274
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
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.072
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        705612 kB
Buffers:         34116 kB
Cached:         263164 kB
SwapCached:        628 kB
Active:          25092 kB
Inactive:       274268 kB
HighTotal:      131008 kB
HighFree:        40768 kB
LowTotal:       903652 kB
LowFree:        664844 kB
SwapTotal:     2097892 kB
SwapFree:      2096376 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5144 kB
Slab:            23956 kB
Committed_AS:    63592 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-28 11:57:57 (client local time) WITH STATUS 0 IN 1202.39 SECONDS
stats: 24274 7 1202.39 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

Decision: 527031/983516	Time: 261.622/86400
Decision: 529055/983516	Time: 435.545/86400
Decision: 529055/983516	Time: 541.337/86400
Decision: 536833/983516	Time: 794.28/86400
Decision: 548221/983516	Time: 937.449/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.84 0.94 0.90 2/54 19852
Raw data (stat): 19852 (runsolver) R 19851 7475 7474 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 864513254 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+9.99976 s]
Raw data (loadavg): 0.87 0.94 0.90 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 29271 0 0 0 932 67 0 0 25 0 1 0 864513254 88948736 18367 4294967295 134512640 135726644 3221224592 3220892472 135281261 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21716 18368 300 300 0 21416 0
vsize: 86864
[startup+20.0006 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 57510 0 0 0 1871 128 0 0 25 0 1 0 864513254 174399488 35653 4294967295 134512640 135726644 3221224592 3221159448 135280652 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42578 35653 300 300 0 42278 0
vsize: 170312
[startup+30.0013 s]
Raw data (loadavg): 0.90 0.94 0.90 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 97746 0 0 0 2785 214 0 0 25 0 1 0 864513254 298229760 54213 4294967295 134512640 135726644 3221224592 3221117296 134783024 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 72810 54213 300 300 0 72510 0
vsize: 291240
[startup+40.0006 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 113193 0 0 0 3751 248 0 0 25 0 1 0 864513254 344354816 69439 4294967295 134512640 135726644 3221224592 3221018480 134767079 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 84071 69439 300 300 0 83771 0
vsize: 336284
[startup+50.0018 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 127677 0 0 0 4721 279 0 0 25 0 1 0 864513254 364900352 83763 4294967295 134512640 135726644 3221224592 3221221792 134574598 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 89087 83763 300 300 0 88787 0
vsize: 356348
[startup+60.0019 s]
Raw data (loadavg): 0.94 0.95 0.90 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 137102 0 0 0 5698 300 0 0 25 0 1 0 864513254 391753728 90270 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95643 90270 300 300 0 95343 0
vsize: 382572
[startup+70.0016 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 139629 0 0 0 6694 305 0 0 25 0 1 0 864513254 400855040 91842 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97865 91842 300 300 0 97565 0
vsize: 391460
[startup+80.0024 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 143863 0 0 0 7686 313 0 0 25 0 1 0 864513254 413290496 93917 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100901 93917 300 300 0 100601 0
vsize: 403604
[startup+90.002 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 146683 0 0 0 8681 319 0 0 25 0 1 0 864513254 421216256 95267 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102836 95267 300 300 0 102536 0
vsize: 411344
[startup+100.002 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 147141 0 0 0 9680 320 0 0 25 0 1 0 864513254 422805504 95513 4294967295 134512640 135726644 3221224592 3221223280 134744911 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 103224 95513 300 300 0 102924 0
vsize: 412896
[startup+110.002 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 147715 0 0 0 10679 321 0 0 25 0 1 0 864513254 424525824 95793 4294967295 134512640 135726644 3221224592 3221223184 134760426 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 103644 95793 300 300 0 103344 0
vsize: 414576
[startup+120.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 148207 0 0 0 11678 322 0 0 25 0 1 0 864513254 426045440 96056 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104015 96056 300 300 0 103715 0
vsize: 416060
[startup+130.002 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 148214 0 0 0 12678 322 0 0 25 0 1 0 864513254 426045440 96063 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104015 96063 300 300 0 103715 0
vsize: 416060
[startup+140.002 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 149145 0 0 0 13676 324 0 0 25 0 1 0 864513254 428818432 96473 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104692 96473 300 300 0 104392 0
vsize: 418768
[startup+150.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 149169 0 0 0 14676 324 0 0 25 0 1 0 864513254 428818432 96497 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104692 96497 300 300 0 104392 0
vsize: 418768
[startup+160.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 149342 0 0 0 15676 324 0 0 25 0 1 0 864513254 429551616 96637 4294967295 134512640 135726644 3221224592 3221223216 134744676 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104871 96637 300 300 0 104571 0
vsize: 419484
[startup+170.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 149723 0 0 0 16676 325 0 0 25 0 1 0 864513254 430944256 96872 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 105211 96872 300 300 0 104911 0
vsize: 420844
[startup+180.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 150705 0 0 0 17674 327 0 0 25 0 1 0 864513254 433577984 97335 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 105854 97335 300 300 0 105554 0
vsize: 423416
[startup+190.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 150779 0 0 0 18674 327 0 0 25 0 1 0 864513254 433577984 97409 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 105854 97409 300 300 0 105554 0
vsize: 423416
[startup+200.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 150807 0 0 0 19674 327 0 0 25 0 1 0 864513254 433577984 97437 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 105854 97437 300 300 0 105554 0
vsize: 423416
[startup+210.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 150811 0 0 0 20674 327 0 0 25 0 1 0 864513254 433577984 97441 4294967295 134512640 135726644 3221224592 3221223088 134744009 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 105854 97441 300 300 0 105554 0
vsize: 423416
[startup+220.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 150820 0 0 0 21674 327 0 0 25 0 1 0 864513254 433577984 97450 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 105854 97450 300 300 0 105554 0
vsize: 423416
[startup+230.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 150829 0 0 0 22674 327 0 0 25 0 1 0 864513254 433577984 97459 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 105854 97459 300 300 0 105554 0
vsize: 423416
[startup+240.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 150833 0 0 0 23675 327 0 0 25 0 1 0 864513254 433577984 97463 4294967295 134512640 135726644 3221224592 3221222912 134728895 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 105854 97463 300 300 0 105554 0
vsize: 423416
[startup+250.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 150912 0 0 0 24674 328 0 0 25 0 1 0 864513254 433844224 97509 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 105919 97509 300 300 0 105619 0
vsize: 423676
[startup+260.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 150925 0 0 0 25674 328 0 0 25 0 1 0 864513254 433844224 97522 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 105919 97522 300 300 0 105619 0
vsize: 423676
[startup+270.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 151201 0 0 0 26674 328 0 0 25 0 1 0 864513254 434892800 97541 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 106175 97541 300 300 0 105875 0
vsize: 424700
[startup+280.003 s]
Raw data (loadavg): 1.07 0.98 0.91 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 151218 0 0 0 27674 329 0 0 25 0 1 0 864513254 434892800 97558 4294967295 134512640 135726644 3221224592 3221223088 134744069 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 106175 97558 300 300 0 105875 0
vsize: 424700
[startup+290.003 s]
Raw data (loadavg): 1.06 0.98 0.91 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 151438 0 0 0 28674 329 0 0 25 0 1 0 864513254 435421184 97680 4294967295 134512640 135726644 3221224592 3221223136 134736624 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 106304 97680 300 300 0 106004 0
vsize: 425216
[startup+300.004 s]
Raw data (loadavg): 1.05 0.98 0.91 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 151466 0 0 0 29674 329 0 0 25 0 1 0 864513254 435421184 97708 4294967295 134512640 135726644 3221224592 3221223236 134744672 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 106304 97708 300 300 0 106004 0
vsize: 425216
[startup+310.004 s]
Raw data (loadavg): 1.04 0.98 0.91 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 153414 0 0 0 30670 334 0 0 25 0 1 0 864513254 443289600 99656 4294967295 134512640 135726644 3221224592 3221222732 134761832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 108225 99656 300 300 0 107925 0
vsize: 432900
[startup+320.004 s]
Raw data (loadavg): 1.03 0.98 0.91 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 154073 0 0 0 31667 336 0 0 25 0 1 0 864513254 437284864 98103 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 106759 98103 300 300 0 106459 0
vsize: 427036
[startup+330.004 s]
Raw data (loadavg): 1.03 0.98 0.91 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 154748 0 0 0 32665 337 0 0 25 0 1 0 864513254 439578624 98551 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107319 98551 300 300 0 107019 0
vsize: 429276
[startup+340.003 s]
Raw data (loadavg): 1.02 0.98 0.91 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 155008 0 0 0 33664 338 0 0 25 0 1 0 864513254 440610816 98779 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107571 98779 300 300 0 107271 0
vsize: 430284
[startup+350.004 s]
Raw data (loadavg): 1.02 0.98 0.91 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 155440 0 0 0 34664 339 0 0 25 0 1 0 864513254 441798656 98982 4294967295 134512640 135726644 3221224592 3221223280 134745093 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107861 98982 300 300 0 107561 0
vsize: 431444
[startup+360.003 s]
Raw data (loadavg): 1.02 0.98 0.91 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 155582 0 0 0 35663 340 0 0 25 0 1 0 864513254 442195968 99058 4294967295 134512640 135726644 3221224592 3221223088 134744028 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107958 99058 300 300 0 107658 0
vsize: 431832
[startup+370.003 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 156057 0 0 0 36663 341 0 0 25 0 1 0 864513254 443375616 99239 4294967295 134512640 135726644 3221224592 3221223088 134743990 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 108246 99239 300 300 0 107946 0
vsize: 432984
[startup+380.004 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 156057 0 0 0 37663 341 0 0 25 0 1 0 864513254 443375616 99239 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 108246 99239 300 300 0 107946 0
vsize: 432984
[startup+390.003 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 156067 0 0 0 38663 341 0 0 25 0 1 0 864513254 443375616 99249 4294967295 134512640 135726644 3221224592 3221223184 134760010 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 108246 99249 300 300 0 107946 0
vsize: 432984
[startup+400.004 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 156127 0 0 0 39663 341 0 0 25 0 1 0 864513254 443375616 99309 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 108246 99309 300 300 0 107946 0
vsize: 432984
[startup+410.003 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 156127 0 0 0 40663 341 0 0 25 0 1 0 864513254 443375616 99309 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 108246 99309 300 300 0 107946 0
vsize: 432984
[startup+420.003 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 156155 0 0 0 41663 341 0 0 25 0 1 0 864513254 443375616 99337 4294967295 134512640 135726644 3221224592 3221223088 134743982 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 108246 99337 300 300 0 107946 0
vsize: 432984
[startup+430.002 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 156159 0 0 0 42663 341 0 0 25 0 1 0 864513254 443375616 99341 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 108246 99341 300 300 0 107946 0
vsize: 432984
[startup+440.002 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 156162 0 0 0 43663 341 0 0 25 0 1 0 864513254 443375616 99344 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 108246 99344 300 300 0 107946 0
vsize: 432984
[startup+450.003 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 156170 0 0 0 44663 342 0 0 25 0 1 0 864513254 443375616 99352 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 108246 99352 300 300 0 107946 0
vsize: 432984
[startup+460.002 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 156174 0 0 0 45663 342 0 0 25 0 1 0 864513254 443375616 99356 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 108246 99356 300 300 0 107946 0
vsize: 432984
[startup+470.002 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 156179 0 0 0 46663 342 0 0 25 0 1 0 864513254 443375616 99361 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 108246 99361 300 300 0 107946 0
vsize: 432984
[startup+480.002 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 156185 0 0 0 47663 342 0 0 25 0 1 0 864513254 443375616 99367 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 108246 99367 300 300 0 107946 0
vsize: 432984
[startup+490.002 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 158590 0 0 0 48657 348 0 0 25 0 1 0 864513254 444829696 99591 4294967295 134512640 135726644 3221224592 3221223184 134743857 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 108601 99591 300 300 0 108301 0
vsize: 434404
[startup+500.003 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 159554 0 0 0 49655 350 0 0 25 0 1 0 864513254 448270336 100245 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 109441 100245 300 300 0 109141 0
vsize: 437764
[startup+510.003 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 160247 0 0 0 50653 352 0 0 25 0 1 0 864513254 450695168 100643 4294967295 134512640 135726644 3221224592 3221223248 134731251 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110033 100643 300 300 0 109733 0
vsize: 440132
[startup+520.002 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 160369 0 0 0 51653 352 0 0 25 0 1 0 864513254 450695168 100765 4294967295 134512640 135726644 3221224592 3221222912 134728868 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110033 100765 300 300 0 109733 0
vsize: 440132
[startup+530.002 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 160374 0 0 0 52653 352 0 0 25 0 1 0 864513254 450695168 100770 4294967295 134512640 135726644 3221224592 3221223088 134744283 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110033 100770 300 300 0 109733 0
vsize: 440132
[startup+540.001 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 160388 0 0 0 53653 352 0 0 25 0 1 0 864513254 450695168 100784 4294967295 134512640 135726644 3221224592 3221223088 134744113 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110033 100784 300 300 0 109733 0
vsize: 440132
[startup+550.001 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 160393 0 0 0 54653 353 0 0 25 0 1 0 864513254 450695168 100789 4294967295 134512640 135726644 3221224592 3221223184 134760424 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110033 100789 300 300 0 109733 0
vsize: 440132
[startup+560.002 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 160396 0 0 0 55653 353 0 0 25 0 1 0 864513254 450695168 100792 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110033 100792 300 300 0 109733 0
vsize: 440132
[startup+570.001 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 160399 0 0 0 56653 353 0 0 25 0 1 0 864513254 450695168 100795 4294967295 134512640 135726644 3221224592 3221223088 134744263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110033 100795 300 300 0 109733 0
vsize: 440132
[startup+580.001 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 160403 0 0 0 57653 353 0 0 25 0 1 0 864513254 450695168 100799 4294967295 134512640 135726644 3221224592 3221223088 134743961 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110033 100799 300 300 0 109733 0
vsize: 440132
[startup+590.001 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 160405 0 0 0 58653 353 0 0 25 0 1 0 864513254 450695168 100801 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110033 100801 300 300 0 109733 0
vsize: 440132
[startup+600.002 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 163302 0 0 0 59647 359 0 0 25 0 1 0 864513254 453992448 101388 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 110838 101388 300 300 0 110538 0
vsize: 443352
[startup+610.002 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 165033 0 0 0 60642 364 0 0 25 0 1 0 864513254 459628544 102481 4294967295 134512640 135726644 3221224592 3221223184 134760424 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 112214 102481 300 300 0 111914 0
vsize: 448856
[startup+620.002 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 165870 0 0 0 61640 365 0 0 25 0 1 0 864513254 462409728 102912 4294967295 134512640 135726644 3221224592 3221223088 134744039 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 112893 102912 300 300 0 112593 0
vsize: 451572
[startup+630.003 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 167293 0 0 0 62637 369 0 0 25 0 1 0 864513254 466804736 103585 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 113966 103585 300 300 0 113666 0
vsize: 455864
[startup+640.003 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 168913 0 0 0 63633 373 0 0 25 0 1 0 864513254 470765568 104457 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 114933 104457 300 300 0 114633 0
vsize: 459732
[startup+650.003 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 169681 0 0 0 64632 374 0 0 25 0 1 0 864513254 473141248 104802 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 115513 104802 300 300 0 115213 0
vsize: 462052
[startup+660.004 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 171000 0 0 0 65629 378 0 0 25 0 1 0 864513254 477372416 105665 4294967295 134512640 135726644 3221224592 3221223248 134745073 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116546 105665 300 300 0 116246 0
vsize: 466184
[startup+670.003 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 172816 0 0 0 66625 382 0 0 25 0 1 0 864513254 482373632 106440 4294967295 134512640 135726644 3221224592 3221223088 134744014 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 117767 106440 300 300 0 117467 0
vsize: 471068
[startup+680.003 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 172905 0 0 0 67625 382 0 0 25 0 1 0 864513254 482639872 106496 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 117832 106496 300 300 0 117532 0
vsize: 471328
[startup+690.003 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 173647 0 0 0 68623 383 0 0 25 0 1 0 864513254 484880384 106880 4294967295 134512640 135726644 3221224592 3221223088 134744320 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118379 106880 300 300 0 118079 0
vsize: 473516
[startup+700.003 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 176446 0 0 0 69617 389 0 0 25 0 1 0 864513254 493195264 108541 4294967295 134512640 135726644 3221224592 3221223088 134744169 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 120409 108541 300 300 0 120109 0
vsize: 481636
[startup+710.003 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 178025 0 0 0 70615 392 0 0 25 0 1 0 864513254 499417088 109534 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 121928 109534 300 300 0 121628 0
vsize: 487712
[startup+720.002 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 178904 0 0 0 71613 394 0 0 25 0 1 0 864513254 502587392 110024 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 122702 110024 300 300 0 122402 0
vsize: 490808
[startup+730.003 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 179350 0 0 0 72613 395 0 0 25 0 1 0 864513254 503902208 110178 4294967295 134512640 135726644 3221224592 3221223088 134744053 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 123023 110178 300 300 0 122723 0
vsize: 492092
[startup+740.002 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 179963 0 0 0 73612 396 0 0 25 0 1 0 864513254 506011648 110467 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 123538 110467 300 300 0 123238 0
vsize: 494152
[startup+750.003 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 180952 0 0 0 74610 398 0 0 25 0 1 0 864513254 508903424 110873 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 124244 110873 300 300 0 123944 0
vsize: 496976
[startup+760.003 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 181623 0 0 0 75609 399 0 0 25 0 1 0 864513254 511012864 111219 4294967295 134512640 135726644 3221224592 3221223088 134743975 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 124759 111219 300 300 0 124459 0
vsize: 499036
[startup+770.003 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 181758 0 0 0 76609 399 0 0 25 0 1 0 864513254 511275008 111289 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 124823 111289 300 300 0 124523 0
vsize: 499292
[startup+780.004 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 181805 0 0 0 77610 399 0 0 25 0 1 0 864513254 511541248 111336 4294967295 134512640 135726644 3221224592 3221223088 134744069 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 124888 111336 300 300 0 124588 0
vsize: 499552
[startup+790.003 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 181811 0 0 0 78610 399 0 0 25 0 1 0 864513254 511541248 111342 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 124888 111342 300 300 0 124588 0
vsize: 499552
[startup+800.004 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 181815 0 0 0 79610 399 0 0 25 0 1 0 864513254 511541248 111346 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 124888 111346 300 300 0 124588 0
vsize: 499552
[startup+810.004 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 181819 0 0 0 80610 399 0 0 25 0 1 0 864513254 511541248 111350 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 124888 111350 300 300 0 124588 0
vsize: 499552
[startup+820.003 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 182096 0 0 0 81609 400 0 0 25 0 1 0 864513254 512589824 111370 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 125144 111370 300 300 0 124844 0
vsize: 500576
[startup+830.004 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 182110 0 0 0 82610 400 0 0 25 0 1 0 864513254 512589824 111384 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 125144 111384 300 300 0 124844 0
vsize: 500576
[startup+840.003 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 182115 0 0 0 83610 400 0 0 25 0 1 0 864513254 512589824 111389 4294967295 134512640 135726644 3221224592 3221223184 134760424 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 125144 111389 300 300 0 124844 0
vsize: 500576
[startup+850.004 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 184652 0 0 0 84603 406 0 0 25 0 1 0 864513254 514568192 111713 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 125627 111713 300 300 0 125327 0
vsize: 502508
[startup+860.004 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 185886 0 0 0 85600 409 0 0 25 0 1 0 864513254 518262784 112426 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 126529 112426 300 300 0 126229 0
vsize: 506116
[startup+870.005 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 186990 0 0 0 86597 412 0 0 25 0 1 0 864513254 521555968 112948 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 127333 112948 300 300 0 127033 0
vsize: 509332
[startup+880.005 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 187112 0 0 0 87596 412 0 0 25 0 1 0 864513254 521818112 113005 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 127397 113005 300 300 0 127097 0
vsize: 509588
[startup+890.004 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 187118 0 0 0 88597 412 0 0 25 0 1 0 864513254 521818112 113011 4294967295 134512640 135726644 3221224592 3221223088 134744059 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 127397 113011 300 300 0 127097 0
vsize: 509588
[startup+900.005 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 187271 0 0 0 89597 413 0 0 25 0 1 0 864513254 522342400 113034 4294967295 134512640 135726644 3221224592 3221223088 134743990 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 127525 113034 300 300 0 127225 0
vsize: 510100
[startup+910.004 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 187351 0 0 0 90597 413 0 0 25 0 1 0 864513254 522604544 113049 4294967295 134512640 135726644 3221224592 3221223088 134744039 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 127589 113049 300 300 0 127289 0
vsize: 510356
[startup+920.004 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 187355 0 0 0 91597 413 0 0 25 0 1 0 864513254 522604544 113053 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 127589 113053 300 300 0 127289 0
vsize: 510356
[startup+930.005 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 187360 0 0 0 92597 413 0 0 25 0 1 0 864513254 522604544 113058 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 127589 113058 300 300 0 127289 0
vsize: 510356
[startup+940.005 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 187370 0 0 0 93597 413 0 0 25 0 1 0 864513254 522604544 113068 4294967295 134512640 135726644 3221224592 3221223088 134744069 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 127589 113068 300 300 0 127289 0
vsize: 510356
[startup+950.005 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 187375 0 0 0 94597 413 0 0 25 0 1 0 864513254 522604544 113073 4294967295 134512640 135726644 3221224592 3221223184 134759980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 127589 113073 300 300 0 127289 0
vsize: 510356
[startup+960.005 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 187379 0 0 0 95597 413 0 0 25 0 1 0 864513254 522604544 113077 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 127589 113077 300 300 0 127289 0
vsize: 510356
[startup+970.004 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 187381 0 0 0 96597 413 0 0 25 0 1 0 864513254 522604544 113079 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 127589 113079 300 300 0 127289 0
vsize: 510356
[startup+980.004 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 187384 0 0 0 97597 413 0 0 25 0 1 0 864513254 522604544 113082 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 127589 113082 300 300 0 127289 0
vsize: 510356
[startup+990.004 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 189306 0 0 0 98592 419 0 0 25 0 1 0 864513254 522604544 113083 4294967295 134512640 135726644 3221224592 3221223008 134738146 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 127589 113083 300 300 0 127289 0
vsize: 510356
[startup+1000 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 189900 0 0 0 99591 420 0 0 25 0 1 0 864513254 524455936 113385 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 128041 113385 300 300 0 127741 0
vsize: 512164
[startup+1010 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 190940 0 0 0 100589 423 0 0 25 0 1 0 864513254 527351808 113808 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 128748 113808 300 300 0 128448 0
vsize: 514992
[startup+1020 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 192035 0 0 0 101586 425 0 0 25 0 1 0 864513254 530518016 114449 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 129521 114449 300 300 0 129221 0
vsize: 518084
[startup+1030 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 192210 0 0 0 102586 426 0 0 25 0 1 0 864513254 531046400 114559 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 129650 114559 300 300 0 129350 0
vsize: 518600
[startup+1040 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 192283 0 0 0 103586 426 0 0 25 0 1 0 864513254 531177472 114599 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 129682 114599 300 300 0 129382 0
vsize: 518728
[startup+1050.01 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 192488 0 0 0 104585 427 0 0 25 0 1 0 864513254 531972096 114739 4294967295 134512640 135726644 3221224592 3221223216 134744676 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 129876 114739 300 300 0 129576 0
vsize: 519504
[startup+1060.01 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 192753 0 0 0 105584 428 0 0 25 0 1 0 864513254 532631552 114906 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 130037 114906 300 300 0 129737 0
vsize: 520148
[startup+1070.01 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 193003 0 0 0 106584 428 0 0 25 0 1 0 864513254 533417984 114962 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 130229 114962 300 300 0 129929 0
vsize: 520916
[startup+1080.01 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 193017 0 0 0 107584 428 0 0 25 0 1 0 864513254 533417984 114976 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 130229 114976 300 300 0 129929 0
vsize: 520916
[startup+1090.01 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 193226 0 0 0 108583 429 0 0 25 0 1 0 864513254 534208512 115056 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 130422 115056 300 300 0 130122 0
vsize: 521688
[startup+1100.01 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 193231 0 0 0 109584 429 0 0 25 0 1 0 864513254 534208512 115061 4294967295 134512640 135726644 3221224592 3221223088 134744314 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 130422 115061 300 300 0 130122 0
vsize: 521688
[startup+1110.01 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 193234 0 0 0 110584 429 0 0 25 0 1 0 864513254 534208512 115064 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 130422 115064 300 300 0 130122 0
vsize: 521688
[startup+1120.01 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 193237 0 0 0 111584 429 0 0 25 0 1 0 864513254 534208512 115067 4294967295 134512640 135726644 3221224592 3221223196 134744139 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 130422 115067 300 300 0 130122 0
vsize: 521688
[startup+1130.01 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 193242 0 0 0 112584 429 0 0 25 0 1 0 864513254 534208512 115072 4294967295 134512640 135726644 3221224592 3221223280 134744969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 130422 115072 300 300 0 130122 0
vsize: 521688
[startup+1140.01 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 193246 0 0 0 113584 429 0 0 25 0 1 0 864513254 534208512 115076 4294967295 134512640 135726644 3221224592 3221223088 134744323 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 130422 115076 300 300 0 130122 0
vsize: 521688
[startup+1150.01 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 193249 0 0 0 114584 430 0 0 25 0 1 0 864513254 534208512 115079 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 130422 115079 300 300 0 130122 0
vsize: 521688
[startup+1160.01 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 193253 0 0 0 115584 430 0 0 25 0 1 0 864513254 534208512 115083 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 130422 115083 300 300 0 130122 0
vsize: 521688
[startup+1170.01 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 193255 0 0 0 116584 430 0 0 25 0 1 0 864513254 534208512 115085 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 130422 115085 300 300 0 130122 0
vsize: 521688
[startup+1180.01 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 193257 0 0 0 117585 430 0 0 25 0 1 0 864513254 534208512 115087 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 130422 115087 300 300 0 130122 0
vsize: 521688
[startup+1190.01 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 193261 0 0 0 118585 430 0 0 25 0 1 0 864513254 534208512 115091 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 130422 115091 300 300 0 130122 0
vsize: 521688
[startup+1200.01 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 193263 0 0 0 119585 430 0 0 25 0 1 0 864513254 534208512 115093 4294967295 134512640 135726644 3221224592 3221223136 134736752 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 130422 115093 300 300 0 130122 0
vsize: 521688
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.24 s]
Raw data (loadavg): 1.00 0.98 0.91 1/53 19852
Raw data (stat): 19852 (pb2sat) R 19851 7475 7474 0 -1 0 193263 0 0 0 119585 430 0 0 25 0 1 0 864513254 534208512 115093 4294967295 134512640 135726644 3221224592 3221223136 134736752 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 130422 115093 300 300 0 130122 0
vsize: 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1202.24
CPU time (s): 1202.39
CPU user time (s): 1197.86
CPU system time (s): 4.52931
CPU usage (%): 100.012
Max. virtual memory (Kb): 521688
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####