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/miplib/normalized-mps-v2-13-7-lseu.opb
MD5SUM	5fcfa2f72175b9723ffb2781fb76fcdc
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.02584
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 35642

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.031
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:        777688 kB
Buffers:         33616 kB
Cached:         192712 kB
SwapCached:        384 kB
Active:          53480 kB
Inactive:       182748 kB
HighTotal:      131008 kB
HighFree:        13188 kB
LowTotal:       903652 kB
LowFree:        764500 kB
SwapTotal:     2097892 kB
SwapFree:      2096800 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5540 kB
Slab:            15008 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-28 13:41:46 (client local time) WITH STATUS 10 IN 1201.17 SECONDS
stats: 24830 0 1201.17 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.739 s]  setting bit 13 to 1
c got solution with objective value: 3188
c [startup+21.0836 s]  setting bit 12 to 1

Decision: 194905/326287	Time: 696.743/86400
Decision: 194905/326287	Time: 771.895/86400
Decision: 194905/326287	Time: 843.413/86400
Decision: 194905/326287	Time: 912.966/86400
Decision: 194915/326287	Time: 1022.43/86400
Decision: 194920/326287	Time: 1113.85/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 1041
Raw data (stat): 1041 (runsolver) R 1040 23310 23309 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 865122886 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+9.99999 s]
Raw data (loadavg): 0.92 0.95 0.91 2/54 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 30299 0 0 0 934 65 0 0 25 0 1 0 865122886 89788416 19148 4294967295 134512640 135726644 3221224592 3221210968 134784091 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21921 19148 300 300 0 21621 0
vsize: 87684
[startup+20.0002 s]
Raw data (loadavg): 0.93 0.95 0.91 2/54 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 52996 0 0 0 1886 113 0 0 25 0 1 0 865122886 171261952 29396 4294967295 134512640 135726644 3221224592 3221223024 134744603 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41812 29396 300 300 0 41512 0
vsize: 167248
[startup+30.0007 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 54286 0 0 0 2882 116 0 0 25 0 1 0 865122886 173862912 29886 4294967295 134512640 135726644 3221224592 3221223088 134743980 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.0001 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 54402 0 0 0 3881 117 0 0 25 0 1 0 865122886 174395392 29969 4294967295 134512640 135726644 3221224592 3221223280 134744911 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.0001 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 54459 0 0 0 4881 117 0 0 25 0 1 0 865122886 174661632 30026 4294967295 134512640 135726644 3221224592 3221223088 134743955 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.0008 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 54471 0 0 0 5882 117 0 0 25 0 1 0 865122886 174661632 30038 4294967295 134512640 135726644 3221224592 3221223088 134744063 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.0003 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 54563 0 0 0 6881 117 0 0 25 0 1 0 865122886 175058944 30097 4294967295 134512640 135726644 3221224592 3221223088 134743980 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.0013 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 54597 0 0 0 7881 118 0 0 25 0 1 0 865122886 175058944 30131 4294967295 134512640 135726644 3221224592 3221223088 134743955 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.0009 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 54653 0 0 0 8881 118 0 0 25 0 1 0 865122886 175325184 30187 4294967295 134512640 135726644 3221224592 3221223088 134744063 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 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 54662 0 0 0 9881 118 0 0 25 0 1 0 865122886 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.001 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 54674 0 0 0 10881 118 0 0 25 0 1 0 865122886 175325184 30208 4294967295 134512640 135726644 3221224592 3221223184 134760008 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.002 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 54693 0 0 0 11881 118 0 0 25 0 1 0 865122886 175325184 30227 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42804 30227 300 300 0 42504 0
vsize: 171216
[startup+130.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 54704 0 0 0 12880 119 0 0 25 0 1 0 865122886 175325184 30238 4294967295 134512640 135726644 3221224592 3221223088 134744263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42804 30238 300 300 0 42504 0
vsize: 171216
[startup+140.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 54710 0 0 0 13880 119 0 0 25 0 1 0 865122886 175325184 30244 4294967295 134512640 135726644 3221224592 3221223248 134731185 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.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 54714 0 0 0 14880 120 0 0 25 0 1 0 865122886 175325184 30248 4294967295 134512640 135726644 3221224592 3221223088 134744169 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.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 54718 0 0 0 15879 120 0 0 25 0 1 0 865122886 175325184 30252 4294967295 134512640 135726644 3221224592 3221223088 134743955 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.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 54721 0 0 0 16879 120 0 0 25 0 1 0 865122886 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.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 54725 0 0 0 17879 121 0 0 25 0 1 0 865122886 175325184 30259 4294967295 134512640 135726644 3221224592 3221223088 134743953 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 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 54729 0 0 0 18879 121 0 0 25 0 1 0 865122886 175325184 30263 4294967295 134512640 135726644 3221224592 3221223088 134743955 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 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 54734 0 0 0 19879 121 0 0 25 0 1 0 865122886 175325184 30268 4294967295 134512640 135726644 3221224592 3221223184 134760424 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.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 54738 0 0 0 20880 121 0 0 25 0 1 0 865122886 175325184 30272 4294967295 134512640 135726644 3221224592 3221223088 134744377 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.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 54743 0 0 0 21881 121 0 0 25 0 1 0 865122886 175325184 30277 4294967295 134512640 135726644 3221224592 3221223088 134744004 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.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 54748 0 0 0 22881 121 0 0 25 0 1 0 865122886 175325184 30282 4294967295 134512640 135726644 3221224592 3221223088 134743901 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.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 54754 0 0 0 23881 121 0 0 25 0 1 0 865122886 175325184 30288 4294967295 134512640 135726644 3221224592 3221223088 134743901 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.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 54758 0 0 0 24881 122 0 0 25 0 1 0 865122886 175325184 30292 4294967295 134512640 135726644 3221224592 3221223088 134744169 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.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 54763 0 0 0 25881 122 0 0 25 0 1 0 865122886 175325184 30297 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42804 30297 300 300 0 42504 0
vsize: 171216
[startup+270.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 54769 0 0 0 26881 122 0 0 25 0 1 0 865122886 175325184 30303 4294967295 134512640 135726644 3221224592 3221223088 134743953 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.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 54776 0 0 0 27881 122 0 0 25 0 1 0 865122886 175325184 30310 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42804 30310 300 300 0 42504 0
vsize: 171216
[startup+290.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 54780 0 0 0 28881 122 0 0 25 0 1 0 865122886 175325184 30314 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42804 30314 300 300 0 42504 0
vsize: 171216
[startup+300.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 54783 0 0 0 29881 122 0 0 25 0 1 0 865122886 175325184 30317 4294967295 134512640 135726644 3221224592 3221223248 134731240 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.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 54787 0 0 0 30881 122 0 0 25 0 1 0 865122886 175325184 30321 4294967295 134512640 135726644 3221224592 3221223088 134743953 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.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 54798 0 0 0 31881 122 0 0 25 0 1 0 865122886 175325184 30332 4294967295 134512640 135726644 3221224592 3221223088 134744063 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.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 54803 0 0 0 32882 123 0 0 25 0 1 0 865122886 175325184 30337 4294967295 134512640 135726644 3221224592 3221223184 134760008 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.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 54815 0 0 0 33882 123 0 0 25 0 1 0 865122886 175325184 30349 4294967295 134512640 135726644 3221224592 3221223088 134744163 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.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 54819 0 0 0 34883 123 0 0 25 0 1 0 865122886 175325184 30353 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42804 30353 300 300 0 42504 0
vsize: 171216
[startup+360.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 54824 0 0 0 35883 123 0 0 25 0 1 0 865122886 175325184 30358 4294967295 134512640 135726644 3221224592 3221223280 134744861 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.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 54830 0 0 0 36882 124 0 0 25 0 1 0 865122886 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.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 54980 0 0 0 37882 125 0 0 25 0 1 0 865122886 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.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 54982 0 0 0 38883 125 0 0 25 0 1 0 865122886 175853568 30451 4294967295 134512640 135726644 3221224592 3221223088 134744063 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.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 54986 0 0 0 39883 125 0 0 25 0 1 0 865122886 175853568 30455 4294967295 134512640 135726644 3221224592 3221223088 134743999 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.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 54989 0 0 0 40883 125 0 0 25 0 1 0 865122886 175853568 30458 4294967295 134512640 135726644 3221224592 3221223280 134744861 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.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 54992 0 0 0 41884 125 0 0 25 0 1 0 865122886 175853568 30461 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42933 30461 300 300 0 42633 0
vsize: 171732
[startup+430.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 54996 0 0 0 42884 125 0 0 25 0 1 0 865122886 175853568 30465 4294967295 134512640 135726644 3221224592 3221223280 134744961 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.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 55000 0 0 0 43884 125 0 0 25 0 1 0 865122886 175853568 30469 4294967295 134512640 135726644 3221224592 3221223088 134743928 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42933 30469 300 300 0 42633 0
vsize: 171732
[startup+450.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 55004 0 0 0 44884 125 0 0 25 0 1 0 865122886 175853568 30473 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42933 30473 300 300 0 42633 0
vsize: 171732
[startup+460.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 55006 0 0 0 45884 126 0 0 25 0 1 0 865122886 175853568 30475 4294967295 134512640 135726644 3221224592 3221223088 134744063 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.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 55010 0 0 0 46884 126 0 0 25 0 1 0 865122886 175853568 30479 4294967295 134512640 135726644 3221224592 3221222912 134728892 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.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 55014 0 0 0 47884 126 0 0 25 0 1 0 865122886 175853568 30483 4294967295 134512640 135726644 3221224592 3221223088 134744163 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.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 55016 0 0 0 48884 126 0 0 25 0 1 0 865122886 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.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 55019 0 0 0 49884 126 0 0 25 0 1 0 865122886 175853568 30488 4294967295 134512640 135726644 3221224592 3221222928 134735629 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.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 55104 0 0 0 50884 126 0 0 25 0 1 0 865122886 176115712 30508 4294967295 134512640 135726644 3221224592 3221223088 134744069 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.082 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 55119 0 0 0 51887 127 0 0 25 0 1 0 865122886 176115712 30523 4294967295 134512640 135726644 3221224592 3221223088 134743953 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.083 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 55124 0 0 0 52887 127 0 0 25 0 1 0 865122886 176115712 30528 4294967295 134512640 135726644 3221224592 3221223088 134744180 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.083 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 55132 0 0 0 53887 127 0 0 25 0 1 0 865122886 176115712 30536 4294967295 134512640 135726644 3221224592 3221223088 134744163 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.082 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 55135 0 0 0 54887 127 0 0 25 0 1 0 865122886 176115712 30539 4294967295 134512640 135726644 3221224592 3221223280 134744911 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42997 30539 300 300 0 42697 0
vsize: 171988
[startup+560.083 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 55211 0 0 0 55888 127 0 0 25 0 1 0 865122886 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.083 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 55214 0 0 0 56888 127 0 0 25 0 1 0 865122886 176377856 30553 4294967295 134512640 135726644 3221224592 3221223088 134743901 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.084 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 55218 0 0 0 57888 127 0 0 25 0 1 0 865122886 176377856 30557 4294967295 134512640 135726644 3221224592 3221223088 134743980 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.084 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 55222 0 0 0 58888 127 0 0 25 0 1 0 865122886 176377856 30561 4294967295 134512640 135726644 3221224592 3221223088 134743901 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.083 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 55225 0 0 0 59888 128 0 0 25 0 1 0 865122886 176377856 30564 4294967295 134512640 135726644 3221224592 3221222840 135282491 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.084 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 55228 0 0 0 60888 128 0 0 25 0 1 0 865122886 176377856 30567 4294967295 134512640 135726644 3221224592 3221223088 134743980 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.084 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 55231 0 0 0 61888 128 0 0 25 0 1 0 865122886 176377856 30570 4294967295 134512640 135726644 3221224592 3221223072 134729188 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.084 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 55306 0 0 0 62888 128 0 0 25 0 1 0 865122886 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.084 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 55314 0 0 0 63888 128 0 0 25 0 1 0 865122886 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.084 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 55318 0 0 0 64888 128 0 0 25 0 1 0 865122886 176640000 30592 4294967295 134512640 135726644 3221224592 3221222912 134728892 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.084 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 55332 0 0 0 65888 128 0 0 25 0 1 0 865122886 176640000 30606 4294967295 134512640 135726644 3221224592 3221223088 134744063 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.084 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 55338 0 0 0 66888 128 0 0 25 0 1 0 865122886 176640000 30612 4294967295 134512640 135726644 3221224592 3221223088 134743901 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.085 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 55357 0 0 0 67888 129 0 0 25 0 1 0 865122886 176640000 30631 4294967295 134512640 135726644 3221224592 3221223088 134743955 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.084 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 55361 0 0 0 68888 129 0 0 25 0 1 0 865122886 176640000 30635 4294967295 134512640 135726644 3221224592 3221223088 134744163 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.085 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 55363 0 0 0 69888 129 0 0 25 0 1 0 865122886 176640000 30637 4294967295 134512640 135726644 3221224592 3221223280 134744911 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.085 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 55366 0 0 0 70888 130 0 0 25 0 1 0 865122886 176640000 30640 4294967295 134512640 135726644 3221224592 3221223088 134743955 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.085 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 56016 0 0 0 71886 131 0 0 25 0 1 0 865122886 176791552 30652 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43162 30652 300 300 0 42862 0
vsize: 172648
[startup+730.086 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 56017 0 0 0 72886 131 0 0 25 0 1 0 865122886 176791552 30653 4294967295 134512640 135726644 3221224592 3221223248 134731175 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.086 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 56017 0 0 0 73886 131 0 0 25 0 1 0 865122886 176791552 30653 4294967295 134512640 135726644 3221224592 3221223088 134744056 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.086 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 56019 0 0 0 74886 131 0 0 25 0 1 0 865122886 176791552 30655 4294967295 134512640 135726644 3221224592 3221223088 134744030 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43162 30655 300 300 0 42862 0
vsize: 172648
[startup+760.086 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 56019 0 0 0 75886 132 0 0 25 0 1 0 865122886 176791552 30655 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43162 30655 300 300 0 42862 0
vsize: 172648
[startup+770.087 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 56022 0 0 0 76886 132 0 0 25 0 1 0 865122886 176791552 30658 4294967295 134512640 135726644 3221224592 3221223088 134744063 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.087 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 56036 0 0 0 77886 132 0 0 25 0 1 0 865122886 176791552 30672 4294967295 134512640 135726644 3221224592 3221223088 134743990 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.087 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 56210 0 0 0 78885 133 0 0 25 0 1 0 865122886 177590272 30813 4294967295 134512640 135726644 3221224592 3221223088 134744163 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.094 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 56855 0 0 0 79884 134 0 0 25 0 1 0 865122886 177590272 30820 4294967295 134512640 135726644 3221224592 3221223280 134744911 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.094 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 56857 0 0 0 80884 134 0 0 25 0 1 0 865122886 177590272 30822 4294967295 134512640 135726644 3221224592 3221223088 134743955 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.094 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 56861 0 0 0 81884 135 0 0 25 0 1 0 865122886 177590272 30826 4294967295 134512640 135726644 3221224592 3221223184 134760008 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.095 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 56865 0 0 0 82884 135 0 0 25 0 1 0 865122886 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.094 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 56869 0 0 0 83885 135 0 0 25 0 1 0 865122886 177590272 30834 4294967295 134512640 135726644 3221224592 3221222912 134728934 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.094 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 56873 0 0 0 84885 135 0 0 25 0 1 0 865122886 177590272 30838 4294967295 134512640 135726644 3221224592 3221223088 134743980 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.095 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 56878 0 0 0 85885 135 0 0 25 0 1 0 865122886 177590272 30843 4294967295 134512640 135726644 3221224592 3221223088 134743999 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43357 30843 300 300 0 43057 0
vsize: 173428
[startup+870.095 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 57519 0 0 0 86883 136 0 0 25 0 1 0 865122886 177590272 30846 4294967295 134512640 135726644 3221224592 3221223088 134744063 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.096 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 57523 0 0 0 87884 136 0 0 25 0 1 0 865122886 177590272 30850 4294967295 134512640 135726644 3221224592 3221223200 134744639 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.096 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 57528 0 0 0 88884 137 0 0 25 0 1 0 865122886 177590272 30855 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43357 30855 300 300 0 43057 0
vsize: 173428
[startup+900.096 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 57530 0 0 0 89884 137 0 0 25 0 1 0 865122886 177590272 30857 4294967295 134512640 135726644 3221224592 3221222912 134728934 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.096 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 57536 0 0 0 90884 137 0 0 25 0 1 0 865122886 177590272 30863 4294967295 134512640 135726644 3221224592 3221223088 134743907 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43357 30863 300 300 0 43057 0
vsize: 173428
[startup+920.097 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 57540 0 0 0 91884 137 0 0 25 0 1 0 865122886 177590272 30867 4294967295 134512640 135726644 3221224592 3221223088 134744063 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.097 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 57544 0 0 0 92884 137 0 0 25 0 1 0 865122886 177590272 30871 4294967295 134512640 135726644 3221224592 3221222912 134728934 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.097 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 58185 0 0 0 93883 139 0 0 25 0 1 0 865122886 177590272 30874 4294967295 134512640 135726644 3221224592 3221223040 134726934 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.096 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 58186 0 0 0 94883 139 0 0 25 0 1 0 865122886 177590272 30875 4294967295 134512640 135726644 3221224592 3221223088 134743955 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.097 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 58194 0 0 0 95883 139 0 0 25 0 1 0 865122886 177590272 30883 4294967295 134512640 135726644 3221224592 3221223248 134731248 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.096 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 58197 0 0 0 96883 139 0 0 25 0 1 0 865122886 177590272 30886 4294967295 134512640 135726644 3221224592 3221223216 134744520 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.097 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 58366 0 0 0 97882 140 0 0 25 0 1 0 865122886 178114560 30925 4294967295 134512640 135726644 3221224592 3221223088 134744063 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.097 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 58456 0 0 0 98882 140 0 0 25 0 1 0 865122886 178376704 30950 4294967295 134512640 135726644 3221224592 3221223244 134744674 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.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 58459 0 0 0 99882 140 0 0 25 0 1 0 865122886 178376704 30953 4294967295 134512640 135726644 3221224592 3221223088 134743975 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.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 58463 0 0 0 100882 140 0 0 25 0 1 0 865122886 178376704 30957 4294967295 134512640 135726644 3221224592 3221223088 134744063 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.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 58467 0 0 0 101883 140 0 0 25 0 1 0 865122886 178376704 30961 4294967295 134512640 135726644 3221224592 3221223088 134743901 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.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 58472 0 0 0 102883 141 0 0 25 0 1 0 865122886 178376704 30966 4294967295 134512640 135726644 3221224592 3221222920 134735633 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.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 58477 0 0 0 103883 141 0 0 25 0 1 0 865122886 178376704 30971 4294967295 134512640 135726644 3221224592 3221223088 134744004 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.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 59117 0 0 0 104881 142 0 0 25 0 1 0 865122886 178376704 30973 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43549 30973 300 300 0 43249 0
vsize: 174196
[startup+1060.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 59122 0 0 0 105880 143 0 0 25 0 1 0 865122886 178376704 30978 4294967295 134512640 135726644 3221224592 3221223088 134743999 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.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 59125 0 0 0 106880 143 0 0 25 0 1 0 865122886 178376704 30981 4294967295 134512640 135726644 3221224592 3221223088 134744063 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.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 59128 0 0 0 107880 143 0 0 25 0 1 0 865122886 178376704 30984 4294967295 134512640 135726644 3221224592 3221223088 134744117 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.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 59131 0 0 0 108880 143 0 0 25 0 1 0 865122886 178376704 30987 4294967295 134512640 135726644 3221224592 3221223088 134744163 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.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 59134 0 0 0 109881 143 0 0 25 0 1 0 865122886 178376704 30990 4294967295 134512640 135726644 3221224592 3221223088 134744163 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.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 59137 0 0 0 110881 143 0 0 25 0 1 0 865122886 178376704 30993 4294967295 134512640 135726644 3221224592 3221223280 134744861 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.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 59140 0 0 0 111881 144 0 0 25 0 1 0 865122886 178376704 30996 4294967295 134512640 135726644 3221224592 3221223088 134744156 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.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 59143 0 0 0 112881 144 0 0 25 0 1 0 865122886 178376704 30999 4294967295 134512640 135726644 3221224592 3221223088 134744041 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.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 59783 0 0 0 113879 145 0 0 25 0 1 0 865122886 178376704 31001 4294967295 134512640 135726644 3221224592 3221223088 134743980 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.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 59784 0 0 0 114879 146 0 0 25 0 1 0 865122886 178376704 31002 4294967295 134512640 135726644 3221224592 3221223088 134744056 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.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 59785 0 0 0 115879 146 0 0 25 0 1 0 865122886 178376704 31003 4294967295 134512640 135726644 3221224592 3221223088 134744169 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.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 59786 0 0 0 116880 146 0 0 25 0 1 0 865122886 178376704 31004 4294967295 134512640 135726644 3221224592 3221223248 134731175 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.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 59786 0 0 0 117880 146 0 0 25 0 1 0 865122886 178376704 31004 4294967295 134512640 135726644 3221224592 3221223088 134744163 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.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 59787 0 0 0 118880 146 0 0 25 0 1 0 865122886 178376704 31005 4294967295 134512640 135726644 3221224592 3221223088 134743955 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.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1041
Raw data (stat): 1041 (pb2sat) R 1040 23310 23309 0 -1 0 59824 0 0 0 119880 146 0 0 25 0 1 0 865122886 178573312 31042 4294967295 134512640 135726644 3221224592 3221223088 134744022 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.01 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 1041
Raw data (stat): 1041 (pb2sat) Z 1040 23310 23309 0 -1 12 59825 0 0 0 119964 152 0 0 25 0 1 0 865122886 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.01
CPU time (s): 1201.17
CPU user time (s): 1199.65
CPU system time (s): 1.52777
CPU usage (%): 100.014
Max. virtual memory (Kb): 174388
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	3188
#### END VERIFIER DATA ####