PB'05 competition: run trace

Some explanations

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

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

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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:        708140 kB
Buffers:         34888 kB
Cached:         266392 kB
SwapCached:       4448 kB
Active:          61236 kB
Inactive:       245140 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        707888 kB
SwapTotal:     2097136 kB
SwapFree:      2091696 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5056 kB
Slab:            14520 kB
Committed_AS:    71896 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 07:03:06 (client local time) WITH STATUS 10 IN 1201.24 SECONDS
stats: 25618 0 1201.24 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.7441 s]  setting bit 13 to 0
c [startup+18.4854 s]  setting bit 12 to 0
c got solution with objective value: 2422
c [startup+22.0317 s]  setting bit 11 to 1
c got solution with objective value: 1398
c [startup+465.753 s]  setting bit 10 to 1

c Decision: 96242/210065	Time: 285.286/86400
c Decision: 96242/210065	Time: 347.436/86400
c Decision: 96242/210065	Time: 408.486/86400
c Decision: 96242/210065	Time: 467.511/86400
c Decision: 96242/210065	Time: 525.269/86400
c Decision: 96242/210065	Time: 585.182/86400
c Decision: 96242/210065	Time: 644.979/86400
c Decision: 96242/210065	Time: 704.912/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.92 0.98 0.94 1/54 6622
Raw data (stat): 6622 (runsolver) R 6621 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 968695958 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.0001 s]
Raw data (loadavg): 0.93 0.98 0.94 2/54 6622
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 28353 0 0 0 940 59 0 0 25 0 1 0 968695958 88236032 17363 4294967295 134512640 135730672 3221224576 3221222928 134773473 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21542 17367 301 301 0 21241 0
vsize: 86168
[startup+20.0005 s]
Raw data (loadavg): 0.94 0.98 0.94 2/54 6622
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 31430 0 0 0 1932 66 0 0 25 0 1 0 968695958 93827072 18850 4294967295 134512640 135730672 3221224576 3221222960 134763604 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.0005 s]
Raw data (loadavg): 0.95 0.98 0.94 2/54 6622
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 32355 0 0 0 2930 68 0 0 25 0 1 0 968695958 95850496 19199 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23401 19199 301 301 0 23100 0
vsize: 93604
[startup+40.0011 s]
Raw data (loadavg): 0.96 0.98 0.94 2/54 6622
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 32440 0 0 0 3930 68 0 0 25 0 1 0 968695958 95981568 19251 4294967295 134512640 135730672 3221224576 3221222864 134747634 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23433 19251 301 301 0 23132 0
vsize: 93732
[startup+50.0015 s]
Raw data (loadavg): 0.96 0.98 0.94 2/54 6622
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 32450 0 0 0 4930 69 0 0 25 0 1 0 968695958 95981568 19261 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23433 19261 301 301 0 23132 0
vsize: 93732
[startup+60.0018 s]
Raw data (loadavg): 0.97 0.98 0.94 2/54 6622
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 32460 0 0 0 5929 69 0 0 25 0 1 0 968695958 95981568 19271 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23433 19271 301 301 0 23132 0
vsize: 93732
[startup+70.0023 s]
Raw data (loadavg): 0.97 0.98 0.94 2/54 6622
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 32467 0 0 0 6927 69 0 0 25 0 1 0 968695958 95981568 19278 4294967295 134512640 135730672 3221224576 3221222864 134747613 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23433 19278 301 301 0 23132 0
vsize: 93732
[startup+80.0026 s]
Raw data (loadavg): 0.98 0.98 0.94 2/54 6622
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 32485 0 0 0 7927 70 0 0 25 0 1 0 968695958 95981568 19296 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23433 19296 301 301 0 23132 0
vsize: 93732
[startup+90.0037 s]
Raw data (loadavg): 0.98 0.98 0.94 2/54 6622
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 32494 0 0 0 8927 70 0 0 25 0 1 0 968695958 95981568 19305 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23433 19305 301 301 0 23132 0
vsize: 93732
[startup+100.004 s]
Raw data (loadavg): 0.98 0.98 0.94 2/54 6622
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 32498 0 0 0 9927 71 0 0 25 0 1 0 968695958 95981568 19309 4294967295 134512640 135730672 3221224576 3221222864 134747610 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23433 19309 301 301 0 23132 0
vsize: 93732
[startup+110.004 s]
Raw data (loadavg): 0.98 0.98 0.94 2/54 6622
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 32510 0 0 0 10927 71 0 0 25 0 1 0 968695958 95981568 19321 4294967295 134512640 135730672 3221224576 3221223056 134748420 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23433 19321 301 301 0 23132 0
vsize: 93732
[startup+120.004 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6622
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 32532 0 0 0 11927 71 0 0 25 0 1 0 968695958 95981568 19343 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23433 19343 301 301 0 23132 0
vsize: 93732
[startup+130.003 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6622
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 32681 0 0 0 12926 72 0 0 25 0 1 0 968695958 96509952 19426 4294967295 134512640 135730672 3221224576 3221222992 134748138 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23562 19426 301 301 0 23261 0
vsize: 94248
[startup+140.005 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6622
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 32692 0 0 0 13926 72 0 0 25 0 1 0 968695958 96509952 19437 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23562 19437 301 301 0 23261 0
vsize: 94248
[startup+150.006 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6622
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 32705 0 0 0 14927 72 0 0 25 0 1 0 968695958 96509952 19450 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23562 19450 301 301 0 23261 0
vsize: 94248
[startup+160.006 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6622
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 32751 0 0 0 15926 72 0 0 25 0 1 0 968695958 96776192 19496 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23627 19496 301 301 0 23326 0
vsize: 94508
[startup+170.006 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6622
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 32781 0 0 0 16926 73 0 0 25 0 1 0 968695958 96776192 19526 4294967295 134512640 135730672 3221224576 3221223020 134748262 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23627 19526 301 301 0 23326 0
vsize: 94508
[startup+180.006 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6622
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 32788 0 0 0 17926 73 0 0 25 0 1 0 968695958 96776192 19533 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23627 19533 301 301 0 23326 0
vsize: 94508
[startup+190.007 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6622
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 32869 0 0 0 18926 73 0 0 25 0 1 0 968695958 97038336 19549 4294967295 134512640 135730672 3221224576 3221222864 134747463 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23691 19549 301 301 0 23390 0
vsize: 94764
[startup+200.006 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6622
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 32876 0 0 0 19926 74 0 0 25 0 1 0 968695958 97038336 19556 4294967295 134512640 135730672 3221224576 3221222864 134747965 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23691 19556 301 301 0 23390 0
vsize: 94764
[startup+210.006 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6622
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 32881 0 0 0 20926 74 0 0 25 0 1 0 968695958 97038336 19561 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23691 19561 301 301 0 23390 0
vsize: 94764
[startup+220.007 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6622
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 32888 0 0 0 21926 74 0 0 25 0 1 0 968695958 97038336 19568 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23691 19568 301 301 0 23390 0
vsize: 94764
[startup+230.006 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6622
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 32893 0 0 0 22926 74 0 0 25 0 1 0 968695958 97038336 19573 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23691 19573 301 301 0 23390 0
vsize: 94764
[startup+240.007 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6622
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 32976 0 0 0 23926 74 0 0 25 0 1 0 968695958 97300480 19591 4294967295 134512640 135730672 3221224576 3221222688 134732479 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23755 19591 301 301 0 23454 0
vsize: 95020
[startup+250.008 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6622
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 32981 0 0 0 24926 74 0 0 25 0 1 0 968695958 97300480 19596 4294967295 134512640 135730672 3221224576 3221222864 134747705 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23755 19596 301 301 0 23454 0
vsize: 95020
[startup+260.008 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6622
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 32988 0 0 0 25926 75 0 0 25 0 1 0 968695958 97300480 19603 4294967295 134512640 135730672 3221224576 3221222864 134747751 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.008 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6622
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 32993 0 0 0 26926 75 0 0 25 0 1 0 968695958 97300480 19608 4294967295 134512640 135730672 3221224576 3221223056 134748449 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.008 s]
Raw data (loadavg): 1.07 1.00 0.94 2/54 6622
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 33009 0 0 0 27927 75 0 0 25 0 1 0 968695958 97300480 19624 4294967295 134512640 135730672 3221224576 3221222864 134747543 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.009 s]
Raw data (loadavg): 1.06 1.00 0.94 2/54 6622
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 33013 0 0 0 28927 75 0 0 25 0 1 0 968695958 97300480 19628 4294967295 134512640 135730672 3221224576 3221223056 134748449 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.008 s]
Raw data (loadavg): 1.05 1.00 0.94 2/54 6622
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 33018 0 0 0 29927 75 0 0 25 0 1 0 968695958 97300480 19633 4294967295 134512640 135730672 3221224576 3221222864 134747489 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.008 s]
Raw data (loadavg): 1.04 1.00 0.94 2/54 6622
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 33025 0 0 0 30927 75 0 0 25 0 1 0 968695958 97300480 19640 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23755 19640 301 301 0 23454 0
vsize: 95020
[startup+320.009 s]
Raw data (loadavg): 1.03 1.00 0.94 2/54 6622
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 33032 0 0 0 31927 75 0 0 25 0 1 0 968695958 97300480 19647 4294967295 134512640 135730672 3221224576 3221222864 134747541 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.008 s]
Raw data (loadavg): 1.03 1.00 0.94 2/54 6622
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 33037 0 0 0 32927 75 0 0 25 0 1 0 968695958 97300480 19652 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23755 19652 301 301 0 23454 0
vsize: 95020
[startup+340.009 s]
Raw data (loadavg): 1.02 1.00 0.94 2/54 6622
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 33045 0 0 0 33927 75 0 0 25 0 1 0 968695958 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.009 s]
Raw data (loadavg): 1.02 1.00 0.94 2/54 6622
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 33051 0 0 0 34927 75 0 0 25 0 1 0 968695958 97300480 19666 4294967295 134512640 135730672 3221224576 3221222864 134747536 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23755 19666 301 301 0 23454 0
vsize: 95020
[startup+360.009 s]
Raw data (loadavg): 1.02 1.00 0.94 2/54 6622
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 33058 0 0 0 35927 75 0 0 25 0 1 0 968695958 97300480 19673 4294967295 134512640 135730672 3221224576 3221222864 134747651 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.009 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 6622
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 33166 0 0 0 36927 76 0 0 25 0 1 0 968695958 97632256 19781 4294967295 134512640 135730672 3221224576 3221222992 134748264 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23836 19781 301 301 0 23535 0
vsize: 95344
[startup+380.009 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 6622
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 33262 0 0 0 37927 76 0 0 25 0 1 0 968695958 97959936 19844 4294967295 134512640 135730672 3221224576 3221222992 134748145 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23916 19844 301 301 0 23615 0
vsize: 95664
[startup+390.01 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 6622
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 33341 0 0 0 38927 77 0 0 25 0 1 0 968695958 98222080 19858 4294967295 134512640 135730672 3221224576 3221222864 134747811 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23980 19858 301 301 0 23679 0
vsize: 95920
[startup+400.01 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 6622
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 33350 0 0 0 39927 77 0 0 25 0 1 0 968695958 98222080 19867 4294967295 134512640 135730672 3221224576 3221222864 134747902 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23980 19867 301 301 0 23679 0
vsize: 95920
[startup+410.009 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6622
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 33409 0 0 0 40927 77 0 0 25 0 1 0 968695958 98488320 19926 4294967295 134512640 135730672 3221224576 3221222968 134747726 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.009 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6622
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 33412 0 0 0 41927 77 0 0 25 0 1 0 968695958 98488320 19929 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24045 19929 301 301 0 23744 0
vsize: 96180
[startup+430.009 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6622
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 33416 0 0 0 42927 77 0 0 25 0 1 0 968695958 98488320 19933 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24045 19933 301 301 0 23744 0
vsize: 96180
[startup+440.009 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6622
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 33421 0 0 0 43927 77 0 0 25 0 1 0 968695958 98488320 19938 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24045 19938 301 301 0 23744 0
vsize: 96180
[startup+450.009 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6622
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 33424 0 0 0 44927 77 0 0 25 0 1 0 968695958 98488320 19941 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24045 19941 301 301 0 23744 0
vsize: 96180
[startup+460.009 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6622
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 33496 0 0 0 45927 77 0 0 25 0 1 0 968695958 98750464 19948 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24109 19948 301 301 0 23808 0
vsize: 96436
[startup+470.009 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6622
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 33913 0 0 0 46925 79 0 0 25 0 1 0 968695958 98750464 19954 4294967295 134512640 135730672 3221224576 3221222864 134747489 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.009 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6622
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 33916 0 0 0 47925 79 0 0 25 0 1 0 968695958 98750464 19957 4294967295 134512640 135730672 3221224576 3221222864 134747584 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24109 19957 301 301 0 23808 0
vsize: 96436
[startup+490.01 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6622
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 34224 0 0 0 48925 80 0 0 25 0 1 0 968695958 100356096 20199 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24501 20199 301 301 0 24200 0
vsize: 98004
[startup+500.011 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6622
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 34926 0 0 0 49923 81 0 0 25 0 1 0 968695958 103247872 20736 4294967295 134512640 135730672 3221224576 3221222864 134747570 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25207 20736 301 301 0 24906 0
vsize: 100828
[startup+510.01 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6622
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 35152 0 0 0 50923 82 0 0 25 0 1 0 968695958 104042496 20896 4294967295 134512640 135730672 3221224576 3221222960 134763606 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25401 20896 301 301 0 25100 0
vsize: 101604
[startup+520.01 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6622
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 35156 0 0 0 51923 82 0 0 25 0 1 0 968695958 104042496 20900 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25401 20900 301 301 0 25100 0
vsize: 101604
[startup+530.01 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6622
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 35160 0 0 0 52923 82 0 0 25 0 1 0 968695958 104042496 20904 4294967295 134512640 135730672 3221224576 3221223056 134748420 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25401 20904 301 301 0 25100 0
vsize: 101604
[startup+540.011 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6622
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 35234 0 0 0 53923 82 0 0 25 0 1 0 968695958 104304640 20913 4294967295 134512640 135730672 3221224576 3221222688 134732500 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.011 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6622
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 35237 0 0 0 54923 82 0 0 25 0 1 0 968695958 104304640 20916 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25465 20916 301 301 0 25164 0
vsize: 101860
[startup+560.011 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6622
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 35240 0 0 0 55923 83 0 0 25 0 1 0 968695958 104304640 20919 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25465 20919 301 301 0 25164 0
vsize: 101860
[startup+570.011 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6622
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 35244 0 0 0 56923 83 0 0 25 0 1 0 968695958 104304640 20923 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25465 20923 301 301 0 25164 0
vsize: 101860
[startup+580.011 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6622
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 35248 0 0 0 57923 83 0 0 25 0 1 0 968695958 104304640 20927 4294967295 134512640 135730672 3221224576 3221222700 134739224 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25465 20927 301 301 0 25164 0
vsize: 101860
[startup+590.012 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6622
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 35251 0 0 0 58924 83 0 0 25 0 1 0 968695958 104304640 20930 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25465 20930 301 301 0 25164 0
vsize: 101860
[startup+600.012 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6622
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 35329 0 0 0 59924 83 0 0 25 0 1 0 968695958 104566784 20943 4294967295 134512640 135730672 3221224576 3221222864 134747575 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25529 20943 301 301 0 25228 0
vsize: 102116
[startup+610.012 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6622
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 35333 0 0 0 60924 83 0 0 25 0 1 0 968695958 104566784 20947 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25529 20947 301 301 0 25228 0
vsize: 102116
[startup+620.013 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6622
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 35337 0 0 0 61924 83 0 0 25 0 1 0 968695958 104566784 20951 4294967295 134512640 135730672 3221224576 3221222864 134747934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25529 20951 301 301 0 25228 0
vsize: 102116
[startup+630.013 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6622
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 35342 0 0 0 62924 83 0 0 25 0 1 0 968695958 104566784 20956 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25529 20956 301 301 0 25228 0
vsize: 102116
[startup+640.014 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6622
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 35345 0 0 0 63924 83 0 0 25 0 1 0 968695958 104566784 20959 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25529 20959 301 301 0 25228 0
vsize: 102116
[startup+650.013 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6622
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 35350 0 0 0 64924 83 0 0 25 0 1 0 968695958 104566784 20964 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25529 20964 301 301 0 25228 0
vsize: 102116
[startup+660.013 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6622
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 35354 0 0 0 65924 83 0 0 25 0 1 0 968695958 104566784 20968 4294967295 134512640 135730672 3221224576 3221223056 134748426 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25529 20968 301 301 0 25228 0
vsize: 102116
[startup+670.014 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6622
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 35447 0 0 0 66924 84 0 0 25 0 1 0 968695958 104828928 20996 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25593 20996 301 301 0 25292 0
vsize: 102372
[startup+680.013 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6622
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 35451 0 0 0 67924 84 0 0 25 0 1 0 968695958 104828928 21000 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25593 21000 301 301 0 25292 0
vsize: 102372
[startup+690.014 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6622
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 35475 0 0 0 68924 85 0 0 25 0 1 0 968695958 104828928 21024 4294967295 134512640 135730672 3221224576 3221222864 134747657 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25593 21024 301 301 0 25292 0
vsize: 102372
[startup+700.014 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6622
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 35478 0 0 0 69924 85 0 0 25 0 1 0 968695958 104828928 21027 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25593 21027 301 301 0 25292 0
vsize: 102372
[startup+710.013 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6622
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 35482 0 0 0 70924 85 0 0 25 0 1 0 968695958 104828928 21031 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25593 21031 301 301 0 25292 0
vsize: 102372
[startup+720.013 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6622
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 35487 0 0 0 71924 85 0 0 25 0 1 0 968695958 104828928 21036 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25593 21036 301 301 0 25292 0
vsize: 102372
[startup+730.013 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6622
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 35492 0 0 0 72924 85 0 0 25 0 1 0 968695958 104828928 21041 4294967295 134512640 135730672 3221224576 3221222864 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25593 21041 301 301 0 25292 0
vsize: 102372
[startup+740.014 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6622
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 35496 0 0 0 73924 85 0 0 25 0 1 0 968695958 104828928 21045 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25593 21045 301 301 0 25292 0
vsize: 102372
[startup+750.014 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6622
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 35912 0 0 0 74923 86 0 0 25 0 1 0 968695958 106512384 21461 4294967295 134512640 135730672 3221224576 3221222520 134765483 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26004 21461 301 301 0 25703 0
vsize: 104016
[startup+760.014 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6622
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 35964 0 0 0 75922 87 0 0 25 0 1 0 968695958 105099264 21102 4294967295 134512640 135730672 3221224576 3221222864 134747568 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.014 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6622
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 35964 0 0 0 76923 87 0 0 25 0 1 0 968695958 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+780.014 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6622
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 35965 0 0 0 77922 87 0 0 25 0 1 0 968695958 105099264 21103 4294967295 134512640 135730672 3221224576 3221222864 134747751 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.015 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6622
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 35966 0 0 0 78923 87 0 0 25 0 1 0 968695958 105099264 21104 4294967295 134512640 135730672 3221224576 3221222864 134747568 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.016 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6622
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 35966 0 0 0 79923 87 0 0 25 0 1 0 968695958 105099264 21104 4294967295 134512640 135730672 3221224576 3221222864 134747644 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25659 21104 301 301 0 25358 0
vsize: 102636
[startup+810.016 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6622
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 35967 0 0 0 80923 87 0 0 25 0 1 0 968695958 105099264 21105 4294967295 134512640 135730672 3221224576 3221222864 134747751 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.016 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6622
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 36378 0 0 0 81922 89 0 0 25 0 1 0 968695958 105099264 21105 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25659 21105 301 301 0 25358 0
vsize: 102636
[startup+830.016 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6622
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 36379 0 0 0 82922 89 0 0 25 0 1 0 968695958 105099264 21106 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25659 21106 301 301 0 25358 0
vsize: 102636
[startup+840.016 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6622
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 36380 0 0 0 83922 89 0 0 25 0 1 0 968695958 105099264 21107 4294967295 134512640 135730672 3221224576 3221223024 134734832 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.017 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6622
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 36380 0 0 0 84922 89 0 0 25 0 1 0 968695958 105099264 21107 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25659 21107 301 301 0 25358 0
vsize: 102636
[startup+860.017 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6622
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 36381 0 0 0 85922 89 0 0 25 0 1 0 968695958 105099264 21108 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25659 21108 301 301 0 25358 0
vsize: 102636
[startup+870.018 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6622
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 36382 0 0 0 86922 89 0 0 25 0 1 0 968695958 105099264 21109 4294967295 134512640 135730672 3221224576 3221222960 134763604 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.019 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6622
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 36794 0 0 0 87922 90 0 0 25 0 1 0 968695958 105099264 21110 4294967295 134512640 135730672 3221224576 3221222864 134747934 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.019 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6622
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 36794 0 0 0 88922 90 0 0 25 0 1 0 968695958 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+900.019 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6622
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 36795 0 0 0 89922 90 0 0 25 0 1 0 968695958 105099264 21111 4294967295 134512640 135730672 3221224576 3221222988 135341601 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.019 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6622
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 36796 0 0 0 90922 90 0 0 25 0 1 0 968695958 105099264 21112 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25659 21112 301 301 0 25358 0
vsize: 102636
[startup+920.019 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6622
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 36798 0 0 0 91922 90 0 0 25 0 1 0 968695958 105099264 21114 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25659 21114 301 301 0 25358 0
vsize: 102636
[startup+930.019 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6622
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 36804 0 0 0 92922 90 0 0 25 0 1 0 968695958 105099264 21120 4294967295 134512640 135730672 3221224576 3221222864 134747738 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25659 21120 301 301 0 25358 0
vsize: 102636
[startup+940.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6622
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 37220 0 0 0 93921 91 0 0 25 0 1 0 968695958 105099264 21125 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25659 21125 301 301 0 25358 0
vsize: 102636
[startup+950.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6622
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 37224 0 0 0 94921 92 0 0 25 0 1 0 968695958 105099264 21129 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25659 21129 301 301 0 25358 0
vsize: 102636
[startup+960.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6622
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 37230 0 0 0 95922 92 0 0 25 0 1 0 968695958 105099264 21135 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25659 21135 301 301 0 25358 0
vsize: 102636
[startup+970.021 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6622
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 37234 0 0 0 96922 92 0 0 25 0 1 0 968695958 105099264 21139 4294967295 134512640 135730672 3221224576 3221222960 134747445 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25659 21139 301 301 0 25358 0
vsize: 102636
[startup+980.021 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6622
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 37240 0 0 0 97922 92 0 0 25 0 1 0 968695958 105099264 21145 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25659 21145 301 301 0 25358 0
vsize: 102636
[startup+990.021 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6622
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 37350 0 0 0 98921 92 0 0 25 0 1 0 968695958 105562112 21222 4294967295 134512640 135730672 3221224576 3221223024 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25772 21222 301 301 0 25471 0
vsize: 103088
[startup+1000.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6622
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 37766 0 0 0 99921 93 0 0 25 0 1 0 968695958 105562112 21227 4294967295 134512640 135730672 3221224576 3221223056 134748499 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.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6622
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 37770 0 0 0 100921 93 0 0 25 0 1 0 968695958 105562112 21231 4294967295 134512640 135730672 3221224576 3221222960 134764020 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25772 21231 301 301 0 25471 0
vsize: 103088
[startup+1020.16 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6622
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 37777 0 0 0 101935 94 0 0 25 0 1 0 968695958 105562112 21238 4294967295 134512640 135730672 3221224576 3221222864 134747651 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.16 s]
Raw data (loadavg): 1.15 1.03 0.95 2/54 6675
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 37783 0 0 0 102932 96 0 0 25 0 1 0 968695958 105562112 21244 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25772 21244 301 301 0 25471 0
vsize: 103088
[startup+1040.16 s]
Raw data (loadavg): 1.13 1.03 0.95 2/54 6675
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 37790 0 0 0 103932 96 0 0 25 0 1 0 968695958 105562112 21251 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25772 21251 301 301 0 25471 0
vsize: 103088
[startup+1050.16 s]
Raw data (loadavg): 1.11 1.03 0.95 2/54 6675
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 38206 0 0 0 104931 97 0 0 25 0 1 0 968695958 105562112 21256 4294967295 134512640 135730672 3221224576 3221222992 134783062 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25772 21256 301 301 0 25471 0
vsize: 103088
[startup+1060.16 s]
Raw data (loadavg): 1.09 1.03 0.95 2/54 6675
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 38207 0 0 0 105931 97 0 0 25 0 1 0 968695958 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+1070.16 s]
Raw data (loadavg): 1.08 1.03 0.95 2/54 6675
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 38208 0 0 0 106931 97 0 0 25 0 1 0 968695958 105562112 21258 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25772 21258 301 301 0 25471 0
vsize: 103088
[startup+1080.16 s]
Raw data (loadavg): 1.06 1.03 0.95 2/54 6675
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 38209 0 0 0 107931 97 0 0 25 0 1 0 968695958 105562112 21259 4294967295 134512640 135730672 3221224576 3221222704 134739213 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.16 s]
Raw data (loadavg): 1.05 1.02 0.95 2/54 6675
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 38209 0 0 0 108932 97 0 0 25 0 1 0 968695958 105562112 21259 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25772 21259 301 301 0 25471 0
vsize: 103088
[startup+1100.17 s]
Raw data (loadavg): 1.05 1.02 0.95 2/54 6677
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 38216 0 0 0 109932 98 0 0 25 0 1 0 968695958 105562112 21266 4294967295 134512640 135730672 3221224576 3221222864 134747751 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.17 s]
Raw data (loadavg): 1.04 1.02 0.95 2/54 6677
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 38223 0 0 0 110932 98 0 0 25 0 1 0 968695958 105562112 21273 4294967295 134512640 135730672 3221224576 3221222880 134746077 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25772 21273 301 301 0 25471 0
vsize: 103088
[startup+1120.17 s]
Raw data (loadavg): 1.03 1.02 0.95 2/54 6677
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 38638 0 0 0 111931 99 0 0 25 0 1 0 968695958 105562112 21277 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25772 21277 301 301 0 25471 0
vsize: 103088
[startup+1130.17 s]
Raw data (loadavg): 1.03 1.02 0.95 2/54 6677
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 38644 0 0 0 112931 99 0 0 25 0 1 0 968695958 105562112 21283 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25772 21283 301 301 0 25471 0
vsize: 103088
[startup+1140.17 s]
Raw data (loadavg): 1.02 1.02 0.95 2/54 6677
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 38650 0 0 0 113931 99 0 0 25 0 1 0 968695958 105562112 21289 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25772 21289 301 301 0 25471 0
vsize: 103088
[startup+1150.17 s]
Raw data (loadavg): 1.02 1.02 0.95 2/54 6677
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 38656 0 0 0 114932 99 0 0 25 0 1 0 968695958 105562112 21295 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25772 21295 301 301 0 25471 0
vsize: 103088
[startup+1160.17 s]
Raw data (loadavg): 1.02 1.02 0.95 2/54 6677
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 38662 0 0 0 115932 99 0 0 25 0 1 0 968695958 105562112 21301 4294967295 134512640 135730672 3221224576 3221222864 134747832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25772 21301 301 301 0 25471 0
vsize: 103088
[startup+1170.17 s]
Raw data (loadavg): 1.01 1.02 0.95 2/54 6677
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 39077 0 0 0 116931 100 0 0 25 0 1 0 968695958 107245568 21716 4294967295 134512640 135730672 3221224576 3221222560 134772748 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26183 21716 301 301 0 25882 0
vsize: 104732
[startup+1180.17 s]
Raw data (loadavg): 1.01 1.02 0.95 2/54 6677
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 39084 0 0 0 117931 100 0 0 25 0 1 0 968695958 105562112 21312 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25772 21312 301 301 0 25471 0
vsize: 103088
[startup+1190.17 s]
Raw data (loadavg): 1.01 1.02 0.95 2/54 6677
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 39091 0 0 0 118931 100 0 0 25 0 1 0 968695958 105562112 21319 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25772 21319 301 301 0 25471 0
vsize: 103088
[startup+1200.17 s]
Raw data (loadavg): 1.01 1.01 0.95 2/54 6677
Raw data (stat): 6622 (pb2sat-v2) R 6621 31399 31398 0 -1 0 39098 0 0 0 119931 100 0 0 25 0 1 0 968695958 105562112 21326 4294967295 134512640 135730672 3221224576 3221222960 134763606 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25772 21326 301 301 0 25471 0
vsize: 103088
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1201.09 s]
Raw data (loadavg): 1.01 1.01 0.95 1/54 6677
Raw data (stat): 6622 (pb2sat-v2) Z 6621 31399 31398 0 -1 12 39100 0 0 0 120018 105 0 0 25 0 1 0 968695958 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 10
Real time (s): 1201.09
CPU time (s): 1201.24
CPU user time (s): 1200.19
CPU system time (s): 1.05184
CPU usage (%): 100.013
Max. virtual memory (Kb): 104732
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	1398
#### END VERIFIER DATA ####