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/miplib3/normalized-mps-v2-20-10-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.02984
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 42533

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-16 09:44:47 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25739 boxname=wulflinc3 idbench=1039 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  99657262afbbfce7034a3ec6b29d9b3b  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-lseu.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-lseu.opb
IDLAUNCH: 25739
/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:        737292 kB
Buffers:          9836 kB
Cached:         265764 kB
SwapCached:        820 kB
Active:          30436 kB
Inactive:       247324 kB
HighTotal:      131008 kB
HighFree:         2660 kB
LowTotal:       903652 kB
LowFree:        734632 kB
SwapTotal:     2097136 kB
SwapFree:      2095340 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5104 kB
Slab:            13752 kB
Committed_AS:    71904 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 10:04:50 (client local time) WITH STATUS 10 IN 1201.09 SECONDS
stats: 25739 0 1201.09 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.7807 s]  setting bit 13 to 0
c [startup+18.6004 s]  setting bit 12 to 0
c got solution with objective value: 2422
c [startup+22.1796 s]  setting bit 11 to 1
c got solution with objective value: 1398
c [startup+463.32 s]  setting bit 10 to 1

c Decision: 96242/210065	Time: 282.085/86400
c Decision: 96242/210065	Time: 343.544/86400
c Decision: 96242/210065	Time: 403.873/86400
c Decision: 96242/210065	Time: 462.208/86400
c Decision: 96242/210065	Time: 519.257/86400
c Decision: 96242/210065	Time: 578.404/86400
c Decision: 96242/210065	Time: 637.464/86400
c Decision: 96242/210065	Time: 696.637/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.93 0.90 2/54 20958
Raw data (stat): 20958 (runsolver) R 20957 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 969773409 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.0006 s]
Raw data (loadavg): 0.91 0.93 0.90 2/54 20958
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 28348 0 0 0 934 65 0 0 25 0 1 0 969773409 86552576 17358 4294967295 134512640 135730672 3221224576 3221223040 134742366 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21131 17358 301 301 0 20830 0
vsize: 84524
[startup+20.0019 s]
Raw data (loadavg): 0.93 0.93 0.91 2/54 20958
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 31430 0 0 0 1927 72 0 0 25 0 1 0 969773409 93827072 18850 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22907 18850 301 301 0 22606 0
vsize: 91628
[startup+30.0022 s]
Raw data (loadavg): 0.94 0.93 0.91 2/54 20958
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 32355 0 0 0 2924 74 0 0 25 0 1 0 969773409 95850496 19199 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23401 19199 301 301 0 23100 0
vsize: 93604
[startup+40.0031 s]
Raw data (loadavg): 0.95 0.93 0.91 2/54 20958
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 32440 0 0 0 3924 75 0 0 25 0 1 0 969773409 95981568 19251 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23433 19251 301 301 0 23132 0
vsize: 93732
[startup+50.0043 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 20958
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 32450 0 0 0 4923 76 0 0 25 0 1 0 969773409 95981568 19261 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23433 19261 301 301 0 23132 0
vsize: 93732
[startup+60.0047 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 20958
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 32459 0 0 0 5923 76 0 0 25 0 1 0 969773409 95981568 19270 4294967295 134512640 135730672 3221224576 3221222864 134747610 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23433 19270 301 301 0 23132 0
vsize: 93732
[startup+70.0055 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 20958
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 32467 0 0 0 6923 77 0 0 25 0 1 0 969773409 95981568 19278 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23433 19278 301 301 0 23132 0
vsize: 93732
[startup+80.0058 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 20958
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 32485 0 0 0 7923 77 0 0 25 0 1 0 969773409 95981568 19296 4294967295 134512640 135730672 3221224576 3221222864 134747575 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23433 19296 301 301 0 23132 0
vsize: 93732
[startup+90.0062 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 20958
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 32493 0 0 0 8922 77 0 0 25 0 1 0 969773409 95981568 19304 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23433 19304 301 301 0 23132 0
vsize: 93732
[startup+100.006 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 20958
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 32498 0 0 0 9922 78 0 0 25 0 1 0 969773409 95981568 19309 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23433 19309 301 301 0 23132 0
vsize: 93732
[startup+110.009 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 20958
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 32510 0 0 0 10922 78 0 0 25 0 1 0 969773409 95981568 19321 4294967295 134512640 135730672 3221224576 3221222864 134747657 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23433 19321 301 301 0 23132 0
vsize: 93732
[startup+120.01 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 20958
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 32532 0 0 0 11922 78 0 0 25 0 1 0 969773409 95981568 19343 4294967295 134512640 135730672 3221224576 3221222864 134747757 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23433 19343 301 301 0 23132 0
vsize: 93732
[startup+130.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 20958
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 32681 0 0 0 12921 79 0 0 25 0 1 0 969773409 96509952 19426 4294967295 134512640 135730672 3221224576 3221222864 134747747 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23562 19426 301 301 0 23261 0
vsize: 94248
[startup+140.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 20958
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 32692 0 0 0 13921 79 0 0 25 0 1 0 969773409 96509952 19437 4294967295 134512640 135730672 3221224576 3221222864 134747594 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23562 19437 301 301 0 23261 0
vsize: 94248
[startup+150.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 20958
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 32702 0 0 0 14920 80 0 0 25 0 1 0 969773409 96509952 19447 4294967295 134512640 135730672 3221224576 3221222912 134740206 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23562 19447 301 301 0 23261 0
vsize: 94248
[startup+160.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 20958
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 32715 0 0 0 15921 80 0 0 25 0 1 0 969773409 96509952 19460 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23562 19460 301 301 0 23261 0
vsize: 94248
[startup+170.012 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 20958
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 32781 0 0 0 16920 80 0 0 25 0 1 0 969773409 96776192 19526 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23627 19526 301 301 0 23326 0
vsize: 94508
[startup+180.012 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 20958
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 32787 0 0 0 17920 80 0 0 25 0 1 0 969773409 96776192 19532 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23627 19532 301 301 0 23326 0
vsize: 94508
[startup+190.012 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 20958
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 32869 0 0 0 18920 81 0 0 25 0 1 0 969773409 97038336 19549 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23691 19549 301 301 0 23390 0
vsize: 94764
[startup+200.012 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 20958
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 32876 0 0 0 19920 81 0 0 25 0 1 0 969773409 97038336 19556 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23691 19556 301 301 0 23390 0
vsize: 94764
[startup+210.012 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 20958
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 32881 0 0 0 20920 81 0 0 25 0 1 0 969773409 97038336 19561 4294967295 134512640 135730672 3221224576 3221222992 134748249 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23691 19561 301 301 0 23390 0
vsize: 94764
[startup+220.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20958
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 32888 0 0 0 21920 82 0 0 25 0 1 0 969773409 97038336 19568 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23691 19568 301 301 0 23390 0
vsize: 94764
[startup+230.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20958
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 32893 0 0 0 22920 82 0 0 25 0 1 0 969773409 97038336 19573 4294967295 134512640 135730672 3221224576 3221222864 134747848 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23691 19573 301 301 0 23390 0
vsize: 94764
[startup+240.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20958
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 32976 0 0 0 23920 82 0 0 25 0 1 0 969773409 97300480 19591 4294967295 134512640 135730672 3221224576 3221222960 134763576 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23755 19591 301 301 0 23454 0
vsize: 95020
[startup+250.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20958
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 32981 0 0 0 24919 82 0 0 25 0 1 0 969773409 97300480 19596 4294967295 134512640 135730672 3221224576 3221222864 134747930 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23755 19596 301 301 0 23454 0
vsize: 95020
[startup+260.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20958
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 32988 0 0 0 25920 82 0 0 25 0 1 0 969773409 97300480 19603 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23755 19603 301 301 0 23454 0
vsize: 95020
[startup+270.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20958
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 32993 0 0 0 26920 82 0 0 25 0 1 0 969773409 97300480 19608 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23755 19608 301 301 0 23454 0
vsize: 95020
[startup+280.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20958
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 33009 0 0 0 27920 83 0 0 25 0 1 0 969773409 97300480 19624 4294967295 134512640 135730672 3221224576 3221222960 134747445 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23755 19624 301 301 0 23454 0
vsize: 95020
[startup+290.018 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20958
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 33013 0 0 0 28920 83 0 0 25 0 1 0 969773409 97300480 19628 4294967295 134512640 135730672 3221224576 3221222968 134747441 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23755 19628 301 301 0 23454 0
vsize: 95020
[startup+300.018 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20958
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 33018 0 0 0 29920 83 0 0 25 0 1 0 969773409 97300480 19633 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23755 19633 301 301 0 23454 0
vsize: 95020
[startup+310.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20958
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 33026 0 0 0 30920 83 0 0 25 0 1 0 969773409 97300480 19641 4294967295 134512640 135730672 3221224576 3221222976 134748241 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23755 19641 301 301 0 23454 0
vsize: 95020
[startup+320.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20958
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 33032 0 0 0 31920 83 0 0 25 0 1 0 969773409 97300480 19647 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23755 19647 301 301 0 23454 0
vsize: 95020
[startup+330.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20958
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 33038 0 0 0 32920 83 0 0 25 0 1 0 969773409 97300480 19653 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23755 19653 301 301 0 23454 0
vsize: 95020
[startup+340.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20958
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 33045 0 0 0 33920 83 0 0 25 0 1 0 969773409 97300480 19660 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23755 19660 301 301 0 23454 0
vsize: 95020
[startup+350.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20958
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 33052 0 0 0 34921 83 0 0 25 0 1 0 969773409 97300480 19667 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23755 19667 301 301 0 23454 0
vsize: 95020
[startup+360.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20958
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 33058 0 0 0 35921 83 0 0 25 0 1 0 969773409 97300480 19673 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23755 19673 301 301 0 23454 0
vsize: 95020
[startup+370.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20958
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 33215 0 0 0 36920 84 0 0 25 0 1 0 969773409 97763328 19797 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23868 19797 301 301 0 23567 0
vsize: 95472
[startup+380.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20958
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 33263 0 0 0 37921 84 0 0 25 0 1 0 969773409 97959936 19845 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23916 19845 301 301 0 23615 0
vsize: 95664
[startup+390.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20958
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 33344 0 0 0 38921 84 0 0 25 0 1 0 969773409 98222080 19861 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23980 19861 301 301 0 23679 0
vsize: 95920
[startup+400.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20958
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 33351 0 0 0 39921 84 0 0 25 0 1 0 969773409 98222080 19868 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23980 19868 301 301 0 23679 0
vsize: 95920
[startup+410.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20958
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 33409 0 0 0 40921 84 0 0 25 0 1 0 969773409 98488320 19926 4294967295 134512640 135730672 3221224576 3221222992 134748108 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24045 19926 301 301 0 23744 0
vsize: 96180
[startup+420.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20958
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 33414 0 0 0 41921 84 0 0 25 0 1 0 969773409 98488320 19931 4294967295 134512640 135730672 3221224576 3221223020 134748060 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24045 19931 301 301 0 23744 0
vsize: 96180
[startup+430.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20958
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 33417 0 0 0 42921 84 0 0 25 0 1 0 969773409 98488320 19934 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24045 19934 301 301 0 23744 0
vsize: 96180
[startup+440.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20958
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 33422 0 0 0 43921 84 0 0 25 0 1 0 969773409 98488320 19939 4294967295 134512640 135730672 3221224576 3221223056 134748449 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.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20958
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 33426 0 0 0 44921 85 0 0 25 0 1 0 969773409 98488320 19943 4294967295 134512640 135730672 3221224576 3221222864 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24045 19943 301 301 0 23744 0
vsize: 96180
[startup+460.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20958
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 33498 0 0 0 45921 85 0 0 25 0 1 0 969773409 98750464 19950 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24109 19950 301 301 0 23808 0
vsize: 96436
[startup+470.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20958
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 33914 0 0 0 46920 86 0 0 25 0 1 0 969773409 98750464 19955 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24109 19955 301 301 0 23808 0
vsize: 96436
[startup+480.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20958
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 33918 0 0 0 47919 87 0 0 25 0 1 0 969773409 98750464 19959 4294967295 134512640 135730672 3221224576 3221222960 134763998 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24109 19959 301 301 0 23808 0
vsize: 96436
[startup+490.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20958
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 34427 0 0 0 48918 88 0 0 25 0 1 0 969773409 101285888 20369 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24728 20369 301 301 0 24427 0
vsize: 98912
[startup+500.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20958
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 34978 0 0 0 49917 89 0 0 25 0 1 0 969773409 103514112 20788 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25272 20788 301 301 0 24971 0
vsize: 101088
[startup+510.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20958
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 35153 0 0 0 50917 89 0 0 25 0 1 0 969773409 104042496 20897 4294967295 134512640 135730672 3221224576 3221222864 134747883 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25401 20897 301 301 0 25100 0
vsize: 101604
[startup+520.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20958
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 35157 0 0 0 51917 89 0 0 25 0 1 0 969773409 104042496 20901 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25401 20901 301 301 0 25100 0
vsize: 101604
[startup+530.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20958
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 35232 0 0 0 52917 89 0 0 25 0 1 0 969773409 104304640 20911 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25465 20911 301 301 0 25164 0
vsize: 101860
[startup+540.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20958
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 35234 0 0 0 53917 89 0 0 25 0 1 0 969773409 104304640 20913 4294967295 134512640 135730672 3221224576 3221222864 134747578 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25465 20913 301 301 0 25164 0
vsize: 101860
[startup+550.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20958
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 35238 0 0 0 54917 89 0 0 25 0 1 0 969773409 104304640 20917 4294967295 134512640 135730672 3221224576 3221223012 134748064 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25465 20917 301 301 0 25164 0
vsize: 101860
[startup+560.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20958
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 35242 0 0 0 55918 89 0 0 25 0 1 0 969773409 104304640 20921 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25465 20921 301 301 0 25164 0
vsize: 101860
[startup+570.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20958
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 35245 0 0 0 56918 89 0 0 25 0 1 0 969773409 104304640 20924 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25465 20924 301 301 0 25164 0
vsize: 101860
[startup+580.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20958
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 35249 0 0 0 57918 89 0 0 25 0 1 0 969773409 104304640 20928 4294967295 134512640 135730672 3221224576 3221223056 134748499 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25465 20928 301 301 0 25164 0
vsize: 101860
[startup+590.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20958
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 35254 0 0 0 58918 90 0 0 25 0 1 0 969773409 104304640 20933 4294967295 134512640 135730672 3221224576 3221222864 134747741 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25465 20933 301 301 0 25164 0
vsize: 101860
[startup+600.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20958
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 35330 0 0 0 59918 90 0 0 25 0 1 0 969773409 104566784 20944 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25529 20944 301 301 0 25228 0
vsize: 102116
[startup+610.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20958
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 35335 0 0 0 60918 90 0 0 25 0 1 0 969773409 104566784 20949 4294967295 134512640 135730672 3221224576 3221222864 134747892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25529 20949 301 301 0 25228 0
vsize: 102116
[startup+620.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20958
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 35338 0 0 0 61918 90 0 0 25 0 1 0 969773409 104566784 20952 4294967295 134512640 135730672 3221224576 3221222864 134747883 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25529 20952 301 301 0 25228 0
vsize: 102116
[startup+630.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20958
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 35343 0 0 0 62918 90 0 0 25 0 1 0 969773409 104566784 20957 4294967295 134512640 135730672 3221224576 3221223056 134748549 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25529 20957 301 301 0 25228 0
vsize: 102116
[startup+640.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20958
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 35348 0 0 0 63918 91 0 0 25 0 1 0 969773409 104566784 20962 4294967295 134512640 135730672 3221224576 3221222616 135285545 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25529 20962 301 301 0 25228 0
vsize: 102116
[startup+650.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20958
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 35351 0 0 0 64918 91 0 0 25 0 1 0 969773409 104566784 20965 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25529 20965 301 301 0 25228 0
vsize: 102116
[startup+660.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20958
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 35355 0 0 0 65918 91 0 0 25 0 1 0 969773409 104566784 20969 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25529 20969 301 301 0 25228 0
vsize: 102116
[startup+670.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20958
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 35449 0 0 0 66918 91 0 0 25 0 1 0 969773409 104828928 20998 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25593 20998 301 301 0 25292 0
vsize: 102372
[startup+680.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20958
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 35473 0 0 0 67918 91 0 0 25 0 1 0 969773409 104828928 21022 4294967295 134512640 135730672 3221224576 3221222688 134732493 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25593 21022 301 301 0 25292 0
vsize: 102372
[startup+690.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20958
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 35477 0 0 0 68918 91 0 0 25 0 1 0 969773409 104828928 21026 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25593 21026 301 301 0 25292 0
vsize: 102372
[startup+700.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20958
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 35480 0 0 0 69918 92 0 0 25 0 1 0 969773409 104828928 21029 4294967295 134512640 135730672 3221224576 3221222732 135291214 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25593 21029 301 301 0 25292 0
vsize: 102372
[startup+710.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20958
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 35484 0 0 0 70918 92 0 0 25 0 1 0 969773409 104828928 21033 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25593 21033 301 301 0 25292 0
vsize: 102372
[startup+720.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20958
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 35491 0 0 0 71918 92 0 0 25 0 1 0 969773409 104828928 21040 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25593 21040 301 301 0 25292 0
vsize: 102372
[startup+730.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20958
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 35494 0 0 0 72918 92 0 0 25 0 1 0 969773409 104828928 21043 4294967295 134512640 135730672 3221224576 3221222864 134747735 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25593 21043 301 301 0 25292 0
vsize: 102372
[startup+740.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20958
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 35499 0 0 0 73918 92 0 0 25 0 1 0 969773409 104828928 21048 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25593 21048 301 301 0 25292 0
vsize: 102372
[startup+750.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20958
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 35912 0 0 0 74916 93 0 0 25 0 1 0 969773409 104828928 21050 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25593 21050 301 301 0 25292 0
vsize: 102372
[startup+760.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20958
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 35964 0 0 0 75916 94 0 0 25 0 1 0 969773409 105099264 21102 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25659 21102 301 301 0 25358 0
vsize: 102636
[startup+770.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20958
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 35965 0 0 0 76917 94 0 0 25 0 1 0 969773409 105099264 21103 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25659 21103 301 301 0 25358 0
vsize: 102636
[startup+780.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20958
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 35965 0 0 0 77917 94 0 0 25 0 1 0 969773409 105099264 21103 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25659 21103 301 301 0 25358 0
vsize: 102636
[startup+790.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20958
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 35966 0 0 0 78917 94 0 0 25 0 1 0 969773409 105099264 21104 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25659 21104 301 301 0 25358 0
vsize: 102636
[startup+800.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20958
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 35967 0 0 0 79917 94 0 0 25 0 1 0 969773409 105099264 21105 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25659 21105 301 301 0 25358 0
vsize: 102636
[startup+810.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20958
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 36378 0 0 0 80915 95 0 0 25 0 1 0 969773409 105099264 21105 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25659 21105 301 301 0 25358 0
vsize: 102636
[startup+820.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20958
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 36379 0 0 0 81916 95 0 0 25 0 1 0 969773409 105099264 21106 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25659 21106 301 301 0 25358 0
vsize: 102636
[startup+830.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20958
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 36380 0 0 0 82916 95 0 0 25 0 1 0 969773409 105099264 21107 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25659 21107 301 301 0 25358 0
vsize: 102636
[startup+840.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20958
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 36380 0 0 0 83916 96 0 0 25 0 1 0 969773409 105099264 21107 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25659 21107 301 301 0 25358 0
vsize: 102636
[startup+850.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20958
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 36381 0 0 0 84916 96 0 0 25 0 1 0 969773409 105099264 21108 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25659 21108 301 301 0 25358 0
vsize: 102636
[startup+860.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20958
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 36382 0 0 0 85916 96 0 0 25 0 1 0 969773409 105099264 21109 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25659 21109 301 301 0 25358 0
vsize: 102636
[startup+870.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20958
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 36793 0 0 0 86915 97 0 0 25 0 1 0 969773409 105099264 21109 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25659 21109 301 301 0 25358 0
vsize: 102636
[startup+880.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20958
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 36794 0 0 0 87915 97 0 0 25 0 1 0 969773409 105099264 21110 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25659 21110 301 301 0 25358 0
vsize: 102636
[startup+890.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20958
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 36795 0 0 0 88915 97 0 0 25 0 1 0 969773409 105099264 21111 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25659 21111 301 301 0 25358 0
vsize: 102636
[startup+900.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20958
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 36795 0 0 0 89916 97 0 0 25 0 1 0 969773409 105099264 21111 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25659 21111 301 301 0 25358 0
vsize: 102636
[startup+910.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20958
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 36797 0 0 0 90916 97 0 0 25 0 1 0 969773409 105099264 21113 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25659 21113 301 301 0 25358 0
vsize: 102636
[startup+920.037 s]
Raw data (loadavg): 0.99 0.97 0.91 3/57 20995
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 36803 0 0 0 91915 97 0 0 25 0 1 0 969773409 105099264 21119 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25659 21119 301 301 0 25358 0
vsize: 102636
[startup+930.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21011
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 37219 0 0 0 92914 98 0 0 25 0 1 0 969773409 105099264 21124 4294967295 134512640 135730672 3221224576 3221222864 134747730 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25659 21124 301 301 0 25358 0
vsize: 102636
[startup+940.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21011
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 37223 0 0 0 93915 98 0 0 25 0 1 0 969773409 105099264 21128 4294967295 134512640 135730672 3221224576 3221223024 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25659 21128 301 301 0 25358 0
vsize: 102636
[startup+950.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21011
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 37229 0 0 0 94915 99 0 0 25 0 1 0 969773409 105099264 21134 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25659 21134 301 301 0 25358 0
vsize: 102636
[startup+960.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21011
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 37234 0 0 0 95915 99 0 0 25 0 1 0 969773409 105099264 21139 4294967295 134512640 135730672 3221224576 3221222864 134747594 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25659 21139 301 301 0 25358 0
vsize: 102636
[startup+970.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21011
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 37239 0 0 0 96915 99 0 0 25 0 1 0 969773409 105099264 21144 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25659 21144 301 301 0 25358 0
vsize: 102636
[startup+980.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21011
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 37321 0 0 0 97915 99 0 0 25 0 1 0 969773409 105365504 21193 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25724 21193 301 301 0 25423 0
vsize: 102896
[startup+990.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21011
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 37765 0 0 0 98914 100 0 0 25 0 1 0 969773409 105562112 21226 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25772 21226 301 301 0 25471 0
vsize: 103088
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21013
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 37769 0 0 0 99914 100 0 0 25 0 1 0 969773409 105562112 21230 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25772 21230 301 301 0 25471 0
vsize: 103088
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21013
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 37776 0 0 0 100914 100 0 0 25 0 1 0 969773409 105562112 21237 4294967295 134512640 135730672 3221224576 3221222864 134747608 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25772 21237 301 301 0 25471 0
vsize: 103088
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21013
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 37783 0 0 0 101914 100 0 0 25 0 1 0 969773409 105562112 21244 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25772 21244 301 301 0 25471 0
vsize: 103088
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21013
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 37790 0 0 0 102914 101 0 0 25 0 1 0 969773409 105562112 21251 4294967295 134512640 135730672 3221224576 3221223056 134748499 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25772 21251 301 301 0 25471 0
vsize: 103088
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21013
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 37795 0 0 0 103914 101 0 0 25 0 1 0 969773409 105562112 21256 4294967295 134512640 135730672 3221224576 3221223024 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25772 21256 301 301 0 25471 0
vsize: 103088
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21013
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 38207 0 0 0 104913 102 0 0 25 0 1 0 969773409 105562112 21257 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25772 21257 301 301 0 25471 0
vsize: 103088
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21013
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 38208 0 0 0 105913 102 0 0 25 0 1 0 969773409 105562112 21258 4294967295 134512640 135730672 3221224576 3221222960 134763602 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25772 21258 301 301 0 25471 0
vsize: 103088
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21013
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 38209 0 0 0 106913 102 0 0 25 0 1 0 969773409 105562112 21259 4294967295 134512640 135730672 3221224576 3221222864 134747705 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25772 21259 301 301 0 25471 0
vsize: 103088
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21013
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 38209 0 0 0 107913 102 0 0 25 0 1 0 969773409 105562112 21259 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25772 21259 301 301 0 25471 0
vsize: 103088
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21013
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 38215 0 0 0 108914 102 0 0 25 0 1 0 969773409 105562112 21265 4294967295 134512640 135730672 3221224576 3221222864 134747525 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25772 21265 301 301 0 25471 0
vsize: 103088
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21013
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 38223 0 0 0 109914 102 0 0 25 0 1 0 969773409 105562112 21273 4294967295 134512640 135730672 3221224576 3221222880 134746142 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25772 21273 301 301 0 25471 0
vsize: 103088
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21013
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 38638 0 0 0 110913 103 0 0 25 0 1 0 969773409 105562112 21277 4294967295 134512640 135730672 3221224576 3221222864 134747892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25772 21277 301 301 0 25471 0
vsize: 103088
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21013
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 38644 0 0 0 111913 103 0 0 25 0 1 0 969773409 105562112 21283 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25772 21283 301 301 0 25471 0
vsize: 103088
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21013
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 38650 0 0 0 112913 103 0 0 25 0 1 0 969773409 105562112 21289 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25772 21289 301 301 0 25471 0
vsize: 103088
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21013
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 38656 0 0 0 113913 103 0 0 25 0 1 0 969773409 105562112 21295 4294967295 134512640 135730672 3221224576 3221222864 134747608 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25772 21295 301 301 0 25471 0
vsize: 103088
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21013
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 38662 0 0 0 114913 104 0 0 25 0 1 0 969773409 105562112 21301 4294967295 134512640 135730672 3221224576 3221222960 134764020 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25772 21301 301 301 0 25471 0
vsize: 103088
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21013
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 39077 0 0 0 115913 104 0 0 25 0 1 0 969773409 105562112 21305 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25772 21305 301 301 0 25471 0
vsize: 103088
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21013
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 39084 0 0 0 116913 104 0 0 25 0 1 0 969773409 105562112 21312 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25772 21312 301 301 0 25471 0
vsize: 103088
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21013
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 39092 0 0 0 117913 104 0 0 25 0 1 0 969773409 105562112 21320 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25772 21320 301 301 0 25471 0
vsize: 103088
[startup+1190.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21013
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 39099 0 0 0 118913 104 0 0 25 0 1 0 969773409 105562112 21327 4294967295 134512640 135730672 3221224576 3221222864 134747770 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25772 21327 301 301 0 25471 0
vsize: 103088
[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21013
Raw data (stat): 20958 (pb2sat-v2) R 20957 20224 20223 0 -1 0 39106 0 0 0 119913 105 0 0 25 0 1 0 969773409 105562112 21334 4294967295 134512640 135730672 3221224576 3221223024 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25772 21334 301 301 0 25471 0
vsize: 103088
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.95 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 21013
Raw data (stat): 20958 (pb2sat-v2) Z 20957 20224 20223 0 -1 12 39108 0 0 0 119999 109 0 0 25 0 1 0 969773409 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): 1200.95
CPU time (s): 1201.09
CPU user time (s): 1200
CPU system time (s): 1.09383
CPU usage (%): 100.012
Max. virtual memory (Kb): 103088
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	1398
#### END VERIFIER DATA ####