PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-set1ch.opb
MD5SUM	5de4850b53e2079c6374cbb1ea845dc3
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	1261.74
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 42817

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-16 15:35:28 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26030 boxname=wulflinc5 idbench=1330 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  5de4850b53e2079c6374cbb1ea845dc3  /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: 26030
/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:        686112 kB
Buffers:         20736 kB
Cached:         304732 kB
SwapCached:        660 kB
Active:          25460 kB
Inactive:       302036 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        685860 kB
SwapTotal:     2097136 kB
SwapFree:      2095536 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5156 kB
Slab:            15416 kB
Committed_AS:    63716 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 15:55:31 (client local time) WITH STATUS 0 IN 1200.84 SECONDS
stats: 26030 7 1200.84 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.90 1/54 16856
Raw data (stat): 16856 (runsolver) R 16855 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 971887053 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0004 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 25193 0 0 0 942 56 0 0 25 0 1 0 971887053 77934592 14207 4294967295 134512640 135730672 3221224576 3221212976 135284212 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 19027 14207 301 301 0 18726 0
vsize: 76108
[startup+20.0006 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 27904 0 0 0 1930 67 0 0 25 0 1 0 971887053 82440192 16456 4294967295 134512640 135730672 3221224576 3221223200 134748138 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20127 16456 301 301 0 19826 0
vsize: 80508
[startup+30.0012 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 28029 0 0 0 2926 72 0 0 25 0 1 0 971887053 82849792 16581 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 20227 16581 301 301 0 19926 0
vsize: 80908
[startup+40.0025 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 28144 0 0 0 3922 76 0 0 25 0 1 0 971887053 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 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 28296 0 0 0 4916 82 0 0 25 0 1 0 971887053 83832832 16848 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 20467 16848 301 301 0 20166 0
vsize: 81868
[startup+60.0028 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 28388 0 0 0 5912 86 0 0 25 0 1 0 971887053 84111360 16940 4294967295 134512640 135730672 3221224576 3221223196 135341601 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 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 28521 0 0 0 6909 90 0 0 25 0 1 0 971887053 84656128 17073 4294967295 134512640 135730672 3221224576 3221223232 134734835 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.0039 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 28581 0 0 0 7904 94 0 0 25 0 1 0 971887053 84795392 17133 4294967295 134512640 135730672 3221224576 3221223196 135341601 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.0047 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 28700 0 0 0 8900 99 0 0 25 0 1 0 971887053 85364736 17252 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 20841 17252 301 301 0 20540 0
vsize: 83364
[startup+100.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 28805 0 0 0 9894 105 0 0 25 0 1 0 971887053 85635072 17357 4294967295 134512640 135730672 3221224576 3221222824 135284867 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.006 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 28884 0 0 0 10890 110 0 0 25 0 1 0 971887053 85909504 17436 4294967295 134512640 135730672 3221224576 3221223196 135341601 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.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 28945 0 0 0 11885 115 0 0 25 0 1 0 971887053 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.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 29064 0 0 0 12880 120 0 0 25 0 1 0 971887053 86630400 17616 4294967295 134512640 135730672 3221224576 3221223232 134734759 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.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 29175 0 0 0 13874 126 0 0 25 0 1 0 971887053 87080960 17727 4294967295 134512640 135730672 3221224576 3221223072 134747543 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.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 29314 0 0 0 14870 131 0 0 25 0 1 0 971887053 87638016 17866 4294967295 134512640 135730672 3221224576 3221223196 135341601 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.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 29358 0 0 0 15865 135 0 0 25 0 1 0 971887053 87785472 17910 4294967295 134512640 135730672 3221224576 3221223184 134744459 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21432 17910 301 301 0 21131 0
vsize: 85728
[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 29482 0 0 0 16861 140 0 0 25 0 1 0 971887053 88211456 18034 4294967295 134512640 135730672 3221224576 3221223196 135341601 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.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 29610 0 0 0 17857 144 0 0 25 0 1 0 971887053 88801280 18162 4294967295 134512640 135730672 3221224576 3221223196 135341601 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.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 29699 0 0 0 18851 150 0 0 25 0 1 0 971887053 89096192 18251 4294967295 134512640 135730672 3221224576 3221223196 135341601 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.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 29792 0 0 0 19847 154 0 0 25 0 1 0 971887053 89538560 18344 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21860 18344 301 301 0 21559 0
vsize: 87440
[startup+210.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 29871 0 0 0 20843 158 0 0 25 0 1 0 971887053 89980928 18423 4294967295 134512640 135730672 3221224576 3221222896 134732476 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.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 30052 0 0 0 21838 163 0 0 25 0 1 0 971887053 90750976 18604 4294967295 134512640 135730672 3221224576 3221223196 135341601 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.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 30195 0 0 0 22834 168 0 0 25 0 1 0 971887053 91406336 18747 4294967295 134512640 135730672 3221224576 3221223196 135341601 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.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 30311 0 0 0 23830 172 0 0 25 0 1 0 971887053 91848704 18863 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22424 18863 301 301 0 22123 0
vsize: 89696
[startup+250.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 30406 0 0 0 24826 177 0 0 25 0 1 0 971887053 92143616 18958 4294967295 134512640 135730672 3221224576 3221223196 135341601 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.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 30510 0 0 0 25822 181 0 0 25 0 1 0 971887053 92635136 19062 4294967295 134512640 135730672 3221224576 3221223196 135341601 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.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 30567 0 0 0 26816 186 0 0 25 0 1 0 971887053 92798976 19119 4294967295 134512640 135730672 3221224576 3221223196 135341601 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.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 30585 0 0 0 27811 192 0 0 25 0 1 0 971887053 92798976 19137 4294967295 134512640 135730672 3221224576 3221223196 135341601 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.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 30600 0 0 0 28806 197 0 0 25 0 1 0 971887053 92946432 19152 4294967295 134512640 135730672 3221224576 3221223072 134747543 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.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 30643 0 0 0 29800 203 0 0 25 0 1 0 971887053 92946432 19195 4294967295 134512640 135730672 3221224576 3221223196 135341601 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.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 30717 0 0 0 30796 207 0 0 25 0 1 0 971887053 93220864 19236 4294967295 134512640 135730672 3221224576 3221223196 135341601 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.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 30767 0 0 0 31791 212 0 0 25 0 1 0 971887053 93491200 19286 4294967295 134512640 135730672 3221224576 3221223232 134734847 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.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 30823 0 0 0 32787 217 0 0 25 0 1 0 971887053 93626368 19342 4294967295 134512640 135730672 3221224576 3221223196 135341601 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.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 30862 0 0 0 33783 221 0 0 25 0 1 0 971887053 93765632 19381 4294967295 134512640 135730672 3221224576 3221223196 135341601 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.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 30952 0 0 0 34778 226 0 0 25 0 1 0 971887053 94052352 19471 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22962 19471 301 301 0 22661 0
vsize: 91848
[startup+360.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 30979 0 0 0 35773 232 0 0 25 0 1 0 971887053 94191616 19498 4294967295 134512640 135730672 3221224576 3221223072 134747711 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.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 31026 0 0 0 36769 236 0 0 25 0 1 0 971887053 94326784 19545 4294967295 134512640 135730672 3221224576 3221223196 135341601 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.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 31074 0 0 0 37765 240 0 0 25 0 1 0 971887053 94470144 19593 4294967295 134512640 135730672 3221224576 3221223232 134734759 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.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 31140 0 0 0 38760 245 0 0 25 0 1 0 971887053 94773248 19659 4294967295 134512640 135730672 3221224576 3221223196 135341601 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.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 31193 0 0 0 39756 250 0 0 25 0 1 0 971887053 94920704 19712 4294967295 134512640 135730672 3221224576 3221223196 135341601 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.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 31327 0 0 0 40751 254 0 0 25 0 1 0 971887053 95559680 19846 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23330 19846 301 301 0 23029 0
vsize: 93320
[startup+420.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 31362 0 0 0 41746 260 0 0 25 0 1 0 971887053 95698944 19881 4294967295 134512640 135730672 3221224576 3221223232 134734759 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.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 31395 0 0 0 42742 264 0 0 25 0 1 0 971887053 95698944 19914 4294967295 134512640 135730672 3221224576 3221223196 135341601 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.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 31472 0 0 0 43739 268 0 0 25 0 1 0 971887053 95981568 19991 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23433 19991 301 301 0 23132 0
vsize: 93732
[startup+450.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 31531 0 0 0 44734 272 0 0 25 0 1 0 971887053 96251904 20050 4294967295 134512640 135730672 3221224576 3221223264 134748446 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23499 20050 301 301 0 23198 0
vsize: 93996
[startup+460.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 31562 0 0 0 45731 276 0 0 25 0 1 0 971887053 96251904 20081 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23499 20081 301 301 0 23198 0
vsize: 93996
[startup+470.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 31621 0 0 0 46726 281 0 0 25 0 1 0 971887053 96534528 20140 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23568 20140 301 301 0 23267 0
vsize: 94272
[startup+480.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 31665 0 0 0 47722 286 0 0 25 0 1 0 971887053 96669696 20184 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23601 20184 301 301 0 23300 0
vsize: 94404
[startup+490.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 31756 0 0 0 48716 291 0 0 25 0 1 0 971887053 96997376 20275 4294967295 134512640 135730672 3221224576 3221223200 134748264 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23681 20275 301 301 0 23380 0
vsize: 94724
[startup+500.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 31841 0 0 0 49711 296 0 0 25 0 1 0 971887053 97275904 20360 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23749 20360 301 301 0 23448 0
vsize: 94996
[startup+510.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 31931 0 0 0 50706 302 0 0 25 0 1 0 971887053 97742848 20450 4294967295 134512640 135730672 3221224576 3221223072 134747587 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23863 20450 301 301 0 23562 0
vsize: 95452
[startup+520.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 31966 0 0 0 51702 306 0 0 25 0 1 0 971887053 97890304 20485 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23899 20485 301 301 0 23598 0
vsize: 95596
[startup+530.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 32042 0 0 0 52696 312 0 0 25 0 1 0 971887053 98177024 20561 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23969 20561 301 301 0 23668 0
vsize: 95876
[startup+540.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 32098 0 0 0 53692 317 0 0 25 0 1 0 971887053 98324480 20617 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24005 20617 301 301 0 23704 0
vsize: 96020
[startup+550.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 32166 0 0 0 54686 322 0 0 25 0 1 0 971887053 98619392 20685 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24077 20685 301 301 0 23776 0
vsize: 96308
[startup+560.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 32261 0 0 0 55680 329 0 0 25 0 1 0 971887053 99053568 20780 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24183 20780 301 301 0 23882 0
vsize: 96732
[startup+570.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 32317 0 0 0 56676 333 0 0 25 0 1 0 971887053 99340288 20836 4294967295 134512640 135730672 3221224576 3221223232 134734790 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24253 20836 301 301 0 23952 0
vsize: 97012
[startup+580.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 32363 0 0 0 57669 340 0 0 25 0 1 0 971887053 99487744 20882 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24289 20882 301 301 0 23988 0
vsize: 97156
[startup+590.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 32419 0 0 0 58664 346 0 0 25 0 1 0 971887053 99635200 20938 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24325 20938 301 301 0 24024 0
vsize: 97300
[startup+600.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 32472 0 0 0 59659 350 0 0 25 0 1 0 971887053 99930112 20991 4294967295 134512640 135730672 3221224576 3221223184 134744655 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24397 20991 301 301 0 24096 0
vsize: 97588
[startup+610.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 32507 0 0 0 60654 355 0 0 25 0 1 0 971887053 99930112 21026 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24397 21026 301 301 0 24096 0
vsize: 97588
[startup+620.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 32579 0 0 0 61650 360 0 0 25 0 1 0 971887053 100225024 21098 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24469 21098 301 301 0 24168 0
vsize: 97876
[startup+630.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 32666 0 0 0 62645 365 0 0 25 0 1 0 971887053 100659200 21185 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24575 21185 301 301 0 24274 0
vsize: 98300
[startup+640.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 32702 0 0 0 63641 370 0 0 25 0 1 0 971887053 100659200 21221 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24575 21221 301 301 0 24274 0
vsize: 98300
[startup+650.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 32750 0 0 0 64635 376 0 0 25 0 1 0 971887053 100806656 21269 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24611 21269 301 301 0 24310 0
vsize: 98444
[startup+660.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 32823 0 0 0 65631 380 0 0 25 0 1 0 971887053 101101568 21342 4294967295 134512640 135730672 3221224576 3221223232 134734860 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24683 21342 301 301 0 24382 0
vsize: 98732
[startup+670.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 32872 0 0 0 66626 385 0 0 25 0 1 0 971887053 101249024 21391 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24719 21391 301 301 0 24418 0
vsize: 98876
[startup+680.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 32912 0 0 0 67621 390 0 0 25 0 1 0 971887053 101396480 21431 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24755 21431 301 301 0 24454 0
vsize: 99020
[startup+690.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 32982 0 0 0 68615 396 0 0 25 0 1 0 971887053 101683200 21501 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24825 21501 301 301 0 24524 0
vsize: 99300
[startup+700.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 33020 0 0 0 69610 402 0 0 25 0 1 0 971887053 101683200 21539 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24825 21539 301 301 0 24524 0
vsize: 99300
[startup+710.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 33085 0 0 0 70605 407 0 0 25 0 1 0 971887053 101969920 21604 4294967295 134512640 135730672 3221224576 3221223232 134734761 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24895 21604 301 301 0 24594 0
vsize: 99580
[startup+720.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 33123 0 0 0 71602 410 0 0 25 0 1 0 971887053 102117376 21642 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24931 21642 301 301 0 24630 0
vsize: 99724
[startup+730.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 33163 0 0 0 72596 416 0 0 25 0 1 0 971887053 102256640 21682 4294967295 134512640 135730672 3221224576 3221223072 134747610 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24965 21682 301 301 0 24664 0
vsize: 99860
[startup+740.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 33207 0 0 0 73590 423 0 0 25 0 1 0 971887053 102395904 21726 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24999 21726 301 301 0 24698 0
vsize: 99996
[startup+750.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 33251 0 0 0 74585 427 0 0 25 0 1 0 971887053 102531072 21770 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25032 21770 301 301 0 24731 0
vsize: 100128
[startup+760.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 33273 0 0 0 75579 434 0 0 25 0 1 0 971887053 102531072 21792 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25032 21792 301 301 0 24731 0
vsize: 100128
[startup+770.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 33340 0 0 0 76573 440 0 0 25 0 1 0 971887053 102817792 21859 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25102 21862 301 301 0 24801 0
vsize: 100408
[startup+780.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 33374 0 0 0 77568 445 0 0 25 0 1 0 971887053 102965248 21893 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25138 21893 301 301 0 24837 0
vsize: 100552
[startup+790.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 33412 0 0 0 78564 449 0 0 25 0 1 0 971887053 103112704 21931 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25174 21931 301 301 0 24873 0
vsize: 100696
[startup+800.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 33470 0 0 0 79560 454 0 0 25 0 1 0 971887053 103395328 21989 4294967295 134512640 135730672 3221224576 3221223072 134747634 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25243 21989 301 301 0 24942 0
vsize: 100972
[startup+810.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 33500 0 0 0 80555 459 0 0 25 0 1 0 971887053 103530496 22019 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25276 22019 301 301 0 24975 0
vsize: 101104
[startup+820.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 33523 0 0 0 81550 464 0 0 25 0 1 0 971887053 103530496 22042 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25276 22042 301 301 0 24975 0
vsize: 101104
[startup+830.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 33594 0 0 0 82545 469 0 0 25 0 1 0 971887053 103809024 22113 4294967295 134512640 135730672 3221224576 3221223232 134734829 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25344 22113 301 301 0 25043 0
vsize: 101376
[startup+840.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 33622 0 0 0 83540 474 0 0 25 0 1 0 971887053 103948288 22141 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25378 22141 301 301 0 25077 0
vsize: 101512
[startup+850.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 33677 0 0 0 84536 479 0 0 25 0 1 0 971887053 104095744 22196 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25414 22196 301 301 0 25113 0
vsize: 101656
[startup+860.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 33713 0 0 0 85531 484 0 0 25 0 1 0 971887053 104259584 22232 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25454 22232 301 301 0 25153 0
vsize: 101816
[startup+870.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 33729 0 0 0 86526 489 0 0 25 0 1 0 971887053 104259584 22248 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25454 22248 301 301 0 25153 0
vsize: 101816
[startup+880.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 33772 0 0 0 87521 494 0 0 25 0 1 0 971887053 104529920 22291 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25520 22291 301 301 0 25219 0
vsize: 102080
[startup+890.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 33835 0 0 0 88516 500 0 0 25 0 1 0 971887053 104660992 22354 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25552 22354 301 301 0 25251 0
vsize: 102208
[startup+900.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 33863 0 0 0 89511 504 0 0 25 0 1 0 971887053 104800256 22382 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25586 22382 301 301 0 25285 0
vsize: 102344
[startup+910.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 33908 0 0 0 90506 509 0 0 25 0 1 0 971887053 104951808 22427 4294967295 134512640 135730672 3221224576 3221223072 134747730 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25623 22427 301 301 0 25322 0
vsize: 102492
[startup+920.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 33937 0 0 0 91501 514 0 0 25 0 1 0 971887053 105115648 22456 4294967295 134512640 135730672 3221224576 3221222896 134732515 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25663 22456 301 301 0 25362 0
vsize: 102652
[startup+930.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 33968 0 0 0 92495 521 0 0 25 0 1 0 971887053 105115648 22487 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25663 22487 301 301 0 25362 0
vsize: 102652
[startup+940.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 34037 0 0 0 93489 526 0 0 25 0 1 0 971887053 105607168 22556 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25783 22556 301 301 0 25482 0
vsize: 103132
[startup+950.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 34044 0 0 0 94485 531 0 0 25 0 1 0 971887053 105607168 22563 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25783 22563 301 301 0 25482 0
vsize: 103132
[startup+960.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 34082 0 0 0 95480 536 0 0 25 0 1 0 971887053 105754624 22601 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25819 22601 301 301 0 25518 0
vsize: 103276
[startup+970.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 34136 0 0 0 96475 542 0 0 25 0 1 0 971887053 105893888 22655 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25853 22655 301 301 0 25552 0
vsize: 103412
[startup+980.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 34160 0 0 0 97469 548 0 0 25 0 1 0 971887053 106033152 22679 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25887 22679 301 301 0 25586 0
vsize: 103548
[startup+990.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 34179 0 0 0 98465 552 0 0 25 0 1 0 971887053 106033152 22698 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25887 22698 301 301 0 25586 0
vsize: 103548
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 34193 0 0 0 99460 557 0 0 25 0 1 0 971887053 106033152 22712 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25887 22712 301 301 0 25586 0
vsize: 103548
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 34211 0 0 0 100455 562 0 0 25 0 1 0 971887053 106172416 22730 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25921 22730 301 301 0 25620 0
vsize: 103684
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 34234 0 0 0 101449 569 0 0 25 0 1 0 971887053 106172416 22753 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25921 22753 301 301 0 25620 0
vsize: 103684
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 34287 0 0 0 102443 574 0 0 25 0 1 0 971887053 106307584 22806 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25954 22806 301 301 0 25653 0
vsize: 103816
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 34307 0 0 0 103438 580 0 0 25 0 1 0 971887053 106463232 22826 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25992 22826 301 301 0 25691 0
vsize: 103968
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 34337 0 0 0 104433 586 0 0 25 0 1 0 971887053 106463232 22856 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25992 22856 301 301 0 25691 0
vsize: 103968
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 34368 0 0 0 105428 591 0 0 25 0 1 0 971887053 106627072 22887 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26032 22887 301 301 0 25731 0
vsize: 104128
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 34409 0 0 0 106423 596 0 0 25 0 1 0 971887053 106770432 22928 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26067 22928 301 301 0 25766 0
vsize: 104268
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 34430 0 0 0 107418 601 0 0 25 0 1 0 971887053 106770432 22949 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26067 22949 301 301 0 25766 0
vsize: 104268
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 34467 0 0 0 108414 605 0 0 25 0 1 0 971887053 106909696 22986 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26101 22986 301 301 0 25800 0
vsize: 104404
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 34489 0 0 0 109409 610 0 0 25 0 1 0 971887053 106909696 23008 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26101 23008 301 301 0 25800 0
vsize: 104404
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 34511 0 0 0 110404 615 0 0 25 0 1 0 971887053 106909696 23030 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26101 23030 301 301 0 25800 0
vsize: 104404
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 34549 0 0 0 111400 620 0 0 25 0 1 0 971887053 107044864 23068 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26134 23068 301 301 0 25833 0
vsize: 104536
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 34567 0 0 0 112395 625 0 0 25 0 1 0 971887053 107044864 23086 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26134 23086 301 301 0 25833 0
vsize: 104536
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 34599 0 0 0 113390 630 0 0 25 0 1 0 971887053 107192320 23118 4294967295 134512640 135730672 3221224576 3221223200 134748244 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26170 23118 301 301 0 25869 0
vsize: 104680
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 34654 0 0 0 114386 635 0 0 25 0 1 0 971887053 107462656 23173 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26236 23173 301 301 0 25935 0
vsize: 104944
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 34673 0 0 0 115378 643 0 0 25 0 1 0 971887053 107462656 23192 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26236 23192 301 301 0 25935 0
vsize: 104944
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 34697 0 0 0 116372 648 0 0 25 0 1 0 971887053 107462656 23216 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26236 23216 301 301 0 25935 0
vsize: 104944
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 34724 0 0 0 117366 654 0 0 25 0 1 0 971887053 107601920 23243 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26270 23243 301 301 0 25969 0
vsize: 105080
[startup+1190.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 34743 0 0 0 118362 659 0 0 25 0 1 0 971887053 107601920 23262 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26270 23262 301 301 0 25969 0
vsize: 105080
[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16856
Raw data (stat): 16856 (pb2sat-v2) R 16855 7266 7265 0 -1 0 34760 0 0 0 119358 663 0 0 25 0 1 0 971887053 107601920 23279 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26270 23279 301 301 0 25969 0
vsize: 105080
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.66 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 16856
Raw data (stat): 16856 (pb2sat-v2) Z 16855 7266 7265 0 -1 12 34762 0 0 0 119415 668 0 0 25 0 1 0 971887053 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 0
Real time (s): 1200.66
CPU time (s): 1200.84
CPU user time (s): 1194.16
CPU system time (s): 6.68298
CPU usage (%): 100.015
Max. virtual memory (Kb): 105080
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####