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/submitted/manquinho/primes-dimacs-cnf/normalized-hanoi5.opb
MD5SUM	430910c9a5d64dfdcfdaccb49935c3d0
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1931
Optimality of the best value was proved	NO
Number of terms in the objective function	3862
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	3862
Number of bits of the sum of numbers in the objective function	12
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	3862
Number of bits of the biggest sum of numbers	12
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	21.5857
Number of variables	3862
Total number of constraints	16399
Number of constraints which are clauses	16399
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	8
Trace number 42021

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-15 21:26:36 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25233 boxname=wulflinc2 idbench=135 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  430910c9a5d64dfdcfdaccb49935c3d0  /oldhome/oroussel/tmp/wulflinc2/normalized-hanoi5.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-hanoi5.opb
IDLAUNCH: 25233
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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.191
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:        860480 kB
Buffers:         33884 kB
Cached:         115008 kB
SwapCached:       4448 kB
Active:          61404 kB
Inactive:        92580 kB
HighTotal:      131008 kB
HighFree:        28000 kB
LowTotal:       903652 kB
LowFree:        832480 kB
SwapTotal:     2097136 kB
SwapFree:      2091696 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5052 kB
Slab:            14632 kB
Committed_AS:    71900 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-15 21:46:39 (client local time) WITH STATUS 0 IN 1200.25 SECONDS
stats: 25233 7 1200.25 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 1132/3874	Time: 2.6206/86400
c Decision: 1148/3874	Time: 4.41933/86400
c Decision: 1188/3874	Time: 6.96594/86400
c Decision: 1210/3874	Time: 9.91749/86400
c Decision: 1238/3874	Time: 13.7729/86400
c Decision: 1240/3874	Time: 15.6136/86400
c Decision: 1246/3874	Time: 20.2749/86400
c Decision: 1278/3874	Time: 23.4084/86400
c Decision: 1278/3874	Time: 25.2842/86400
c Decision: 1278/3874	Time: 27.5388/86400
c Decision: 1278/3874	Time: 30.2664/86400
c Decision: 1280/3874	Time: 33.069/86400
c Decision: 1280/3874	Time: 36.2255/86400
c Decision: 1280/3874	Time: 39.255/86400
c Decision: 1298/3874	Time: 45.1921/86400
c Decision: 1298/3874	Time: 48.5696/86400
c Decision: 1300/3874	Time: 54.5917/86400
c Decision: 1300/3874	Time: 58.4281/86400
c Decision: 1300/3874	Time: 61.3637/86400
c Decision: 1300/3874	Time: 64.3542/86400
c Decision: 1300/3874	Time: 67.6827/86400
c Decision: 1300/3874	Time: 71.8811/86400
c Decision: 1316/3874	Time: 76.9423/86400
c Decision: 1318/3874	Time: 83.3423/86400
c Decision: 1334/3874	Time: 90.1073/86400
c Decision: 1334/3874	Time: 97.3692/86400
c Decision: 1334/3874	Time: 103.371/86400
c Decision: 1334/3874	Time: 109.202/86400
c Decision: 1334/3874	Time: 116.219/86400
c Decision: 1334/3874	Time: 124.149/86400
c Decision: 1334/3874	Time: 130.523/86400
c Decision: 1334/3874	Time: 138.328/86400
c Decision: 1334/3874	Time: 147.312/86400
c Decision: 1334/3874	Time: 156.34/86400
c Decision: 1334/3874	Time: 165.361/86400
c Decision: 1334/3874	Time: 173.903/86400
c Decision: 1334/3874	Time: 183.704/86400
c Decision: 1334/3874	Time: 192.259/86400
c Decision: 1340/3874	Time: 217.799/86400
c Decision: 1340/3874	Time: 229.053/86400
c Decision: 1340/3874	Time: 242.858/86400
c Decision: 1340/3874	Time: 256.756/86400
c Decision: 1340/3874	Time: 268.081/86400
c Decision: 1340/3874	Time: 280.622/86400
c Decision: 1340/3874	Time: 294.559/86400
c Decision: 1340/3874	Time: 308.702/86400
c Decision: 1340/3874	Time: 317.862/86400
c Decision: 1340/3874	Time: 332.087/86400
c Decision: 1340/3874	Time: 347.799/86400
c Decision: 1340/3874	Time: 363.802/86400
c Decision: 1340/3874	Time: 379.724/86400
c Decision: 1340/3874	Time: 396.339/86400
c Decision: 1342/3874	Time: 420.678/86400
c Decision: 1342/3874	Time: 436.627/86400
c Decision: 1342/3874	Time: 454.657/86400
c Decision: 1344/3874	Time: 482.853/86400
c Decision: 1344/3874	Time: 496.444/86400
c Decision: 1344/3874	Time: 512.991/86400
c Decision: 1344/3874	Time: 532.536/86400
c Decision: 1344/3874	Time: 550.118/86400
c Decision: 1344/3874	Time: 571.023/86400
c Decision: 1344/3874	Time: 590.107/86400
c Decision: 1344/3874	Time: 607.235/86400
c Decision: 1344/3874	Time: 626.382/86400
c Decision: 1344/3874	Time: 646.785/86400
c Decision: 1348/3874	Time: 690.989/86400
c Decision: 1348/3874	Time: 708.694/86400
c Decision: 1350/3874	Time: 748.257/86400
c Decision: 1350/3874	Time: 772.839/86400
c Decision: 1350/3874	Time: 793.808/86400
c Decision: 1350/3874	Time: 813.259/86400
c Decision: 1350/3874	Time: 827.013/86400
c Decision: 1350/3874	Time: 842.035/86400
c Decision: 1350/3874	Time: 863.524/86400
c Decision: 1350/3874	Time: 883.61/86400
c Decision: 1350/3874	Time: 905.233/86400
c Decision: 1350/3874	Time: 932.688/86400
c Decision: 1350/3874	Time: 960.353/86400
c Decision: 1352/3874	Time: 999.316/86400
c Decision: 1354/3874	Time: 1043.6/86400
c Decision: 1354/3874	Time: 1073.1/86400
c Decision: 1354/3874	Time: 1096.6/86400
c Decision: 1354/3874	Time: 1123.28/86400
c Decision: 1354/3874	Time: 1152.43/86400
c Decision: 1354/3874	Time: 1182.28/86400s UNKNOWN
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.92 0.95 0.90 2/54 32722
Raw data (stat): 32722 (runsolver) R 32721 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 965356898 884736 94 4294967295 134512640 135332820 3221224480 3221219660 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.0008 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 1332 0 0 0 989 9 0 0 25 0 1 0 965356898 6356992 1130 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 1552 1130 301 301 0 1251 0
vsize: 6208
[startup+20.0011 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 1657 0 0 0 1983 15 0 0 25 0 1 0 965356898 8720384 1455 4294967295 134512640 135730672 3221224592 3221223088 134747735 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2129 1455 301 301 0 1828 0
vsize: 8516
[startup+30.0014 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 2238 0 0 0 2979 19 0 0 25 0 1 0 965356898 9756672 1843 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2382 1843 301 301 0 2081 0
vsize: 9528
[startup+40.0015 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 2456 0 0 0 3975 23 0 0 25 0 1 0 965356898 14065664 2061 4294967295 134512640 135730672 3221224592 3221223088 134747823 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3434 2061 301 301 0 3133 0
vsize: 13736
[startup+50.0022 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 2743 0 0 0 4972 26 0 0 25 0 1 0 965356898 14184448 2348 4294967295 134512640 135730672 3221224592 3221222912 134732800 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3463 2348 301 301 0 3162 0
vsize: 13852
[startup+60.0022 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 2977 0 0 0 5969 29 0 0 25 0 1 0 965356898 14184448 2582 4294967295 134512640 135730672 3221224592 3221223088 134747965 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3463 2582 301 301 0 3162 0
vsize: 13852
[startup+70.0029 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 3258 0 0 0 6965 33 0 0 25 0 1 0 965356898 14430208 2863 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3523 2863 301 301 0 3222 0
vsize: 14092
[startup+80.0033 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 3454 0 0 0 7963 35 0 0 25 0 1 0 965356898 14532608 3059 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3548 3059 301 301 0 3247 0
vsize: 14192
[startup+90.0043 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 3663 0 0 0 8962 37 0 0 25 0 1 0 965356898 22921216 3268 4294967295 134512640 135730672 3221224592 3221223136 134740402 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5596 3268 301 301 0 5295 0
vsize: 22384
[startup+100.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 3836 0 0 0 9960 39 0 0 25 0 1 0 965356898 23068672 3441 4294967295 134512640 135730672 3221224592 3221223088 134747757 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5632 3441 301 301 0 5331 0
vsize: 22528
[startup+110.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 3932 0 0 0 10958 41 0 0 25 0 1 0 965356898 23068672 3537 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5632 3537 301 301 0 5331 0
vsize: 22528
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 4100 0 0 0 11956 43 0 0 25 0 1 0 965356898 23191552 3705 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5662 3705 301 301 0 5361 0
vsize: 22648
[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 4267 0 0 0 12954 45 0 0 25 0 1 0 965356898 23191552 3872 4294967295 134512640 135730672 3221224592 3221223088 134747549 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5662 3872 301 301 0 5361 0
vsize: 22648
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 4343 0 0 0 13953 46 0 0 25 0 1 0 965356898 23191552 3948 4294967295 134512640 135730672 3221224592 3221223104 134746205 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5662 3948 301 301 0 5361 0
vsize: 22648
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 4513 0 0 0 14952 48 0 0 25 0 1 0 965356898 23298048 4118 4294967295 134512640 135730672 3221224592 3221223088 134747829 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5688 4118 301 301 0 5387 0
vsize: 22752
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 4696 0 0 0 15950 50 0 0 25 0 1 0 965356898 23298048 4301 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5688 4301 301 301 0 5387 0
vsize: 22752
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 4875 0 0 0 16949 51 0 0 25 0 1 0 965356898 23298048 4480 4294967295 134512640 135730672 3221224592 3221223088 134747744 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5688 4480 301 301 0 5387 0
vsize: 22752
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 4974 0 0 0 17947 53 0 0 25 0 1 0 965356898 23433216 4579 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5721 4579 301 301 0 5420 0
vsize: 22884
[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 5098 0 0 0 18946 54 0 0 25 0 1 0 965356898 23433216 4703 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5721 4703 301 301 0 5420 0
vsize: 22884
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 5254 0 0 0 19945 55 0 0 25 0 1 0 965356898 23433216 4859 4294967295 134512640 135730672 3221224592 3221223088 134747770 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5721 4859 301 301 0 5420 0
vsize: 22884
[startup+210.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 5435 0 0 0 20944 57 0 0 25 0 1 0 965356898 23572480 5040 4294967295 134512640 135730672 3221224592 3221223088 134747563 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5755 5040 301 301 0 5454 0
vsize: 23020
[startup+220.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 5581 0 0 0 21942 59 0 0 25 0 1 0 965356898 23572480 5186 4294967295 134512640 135730672 3221224592 3221223088 134747587 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5755 5186 301 301 0 5454 0
vsize: 23020
[startup+230.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 5717 0 0 0 22941 60 0 0 25 0 1 0 965356898 23572480 5322 4294967295 134512640 135730672 3221224592 3221223088 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5755 5322 301 301 0 5454 0
vsize: 23020
[startup+240.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 5836 0 0 0 23939 62 0 0 25 0 1 0 965356898 23572480 5441 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5755 5441 301 301 0 5454 0
vsize: 23020
[startup+250.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 5893 0 0 0 24938 64 0 0 25 0 1 0 965356898 23699456 5498 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5786 5498 301 301 0 5485 0
vsize: 23144
[startup+260.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 5904 0 0 0 25937 64 0 0 25 0 1 0 965356898 23699456 5509 4294967295 134512640 135730672 3221224592 3221223072 134732800 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5786 5509 301 301 0 5485 0
vsize: 23144
[startup+270.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 6018 0 0 0 26936 66 0 0 25 0 1 0 965356898 40476672 5623 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9882 5623 301 301 0 9581 0
vsize: 39528
[startup+280.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 6156 0 0 0 27935 67 0 0 25 0 1 0 965356898 40611840 5761 4294967295 134512640 135730672 3221224592 3221223200 134744763 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9915 5761 301 301 0 9614 0
vsize: 39660
[startup+290.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 6285 0 0 0 28934 68 0 0 25 0 1 0 965356898 40611840 5890 4294967295 134512640 135730672 3221224592 3221223088 134747525 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9915 5890 301 301 0 9614 0
vsize: 39660
[startup+300.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 6408 0 0 0 29933 70 0 0 25 0 1 0 965356898 40611840 6013 4294967295 134512640 135730672 3221224592 3221223088 134747728 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9915 6013 301 301 0 9614 0
vsize: 39660
[startup+310.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 6558 0 0 0 30932 71 0 0 25 0 1 0 965356898 40611840 6163 4294967295 134512640 135730672 3221224592 3221223104 134746476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9915 6163 301 301 0 9614 0
vsize: 39660
[startup+320.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 6608 0 0 0 31931 71 0 0 25 0 1 0 965356898 40730624 6213 4294967295 134512640 135730672 3221224592 3221223088 134747735 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9944 6213 301 301 0 9643 0
vsize: 39776
[startup+330.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 6724 0 0 0 32930 73 0 0 25 0 1 0 965356898 40730624 6329 4294967295 134512640 135730672 3221224592 3221223088 134747728 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9944 6329 301 301 0 9643 0
vsize: 39776
[startup+340.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 7232 0 0 0 33929 75 0 0 25 0 1 0 965356898 42303488 6452 4294967295 134512640 135730672 3221224592 3221223088 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10328 6452 301 301 0 10027 0
vsize: 41312
[startup+350.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 7346 0 0 0 34928 75 0 0 25 0 1 0 965356898 42303488 6566 4294967295 134512640 135730672 3221224592 3221222920 134814460 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10328 6566 301 301 0 10027 0
vsize: 41312
[startup+360.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 7464 0 0 0 35927 77 0 0 25 0 1 0 965356898 42303488 6684 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10328 6684 301 301 0 10027 0
vsize: 41312
[startup+370.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 7589 0 0 0 36926 78 0 0 25 0 1 0 965356898 42303488 6809 4294967295 134512640 135730672 3221224592 3221223088 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10328 6809 301 301 0 10027 0
vsize: 41312
[startup+380.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 7712 0 0 0 37925 79 0 0 25 0 1 0 965356898 42438656 6932 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10361 6932 301 301 0 10060 0
vsize: 41444
[startup+390.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 7734 0 0 0 38925 79 0 0 25 0 1 0 965356898 42438656 6954 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10361 6954 301 301 0 10060 0
vsize: 41444
[startup+400.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 7751 0 0 0 39925 80 0 0 25 0 1 0 965356898 42438656 6971 4294967295 134512640 135730672 3221224592 3221223088 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10361 6971 301 301 0 10060 0
vsize: 41444
[startup+410.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 7753 0 0 0 40924 80 0 0 25 0 1 0 965356898 42438656 6973 4294967295 134512640 135730672 3221224592 3221223136 134740310 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10361 6973 301 301 0 10060 0
vsize: 41444
[startup+420.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 7891 0 0 0 41923 82 0 0 25 0 1 0 965356898 42438656 7111 4294967295 134512640 135730672 3221224592 3221223088 134747811 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10361 7111 301 301 0 10060 0
vsize: 41444
[startup+430.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 8012 0 0 0 42922 83 0 0 25 0 1 0 965356898 42561536 7232 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10391 7232 301 301 0 10090 0
vsize: 41564
[startup+440.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 8132 0 0 0 43921 84 0 0 25 0 1 0 965356898 42561536 7352 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10391 7352 301 301 0 10090 0
vsize: 41564
[startup+450.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 8233 0 0 0 44920 85 0 0 25 0 1 0 965356898 42561536 7453 4294967295 134512640 135730672 3221224592 3221223088 134747747 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10391 7453 301 301 0 10090 0
vsize: 41564
[startup+460.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 8349 0 0 0 45919 86 0 0 25 0 1 0 965356898 42561536 7569 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10391 7569 301 301 0 10090 0
vsize: 41564
[startup+470.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 8448 0 0 0 46919 87 0 0 25 0 1 0 965356898 42561536 7668 4294967295 134512640 135730672 3221224592 3221223088 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10391 7668 301 301 0 10090 0
vsize: 41564
[startup+480.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 8556 0 0 0 47917 89 0 0 25 0 1 0 965356898 42561536 7776 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10391 7776 301 301 0 10090 0
vsize: 41564
[startup+490.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 8608 0 0 0 48916 90 0 0 25 0 1 0 965356898 42692608 7828 4294967295 134512640 135730672 3221224592 3221223088 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10423 7828 301 301 0 10122 0
vsize: 41692
[startup+500.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 8623 0 0 0 49916 91 0 0 25 0 1 0 965356898 42692608 7843 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10423 7843 301 301 0 10122 0
vsize: 41692
[startup+510.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 8626 0 0 0 50915 91 0 0 25 0 1 0 965356898 42692608 7846 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10423 7846 301 301 0 10122 0
vsize: 41692
[startup+520.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 8633 0 0 0 51915 91 0 0 25 0 1 0 965356898 42692608 7853 4294967295 134512640 135730672 3221224592 3221223136 134740391 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10423 7853 301 301 0 10122 0
vsize: 41692
[startup+530.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 8703 0 0 0 52915 92 0 0 25 0 1 0 965356898 42692608 7923 4294967295 134512640 135730672 3221224592 3221223088 134747549 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10423 7923 301 301 0 10122 0
vsize: 41692
[startup+540.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 8811 0 0 0 53914 93 0 0 25 0 1 0 965356898 42815488 8031 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10453 8031 301 301 0 10152 0
vsize: 41812
[startup+550.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 8927 0 0 0 54913 94 0 0 25 0 1 0 965356898 42815488 8147 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10453 8147 301 301 0 10152 0
vsize: 41812
[startup+560.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 9032 0 0 0 55912 95 0 0 25 0 1 0 965356898 42815488 8252 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10453 8252 301 301 0 10152 0
vsize: 41812
[startup+570.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 9131 0 0 0 56911 96 0 0 25 0 1 0 965356898 42815488 8351 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10453 8351 301 301 0 10152 0
vsize: 41812
[startup+580.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 9155 0 0 0 57911 97 0 0 25 0 1 0 965356898 42815488 8375 4294967295 134512640 135730672 3221224592 3221223088 134747599 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10453 8375 301 301 0 10152 0
vsize: 41812
[startup+590.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 9183 0 0 0 58911 97 0 0 25 0 1 0 965356898 42815488 8403 4294967295 134512640 135730672 3221224592 3221222772 135281190 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10453 8403 301 301 0 10152 0
vsize: 41812
[startup+600.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 9280 0 0 0 59910 98 0 0 25 0 1 0 965356898 42950656 8500 4294967295 134512640 135730672 3221224592 3221223088 134747575 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10486 8500 301 301 0 10185 0
vsize: 41944
[startup+610.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 9402 0 0 0 60909 99 0 0 25 0 1 0 965356898 42950656 8622 4294967295 134512640 135730672 3221224592 3221223088 134747808 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10486 8622 301 301 0 10185 0
vsize: 41944
[startup+620.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 9508 0 0 0 61908 101 0 0 25 0 1 0 965356898 42950656 8728 4294967295 134512640 135730672 3221224592 3221223088 134747823 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10486 8728 301 301 0 10185 0
vsize: 41944
[startup+630.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 9607 0 0 0 62908 101 0 0 25 0 1 0 965356898 42950656 8827 4294967295 134512640 135730672 3221224592 3221223088 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10486 8827 301 301 0 10185 0
vsize: 41944
[startup+640.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 9715 0 0 0 63907 102 0 0 25 0 1 0 965356898 43085824 8935 4294967295 134512640 135730672 3221224592 3221223088 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10519 8935 301 301 0 10218 0
vsize: 42076
[startup+650.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 9829 0 0 0 64906 103 0 0 25 0 1 0 965356898 43085824 9049 4294967295 134512640 135730672 3221224592 3221223088 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10519 9049 301 301 0 10218 0
vsize: 42076
[startup+660.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 9927 0 0 0 65905 104 0 0 25 0 1 0 965356898 43085824 9147 4294967295 134512640 135730672 3221224592 3221223088 134747762 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10519 9147 301 301 0 10218 0
vsize: 42076
[startup+670.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 10037 0 0 0 66904 105 0 0 25 0 1 0 965356898 43085824 9257 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10519 9257 301 301 0 10218 0
vsize: 42076
[startup+680.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 10145 0 0 0 67904 106 0 0 25 0 1 0 965356898 43085824 9365 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10519 9365 301 301 0 10218 0
vsize: 42076
[startup+690.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 10248 0 0 0 68904 106 0 0 25 0 1 0 965356898 43085824 9468 4294967295 134512640 135730672 3221224592 3221223088 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10519 9468 301 301 0 10218 0
vsize: 42076
[startup+700.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 10273 0 0 0 69903 107 0 0 25 0 1 0 965356898 43085824 9493 4294967295 134512640 135730672 3221224592 3221223088 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10519 9493 301 301 0 10218 0
vsize: 42076
[startup+710.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 10280 0 0 0 70903 108 0 0 25 0 1 0 965356898 43085824 9500 4294967295 134512640 135730672 3221224592 3221223104 134746205 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10519 9500 301 301 0 10218 0
vsize: 42076
[startup+720.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 10289 0 0 0 71902 108 0 0 25 0 1 0 965356898 43200512 9509 4294967295 134512640 135730672 3221224592 3221223088 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10547 9509 301 301 0 10246 0
vsize: 42188
[startup+730.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 10292 0 0 0 72902 108 0 0 25 0 1 0 965356898 43200512 9512 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10547 9512 301 301 0 10246 0
vsize: 42188
[startup+740.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 10350 0 0 0 73901 109 0 0 25 0 1 0 965356898 43200512 9570 4294967295 134512640 135730672 3221224592 3221223088 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10547 9570 301 301 0 10246 0
vsize: 42188
[startup+750.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 10451 0 0 0 74900 110 0 0 25 0 1 0 965356898 43200512 9671 4294967295 134512640 135730672 3221224592 3221223088 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10547 9671 301 301 0 10246 0
vsize: 42188
[startup+760.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 10542 0 0 0 75900 111 0 0 25 0 1 0 965356898 43200512 9762 4294967295 134512640 135730672 3221224592 3221223088 134747757 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10547 9762 301 301 0 10246 0
vsize: 42188
[startup+770.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 10631 0 0 0 76899 113 0 0 25 0 1 0 965356898 43200512 9851 4294967295 134512640 135730672 3221224592 3221223088 134747575 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10547 9851 301 301 0 10246 0
vsize: 42188
[startup+780.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 10730 0 0 0 77898 113 0 0 25 0 1 0 965356898 43307008 9950 4294967295 134512640 135730672 3221224592 3221223088 134747747 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10573 9950 301 301 0 10272 0
vsize: 42292
[startup+790.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 10826 0 0 0 78898 114 0 0 25 0 1 0 965356898 43307008 10046 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10573 10046 301 301 0 10272 0
vsize: 42292
[startup+800.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 10927 0 0 0 79897 115 0 0 25 0 1 0 965356898 76861440 10147 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18765 10147 301 301 0 18464 0
vsize: 75060
[startup+810.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 11032 0 0 0 80896 116 0 0 25 0 1 0 965356898 76861440 10252 4294967295 134512640 135730672 3221224592 3221223088 134747760 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18765 10252 301 301 0 18464 0
vsize: 75060
[startup+820.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 11076 0 0 0 81896 116 0 0 25 0 1 0 965356898 76861440 10296 4294967295 134512640 135730672 3221224592 3221223088 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18765 10296 301 301 0 18464 0
vsize: 75060
[startup+830.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 11087 0 0 0 82895 117 0 0 25 0 1 0 965356898 76972032 10307 4294967295 134512640 135730672 3221224592 3221223088 134747848 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18792 10307 301 301 0 18491 0
vsize: 75168
[startup+840.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 11090 0 0 0 83895 117 0 0 25 0 1 0 965356898 76972032 10310 4294967295 134512640 135730672 3221224592 3221223088 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18792 10310 301 301 0 18491 0
vsize: 75168
[startup+850.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 11099 0 0 0 84895 117 0 0 25 0 1 0 965356898 76972032 10319 4294967295 134512640 135730672 3221224592 3221223136 134740310 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18792 10319 301 301 0 18491 0
vsize: 75168
[startup+860.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 11101 0 0 0 85895 118 0 0 25 0 1 0 965356898 76972032 10321 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18792 10321 301 301 0 18491 0
vsize: 75168
[startup+870.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 11122 0 0 0 86894 119 0 0 25 0 1 0 965356898 76972032 10342 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18792 10342 301 301 0 18491 0
vsize: 75168
[startup+880.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 11212 0 0 0 87893 121 0 0 25 0 1 0 965356898 76972032 10432 4294967295 134512640 135730672 3221224592 3221223088 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18792 10432 301 301 0 18491 0
vsize: 75168
[startup+890.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 11331 0 0 0 88891 122 0 0 25 0 1 0 965356898 77082624 10551 4294967295 134512640 135730672 3221224592 3221223088 134747570 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18819 10551 301 301 0 18518 0
vsize: 75276
[startup+900.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 11427 0 0 0 89891 123 0 0 25 0 1 0 965356898 77082624 10647 4294967295 134512640 135730672 3221224592 3221223088 134747570 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18819 10647 301 301 0 18518 0
vsize: 75276
[startup+910.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 11480 0 0 0 90890 123 0 0 25 0 1 0 965356898 77082624 10700 4294967295 134512640 135730672 3221224592 3221223088 134747575 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18819 10700 301 301 0 18518 0
vsize: 75276
[startup+920.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 11481 0 0 0 91890 124 0 0 25 0 1 0 965356898 77082624 10701 4294967295 134512640 135730672 3221224592 3221223088 134747563 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18819 10701 301 301 0 18518 0
vsize: 75276
[startup+930.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 11483 0 0 0 92889 125 0 0 25 0 1 0 965356898 77082624 10703 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18819 10703 301 301 0 18518 0
vsize: 75276
[startup+940.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 11490 0 0 0 93889 125 0 0 25 0 1 0 965356898 77082624 10710 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18819 10710 301 301 0 18518 0
vsize: 75276
[startup+950.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 11558 0 0 0 94889 125 0 0 25 0 1 0 965356898 77082624 10778 4294967295 134512640 135730672 3221224592 3221223088 134747570 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18819 10778 301 301 0 18518 0
vsize: 75276
[startup+960.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 11645 0 0 0 95888 126 0 0 25 0 1 0 965356898 77082624 10865 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18819 10865 301 301 0 18518 0
vsize: 75276
[startup+970.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 11731 0 0 0 96888 127 0 0 25 0 1 0 965356898 77197312 10951 4294967295 134512640 135730672 3221224592 3221223088 134747738 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18847 10951 301 301 0 18546 0
vsize: 75388
[startup+980.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 11814 0 0 0 97887 128 0 0 25 0 1 0 965356898 77197312 11034 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18847 11034 301 301 0 18546 0
vsize: 75388
[startup+990.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 11895 0 0 0 98885 129 0 0 25 0 1 0 965356898 77197312 11115 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18847 11115 301 301 0 18546 0
vsize: 75388
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 11983 0 0 0 99885 130 0 0 25 0 1 0 965356898 77197312 11203 4294967295 134512640 135730672 3221224592 3221223088 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18847 11203 301 301 0 18546 0
vsize: 75388
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 12074 0 0 0 100884 131 0 0 25 0 1 0 965356898 77197312 11294 4294967295 134512640 135730672 3221224592 3221223088 134747757 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18847 11294 301 301 0 18546 0
vsize: 75388
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 12157 0 0 0 101883 132 0 0 25 0 1 0 965356898 77197312 11377 4294967295 134512640 135730672 3221224592 3221223088 134747744 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18847 11377 301 301 0 18546 0
vsize: 75388
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 12246 0 0 0 102883 132 0 0 25 0 1 0 965356898 77197312 11466 4294967295 134512640 135730672 3221224592 3221222832 134786278 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18847 11466 301 301 0 18546 0
vsize: 75388
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 12329 0 0 0 103882 133 0 0 25 0 1 0 965356898 77197312 11549 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18847 11549 301 301 0 18546 0
vsize: 75388
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 12411 0 0 0 104882 134 0 0 25 0 1 0 965356898 77312000 11631 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18875 11631 301 301 0 18574 0
vsize: 75500
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 12489 0 0 0 105882 135 0 0 25 0 1 0 965356898 77312000 11709 4294967295 134512640 135730672 3221224592 3221223088 134747733 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18875 11709 301 301 0 18574 0
vsize: 75500
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 12571 0 0 0 106881 136 0 0 25 0 1 0 965356898 77312000 11791 4294967295 134512640 135730672 3221224592 3221223088 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18875 11791 301 301 0 18574 0
vsize: 75500
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 12605 0 0 0 107880 136 0 0 25 0 1 0 965356898 77312000 11825 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18875 11825 301 301 0 18574 0
vsize: 75500
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 12608 0 0 0 108880 137 0 0 25 0 1 0 965356898 77312000 11828 4294967295 134512640 135730672 3221224592 3221223088 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18875 11828 301 301 0 18574 0
vsize: 75500
[startup+1100.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 12617 0 0 0 109879 137 0 0 25 0 1 0 965356898 77312000 11837 4294967295 134512640 135730672 3221224592 3221223088 134747744 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18875 11837 301 301 0 18574 0
vsize: 75500
[startup+1110.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 12618 0 0 0 110879 138 0 0 25 0 1 0 965356898 77312000 11838 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18875 11838 301 301 0 18574 0
vsize: 75500
[startup+1120.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 12620 0 0 0 111879 138 0 0 25 0 1 0 965356898 77312000 11840 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18875 11840 301 301 0 18574 0
vsize: 75500
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 12686 0 0 0 112878 139 0 0 25 0 1 0 965356898 77418496 11906 4294967295 134512640 135730672 3221224592 3221223088 134747563 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18901 11906 301 301 0 18600 0
vsize: 75604
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 12764 0 0 0 113878 140 0 0 25 0 1 0 965356898 77418496 11984 4294967295 134512640 135730672 3221224592 3221223088 134747570 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18901 11984 301 301 0 18600 0
vsize: 75604
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 12851 0 0 0 114877 140 0 0 25 0 1 0 965356898 77418496 12071 4294967295 134512640 135730672 3221224592 3221223088 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18901 12071 301 301 0 18600 0
vsize: 75604
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 12931 0 0 0 115877 141 0 0 25 0 1 0 965356898 77418496 12151 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18901 12151 301 301 0 18600 0
vsize: 75604
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 13011 0 0 0 116876 142 0 0 25 0 1 0 965356898 77418496 12231 4294967295 134512640 135730672 3221224592 3221223088 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18901 12231 301 301 0 18600 0
vsize: 75604
[startup+1180.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 13094 0 0 0 117876 142 0 0 25 0 1 0 965356898 77418496 12314 4294967295 134512640 135730672 3221224592 3221223088 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18901 12314 301 301 0 18600 0
vsize: 75604
[startup+1190.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 13179 0 0 0 118876 143 0 0 25 0 1 0 965356898 77418496 12399 4294967295 134512640 135730672 3221224592 3221223088 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18901 12399 301 301 0 18600 0
vsize: 75604
[startup+1200.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32722
Raw data (stat): 32722 (pb2sat-v2) R 32721 31399 31398 0 -1 0 13261 0 0 0 119876 143 0 0 25 0 1 0 965356898 77418496 12481 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18901 12481 301 301 0 18600 0
vsize: 75604
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.08 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 32722
Raw data (stat): 32722 (pb2sat-v2) Z 32721 31399 31398 0 -1 12 13263 0 0 0 119879 145 0 0 25 0 1 0 965356898 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 0
Real time (s): 1200.08
CPU time (s): 1200.25
CPU user time (s): 1198.8
CPU system time (s): 1.45878
CPU usage (%): 100.015
Max. virtual memory (Kb): 75604
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####