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/web/uclid_pb_benchmarks/normalized-cache.inv14.ucl.opb
MD5SUM	5b41c3eb79e4b3bf301d25b20a1c7b76
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	33
Number of bits of the biggest number in a constraint	6
Biggest sum of numbers in a constraint	126
Number of bits of the biggest sum of numbers	7
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	62704
Total number of constraints	187107
Number of constraints which are clauses	186603
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	504
Minimum length of a constraint	1
Maximum length of a constraint	11
Trace number 42181

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-16 01:18:00 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25384 boxname=wulflinc3 idbench=286 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  5b41c3eb79e4b3bf301d25b20a1c7b76  /oldhome/oroussel/tmp/wulflinc3/normalized-cache.inv14.ucl.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-cache.inv14.ucl.opb
IDLAUNCH: 25384
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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:        816464 kB
Buffers:         33968 kB
Cached:         161936 kB
SwapCached:        820 kB
Active:          49604 kB
Inactive:       148452 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        816212 kB
SwapTotal:     2097136 kB
SwapFree:      2095340 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5104 kB
Slab:            14548 kB
Committed_AS:    71900 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 01:38:03 (client local time) WITH STATUS 0 IN 1200.6 SECONDS
stats: 25384 7 1200.6 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 1340/70264	Time: 16.2315/86400
c Decision: 2347/70264	Time: 35.2076/86400
c Decision: 3179/70264	Time: 48.9746/86400
c Decision: 5202/70264	Time: 190.327/86400
c Decision: 5202/70264	Time: 212.11/86400
c Decision: 6690/70264	Time: 253.806/86400
c Decision: 6797/70264	Time: 351.534/86400
c Decision: 8047/70264	Time: 417.463/86400
c Decision: 8231/70264	Time: 470.802/86400
c Decision: 8231/70264	Time: 479.759/86400
c Decision: 8466/70264	Time: 498.857/86400
c Decision: 8758/70264	Time: 555.536/86400
c Decision: 8758/70264	Time: 574.495/86400
c Decision: 8904/70264	Time: 675.049/86400
c Decision: 8904/70264	Time: 709.862/86400
c Decision: 8904/70264	Time: 748.649/86400
c Decision: 8911/70264	Time: 782.876/86400
c Decision: 8927/70264	Time: 828.549/86400
c Decision: 8927/70264	Time: 856.438/86400
c Decision: 9139/70264	Time: 955.787/86400
c Decision: 9141/70264	Time: 971.403/86400
c Decision: 9170/70264	Time: 1014.77/86400
c Decision: 9170/70264	Time: 1047.64/86400
c Decision: 9170/70264	Time: 1070.56/86400
c Decision: 9170/70264	Time: 1091.87/86400
c Decision: 9170/70264	Time: 1104.65/86400
c Decision: 9170/70264	Time: 1135.19/86400
c Decision: 9170/70264	Time: 1160.72/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.90 0.95 0.90 2/54 14287
Raw data (stat): 14287 (runsolver) R 14286 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 966732362 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+9.99966 s]
Raw data (loadavg): 0.92 0.95 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 5049 0 0 0 987 11 0 0 25 0 1 0 966732362 17346560 3125 4294967295 134512640 135730672 3221224576 3221221552 134540020 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4235 3125 301 301 0 3934 0
vsize: 16940
[startup+20.0004 s]
Raw data (loadavg): 0.93 0.95 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 10504 0 0 0 1973 25 0 0 25 0 1 0 966732362 34144256 6419 4294967295 134512640 135730672 3221224576 3221223200 134748138 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8336 6419 301 301 0 8035 0
vsize: 33344
[startup+30.0002 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 12184 0 0 0 2970 29 0 0 25 0 1 0 966732362 42258432 7885 4294967295 134512640 135730672 3221224576 3221223184 134748227 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10317 7885 301 301 0 10016 0
vsize: 41268
[startup+40.0011 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 13001 0 0 0 3967 32 0 0 25 0 1 0 966732362 45379584 8465 4294967295 134512640 135730672 3221224576 3221223072 134747647 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11079 8465 301 301 0 10778 0
vsize: 44316
[startup+50.002 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 13559 0 0 0 4965 34 0 0 25 0 1 0 966732362 47869952 8990 4294967295 134512640 135730672 3221224576 3221223184 134744838 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11687 8990 301 301 0 11386 0
vsize: 46748
[startup+60.0017 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 14188 0 0 0 5962 37 0 0 25 0 1 0 966732362 49913856 9382 4294967295 134512640 135730672 3221224576 3221223072 134747549 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12186 9382 301 301 0 11885 0
vsize: 48744
[startup+70.0016 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 14451 0 0 0 6961 38 0 0 25 0 1 0 966732362 50343936 9507 4294967295 134512640 135730672 3221224576 3221223072 134747610 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12291 9507 301 301 0 11990 0
vsize: 49164
[startup+80.0015 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 15338 0 0 0 7958 41 0 0 25 0 1 0 966732362 54263808 10262 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13248 10262 301 301 0 12947 0
vsize: 52992
[startup+90.0023 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 15960 0 0 0 8956 43 0 0 25 0 1 0 966732362 56954880 10686 4294967295 134512640 135730672 3221224576 3221222912 134739213 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13905 10686 301 301 0 13604 0
vsize: 55620
[startup+100.002 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 16359 0 0 0 9954 46 0 0 25 0 1 0 966732362 58642432 10986 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14317 10986 301 301 0 14016 0
vsize: 57268
[startup+110.002 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 16766 0 0 0 10952 47 0 0 25 0 1 0 966732362 60497920 11360 4294967295 134512640 135730672 3221224576 3221223264 134748632 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14770 11360 301 301 0 14469 0
vsize: 59080
[startup+120.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 17302 0 0 0 11951 49 0 0 25 0 1 0 966732362 62222336 11731 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15191 11731 301 301 0 14890 0
vsize: 60764
[startup+130.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 17908 0 0 0 12948 52 0 0 25 0 1 0 966732362 64815104 12172 4294967295 134512640 135730672 3221224576 3221222896 134732452 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15824 12172 301 301 0 15523 0
vsize: 63296
[startup+140.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 18193 0 0 0 13947 53 0 0 25 0 1 0 966732362 66138112 12424 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16147 12424 301 301 0 15846 0
vsize: 64588
[startup+150.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 18479 0 0 0 14945 55 0 0 25 0 1 0 966732362 67346432 12644 4294967295 134512640 135730672 3221224576 3221222904 134739222 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16442 12644 301 301 0 16141 0
vsize: 65768
[startup+160.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 18826 0 0 0 15943 57 0 0 25 0 1 0 966732362 69095424 12958 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16869 12958 301 301 0 16568 0
vsize: 67476
[startup+170.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 19090 0 0 0 16942 58 0 0 25 0 1 0 966732362 70033408 13156 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17098 13156 301 301 0 16797 0
vsize: 68392
[startup+180.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 19542 0 0 0 17940 60 0 0 25 0 1 0 966732362 76107776 13542 4294967295 134512640 135730672 3221224576 3221222900 134732444 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18581 13542 301 301 0 18280 0
vsize: 74324
[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 19690 0 0 0 18938 62 0 0 25 0 1 0 966732362 76238848 13657 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18613 13657 301 301 0 18312 0
vsize: 74452
[startup+200.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 19828 0 0 0 19937 64 0 0 25 0 1 0 966732362 76500992 13729 4294967295 134512640 135730672 3221224576 3221223200 134748166 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18677 13729 301 301 0 18376 0
vsize: 74708
[startup+210.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 20079 0 0 0 20935 65 0 0 25 0 1 0 966732362 77041664 13842 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18809 13842 301 301 0 18508 0
vsize: 75236
[startup+220.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 20308 0 0 0 21934 67 0 0 25 0 1 0 966732362 77836288 14005 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 19003 14005 301 301 0 18702 0
vsize: 76012
[startup+230.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 20458 0 0 0 22933 68 0 0 25 0 1 0 966732362 78368768 14089 4294967295 134512640 135730672 3221224576 3221223116 135301630 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 19133 14089 301 301 0 18832 0
vsize: 76532
[startup+240.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 20669 0 0 0 23932 69 0 0 25 0 1 0 966732362 78503936 14162 4294967295 134512640 135730672 3221224576 3221223168 134763992 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 19166 14162 301 301 0 18865 0
vsize: 76664
[startup+250.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 20823 0 0 0 24931 70 0 0 25 0 1 0 966732362 78897152 14217 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19262 14217 301 301 0 18961 0
vsize: 77048
[startup+260.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 20966 0 0 0 25930 71 0 0 25 0 1 0 966732362 79560704 14327 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19424 14327 301 301 0 19123 0
vsize: 77696
[startup+270.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 21022 0 0 0 26929 72 0 0 25 0 1 0 966732362 79560704 14383 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19424 14383 301 301 0 19123 0
vsize: 77696
[startup+280.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 21207 0 0 0 27929 73 0 0 25 0 1 0 966732362 79560704 14430 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19424 14430 301 301 0 19123 0
vsize: 77696
[startup+290.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 21359 0 0 0 28928 74 0 0 25 0 1 0 966732362 80089088 14516 4294967295 134512640 135730672 3221224576 3221223200 134748132 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19553 14516 301 301 0 19252 0
vsize: 78212
[startup+300.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 21372 0 0 0 29928 74 0 0 25 0 1 0 966732362 80089088 14529 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19553 14529 301 301 0 19252 0
vsize: 78212
[startup+310.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 21530 0 0 0 30926 76 0 0 25 0 1 0 966732362 80621568 14621 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19683 14621 301 301 0 19382 0
vsize: 78732
[startup+320.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 21614 0 0 0 31926 76 0 0 25 0 1 0 966732362 80887808 14672 4294967295 134512640 135730672 3221224576 3221222904 134739222 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19748 14672 301 301 0 19447 0
vsize: 78992
[startup+330.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 21664 0 0 0 32926 77 0 0 25 0 1 0 966732362 81018880 14689 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19780 14689 301 301 0 19479 0
vsize: 79120
[startup+340.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 21782 0 0 0 33925 78 0 0 25 0 1 0 966732362 81416192 14774 4294967295 134512640 135730672 3221224576 3221223072 134747602 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19877 14774 301 301 0 19576 0
vsize: 79508
[startup+350.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 21822 0 0 0 34924 79 0 0 25 0 1 0 966732362 81547264 14781 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19909 14781 301 301 0 19608 0
vsize: 79636
[startup+360.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 21882 0 0 0 35923 80 0 0 25 0 1 0 966732362 81678336 14808 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19941 14808 301 301 0 19640 0
vsize: 79764
[startup+370.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 21886 0 0 0 36923 80 0 0 25 0 1 0 966732362 81678336 14812 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19941 14812 301 301 0 19640 0
vsize: 79764
[startup+380.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 22134 0 0 0 37921 82 0 0 25 0 1 0 966732362 82075648 14889 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 20038 14889 301 301 0 19737 0
vsize: 80152
[startup+390.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 22232 0 0 0 38920 83 0 0 25 0 1 0 966732362 82337792 14921 4294967295 134512640 135730672 3221224576 3221223072 134747549 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 20102 14921 301 301 0 19801 0
vsize: 80408
[startup+400.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 22313 0 0 0 39920 83 0 0 25 0 1 0 966732362 82739200 15002 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 20200 15002 301 301 0 19899 0
vsize: 80800
[startup+410.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 22326 0 0 0 40919 84 0 0 25 0 1 0 966732362 82739200 15015 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 20200 15015 301 301 0 19899 0
vsize: 80800
[startup+420.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 22515 0 0 0 41919 85 0 0 25 0 1 0 966732362 83533824 15138 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 20394 15138 301 301 0 20093 0
vsize: 81576
[startup+430.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 22611 0 0 0 42918 86 0 0 25 0 1 0 966732362 83664896 15201 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 20426 15201 301 301 0 20125 0
vsize: 81704
[startup+440.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 22951 0 0 0 43917 87 0 0 25 0 1 0 966732362 84193280 15337 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 20555 15337 301 301 0 20254 0
vsize: 82220
[startup+450.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 23041 0 0 0 44917 88 0 0 25 0 1 0 966732362 84324352 15394 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 20587 15394 301 301 0 20286 0
vsize: 82348
[startup+460.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 23111 0 0 0 45917 88 0 0 25 0 1 0 966732362 84455424 15431 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 20619 15431 301 301 0 20318 0
vsize: 82476
[startup+470.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 23242 0 0 0 46916 89 0 0 25 0 1 0 966732362 84717568 15496 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 20683 15496 301 301 0 20382 0
vsize: 82732
[startup+480.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 23383 0 0 0 47915 90 0 0 25 0 1 0 966732362 85114880 15604 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 20780 15604 301 301 0 20479 0
vsize: 83120
[startup+490.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 23624 0 0 0 48914 91 0 0 25 0 1 0 966732362 85245952 15674 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 20812 15674 301 301 0 20511 0
vsize: 83248
[startup+500.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 23885 0 0 0 49913 92 0 0 25 0 1 0 966732362 85245952 15797 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 20812 15797 301 301 0 20511 0
vsize: 83248
[startup+510.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 23958 0 0 0 50912 93 0 0 25 0 1 0 966732362 85377024 15837 4294967295 134512640 135730672 3221224576 3221223072 134747624 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 20844 15837 301 301 0 20543 0
vsize: 83376
[startup+520.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 24164 0 0 0 51911 94 0 0 25 0 1 0 966732362 85377024 15905 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 20844 15905 301 301 0 20543 0
vsize: 83376
[startup+530.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 24176 0 0 0 52911 95 0 0 25 0 1 0 966732362 85377024 15917 4294967295 134512640 135730672 3221224576 3221222936 134814288 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 20844 15917 301 301 0 20543 0
vsize: 83376
[startup+540.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 24240 0 0 0 53911 95 0 0 25 0 1 0 966732362 85643264 15981 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 20909 15981 301 301 0 20608 0
vsize: 83636
[startup+550.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 24251 0 0 0 54911 96 0 0 25 0 1 0 966732362 85643264 15992 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 20909 15992 301 301 0 20608 0
vsize: 83636
[startup+560.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 24255 0 0 0 55911 96 0 0 25 0 1 0 966732362 85643264 15996 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 20909 15996 301 301 0 20608 0
vsize: 83636
[startup+570.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 24262 0 0 0 56910 97 0 0 25 0 1 0 966732362 85643264 16003 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 20909 16003 301 301 0 20608 0
vsize: 83636
[startup+580.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 24523 0 0 0 57909 98 0 0 25 0 1 0 966732362 85774336 16093 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 20941 16093 301 301 0 20640 0
vsize: 83764
[startup+590.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 24601 0 0 0 58908 99 0 0 25 0 1 0 966732362 86040576 16171 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21006 16171 301 301 0 20705 0
vsize: 84024
[startup+600.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 24770 0 0 0 59907 100 0 0 25 0 1 0 966732362 86040576 16202 4294967295 134512640 135730672 3221224576 3221223168 134747445 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21006 16202 301 301 0 20705 0
vsize: 84024
[startup+610.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 24807 0 0 0 60907 100 0 0 25 0 1 0 966732362 86040576 16239 4294967295 134512640 135730672 3221224576 3221223072 134747563 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21006 16239 301 301 0 20705 0
vsize: 84024
[startup+620.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 24882 0 0 0 61907 101 0 0 25 0 1 0 966732362 86171648 16281 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21038 16281 301 301 0 20737 0
vsize: 84152
[startup+630.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 24907 0 0 0 62906 101 0 0 25 0 1 0 966732362 86171648 16306 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21038 16306 301 301 0 20737 0
vsize: 84152
[startup+640.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 24934 0 0 0 63906 102 0 0 25 0 1 0 966732362 86171648 16333 4294967295 134512640 135730672 3221224576 3221223168 134747445 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21038 16333 301 301 0 20737 0
vsize: 84152
[startup+650.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 24961 0 0 0 64906 102 0 0 25 0 1 0 966732362 86171648 16360 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21038 16360 301 301 0 20737 0
vsize: 84152
[startup+660.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 24991 0 0 0 65905 103 0 0 25 0 1 0 966732362 94560256 16390 4294967295 134512640 135730672 3221224576 3221223200 134748138 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23086 16390 301 301 0 22785 0
vsize: 92344
[startup+670.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 25060 0 0 0 66904 104 0 0 25 0 1 0 966732362 94691328 16426 4294967295 134512640 135730672 3221224576 3221223200 134748176 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23118 16426 301 301 0 22817 0
vsize: 92472
[startup+680.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 25130 0 0 0 67903 105 0 0 25 0 1 0 966732362 94957568 16496 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23183 16496 301 301 0 22882 0
vsize: 92732
[startup+690.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 25188 0 0 0 68904 105 0 0 25 0 1 0 966732362 95088640 16521 4294967295 134512640 135730672 3221224576 3221222896 134732452 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23215 16521 301 301 0 22914 0
vsize: 92860
[startup+700.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 25357 0 0 0 69903 106 0 0 25 0 1 0 966732362 95088640 16552 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23215 16552 301 301 0 22914 0
vsize: 92860
[startup+710.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 25382 0 0 0 70902 107 0 0 25 0 1 0 966732362 95088640 16577 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23215 16577 301 301 0 22914 0
vsize: 92860
[startup+720.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 25413 0 0 0 71902 108 0 0 25 0 1 0 966732362 95088640 16608 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23215 16608 301 301 0 22914 0
vsize: 92860
[startup+730.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 25579 0 0 0 72901 109 0 0 25 0 1 0 966732362 95088640 16636 4294967295 134512640 135730672 3221224576 3221223176 134747726 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23215 16636 301 301 0 22914 0
vsize: 92860
[startup+740.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 25641 0 0 0 73900 109 0 0 25 0 1 0 966732362 95219712 16665 4294967295 134512640 135730672 3221224576 3221223168 134764022 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23247 16665 301 301 0 22946 0
vsize: 92988
[startup+750.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 25686 0 0 0 74900 110 0 0 25 0 1 0 966732362 95219712 16710 4294967295 134512640 135730672 3221224576 3221223072 134747575 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23247 16710 301 301 0 22946 0
vsize: 92988
[startup+760.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 25718 0 0 0 75900 110 0 0 25 0 1 0 966732362 95219712 16742 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23247 16742 301 301 0 22946 0
vsize: 92988
[startup+770.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 25923 0 0 0 76899 111 0 0 25 0 1 0 966732362 95350784 16776 4294967295 134512640 135730672 3221224576 3221223200 134748108 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23279 16776 301 301 0 22978 0
vsize: 93116
[startup+780.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 25992 0 0 0 77899 112 0 0 25 0 1 0 966732362 95617024 16845 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23344 16845 301 301 0 23043 0
vsize: 93376
[startup+790.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 26010 0 0 0 78899 112 0 0 25 0 1 0 966732362 95617024 16863 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23344 16863 301 301 0 23043 0
vsize: 93376
[startup+800.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 26019 0 0 0 79898 113 0 0 25 0 1 0 966732362 95617024 16872 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23344 16872 301 301 0 23043 0
vsize: 93376
[startup+810.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 26160 0 0 0 80897 114 0 0 25 0 1 0 966732362 95617024 16875 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23344 16875 301 301 0 23043 0
vsize: 93376
[startup+820.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 26208 0 0 0 81897 115 0 0 25 0 1 0 966732362 95612928 16857 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23343 16857 301 301 0 23042 0
vsize: 93372
[startup+830.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 26209 0 0 0 82896 115 0 0 25 0 1 0 966732362 95612928 16858 4294967295 134512640 135730672 3221224576 3221223200 134748191 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23343 16858 301 301 0 23042 0
vsize: 93372
[startup+840.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 26210 0 0 0 83895 116 0 0 25 0 1 0 966732362 95612928 16859 4294967295 134512640 135730672 3221224576 3221223168 134763622 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23343 16859 301 301 0 23042 0
vsize: 93372
[startup+850.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 26353 0 0 0 84894 117 0 0 25 0 1 0 966732362 95612928 16864 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23343 16864 301 301 0 23042 0
vsize: 93372
[startup+860.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 26490 0 0 0 85893 117 0 0 25 0 1 0 966732362 96010240 16935 4294967295 134512640 135730672 3221224576 3221223200 134748138 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23440 16935 301 301 0 23139 0
vsize: 93760
[startup+870.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 26518 0 0 0 86893 118 0 0 25 0 1 0 966732362 96010240 16963 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23440 16963 301 301 0 23139 0
vsize: 93760
[startup+880.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 26685 0 0 0 87893 118 0 0 25 0 1 0 966732362 96010240 16992 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23440 16992 301 301 0 23139 0
vsize: 93760
[startup+890.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 26756 0 0 0 88892 119 0 0 25 0 1 0 966732362 96141312 17030 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23472 17030 301 301 0 23171 0
vsize: 93888
[startup+900.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 26780 0 0 0 89892 119 0 0 25 0 1 0 966732362 96141312 17054 4294967295 134512640 135730672 3221224576 3221222824 135284611 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23472 17054 301 301 0 23171 0
vsize: 93888
[startup+910.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 26812 0 0 0 90892 120 0 0 25 0 1 0 966732362 96141312 17086 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23472 17086 301 301 0 23171 0
vsize: 93888
[startup+920.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 26839 0 0 0 91892 120 0 0 25 0 1 0 966732362 96141312 17113 4294967295 134512640 135730672 3221224576 3221223200 134748138 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23472 17113 301 301 0 23171 0
vsize: 93888
[startup+930.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 26879 0 0 0 92891 121 0 0 25 0 1 0 966732362 96141312 17153 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23472 17153 301 301 0 23171 0
vsize: 93888
[startup+940.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 26928 0 0 0 93890 122 0 0 25 0 1 0 966732362 96141312 17202 4294967295 134512640 135730672 3221224576 3221223264 134748503 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23472 17202 301 301 0 23171 0
vsize: 93888
[startup+950.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 26972 0 0 0 94890 123 0 0 25 0 1 0 966732362 96141312 17246 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23472 17246 301 301 0 23171 0
vsize: 93888
[startup+960.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 27020 0 0 0 95889 123 0 0 25 0 1 0 966732362 96141312 17294 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23472 17294 301 301 0 23171 0
vsize: 93888
[startup+970.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 27050 0 0 0 96888 124 0 0 25 0 1 0 966732362 96141312 17324 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23472 17324 301 301 0 23171 0
vsize: 93888
[startup+980.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 27231 0 0 0 97887 125 0 0 25 0 1 0 966732362 96141312 17367 4294967295 134512640 135730672 3221224576 3221223264 134748554 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23472 17367 301 301 0 23171 0
vsize: 93888
[startup+990.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 27387 0 0 0 98886 127 0 0 25 0 1 0 966732362 96141312 17523 4294967295 134512640 135730672 3221224576 3221223088 134745860 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23472 17523 301 301 0 23171 0
vsize: 93888
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 27529 0 0 0 99885 128 0 0 25 0 1 0 966732362 96141312 17527 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23472 17527 301 301 0 23171 0
vsize: 93888
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 27577 0 0 0 100885 129 0 0 25 0 1 0 966732362 96407552 17575 4294967295 134512640 135730672 3221224576 3221223200 134748106 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23537 17575 301 301 0 23236 0
vsize: 94148
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 27579 0 0 0 101884 129 0 0 25 0 1 0 966732362 96407552 17577 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23537 17577 301 301 0 23236 0
vsize: 94148
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 27581 0 0 0 102884 129 0 0 25 0 1 0 966732362 96407552 17579 4294967295 134512640 135730672 3221224576 3221222912 134739213 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23537 17579 301 301 0 23236 0
vsize: 94148
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 27821 0 0 0 103883 130 0 0 25 0 1 0 966732362 96940032 17681 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23667 17681 301 301 0 23366 0
vsize: 94668
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 27822 0 0 0 104883 131 0 0 25 0 1 0 966732362 96940032 17682 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23667 17682 301 301 0 23366 0
vsize: 94668
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 27824 0 0 0 105883 131 0 0 25 0 1 0 966732362 96940032 17684 4294967295 134512640 135730672 3221224576 3221223072 134747735 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23667 17684 301 301 0 23366 0
vsize: 94668
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 28006 0 0 0 106882 133 0 0 25 0 1 0 966732362 97071104 17695 4294967295 134512640 135730672 3221224576 3221223072 134747770 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23699 17695 301 301 0 23398 0
vsize: 94796
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 28034 0 0 0 107881 134 0 0 25 0 1 0 966732362 97071104 17723 4294967295 134512640 135730672 3221224576 3221223072 134747587 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23699 17723 301 301 0 23398 0
vsize: 94796
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 28253 0 0 0 108880 135 0 0 25 0 1 0 966732362 97071104 17804 4294967295 134512640 135730672 3221224576 3221223072 134747657 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23699 17804 301 301 0 23398 0
vsize: 94796
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 28341 0 0 0 109879 136 0 0 25 0 1 0 966732362 97071104 17892 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23699 17892 301 301 0 23398 0
vsize: 94796
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 28376 0 0 0 110878 136 0 0 25 0 1 0 966732362 97071104 17927 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23699 17927 301 301 0 23398 0
vsize: 94796
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 28595 0 0 0 111877 138 0 0 25 0 1 0 966732362 97071104 18008 4294967295 134512640 135730672 3221224576 3221223072 134747817 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23699 18008 301 301 0 23398 0
vsize: 94796
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 28786 0 0 0 112876 139 0 0 25 0 1 0 966732362 97071104 18061 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23699 18061 301 301 0 23398 0
vsize: 94796
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 28873 0 0 0 113875 140 0 0 25 0 1 0 966732362 97333248 18082 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23763 18082 301 301 0 23462 0
vsize: 95052
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 28875 0 0 0 114875 141 0 0 25 0 1 0 966732362 97333248 18084 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23763 18084 301 301 0 23462 0
vsize: 95052
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 29020 0 0 0 115874 141 0 0 25 0 1 0 966732362 97333248 18091 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23763 18091 301 301 0 23462 0
vsize: 95052
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 29032 0 0 0 116874 142 0 0 25 0 1 0 966732362 97333248 18103 4294967295 134512640 135730672 3221224576 3221223072 134747587 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23763 18103 301 301 0 23462 0
vsize: 95052
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 29171 0 0 0 117873 143 0 0 25 0 1 0 966732362 97333248 18104 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23763 18104 301 301 0 23462 0
vsize: 95052
[startup+1190.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 29172 0 0 0 118873 143 0 0 25 0 1 0 966732362 97333248 18105 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23763 18105 301 301 0 23462 0
vsize: 95052
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14287
Raw data (stat): 14287 (pb2sat-v2) R 14286 20224 20223 0 -1 0 29173 0 0 0 119873 143 0 0 25 0 1 0 966732362 97333248 18106 4294967295 134512640 135730672 3221224576 3221222896 134732524 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23763 18106 301 301 0 23462 0
vsize: 95052
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.45 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 14287
Raw data (stat): 14287 (pb2sat-v2) Z 14286 20224 20223 0 -1 12 29175 0 0 0 119912 147 0 0 25 0 1 0 966732362 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.45
CPU time (s): 1200.6
CPU user time (s): 1199.12
CPU system time (s): 1.47478
CPU usage (%): 100.012
Max. virtual memory (Kb): 95052
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####