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/plato.asu.edu/pub/lptestset/fome/normalized-mps-v2-13-7-fome12.opb
MD5SUM	f7d293075cf169ad75cd0116c61aa297
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	498856
Biggest coefficient in the objective function	2100440996511744
Number of bits for the biggest coefficient in the objective function	51
Sum of the numbers in the objective function	3448249888024611600
Number of bits of the sum of numbers in the objective function	62
Biggest number in a constraint	52428800000000000
Number of bits of the biggest number in a constraint	56
Biggest sum of numbers in a constraint	4176904799999651840
Number of bits of the biggest sum of numbers	62
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	9.27259
Number of variables	977976
Total number of constraints	24336
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	24336
Minimum length of a constraint	10
Maximum length of a constraint	4560
Trace number 42981

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-16 20:12:51 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26192 boxname=wulflinc1 idbench=1492 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  f7d293075cf169ad75cd0116c61aa297  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-fome12.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-fome12.opb
IDLAUNCH: 26192
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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.053
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:        581712 kB
Buffers:         17848 kB
Cached:         410220 kB
SwapCached:       1148 kB
Active:          93848 kB
Inactive:       336524 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        581460 kB
SwapTotal:     2097136 kB
SwapFree:      2094896 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5364 kB
Slab:            16804 kB
Committed_AS:    92720 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 20:32:56 (client local time) WITH STATUS 0 IN 1201.21 SECONDS
stats: 26192 7 1201.21 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.89 0.96 0.91 1/55 25208
Raw data (stat): 25208 (runsolver) R 25207 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 916694494 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0005 s]
Raw data (loadavg): 0.91 0.96 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 1415 0 0 0 995 4 0 0 25 0 1 0 916694494 5500928 1099 4294967295 134512640 135730672 3221224576 3221221664 134561691 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 1343 1099 301 301 0 1042 0
vsize: 5372
[startup+20.0003 s]
Raw data (loadavg): 0.92 0.96 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 2517 0 0 0 1993 5 0 0 25 0 1 0 916694494 8904704 1836 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2174 1836 301 301 0 1873 0
vsize: 8696
[startup+30.0002 s]
Raw data (loadavg): 0.93 0.96 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 3813 0 0 0 2991 8 0 0 25 0 1 0 916694494 13414400 2419 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3275 2419 301 301 0 2974 0
vsize: 13100
[startup+40.0009 s]
Raw data (loadavg): 0.94 0.96 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 4009 0 0 0 3990 9 0 0 25 0 1 0 916694494 13819904 2609 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3374 2609 301 301 0 3073 0
vsize: 13496
[startup+50.0007 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 4290 0 0 0 4989 10 0 0 25 0 1 0 916694494 14495744 2886 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3539 2886 301 301 0 3238 0
vsize: 14156
[startup+60.0008 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 4535 0 0 0 5988 11 0 0 25 0 1 0 916694494 15171584 3127 4294967295 134512640 135730672 3221224576 3221221776 134579277 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3704 3127 301 301 0 3403 0
vsize: 14816
[startup+70.0002 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 4756 0 0 0 6987 12 0 0 25 0 1 0 916694494 15712256 3344 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3836 3344 301 301 0 3535 0
vsize: 15344
[startup+80.0011 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 4956 0 0 0 7987 12 0 0 25 0 1 0 916694494 16252928 3541 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3968 3541 301 301 0 3667 0
vsize: 15872
[startup+90.0008 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 5145 0 0 0 8986 12 0 0 25 0 1 0 916694494 16793600 3727 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4100 3727 301 301 0 3799 0
vsize: 16400
[startup+100.001 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 5322 0 0 0 9986 13 0 0 25 0 1 0 916694494 17199104 3901 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4199 3901 301 301 0 3898 0
vsize: 16796
[startup+110.001 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 5488 0 0 0 10986 13 0 0 25 0 1 0 916694494 17739776 4065 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4331 4065 301 301 0 4030 0
vsize: 17324
[startup+120.002 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 7489 0 0 0 11982 17 0 0 25 0 1 0 916694494 25407488 4653 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6203 4653 301 301 0 5902 0
vsize: 24812
[startup+130.002 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 7545 0 0 0 12983 17 0 0 25 0 1 0 916694494 25407488 4706 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6203 4706 301 301 0 5902 0
vsize: 24812
[startup+140.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 7597 0 0 0 13982 17 0 0 25 0 1 0 916694494 25407488 4756 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6203 4756 301 301 0 5902 0
vsize: 24812
[startup+150.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 7676 0 0 0 14982 17 0 0 25 0 1 0 916694494 25407488 4833 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6203 4833 301 301 0 5902 0
vsize: 24812
[startup+160.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 7726 0 0 0 15982 18 0 0 25 0 1 0 916694494 25407488 4880 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6203 4880 301 301 0 5902 0
vsize: 24812
[startup+170.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 7851 0 0 0 16982 18 0 0 25 0 1 0 916694494 25812992 5003 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6302 5003 301 301 0 6001 0
vsize: 25208
[startup+180.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 7982 0 0 0 17981 18 0 0 25 0 1 0 916694494 26083328 5132 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6368 5132 301 301 0 6067 0
vsize: 25472
[startup+190.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 8110 0 0 0 18981 19 0 0 25 0 1 0 916694494 26488832 5258 4294967295 134512640 135730672 3221224576 3221221664 134561688 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6467 5258 301 301 0 6166 0
vsize: 25868
[startup+200.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 8234 0 0 0 19980 19 0 0 25 0 1 0 916694494 26759168 5380 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6533 5380 301 301 0 6232 0
vsize: 26132
[startup+210.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 8355 0 0 0 20980 20 0 0 25 0 1 0 916694494 27164672 5499 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6632 5499 301 301 0 6331 0
vsize: 26528
[startup+220.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 8473 0 0 0 21979 20 0 0 25 0 1 0 916694494 27435008 5615 4294967295 134512640 135730672 3221224576 3221221660 134854923 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6698 5615 301 301 0 6397 0
vsize: 26792
[startup+230.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 8590 0 0 0 22979 20 0 0 25 0 1 0 916694494 27705344 5730 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6764 5730 301 301 0 6463 0
vsize: 27056
[startup+240.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 8705 0 0 0 23979 20 0 0 25 0 1 0 916694494 27975680 5843 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6830 5843 301 301 0 6529 0
vsize: 27320
[startup+250.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 8817 0 0 0 24979 21 0 0 25 0 1 0 916694494 28381184 5954 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6929 5954 301 301 0 6628 0
vsize: 27716
[startup+260.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 8927 0 0 0 25979 21 0 0 25 0 1 0 916694494 28651520 6062 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6995 6062 301 301 0 6694 0
vsize: 27980
[startup+270.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 9034 0 0 0 26978 22 0 0 25 0 1 0 916694494 28921856 6167 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7061 6167 301 301 0 6760 0
vsize: 28244
[startup+280.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 9141 0 0 0 27979 22 0 0 25 0 1 0 916694494 29192192 6272 4294967295 134512640 135730672 3221224576 3221221864 134562945 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7127 6272 301 301 0 6826 0
vsize: 28508
[startup+290.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 9245 0 0 0 28978 22 0 0 25 0 1 0 916694494 29462528 6375 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7193 6375 301 301 0 6892 0
vsize: 28772
[startup+300.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 9347 0 0 0 29978 23 0 0 25 0 1 0 916694494 29732864 6475 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7259 6475 301 301 0 6958 0
vsize: 29036
[startup+310.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 9449 0 0 0 30978 23 0 0 25 0 1 0 916694494 30003200 6575 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7325 6575 301 301 0 7024 0
vsize: 29300
[startup+320.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 9547 0 0 0 31978 23 0 0 25 0 1 0 916694494 30273536 6672 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7391 6672 301 301 0 7090 0
vsize: 29564
[startup+330.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 9645 0 0 0 32977 24 0 0 25 0 1 0 916694494 30543872 6768 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7457 6768 301 301 0 7156 0
vsize: 29828
[startup+340.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 9741 0 0 0 33977 24 0 0 25 0 1 0 916694494 30814208 6863 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7523 6863 301 301 0 7222 0
vsize: 30092
[startup+350.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 9836 0 0 0 34977 24 0 0 25 0 1 0 916694494 31084544 6956 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7589 6956 301 301 0 7288 0
vsize: 30356
[startup+360.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 9930 0 0 0 35977 24 0 0 25 0 1 0 916694494 31219712 7049 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7622 7049 301 301 0 7321 0
vsize: 30488
[startup+370.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 10023 0 0 0 36977 24 0 0 25 0 1 0 916694494 31490048 7140 4294967295 134512640 135730672 3221224576 3221221664 134561664 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7688 7140 301 301 0 7387 0
vsize: 30752
[startup+380.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 10114 0 0 0 37977 25 0 0 25 0 1 0 916694494 31760384 7230 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7754 7230 301 301 0 7453 0
vsize: 31016
[startup+390.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 10204 0 0 0 38976 25 0 0 25 0 1 0 916694494 32030720 7318 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7820 7318 301 301 0 7519 0
vsize: 31280
[startup+400.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 10294 0 0 0 39976 26 0 0 25 0 1 0 916694494 32301056 7407 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7886 7407 301 301 0 7585 0
vsize: 31544
[startup+410.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 10383 0 0 0 40976 26 0 0 25 0 1 0 916694494 32436224 7494 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7919 7494 301 301 0 7618 0
vsize: 31676
[startup+420.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 10470 0 0 0 41975 27 0 0 25 0 1 0 916694494 32706560 7580 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7985 7580 301 301 0 7684 0
vsize: 31940
[startup+430.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 10555 0 0 0 42975 27 0 0 25 0 1 0 916694494 32976896 7664 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8051 7664 301 301 0 7750 0
vsize: 32204
[startup+440.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 10642 0 0 0 43975 27 0 0 25 0 1 0 916694494 33112064 7749 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8084 7749 301 301 0 7783 0
vsize: 32336
[startup+450.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 10724 0 0 0 44974 27 0 0 25 0 1 0 916694494 33382400 7830 4294967295 134512640 135730672 3221224576 3221221664 134561691 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8150 7830 301 301 0 7849 0
vsize: 32600
[startup+460.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 10806 0 0 0 45974 28 0 0 25 0 1 0 916694494 33652736 7911 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8216 7911 301 301 0 7915 0
vsize: 32864
[startup+470.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 10889 0 0 0 46972 28 0 0 25 0 1 0 916694494 33787904 7992 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8249 7992 301 301 0 7948 0
vsize: 32996
[startup+480.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 14807 0 0 0 47967 34 0 0 25 0 1 0 916694494 49258496 9091 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9091 301 301 0 11725 0
vsize: 48104
[startup+490.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 14835 0 0 0 48967 34 0 0 25 0 1 0 916694494 49258496 9118 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9118 301 301 0 11725 0
vsize: 48104
[startup+500.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 14864 0 0 0 49967 34 0 0 25 0 1 0 916694494 49258496 9145 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9145 301 301 0 11725 0
vsize: 48104
[startup+510.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 14891 0 0 0 50966 35 0 0 25 0 1 0 916694494 49258496 9171 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9171 301 301 0 11725 0
vsize: 48104
[startup+520.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 14919 0 0 0 51966 35 0 0 25 0 1 0 916694494 49258496 9198 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9198 301 301 0 11725 0
vsize: 48104
[startup+530.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 14946 0 0 0 52965 35 0 0 25 0 1 0 916694494 49258496 9224 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9224 301 301 0 11725 0
vsize: 48104
[startup+540.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 14974 0 0 0 53965 35 0 0 25 0 1 0 916694494 49258496 9250 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9250 301 301 0 11725 0
vsize: 48104
[startup+550.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 15001 0 0 0 54965 35 0 0 25 0 1 0 916694494 49258496 9276 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9276 301 301 0 11725 0
vsize: 48104
[startup+560.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 15028 0 0 0 55965 36 0 0 25 0 1 0 916694494 49258496 9302 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9302 301 301 0 11725 0
vsize: 48104
[startup+570.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 15055 0 0 0 56965 36 0 0 25 0 1 0 916694494 49258496 9328 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9328 301 301 0 11725 0
vsize: 48104
[startup+580.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 15081 0 0 0 57965 36 0 0 25 0 1 0 916694494 49258496 9353 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9353 301 301 0 11725 0
vsize: 48104
[startup+590.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 15108 0 0 0 58964 36 0 0 25 0 1 0 916694494 49258496 9378 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9378 301 301 0 11725 0
vsize: 48104
[startup+600.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 15134 0 0 0 59964 37 0 0 25 0 1 0 916694494 49258496 9403 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9403 301 301 0 11725 0
vsize: 48104
[startup+610.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 15162 0 0 0 60964 37 0 0 25 0 1 0 916694494 49258496 9430 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9430 301 301 0 11725 0
vsize: 48104
[startup+620.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 15210 0 0 0 61964 37 0 0 25 0 1 0 916694494 49258496 9477 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9477 301 301 0 11725 0
vsize: 48104
[startup+630.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 15236 0 0 0 62964 37 0 0 25 0 1 0 916694494 49258496 9502 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9502 301 301 0 11725 0
vsize: 48104
[startup+640.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 15263 0 0 0 63964 37 0 0 25 0 1 0 916694494 49258496 9527 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9527 301 301 0 11725 0
vsize: 48104
[startup+650.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 15287 0 0 0 64964 38 0 0 25 0 1 0 916694494 49258496 9550 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9550 301 301 0 11725 0
vsize: 48104
[startup+660.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 15312 0 0 0 65964 38 0 0 25 0 1 0 916694494 49258496 9574 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9574 301 301 0 11725 0
vsize: 48104
[startup+670.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 15336 0 0 0 66964 38 0 0 25 0 1 0 916694494 49258496 9597 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9597 301 301 0 11725 0
vsize: 48104
[startup+680.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 15401 0 0 0 67964 38 0 0 25 0 1 0 916694494 49528832 9661 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12092 9661 301 301 0 11791 0
vsize: 48368
[startup+690.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 15469 0 0 0 68963 38 0 0 25 0 1 0 916694494 49664000 9728 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12125 9728 301 301 0 11824 0
vsize: 48500
[startup+700.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 15535 0 0 0 69963 39 0 0 25 0 1 0 916694494 49799168 9793 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12158 9793 301 301 0 11857 0
vsize: 48632
[startup+710.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 15604 0 0 0 70963 39 0 0 25 0 1 0 916694494 50069504 9861 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12224 9861 301 301 0 11923 0
vsize: 48896
[startup+720.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 15670 0 0 0 71962 40 0 0 25 0 1 0 916694494 50204672 9926 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12257 9926 301 301 0 11956 0
vsize: 49028
[startup+730.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 15737 0 0 0 72962 40 0 0 25 0 1 0 916694494 50339840 9992 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12290 9992 301 301 0 11989 0
vsize: 49160
[startup+740.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 15805 0 0 0 73963 40 0 0 25 0 1 0 916694494 50610176 10058 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12356 10058 301 301 0 12055 0
vsize: 49424
[startup+750.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 15870 0 0 0 74962 40 0 0 25 0 1 0 916694494 50745344 10122 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12389 10122 301 301 0 12088 0
vsize: 49556
[startup+760.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 15935 0 0 0 75962 41 0 0 25 0 1 0 916694494 50880512 10186 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12422 10186 301 301 0 12121 0
vsize: 49688
[startup+770.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 15999 0 0 0 76962 41 0 0 25 0 1 0 916694494 51015680 10249 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12455 10249 301 301 0 12154 0
vsize: 49820
[startup+780.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 16064 0 0 0 77962 41 0 0 25 0 1 0 916694494 51286016 10313 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12521 10313 301 301 0 12220 0
vsize: 50084
[startup+790.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 16129 0 0 0 78962 41 0 0 25 0 1 0 916694494 51421184 10377 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12554 10377 301 301 0 12253 0
vsize: 50216
[startup+800.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 16192 0 0 0 79962 42 0 0 25 0 1 0 916694494 51556352 10439 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12587 10439 301 301 0 12286 0
vsize: 50348
[startup+810.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 16255 0 0 0 80961 42 0 0 25 0 1 0 916694494 51691520 10501 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12620 10501 301 301 0 12319 0
vsize: 50480
[startup+820.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 16317 0 0 0 81961 43 0 0 25 0 1 0 916694494 51961856 10562 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12686 10562 301 301 0 12385 0
vsize: 50744
[startup+830.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 16380 0 0 0 82960 43 0 0 25 0 1 0 916694494 52097024 10624 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12719 10624 301 301 0 12418 0
vsize: 50876
[startup+840.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 16443 0 0 0 83960 43 0 0 25 0 1 0 916694494 52232192 10686 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12752 10686 301 301 0 12451 0
vsize: 51008
[startup+850.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 16504 0 0 0 84960 43 0 0 25 0 1 0 916694494 52367360 10746 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12785 10746 301 301 0 12484 0
vsize: 51140
[startup+860.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 16565 0 0 0 85960 44 0 0 25 0 1 0 916694494 52502528 10806 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12818 10806 301 301 0 12517 0
vsize: 51272
[startup+870.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 16627 0 0 0 86960 44 0 0 25 0 1 0 916694494 52772864 10867 4294967295 134512640 135730672 3221224576 3221221664 134561683 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12884 10867 301 301 0 12583 0
vsize: 51536
[startup+880.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 16688 0 0 0 87960 44 0 0 25 0 1 0 916694494 52908032 10927 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12917 10927 301 301 0 12616 0
vsize: 51668
[startup+890.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 16746 0 0 0 88959 44 0 0 25 0 1 0 916694494 53043200 10984 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12950 10984 301 301 0 12649 0
vsize: 51800
[startup+900.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 16807 0 0 0 89959 44 0 0 25 0 1 0 916694494 53178368 11044 4294967295 134512640 135730672 3221224576 3221221776 134577628 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12983 11044 301 301 0 12682 0
vsize: 51932
[startup+910.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 16867 0 0 0 90959 45 0 0 25 0 1 0 916694494 53313536 11103 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13016 11103 301 301 0 12715 0
vsize: 52064
[startup+920.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 16926 0 0 0 91959 45 0 0 25 0 1 0 916694494 53583872 11161 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13082 11161 301 301 0 12781 0
vsize: 52328
[startup+930.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 16986 0 0 0 92959 45 0 0 25 0 1 0 916694494 53719040 11220 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13115 11220 301 301 0 12814 0
vsize: 52460
[startup+940.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 17045 0 0 0 93959 46 0 0 25 0 1 0 916694494 53854208 11278 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13148 11278 301 301 0 12847 0
vsize: 52592
[startup+950.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 17102 0 0 0 94959 46 0 0 25 0 1 0 916694494 53989376 11335 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13181 11335 301 301 0 12880 0
vsize: 52724
[startup+960.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 17160 0 0 0 95959 46 0 0 25 0 1 0 916694494 54124544 11392 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13214 11392 301 301 0 12913 0
vsize: 52856
[startup+970.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 17219 0 0 0 96959 46 0 0 25 0 1 0 916694494 54259712 11450 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13247 11450 301 301 0 12946 0
vsize: 52988
[startup+980.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 17276 0 0 0 97959 46 0 0 25 0 1 0 916694494 54394880 11506 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13280 11506 301 301 0 12979 0
vsize: 53120
[startup+990.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 17333 0 0 0 98959 46 0 0 25 0 1 0 916694494 54530048 11562 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13313 11562 301 301 0 13012 0
vsize: 53252
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 17391 0 0 0 99958 46 0 0 25 0 1 0 916694494 54800384 11619 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13379 11619 301 301 0 13078 0
vsize: 53516
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 17447 0 0 0 100958 47 0 0 25 0 1 0 916694494 54935552 11674 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13412 11674 301 301 0 13111 0
vsize: 53648
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 17503 0 0 0 101958 47 0 0 25 0 1 0 916694494 55070720 11729 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13445 11729 301 301 0 13144 0
vsize: 53780
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 17560 0 0 0 102958 47 0 0 25 0 1 0 916694494 55205888 11785 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13478 11785 301 301 0 13177 0
vsize: 53912
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 17616 0 0 0 103958 47 0 0 25 0 1 0 916694494 55341056 11840 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13511 11840 301 301 0 13210 0
vsize: 54044
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 17672 0 0 0 104958 47 0 0 25 0 1 0 916694494 55476224 11895 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13544 11895 301 301 0 13243 0
vsize: 54176
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 17727 0 0 0 105958 48 0 0 25 0 1 0 916694494 55611392 11949 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13577 11949 301 301 0 13276 0
vsize: 54308
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 17781 0 0 0 106957 48 0 0 25 0 1 0 916694494 55746560 12003 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13610 12003 301 301 0 13309 0
vsize: 54440
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 17836 0 0 0 107957 48 0 0 25 0 1 0 916694494 55881728 12057 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13643 12057 301 301 0 13342 0
vsize: 54572
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 17891 0 0 0 108957 48 0 0 25 0 1 0 916694494 56016896 12111 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13676 12111 301 301 0 13375 0
vsize: 54704
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 17946 0 0 0 109957 48 0 0 25 0 1 0 916694494 56152064 12165 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13709 12165 301 301 0 13408 0
vsize: 54836
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 18000 0 0 0 110957 48 0 0 25 0 1 0 916694494 56422400 12218 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13775 12218 301 301 0 13474 0
vsize: 55100
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 18054 0 0 0 111957 49 0 0 25 0 1 0 916694494 56557568 12271 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13808 12271 301 301 0 13507 0
vsize: 55232
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 18107 0 0 0 112957 49 0 0 25 0 1 0 916694494 56692736 12323 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13841 12323 301 301 0 13540 0
vsize: 55364
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 18161 0 0 0 113956 49 0 0 25 0 1 0 916694494 56827904 12376 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13874 12376 301 301 0 13573 0
vsize: 55496
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 18213 0 0 0 114956 49 0 0 25 0 1 0 916694494 56963072 12428 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13907 12428 301 301 0 13606 0
vsize: 55628
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 18267 0 0 0 115956 49 0 0 25 0 1 0 916694494 57098240 12481 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13940 12481 301 301 0 13639 0
vsize: 55760
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 18319 0 0 0 116956 50 0 0 25 0 1 0 916694494 57233408 12532 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13973 12532 301 301 0 13672 0
vsize: 55892
[startup+1180.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 18372 0 0 0 117955 50 0 0 25 0 1 0 916694494 57368576 12584 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14006 12584 301 301 0 13705 0
vsize: 56024
[startup+1190.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 18424 0 0 0 118955 51 0 0 25 0 1 0 916694494 57503744 12635 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14039 12635 301 301 0 13738 0
vsize: 56156
[startup+1200.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25208
Raw data (stat): 25208 (pb2sat-v2) R 25207 8378 8377 0 -1 0 18476 0 0 0 119955 51 0 0 25 0 1 0 916694494 57638912 12686 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14072 12686 301 301 0 13771 0
vsize: 56288
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1201.16 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 25208
Raw data (stat): 25208 (pb2sat-v2) Z 25207 8378 8377 0 -1 12 18480 0 0 0 120066 54 0 0 25 0 1 0 916694494 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.16
CPU time (s): 1201.21
CPU user time (s): 1200.67
CPU system time (s): 0.540917
CPU usage (%): 100.004
Max. virtual memory (Kb): 56288
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####