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/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-lseu.opb
MD5SUM	99657262afbbfce7034a3ec6b29d9b3b
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1120
Optimality of the best value was proved	NO
Number of terms in the objective function	85
Biggest coefficient in the objective function	517
Number of bits for the biggest coefficient in the objective function	10
Sum of the numbers in the objective function	15494
Number of bits of the sum of numbers in the objective function	14
Biggest number in a constraint	1656
Number of bits of the biggest number in a constraint	11
Biggest sum of numbers in a constraint	15494
Number of bits of the biggest sum of numbers	14
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.02884
Number of variables	89
Total number of constraints	117
Number of constraints which are clauses	2
Number of constraints which are cardinality constraints (but not clauses)	104
Number of constraints which are nor clauses,nor cardinality constraints	11
Minimum length of a constraint	1
Maximum length of a constraint	47
Trace number 35727

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc20 THE 2005-05-28 13:38:57 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24951 boxname=wulflinc20 idbench=1423 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  99657262afbbfce7034a3ec6b29d9b3b  /oldhome/oroussel/tmp/wulflinc20/normalized-mps-v2-13-7-lseu.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc20/normalized-mps-v2-13-7-lseu.opb
IDLAUNCH: 24951
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.215
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.215
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:        704688 kB
Buffers:         32700 kB
Cached:         273880 kB
SwapCached:        644 kB
Active:          20500 kB
Inactive:       288148 kB
HighTotal:      131008 kB
HighFree:         1876 kB
LowTotal:       903652 kB
LowFree:        702812 kB
SwapTotal:     2097892 kB
SwapFree:      2096312 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5104 kB
Slab:            15540 kB
Committed_AS:    63568 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-28 13:59:00 (client local time) WITH STATUS 10 IN 1201.23 SECONDS
stats: 24951 0 1201.23 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
c got solution with objective value: 5051
c [startup+18.8018 s]  setting bit 13 to 1
c got solution with objective value: 3188
c [startup+21.1573 s]  setting bit 12 to 1

Decision: 194905/326287	Time: 697.022/86400
Decision: 194905/326287	Time: 772.245/86400
Decision: 194905/326287	Time: 843.769/86400
Decision: 194905/326287	Time: 913.325/86400
Decision: 194915/326287	Time: 1022.78/86400
Decision: 194920/326287	Time: 1114.25/86400s SATISFIABLE
v -C101_bit0 -C102_bit0 -C103_bit0 C104_bit0 -C105_bit0 -C106_bit0 -C107_bit0 -C108_bit0 C109_bit0 -C110_bit0 C111_bit0 -C112_bit0 -C113_bit0 -C114_bit0 -C115_bit0 -C116_bit0 -C117_bit0 C118_bit0 -C119_bit0 -C120_bit0 -C121_bit0 -C122_bit0 -C123_bit0 -C124_bit0 C125_bit0 -C126_bit0 -C127_bit0 -C128_bit0 -C129_bit0 -C130_bit0 -C131_bit0 -C132_bit0 C133_bit0 C134_bit0 -C135_bit0 -C136_bit0 -C137_bit0 -C138_bit0 -C139_bit0 -C140_bit0 C141_bit0 -C142_bit0 C143_bit0 -C144_bit0 -C145_bit0 -C146_bit0 -C147_bit0 C148_bit0 -C149_bit0 -C150_bit0 -C151_bit0 -C152_bit0 C153_bit0 -C154_bit0 -C155_bit0 -C156_bit0 -C157_bit0 -C158_bit0 C159_bit0 -C160_bit0 C161_bit0 -C162_bit0 -C163_bit0 -C164_bit0 -C165_bit0 -C166_bit0 -C167_bit0 -C168_bit0 C169_bit0 -C170_bit0 -C171_bit0 -C172_bit0 -C173_bit0 -C174_bit0 -C175_bit0 C176_bit0 -C177_bit0 C178_bit0 -C179_bit0 -C180_bit0 -C181_bit0 -C182_bit0 -C183_bit0 -C184_bit0 -C185_bit0 -C186_bit0 C187_bit0 C188_bit0 C189_bit0 
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.90 0.95 0.91 2/54 13054
Raw data (stat): 13054 (runsolver) R 13053 25399 25398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 865226829 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.92 0.95 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 30148 0 0 0 935 63 0 0 25 0 1 0 865226829 89518080 18999 4294967295 134512640 135726644 3221224592 3221208248 135282351 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21855 18999 300 300 0 21555 0
vsize: 87420
[startup+20.0009 s]
Raw data (loadavg): 0.93 0.95 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 52972 0 0 0 1887 111 0 0 25 0 1 0 865226829 171261952 29372 4294967295 134512640 135726644 3221224592 3221222896 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41812 29372 300 300 0 41512 0
vsize: 167248
[startup+30.0012 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 54286 0 0 0 2884 114 0 0 25 0 1 0 865226829 173862912 29886 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42447 29886 300 300 0 42147 0
vsize: 169788
[startup+40.0013 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 54402 0 0 0 3884 115 0 0 25 0 1 0 865226829 174395392 29969 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42577 29969 300 300 0 42277 0
vsize: 170308
[startup+50.002 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 54459 0 0 0 4884 115 0 0 25 0 1 0 865226829 174661632 30026 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42642 30026 300 300 0 42342 0
vsize: 170568
[startup+60.002 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 54471 0 0 0 5884 115 0 0 25 0 1 0 865226829 174661632 30038 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42642 30038 300 300 0 42342 0
vsize: 170568
[startup+70.0025 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 54563 0 0 0 6884 115 0 0 25 0 1 0 865226829 175058944 30097 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42739 30097 300 300 0 42439 0
vsize: 170956
[startup+80.0022 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 54597 0 0 0 7884 115 0 0 25 0 1 0 865226829 175058944 30131 4294967295 134512640 135726644 3221224592 3221223088 134743975 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42739 30131 300 300 0 42439 0
vsize: 170956
[startup+90.0035 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 54653 0 0 0 8884 115 0 0 25 0 1 0 865226829 175325184 30187 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42804 30187 300 300 0 42504 0
vsize: 171216
[startup+100.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 54662 0 0 0 9885 115 0 0 25 0 1 0 865226829 175325184 30196 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42804 30196 300 300 0 42504 0
vsize: 171216
[startup+110.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 54674 0 0 0 10885 115 0 0 25 0 1 0 865226829 175325184 30208 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42804 30208 300 300 0 42504 0
vsize: 171216
[startup+120.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 54693 0 0 0 11885 115 0 0 25 0 1 0 865226829 175325184 30227 4294967295 134512640 135726644 3221224592 3221223088 134744043 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42804 30227 300 300 0 42504 0
vsize: 171216
[startup+130.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 54704 0 0 0 12885 116 0 0 25 0 1 0 865226829 175325184 30238 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42804 30238 300 300 0 42504 0
vsize: 171216
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 54710 0 0 0 13885 116 0 0 25 0 1 0 865226829 175325184 30244 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42804 30244 300 300 0 42504 0
vsize: 171216
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 54714 0 0 0 14885 116 0 0 25 0 1 0 865226829 175325184 30248 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42804 30248 300 300 0 42504 0
vsize: 171216
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 54718 0 0 0 15885 116 0 0 25 0 1 0 865226829 175325184 30252 4294967295 134512640 135726644 3221224592 3221223200 134744639 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42804 30252 300 300 0 42504 0
vsize: 171216
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 54721 0 0 0 16885 116 0 0 25 0 1 0 865226829 175325184 30255 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42804 30255 300 300 0 42504 0
vsize: 171216
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 54725 0 0 0 17885 116 0 0 25 0 1 0 865226829 175325184 30259 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42804 30259 300 300 0 42504 0
vsize: 171216
[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 54729 0 0 0 18885 116 0 0 25 0 1 0 865226829 175325184 30263 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42804 30263 300 300 0 42504 0
vsize: 171216
[startup+200.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 54734 0 0 0 19885 117 0 0 25 0 1 0 865226829 175325184 30268 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42804 30268 300 300 0 42504 0
vsize: 171216
[startup+210.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 54738 0 0 0 20885 117 0 0 25 0 1 0 865226829 175325184 30272 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42804 30272 300 300 0 42504 0
vsize: 171216
[startup+220.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 54743 0 0 0 21885 117 0 0 25 0 1 0 865226829 175325184 30277 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42804 30277 300 300 0 42504 0
vsize: 171216
[startup+230.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 54748 0 0 0 22885 117 0 0 25 0 1 0 865226829 175325184 30282 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42804 30282 300 300 0 42504 0
vsize: 171216
[startup+240.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 54754 0 0 0 23885 117 0 0 25 0 1 0 865226829 175325184 30288 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42804 30288 300 300 0 42504 0
vsize: 171216
[startup+250.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 54758 0 0 0 24885 117 0 0 25 0 1 0 865226829 175325184 30292 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42804 30292 300 300 0 42504 0
vsize: 171216
[startup+260.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 54762 0 0 0 25885 117 0 0 25 0 1 0 865226829 175325184 30296 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42804 30296 300 300 0 42504 0
vsize: 171216
[startup+270.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 54769 0 0 0 26886 117 0 0 25 0 1 0 865226829 175325184 30303 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42804 30303 300 300 0 42504 0
vsize: 171216
[startup+280.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 54775 0 0 0 27886 118 0 0 25 0 1 0 865226829 175325184 30309 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42804 30309 300 300 0 42504 0
vsize: 171216
[startup+290.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 54779 0 0 0 28886 118 0 0 25 0 1 0 865226829 175325184 30313 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42804 30313 300 300 0 42504 0
vsize: 171216
[startup+300.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 54783 0 0 0 29885 118 0 0 25 0 1 0 865226829 175325184 30317 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42804 30317 300 300 0 42504 0
vsize: 171216
[startup+310.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 54787 0 0 0 30886 118 0 0 25 0 1 0 865226829 175325184 30321 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42804 30321 300 300 0 42504 0
vsize: 171216
[startup+320.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 54798 0 0 0 31886 118 0 0 25 0 1 0 865226829 175325184 30332 4294967295 134512640 135726644 3221224592 3221223088 134744244 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42804 30332 300 300 0 42504 0
vsize: 171216
[startup+330.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 54803 0 0 0 32886 118 0 0 25 0 1 0 865226829 175325184 30337 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42804 30337 300 300 0 42504 0
vsize: 171216
[startup+340.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 54815 0 0 0 33886 119 0 0 25 0 1 0 865226829 175325184 30349 4294967295 134512640 135726644 3221224592 3221223088 134744169 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42804 30349 300 300 0 42504 0
vsize: 171216
[startup+350.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 54818 0 0 0 34886 119 0 0 25 0 1 0 865226829 175325184 30352 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42804 30352 300 300 0 42504 0
vsize: 171216
[startup+360.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 54824 0 0 0 35886 119 0 0 25 0 1 0 865226829 175325184 30358 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42804 30358 300 300 0 42504 0
vsize: 171216
[startup+370.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 54830 0 0 0 36886 119 0 0 25 0 1 0 865226829 175325184 30364 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42804 30364 300 300 0 42504 0
vsize: 171216
[startup+380.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 54980 0 0 0 37886 119 0 0 25 0 1 0 865226829 175853568 30449 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42933 30449 300 300 0 42633 0
vsize: 171732
[startup+390.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 54982 0 0 0 38887 119 0 0 25 0 1 0 865226829 175853568 30451 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42933 30451 300 300 0 42633 0
vsize: 171732
[startup+400.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 54986 0 0 0 39887 119 0 0 25 0 1 0 865226829 175853568 30455 4294967295 134512640 135726644 3221224592 3221223088 134744182 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42933 30455 300 300 0 42633 0
vsize: 171732
[startup+410.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 54989 0 0 0 40887 119 0 0 25 0 1 0 865226829 175853568 30458 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42933 30458 300 300 0 42633 0
vsize: 171732
[startup+420.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 54991 0 0 0 41887 119 0 0 25 0 1 0 865226829 175853568 30460 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42933 30460 300 300 0 42633 0
vsize: 171732
[startup+430.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 54996 0 0 0 42887 119 0 0 25 0 1 0 865226829 175853568 30465 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42933 30465 300 300 0 42633 0
vsize: 171732
[startup+440.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 54999 0 0 0 43887 119 0 0 25 0 1 0 865226829 175853568 30468 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42933 30468 300 300 0 42633 0
vsize: 171732
[startup+450.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 55003 0 0 0 44887 119 0 0 25 0 1 0 865226829 175853568 30472 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42933 30472 300 300 0 42633 0
vsize: 171732
[startup+460.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 55006 0 0 0 45888 119 0 0 25 0 1 0 865226829 175853568 30475 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42933 30475 300 300 0 42633 0
vsize: 171732
[startup+470.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 55010 0 0 0 46887 120 0 0 25 0 1 0 865226829 175853568 30479 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42933 30479 300 300 0 42633 0
vsize: 171732
[startup+480.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 55014 0 0 0 47888 120 0 0 25 0 1 0 865226829 175853568 30483 4294967295 134512640 135726644 3221224592 3221223280 134744873 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42933 30483 300 300 0 42633 0
vsize: 171732
[startup+490.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 55016 0 0 0 48887 120 0 0 25 0 1 0 865226829 175853568 30485 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42933 30485 300 300 0 42633 0
vsize: 171732
[startup+500.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 55019 0 0 0 49888 120 0 0 25 0 1 0 865226829 175853568 30488 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42933 30488 300 300 0 42633 0
vsize: 171732
[startup+510.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 55104 0 0 0 50888 120 0 0 25 0 1 0 865226829 176115712 30508 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42997 30508 300 300 0 42697 0
vsize: 171988
[startup+520.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 55119 0 0 0 51888 120 0 0 25 0 1 0 865226829 176115712 30523 4294967295 134512640 135726644 3221224592 3221223088 134743982 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42997 30523 300 300 0 42697 0
vsize: 171988
[startup+530.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 55124 0 0 0 52888 120 0 0 25 0 1 0 865226829 176115712 30528 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42997 30528 300 300 0 42697 0
vsize: 171988
[startup+540.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 55132 0 0 0 53888 120 0 0 25 0 1 0 865226829 176115712 30536 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42997 30536 300 300 0 42697 0
vsize: 171988
[startup+550.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 55134 0 0 0 54888 120 0 0 25 0 1 0 865226829 176115712 30538 4294967295 134512640 135726644 3221224592 3221223088 134744382 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42997 30538 300 300 0 42697 0
vsize: 171988
[startup+560.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 55211 0 0 0 55888 120 0 0 25 0 1 0 865226829 176377856 30550 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43061 30550 300 300 0 42761 0
vsize: 172244
[startup+570.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 55214 0 0 0 56888 121 0 0 25 0 1 0 865226829 176377856 30553 4294967295 134512640 135726644 3221224592 3221223208 134744630 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43061 30553 300 300 0 42761 0
vsize: 172244
[startup+580.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 55218 0 0 0 57888 121 0 0 25 0 1 0 865226829 176377856 30557 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43061 30557 300 300 0 42761 0
vsize: 172244
[startup+590.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 55222 0 0 0 58888 121 0 0 25 0 1 0 865226829 176377856 30561 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43061 30561 300 300 0 42761 0
vsize: 172244
[startup+600.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 55225 0 0 0 59888 121 0 0 25 0 1 0 865226829 176377856 30564 4294967295 134512640 135726644 3221224592 3221223184 134760424 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43061 30564 300 300 0 42761 0
vsize: 172244
[startup+610.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 55228 0 0 0 60889 121 0 0 25 0 1 0 865226829 176377856 30567 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43061 30567 300 300 0 42761 0
vsize: 172244
[startup+620.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 55231 0 0 0 61889 121 0 0 25 0 1 0 865226829 176377856 30570 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43061 30570 300 300 0 42761 0
vsize: 172244
[startup+630.122 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 55306 0 0 0 62899 121 0 0 25 0 1 0 865226829 176640000 30580 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43125 30580 300 300 0 42825 0
vsize: 172500
[startup+640.123 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 55314 0 0 0 63900 121 0 0 25 0 1 0 865226829 176640000 30588 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43125 30588 300 300 0 42825 0
vsize: 172500
[startup+650.122 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 55318 0 0 0 64900 121 0 0 25 0 1 0 865226829 176640000 30592 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43125 30592 300 300 0 42825 0
vsize: 172500
[startup+660.122 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 55332 0 0 0 65900 121 0 0 25 0 1 0 865226829 176640000 30606 4294967295 134512640 135726644 3221224592 3221223088 134743889 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43125 30606 300 300 0 42825 0
vsize: 172500
[startup+670.123 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 55338 0 0 0 66900 121 0 0 25 0 1 0 865226829 176640000 30612 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43125 30612 300 300 0 42825 0
vsize: 172500
[startup+680.123 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 55357 0 0 0 67900 122 0 0 25 0 1 0 865226829 176640000 30631 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43125 30631 300 300 0 42825 0
vsize: 172500
[startup+690.124 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 55361 0 0 0 68900 122 0 0 25 0 1 0 865226829 176640000 30635 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43125 30635 300 300 0 42825 0
vsize: 172500
[startup+700.124 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 55363 0 0 0 69900 122 0 0 25 0 1 0 865226829 176640000 30637 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43125 30637 300 300 0 42825 0
vsize: 172500
[startup+710.124 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 55366 0 0 0 70901 122 0 0 25 0 1 0 865226829 176640000 30640 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43125 30640 300 300 0 42825 0
vsize: 172500
[startup+720.124 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 56016 0 0 0 71899 123 0 0 25 0 1 0 865226829 176791552 30652 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43162 30652 300 300 0 42862 0
vsize: 172648
[startup+730.124 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 56017 0 0 0 72899 123 0 0 25 0 1 0 865226829 176791552 30653 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43162 30653 300 300 0 42862 0
vsize: 172648
[startup+740.125 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 56017 0 0 0 73899 123 0 0 25 0 1 0 865226829 176791552 30653 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43162 30653 300 300 0 42862 0
vsize: 172648
[startup+750.125 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 56018 0 0 0 74899 124 0 0 25 0 1 0 865226829 176791552 30654 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43162 30654 300 300 0 42862 0
vsize: 172648
[startup+760.124 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 56019 0 0 0 75899 124 0 0 25 0 1 0 865226829 176791552 30655 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43162 30655 300 300 0 42862 0
vsize: 172648
[startup+770.125 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 56022 0 0 0 76900 124 0 0 25 0 1 0 865226829 176791552 30658 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43162 30658 300 300 0 42862 0
vsize: 172648
[startup+780.125 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 56036 0 0 0 77900 124 0 0 25 0 1 0 865226829 176791552 30672 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43162 30672 300 300 0 42862 0
vsize: 172648
[startup+790.126 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 56210 0 0 0 78900 124 0 0 25 0 1 0 865226829 177590272 30813 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43357 30813 300 300 0 43057 0
vsize: 173428
[startup+800.126 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 56855 0 0 0 79898 126 0 0 25 0 1 0 865226829 177590272 30820 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43357 30820 300 300 0 43057 0
vsize: 173428
[startup+810.127 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 56857 0 0 0 80898 126 0 0 25 0 1 0 865226829 177590272 30822 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43357 30822 300 300 0 43057 0
vsize: 173428
[startup+820.127 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 56861 0 0 0 81899 126 0 0 25 0 1 0 865226829 177590272 30826 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43357 30826 300 300 0 43057 0
vsize: 173428
[startup+830.126 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 56865 0 0 0 82899 126 0 0 25 0 1 0 865226829 177590272 30830 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43357 30830 300 300 0 43057 0
vsize: 173428
[startup+840.128 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 56869 0 0 0 83899 126 0 0 25 0 1 0 865226829 177590272 30834 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43357 30834 300 300 0 43057 0
vsize: 173428
[startup+850.128 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 56873 0 0 0 84899 126 0 0 25 0 1 0 865226829 177590272 30838 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43357 30838 300 300 0 43057 0
vsize: 173428
[startup+860.128 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 56877 0 0 0 85899 126 0 0 25 0 1 0 865226829 177590272 30842 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43357 30842 300 300 0 43057 0
vsize: 173428
[startup+870.129 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 57519 0 0 0 86897 128 0 0 25 0 1 0 865226829 177590272 30846 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43357 30846 300 300 0 43057 0
vsize: 173428
[startup+880.129 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 57523 0 0 0 87897 128 0 0 25 0 1 0 865226829 177590272 30850 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43357 30850 300 300 0 43057 0
vsize: 173428
[startup+890.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 57527 0 0 0 88897 128 0 0 25 0 1 0 865226829 177590272 30854 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43357 30854 300 300 0 43057 0
vsize: 173428
[startup+900.131 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 57530 0 0 0 89898 128 0 0 25 0 1 0 865226829 177590272 30857 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43357 30857 300 300 0 43057 0
vsize: 173428
[startup+910.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 57535 0 0 0 90898 128 0 0 25 0 1 0 865226829 177590272 30862 4294967295 134512640 135726644 3221224592 3221223184 134759980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43357 30862 300 300 0 43057 0
vsize: 173428
[startup+920.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 57540 0 0 0 91898 129 0 0 25 0 1 0 865226829 177590272 30867 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43357 30867 300 300 0 43057 0
vsize: 173428
[startup+930.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 57544 0 0 0 92898 129 0 0 25 0 1 0 865226829 177590272 30871 4294967295 134512640 135726644 3221224592 3221223088 134744020 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43357 30871 300 300 0 43057 0
vsize: 173428
[startup+940.131 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 58185 0 0 0 93896 130 0 0 25 0 1 0 865226829 177590272 30874 4294967295 134512640 135726644 3221224592 3221223088 134744169 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43357 30874 300 300 0 43057 0
vsize: 173428
[startup+950.131 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 58186 0 0 0 94897 130 0 0 25 0 1 0 865226829 177590272 30875 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43357 30875 300 300 0 43057 0
vsize: 173428
[startup+960.131 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 58194 0 0 0 95897 130 0 0 25 0 1 0 865226829 177590272 30883 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43357 30883 300 300 0 43057 0
vsize: 173428
[startup+970.132 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 58197 0 0 0 96897 131 0 0 25 0 1 0 865226829 177590272 30886 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43357 30886 300 300 0 43057 0
vsize: 173428
[startup+980.131 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 58366 0 0 0 97896 131 0 0 25 0 1 0 865226829 178114560 30925 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43485 30925 300 300 0 43185 0
vsize: 173940
[startup+990.133 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 58456 0 0 0 98897 131 0 0 25 0 1 0 865226829 178376704 30950 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43549 30950 300 300 0 43249 0
vsize: 174196
[startup+1000.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 58459 0 0 0 99897 131 0 0 25 0 1 0 865226829 178376704 30953 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43549 30953 300 300 0 43249 0
vsize: 174196
[startup+1010.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 58463 0 0 0 100897 131 0 0 25 0 1 0 865226829 178376704 30957 4294967295 134512640 135726644 3221224592 3221223280 134744911 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43549 30957 300 300 0 43249 0
vsize: 174196
[startup+1020.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 58467 0 0 0 101897 131 0 0 25 0 1 0 865226829 178376704 30961 4294967295 134512640 135726644 3221224592 3221223088 134744020 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43549 30961 300 300 0 43249 0
vsize: 174196
[startup+1030.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 58472 0 0 0 102897 132 0 0 25 0 1 0 865226829 178376704 30966 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43549 30966 300 300 0 43249 0
vsize: 174196
[startup+1040.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 58477 0 0 0 103898 132 0 0 25 0 1 0 865226829 178376704 30971 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43549 30971 300 300 0 43249 0
vsize: 174196
[startup+1050.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 59117 0 0 0 104896 133 0 0 25 0 1 0 865226829 178376704 30973 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43549 30973 300 300 0 43249 0
vsize: 174196
[startup+1060.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 59122 0 0 0 105896 133 0 0 25 0 1 0 865226829 178376704 30978 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43549 30978 300 300 0 43249 0
vsize: 174196
[startup+1070.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 59125 0 0 0 106896 134 0 0 25 0 1 0 865226829 178376704 30981 4294967295 134512640 135726644 3221224592 3221223200 134744653 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43549 30981 300 300 0 43249 0
vsize: 174196
[startup+1080.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 59128 0 0 0 107896 134 0 0 25 0 1 0 865226829 178376704 30984 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43549 30984 300 300 0 43249 0
vsize: 174196
[startup+1090.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 59131 0 0 0 108896 134 0 0 25 0 1 0 865226829 178376704 30987 4294967295 134512640 135726644 3221224592 3221222924 134735640 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43549 30987 300 300 0 43249 0
vsize: 174196
[startup+1100.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 59134 0 0 0 109896 134 0 0 25 0 1 0 865226829 178376704 30990 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43549 30990 300 300 0 43249 0
vsize: 174196
[startup+1110.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 59137 0 0 0 110897 134 0 0 25 0 1 0 865226829 178376704 30993 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43549 30993 300 300 0 43249 0
vsize: 174196
[startup+1120.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 59140 0 0 0 111897 134 0 0 25 0 1 0 865226829 178376704 30996 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43549 30996 300 300 0 43249 0
vsize: 174196
[startup+1130.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 59143 0 0 0 112897 134 0 0 25 0 1 0 865226829 178376704 30999 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43549 30999 300 300 0 43249 0
vsize: 174196
[startup+1140.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 59783 0 0 0 113896 135 0 0 25 0 1 0 865226829 178376704 31001 4294967295 134512640 135726644 3221224592 3221223088 134744113 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43549 31001 300 300 0 43249 0
vsize: 174196
[startup+1150.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 59784 0 0 0 114897 135 0 0 25 0 1 0 865226829 178376704 31002 4294967295 134512640 135726644 3221224592 3221222912 134728948 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43549 31002 300 300 0 43249 0
vsize: 174196
[startup+1160.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 59785 0 0 0 115897 135 0 0 25 0 1 0 865226829 178376704 31003 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43549 31003 300 300 0 43249 0
vsize: 174196
[startup+1170.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 59786 0 0 0 116897 136 0 0 25 0 1 0 865226829 178376704 31004 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43549 31004 300 300 0 43249 0
vsize: 174196
[startup+1180.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 59786 0 0 0 117897 136 0 0 25 0 1 0 865226829 178376704 31004 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43549 31004 300 300 0 43249 0
vsize: 174196
[startup+1190.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 59787 0 0 0 118897 136 0 0 25 0 1 0 865226829 178376704 31005 4294967295 134512640 135726644 3221224592 3221223216 134744520 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43549 31005 300 300 0 43249 0
vsize: 174196
[startup+1200.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13054
Raw data (stat): 13054 (pb2sat) R 13053 25399 25398 0 -1 0 59824 0 0 0 119897 136 0 0 25 0 1 0 865226829 178573312 31042 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43597 31042 300 300 0 43297 0
vsize: 174388
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1201.05 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 13054
Raw data (stat): 13054 (pb2sat) Z 13053 25399 25398 0 -1 12 59825 0 0 0 119981 142 0 0 25 0 1 0 865226829 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: 10
Real time (s): 1201.05
CPU time (s): 1201.23
CPU user time (s): 1199.81
CPU system time (s): 1.42278
CPU usage (%): 100.015
Max. virtual memory (Kb): 174388
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	3188
#### END VERIFIER DATA ####