PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-NSR8K.opb
MD5SUM	4969ff20db6e3c380ff3de77937a8672
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	221520
Biggest coefficient in the objective function	536870912000000000000
Number of bits for the biggest coefficient in the objective function	69
Sum of the numbers in the objective function	34400198927214220148736
Number of bits of the sum of numbers in the objective function	75
Biggest number in a constraint	536870912000000000000
Number of bits of the biggest number in a constraint	69
Biggest sum of numbers in a constraint	34400301327214220148736
Number of bits of the biggest sum of numbers	75
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	2.17367
Number of variables	221520
Total number of constraints	38324
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	32041
Number of constraints which are nor clauses,nor cardinality constraints	6283
Minimum length of a constraint	1
Maximum length of a constraint	221520
Trace number 42668

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-16 13:21:56 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25866 boxname=wulflinc5 idbench=1166 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  4969ff20db6e3c380ff3de77937a8672  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-NSR8K.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-NSR8K.opb
IDLAUNCH: 25866
/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:        668700 kB
Buffers:         20816 kB
Cached:         321512 kB
SwapCached:        664 kB
Active:          47484 kB
Inactive:       296944 kB
HighTotal:      131008 kB
HighFree:          280 kB
LowTotal:       903652 kB
LowFree:        668420 kB
SwapTotal:     2097136 kB
SwapFree:      2095532 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5156 kB
Slab:            15912 kB
Committed_AS:    63712 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 13:42:00 (client local time) WITH STATUS 0 IN 1201.23 SECONDS
stats: 25866 7 1201.23 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
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.92 0.94 0.90 1/54 14968
Raw data (stat): 14968 (runsolver) R 14967 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 971085784 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+9.99983 s]
Raw data (loadavg): 0.93 0.95 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 1949 0 0 0 994 5 0 0 25 0 1 0 971085784 7417856 1279 4294967295 134512640 135730672 3221224576 3221221664 134561688 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 1811 1279 301 301 0 1510 0
vsize: 7244
[startup+20.0005 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 2578 0 0 0 1992 6 0 0 25 0 1 0 971085784 9039872 1897 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2207 1897 301 301 0 1906 0
vsize: 8828
[startup+30.0003 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 3826 0 0 0 2990 9 0 0 25 0 1 0 971085784 13414400 2432 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3275 2432 301 301 0 2974 0
vsize: 13100
[startup+40.001 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 4036 0 0 0 3989 10 0 0 25 0 1 0 971085784 13819904 2637 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3374 2637 301 301 0 3073 0
vsize: 13496
[startup+50.0018 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 4302 0 0 0 4989 11 0 0 25 0 1 0 971085784 14495744 2899 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3539 2899 301 301 0 3238 0
vsize: 14156
[startup+60.0015 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 4534 0 0 0 5987 12 0 0 25 0 1 0 971085784 15171584 3127 4294967295 134512640 135730672 3221224576 3221221664 134561664 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3704 3127 301 301 0 3403 0
vsize: 14816
[startup+70.0023 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 4745 0 0 0 6987 13 0 0 25 0 1 0 971085784 15712256 3335 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3836 3335 301 301 0 3535 0
vsize: 15344
[startup+80.0031 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 4944 0 0 0 7986 14 0 0 25 0 1 0 971085784 16252928 3530 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3968 3530 301 301 0 3667 0
vsize: 15872
[startup+90.0039 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 5130 0 0 0 8985 15 0 0 25 0 1 0 971085784 16793600 3713 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4100 3713 301 301 0 3799 0
vsize: 16400
[startup+100.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 5309 0 0 0 9985 16 0 0 25 0 1 0 971085784 17199104 3889 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4199 3889 301 301 0 3898 0
vsize: 16796
[startup+110.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 5476 0 0 0 10985 16 0 0 25 0 1 0 971085784 17604608 4054 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4298 4054 301 301 0 3997 0
vsize: 17192
[startup+120.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 7483 0 0 0 11980 21 0 0 25 0 1 0 971085784 25407488 4648 4294967295 134512640 135730672 3221224576 3221221728 134610549 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6203 4648 301 301 0 5902 0
vsize: 24812
[startup+130.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 7539 0 0 0 12980 21 0 0 25 0 1 0 971085784 25407488 4702 4294967295 134512640 135730672 3221224576 3221221696 134577201 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6203 4702 301 301 0 5902 0
vsize: 24812
[startup+140.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 7593 0 0 0 13980 22 0 0 25 0 1 0 971085784 25407488 4753 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6203 4753 301 301 0 5902 0
vsize: 24812
[startup+150.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 7671 0 0 0 14980 22 0 0 25 0 1 0 971085784 25407488 4829 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6203 4829 301 301 0 5902 0
vsize: 24812
[startup+160.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 7720 0 0 0 15979 22 0 0 25 0 1 0 971085784 25407488 4876 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6203 4876 301 301 0 5902 0
vsize: 24812
[startup+170.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 7837 0 0 0 16977 23 0 0 25 0 1 0 971085784 25812992 4990 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6302 4990 301 301 0 6001 0
vsize: 25208
[startup+180.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 7968 0 0 0 17977 24 0 0 25 0 1 0 971085784 26083328 5119 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6368 5119 301 301 0 6067 0
vsize: 25472
[startup+190.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 8097 0 0 0 18977 24 0 0 25 0 1 0 971085784 26488832 5246 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6467 5246 301 301 0 6166 0
vsize: 25868
[startup+200.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 8222 0 0 0 19977 24 0 0 25 0 1 0 971085784 26759168 5369 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6533 5369 301 301 0 6232 0
vsize: 26132
[startup+210.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 8343 0 0 0 20976 25 0 0 25 0 1 0 971085784 27029504 5488 4294967295 134512640 135730672 3221224576 3221221664 134561683 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6599 5488 301 301 0 6298 0
vsize: 26396
[startup+220.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 8463 0 0 0 21976 25 0 0 25 0 1 0 971085784 27435008 5606 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6698 5606 301 301 0 6397 0
vsize: 26792
[startup+230.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 8580 0 0 0 22976 25 0 0 25 0 1 0 971085784 27705344 5721 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6764 5721 301 301 0 6463 0
vsize: 27056
[startup+240.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 8693 0 0 0 23976 26 0 0 25 0 1 0 971085784 27975680 5833 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6830 5833 301 301 0 6529 0
vsize: 27320
[startup+250.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 8806 0 0 0 24975 26 0 0 25 0 1 0 971085784 28381184 5944 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6929 5944 301 301 0 6628 0
vsize: 27716
[startup+260.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 8916 0 0 0 25975 26 0 0 25 0 1 0 971085784 28651520 6052 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6995 6052 301 301 0 6694 0
vsize: 27980
[startup+270.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 9025 0 0 0 26975 27 0 0 25 0 1 0 971085784 28921856 6159 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7061 6159 301 301 0 6760 0
vsize: 28244
[startup+280.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 9130 0 0 0 27974 28 0 0 25 0 1 0 971085784 29192192 6263 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7127 6263 301 301 0 6826 0
vsize: 28508
[startup+290.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 9233 0 0 0 28973 28 0 0 25 0 1 0 971085784 29462528 6364 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7193 6364 301 301 0 6892 0
vsize: 28772
[startup+300.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 9337 0 0 0 29973 28 0 0 25 0 1 0 971085784 29732864 6466 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7259 6466 301 301 0 6958 0
vsize: 29036
[startup+310.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 9437 0 0 0 30973 28 0 0 25 0 1 0 971085784 30003200 6565 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7325 6565 301 301 0 7024 0
vsize: 29300
[startup+320.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 9538 0 0 0 31973 28 0 0 25 0 1 0 971085784 30273536 6664 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7391 6664 301 301 0 7090 0
vsize: 29564
[startup+330.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 9637 0 0 0 32973 29 0 0 25 0 1 0 971085784 30543872 6761 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7457 6761 301 301 0 7156 0
vsize: 29828
[startup+340.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 9732 0 0 0 33973 29 0 0 25 0 1 0 971085784 30814208 6855 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7523 6855 301 301 0 7222 0
vsize: 30092
[startup+350.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 9827 0 0 0 34972 29 0 0 25 0 1 0 971085784 30949376 6948 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7556 6948 301 301 0 7255 0
vsize: 30224
[startup+360.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 9919 0 0 0 35971 30 0 0 25 0 1 0 971085784 31219712 7039 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7622 7039 301 301 0 7321 0
vsize: 30488
[startup+370.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 10013 0 0 0 36972 30 0 0 25 0 1 0 971085784 31490048 7131 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7688 7131 301 301 0 7387 0
vsize: 30752
[startup+380.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 10104 0 0 0 37972 30 0 0 25 0 1 0 971085784 31760384 7221 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7754 7221 301 301 0 7453 0
vsize: 31016
[startup+390.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 10196 0 0 0 38972 30 0 0 25 0 1 0 971085784 32030720 7311 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7820 7311 301 301 0 7519 0
vsize: 31280
[startup+400.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 10284 0 0 0 39971 31 0 0 25 0 1 0 971085784 32165888 7398 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7853 7398 301 301 0 7552 0
vsize: 31412
[startup+410.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 10372 0 0 0 40970 31 0 0 25 0 1 0 971085784 32436224 7485 4294967295 134512640 135730672 3221224576 3221221664 134561688 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7919 7485 301 301 0 7618 0
vsize: 31676
[startup+420.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 10460 0 0 0 41970 32 0 0 25 0 1 0 971085784 32706560 7571 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7985 7571 301 301 0 7684 0
vsize: 31940
[startup+430.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 10546 0 0 0 42970 32 0 0 25 0 1 0 971085784 32976896 7656 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8051 7656 301 301 0 7750 0
vsize: 32204
[startup+440.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 10632 0 0 0 43970 32 0 0 25 0 1 0 971085784 33112064 7740 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8084 7740 301 301 0 7783 0
vsize: 32336
[startup+450.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 10717 0 0 0 44970 33 0 0 25 0 1 0 971085784 33382400 7824 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8150 7824 301 301 0 7849 0
vsize: 32600
[startup+460.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 10800 0 0 0 45969 33 0 0 25 0 1 0 971085784 33517568 7906 4294967295 134512640 135730672 3221224576 3221221664 134561688 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8183 7906 301 301 0 7882 0
vsize: 32732
[startup+470.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 10882 0 0 0 46968 34 0 0 25 0 1 0 971085784 33787904 7986 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8249 7986 301 301 0 7948 0
vsize: 32996
[startup+480.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 11423 0 0 0 47967 35 0 0 25 0 1 0 971085784 52428800 8508 4294967295 134512640 135730672 3221224576 3221220920 135285983 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12800 8511 301 301 0 12499 0
vsize: 51200
[startup+490.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 14831 0 0 0 48962 40 0 0 25 0 1 0 971085784 49258496 9115 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9115 301 301 0 11725 0
vsize: 48104
[startup+500.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 14860 0 0 0 49962 40 0 0 25 0 1 0 971085784 49258496 9143 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9143 301 301 0 11725 0
vsize: 48104
[startup+510.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 14889 0 0 0 50962 40 0 0 25 0 1 0 971085784 49258496 9170 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9170 301 301 0 11725 0
vsize: 48104
[startup+520.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 14917 0 0 0 51962 40 0 0 25 0 1 0 971085784 49258496 9197 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9197 301 301 0 11725 0
vsize: 48104
[startup+530.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 14944 0 0 0 52961 41 0 0 25 0 1 0 971085784 49258496 9223 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9223 301 301 0 11725 0
vsize: 48104
[startup+540.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 14972 0 0 0 53961 41 0 0 25 0 1 0 971085784 49258496 9249 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9249 301 301 0 11725 0
vsize: 48104
[startup+550.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 14999 0 0 0 54962 41 0 0 25 0 1 0 971085784 49258496 9275 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9275 301 301 0 11725 0
vsize: 48104
[startup+560.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 15026 0 0 0 55962 41 0 0 25 0 1 0 971085784 49258496 9301 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9301 301 301 0 11725 0
vsize: 48104
[startup+570.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 15053 0 0 0 56962 41 0 0 25 0 1 0 971085784 49258496 9327 4294967295 134512640 135730672 3221224576 3221221664 134561683 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9327 301 301 0 11725 0
vsize: 48104
[startup+580.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 15078 0 0 0 57962 41 0 0 25 0 1 0 971085784 49258496 9351 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9351 301 301 0 11725 0
vsize: 48104
[startup+590.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 15105 0 0 0 58961 41 0 0 25 0 1 0 971085784 49258496 9376 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9376 301 301 0 11725 0
vsize: 48104
[startup+600.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 15131 0 0 0 59961 42 0 0 25 0 1 0 971085784 49258496 9401 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9401 301 301 0 11725 0
vsize: 48104
[startup+610.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 15156 0 0 0 60961 42 0 0 25 0 1 0 971085784 49258496 9425 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9425 301 301 0 11725 0
vsize: 48104
[startup+620.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 15208 0 0 0 61961 42 0 0 25 0 1 0 971085784 49258496 9476 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9476 301 301 0 11725 0
vsize: 48104
[startup+630.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 15233 0 0 0 62960 43 0 0 25 0 1 0 971085784 49258496 9500 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9500 301 301 0 11725 0
vsize: 48104
[startup+640.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 15257 0 0 0 63960 43 0 0 25 0 1 0 971085784 49258496 9523 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9523 301 301 0 11725 0
vsize: 48104
[startup+650.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 15282 0 0 0 64960 43 0 0 25 0 1 0 971085784 49258496 9547 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9547 301 301 0 11725 0
vsize: 48104
[startup+660.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 15307 0 0 0 65960 44 0 0 25 0 1 0 971085784 49258496 9570 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9570 301 301 0 11725 0
vsize: 48104
[startup+670.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 15331 0 0 0 66959 44 0 0 25 0 1 0 971085784 49258496 9593 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9593 301 301 0 11725 0
vsize: 48104
[startup+680.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 15388 0 0 0 67959 44 0 0 25 0 1 0 971085784 49393664 9649 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12059 9649 301 301 0 11758 0
vsize: 48236
[startup+690.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 15455 0 0 0 68959 45 0 0 25 0 1 0 971085784 49664000 9715 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12125 9715 301 301 0 11824 0
vsize: 48500
[startup+700.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 15523 0 0 0 69959 45 0 0 25 0 1 0 971085784 49799168 9782 4294967295 134512640 135730672 3221224576 3221221664 134561664 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12158 9782 301 301 0 11857 0
vsize: 48632
[startup+710.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 15589 0 0 0 70958 46 0 0 25 0 1 0 971085784 49934336 9847 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12191 9847 301 301 0 11890 0
vsize: 48764
[startup+720.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 15655 0 0 0 71958 46 0 0 25 0 1 0 971085784 50204672 9912 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12257 9912 301 301 0 11956 0
vsize: 49028
[startup+730.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 15722 0 0 0 72958 47 0 0 25 0 1 0 971085784 50339840 9978 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12290 9978 301 301 0 11989 0
vsize: 49160
[startup+740.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 15788 0 0 0 73957 47 0 0 25 0 1 0 971085784 50475008 10043 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12323 10043 301 301 0 12022 0
vsize: 49292
[startup+750.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 15852 0 0 0 74957 47 0 0 25 0 1 0 971085784 50745344 10106 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12389 10106 301 301 0 12088 0
vsize: 49556
[startup+760.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 15917 0 0 0 75957 48 0 0 25 0 1 0 971085784 50880512 10170 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12422 10170 301 301 0 12121 0
vsize: 49688
[startup+770.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 15981 0 0 0 76956 49 0 0 25 0 1 0 971085784 51015680 10233 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12455 10233 301 301 0 12154 0
vsize: 49820
[startup+780.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 16044 0 0 0 77955 50 0 0 25 0 1 0 971085784 51150848 10295 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12488 10295 301 301 0 12187 0
vsize: 49952
[startup+790.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 16108 0 0 0 78954 50 0 0 25 0 1 0 971085784 51421184 10358 4294967295 134512640 135730672 3221224576 3221221504 134540799 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12554 10358 301 301 0 12253 0
vsize: 50216
[startup+800.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 16171 0 0 0 79954 51 0 0 25 0 1 0 971085784 51556352 10420 4294967295 134512640 135730672 3221224576 3221221664 134561683 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12587 10420 301 301 0 12286 0
vsize: 50348
[startup+810.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 16234 0 0 0 80953 52 0 0 25 0 1 0 971085784 51691520 10482 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12620 10482 301 301 0 12319 0
vsize: 50480
[startup+820.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 16297 0 0 0 81953 52 0 0 25 0 1 0 971085784 51826688 10544 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12653 10544 301 301 0 12352 0
vsize: 50612
[startup+830.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 16359 0 0 0 82952 53 0 0 25 0 1 0 971085784 51961856 10605 4294967295 134512640 135730672 3221224576 3221221664 134561664 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12686 10605 301 301 0 12385 0
vsize: 50744
[startup+840.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 16419 0 0 0 83952 53 0 0 25 0 1 0 971085784 52232192 10664 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12752 10664 301 301 0 12451 0
vsize: 51008
[startup+850.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 16481 0 0 0 84952 54 0 0 25 0 1 0 971085784 52367360 10725 4294967295 134512640 135730672 3221224576 3221221888 134568922 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12785 10725 301 301 0 12484 0
vsize: 51140
[startup+860.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 16541 0 0 0 85952 54 0 0 25 0 1 0 971085784 52502528 10784 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12818 10784 301 301 0 12517 0
vsize: 51272
[startup+870.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 16602 0 0 0 86952 54 0 0 25 0 1 0 971085784 52637696 10844 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12851 10844 301 301 0 12550 0
vsize: 51404
[startup+880.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 16663 0 0 0 87951 55 0 0 25 0 1 0 971085784 52772864 10904 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12884 10904 301 301 0 12583 0
vsize: 51536
[startup+890.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 16723 0 0 0 88950 55 0 0 25 0 1 0 971085784 53043200 10963 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12950 10963 301 301 0 12649 0
vsize: 51800
[startup+900.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 16782 0 0 0 89950 56 0 0 25 0 1 0 971085784 53178368 11021 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12983 11021 301 301 0 12682 0
vsize: 51932
[startup+910.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 16842 0 0 0 90949 56 0 0 25 0 1 0 971085784 53313536 11080 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13016 11080 301 301 0 12715 0
vsize: 52064
[startup+920.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 16900 0 0 0 91949 57 0 0 25 0 1 0 971085784 53448704 11137 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13049 11137 301 301 0 12748 0
vsize: 52196
[startup+930.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 16959 0 0 0 92949 57 0 0 25 0 1 0 971085784 53583872 11195 4294967295 134512640 135730672 3221224576 3221221664 134561691 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13082 11195 301 301 0 12781 0
vsize: 52328
[startup+940.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 17018 0 0 0 93948 58 0 0 25 0 1 0 971085784 53719040 11253 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13115 11253 301 301 0 12814 0
vsize: 52460
[startup+950.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 17076 0 0 0 94948 58 0 0 25 0 1 0 971085784 53854208 11310 4294967295 134512640 135730672 3221224576 3221221664 134561675 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13148 11310 301 301 0 12847 0
vsize: 52592
[startup+960.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 17132 0 0 0 95947 59 0 0 25 0 1 0 971085784 54124544 11365 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13214 11365 301 301 0 12913 0
vsize: 52856
[startup+970.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 17190 0 0 0 96947 59 0 0 25 0 1 0 971085784 54259712 11422 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13247 11422 301 301 0 12946 0
vsize: 52988
[startup+980.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 17248 0 0 0 97947 60 0 0 25 0 1 0 971085784 54394880 11479 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13280 11479 301 301 0 12979 0
vsize: 53120
[startup+990.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 17305 0 0 0 98947 60 0 0 25 0 1 0 971085784 54530048 11535 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13313 11535 301 301 0 13012 0
vsize: 53252
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 17361 0 0 0 99946 61 0 0 25 0 1 0 971085784 54665216 11590 4294967295 134512640 135730672 3221224576 3221221664 134561688 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13346 11590 301 301 0 13045 0
vsize: 53384
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 17417 0 0 0 100946 61 0 0 25 0 1 0 971085784 54800384 11645 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13379 11645 301 301 0 13078 0
vsize: 53516
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 17473 0 0 0 101946 61 0 0 25 0 1 0 971085784 54935552 11701 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13412 11701 301 301 0 13111 0
vsize: 53648
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 17528 0 0 0 102945 61 0 0 25 0 1 0 971085784 55070720 11755 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13445 11755 301 301 0 13144 0
vsize: 53780
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 17584 0 0 0 103945 62 0 0 25 0 1 0 971085784 55205888 11810 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13478 11810 301 301 0 13177 0
vsize: 53912
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 17639 0 0 0 104945 62 0 0 25 0 1 0 971085784 55341056 11864 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13511 11864 301 301 0 13210 0
vsize: 54044
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 17694 0 0 0 105944 63 0 0 25 0 1 0 971085784 55611392 11918 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13577 11918 301 301 0 13276 0
vsize: 54308
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 17749 0 0 0 106944 64 0 0 25 0 1 0 971085784 55746560 11972 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13610 11972 301 301 0 13309 0
vsize: 54440
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 17804 0 0 0 107943 64 0 0 25 0 1 0 971085784 55881728 12026 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13643 12026 301 301 0 13342 0
vsize: 54572
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 17858 0 0 0 108943 64 0 0 25 0 1 0 971085784 56016896 12079 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13676 12079 301 301 0 13375 0
vsize: 54704
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 17912 0 0 0 109943 65 0 0 25 0 1 0 971085784 56152064 12132 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13709 12132 301 301 0 13408 0
vsize: 54836
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 17965 0 0 0 110942 65 0 0 25 0 1 0 971085784 56287232 12185 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13742 12185 301 301 0 13441 0
vsize: 54968
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 18019 0 0 0 111941 66 0 0 25 0 1 0 971085784 56422400 12238 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13775 12238 301 301 0 13474 0
vsize: 55100
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 18072 0 0 0 112941 66 0 0 25 0 1 0 971085784 56557568 12290 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13808 12290 301 301 0 13507 0
vsize: 55232
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 18124 0 0 0 113941 67 0 0 25 0 1 0 971085784 56692736 12341 4294967295 134512640 135730672 3221224576 3221221632 134854973 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13841 12341 301 301 0 13540 0
vsize: 55364
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 18178 0 0 0 114940 67 0 0 25 0 1 0 971085784 56827904 12394 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13874 12394 301 301 0 13573 0
vsize: 55496
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 18230 0 0 0 115940 68 0 0 25 0 1 0 971085784 56963072 12445 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13907 12445 301 301 0 13606 0
vsize: 55628
[startup+1170.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 18284 0 0 0 116940 68 0 0 25 0 1 0 971085784 57098240 12498 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13940 12498 301 301 0 13639 0
vsize: 55760
[startup+1180.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 18334 0 0 0 117939 68 0 0 25 0 1 0 971085784 57233408 12548 4294967295 134512640 135730672 3221224576 3221221664 134561688 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13973 12548 301 301 0 13672 0
vsize: 55892
[startup+1190.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 18386 0 0 0 118939 69 0 0 25 0 1 0 971085784 57368576 12599 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14006 12599 301 301 0 13705 0
vsize: 56024
[startup+1200.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14968
Raw data (stat): 14968 (pb2sat-v2) R 14967 7266 7265 0 -1 0 18438 0 0 0 119939 69 0 0 25 0 1 0 971085784 57503744 12650 4294967295 134512640 135730672 3221224576 3221221664 134561675 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14039 12650 301 301 0 13738 0
vsize: 56156
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1201.2 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 14968
Raw data (stat): 14968 (pb2sat-v2) Z 14967 7266 7265 0 -1 12 18442 0 0 0 120051 71 0 0 25 0 1 0 971085784 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): 1201.2
CPU time (s): 1201.23
CPU user time (s): 1200.51
CPU system time (s): 0.71889
CPU usage (%): 100.002
Max. virtual memory (Kb): 56156
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####