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-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-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.02184
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 35265

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc28 THE 2005-05-28 12:18:44 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24446 boxname=wulflinc28 idbench=918 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  5fcfa2f72175b9723ffb2781fb76fcdc  /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-20-10-lseu.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-20-10-lseu.opb
IDLAUNCH: 24446
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.077
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.077
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:        693008 kB
Buffers:         40288 kB
Cached:         259968 kB
SwapCached:        780 kB
Active:          23692 kB
Inactive:       296652 kB
HighTotal:      131008 kB
HighFree:         8820 kB
LowTotal:       903652 kB
LowFree:        684188 kB
SwapTotal:     2097640 kB
SwapFree:      2096164 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5460 kB
Slab:            15508 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-28 12:38:47 (client local time) WITH STATUS 10 IN 1201.3 SECONDS
stats: 24446 0 1201.3 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.8406 s]  setting bit 13 to 1
c got solution with objective value: 3188
c [startup+21.172 s]  setting bit 12 to 1

Decision: 194905/326287	Time: 689.351/86400
Decision: 194905/326287	Time: 763.774/86400
Decision: 194905/326287	Time: 834.501/86400
Decision: 194905/326287	Time: 903.291/86400
Decision: 194915/326287	Time: 1011.56/86400
Decision: 194920/326287	Time: 1102.12/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.97 0.91 2/54 6236
Raw data (stat): 6236 (runsolver) R 6235 24821 24820 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 864752198 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0015 s]
Raw data (loadavg): 0.92 0.97 0.91 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 30066 0 0 0 933 65 0 0 25 0 1 0 864752198 89382912 18918 4294967295 134512640 135726644 3221224576 3221204360 135287433 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21822 18918 300 300 0 21522 0
vsize: 87288
[startup+20.0016 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 52963 0 0 0 1884 114 0 0 25 0 1 0 864752198 171261952 29363 4294967295 134512640 135726644 3221224576 3221222796 135297998 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41812 29363 300 300 0 41512 0
vsize: 167248
[startup+30.0013 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 54286 0 0 0 2882 116 0 0 25 0 1 0 864752198 173862912 29886 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42447 29886 300 300 0 42147 0
vsize: 169788
[startup+40.0013 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 54402 0 0 0 3881 117 0 0 25 0 1 0 864752198 174395392 29969 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42577 29969 300 300 0 42277 0
vsize: 170308
[startup+50.0016 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 54460 0 0 0 4881 117 0 0 25 0 1 0 864752198 174661632 30027 4294967295 134512640 135726644 3221224576 3221222904 134735638 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42642 30027 300 300 0 42342 0
vsize: 170568
[startup+60.0023 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 54473 0 0 0 5881 117 0 0 25 0 1 0 864752198 174661632 30040 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42642 30040 300 300 0 42342 0
vsize: 170568
[startup+70.0033 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 54568 0 0 0 6881 118 0 0 25 0 1 0 864752198 175058944 30102 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42739 30102 300 300 0 42439 0
vsize: 170956
[startup+80.0037 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 54597 0 0 0 7882 118 0 0 25 0 1 0 864752198 175058944 30131 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42739 30131 300 300 0 42439 0
vsize: 170956
[startup+90.0033 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 54654 0 0 0 8882 118 0 0 25 0 1 0 864752198 175325184 30188 4294967295 134512640 135726644 3221224576 3221223168 134743857 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42804 30188 300 300 0 42504 0
vsize: 171216
[startup+100.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 54663 0 0 0 9882 118 0 0 25 0 1 0 864752198 175325184 30197 4294967295 134512640 135726644 3221224576 3221223232 134731263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42804 30197 300 300 0 42504 0
vsize: 171216
[startup+110.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 54675 0 0 0 10882 118 0 0 25 0 1 0 864752198 175325184 30209 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42804 30209 300 300 0 42504 0
vsize: 171216
[startup+120.002 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 54694 0 0 0 11882 118 0 0 25 0 1 0 864752198 175325184 30228 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42804 30228 300 300 0 42504 0
vsize: 171216
[startup+130.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 54705 0 0 0 12882 118 0 0 25 0 1 0 864752198 175325184 30239 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42804 30239 300 300 0 42504 0
vsize: 171216
[startup+140.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 54710 0 0 0 13882 118 0 0 25 0 1 0 864752198 175325184 30244 4294967295 134512640 135726644 3221224576 3221223072 134743982 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42804 30244 300 300 0 42504 0
vsize: 171216
[startup+150.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 54715 0 0 0 14882 118 0 0 25 0 1 0 864752198 175325184 30249 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42804 30249 300 300 0 42504 0
vsize: 171216
[startup+160.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 54718 0 0 0 15882 118 0 0 25 0 1 0 864752198 175325184 30252 4294967295 134512640 135726644 3221224576 3221222896 134728902 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42804 30252 300 300 0 42504 0
vsize: 171216
[startup+170.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 54722 0 0 0 16882 119 0 0 25 0 1 0 864752198 175325184 30256 4294967295 134512640 135726644 3221224576 3221223072 134743982 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42804 30256 300 300 0 42504 0
vsize: 171216
[startup+180.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 54725 0 0 0 17882 119 0 0 25 0 1 0 864752198 175325184 30259 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42804 30259 300 300 0 42504 0
vsize: 171216
[startup+190.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 54730 0 0 0 18882 119 0 0 25 0 1 0 864752198 175325184 30264 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42804 30264 300 300 0 42504 0
vsize: 171216
[startup+200.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 54734 0 0 0 19882 119 0 0 25 0 1 0 864752198 175325184 30268 4294967295 134512640 135726644 3221224576 3221223072 134744295 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42804 30268 300 300 0 42504 0
vsize: 171216
[startup+210.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 54739 0 0 0 20882 119 0 0 25 0 1 0 864752198 175325184 30273 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42804 30273 300 300 0 42504 0
vsize: 171216
[startup+220.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 54744 0 0 0 21882 119 0 0 25 0 1 0 864752198 175325184 30278 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42804 30278 300 300 0 42504 0
vsize: 171216
[startup+230.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 54749 0 0 0 22882 119 0 0 25 0 1 0 864752198 175325184 30283 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42804 30283 300 300 0 42504 0
vsize: 171216
[startup+240.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 54755 0 0 0 23882 120 0 0 25 0 1 0 864752198 175325184 30289 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42804 30289 300 300 0 42504 0
vsize: 171216
[startup+250.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 54760 0 0 0 24883 120 0 0 25 0 1 0 864752198 175325184 30294 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42804 30294 300 300 0 42504 0
vsize: 171216
[startup+260.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 54765 0 0 0 25883 120 0 0 25 0 1 0 864752198 175325184 30299 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42804 30299 300 300 0 42504 0
vsize: 171216
[startup+270.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 54771 0 0 0 26883 120 0 0 25 0 1 0 864752198 175325184 30305 4294967295 134512640 135726644 3221224576 3221223264 134744911 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42804 30305 300 300 0 42504 0
vsize: 171216
[startup+280.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 54776 0 0 0 27883 120 0 0 25 0 1 0 864752198 175325184 30310 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42804 30310 300 300 0 42504 0
vsize: 171216
[startup+290.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 54781 0 0 0 28883 120 0 0 25 0 1 0 864752198 175325184 30315 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42804 30315 300 300 0 42504 0
vsize: 171216
[startup+300.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 54784 0 0 0 29883 120 0 0 25 0 1 0 864752198 175325184 30318 4294967295 134512640 135726644 3221224576 3221223120 134736726 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42804 30318 300 300 0 42504 0
vsize: 171216
[startup+310.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 54795 0 0 0 30883 120 0 0 25 0 1 0 864752198 175325184 30329 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42804 30329 300 300 0 42504 0
vsize: 171216
[startup+320.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 54800 0 0 0 31883 120 0 0 25 0 1 0 864752198 175325184 30334 4294967295 134512640 135726644 3221224576 3221223168 134760424 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42804 30334 300 300 0 42504 0
vsize: 171216
[startup+330.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 54811 0 0 0 32883 120 0 0 25 0 1 0 864752198 175325184 30345 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42804 30345 300 300 0 42504 0
vsize: 171216
[startup+340.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 54816 0 0 0 33883 120 0 0 25 0 1 0 864752198 175325184 30350 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42804 30350 300 300 0 42504 0
vsize: 171216
[startup+350.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 54820 0 0 0 34884 120 0 0 25 0 1 0 864752198 175325184 30354 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42804 30354 300 300 0 42504 0
vsize: 171216
[startup+360.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 54826 0 0 0 35884 120 0 0 25 0 1 0 864752198 175325184 30360 4294967295 134512640 135726644 3221224576 3221223072 134744059 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42804 30360 300 300 0 42504 0
vsize: 171216
[startup+370.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 54835 0 0 0 36884 121 0 0 25 0 1 0 864752198 175325184 30369 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42804 30369 300 300 0 42504 0
vsize: 171216
[startup+380.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 54981 0 0 0 37884 121 0 0 25 0 1 0 864752198 175853568 30450 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42933 30450 300 300 0 42633 0
vsize: 171732
[startup+390.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 54984 0 0 0 38884 121 0 0 25 0 1 0 864752198 175853568 30453 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42933 30453 300 300 0 42633 0
vsize: 171732
[startup+400.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 54987 0 0 0 39884 121 0 0 25 0 1 0 864752198 175853568 30456 4294967295 134512640 135726644 3221224576 3221222824 135281200 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42933 30456 300 300 0 42633 0
vsize: 171732
[startup+410.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 54990 0 0 0 40884 121 0 0 25 0 1 0 864752198 175853568 30459 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42933 30459 300 300 0 42633 0
vsize: 171732
[startup+420.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 54993 0 0 0 41887 121 0 0 25 0 1 0 864752198 175853568 30462 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42933 30462 300 300 0 42633 0
vsize: 171732
[startup+430.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 54997 0 0 0 42887 121 0 0 25 0 1 0 864752198 175853568 30466 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42933 30466 300 300 0 42633 0
vsize: 171732
[startup+440.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 55001 0 0 0 43887 121 0 0 25 0 1 0 864752198 175853568 30470 4294967295 134512640 135726644 3221224576 3221223072 134743996 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42933 30470 300 300 0 42633 0
vsize: 171732
[startup+450.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 55005 0 0 0 44887 121 0 0 25 0 1 0 864752198 175853568 30474 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42933 30474 300 300 0 42633 0
vsize: 171732
[startup+460.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 55008 0 0 0 45887 121 0 0 25 0 1 0 864752198 175853568 30477 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42933 30477 300 300 0 42633 0
vsize: 171732
[startup+470.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 55011 0 0 0 46887 122 0 0 25 0 1 0 864752198 175853568 30480 4294967295 134512640 135726644 3221224576 3221223072 134744295 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42933 30480 300 300 0 42633 0
vsize: 171732
[startup+480.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 55015 0 0 0 47888 122 0 0 25 0 1 0 864752198 175853568 30484 4294967295 134512640 135726644 3221224576 3221223072 134743996 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42933 30484 300 300 0 42633 0
vsize: 171732
[startup+490.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 55017 0 0 0 48889 122 0 0 25 0 1 0 864752198 175853568 30486 4294967295 134512640 135726644 3221224576 3221223072 134744009 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42933 30486 300 300 0 42633 0
vsize: 171732
[startup+500.045 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 55103 0 0 0 49889 122 0 0 25 0 1 0 864752198 176115712 30507 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42997 30507 300 300 0 42697 0
vsize: 171988
[startup+510.05 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 55110 0 0 0 50889 122 0 0 25 0 1 0 864752198 176115712 30514 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42997 30514 300 300 0 42697 0
vsize: 171988
[startup+520.056 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 55124 0 0 0 51890 122 0 0 25 0 1 0 864752198 176115712 30528 4294967295 134512640 135726644 3221224576 3221223072 134743996 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42997 30528 300 300 0 42697 0
vsize: 171988
[startup+530.158 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 55131 0 0 0 52900 122 0 0 25 0 1 0 864752198 176115712 30535 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42997 30535 300 300 0 42697 0
vsize: 171988
[startup+540.165 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 55133 0 0 0 53901 123 0 0 25 0 1 0 864752198 176115712 30537 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42997 30537 300 300 0 42697 0
vsize: 171988
[startup+550.165 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 55210 0 0 0 54901 123 0 0 25 0 1 0 864752198 176377856 30549 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43061 30549 300 300 0 42761 0
vsize: 172244
[startup+560.164 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 55212 0 0 0 55901 123 0 0 25 0 1 0 864752198 176377856 30551 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43061 30551 300 300 0 42761 0
vsize: 172244
[startup+570.164 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 55216 0 0 0 56901 123 0 0 25 0 1 0 864752198 176377856 30555 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43061 30555 300 300 0 42761 0
vsize: 172244
[startup+580.164 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 55220 0 0 0 57901 123 0 0 25 0 1 0 864752198 176377856 30559 4294967295 134512640 135726644 3221224576 3221223232 134731253 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43061 30559 300 300 0 42761 0
vsize: 172244
[startup+590.164 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 55224 0 0 0 58902 123 0 0 25 0 1 0 864752198 176377856 30563 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43061 30563 300 300 0 42761 0
vsize: 172244
[startup+600.182 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 55226 0 0 0 59903 123 0 0 25 0 1 0 864752198 176377856 30565 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43061 30565 300 300 0 42761 0
vsize: 172244
[startup+610.181 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 55230 0 0 0 60903 123 0 0 25 0 1 0 864752198 176377856 30569 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43061 30569 300 300 0 42761 0
vsize: 172244
[startup+620.18 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 55234 0 0 0 61904 123 0 0 25 0 1 0 864752198 176377856 30573 4294967295 134512640 135726644 3221224576 3221222896 134728868 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43061 30573 300 300 0 42761 0
vsize: 172244
[startup+630.187 s]
Raw data (loadavg): 1.08 1.00 0.92 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 55312 0 0 0 62904 123 0 0 25 0 1 0 864752198 176640000 30586 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43125 30586 300 300 0 42825 0
vsize: 172500
[startup+640.188 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 55317 0 0 0 63904 123 0 0 25 0 1 0 864752198 176640000 30591 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43125 30591 300 300 0 42825 0
vsize: 172500
[startup+650.188 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 55331 0 0 0 64905 123 0 0 25 0 1 0 864752198 176640000 30605 4294967295 134512640 135726644 3221224576 3221223120 134736624 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43125 30605 300 300 0 42825 0
vsize: 172500
[startup+660.189 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 55337 0 0 0 65905 124 0 0 25 0 1 0 864752198 176640000 30611 4294967295 134512640 135726644 3221224576 3221223072 134743940 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43125 30611 300 300 0 42825 0
vsize: 172500
[startup+670.189 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 55356 0 0 0 66905 124 0 0 25 0 1 0 864752198 176640000 30630 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43125 30630 300 300 0 42825 0
vsize: 172500
[startup+680.189 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 55360 0 0 0 67905 124 0 0 25 0 1 0 864752198 176640000 30634 4294967295 134512640 135726644 3221224576 3221223200 134744557 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43125 30634 300 300 0 42825 0
vsize: 172500
[startup+690.189 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 55362 0 0 0 68905 124 0 0 25 0 1 0 864752198 176640000 30636 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43125 30636 300 300 0 42825 0
vsize: 172500
[startup+700.19 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 55365 0 0 0 69905 124 0 0 25 0 1 0 864752198 176640000 30639 4294967295 134512640 135726644 3221224576 3221223200 134744588 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43125 30639 300 300 0 42825 0
vsize: 172500
[startup+710.197 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 56007 0 0 0 70905 125 0 0 25 0 1 0 864752198 176640000 30643 4294967295 134512640 135726644 3221224576 3221223200 134779655 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43125 30643 300 300 0 42825 0
vsize: 172500
[startup+720.208 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 56017 0 0 0 71905 125 0 0 25 0 1 0 864752198 176791552 30653 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43162 30653 300 300 0 42862 0
vsize: 172648
[startup+730.208 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 56017 0 0 0 72905 125 0 0 25 0 1 0 864752198 176791552 30653 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43162 30653 300 300 0 42862 0
vsize: 172648
[startup+740.209 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 56018 0 0 0 73905 126 0 0 25 0 1 0 864752198 176791552 30654 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43162 30654 300 300 0 42862 0
vsize: 172648
[startup+750.208 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 56019 0 0 0 74905 126 0 0 25 0 1 0 864752198 176791552 30655 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43162 30655 300 300 0 42862 0
vsize: 172648
[startup+760.208 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 56021 0 0 0 75905 126 0 0 25 0 1 0 864752198 176791552 30657 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43162 30657 300 300 0 42862 0
vsize: 172648
[startup+770.209 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 56034 0 0 0 76906 126 0 0 25 0 1 0 864752198 176791552 30670 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43162 30670 300 300 0 42862 0
vsize: 172648
[startup+780.208 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 56210 0 0 0 77906 126 0 0 25 0 1 0 864752198 177590272 30813 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43357 30813 300 300 0 43057 0
vsize: 173428
[startup+790.209 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 56854 0 0 0 78904 128 0 0 25 0 1 0 864752198 177590272 30819 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43357 30819 300 300 0 43057 0
vsize: 173428
[startup+800.21 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 56857 0 0 0 79904 128 0 0 25 0 1 0 864752198 177590272 30822 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43357 30822 300 300 0 43057 0
vsize: 173428
[startup+810.209 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 56861 0 0 0 80905 128 0 0 25 0 1 0 864752198 177590272 30826 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43357 30826 300 300 0 43057 0
vsize: 173428
[startup+820.209 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 56865 0 0 0 81905 128 0 0 25 0 1 0 864752198 177590272 30830 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43357 30830 300 300 0 43057 0
vsize: 173428
[startup+830.209 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 56869 0 0 0 82905 128 0 0 25 0 1 0 864752198 177590272 30834 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43357 30834 300 300 0 43057 0
vsize: 173428
[startup+840.21 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 56873 0 0 0 83905 128 0 0 25 0 1 0 864752198 177590272 30838 4294967295 134512640 135726644 3221224576 3221223232 134745088 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43357 30838 300 300 0 43057 0
vsize: 173428
[startup+850.209 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 56877 0 0 0 84905 128 0 0 25 0 1 0 864752198 177590272 30842 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43357 30842 300 300 0 43057 0
vsize: 173428
[startup+860.209 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 57519 0 0 0 85904 130 0 0 25 0 1 0 864752198 177590272 30846 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43357 30846 300 300 0 43057 0
vsize: 173428
[startup+870.209 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 57522 0 0 0 86904 130 0 0 25 0 1 0 864752198 177590272 30849 4294967295 134512640 135726644 3221224576 3221223072 134744382 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43357 30849 300 300 0 43057 0
vsize: 173428
[startup+880.209 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 57527 0 0 0 87904 130 0 0 25 0 1 0 864752198 177590272 30854 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43357 30854 300 300 0 43057 0
vsize: 173428
[startup+890.21 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 57530 0 0 0 88904 130 0 0 25 0 1 0 864752198 177590272 30857 4294967295 134512640 135726644 3221224576 3221223168 134743857 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43357 30857 300 300 0 43057 0
vsize: 173428
[startup+900.21 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 57535 0 0 0 89904 130 0 0 25 0 1 0 864752198 177590272 30862 4294967295 134512640 135726644 3221224576 3221223168 134759980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43357 30862 300 300 0 43057 0
vsize: 173428
[startup+910.21 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 57540 0 0 0 90904 130 0 0 25 0 1 0 864752198 177590272 30867 4294967295 134512640 135726644 3221224576 3221223072 134744046 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43357 30867 300 300 0 43057 0
vsize: 173428
[startup+920.211 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 57544 0 0 0 91904 130 0 0 25 0 1 0 864752198 177590272 30871 4294967295 134512640 135726644 3221224576 3221223072 134744048 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43357 30871 300 300 0 43057 0
vsize: 173428
[startup+930.21 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 58185 0 0 0 92903 132 0 0 25 0 1 0 864752198 177590272 30874 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43357 30874 300 300 0 43057 0
vsize: 173428
[startup+940.212 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 58186 0 0 0 93903 132 0 0 25 0 1 0 864752198 177590272 30875 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43357 30875 300 300 0 43057 0
vsize: 173428
[startup+950.211 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 58194 0 0 0 94903 132 0 0 25 0 1 0 864752198 177590272 30883 4294967295 134512640 135726644 3221224576 3221223232 134731263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43357 30883 300 300 0 43057 0
vsize: 173428
[startup+960.211 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 58197 0 0 0 95903 132 0 0 25 0 1 0 864752198 177590272 30886 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43357 30886 300 300 0 43057 0
vsize: 173428
[startup+970.212 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 58366 0 0 0 96903 133 0 0 25 0 1 0 864752198 178114560 30925 4294967295 134512640 135726644 3221224576 3221223200 134744575 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43485 30925 300 300 0 43185 0
vsize: 173940
[startup+980.212 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 58456 0 0 0 97903 133 0 0 25 0 1 0 864752198 178376704 30950 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43549 30950 300 300 0 43249 0
vsize: 174196
[startup+990.213 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 58459 0 0 0 98903 133 0 0 25 0 1 0 864752198 178376704 30953 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43549 30953 300 300 0 43249 0
vsize: 174196
[startup+1000.21 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 58463 0 0 0 99903 133 0 0 25 0 1 0 864752198 178376704 30957 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43549 30957 300 300 0 43249 0
vsize: 174196
[startup+1010.21 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 58467 0 0 0 100903 133 0 0 25 0 1 0 864752198 178376704 30961 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43549 30961 300 300 0 43249 0
vsize: 174196
[startup+1020.21 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 58473 0 0 0 101903 133 0 0 25 0 1 0 864752198 178376704 30967 4294967295 134512640 135726644 3221224576 3221223072 134744113 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43549 30967 300 300 0 43249 0
vsize: 174196
[startup+1030.21 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 58478 0 0 0 102904 133 0 0 25 0 1 0 864752198 178376704 30972 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43549 30972 300 300 0 43249 0
vsize: 174196
[startup+1040.21 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 59118 0 0 0 103902 135 0 0 25 0 1 0 864752198 178376704 30974 4294967295 134512640 135726644 3221224576 3221222904 134735638 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43549 30974 300 300 0 43249 0
vsize: 174196
[startup+1050.21 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 59122 0 0 0 104902 135 0 0 25 0 1 0 864752198 178376704 30978 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43549 30978 300 300 0 43249 0
vsize: 174196
[startup+1060.21 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 59125 0 0 0 105902 135 0 0 25 0 1 0 864752198 178376704 30981 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43549 30981 300 300 0 43249 0
vsize: 174196
[startup+1070.21 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 59128 0 0 0 106901 136 0 0 25 0 1 0 864752198 178376704 30984 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43549 30984 300 300 0 43249 0
vsize: 174196
[startup+1080.21 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 59131 0 0 0 107901 136 0 0 25 0 1 0 864752198 178376704 30987 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43549 30987 300 300 0 43249 0
vsize: 174196
[startup+1090.21 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 59134 0 0 0 108902 136 0 0 25 0 1 0 864752198 178376704 30990 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43549 30990 300 300 0 43249 0
vsize: 174196
[startup+1100.21 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 59138 0 0 0 109901 136 0 0 25 0 1 0 864752198 178376704 30994 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43549 30994 300 300 0 43249 0
vsize: 174196
[startup+1110.21 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 59141 0 0 0 110901 136 0 0 25 0 1 0 864752198 178376704 30997 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43549 30997 300 300 0 43249 0
vsize: 174196
[startup+1120.21 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 59144 0 0 0 111902 136 0 0 25 0 1 0 864752198 178376704 31000 4294967295 134512640 135726644 3221224576 3221223072 134744056 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43549 31000 300 300 0 43249 0
vsize: 174196
[startup+1130.21 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 59784 0 0 0 112900 138 0 0 25 0 1 0 864752198 178376704 31002 4294967295 134512640 135726644 3221224576 3221223264 134744977 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43549 31002 300 300 0 43249 0
vsize: 174196
[startup+1140.22 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 59784 0 0 0 113900 138 0 0 25 0 1 0 864752198 178376704 31002 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43549 31002 300 300 0 43249 0
vsize: 174196
[startup+1150.22 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 59785 0 0 0 114900 138 0 0 25 0 1 0 864752198 178376704 31003 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43549 31003 300 300 0 43249 0
vsize: 174196
[startup+1160.22 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 59786 0 0 0 115900 138 0 0 25 0 1 0 864752198 178376704 31004 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43549 31004 300 300 0 43249 0
vsize: 174196
[startup+1170.22 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 59786 0 0 0 116900 139 0 0 25 0 1 0 864752198 178376704 31004 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43549 31004 300 300 0 43249 0
vsize: 174196
[startup+1180.21 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 59787 0 0 0 117900 139 0 0 25 0 1 0 864752198 178376704 31005 4294967295 134512640 135726644 3221224576 3221223264 134744838 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43549 31005 300 300 0 43249 0
vsize: 174196
[startup+1190.22 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 60040 0 0 0 118900 139 0 0 25 0 1 0 864752198 179675136 31242 4294967295 134512640 135726644 3221224576 3221223072 134743948 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43866 31243 300 300 0 43566 0
vsize: 175464
[startup+1200.22 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6236
Raw data (stat): 6236 (pb2sat) R 6235 24821 24820 0 -1 0 60316 0 0 0 119899 140 0 0 25 0 1 0 864752198 181075968 31452 4294967295 134512640 135726644 3221224576 3221223072 134743961 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44208 31452 300 300 0 43908 0
vsize: 176832
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1201.11 s]
Raw data (loadavg): 1.00 1.00 0.92 1/54 6236
Raw data (stat): 6236 (pb2sat) Z 6235 24821 24820 0 -1 12 60317 0 0 0 119983 146 0 0 25 0 1 0 864752198 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 10
Real time (s): 1201.11
CPU time (s): 1201.3
CPU user time (s): 1199.83
CPU system time (s): 1.46578
CPU usage (%): 100.015
Max. virtual memory (Kb): 176832
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	3188
#### END VERIFIER DATA ####