PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-air06.opb
MD5SUM	f85d0079133f298b06c25764b03ff228
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	50233
Optimality of the best value was proved	NO
Number of terms in the objective function	8627
Biggest coefficient in the objective function	1859
Number of bits for the biggest coefficient in the objective function	11
Sum of the numbers in the objective function	4587852
Number of bits of the sum of numbers in the objective function	23
Biggest number in a constraint	1859
Number of bits of the biggest number in a constraint	11
Biggest sum of numbers in a constraint	4587852
Number of bits of the biggest sum of numbers	23
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1182.3
Number of variables	8627
Total number of constraints	9452
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	9452
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	461
Trace number 42391

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-16 06:15:36 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25599 boxname=wulflinc5 idbench=899 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  f85d0079133f298b06c25764b03ff228  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-air06.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-air06.opb
IDLAUNCH: 25599
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        718144 kB
Buffers:         34744 kB
Cached:         258520 kB
SwapCached:        700 kB
Active:          74932 kB
Inactive:       220488 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        717892 kB
SwapTotal:     2097136 kB
SwapFree:      2095508 kB
Dirty:              36 kB
Writeback:           0 kB
Mapped:           5156 kB
Slab:            15424 kB
Committed_AS:    63716 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 06:35:39 (client local time) WITH STATUS 0 IN 1200.55 SECONDS
stats: 25599 7 1200.55 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 71066/148604	Time: 572.278/86400
c Decision: 71107/148604	Time: 669.74/86400
c Decision: 71124/148604	Time: 721.651/86400
c Decision: 71302/148604	Time: 889.16/86400
c Decision: 71349/148604	Time: 971.805/86400
c Decision: 71388/148604	Time: 1074.89/86400
c Decision: 71398/148604	Time: 1125.78/86400
c Decision: 71402/148604	Time: 1145.38/86400s UNKNOWN
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.91 0.94 0.90 2/54 10026
Raw data (stat): 10026 (runsolver) R 10025 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 968527406 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0001 s]
Raw data (loadavg): 0.92 0.94 0.91 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 14660 0 0 0 962 36 0 0 25 0 1 0 968527406 59809792 9135 4294967295 134512640 135730672 3221224576 3221186028 135284320 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14602 9135 301 301 0 14301 0
vsize: 58408
[startup+20.0013 s]
Raw data (loadavg): 0.93 0.95 0.91 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 19242 0 0 0 1952 46 0 0 25 0 1 0 968527406 56320000 11118 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13750 11118 301 301 0 13449 0
vsize: 55000
[startup+30.0017 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 19440 0 0 0 2949 48 0 0 25 0 1 0 968527406 57044992 11316 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13927 11316 301 301 0 13626 0
vsize: 55708
[startup+40.0014 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 19669 0 0 0 3947 49 0 0 25 0 1 0 968527406 57937920 11545 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14145 11545 301 301 0 13844 0
vsize: 56580
[startup+50.0025 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 19801 0 0 0 4945 52 0 0 25 0 1 0 968527406 58421248 11677 4294967295 134512640 135730672 3221224576 3221223184 134744797 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14263 11677 301 301 0 13962 0
vsize: 57052
[startup+60.0019 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 19923 0 0 0 5944 53 0 0 25 0 1 0 968527406 58732544 11799 4294967295 134512640 135730672 3221224576 3221223264 134748577 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14339 11799 301 301 0 14038 0
vsize: 57356
[startup+70.0027 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 20083 0 0 0 6942 55 0 0 25 0 1 0 968527406 59342848 11959 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14488 11959 301 301 0 14187 0
vsize: 57952
[startup+80.0038 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 20176 0 0 0 7941 57 0 0 25 0 1 0 968527406 59670528 12052 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14568 12052 301 301 0 14267 0
vsize: 58272
[startup+90.0032 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 20329 0 0 0 8940 58 0 0 25 0 1 0 968527406 60293120 12205 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14720 12205 301 301 0 14419 0
vsize: 58880
[startup+100.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 20424 0 0 0 9938 60 0 0 25 0 1 0 968527406 68829184 12300 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16804 12300 301 301 0 16503 0
vsize: 67216
[startup+110.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 20526 0 0 0 10938 61 0 0 25 0 1 0 968527406 69156864 12402 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16884 12402 301 301 0 16583 0
vsize: 67536
[startup+120.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 20663 0 0 0 11937 62 0 0 25 0 1 0 968527406 69623808 12539 4294967295 134512640 135730672 3221224576 3221223072 134747616 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16998 12539 301 301 0 16697 0
vsize: 67992
[startup+130.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 20788 0 0 0 12935 63 0 0 25 0 1 0 968527406 69959680 12664 4294967295 134512640 135730672 3221224576 3221223072 134747575 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17080 12664 301 301 0 16779 0
vsize: 68320
[startup+140.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 20884 0 0 0 13934 65 0 0 25 0 1 0 968527406 70156288 12760 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17128 12760 301 301 0 16827 0
vsize: 68512
[startup+150.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 21000 0 0 0 14934 65 0 0 25 0 1 0 968527406 70430720 12876 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17195 12876 301 301 0 16894 0
vsize: 68780
[startup+160.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 21135 0 0 0 15933 66 0 0 25 0 1 0 968527406 70737920 13011 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17270 13011 301 301 0 16969 0
vsize: 69080
[startup+170.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 21266 0 0 0 16932 67 0 0 25 0 1 0 968527406 71081984 13142 4294967295 134512640 135730672 3221224576 3221223072 134747570 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17354 13142 301 301 0 17053 0
vsize: 69416
[startup+180.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 21347 0 0 0 17931 68 0 0 25 0 1 0 968527406 71278592 13223 4294967295 134512640 135730672 3221224576 3221223072 134747808 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17402 13223 301 301 0 17101 0
vsize: 69608
[startup+190.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 21453 0 0 0 18930 70 0 0 25 0 1 0 968527406 71639040 13329 4294967295 134512640 135730672 3221224576 3221222912 134739213 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17490 13329 301 301 0 17189 0
vsize: 69960
[startup+200.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 21613 0 0 0 19929 71 0 0 25 0 1 0 968527406 71933952 13489 4294967295 134512640 135730672 3221224576 3221223072 134747575 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17562 13489 301 301 0 17261 0
vsize: 70248
[startup+210.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 21715 0 0 0 20929 72 0 0 25 0 1 0 968527406 71933952 13591 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17562 13591 301 301 0 17261 0
vsize: 70248
[startup+220.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 21819 0 0 0 21927 73 0 0 25 0 1 0 968527406 72232960 13695 4294967295 134512640 135730672 3221224576 3221223072 134747465 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17635 13695 301 301 0 17334 0
vsize: 70540
[startup+230.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 21923 0 0 0 22926 75 0 0 25 0 1 0 968527406 72368128 13799 4294967295 134512640 135730672 3221224576 3221223072 134747549 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17668 13799 301 301 0 17367 0
vsize: 70672
[startup+240.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 21996 0 0 0 23925 76 0 0 25 0 1 0 968527406 72548352 13872 4294967295 134512640 135730672 3221224576 3221223072 134747908 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17712 13872 301 301 0 17411 0
vsize: 70848
[startup+250.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 22192 0 0 0 24924 77 0 0 25 0 1 0 968527406 73039872 14068 4294967295 134512640 135730672 3221224576 3221223184 134748227 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17832 14068 301 301 0 17531 0
vsize: 71328
[startup+260.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 22325 0 0 0 25923 78 0 0 25 0 1 0 968527406 73433088 14201 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17928 14201 301 301 0 17627 0
vsize: 71712
[startup+270.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 22486 0 0 0 26922 79 0 0 25 0 1 0 968527406 73908224 14362 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18044 14362 301 301 0 17743 0
vsize: 72176
[startup+280.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 22615 0 0 0 27921 81 0 0 25 0 1 0 968527406 74072064 14491 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18084 14491 301 301 0 17783 0
vsize: 72336
[startup+290.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 22753 0 0 0 28920 82 0 0 25 0 1 0 968527406 74551296 14629 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18201 14629 301 301 0 17900 0
vsize: 72804
[startup+300.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 22864 0 0 0 29919 83 0 0 25 0 1 0 968527406 74747904 14740 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18249 14740 301 301 0 17948 0
vsize: 72996
[startup+310.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 22955 0 0 0 30918 84 0 0 25 0 1 0 968527406 74747904 14831 4294967295 134512640 135730672 3221224576 3221223072 134747747 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18249 14831 301 301 0 17948 0
vsize: 72996
[startup+320.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 23007 0 0 0 31918 84 0 0 25 0 1 0 968527406 74883072 14883 4294967295 134512640 135730672 3221224576 3221223200 134748079 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18282 14883 301 301 0 17981 0
vsize: 73128
[startup+330.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 23146 0 0 0 32917 86 0 0 25 0 1 0 968527406 75165696 15022 4294967295 134512640 135730672 3221224576 3221222896 134732772 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18351 15022 301 301 0 18050 0
vsize: 73404
[startup+340.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 23263 0 0 0 33915 87 0 0 25 0 1 0 968527406 75509760 15139 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18435 15139 301 301 0 18134 0
vsize: 73740
[startup+350.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 23383 0 0 0 34915 88 0 0 25 0 1 0 968527406 75870208 15259 4294967295 134512640 135730672 3221224576 3221222832 134767096 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18523 15259 301 301 0 18222 0
vsize: 74092
[startup+360.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 23468 0 0 0 35913 89 0 0 25 0 1 0 968527406 75870208 15344 4294967295 134512640 135730672 3221224576 3221223184 134748241 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18523 15344 301 301 0 18222 0
vsize: 74092
[startup+370.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 23540 0 0 0 36912 91 0 0 25 0 1 0 968527406 76034048 15416 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18563 15416 301 301 0 18262 0
vsize: 74252
[startup+380.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 23633 0 0 0 37911 92 0 0 25 0 1 0 968527406 76034048 15509 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18563 15509 301 301 0 18262 0
vsize: 74252
[startup+390.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 23726 0 0 0 38910 93 0 0 25 0 1 0 968527406 76210176 15602 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18606 15602 301 301 0 18305 0
vsize: 74424
[startup+400.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 23813 0 0 0 39910 94 0 0 25 0 1 0 968527406 76210176 15689 4294967295 134512640 135730672 3221224576 3221223072 134747584 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18606 15689 301 301 0 18305 0
vsize: 74424
[startup+410.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 23898 0 0 0 40908 95 0 0 25 0 1 0 968527406 76361728 15774 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18643 15774 301 301 0 18342 0
vsize: 74572
[startup+420.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 24047 0 0 0 41907 96 0 0 25 0 1 0 968527406 76853248 15923 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18763 15923 301 301 0 18462 0
vsize: 75052
[startup+430.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 24128 0 0 0 42907 97 0 0 25 0 1 0 968527406 76853248 16004 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18763 16004 301 301 0 18462 0
vsize: 75052
[startup+440.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 24222 0 0 0 43906 98 0 0 25 0 1 0 968527406 93630464 16098 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22859 16098 301 301 0 22558 0
vsize: 91436
[startup+450.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 24382 0 0 0 44905 99 0 0 25 0 1 0 968527406 93949952 16258 4294967295 134512640 135730672 3221224576 3221223072 134747563 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22937 16258 301 301 0 22636 0
vsize: 91748
[startup+460.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 24496 0 0 0 45904 100 0 0 25 0 1 0 968527406 94093312 16372 4294967295 134512640 135730672 3221224576 3221223072 134747744 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22972 16372 301 301 0 22671 0
vsize: 91888
[startup+470.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 24586 0 0 0 46904 101 0 0 25 0 1 0 968527406 94228480 16462 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23005 16462 301 301 0 22704 0
vsize: 92020
[startup+480.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 24685 0 0 0 47903 102 0 0 25 0 1 0 968527406 94556160 16561 4294967295 134512640 135730672 3221224576 3221223232 134734761 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23085 16561 301 301 0 22784 0
vsize: 92340
[startup+490.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 24801 0 0 0 48902 104 0 0 25 0 1 0 968527406 94695424 16677 4294967295 134512640 135730672 3221224576 3221223072 134747587 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23119 16677 301 301 0 22818 0
vsize: 92476
[startup+500.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 24929 0 0 0 49901 104 0 0 25 0 1 0 968527406 94875648 16805 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23163 16805 301 301 0 22862 0
vsize: 92652
[startup+510.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 25025 0 0 0 50901 105 0 0 25 0 1 0 968527406 95035392 16901 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23202 16901 301 301 0 22901 0
vsize: 92808
[startup+520.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 25109 0 0 0 51900 106 0 0 25 0 1 0 968527406 95035392 16985 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23202 16985 301 301 0 22901 0
vsize: 92808
[startup+530.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 25361 0 0 0 52899 107 0 0 25 0 1 0 968527406 95645696 17237 4294967295 134512640 135730672 3221224576 3221222900 134732444 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23351 17237 301 301 0 23050 0
vsize: 93404
[startup+540.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 25464 0 0 0 53898 108 0 0 25 0 1 0 968527406 95645696 17340 4294967295 134512640 135730672 3221224576 3221223184 134744757 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23351 17340 301 301 0 23050 0
vsize: 93404
[startup+550.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 25555 0 0 0 54898 109 0 0 25 0 1 0 968527406 95842304 17431 4294967295 134512640 135730672 3221224576 3221223072 134747757 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23399 17431 301 301 0 23098 0
vsize: 93596
[startup+560.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 25626 0 0 0 55897 110 0 0 25 0 1 0 968527406 96006144 17502 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23439 17502 301 301 0 23138 0
vsize: 93756
[startup+570.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 25710 0 0 0 56896 111 0 0 25 0 1 0 968527406 96006144 17586 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23439 17586 301 301 0 23138 0
vsize: 93756
[startup+580.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 25820 0 0 0 57894 113 0 0 25 0 1 0 968527406 96006144 17696 4294967295 134512640 135730672 3221224576 3221223072 134747594 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23439 17696 301 301 0 23138 0
vsize: 93756
[startup+590.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 26185 0 0 0 58892 114 0 0 25 0 1 0 968527406 96202752 17770 4294967295 134512640 135730672 3221224576 3221223120 134740310 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23487 17770 301 301 0 23186 0
vsize: 93948
[startup+600.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 26203 0 0 0 59891 115 0 0 25 0 1 0 968527406 96202752 17788 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23487 17788 301 301 0 23186 0
vsize: 93948
[startup+610.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 26223 0 0 0 60890 116 0 0 25 0 1 0 968527406 96399360 17808 4294967295 134512640 135730672 3221224576 3221222912 134739213 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23535 17808 301 301 0 23234 0
vsize: 94140
[startup+620.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 26237 0 0 0 61889 118 0 0 25 0 1 0 968527406 96399360 17822 4294967295 134512640 135730672 3221224576 3221223072 134747733 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23535 17822 301 301 0 23234 0
vsize: 94140
[startup+630.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 26262 0 0 0 62888 119 0 0 25 0 1 0 968527406 96399360 17847 4294967295 134512640 135730672 3221224576 3221223072 134747848 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23535 17847 301 301 0 23234 0
vsize: 94140
[startup+640.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 26280 0 0 0 63887 120 0 0 25 0 1 0 968527406 96563200 17865 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23575 17865 301 301 0 23274 0
vsize: 94300
[startup+650.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 26336 0 0 0 64886 121 0 0 25 0 1 0 968527406 96759808 17921 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23623 17921 301 301 0 23322 0
vsize: 94492
[startup+660.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 26390 0 0 0 65885 122 0 0 25 0 1 0 968527406 97058816 17975 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23696 17975 301 301 0 23395 0
vsize: 94784
[startup+670.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 26392 0 0 0 66885 122 0 0 25 0 1 0 968527406 97058816 17977 4294967295 134512640 135730672 3221224576 3221223072 134747602 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23696 17977 301 301 0 23395 0
vsize: 94784
[startup+680.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 26426 0 0 0 67884 123 0 0 25 0 1 0 968527406 97255424 18011 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23744 18011 301 301 0 23443 0
vsize: 94976
[startup+690.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 26740 0 0 0 68882 125 0 0 25 0 1 0 968527406 97452032 18034 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23792 18034 301 301 0 23491 0
vsize: 95168
[startup+700.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 26741 0 0 0 69882 126 0 0 25 0 1 0 968527406 97452032 18035 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23792 18035 301 301 0 23491 0
vsize: 95168
[startup+710.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 26772 0 0 0 70881 127 0 0 25 0 1 0 968527406 97452032 18066 4294967295 134512640 135730672 3221224576 3221223200 134748104 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23792 18066 301 301 0 23491 0
vsize: 95168
[startup+720.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 26788 0 0 0 71881 127 0 0 25 0 1 0 968527406 97648640 18082 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23840 18082 301 301 0 23539 0
vsize: 95360
[startup+730.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 26793 0 0 0 72881 128 0 0 25 0 1 0 968527406 97648640 18087 4294967295 134512640 135730672 3221224576 3221223088 135282404 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23840 18087 301 301 0 23539 0
vsize: 95360
[startup+740.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 27089 0 0 0 73879 129 0 0 25 0 1 0 968527406 97648640 18092 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23840 18092 301 301 0 23539 0
vsize: 95360
[startup+750.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 27091 0 0 0 74879 129 0 0 25 0 1 0 968527406 97648640 18094 4294967295 134512640 135730672 3221224576 3221223072 134747823 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23840 18094 301 301 0 23539 0
vsize: 95360
[startup+760.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 27095 0 0 0 75879 130 0 0 25 0 1 0 968527406 97648640 18098 4294967295 134512640 135730672 3221224576 3221223072 134747747 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23840 18098 301 301 0 23539 0
vsize: 95360
[startup+770.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 27107 0 0 0 76878 131 0 0 25 0 1 0 968527406 97648640 18110 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23840 18110 301 301 0 23539 0
vsize: 95360
[startup+780.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 27134 0 0 0 77878 131 0 0 25 0 1 0 968527406 97812480 18137 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23880 18137 301 301 0 23579 0
vsize: 95520
[startup+790.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 27157 0 0 0 78877 133 0 0 25 0 1 0 968527406 97976320 18160 4294967295 134512640 135730672 3221224576 3221223072 134747811 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23920 18160 301 301 0 23619 0
vsize: 95680
[startup+800.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 27192 0 0 0 79876 134 0 0 25 0 1 0 968527406 98140160 18195 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23960 18195 301 301 0 23659 0
vsize: 95840
[startup+810.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 27195 0 0 0 80876 134 0 0 25 0 1 0 968527406 98140160 18198 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23960 18198 301 301 0 23659 0
vsize: 95840
[startup+820.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 27236 0 0 0 81875 135 0 0 25 0 1 0 968527406 98140160 18239 4294967295 134512640 135730672 3221224576 3221222824 135286123 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23960 18239 301 301 0 23659 0
vsize: 95840
[startup+830.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 27296 0 0 0 82874 136 0 0 25 0 1 0 968527406 98140160 18299 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23960 18299 301 301 0 23659 0
vsize: 95840
[startup+840.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 27340 0 0 0 83874 137 0 0 25 0 1 0 968527406 98140160 18343 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23960 18343 301 301 0 23659 0
vsize: 95840
[startup+850.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 27424 0 0 0 84872 138 0 0 25 0 1 0 968527406 98336768 18427 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24008 18427 301 301 0 23707 0
vsize: 96032
[startup+860.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 27481 0 0 0 85871 139 0 0 25 0 1 0 968527406 98336768 18484 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24008 18484 301 301 0 23707 0
vsize: 96032
[startup+870.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 27588 0 0 0 86870 141 0 0 25 0 1 0 968527406 98619392 18591 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24077 18591 301 301 0 23776 0
vsize: 96308
[startup+880.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 27652 0 0 0 87869 142 0 0 25 0 1 0 968527406 98619392 18655 4294967295 134512640 135730672 3221224576 3221223072 134747627 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24077 18655 301 301 0 23776 0
vsize: 96308
[startup+890.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 27754 0 0 0 88868 143 0 0 25 0 1 0 968527406 98816000 18757 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24125 18757 301 301 0 23824 0
vsize: 96500
[startup+900.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 27861 0 0 0 89868 143 0 0 25 0 1 0 968527406 98816000 18864 4294967295 134512640 135730672 3221224576 3221223088 134745849 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24125 18864 301 301 0 23824 0
vsize: 96500
[startup+910.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 28241 0 0 0 90866 145 0 0 25 0 1 0 968527406 99012608 18953 4294967295 134512640 135730672 3221224576 3221223200 134748166 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24173 18953 301 301 0 23872 0
vsize: 96692
[startup+920.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 28315 0 0 0 91865 146 0 0 25 0 1 0 968527406 99012608 19027 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24173 19027 301 301 0 23872 0
vsize: 96692
[startup+930.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 28421 0 0 0 92865 147 0 0 25 0 1 0 968527406 99012608 19133 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24173 19133 301 301 0 23872 0
vsize: 96692
[startup+940.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 28512 0 0 0 93864 148 0 0 25 0 1 0 968527406 99012608 19224 4294967295 134512640 135730672 3221224576 3221223072 134747610 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24173 19224 301 301 0 23872 0
vsize: 96692
[startup+950.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 28582 0 0 0 94863 149 0 0 25 0 1 0 968527406 99012608 19294 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24173 19294 301 301 0 23872 0
vsize: 96692
[startup+960.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 28700 0 0 0 95863 149 0 0 25 0 1 0 968527406 99176448 19412 4294967295 134512640 135730672 3221224576 3221223072 134747465 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24213 19412 301 301 0 23912 0
vsize: 96852
[startup+970.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 28828 0 0 0 96861 151 0 0 25 0 1 0 968527406 99508224 19540 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24294 19540 301 301 0 23993 0
vsize: 97176
[startup+980.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 28946 0 0 0 97861 151 0 0 25 0 1 0 968527406 99508224 19658 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24294 19658 301 301 0 23993 0
vsize: 97176
[startup+990.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 29291 0 0 0 98860 153 0 0 25 0 1 0 968527406 99508224 19712 4294967295 134512640 135730672 3221224576 3221223072 134747738 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24294 19712 301 301 0 23993 0
vsize: 97176
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 29383 0 0 0 99858 155 0 0 25 0 1 0 968527406 99508224 19804 4294967295 134512640 135730672 3221224576 3221223072 134747563 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24294 19804 301 301 0 23993 0
vsize: 97176
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 29480 0 0 0 100857 155 0 0 25 0 1 0 968527406 99647488 19901 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24328 19901 301 301 0 24027 0
vsize: 97312
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 29637 0 0 0 101857 156 0 0 25 0 1 0 968527406 99844096 20058 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24376 20058 301 301 0 24075 0
vsize: 97504
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 29724 0 0 0 102857 157 0 0 25 0 1 0 968527406 100040704 20145 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24424 20145 301 301 0 24123 0
vsize: 97696
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 29803 0 0 0 103856 158 0 0 25 0 1 0 968527406 100040704 20224 4294967295 134512640 135730672 3221224576 3221223232 134734776 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24424 20224 301 301 0 24123 0
vsize: 97696
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 29911 0 0 0 104855 158 0 0 25 0 1 0 968527406 100237312 20332 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24472 20332 301 301 0 24171 0
vsize: 97888
[startup+1060.02 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 30074 0 0 0 105855 159 0 0 25 0 1 0 968527406 100507648 20495 4294967295 134512640 135730672 3221224576 3221223212 134748066 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24538 20495 301 301 0 24237 0
vsize: 98152
[startup+1070.02 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 33224 0 0 0 106848 166 0 0 25 0 1 0 968527406 113090560 20572 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27610 20572 301 301 0 27309 0
vsize: 110440
[startup+1080.02 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 33294 0 0 0 107847 167 0 0 25 0 1 0 968527406 113090560 20642 4294967295 134512640 135730672 3221224576 3221223072 134747627 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27610 20642 301 301 0 27309 0
vsize: 110440
[startup+1090.02 s]
Raw data (loadavg): 1.12 1.00 0.92 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 33620 0 0 0 108846 168 0 0 25 0 1 0 968527406 113090560 20677 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27610 20677 301 301 0 27309 0
vsize: 110440
[startup+1100.02 s]
Raw data (loadavg): 1.10 1.00 0.92 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 33650 0 0 0 109845 169 0 0 25 0 1 0 968527406 113287168 20707 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27658 20707 301 301 0 27357 0
vsize: 110632
[startup+1110.02 s]
Raw data (loadavg): 1.09 1.00 0.92 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 33685 0 0 0 110844 171 0 0 25 0 1 0 968527406 113451008 20742 4294967295 134512640 135730672 3221224576 3221223072 134747733 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27698 20742 301 301 0 27397 0
vsize: 110792
[startup+1120.02 s]
Raw data (loadavg): 1.15 1.02 0.93 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 33707 0 0 0 111843 172 0 0 25 0 1 0 968527406 113451008 20764 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27698 20764 301 301 0 27397 0
vsize: 110792
[startup+1130.02 s]
Raw data (loadavg): 1.20 1.03 0.93 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 33724 0 0 0 112842 173 0 0 25 0 1 0 968527406 113647616 20781 4294967295 134512640 135730672 3221224576 3221223232 134748676 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27746 20781 301 301 0 27445 0
vsize: 110984
[startup+1140.02 s]
Raw data (loadavg): 1.17 1.03 0.93 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 34033 0 0 0 113842 174 0 0 25 0 1 0 968527406 113647616 20799 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27746 20799 301 301 0 27445 0
vsize: 110984
[startup+1150.02 s]
Raw data (loadavg): 1.22 1.05 0.94 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 34036 0 0 0 114842 174 0 0 25 0 1 0 968527406 113647616 20802 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27746 20802 301 301 0 27445 0
vsize: 110984
[startup+1160.02 s]
Raw data (loadavg): 1.26 1.06 0.94 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 34329 0 0 0 115840 176 0 0 25 0 1 0 968527406 113647616 20804 4294967295 134512640 135730672 3221224576 3221223072 134747555 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27746 20804 301 301 0 27445 0
vsize: 110984
[startup+1170.02 s]
Raw data (loadavg): 1.22 1.06 0.94 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 34360 0 0 0 116839 177 0 0 25 0 1 0 968527406 113647616 20835 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27746 20835 301 301 0 27445 0
vsize: 110984
[startup+1180.02 s]
Raw data (loadavg): 1.27 1.07 0.95 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 34385 0 0 0 117838 178 0 0 25 0 1 0 968527406 113844224 20860 4294967295 134512640 135730672 3221224576 3221222896 134732515 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27794 20860 301 301 0 27493 0
vsize: 111176
[startup+1190.02 s]
Raw data (loadavg): 1.30 1.09 0.95 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 34394 0 0 0 118838 178 0 0 25 0 1 0 968527406 113844224 20869 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27794 20869 301 301 0 27493 0
vsize: 111176
[startup+1200.02 s]
Raw data (loadavg): 1.25 1.08 0.95 2/54 10026
Raw data (stat): 10026 (pb2sat-v2) R 10025 7266 7265 0 -1 0 34410 0 0 0 119838 179 0 0 25 0 1 0 968527406 113844224 20885 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27794 20885 301 301 0 27493 0
vsize: 111176
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.4 s]
Raw data (loadavg): 1.25 1.08 0.95 1/54 10026
Raw data (stat): 10026 (pb2sat-v2) Z 10025 7266 7265 0 -1 12 34412 0 0 0 119871 183 0 0 25 0 1 0 968527406 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 0
Real time (s): 1200.4
CPU time (s): 1200.55
CPU user time (s): 1198.71
CPU system time (s): 1.83772
CPU usage (%): 100.013
Max. virtual memory (Kb): 111176
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####