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-mod010.opb
MD5SUM	4f0cac14ed3568050c2c57bb69fdb664
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	6571
Optimality of the best value was proved	NO
Number of terms in the objective function	2655
Biggest coefficient in the objective function	266
Number of bits for the biggest coefficient in the objective function	9
Sum of the numbers in the objective function	489211
Number of bits of the sum of numbers in the objective function	19
Biggest number in a constraint	266
Number of bits of the biggest number in a constraint	9
Biggest sum of numbers in a constraint	489211
Number of bits of the biggest sum of numbers	19
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.78
Number of variables	2655
Total number of constraints	2801
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	2800
Number of constraints which are nor clauses,nor cardinality constraints	1
Minimum length of a constraint	1
Maximum length of a constraint	2655
Trace number 42806

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-16 15:12:00 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26011 boxname=wulflinc6 idbench=1311 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  4f0cac14ed3568050c2c57bb69fdb664  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-mod010.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-mod010.opb
IDLAUNCH: 26011
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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.042
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:        715272 kB
Buffers:         17924 kB
Cached:         278644 kB
SwapCached:       1000 kB
Active:          28920 kB
Inactive:       269852 kB
HighTotal:      131008 kB
HighFree:         1428 kB
LowTotal:       903652 kB
LowFree:        713844 kB
SwapTotal:     2097136 kB
SwapFree:      2095200 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5092 kB
Slab:            14932 kB
Committed_AS:    63844 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 15:32:03 (client local time) WITH STATUS 0 IN 1201.04 SECONDS
stats: 26011 7 1201.04 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 11076/263328	Time: 123.273/86400
c Decision: 11076/263328	Time: 208.886/86400s 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 2/54 22761
Raw data (stat): 22761 (runsolver) R 22760 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 971745225 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.0009 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 26429 0 0 0 941 58 0 0 25 0 1 0 971745225 84086784 15553 4294967295 134512640 135730672 3221224576 3220445956 134608048 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20529 15553 301 301 0 20228 0
vsize: 82116
[startup+20.0024 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 38012 0 0 0 1915 84 0 0 25 0 1 0 971745225 111239168 21937 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27158 21937 301 301 0 26857 0
vsize: 108632
[startup+30.0036 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 38958 0 0 0 2913 87 0 0 25 0 1 0 971745225 116043776 22817 4294967295 134512640 135730672 3221224576 3221223072 134747578 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28331 22817 301 301 0 28030 0
vsize: 113324
[startup+40.0043 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 39449 0 0 0 3912 88 0 0 25 0 1 0 971745225 118861824 23275 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 29019 23275 301 301 0 28718 0
vsize: 116076
[startup+50.0059 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 39745 0 0 0 4911 89 0 0 25 0 1 0 971745225 120459264 23571 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 29409 23571 301 301 0 29108 0
vsize: 117636
[startup+60.007 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 39923 0 0 0 5911 90 0 0 25 0 1 0 971745225 121270272 23749 4294967295 134512640 135730672 3221224576 3221223200 134748166 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 29607 23749 301 301 0 29306 0
vsize: 118428
[startup+70.0077 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 40195 0 0 0 6910 91 0 0 25 0 1 0 971745225 122757120 24021 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 29970 24021 301 301 0 29669 0
vsize: 119880
[startup+80.0092 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 40506 0 0 0 7909 92 0 0 25 0 1 0 971745225 124375040 24332 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 30365 24332 301 301 0 30064 0
vsize: 121460
[startup+90.0094 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 40804 0 0 0 8909 93 0 0 25 0 1 0 971745225 126267392 24630 4294967295 134512640 135730672 3221224576 3221223232 134748661 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 30827 24630 301 301 0 30526 0
vsize: 123308
[startup+100.01 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 41025 0 0 0 9909 94 0 0 25 0 1 0 971745225 127205376 24818 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 31056 24818 301 301 0 30755 0
vsize: 124224
[startup+110.012 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 41255 0 0 0 10908 95 0 0 25 0 1 0 971745225 128421888 25048 4294967295 134512640 135730672 3221224576 3221223168 134747445 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 31353 25048 301 301 0 31052 0
vsize: 125412
[startup+120.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 41363 0 0 0 11908 95 0 0 25 0 1 0 971745225 128962560 25156 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 31485 25156 301 301 0 31184 0
vsize: 125940
[startup+130.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 41585 0 0 0 12908 96 0 0 25 0 1 0 971745225 129908736 25378 4294967295 134512640 135730672 3221224576 3221223072 134747657 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 31716 25378 301 301 0 31415 0
vsize: 126864
[startup+140.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 42273 0 0 0 13906 98 0 0 25 0 1 0 971745225 130719744 25551 4294967295 134512640 135730672 3221224576 3221223024 134730415 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 31914 25551 301 301 0 31613 0
vsize: 127656
[startup+150.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 42374 0 0 0 14906 98 0 0 25 0 1 0 971745225 130985984 25619 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 31979 25619 301 301 0 31678 0
vsize: 127916
[startup+160.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 42500 0 0 0 15906 99 0 0 25 0 1 0 971745225 131661824 25745 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 32144 25745 301 301 0 31843 0
vsize: 128576
[startup+170.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 42554 0 0 0 16906 99 0 0 25 0 1 0 971745225 131796992 25799 4294967295 134512640 135730672 3221224576 3221223072 134747947 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 32177 25799 301 301 0 31876 0
vsize: 128708
[startup+180.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 42633 0 0 0 17905 100 0 0 25 0 1 0 971745225 132202496 25878 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 32276 25878 301 301 0 31975 0
vsize: 129104
[startup+190.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 42686 0 0 0 18905 101 0 0 25 0 1 0 971745225 132333568 25898 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 32308 25898 301 301 0 32007 0
vsize: 129232
[startup+200.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 42763 0 0 0 19905 101 0 0 25 0 1 0 971745225 132464640 25942 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 32340 25942 301 301 0 32039 0
vsize: 129360
[startup+210.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 42875 0 0 0 20905 102 0 0 25 0 1 0 971745225 132866048 26021 4294967295 134512640 135730672 3221224576 3221223072 134747641 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 32438 26021 301 301 0 32137 0
vsize: 129752
[startup+220.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 42914 0 0 0 21905 102 0 0 25 0 1 0 971745225 133001216 26060 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 32471 26060 301 301 0 32170 0
vsize: 129884
[startup+230.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 43519 0 0 0 22903 104 0 0 25 0 1 0 971745225 133406720 26150 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 32570 26150 301 301 0 32269 0
vsize: 130280
[startup+240.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 43611 0 0 0 23903 104 0 0 25 0 1 0 971745225 133677056 26242 4294967295 134512640 135730672 3221224576 3221223072 134747967 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 32636 26242 301 301 0 32335 0
vsize: 130544
[startup+250.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 43687 0 0 0 24903 105 0 0 25 0 1 0 971745225 133943296 26285 4294967295 134512640 135730672 3221224576 3221223072 134747587 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 32701 26285 301 301 0 32400 0
vsize: 130804
[startup+260.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 43809 0 0 0 25903 106 0 0 25 0 1 0 971745225 134340608 26341 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 32798 26341 301 301 0 32497 0
vsize: 131192
[startup+270.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 43933 0 0 0 26903 106 0 0 25 0 1 0 971745225 135016448 26465 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 32963 26465 301 301 0 32662 0
vsize: 131852
[startup+280.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 43991 0 0 0 27903 107 0 0 25 0 1 0 971745225 135286784 26523 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 33029 26523 301 301 0 32728 0
vsize: 132116
[startup+290.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 44091 0 0 0 28903 107 0 0 25 0 1 0 971745225 135827456 26623 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 33161 26623 301 301 0 32860 0
vsize: 132644
[startup+300.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 44186 0 0 0 29903 108 0 0 25 0 1 0 971745225 136368128 26718 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 33293 26718 301 301 0 32992 0
vsize: 133172
[startup+310.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 44270 0 0 0 30903 108 0 0 25 0 1 0 971745225 136769536 26769 4294967295 134512640 135730672 3221224576 3221223072 134747549 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 33391 26769 301 301 0 33090 0
vsize: 133564
[startup+320.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 44403 0 0 0 31902 109 0 0 25 0 1 0 971745225 137334784 26869 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 33529 26869 301 301 0 33228 0
vsize: 134116
[startup+330.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 44431 0 0 0 32902 109 0 0 25 0 1 0 971745225 137469952 26897 4294967295 134512640 135730672 3221224576 3221223264 134748499 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 33562 26897 301 301 0 33261 0
vsize: 134248
[startup+340.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 44499 0 0 0 33902 110 0 0 25 0 1 0 971745225 137736192 26932 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 33627 26932 301 301 0 33326 0
vsize: 134508
[startup+350.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 44796 0 0 0 34901 111 0 0 25 0 1 0 971745225 138657792 27064 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 33852 27064 301 301 0 33551 0
vsize: 135408
[startup+360.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 45119 0 0 0 35901 112 0 0 25 0 1 0 971745225 140255232 27321 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34242 27321 301 301 0 33941 0
vsize: 136968
[startup+370.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 45816 0 0 0 36899 114 0 0 25 0 1 0 971745225 143462400 27853 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35025 27853 301 301 0 34724 0
vsize: 140100
[startup+380.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 46115 0 0 0 37899 114 0 0 25 0 1 0 971745225 144662528 28053 4294967295 134512640 135730672 3221224576 3221222824 135284470 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35318 28053 301 301 0 35017 0
vsize: 141272
[startup+390.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 46626 0 0 0 38897 116 0 0 25 0 1 0 971745225 146505728 28234 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35768 28234 301 301 0 35467 0
vsize: 143072
[startup+400.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 46819 0 0 0 39897 117 0 0 25 0 1 0 971745225 147447808 28394 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35998 28394 301 301 0 35697 0
vsize: 143992
[startup+410.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 46894 0 0 0 40896 118 0 0 25 0 1 0 971745225 147775488 28436 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36078 28436 301 301 0 35777 0
vsize: 144312
[startup+420.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 47311 0 0 0 41895 119 0 0 25 0 1 0 971745225 149499904 28688 4294967295 134512640 135730672 3221224576 3221223264 134748499 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36499 28688 301 301 0 36198 0
vsize: 145996
[startup+430.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 47575 0 0 0 42895 119 0 0 25 0 1 0 971745225 150425600 28853 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36725 28853 301 301 0 36424 0
vsize: 146900
[startup+440.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 48047 0 0 0 43894 120 0 0 25 0 1 0 971745225 152342528 29094 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37193 29094 301 301 0 36892 0
vsize: 148772
[startup+450.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 48757 0 0 0 44894 122 0 0 25 0 1 0 971745225 154718208 29474 4294967295 134512640 135730672 3221224576 3221222912 134739213 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37773 29474 301 301 0 37472 0
vsize: 151092
[startup+460.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 49206 0 0 0 45893 123 0 0 25 0 1 0 971745225 156569600 29725 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38225 29725 301 301 0 37924 0
vsize: 152900
[startup+470.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 49484 0 0 0 46892 124 0 0 25 0 1 0 971745225 157491200 29838 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38450 29838 301 301 0 38149 0
vsize: 153800
[startup+480.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 49612 0 0 0 47892 124 0 0 25 0 1 0 971745225 157884416 29867 4294967295 134512640 135730672 3221224576 3221223056 134732772 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38546 29867 301 301 0 38245 0
vsize: 154184
[startup+490.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 49658 0 0 0 48892 124 0 0 25 0 1 0 971745225 158015488 29880 4294967295 134512640 135730672 3221224576 3221222824 135284655 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38578 29880 301 301 0 38277 0
vsize: 154312
[startup+500.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 49706 0 0 0 49892 125 0 0 25 0 1 0 971745225 158146560 29895 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38610 29895 301 301 0 38309 0
vsize: 154440
[startup+510.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 49740 0 0 0 50892 125 0 0 25 0 1 0 971745225 158146560 29929 4294967295 134512640 135730672 3221224576 3221223072 134747528 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38610 29929 301 301 0 38309 0
vsize: 154440
[startup+520.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 49821 0 0 0 51892 126 0 0 25 0 1 0 971745225 158277632 29977 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38642 29977 301 301 0 38341 0
vsize: 154568
[startup+530.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 50047 0 0 0 52892 126 0 0 25 0 1 0 971745225 158801920 30071 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38770 30071 301 301 0 38469 0
vsize: 155080
[startup+540.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 50290 0 0 0 53891 127 0 0 25 0 1 0 971745225 159592448 30184 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38963 30184 301 301 0 38662 0
vsize: 155852
[startup+550.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 50372 0 0 0 54891 128 0 0 25 0 1 0 971745225 159723520 30233 4294967295 134512640 135730672 3221224576 3221223232 134748670 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38995 30233 301 301 0 38694 0
vsize: 155980
[startup+560.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 50397 0 0 0 55891 128 0 0 25 0 1 0 971745225 159723520 30258 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38995 30258 301 301 0 38694 0
vsize: 155980
[startup+570.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 50473 0 0 0 56891 129 0 0 25 0 1 0 971745225 159985664 30268 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39059 30268 301 301 0 38758 0
vsize: 156236
[startup+580.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 50477 0 0 0 57890 129 0 0 25 0 1 0 971745225 159985664 30272 4294967295 134512640 135730672 3221224576 3221223264 134748499 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39059 30272 301 301 0 38758 0
vsize: 156236
[startup+590.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 50550 0 0 0 58890 130 0 0 25 0 1 0 971745225 160251904 30312 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39124 30312 301 301 0 38823 0
vsize: 156496
[startup+600.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 50594 0 0 0 59890 130 0 0 25 0 1 0 971745225 160382976 30323 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39156 30323 301 301 0 38855 0
vsize: 156624
[startup+610.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 50644 0 0 0 60890 130 0 0 25 0 1 0 971745225 160649216 30373 4294967295 134512640 135730672 3221224576 3221223072 134747486 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39221 30373 301 301 0 38920 0
vsize: 156884
[startup+620.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 50657 0 0 0 61890 131 0 0 25 0 1 0 971745225 160649216 30386 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39221 30386 301 301 0 38920 0
vsize: 156884
[startup+630.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 50710 0 0 0 62890 131 0 0 25 0 1 0 971745225 160915456 30439 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39286 30439 301 301 0 38985 0
vsize: 157144
[startup+640.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 50716 0 0 0 63890 131 0 0 25 0 1 0 971745225 160915456 30445 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39286 30445 301 301 0 38985 0
vsize: 157144
[startup+650.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 50720 0 0 0 64890 132 0 0 25 0 1 0 971745225 160915456 30449 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39286 30449 301 301 0 38985 0
vsize: 157144
[startup+660.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 50727 0 0 0 65890 132 0 0 25 0 1 0 971745225 160915456 30456 4294967295 134512640 135730672 3221224576 3221223072 134747627 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39286 30456 301 301 0 38985 0
vsize: 157144
[startup+670.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 50784 0 0 0 66890 133 0 0 25 0 1 0 971745225 161185792 30513 4294967295 134512640 135730672 3221224576 3221223264 134748557 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39352 30513 301 301 0 39051 0
vsize: 157408
[startup+680.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 50830 0 0 0 67890 133 0 0 25 0 1 0 971745225 161316864 30526 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39384 30526 301 301 0 39083 0
vsize: 157536
[startup+690.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 50834 0 0 0 68890 134 0 0 25 0 1 0 971745225 161316864 30530 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39384 30530 301 301 0 39083 0
vsize: 157536
[startup+700.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 50840 0 0 0 69889 134 0 0 25 0 1 0 971745225 161316864 30536 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39384 30536 301 301 0 39083 0
vsize: 157536
[startup+710.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 50844 0 0 0 70889 134 0 0 25 0 1 0 971745225 161316864 30540 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39384 30540 301 301 0 39083 0
vsize: 157536
[startup+720.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 50850 0 0 0 71889 135 0 0 25 0 1 0 971745225 161316864 30546 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39384 30546 301 301 0 39083 0
vsize: 157536
[startup+730.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 50865 0 0 0 72889 135 0 0 25 0 1 0 971745225 161316864 30561 4294967295 134512640 135730672 3221224576 3221223120 134740307 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39384 30561 301 301 0 39083 0
vsize: 157536
[startup+740.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 50893 0 0 0 73889 136 0 0 25 0 1 0 971745225 161452032 30589 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39417 30589 301 301 0 39116 0
vsize: 157668
[startup+750.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 50990 0 0 0 74889 136 0 0 25 0 1 0 971745225 161984512 30686 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39547 30686 301 301 0 39246 0
vsize: 158188
[startup+760.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 51005 0 0 0 75889 137 0 0 25 0 1 0 971745225 161984512 30701 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39547 30701 301 301 0 39246 0
vsize: 158188
[startup+770.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 51035 0 0 0 76889 137 0 0 25 0 1 0 971745225 162119680 30731 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39580 30731 301 301 0 39279 0
vsize: 158320
[startup+780.028 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 51049 0 0 0 77888 138 0 0 25 0 1 0 971745225 162119680 30745 4294967295 134512640 135730672 3221224576 3221223072 134747575 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39580 30745 301 301 0 39279 0
vsize: 158320
[startup+790.028 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 51054 0 0 0 78888 138 0 0 25 0 1 0 971745225 162119680 30750 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39580 30750 301 301 0 39279 0
vsize: 158320
[startup+800.027 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 51067 0 0 0 79887 139 0 0 25 0 1 0 971745225 162119680 30763 4294967295 134512640 135730672 3221224576 3221223264 134748499 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39580 30763 301 301 0 39279 0
vsize: 158320
[startup+810.026 s]
Raw data (loadavg): 1.11 1.00 0.92 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 51072 0 0 0 80888 139 0 0 25 0 1 0 971745225 162119680 30768 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39580 30768 301 301 0 39279 0
vsize: 158320
[startup+820.027 s]
Raw data (loadavg): 1.10 1.00 0.92 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 51133 0 0 0 81887 140 0 0 25 0 1 0 971745225 162250752 30796 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39612 30796 301 301 0 39311 0
vsize: 158448
[startup+830.028 s]
Raw data (loadavg): 1.08 1.00 0.92 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 51139 0 0 0 82888 140 0 0 25 0 1 0 971745225 162250752 30802 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39612 30802 301 301 0 39311 0
vsize: 158448
[startup+840.027 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 51208 0 0 0 83888 140 0 0 25 0 1 0 971745225 162381824 30838 4294967295 134512640 135730672 3221224576 3221223200 134748145 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39644 30838 301 301 0 39343 0
vsize: 158576
[startup+850.027 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 51213 0 0 0 84887 141 0 0 25 0 1 0 971745225 162381824 30843 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39644 30843 301 301 0 39343 0
vsize: 158576
[startup+860.027 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 51220 0 0 0 85887 141 0 0 25 0 1 0 971745225 162381824 30850 4294967295 134512640 135730672 3221224576 3221223072 134747483 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39644 30850 301 301 0 39343 0
vsize: 158576
[startup+870.027 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 51224 0 0 0 86887 142 0 0 25 0 1 0 971745225 162381824 30854 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39644 30854 301 301 0 39343 0
vsize: 158576
[startup+880.026 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 51230 0 0 0 87887 142 0 0 25 0 1 0 971745225 162381824 30860 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39644 30860 301 301 0 39343 0
vsize: 158576
[startup+890.026 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 51238 0 0 0 88887 143 0 0 25 0 1 0 971745225 162381824 30868 4294967295 134512640 135730672 3221224576 3221223072 134747616 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39644 30868 301 301 0 39343 0
vsize: 158576
[startup+900.026 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 51247 0 0 0 89887 143 0 0 25 0 1 0 971745225 162381824 30877 4294967295 134512640 135730672 3221224576 3221223072 134747705 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39644 30877 301 301 0 39343 0
vsize: 158576
[startup+910.025 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 51254 0 0 0 90887 143 0 0 25 0 1 0 971745225 162381824 30884 4294967295 134512640 135730672 3221224576 3221223072 134747616 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39644 30884 301 301 0 39343 0
vsize: 158576
[startup+920.026 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 51301 0 0 0 91887 143 0 0 25 0 1 0 971745225 162652160 30931 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39710 30931 301 301 0 39409 0
vsize: 158840
[startup+930.026 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 51306 0 0 0 92887 144 0 0 25 0 1 0 971745225 162652160 30936 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39710 30936 301 301 0 39409 0
vsize: 158840
[startup+940.025 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 51327 0 0 0 93887 144 0 0 25 0 1 0 971745225 162787328 30957 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39743 30957 301 301 0 39442 0
vsize: 158972
[startup+950.025 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 51334 0 0 0 94887 144 0 0 25 0 1 0 971745225 162787328 30964 4294967295 134512640 135730672 3221224576 3221223072 134747657 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39743 30964 301 301 0 39442 0
vsize: 158972
[startup+960.025 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 51343 0 0 0 95887 145 0 0 25 0 1 0 971745225 162787328 30973 4294967295 134512640 135730672 3221224576 3221223072 134747602 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39743 30973 301 301 0 39442 0
vsize: 158972
[startup+970.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 51345 0 0 0 96887 145 0 0 25 0 1 0 971745225 162787328 30975 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39743 30975 301 301 0 39442 0
vsize: 158972
[startup+980.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 51351 0 0 0 97887 145 0 0 25 0 1 0 971745225 162787328 30981 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39743 30981 301 301 0 39442 0
vsize: 158972
[startup+990.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 51357 0 0 0 98887 146 0 0 25 0 1 0 971745225 162787328 30987 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39743 30987 301 301 0 39442 0
vsize: 158972
[startup+1000.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 51362 0 0 0 99887 146 0 0 25 0 1 0 971745225 162787328 30992 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39743 30992 301 301 0 39442 0
vsize: 158972
[startup+1010.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 51366 0 0 0 100886 147 0 0 25 0 1 0 971745225 162787328 30996 4294967295 134512640 135730672 3221224576 3221223072 134747953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39743 30996 301 301 0 39442 0
vsize: 158972
[startup+1020.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 51371 0 0 0 101886 147 0 0 25 0 1 0 971745225 162787328 31001 4294967295 134512640 135730672 3221224576 3221223072 134747570 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39743 31001 301 301 0 39442 0
vsize: 158972
[startup+1030.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 51375 0 0 0 102886 148 0 0 25 0 1 0 971745225 162787328 31005 4294967295 134512640 135730672 3221224576 3221223168 134764020 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39743 31005 301 301 0 39442 0
vsize: 158972
[startup+1040.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 51392 0 0 0 103886 148 0 0 25 0 1 0 971745225 162787328 31022 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39743 31022 301 301 0 39442 0
vsize: 158972
[startup+1050.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 51415 0 0 0 104886 148 0 0 25 0 1 0 971745225 162922496 31045 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39776 31045 301 301 0 39475 0
vsize: 159104
[startup+1060.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 51418 0 0 0 105886 149 0 0 25 0 1 0 971745225 162922496 31048 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39776 31048 301 301 0 39475 0
vsize: 159104
[startup+1070.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 51422 0 0 0 106886 150 0 0 25 0 1 0 971745225 162922496 31052 4294967295 134512640 135730672 3221224576 3221223072 134747902 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39776 31052 301 301 0 39475 0
vsize: 159104
[startup+1080.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 51427 0 0 0 107886 150 0 0 25 0 1 0 971745225 162922496 31057 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39776 31057 301 301 0 39475 0
vsize: 159104
[startup+1090.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 51431 0 0 0 108886 150 0 0 25 0 1 0 971745225 162922496 31061 4294967295 134512640 135730672 3221224576 3221222824 135284491 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39776 31061 301 301 0 39475 0
vsize: 159104
[startup+1100.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 51436 0 0 0 109886 151 0 0 25 0 1 0 971745225 162922496 31066 4294967295 134512640 135730672 3221224576 3221223168 134747445 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39776 31066 301 301 0 39475 0
vsize: 159104
[startup+1110.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 51441 0 0 0 110886 151 0 0 25 0 1 0 971745225 162922496 31071 4294967295 134512640 135730672 3221224576 3221223200 134748166 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39776 31071 301 301 0 39475 0
vsize: 159104
[startup+1120.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 51449 0 0 0 111885 152 0 0 25 0 1 0 971745225 162922496 31079 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39776 31079 301 301 0 39475 0
vsize: 159104
[startup+1130.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 51476 0 0 0 112885 152 0 0 25 0 1 0 971745225 163057664 31106 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39809 31106 301 301 0 39508 0
vsize: 159236
[startup+1140.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 51523 0 0 0 113885 152 0 0 25 0 1 0 971745225 163188736 31120 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39841 31120 301 301 0 39540 0
vsize: 159364
[startup+1150.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 51528 0 0 0 114886 152 0 0 25 0 1 0 971745225 163188736 31125 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39841 31125 301 301 0 39540 0
vsize: 159364
[startup+1160.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 51536 0 0 0 115886 152 0 0 25 0 1 0 971745225 163188736 31133 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39841 31133 301 301 0 39540 0
vsize: 159364
[startup+1170.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 51543 0 0 0 116886 153 0 0 25 0 1 0 971745225 163188736 31140 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39841 31140 301 301 0 39540 0
vsize: 159364
[startup+1180.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 51550 0 0 0 117886 153 0 0 25 0 1 0 971745225 163188736 31147 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39841 31147 301 301 0 39540 0
vsize: 159364
[startup+1190.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 51556 0 0 0 118886 154 0 0 25 0 1 0 971745225 163188736 31153 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39841 31153 301 301 0 39540 0
vsize: 159364
[startup+1200.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22761
Raw data (stat): 22761 (pb2sat-v2) R 22760 25568 25567 0 -1 0 51566 0 0 0 119886 154 0 0 25 0 1 0 971745225 163188736 31163 4294967295 134512640 135730672 3221224576 3221223072 134747808 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39841 31163 301 301 0 39540 0
vsize: 159364
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.66 s]
Raw data (loadavg): 1.00 1.00 0.92 1/54 22761
Raw data (stat): 22761 (pb2sat-v2) Z 22760 25568 25567 0 -1 12 51568 0 0 0 119943 160 0 0 25 0 1 0 971745225 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.66
CPU time (s): 1201.04
CPU user time (s): 1199.43
CPU system time (s): 1.60576
CPU usage (%): 100.032
Max. virtual memory (Kb): 159364
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####