PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

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

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-16 18:08:07 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26123 boxname=wulflinc3 idbench=1423 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  99657262afbbfce7034a3ec6b29d9b3b  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-lseu.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-lseu.opb
IDLAUNCH: 26123
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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	: 2
cpu MHz		: 451.190
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:        715020 kB
Buffers:         24352 kB
Cached:         273604 kB
SwapCached:        768 kB
Active:          33856 kB
Inactive:       266140 kB
HighTotal:      131008 kB
HighFree:         4200 kB
LowTotal:       903652 kB
LowFree:        710820 kB
SwapTotal:     2097136 kB
SwapFree:      2095372 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5104 kB
Slab:            13876 kB
Committed_AS:    71904 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 18:28:10 (client local time) WITH STATUS 10 IN 1201.12 SECONDS
stats: 26123 0 1201.12 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: 4477
c small objective detected
c CONFLICT during preprocess 
c [startup+10.593 s]  setting bit 13 to 0
c [startup+18.3221 s]  setting bit 12 to 0
c got solution with objective value: 2422
c [startup+21.8617 s]  setting bit 11 to 1
c got solution with objective value: 1398
c [startup+460.783 s]  setting bit 10 to 1

c Decision: 96242/210065	Time: 285.109/86400
c Decision: 96242/210065	Time: 347.14/86400
c Decision: 96242/210065	Time: 408.175/86400
c Decision: 96242/210065	Time: 467.135/86400
c Decision: 96242/210065	Time: 524.812/86400
c Decision: 96242/210065	Time: 584.621/86400
c Decision: 96242/210065	Time: 644.354/86400
c Decision: 96242/210065	Time: 704.194/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.91 0.95 0.90 2/54 27872
Raw data (stat): 27872 (runsolver) R 27871 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 972793838 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0004 s]
Raw data (loadavg): 0.92 0.95 0.90 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 29171 0 0 0 937 61 0 0 25 0 1 0 972793838 89722880 18132 4294967295 134512640 135730672 3221224576 3221222688 134768818 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21905 18132 301 301 0 21604 0
vsize: 87620
[startup+20.0016 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 31467 0 0 0 1933 66 0 0 25 0 1 0 972793838 93958144 18853 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22939 18853 301 301 0 22638 0
vsize: 91756
[startup+30.002 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 32357 0 0 0 2930 69 0 0 25 0 1 0 972793838 95850496 19200 4294967295 134512640 135730672 3221224576 3221222864 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23401 19200 301 301 0 23100 0
vsize: 93604
[startup+40.0029 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 32441 0 0 0 3930 69 0 0 25 0 1 0 972793838 95981568 19251 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23433 19251 301 301 0 23132 0
vsize: 93732
[startup+50.0041 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 32451 0 0 0 4930 69 0 0 25 0 1 0 972793838 95981568 19261 4294967295 134512640 135730672 3221224576 3221222960 134764020 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23433 19261 301 301 0 23132 0
vsize: 93732
[startup+60.0036 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 32461 0 0 0 5930 70 0 0 25 0 1 0 972793838 95981568 19271 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23433 19271 301 301 0 23132 0
vsize: 93732
[startup+70.0044 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 32468 0 0 0 6930 70 0 0 25 0 1 0 972793838 95981568 19278 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23433 19278 301 301 0 23132 0
vsize: 93732
[startup+80.0047 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 32486 0 0 0 7930 70 0 0 25 0 1 0 972793838 95981568 19296 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23433 19296 301 301 0 23132 0
vsize: 93732
[startup+90.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 32495 0 0 0 8930 71 0 0 25 0 1 0 972793838 95981568 19305 4294967295 134512640 135730672 3221224576 3221222864 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23433 19305 301 301 0 23132 0
vsize: 93732
[startup+100.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 32500 0 0 0 9929 71 0 0 25 0 1 0 972793838 95981568 19310 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23433 19310 301 301 0 23132 0
vsize: 93732
[startup+110.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 32512 0 0 0 10929 71 0 0 25 0 1 0 972793838 95981568 19322 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23433 19322 301 301 0 23132 0
vsize: 93732
[startup+120.006 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 32576 0 0 0 11929 71 0 0 25 0 1 0 972793838 96247808 19386 4294967295 134512640 135730672 3221224576 3221223056 134748554 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23498 19386 301 301 0 23197 0
vsize: 93992
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 32682 0 0 0 12929 72 0 0 25 0 1 0 972793838 96509952 19426 4294967295 134512640 135730672 3221224576 3221222864 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23562 19426 301 301 0 23261 0
vsize: 94248
[startup+140.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 32694 0 0 0 13928 72 0 0 25 0 1 0 972793838 96509952 19438 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23562 19438 301 301 0 23261 0
vsize: 94248
[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 32707 0 0 0 14928 73 0 0 25 0 1 0 972793838 96509952 19451 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23562 19451 301 301 0 23261 0
vsize: 94248
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 32777 0 0 0 15928 73 0 0 25 0 1 0 972793838 96776192 19521 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23627 19521 301 301 0 23326 0
vsize: 94508
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 32783 0 0 0 16928 73 0 0 25 0 1 0 972793838 96776192 19527 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23627 19527 301 301 0 23326 0
vsize: 94508
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 32790 0 0 0 17927 74 0 0 25 0 1 0 972793838 96776192 19534 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23627 19534 301 301 0 23326 0
vsize: 94508
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 32871 0 0 0 18927 74 0 0 25 0 1 0 972793838 97038336 19550 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23691 19550 301 301 0 23390 0
vsize: 94764
[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 32878 0 0 0 19927 74 0 0 25 0 1 0 972793838 97038336 19557 4294967295 134512640 135730672 3221224576 3221222800 134730465 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23691 19557 301 301 0 23390 0
vsize: 94764
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 32884 0 0 0 20927 75 0 0 25 0 1 0 972793838 97038336 19563 4294967295 134512640 135730672 3221224576 3221222960 134764022 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23691 19563 301 301 0 23390 0
vsize: 94764
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 32890 0 0 0 21927 75 0 0 25 0 1 0 972793838 97038336 19569 4294967295 134512640 135730672 3221224576 3221222864 134747549 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23691 19569 301 301 0 23390 0
vsize: 94764
[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 32896 0 0 0 22927 75 0 0 25 0 1 0 972793838 97038336 19575 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23691 19575 301 301 0 23390 0
vsize: 94764
[startup+240.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 32978 0 0 0 23926 76 0 0 25 0 1 0 972793838 97300480 19592 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23755 19592 301 301 0 23454 0
vsize: 95020
[startup+250.008 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 32984 0 0 0 24926 76 0 0 25 0 1 0 972793838 97300480 19598 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23755 19598 301 301 0 23454 0
vsize: 95020
[startup+260.009 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 32992 0 0 0 25926 76 0 0 25 0 1 0 972793838 97300480 19606 4294967295 134512640 135730672 3221224576 3221222960 134764020 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23755 19606 301 301 0 23454 0
vsize: 95020
[startup+270.009 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 33007 0 0 0 26926 76 0 0 25 0 1 0 972793838 97300480 19621 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23755 19621 301 301 0 23454 0
vsize: 95020
[startup+280.009 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 33011 0 0 0 27926 77 0 0 25 0 1 0 972793838 97300480 19625 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23755 19625 301 301 0 23454 0
vsize: 95020
[startup+290.01 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 33017 0 0 0 28926 77 0 0 25 0 1 0 972793838 97300480 19631 4294967295 134512640 135730672 3221224576 3221222688 134732515 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23755 19631 301 301 0 23454 0
vsize: 95020
[startup+300.011 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 33022 0 0 0 29925 78 0 0 25 0 1 0 972793838 97300480 19636 4294967295 134512640 135730672 3221224576 3221222688 134732479 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23755 19636 301 301 0 23454 0
vsize: 95020
[startup+310.011 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 33029 0 0 0 30925 78 0 0 25 0 1 0 972793838 97300480 19643 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23755 19643 301 301 0 23454 0
vsize: 95020
[startup+320.011 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 33035 0 0 0 31925 78 0 0 25 0 1 0 972793838 97300480 19649 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23755 19649 301 301 0 23454 0
vsize: 95020
[startup+330.011 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 33040 0 0 0 32925 78 0 0 25 0 1 0 972793838 97300480 19654 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23755 19654 301 301 0 23454 0
vsize: 95020
[startup+340.012 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 33048 0 0 0 33925 79 0 0 25 0 1 0 972793838 97300480 19662 4294967295 134512640 135730672 3221224576 3221222864 134747610 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23755 19662 301 301 0 23454 0
vsize: 95020
[startup+350.012 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 33055 0 0 0 34925 79 0 0 25 0 1 0 972793838 97300480 19669 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23755 19669 301 301 0 23454 0
vsize: 95020
[startup+360.013 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 33062 0 0 0 35924 80 0 0 25 0 1 0 972793838 97300480 19676 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23755 19676 301 301 0 23454 0
vsize: 95020
[startup+370.014 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 33257 0 0 0 36924 80 0 0 25 0 1 0 972793838 97959936 19838 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23916 19838 301 301 0 23615 0
vsize: 95664
[startup+380.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 33266 0 0 0 37924 80 0 0 25 0 1 0 972793838 97959936 19847 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23916 19847 301 301 0 23615 0
vsize: 95664
[startup+390.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 33347 0 0 0 38923 81 0 0 25 0 1 0 972793838 98222080 19863 4294967295 134512640 135730672 3221224576 3221222864 134747578 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23980 19863 301 301 0 23679 0
vsize: 95920
[startup+400.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 33355 0 0 0 39924 81 0 0 25 0 1 0 972793838 98222080 19871 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23980 19871 301 301 0 23679 0
vsize: 95920
[startup+410.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 33411 0 0 0 40923 82 0 0 25 0 1 0 972793838 98488320 19927 4294967295 134512640 135730672 3221224576 3221222688 134732479 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24045 19927 301 301 0 23744 0
vsize: 96180
[startup+420.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 33416 0 0 0 41923 82 0 0 25 0 1 0 972793838 98488320 19932 4294967295 134512640 135730672 3221224576 3221223024 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24045 19932 301 301 0 23744 0
vsize: 96180
[startup+430.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 33419 0 0 0 42922 83 0 0 25 0 1 0 972793838 98488320 19935 4294967295 134512640 135730672 3221224576 3221222864 134747908 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24045 19935 301 301 0 23744 0
vsize: 96180
[startup+440.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 33423 0 0 0 43922 83 0 0 25 0 1 0 972793838 98488320 19939 4294967295 134512640 135730672 3221224576 3221222864 134747657 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24045 19939 301 301 0 23744 0
vsize: 96180
[startup+450.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 33495 0 0 0 44922 83 0 0 25 0 1 0 972793838 98750464 19946 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24109 19946 301 301 0 23808 0
vsize: 96436
[startup+460.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 33500 0 0 0 45922 84 0 0 25 0 1 0 972793838 98750464 19951 4294967295 134512640 135730672 3221224576 3221222864 134747578 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24109 19951 301 301 0 23808 0
vsize: 96436
[startup+470.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 33916 0 0 0 46921 85 0 0 25 0 1 0 972793838 98750464 19956 4294967295 134512640 135730672 3221224576 3221222864 134747883 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24109 19956 301 301 0 23808 0
vsize: 96436
[startup+480.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 34026 0 0 0 47921 85 0 0 25 0 1 0 972793838 99282944 20033 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24239 20033 301 301 0 23938 0
vsize: 96956
[startup+490.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 34583 0 0 0 48919 87 0 0 25 0 1 0 972793838 101883904 20491 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24874 20491 301 301 0 24573 0
vsize: 99496
[startup+500.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 35082 0 0 0 49919 87 0 0 25 0 1 0 972793838 103911424 20858 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25369 20858 301 301 0 25068 0
vsize: 101476
[startup+510.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 35155 0 0 0 50919 87 0 0 25 0 1 0 972793838 104042496 20898 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25401 20898 301 301 0 25100 0
vsize: 101604
[startup+520.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 35159 0 0 0 51920 87 0 0 25 0 1 0 972793838 104042496 20902 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25401 20902 301 301 0 25100 0
vsize: 101604
[startup+530.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 35233 0 0 0 52920 87 0 0 25 0 1 0 972793838 104304640 20911 4294967295 134512640 135730672 3221224576 3221222960 134763576 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25465 20911 301 301 0 25164 0
vsize: 101860
[startup+540.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 35236 0 0 0 53920 87 0 0 25 0 1 0 972793838 104304640 20914 4294967295 134512640 135730672 3221224576 3221222864 134747552 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25465 20914 301 301 0 25164 0
vsize: 101860
[startup+550.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 35239 0 0 0 54920 87 0 0 25 0 1 0 972793838 104304640 20917 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25465 20917 301 301 0 25164 0
vsize: 101860
[startup+560.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 35244 0 0 0 55920 87 0 0 25 0 1 0 972793838 104304640 20922 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25465 20922 301 301 0 25164 0
vsize: 101860
[startup+570.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 35248 0 0 0 56920 87 0 0 25 0 1 0 972793838 104304640 20926 4294967295 134512640 135730672 3221224576 3221222968 134747726 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25465 20926 301 301 0 25164 0
vsize: 101860
[startup+580.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 35251 0 0 0 57920 87 0 0 25 0 1 0 972793838 104304640 20929 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25465 20929 301 301 0 25164 0
vsize: 101860
[startup+590.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 35255 0 0 0 58920 88 0 0 25 0 1 0 972793838 104304640 20933 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25465 20933 301 301 0 25164 0
vsize: 101860
[startup+600.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 35331 0 0 0 59920 88 0 0 25 0 1 0 972793838 104566784 20944 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25529 20944 301 301 0 25228 0
vsize: 102116
[startup+610.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 35336 0 0 0 60920 88 0 0 25 0 1 0 972793838 104566784 20949 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25529 20949 301 301 0 25228 0
vsize: 102116
[startup+620.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 35341 0 0 0 61920 88 0 0 25 0 1 0 972793838 104566784 20954 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25529 20954 301 301 0 25228 0
vsize: 102116
[startup+630.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 35345 0 0 0 62921 88 0 0 25 0 1 0 972793838 104566784 20958 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25529 20958 301 301 0 25228 0
vsize: 102116
[startup+640.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 35349 0 0 0 63921 88 0 0 25 0 1 0 972793838 104566784 20962 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25529 20962 301 301 0 25228 0
vsize: 102116
[startup+650.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 35352 0 0 0 64921 88 0 0 25 0 1 0 972793838 104566784 20965 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25529 20965 301 301 0 25228 0
vsize: 102116
[startup+660.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 35356 0 0 0 65921 88 0 0 25 0 1 0 972793838 104566784 20969 4294967295 134512640 135730672 3221224576 3221222912 134740274 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25529 20969 301 301 0 25228 0
vsize: 102116
[startup+670.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 35450 0 0 0 66921 89 0 0 25 0 1 0 972793838 104828928 20998 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25593 20998 301 301 0 25292 0
vsize: 102372
[startup+680.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 35474 0 0 0 67921 89 0 0 25 0 1 0 972793838 104828928 21022 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25593 21022 301 301 0 25292 0
vsize: 102372
[startup+690.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 35479 0 0 0 68921 89 0 0 25 0 1 0 972793838 104828928 21027 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25593 21027 301 301 0 25292 0
vsize: 102372
[startup+700.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 35482 0 0 0 69922 89 0 0 25 0 1 0 972793838 104828928 21030 4294967295 134512640 135730672 3221224576 3221222864 134747908 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25593 21030 301 301 0 25292 0
vsize: 102372
[startup+710.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 35486 0 0 0 70922 89 0 0 25 0 1 0 972793838 104828928 21034 4294967295 134512640 135730672 3221224576 3221222688 134732462 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25593 21034 301 301 0 25292 0
vsize: 102372
[startup+720.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 35493 0 0 0 71922 89 0 0 25 0 1 0 972793838 104828928 21041 4294967295 134512640 135730672 3221224576 3221223024 134748656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25593 21041 301 301 0 25292 0
vsize: 102372
[startup+730.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 35496 0 0 0 72922 89 0 0 25 0 1 0 972793838 104828928 21044 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25593 21044 301 301 0 25292 0
vsize: 102372
[startup+740.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 35501 0 0 0 73922 89 0 0 25 0 1 0 972793838 104828928 21049 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25593 21049 301 301 0 25292 0
vsize: 102372
[startup+750.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 35914 0 0 0 74921 90 0 0 25 0 1 0 972793838 104828928 21051 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25593 21051 301 301 0 25292 0
vsize: 102372
[startup+760.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 35966 0 0 0 75920 90 0 0 25 0 1 0 972793838 105099264 21103 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25659 21103 301 301 0 25358 0
vsize: 102636
[startup+770.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 35967 0 0 0 76920 90 0 0 25 0 1 0 972793838 105099264 21104 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25659 21104 301 301 0 25358 0
vsize: 102636
[startup+780.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 35967 0 0 0 77920 90 0 0 25 0 1 0 972793838 105099264 21104 4294967295 134512640 135730672 3221224576 3221222864 134747705 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25659 21104 301 301 0 25358 0
vsize: 102636
[startup+790.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 35968 0 0 0 78921 90 0 0 25 0 1 0 972793838 105099264 21105 4294967295 134512640 135730672 3221224576 3221222912 134740310 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25659 21105 301 301 0 25358 0
vsize: 102636
[startup+800.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 35969 0 0 0 79921 91 0 0 25 0 1 0 972793838 105099264 21106 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25659 21106 301 301 0 25358 0
vsize: 102636
[startup+810.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 36380 0 0 0 80920 92 0 0 25 0 1 0 972793838 105099264 21106 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25659 21106 301 301 0 25358 0
vsize: 102636
[startup+820.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 36381 0 0 0 81920 92 0 0 25 0 1 0 972793838 105099264 21107 4294967295 134512640 135730672 3221224576 3221223024 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25659 21107 301 301 0 25358 0
vsize: 102636
[startup+830.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 36381 0 0 0 82920 92 0 0 25 0 1 0 972793838 105099264 21107 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25659 21107 301 301 0 25358 0
vsize: 102636
[startup+840.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 36382 0 0 0 83920 92 0 0 25 0 1 0 972793838 105099264 21108 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25659 21108 301 301 0 25358 0
vsize: 102636
[startup+850.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 36383 0 0 0 84920 92 0 0 25 0 1 0 972793838 105099264 21109 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25659 21109 301 301 0 25358 0
vsize: 102636
[startup+860.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 36384 0 0 0 85920 92 0 0 25 0 1 0 972793838 105099264 21110 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25659 21110 301 301 0 25358 0
vsize: 102636
[startup+870.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 36795 0 0 0 86919 93 0 0 25 0 1 0 972793838 105099264 21110 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25659 21110 301 301 0 25358 0
vsize: 102636
[startup+880.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 36796 0 0 0 87920 93 0 0 25 0 1 0 972793838 105099264 21111 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25659 21111 301 301 0 25358 0
vsize: 102636
[startup+890.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 36797 0 0 0 88920 93 0 0 25 0 1 0 972793838 105099264 21112 4294967295 134512640 135730672 3221224576 3221222864 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25659 21112 301 301 0 25358 0
vsize: 102636
[startup+900.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 36797 0 0 0 89920 93 0 0 25 0 1 0 972793838 105099264 21112 4294967295 134512640 135730672 3221224576 3221222864 134747823 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25659 21112 301 301 0 25358 0
vsize: 102636
[startup+910.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 36798 0 0 0 90920 93 0 0 25 0 1 0 972793838 105099264 21113 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25659 21113 301 301 0 25358 0
vsize: 102636
[startup+920.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 36804 0 0 0 91921 93 0 0 25 0 1 0 972793838 105099264 21119 4294967295 134512640 135730672 3221224576 3221223024 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25659 21119 301 301 0 25358 0
vsize: 102636
[startup+930.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 37218 0 0 0 92920 94 0 0 25 0 1 0 972793838 105099264 21122 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25659 21122 301 301 0 25358 0
vsize: 102636
[startup+940.036 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 37224 0 0 0 93920 94 0 0 25 0 1 0 972793838 105099264 21128 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25659 21128 301 301 0 25358 0
vsize: 102636
[startup+950.036 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 37230 0 0 0 94920 94 0 0 25 0 1 0 972793838 105099264 21134 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25659 21134 301 301 0 25358 0
vsize: 102636
[startup+960.036 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 37235 0 0 0 95920 94 0 0 25 0 1 0 972793838 105099264 21139 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25659 21139 301 301 0 25358 0
vsize: 102636
[startup+970.037 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 37239 0 0 0 96920 94 0 0 25 0 1 0 972793838 105099264 21143 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25659 21143 301 301 0 25358 0
vsize: 102636
[startup+980.037 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 37272 0 0 0 97920 94 0 0 25 0 1 0 972793838 105234432 21176 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25692 21176 301 301 0 25391 0
vsize: 102768
[startup+990.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 37766 0 0 0 98919 96 0 0 25 0 1 0 972793838 105562112 21226 4294967295 134512640 135730672 3221224576 3221222960 134764020 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25772 21226 301 301 0 25471 0
vsize: 103088
[startup+1000.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 37769 0 0 0 99919 96 0 0 25 0 1 0 972793838 105562112 21229 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25772 21229 301 301 0 25471 0
vsize: 103088
[startup+1010.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 37776 0 0 0 100919 96 0 0 25 0 1 0 972793838 105562112 21236 4294967295 134512640 135730672 3221224576 3221222992 134748138 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25772 21236 301 301 0 25471 0
vsize: 103088
[startup+1020.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 37783 0 0 0 101919 96 0 0 25 0 1 0 972793838 105562112 21243 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25772 21243 301 301 0 25471 0
vsize: 103088
[startup+1030.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 37789 0 0 0 102919 96 0 0 25 0 1 0 972793838 105562112 21249 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25772 21249 301 301 0 25471 0
vsize: 103088
[startup+1040.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 37794 0 0 0 103920 96 0 0 25 0 1 0 972793838 105562112 21254 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25772 21254 301 301 0 25471 0
vsize: 103088
[startup+1050.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 38209 0 0 0 104919 97 0 0 25 0 1 0 972793838 105562112 21258 4294967295 134512640 135730672 3221224576 3221222864 134747720 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25772 21258 301 301 0 25471 0
vsize: 103088
[startup+1060.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 38210 0 0 0 105919 97 0 0 25 0 1 0 972793838 105562112 21259 4294967295 134512640 135730672 3221224576 3221222864 134747495 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25772 21259 301 301 0 25471 0
vsize: 103088
[startup+1070.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 38210 0 0 0 106919 98 0 0 25 0 1 0 972793838 105562112 21259 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25772 21259 301 301 0 25471 0
vsize: 103088
[startup+1080.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 38211 0 0 0 107919 98 0 0 25 0 1 0 972793838 105562112 21260 4294967295 134512640 135730672 3221224576 3221222960 134763992 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25772 21260 301 301 0 25471 0
vsize: 103088
[startup+1090.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 38215 0 0 0 108919 98 0 0 25 0 1 0 972793838 105562112 21264 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25772 21264 301 301 0 25471 0
vsize: 103088
[startup+1100.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 38221 0 0 0 109919 98 0 0 25 0 1 0 972793838 105562112 21270 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25772 21270 301 301 0 25471 0
vsize: 103088
[startup+1110.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 38639 0 0 0 110919 99 0 0 25 0 1 0 972793838 105562112 21277 4294967295 134512640 135730672 3221224576 3221222960 134764020 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25772 21277 301 301 0 25471 0
vsize: 103088
[startup+1120.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 38644 0 0 0 111919 99 0 0 25 0 1 0 972793838 105562112 21282 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25772 21282 301 301 0 25471 0
vsize: 103088
[startup+1130.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 38649 0 0 0 112919 99 0 0 25 0 1 0 972793838 105562112 21287 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25772 21287 301 301 0 25471 0
vsize: 103088
[startup+1140.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 38655 0 0 0 113919 99 0 0 25 0 1 0 972793838 105562112 21293 4294967295 134512640 135730672 3221224576 3221222960 134747445 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25772 21293 301 301 0 25471 0
vsize: 103088
[startup+1150.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 38661 0 0 0 114919 99 0 0 25 0 1 0 972793838 105562112 21299 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25772 21299 301 301 0 25471 0
vsize: 103088
[startup+1160.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 38666 0 0 0 115919 99 0 0 25 0 1 0 972793838 105562112 21304 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25772 21304 301 301 0 25471 0
vsize: 103088
[startup+1170.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 39082 0 0 0 116919 100 0 0 25 0 1 0 972793838 105562112 21309 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25772 21309 301 301 0 25471 0
vsize: 103088
[startup+1180.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 39089 0 0 0 117919 100 0 0 25 0 1 0 972793838 105562112 21316 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25772 21316 301 301 0 25471 0
vsize: 103088
[startup+1190.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 39097 0 0 0 118919 100 0 0 25 0 1 0 972793838 105562112 21324 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25772 21324 301 301 0 25471 0
vsize: 103088
[startup+1200.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27872
Raw data (stat): 27872 (pb2sat-v2) R 27871 20224 20223 0 -1 0 39104 0 0 0 119919 100 0 0 25 0 1 0 972793838 105562112 21331 4294967295 134512640 135730672 3221224576 3221222992 134748138 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25772 21331 301 301 0 25471 0
vsize: 103088
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.97 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 27872
Raw data (stat): 27872 (pb2sat-v2) Z 27871 20224 20223 0 -1 12 39106 0 0 0 120007 105 0 0 25 0 1 0 972793838 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): 1200.97
CPU time (s): 1201.12
CPU user time (s): 1200.07
CPU system time (s): 1.05084
CPU usage (%): 100.013
Max. virtual memory (Kb): 103088
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	1398
#### END VERIFIER DATA ####