PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-set1ch.opb
MD5SUM	28671fa27f6142d46ae445332a951f0d
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	71225856
Optimality of the best value was proved	NO
Number of terms in the objective function	4880
Biggest coefficient in the objective function	10485760
Number of bits for the biggest coefficient in the objective function	24
Sum of the numbers in the objective function	1662757407
Number of bits of the sum of numbers in the objective function	31
Biggest number in a constraint	10485760
Number of bits of the biggest number in a constraint	24
Biggest sum of numbers in a constraint	1662757407
Number of bits of the biggest sum of numbers	31
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1254.32
Number of variables	9680
Total number of constraints	732
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	240
Number of constraints which are nor clauses,nor cardinality constraints	492
Minimum length of a constraint	1
Maximum length of a constraint	420
Trace number 42939

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-16 18:52:51 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26152 boxname=wulflinc5 idbench=1452 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  28671fa27f6142d46ae445332a951f0d  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-set1ch.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-set1ch.opb
IDLAUNCH: 26152
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        701716 kB
Buffers:         27484 kB
Cached:         282344 kB
SwapCached:        660 kB
Active:          26556 kB
Inactive:       285324 kB
HighTotal:      131008 kB
HighFree:          280 kB
LowTotal:       903652 kB
LowFree:        701436 kB
SwapTotal:     2097136 kB
SwapFree:      2095536 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5156 kB
Slab:            15380 kB
Committed_AS:    63712 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 19:12:54 (client local time) WITH STATUS 0 IN 1200.79 SECONDS
stats: 26152 7 1200.79 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
s UNKNOWN
#### 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.91 2/54 18785
Raw data (stat): 18785 (runsolver) R 18784 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 973071535 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.0002 s]
Raw data (loadavg): 0.93 0.95 0.91 2/54 18785
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 25318 0 0 0 943 55 0 0 25 0 1 0 973071535 77934592 14329 4294967295 134512640 135730672 3221224576 3221213904 134770712 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19027 14329 301 301 0 18726 0
vsize: 76108
[startup+20.0005 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 18785
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 27906 0 0 0 1932 66 0 0 25 0 1 0 973071535 82440192 16458 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 20127 16458 301 301 0 19826 0
vsize: 80508
[startup+30.0013 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 18785
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 28034 0 0 0 2927 72 0 0 25 0 1 0 973071535 82849792 16586 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 20227 16586 301 301 0 19926 0
vsize: 80908
[startup+40.0019 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 18785
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 28144 0 0 0 3921 78 0 0 25 0 1 0 973071535 83283968 16696 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 20333 16696 301 301 0 20032 0
vsize: 81332
[startup+50.0027 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 18785
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 28302 0 0 0 4915 84 0 0 25 0 1 0 973071535 83832832 16854 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 20467 16854 301 301 0 20166 0
vsize: 81868
[startup+60.0025 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 18785
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 28388 0 0 0 5910 89 0 0 25 0 1 0 973071535 84111360 16940 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 20535 16940 301 301 0 20234 0
vsize: 82140
[startup+70.0037 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 18785
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 28521 0 0 0 6905 94 0 0 25 0 1 0 973071535 84656128 17073 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 20668 17073 301 301 0 20367 0
vsize: 82672
[startup+80.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 18785
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 28581 0 0 0 7901 98 0 0 25 0 1 0 973071535 84795392 17133 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 20702 17133 301 301 0 20401 0
vsize: 82808
[startup+90.0037 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 18785
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 28701 0 0 0 8897 103 0 0 25 0 1 0 973071535 85364736 17253 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 20841 17253 301 301 0 20540 0
vsize: 83364
[startup+100.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 18785
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 28805 0 0 0 9892 108 0 0 25 0 1 0 973071535 85635072 17357 4294967295 134512640 135730672 3221224576 3221223200 134748101 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 20907 17357 301 301 0 20606 0
vsize: 83628
[startup+110.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 18785
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 28884 0 0 0 10887 112 0 0 25 0 1 0 973071535 85909504 17436 4294967295 134512640 135730672 3221224576 3221223072 134747587 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 20974 17436 301 301 0 20673 0
vsize: 83896
[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18785
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 28945 0 0 0 11882 118 0 0 25 0 1 0 973071535 86183936 17497 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21041 17497 301 301 0 20740 0
vsize: 84164
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18785
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 29064 0 0 0 12876 124 0 0 25 0 1 0 973071535 86630400 17616 4294967295 134512640 135730672 3221224576 3221223072 134747566 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21150 17616 301 301 0 20849 0
vsize: 84600
[startup+140.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18785
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 29175 0 0 0 13871 129 0 0 25 0 1 0 973071535 87080960 17727 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21260 17727 301 301 0 20959 0
vsize: 85040
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18785
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 29314 0 0 0 14864 136 0 0 25 0 1 0 973071535 87638016 17866 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21396 17866 301 301 0 21095 0
vsize: 85584
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18785
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 29361 0 0 0 15859 141 0 0 25 0 1 0 973071535 87785472 17913 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21432 17913 301 301 0 21131 0
vsize: 85728
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18785
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 29482 0 0 0 16855 145 0 0 25 0 1 0 973071535 88211456 18034 4294967295 134512640 135730672 3221224576 3221222896 134732493 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21536 18034 301 301 0 21235 0
vsize: 86144
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18785
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 29610 0 0 0 17851 149 0 0 25 0 1 0 973071535 88801280 18162 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21680 18162 301 301 0 21379 0
vsize: 86720
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18785
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 29699 0 0 0 18847 153 0 0 25 0 1 0 973071535 89096192 18251 4294967295 134512640 135730672 3221224576 3221223072 134747495 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21752 18251 301 301 0 21451 0
vsize: 87008
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18785
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 29789 0 0 0 19841 160 0 0 25 0 1 0 973071535 89538560 18341 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21860 18341 301 301 0 21559 0
vsize: 87440
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18785
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 29871 0 0 0 20835 165 0 0 25 0 1 0 973071535 89980928 18423 4294967295 134512640 135730672 3221224576 3221223072 134747647 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21968 18423 301 301 0 21667 0
vsize: 87872
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18785
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 30052 0 0 0 21830 171 0 0 25 0 1 0 973071535 90750976 18604 4294967295 134512640 135730672 3221224576 3221223200 134748111 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22156 18604 301 301 0 21855 0
vsize: 88624
[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18785
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 30195 0 0 0 22825 176 0 0 25 0 1 0 973071535 91406336 18747 4294967295 134512640 135730672 3221224576 3221223072 134747930 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22316 18747 301 301 0 22015 0
vsize: 89264
[startup+240.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18785
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 30310 0 0 0 23822 179 0 0 25 0 1 0 973071535 91848704 18862 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22424 18862 301 301 0 22123 0
vsize: 89696
[startup+250.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18785
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 30406 0 0 0 24818 183 0 0 25 0 1 0 973071535 92143616 18958 4294967295 134512640 135730672 3221224576 3221223244 134748653 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22496 18958 301 301 0 22195 0
vsize: 89984
[startup+260.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18785
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 30510 0 0 0 25813 189 0 0 25 0 1 0 973071535 92635136 19062 4294967295 134512640 135730672 3221224576 3221223244 134748650 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22616 19062 301 301 0 22315 0
vsize: 90464
[startup+270.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18785
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 30567 0 0 0 26808 194 0 0 25 0 1 0 973071535 92798976 19119 4294967295 134512640 135730672 3221224576 3221223072 134747627 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22656 19119 301 301 0 22355 0
vsize: 90624
[startup+280.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18785
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 30585 0 0 0 27802 200 0 0 25 0 1 0 973071535 92798976 19137 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22656 19137 301 301 0 22355 0
vsize: 90624
[startup+290.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18785
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 30600 0 0 0 28797 205 0 0 25 0 1 0 973071535 92946432 19152 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22692 19152 301 301 0 22391 0
vsize: 90768
[startup+300.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18785
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 30643 0 0 0 29792 210 0 0 25 0 1 0 973071535 92946432 19195 4294967295 134512640 135730672 3221224576 3221223200 134748163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22692 19195 301 301 0 22391 0
vsize: 90768
[startup+310.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18785
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 30717 0 0 0 30788 214 0 0 25 0 1 0 973071535 93220864 19236 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22759 19236 301 301 0 22458 0
vsize: 91036
[startup+320.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18785
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 30767 0 0 0 31783 219 0 0 25 0 1 0 973071535 93491200 19286 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22825 19286 301 301 0 22524 0
vsize: 91300
[startup+330.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18785
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 30823 0 0 0 32778 224 0 0 25 0 1 0 973071535 93626368 19342 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22858 19342 301 301 0 22557 0
vsize: 91432
[startup+340.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18785
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 30862 0 0 0 33773 229 0 0 25 0 1 0 973071535 93765632 19381 4294967295 134512640 135730672 3221224576 3221222876 134729109 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22892 19381 301 301 0 22591 0
vsize: 91568
[startup+350.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18785
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 30951 0 0 0 34767 236 0 0 25 0 1 0 973071535 94052352 19470 4294967295 134512640 135730672 3221224576 3221223200 134748163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22962 19470 301 301 0 22661 0
vsize: 91848
[startup+360.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18785
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 30979 0 0 0 35762 240 0 0 25 0 1 0 973071535 94191616 19498 4294967295 134512640 135730672 3221224576 3221223072 134747610 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22996 19498 301 301 0 22695 0
vsize: 91984
[startup+370.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18785
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 31026 0 0 0 36756 246 0 0 25 0 1 0 973071535 94326784 19545 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23029 19545 301 301 0 22728 0
vsize: 92116
[startup+380.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18785
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 31074 0 0 0 37752 251 0 0 25 0 1 0 973071535 94470144 19593 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23064 19593 301 301 0 22763 0
vsize: 92256
[startup+390.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18785
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 31140 0 0 0 38746 257 0 0 25 0 1 0 973071535 94773248 19659 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23138 19659 301 301 0 22837 0
vsize: 92552
[startup+400.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18785
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 31193 0 0 0 39740 264 0 0 25 0 1 0 973071535 94920704 19712 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23174 19712 301 301 0 22873 0
vsize: 92696
[startup+410.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18785
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 31320 0 0 0 40734 269 0 0 25 0 1 0 973071535 95559680 19839 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23330 19839 301 301 0 23029 0
vsize: 93320
[startup+420.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18785
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 31362 0 0 0 41730 274 0 0 25 0 1 0 973071535 95698944 19881 4294967295 134512640 135730672 3221224576 3221223232 134734849 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23364 19881 301 301 0 23063 0
vsize: 93456
[startup+430.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18785
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 31395 0 0 0 42725 279 0 0 25 0 1 0 973071535 95698944 19914 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23364 19914 301 301 0 23063 0
vsize: 93456
[startup+440.014 s]
Raw data (loadavg): 1.15 1.00 0.93 2/54 18838
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 31463 0 0 0 43720 284 0 0 25 0 1 0 973071535 95981568 19982 4294967295 134512640 135730672 3221224576 3221223072 134747970 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23433 19982 301 301 0 23132 0
vsize: 93732
[startup+450.014 s]
Raw data (loadavg): 1.13 1.00 0.93 2/54 18838
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 31529 0 0 0 44714 289 0 0 25 0 1 0 973071535 96251904 20048 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23499 20048 301 301 0 23198 0
vsize: 93996
[startup+460.014 s]
Raw data (loadavg): 1.11 1.00 0.93 2/54 18838
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 31562 0 0 0 45710 293 0 0 25 0 1 0 973071535 96251904 20081 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23499 20081 301 301 0 23198 0
vsize: 93996
[startup+470.014 s]
Raw data (loadavg): 1.09 1.00 0.93 2/54 18838
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 31621 0 0 0 46706 297 0 0 25 0 1 0 973071535 96534528 20140 4294967295 134512640 135730672 3221224576 3221222904 134739222 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23568 20140 301 301 0 23267 0
vsize: 94272
[startup+480.014 s]
Raw data (loadavg): 1.08 1.00 0.93 2/54 18838
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 31656 0 0 0 47702 302 0 0 25 0 1 0 973071535 96534528 20175 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23568 20175 301 301 0 23267 0
vsize: 94272
[startup+490.014 s]
Raw data (loadavg): 1.07 1.00 0.93 2/54 18838
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 31752 0 0 0 48696 308 0 0 25 0 1 0 973071535 96997376 20271 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23681 20271 301 301 0 23380 0
vsize: 94724
[startup+500.014 s]
Raw data (loadavg): 1.06 1.00 0.93 2/54 18840
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 31831 0 0 0 49691 313 0 0 25 0 1 0 973071535 97275904 20350 4294967295 134512640 135730672 3221224576 3221223184 134744850 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23749 20350 301 301 0 23448 0
vsize: 94996
[startup+510.014 s]
Raw data (loadavg): 1.05 1.00 0.93 2/54 18840
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 31910 0 0 0 50685 320 0 0 25 0 1 0 973071535 97579008 20429 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23823 20429 301 301 0 23522 0
vsize: 95292
[startup+520.014 s]
Raw data (loadavg): 1.04 1.00 0.93 2/54 18840
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 31961 0 0 0 51680 325 0 0 25 0 1 0 973071535 97890304 20480 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23899 20480 301 301 0 23598 0
vsize: 95596
[startup+530.014 s]
Raw data (loadavg): 1.03 1.00 0.93 2/54 18840
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 32018 0 0 0 52675 330 0 0 25 0 1 0 973071535 98037760 20537 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23935 20537 301 301 0 23634 0
vsize: 95740
[startup+540.013 s]
Raw data (loadavg): 1.03 1.00 0.93 2/54 18840
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 32095 0 0 0 53670 335 0 0 25 0 1 0 973071535 98324480 20614 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24005 20614 301 301 0 23704 0
vsize: 96020
[startup+550.013 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 18840
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 32165 0 0 0 54664 341 0 0 25 0 1 0 973071535 98619392 20684 4294967295 134512640 135730672 3221224576 3221223072 134747730 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24077 20684 301 301 0 23776 0
vsize: 96308
[startup+560.013 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 18840
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 32243 0 0 0 55657 348 0 0 25 0 1 0 973071535 99053568 20762 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24183 20762 301 301 0 23882 0
vsize: 96732
[startup+570.014 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 18840
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 32307 0 0 0 56652 353 0 0 25 0 1 0 973071535 99340288 20826 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24253 20826 301 301 0 23952 0
vsize: 97012
[startup+580.014 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 18840
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 32357 0 0 0 57648 358 0 0 25 0 1 0 973071535 99487744 20876 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24289 20876 301 301 0 23988 0
vsize: 97156
[startup+590.013 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 18840
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 32392 0 0 0 58643 362 0 0 25 0 1 0 973071535 99635200 20911 4294967295 134512640 135730672 3221224576 3221222908 134739224 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24325 20911 301 301 0 24024 0
vsize: 97300
[startup+600.013 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 18840
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 32462 0 0 0 59638 368 0 0 25 0 1 0 973071535 99782656 20981 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24361 20981 301 301 0 24060 0
vsize: 97444
[startup+610.013 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 18840
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 32506 0 0 0 60633 373 0 0 25 0 1 0 973071535 99930112 21025 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24397 21025 301 301 0 24096 0
vsize: 97588
[startup+620.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18840
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 32558 0 0 0 61629 377 0 0 25 0 1 0 973071535 100225024 21077 4294967295 134512640 135730672 3221224576 3221223072 134747808 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24469 21077 301 301 0 24168 0
vsize: 97876
[startup+630.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18840
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 32622 0 0 0 62624 382 0 0 25 0 1 0 973071535 100364288 21141 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24503 21141 301 301 0 24202 0
vsize: 98012
[startup+640.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18840
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 32691 0 0 0 63619 388 0 0 25 0 1 0 973071535 100659200 21210 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24575 21210 301 301 0 24274 0
vsize: 98300
[startup+650.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18840
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 32731 0 0 0 64614 393 0 0 25 0 1 0 973071535 100806656 21250 4294967295 134512640 135730672 3221224576 3221223232 134734761 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24611 21250 301 301 0 24310 0
vsize: 98444
[startup+660.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18840
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 32813 0 0 0 65609 398 0 0 25 0 1 0 973071535 101101568 21332 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24683 21332 301 301 0 24382 0
vsize: 98732
[startup+670.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18840
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 32855 0 0 0 66604 403 0 0 25 0 1 0 973071535 101249024 21374 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24719 21374 301 301 0 24418 0
vsize: 98876
[startup+680.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18840
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 32906 0 0 0 67599 409 0 0 25 0 1 0 973071535 101396480 21425 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24755 21425 301 301 0 24454 0
vsize: 99020
[startup+690.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18840
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 32965 0 0 0 68594 413 0 0 25 0 1 0 973071535 101543936 21484 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24791 21484 301 301 0 24490 0
vsize: 99164
[startup+700.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18840
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 33011 0 0 0 69589 419 0 0 25 0 1 0 973071535 101683200 21530 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24825 21530 301 301 0 24524 0
vsize: 99300
[startup+710.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18840
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 33060 0 0 0 70582 426 0 0 25 0 1 0 973071535 101822464 21579 4294967295 134512640 135730672 3221224576 3221223072 134747463 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24859 21579 301 301 0 24558 0
vsize: 99436
[startup+720.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18840
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 33106 0 0 0 71577 431 0 0 25 0 1 0 973071535 101969920 21625 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24895 21625 301 301 0 24594 0
vsize: 99580
[startup+730.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18840
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 33143 0 0 0 72572 437 0 0 25 0 1 0 973071535 102117376 21662 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24931 21662 301 301 0 24630 0
vsize: 99724
[startup+740.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18840
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 33180 0 0 0 73567 442 0 0 25 0 1 0 973071535 102256640 21699 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24965 21699 301 301 0 24664 0
vsize: 99860
[startup+750.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18840
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 33227 0 0 0 74562 446 0 0 25 0 1 0 973071535 102395904 21746 4294967295 134512640 135730672 3221224576 3221223232 134734837 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24999 21746 301 301 0 24698 0
vsize: 99996
[startup+760.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18840
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 33262 0 0 0 75558 451 0 0 25 0 1 0 973071535 102531072 21781 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25032 21781 301 301 0 24731 0
vsize: 100128
[startup+770.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18840
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 33301 0 0 0 76553 457 0 0 25 0 1 0 973071535 102678528 21820 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25068 21820 301 301 0 24767 0
vsize: 100272
[startup+780.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18842
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 33353 0 0 0 77547 462 0 0 25 0 1 0 973071535 102817792 21872 4294967295 134512640 135730672 3221224576 3221223184 134744457 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25102 21872 301 301 0 24801 0
vsize: 100408
[startup+790.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18842
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 33402 0 0 0 78543 467 0 0 25 0 1 0 973071535 103112704 21921 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25174 21921 301 301 0 24873 0
vsize: 100696
[startup+800.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18842
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 33435 0 0 0 79538 472 0 0 25 0 1 0 973071535 103260160 21954 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25210 21954 301 301 0 24909 0
vsize: 100840
[startup+810.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18842
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 33483 0 0 0 80533 477 0 0 25 0 1 0 973071535 103395328 22002 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25243 22002 301 301 0 24942 0
vsize: 100972
[startup+820.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18842
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 33517 0 0 0 81527 483 0 0 25 0 1 0 973071535 103530496 22036 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25276 22036 301 301 0 24975 0
vsize: 101104
[startup+830.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18842
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 33554 0 0 0 82522 488 0 0 25 0 1 0 973071535 103669760 22073 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25310 22073 301 301 0 25009 0
vsize: 101240
[startup+840.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18842
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 33607 0 0 0 83516 495 0 0 25 0 1 0 973071535 103948288 22126 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25378 22126 301 301 0 25077 0
vsize: 101512
[startup+850.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18842
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 33652 0 0 0 84510 501 0 0 25 0 1 0 973071535 104095744 22171 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25414 22171 301 301 0 25113 0
vsize: 101656
[startup+860.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18842
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 33705 0 0 0 85505 506 0 0 25 0 1 0 973071535 104259584 22224 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25454 22224 301 301 0 25153 0
vsize: 101816
[startup+870.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18842
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 33716 0 0 0 86500 511 0 0 25 0 1 0 973071535 104259584 22235 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25454 22235 301 301 0 25153 0
vsize: 101816
[startup+880.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18842
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 33737 0 0 0 87495 516 0 0 25 0 1 0 973071535 104394752 22256 4294967295 134512640 135730672 3221224576 3221223184 134744732 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25487 22256 301 301 0 25186 0
vsize: 101948
[startup+890.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18842
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 33777 0 0 0 88491 520 0 0 25 0 1 0 973071535 104529920 22296 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25520 22296 301 301 0 25219 0
vsize: 102080
[startup+900.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18842
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 33845 0 0 0 89486 526 0 0 25 0 1 0 973071535 104660992 22364 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25552 22364 301 301 0 25251 0
vsize: 102208
[startup+910.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18842
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 33888 0 0 0 90481 531 0 0 25 0 1 0 973071535 104951808 22407 4294967295 134512640 135730672 3221224576 3221223072 134747757 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25623 22407 301 301 0 25322 0
vsize: 102492
[startup+920.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18842
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 33911 0 0 0 91477 535 0 0 25 0 1 0 973071535 104951808 22430 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25623 22430 301 301 0 25322 0
vsize: 102492
[startup+930.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18842
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 33940 0 0 0 92472 541 0 0 25 0 1 0 973071535 105115648 22459 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25663 22459 301 301 0 25362 0
vsize: 102652
[startup+940.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18842
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 33995 0 0 0 93466 546 0 0 25 0 1 0 973071535 105279488 22514 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25703 22514 301 301 0 25402 0
vsize: 102812
[startup+950.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18842
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 34039 0 0 0 94462 551 0 0 25 0 1 0 973071535 105607168 22558 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25783 22558 301 301 0 25482 0
vsize: 103132
[startup+960.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18842
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 34045 0 0 0 95458 555 0 0 25 0 1 0 973071535 105607168 22564 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25783 22564 301 301 0 25482 0
vsize: 103132
[startup+970.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18842
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 34084 0 0 0 96453 560 0 0 25 0 1 0 973071535 105754624 22603 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25819 22603 301 301 0 25518 0
vsize: 103276
[startup+980.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18842
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 34139 0 0 0 97447 566 0 0 25 0 1 0 973071535 105893888 22658 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25853 22658 301 301 0 25552 0
vsize: 103412
[startup+990.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18842
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 34170 0 0 0 98442 571 0 0 25 0 1 0 973071535 106033152 22689 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25887 22689 301 301 0 25586 0
vsize: 103548
[startup+1000.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18842
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 34184 0 0 0 99437 577 0 0 25 0 1 0 973071535 106033152 22703 4294967295 134512640 135730672 3221224576 3221223232 134734835 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25887 22703 301 301 0 25586 0
vsize: 103548
[startup+1010.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18842
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 34198 0 0 0 100431 583 0 0 25 0 1 0 973071535 106033152 22717 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25887 22717 301 301 0 25586 0
vsize: 103548
[startup+1020.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18842
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 34216 0 0 0 101426 588 0 0 25 0 1 0 973071535 106172416 22735 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25921 22735 301 301 0 25620 0
vsize: 103684
[startup+1030.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18842
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 34239 0 0 0 102420 594 0 0 25 0 1 0 973071535 106172416 22758 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25921 22758 301 301 0 25620 0
vsize: 103684
[startup+1040.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18842
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 34299 0 0 0 103416 599 0 0 25 0 1 0 973071535 106463232 22818 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25992 22818 301 301 0 25691 0
vsize: 103968
[startup+1050.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18842
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 34311 0 0 0 104410 604 0 0 25 0 1 0 973071535 106463232 22830 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25992 22830 301 301 0 25691 0
vsize: 103968
[startup+1060.02 s]
Raw data (loadavg): 1.08 1.02 0.93 2/54 18842
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 34353 0 0 0 105405 609 0 0 25 0 1 0 973071535 106627072 22872 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26032 22872 301 301 0 25731 0
vsize: 104128
[startup+1070.02 s]
Raw data (loadavg): 1.07 1.02 0.93 2/54 18842
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 34376 0 0 0 106401 614 0 0 25 0 1 0 973071535 106627072 22895 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26032 22895 301 301 0 25731 0
vsize: 104128
[startup+1080.02 s]
Raw data (loadavg): 1.06 1.01 0.93 2/54 18842
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 34411 0 0 0 107396 619 0 0 25 0 1 0 973071535 106770432 22930 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26067 22930 301 301 0 25766 0
vsize: 104268
[startup+1090.02 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 18842
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 34441 0 0 0 108392 623 0 0 25 0 1 0 973071535 106770432 22960 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26067 22960 301 301 0 25766 0
vsize: 104268
[startup+1100.02 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 18842
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 34468 0 0 0 109387 628 0 0 25 0 1 0 973071535 106909696 22987 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26101 22987 301 301 0 25800 0
vsize: 104404
[startup+1110.02 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 18842
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 34493 0 0 0 110382 633 0 0 25 0 1 0 973071535 106909696 23012 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26101 23012 301 301 0 25800 0
vsize: 104404
[startup+1120.02 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 18842
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 34517 0 0 0 111377 639 0 0 25 0 1 0 973071535 107044864 23036 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26134 23036 301 301 0 25833 0
vsize: 104536
[startup+1130.02 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 18842
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 34555 0 0 0 112371 645 0 0 25 0 1 0 973071535 107044864 23074 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26134 23074 301 301 0 25833 0
vsize: 104536
[startup+1140.02 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 18842
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 34569 0 0 0 113365 651 0 0 25 0 1 0 973071535 107044864 23088 4294967295 134512640 135730672 3221224576 3221223224 134748261 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26134 23088 301 301 0 25833 0
vsize: 104536
[startup+1150.02 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 18842
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 34599 0 0 0 114360 657 0 0 25 0 1 0 973071535 107192320 23118 4294967295 134512640 135730672 3221224576 3221223072 134747597 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26170 23118 301 301 0 25869 0
vsize: 104680
[startup+1160.02 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 18842
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 34656 0 0 0 115356 660 0 0 25 0 1 0 973071535 107462656 23175 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26236 23175 301 301 0 25935 0
vsize: 104944
[startup+1170.02 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 18842
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 34674 0 0 0 116349 667 0 0 25 0 1 0 973071535 107462656 23193 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26236 23193 301 301 0 25935 0
vsize: 104944
[startup+1180.02 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 18842
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 34698 0 0 0 117344 673 0 0 25 0 1 0 973071535 107462656 23217 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26236 23217 301 301 0 25935 0
vsize: 104944
[startup+1190.02 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 18842
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 34727 0 0 0 118338 678 0 0 25 0 1 0 973071535 107601920 23246 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26270 23246 301 301 0 25969 0
vsize: 105080
[startup+1200.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18842
Raw data (stat): 18785 (pb2sat-v2) R 18784 7266 7265 0 -1 0 34743 0 0 0 119334 683 0 0 25 0 1 0 973071535 107601920 23262 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26270 23262 301 301 0 25969 0
vsize: 105080
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.64 s]
Raw data (loadavg): 1.00 1.00 0.93 1/54 18842
Raw data (stat): 18785 (pb2sat-v2) Z 18784 7266 7265 0 -1 12 34745 0 0 0 119390 688 0 0 25 0 1 0 973071535 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: 0
Real time (s): 1200.63
CPU time (s): 1200.79
CPU user time (s): 1193.91
CPU system time (s): 6.88395
CPU usage (%): 100.013
Max. virtual memory (Kb): 105080
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####