PB'05 competition: run trace

Some explanations

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

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

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-16 14:53:48 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26002 boxname=wulflinc4 idbench=1302 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  5fcfa2f72175b9723ffb2781fb76fcdc  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-lseu.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-lseu.opb
IDLAUNCH: 26002
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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.169
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:        784344 kB
Buffers:          7632 kB
Cached:         221168 kB
SwapCached:        904 kB
Active:          26696 kB
Inactive:       204188 kB
HighTotal:      131008 kB
HighFree:        18564 kB
LowTotal:       903652 kB
LowFree:        765780 kB
SwapTotal:     2097136 kB
SwapFree:      2095236 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4996 kB
Slab:            13764 kB
Committed_AS:    71908 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 15:13:51 (client local time) WITH STATUS 10 IN 1201.15 SECONDS
stats: 26002 0 1201.15 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.7616 s]  setting bit 13 to 0
c [startup+18.5014 s]  setting bit 12 to 0
c got solution with objective value: 2422
c [startup+22.0579 s]  setting bit 11 to 1
c got solution with objective value: 1398
c [startup+466.168 s]  setting bit 10 to 1

c Decision: 96242/210065	Time: 285.729/86400
c Decision: 96242/210065	Time: 348.019/86400
c Decision: 96242/210065	Time: 409.222/86400
c Decision: 96242/210065	Time: 468.348/86400
c Decision: 96242/210065	Time: 526.174/86400
c Decision: 96242/210065	Time: 585.479/86400
c Decision: 96242/210065	Time: 644.664/86400
c Decision: 96242/210065	Time: 703.954/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 1/54 28641
Raw data (stat): 28641 (runsolver) R 28640 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 971626757 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 0 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0003 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 28641
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 28349 0 0 0 941 57 0 0 25 0 1 0 971626757 86552576 17358 4294967295 134512640 135730672 3221224576 3221223040 134742369 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.0017 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 28641
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 31433 0 0 0 1933 65 0 0 25 0 1 0 971626757 93827072 18852 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22907 18852 301 301 0 22606 0
vsize: 91628
[startup+30.0023 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 28641
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 32357 0 0 0 2930 68 0 0 25 0 1 0 971626757 95850496 19200 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23401 19200 301 301 0 23100 0
vsize: 93604
[startup+40.0028 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 28641
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 32441 0 0 0 3931 68 0 0 25 0 1 0 971626757 95981568 19251 4294967295 134512640 135730672 3221224576 3221222864 134747543 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.0031 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 28641
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 32451 0 0 0 4930 68 0 0 25 0 1 0 971626757 95981568 19261 4294967295 134512640 135730672 3221224576 3221223056 134748681 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.0029 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 28641
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 32460 0 0 0 5930 68 0 0 25 0 1 0 971626757 95981568 19270 4294967295 134512640 135730672 3221224576 3221222864 134747657 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.0034 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 28641
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 32468 0 0 0 6931 68 0 0 25 0 1 0 971626757 95981568 19278 4294967295 134512640 135730672 3221224576 3221222864 134747568 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.0037 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 28641
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 32486 0 0 0 7931 68 0 0 25 0 1 0 971626757 95981568 19296 4294967295 134512640 135730672 3221224576 3221222864 134747460 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.0046 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 28641
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 32494 0 0 0 8931 68 0 0 25 0 1 0 971626757 95981568 19304 4294967295 134512640 135730672 3221224576 3221222960 134763576 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.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 28641
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 32499 0 0 0 9931 68 0 0 25 0 1 0 971626757 95981568 19309 4294967295 134512640 135730672 3221224576 3221222864 134747489 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.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 28641
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 32511 0 0 0 10931 68 0 0 25 0 1 0 971626757 95981568 19321 4294967295 134512640 135730672 3221224576 3221222864 134747541 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.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28641
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 32533 0 0 0 11931 68 0 0 25 0 1 0 971626757 95981568 19343 4294967295 134512640 135730672 3221224576 3221222960 134763604 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.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28641
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 32682 0 0 0 12931 69 0 0 25 0 1 0 971626757 96509952 19426 4294967295 134512640 135730672 3221224576 3221222864 134747892 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.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28641
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 32693 0 0 0 13931 69 0 0 25 0 1 0 971626757 96509952 19437 4294967295 134512640 135730672 3221224576 3221222864 134747751 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.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28641
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 32703 0 0 0 14931 69 0 0 25 0 1 0 971626757 96509952 19447 4294967295 134512640 135730672 3221224576 3221222864 134747568 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.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28641
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 32716 0 0 0 15931 69 0 0 25 0 1 0 971626757 96509952 19460 4294967295 134512640 135730672 3221224576 3221222864 134747899 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.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28641
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 32782 0 0 0 16931 70 0 0 25 0 1 0 971626757 96776192 19526 4294967295 134512640 135730672 3221224576 3221222864 134747942 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.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28641
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 32788 0 0 0 17931 70 0 0 25 0 1 0 971626757 96776192 19532 4294967295 134512640 135730672 3221224576 3221222864 134747463 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.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28641
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 32870 0 0 0 18931 70 0 0 25 0 1 0 971626757 97038336 19549 4294967295 134512640 135730672 3221224576 3221222688 134732459 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.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28641
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 32877 0 0 0 19931 70 0 0 25 0 1 0 971626757 97038336 19556 4294967295 134512640 135730672 3221224576 3221222864 134747592 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.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28641
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 32882 0 0 0 20931 70 0 0 25 0 1 0 971626757 97038336 19561 4294967295 134512640 135730672 3221224576 3221222864 134747651 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.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28641
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 32889 0 0 0 21932 70 0 0 25 0 1 0 971626757 97038336 19568 4294967295 134512640 135730672 3221224576 3221222960 134764086 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.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28641
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 32894 0 0 0 22932 70 0 0 25 0 1 0 971626757 97038336 19573 4294967295 134512640 135730672 3221224576 3221222864 134747751 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.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28641
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 32977 0 0 0 23932 70 0 0 25 0 1 0 971626757 97300480 19591 4294967295 134512640 135730672 3221224576 3221222864 134747651 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.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28641
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 32983 0 0 0 24932 71 0 0 25 0 1 0 971626757 97300480 19597 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23755 19597 301 301 0 23454 0
vsize: 95020
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28641
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 32989 0 0 0 25932 71 0 0 25 0 1 0 971626757 97300480 19603 4294967295 134512640 135730672 3221224576 3221222864 134747851 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23755 19603 301 301 0 23454 0
vsize: 95020
[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28641
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 32995 0 0 0 26932 71 0 0 25 0 1 0 971626757 97300480 19609 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23755 19609 301 301 0 23454 0
vsize: 95020
[startup+280.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28641
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 33011 0 0 0 27932 71 0 0 25 0 1 0 971626757 97300480 19625 4294967295 134512640 135730672 3221224576 3221222980 134748221 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23755 19625 301 301 0 23454 0
vsize: 95020
[startup+290.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28641
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 33015 0 0 0 28932 71 0 0 25 0 1 0 971626757 97300480 19629 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23755 19629 301 301 0 23454 0
vsize: 95020
[startup+300.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28641
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 33020 0 0 0 29932 71 0 0 25 0 1 0 971626757 97300480 19634 4294967295 134512640 135730672 3221224576 3221223024 134734778 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23755 19634 301 301 0 23454 0
vsize: 95020
[startup+310.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28641
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 33027 0 0 0 30932 71 0 0 25 0 1 0 971626757 97300480 19641 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23755 19641 301 301 0 23454 0
vsize: 95020
[startup+320.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28641
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 33034 0 0 0 31933 71 0 0 25 0 1 0 971626757 97300480 19648 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23755 19648 301 301 0 23454 0
vsize: 95020
[startup+330.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28641
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 33038 0 0 0 32933 71 0 0 25 0 1 0 971626757 97300480 19652 4294967295 134512640 135730672 3221224576 3221222864 134747602 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23755 19652 301 301 0 23454 0
vsize: 95020
[startup+340.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28641
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 33046 0 0 0 33933 71 0 0 25 0 1 0 971626757 97300480 19660 4294967295 134512640 135730672 3221224576 3221223024 134734780 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23755 19660 301 301 0 23454 0
vsize: 95020
[startup+350.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28641
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 33052 0 0 0 34933 71 0 0 25 0 1 0 971626757 97300480 19666 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23755 19666 301 301 0 23454 0
vsize: 95020
[startup+360.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28641
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 33059 0 0 0 35933 72 0 0 25 0 1 0 971626757 97300480 19673 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23755 19673 301 301 0 23454 0
vsize: 95020
[startup+370.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28641
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 33096 0 0 0 36933 72 0 0 25 0 1 0 971626757 97300480 19710 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23755 19710 301 301 0 23454 0
vsize: 95020
[startup+380.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28694
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 33263 0 0 0 37932 72 0 0 25 0 1 0 971626757 97959936 19844 4294967295 134512640 135730672 3221224576 3221222960 134763992 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23916 19844 301 301 0 23615 0
vsize: 95664
[startup+390.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28694
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 33342 0 0 0 38932 73 0 0 25 0 1 0 971626757 98222080 19858 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23980 19858 301 301 0 23679 0
vsize: 95920
[startup+400.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28694
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 33351 0 0 0 39932 73 0 0 25 0 1 0 971626757 98222080 19867 4294967295 134512640 135730672 3221224576 3221222992 134748166 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23980 19867 301 301 0 23679 0
vsize: 95920
[startup+410.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28694
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 33410 0 0 0 40932 73 0 0 25 0 1 0 971626757 98488320 19926 4294967295 134512640 135730672 3221224576 3221222960 134763606 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24045 19926 301 301 0 23744 0
vsize: 96180
[startup+420.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28694
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 33413 0 0 0 41932 74 0 0 25 0 1 0 971626757 98488320 19929 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24045 19929 301 301 0 23744 0
vsize: 96180
[startup+430.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28694
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 33417 0 0 0 42932 74 0 0 25 0 1 0 971626757 98488320 19933 4294967295 134512640 135730672 3221224576 3221223036 134748650 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24045 19933 301 301 0 23744 0
vsize: 96180
[startup+440.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28694
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 33422 0 0 0 43932 74 0 0 25 0 1 0 971626757 98488320 19938 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24045 19938 301 301 0 23744 0
vsize: 96180
[startup+450.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28696
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 33425 0 0 0 44932 74 0 0 25 0 1 0 971626757 98488320 19941 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24045 19941 301 301 0 23744 0
vsize: 96180
[startup+460.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28696
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 33497 0 0 0 45931 75 0 0 25 0 1 0 971626757 98750464 19948 4294967295 134512640 135730672 3221224576 3221222864 134747590 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24109 19948 301 301 0 23808 0
vsize: 96436
[startup+470.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28696
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 33914 0 0 0 46931 76 0 0 25 0 1 0 971626757 98750464 19954 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24109 19954 301 301 0 23808 0
vsize: 96436
[startup+480.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28696
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 33917 0 0 0 47930 76 0 0 25 0 1 0 971626757 98750464 19957 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24109 19957 301 301 0 23808 0
vsize: 96436
[startup+490.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28696
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 34225 0 0 0 48930 77 0 0 25 0 1 0 971626757 100356096 20199 4294967295 134512640 135730672 3221224576 3221222864 134747791 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24501 20199 301 301 0 24200 0
vsize: 98004
[startup+500.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28696
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 34918 0 0 0 49928 79 0 0 25 0 1 0 971626757 103247872 20727 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25207 20727 301 301 0 24906 0
vsize: 100828
[startup+510.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28696
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 35140 0 0 0 50927 80 0 0 25 0 1 0 971626757 104042496 20883 4294967295 134512640 135730672 3221224576 3221222864 134747856 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25401 20883 301 301 0 25100 0
vsize: 101604
[startup+520.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28696
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 35157 0 0 0 51927 80 0 0 25 0 1 0 971626757 104042496 20900 4294967295 134512640 135730672 3221224576 3221222992 134748145 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25401 20900 301 301 0 25100 0
vsize: 101604
[startup+530.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28696
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 35160 0 0 0 52927 81 0 0 25 0 1 0 971626757 104042496 20903 4294967295 134512640 135730672 3221224576 3221222992 134748249 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25401 20903 301 301 0 25100 0
vsize: 101604
[startup+540.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28696
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 35234 0 0 0 53927 81 0 0 25 0 1 0 971626757 104304640 20912 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25465 20912 301 301 0 25164 0
vsize: 101860
[startup+550.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28696
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 35238 0 0 0 54926 81 0 0 25 0 1 0 971626757 104304640 20916 4294967295 134512640 135730672 3221224576 3221222864 134747885 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25465 20916 301 301 0 25164 0
vsize: 101860
[startup+560.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28696
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 35240 0 0 0 55926 82 0 0 25 0 1 0 971626757 104304640 20918 4294967295 134512640 135730672 3221224576 3221222960 134764020 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25465 20918 301 301 0 25164 0
vsize: 101860
[startup+570.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28696
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 35245 0 0 0 56926 82 0 0 25 0 1 0 971626757 104304640 20923 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25465 20923 301 301 0 25164 0
vsize: 101860
[startup+580.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28696
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 35249 0 0 0 57926 83 0 0 25 0 1 0 971626757 104304640 20927 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25465 20927 301 301 0 25164 0
vsize: 101860
[startup+590.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28696
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 35252 0 0 0 58926 83 0 0 25 0 1 0 971626757 104304640 20930 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25465 20930 301 301 0 25164 0
vsize: 101860
[startup+600.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28696
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 35330 0 0 0 59925 83 0 0 25 0 1 0 971626757 104566784 20943 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25529 20943 301 301 0 25228 0
vsize: 102116
[startup+610.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28696
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 35334 0 0 0 60925 84 0 0 25 0 1 0 971626757 104566784 20947 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25529 20947 301 301 0 25228 0
vsize: 102116
[startup+620.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28696
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 35337 0 0 0 61925 84 0 0 25 0 1 0 971626757 104566784 20950 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25529 20950 301 301 0 25228 0
vsize: 102116
[startup+630.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28696
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 35342 0 0 0 62925 84 0 0 25 0 1 0 971626757 104566784 20955 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25529 20955 301 301 0 25228 0
vsize: 102116
[startup+640.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28696
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 35346 0 0 0 63925 85 0 0 25 0 1 0 971626757 104566784 20959 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25529 20959 301 301 0 25228 0
vsize: 102116
[startup+650.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28696
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 35350 0 0 0 64925 85 0 0 25 0 1 0 971626757 104566784 20963 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25529 20963 301 301 0 25228 0
vsize: 102116
[startup+660.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28696
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 35353 0 0 0 65924 85 0 0 25 0 1 0 971626757 104566784 20966 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25529 20966 301 301 0 25228 0
vsize: 102116
[startup+670.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28696
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 35448 0 0 0 66924 86 0 0 25 0 1 0 971626757 104828928 20996 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25593 20996 301 301 0 25292 0
vsize: 102372
[startup+680.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28696
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 35452 0 0 0 67924 86 0 0 25 0 1 0 971626757 104828928 21000 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25593 21000 301 301 0 25292 0
vsize: 102372
[startup+690.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28696
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 35477 0 0 0 68924 86 0 0 25 0 1 0 971626757 104828928 21025 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25593 21025 301 301 0 25292 0
vsize: 102372
[startup+700.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28696
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 35480 0 0 0 69924 86 0 0 25 0 1 0 971626757 104828928 21028 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25593 21028 301 301 0 25292 0
vsize: 102372
[startup+710.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28698
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 35484 0 0 0 70924 87 0 0 25 0 1 0 971626757 104828928 21032 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25593 21032 301 301 0 25292 0
vsize: 102372
[startup+720.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28698
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 35488 0 0 0 71924 87 0 0 25 0 1 0 971626757 104828928 21036 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25593 21036 301 301 0 25292 0
vsize: 102372
[startup+730.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28698
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 35494 0 0 0 72924 87 0 0 25 0 1 0 971626757 104828928 21042 4294967295 134512640 135730672 3221224576 3221223024 134734769 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25593 21042 301 301 0 25292 0
vsize: 102372
[startup+740.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28698
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 35498 0 0 0 73924 87 0 0 25 0 1 0 971626757 104828928 21046 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25593 21046 301 301 0 25292 0
vsize: 102372
[startup+750.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28698
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 35503 0 0 0 74924 88 0 0 25 0 1 0 971626757 104828928 21051 4294967295 134512640 135730672 3221224576 3221222864 134747536 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25593 21051 301 301 0 25292 0
vsize: 102372
[startup+760.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28698
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 35966 0 0 0 75923 89 0 0 25 0 1 0 971626757 105099264 21103 4294967295 134512640 135730672 3221224576 3221222960 134763582 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.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28698
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 35966 0 0 0 76923 90 0 0 25 0 1 0 971626757 105099264 21103 4294967295 134512640 135730672 3221224576 3221222864 134747965 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25659 21103 301 301 0 25358 0
vsize: 102636
[startup+780.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28698
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 35967 0 0 0 77923 90 0 0 25 0 1 0 971626757 105099264 21104 4294967295 134512640 135730672 3221224576 3221222864 134747575 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.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28698
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 35968 0 0 0 78923 90 0 0 25 0 1 0 971626757 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.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28698
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 35968 0 0 0 79922 91 0 0 25 0 1 0 971626757 105099264 21105 4294967295 134512640 135730672 3221224576 3221222864 134747616 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25659 21105 301 301 0 25358 0
vsize: 102636
[startup+810.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28698
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 35969 0 0 0 80922 91 0 0 25 0 1 0 971626757 105099264 21106 4294967295 134512640 135730672 3221224576 3221222864 134747549 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.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28698
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 36380 0 0 0 81921 93 0 0 25 0 1 0 971626757 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+830.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28698
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 36381 0 0 0 82920 93 0 0 25 0 1 0 971626757 105099264 21107 4294967295 134512640 135730672 3221224576 3221223024 134734759 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.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28698
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 36382 0 0 0 83920 94 0 0 25 0 1 0 971626757 105099264 21108 4294967295 134512640 135730672 3221224576 3221222864 134747651 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.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28698
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 36382 0 0 0 84920 94 0 0 25 0 1 0 971626757 105099264 21108 4294967295 134512640 135730672 3221224576 3221223056 134748503 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25659 21108 301 301 0 25358 0
vsize: 102636
[startup+860.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28698
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 36383 0 0 0 85920 94 0 0 25 0 1 0 971626757 105099264 21109 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25659 21109 301 301 0 25358 0
vsize: 102636
[startup+870.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28698
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 36384 0 0 0 86920 94 0 0 25 0 1 0 971626757 105099264 21110 4294967295 134512640 135730672 3221224576 3221222960 134747445 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.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28698
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 36796 0 0 0 87919 96 0 0 25 0 1 0 971626757 105099264 21111 4294967295 134512640 135730672 3221224576 3221222864 134747543 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.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28698
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 36796 0 0 0 88919 96 0 0 25 0 1 0 971626757 105099264 21111 4294967295 134512640 135730672 3221224576 3221222864 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25659 21111 301 301 0 25358 0
vsize: 102636
[startup+900.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28698
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 36797 0 0 0 89919 96 0 0 25 0 1 0 971626757 105099264 21112 4294967295 134512640 135730672 3221224576 3221222688 134732518 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.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28698
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 36798 0 0 0 90919 96 0 0 25 0 1 0 971626757 105099264 21113 4294967295 134512640 135730672 3221224576 3221222864 134747543 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.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28698
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 36800 0 0 0 91919 97 0 0 25 0 1 0 971626757 105099264 21115 4294967295 134512640 135730672 3221224576 3221222732 135291163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25659 21115 301 301 0 25358 0
vsize: 102636
[startup+930.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28698
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 36806 0 0 0 92918 97 0 0 25 0 1 0 971626757 105099264 21121 4294967295 134512640 135730672 3221224576 3221222864 134747501 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25659 21121 301 301 0 25358 0
vsize: 102636
[startup+940.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28698
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 37221 0 0 0 93917 98 0 0 25 0 1 0 971626757 105099264 21125 4294967295 134512640 135730672 3221224576 3221223056 134748499 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25659 21125 301 301 0 25358 0
vsize: 102636
[startup+950.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28698
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 37226 0 0 0 94917 99 0 0 25 0 1 0 971626757 105099264 21130 4294967295 134512640 135730672 3221224576 3221222864 134747636 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25659 21130 301 301 0 25358 0
vsize: 102636
[startup+960.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28698
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 37231 0 0 0 95917 99 0 0 25 0 1 0 971626757 105099264 21135 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25659 21135 301 301 0 25358 0
vsize: 102636
[startup+970.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28698
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 37236 0 0 0 96917 100 0 0 25 0 1 0 971626757 105099264 21140 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25659 21140 301 301 0 25358 0
vsize: 102636
[startup+980.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28698
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 37241 0 0 0 97917 100 0 0 25 0 1 0 971626757 105099264 21145 4294967295 134512640 135730672 3221224576 3221222864 134747594 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25659 21145 301 301 0 25358 0
vsize: 102636
[startup+990.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28698
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 37323 0 0 0 98916 101 0 0 25 0 1 0 971626757 105365504 21194 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25724 21194 301 301 0 25423 0
vsize: 102896
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28698
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 37767 0 0 0 99915 102 0 0 25 0 1 0 971626757 105562112 21227 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25772 21227 301 301 0 25471 0
vsize: 103088
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28698
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 37772 0 0 0 100915 102 0 0 25 0 1 0 971626757 105562112 21232 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25772 21232 301 301 0 25471 0
vsize: 103088
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28698
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 37778 0 0 0 101915 103 0 0 25 0 1 0 971626757 105562112 21238 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25772 21238 301 301 0 25471 0
vsize: 103088
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28698
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 37785 0 0 0 102915 103 0 0 25 0 1 0 971626757 105562112 21245 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25772 21245 301 301 0 25471 0
vsize: 103088
[startup+1040.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28698
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 37792 0 0 0 103916 103 0 0 25 0 1 0 971626757 105562112 21252 4294967295 134512640 135730672 3221224576 3221222864 134747967 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25772 21252 301 301 0 25471 0
vsize: 103088
[startup+1050.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28698
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 37797 0 0 0 104916 103 0 0 25 0 1 0 971626757 105562112 21257 4294967295 134512640 135730672 3221224576 3221222864 134747489 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.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28698
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 38209 0 0 0 105915 104 0 0 25 0 1 0 971626757 105562112 21258 4294967295 134512640 135730672 3221224576 3221223056 134748554 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.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28698
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 38210 0 0 0 106915 104 0 0 25 0 1 0 971626757 105562112 21259 4294967295 134512640 135730672 3221224576 3221222992 134748158 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.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28698
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 38211 0 0 0 107915 104 0 0 25 0 1 0 971626757 105562112 21260 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25772 21260 301 301 0 25471 0
vsize: 103088
[startup+1090.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28698
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 38211 0 0 0 108916 104 0 0 25 0 1 0 971626757 105562112 21260 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25772 21260 301 301 0 25471 0
vsize: 103088
[startup+1100.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28698
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 38217 0 0 0 109916 104 0 0 25 0 1 0 971626757 105562112 21266 4294967295 134512640 135730672 3221224576 3221223056 134748503 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25772 21266 301 301 0 25471 0
vsize: 103088
[startup+1110.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28698
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 38225 0 0 0 110916 104 0 0 25 0 1 0 971626757 105562112 21274 4294967295 134512640 135730672 3221224576 3221222880 134746205 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25772 21274 301 301 0 25471 0
vsize: 103088
[startup+1120.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28698
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 38640 0 0 0 111915 105 0 0 25 0 1 0 971626757 105562112 21278 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25772 21278 301 301 0 25471 0
vsize: 103088
[startup+1130.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28698
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 38646 0 0 0 112915 105 0 0 25 0 1 0 971626757 105562112 21284 4294967295 134512640 135730672 3221224576 3221222688 134732479 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25772 21284 301 301 0 25471 0
vsize: 103088
[startup+1140.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28698
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 38652 0 0 0 113915 105 0 0 25 0 1 0 971626757 105562112 21290 4294967295 134512640 135730672 3221224576 3221222696 134739217 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25772 21290 301 301 0 25471 0
vsize: 103088
[startup+1150.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28698
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 38658 0 0 0 114915 105 0 0 25 0 1 0 971626757 105562112 21296 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25772 21296 301 301 0 25471 0
vsize: 103088
[startup+1160.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28698
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 38664 0 0 0 115915 105 0 0 25 0 1 0 971626757 105562112 21302 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25772 21302 301 301 0 25471 0
vsize: 103088
[startup+1170.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28698
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 39079 0 0 0 116914 107 0 0 25 0 1 0 971626757 105562112 21306 4294967295 134512640 135730672 3221224576 3221223056 134748554 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25772 21306 301 301 0 25471 0
vsize: 103088
[startup+1180.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28698
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 39086 0 0 0 117914 107 0 0 25 0 1 0 971626757 105562112 21313 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25772 21313 301 301 0 25471 0
vsize: 103088
[startup+1190.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28698
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 39093 0 0 0 118915 107 0 0 25 0 1 0 971626757 105562112 21320 4294967295 134512640 135730672 3221224576 3221222864 134747460 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25772 21320 301 301 0 25471 0
vsize: 103088
[startup+1200.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28698
Raw data (stat): 28641 (pb2sat-v2) R 28640 21152 21151 0 -1 0 39101 0 0 0 119915 107 0 0 25 0 1 0 971626757 105562112 21328 4294967295 134512640 135730672 3221224576 3221223024 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25772 21328 301 301 0 25471 0
vsize: 103088
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.99 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 28698
Raw data (stat): 28641 (pb2sat-v2) Z 28640 21152 21151 0 -1 12 39103 0 0 0 120003 111 0 0 25 0 1 0 971626757 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.99
CPU time (s): 1201.15
CPU user time (s): 1200.03
CPU system time (s): 1.11683
CPU usage (%): 100.013
Max. virtual memory (Kb): 103088
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	1398
#### END VERIFIER DATA ####