PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-vpm2.opb
MD5SUM	8c44064d4224b1d41c28f152218dd39f
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	98
Optimality of the best value was proved	NO
Number of terms in the objective function	168
Biggest coefficient in the objective function	5
Number of bits for the biggest coefficient in the objective function	3
Sum of the numbers in the objective function	504
Number of bits of the sum of numbers in the objective function	9
Biggest number in a constraint	102400
Number of bits of the biggest number in a constraint	17
Biggest sum of numbers in a constraint	615983
Number of bits of the biggest sum of numbers	20
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.05084
Number of variables	2124
Total number of constraints	612
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	168
Number of constraints which are nor clauses,nor cardinality constraints	444
Minimum length of a constraint	1
Maximum length of a constraint	64
Trace number 42887

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-16 17:29:36 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26095 boxname=wulflinc4 idbench=1395 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  8c44064d4224b1d41c28f152218dd39f  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-vpm2.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-vpm2.opb
IDLAUNCH: 26095
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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.169
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:        841296 kB
Buffers:          4664 kB
Cached:         166948 kB
SwapCached:        904 kB
Active:          27048 kB
Inactive:       146644 kB
HighTotal:      131008 kB
HighFree:        45444 kB
LowTotal:       903652 kB
LowFree:        795852 kB
SwapTotal:     2097136 kB
SwapFree:      2095236 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4996 kB
Slab:            13784 kB
Committed_AS:    71904 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 17:49:40 (client local time) WITH STATUS 0 IN 1201.52 SECONDS
stats: 26095 7 1201.52 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 98258/467668	Time: 84.4482/86400
c Decision: 98258/467668	Time: 103.953/86400
c Decision: 98269/467668	Time: 128.762/86400
c Decision: 98269/467668	Time: 147.668/86400
c Decision: 98272/467668	Time: 162.168/86400
c Decision: 98289/467668	Time: 218.169/86400
c Decision: 98302/467668	Time: 262.202/86400
c Decision: 98306/467668	Time: 296.021/86400
c Decision: 98306/467668	Time: 315.177/86400
c Decision: 98306/467668	Time: 326.238/86400
c Decision: 98308/467668	Time: 348.437/86400
c Decision: 98327/467668	Time: 378.806/86400
c Decision: 98327/467668	Time: 393.496/86400
c Decision: 98327/467668	Time: 405.192/86400
c Decision: 98327/467668	Time: 417.234/86400
c Decision: 98327/467668	Time: 428.836/86400
c Decision: 98327/467668	Time: 437.857/86400
c Decision: 98327/467668	Time: 449.193/86400
c Decision: 98327/467668	Time: 460.039/86400
c Decision: 98327/467668	Time: 477.932/86400
c Decision: 98327/467668	Time: 492.087/86400
c Decision: 98352/467668	Time: 505.698/86400
c Decision: 98352/467668	Time: 520.673/86400
c Decision: 98352/467668	Time: 534.697/86400
c Decision: 98352/467668	Time: 553.524/86400
c Decision: 98352/467668	Time: 574.392/86400
c Decision: 98352/467668	Time: 593.021/86400
c Decision: 98352/467668	Time: 611.744/86400
c Decision: 98352/467668	Time: 623.134/86400
c Decision: 98352/467668	Time: 636.321/86400
c Decision: 98352/467668	Time: 649.234/86400
c Decision: 98352/467668	Time: 659.536/86400
c Decision: 98352/467668	Time: 669.771/86400
c Decision: 98364/467668	Time: 688.012/86400
c Decision: 98364/467668	Time: 700.226/86400
c Decision: 98364/467668	Time: 711.112/86400
c Decision: 98364/467668	Time: 721.349/86400
c Decision: 98364/467668	Time: 732.049/86400
c Decision: 98364/467668	Time: 742.235/86400
c Decision: 98364/467668	Time: 752.867/86400
c Decision: 98364/467668	Time: 764.535/86400
c Decision: 98364/467668	Time: 774.686/86400
c Decision: 98364/467668	Time: 785.463/86400
c Decision: 98364/467668	Time: 797.103/86400
c Decision: 98364/467668	Time: 809.07/86400
c Decision: 98364/467668	Time: 825.529/86400
c Decision: 98364/467668	Time: 837.815/86400
c Decision: 98364/467668	Time: 851.809/86400
c Decision: 98364/467668	Time: 866.444/86400
c Decision: 98364/467668	Time: 879.758/86400
c Decision: 98364/467668	Time: 893.331/86400
c Decision: 98364/467668	Time: 903.373/86400
c Decision: 98364/467668	Time: 917.441/86400
c Decision: 98364/467668	Time: 932.028/86400
c Decision: 98365/467668	Time: 955.914/86400
c Decision: 98365/467668	Time: 970.651/86400
c Decision: 98365/467668	Time: 984.973/86400
c Decision: 98365/467668	Time: 997.865/86400
c Decision: 98365/467668	Time: 1013.57/86400
c Decision: 98365/467668	Time: 1027.71/86400
c Decision: 98365/467668	Time: 1043.95/86400
c Decision: 98365/467668	Time: 1059.9/86400
c Decision: 98365/467668	Time: 1075.97/86400
c Decision: 98365/467668	Time: 1091.5/86400
c Decision: 98365/467668	Time: 1109.18/86400
c Decision: 98365/467668	Time: 1128.7/86400
c Decision: 98368/467668	Time: 1158.01/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.84 0.93 0.90 2/54 30852
Raw data (stat): 30852 (runsolver) R 30851 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 972561724 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0006 s]
Raw data (loadavg): 0.86 0.94 0.90 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 26700 0 0 0 932 66 0 0 25 0 1 0 972561724 77041664 15681 4294967295 134512640 135730672 3221224576 3221205504 134786288 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18809 15681 301 301 0 18508 0
vsize: 75236
[startup+20.0013 s]
Raw data (loadavg): 0.88 0.94 0.90 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 53176 0 0 0 1877 121 0 0 25 0 1 0 972561724 152354816 31176 4294967295 134512640 135730672 3221224576 3221204160 134770870 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37196 31176 301 301 0 36895 0
vsize: 148784
[startup+30.0027 s]
Raw data (loadavg): 0.90 0.94 0.90 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 57293 0 0 0 2867 130 0 0 25 0 1 0 972561724 165244928 34278 4294967295 134512640 135730672 3221224576 3221223072 134747610 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40343 34278 301 301 0 40042 0
vsize: 161372
[startup+40.0032 s]
Raw data (loadavg): 0.91 0.94 0.90 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 58073 0 0 0 3865 132 0 0 25 0 1 0 972561724 169091072 35025 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41282 35025 301 301 0 40981 0
vsize: 165128
[startup+50.0039 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 58332 0 0 0 4864 133 0 0 25 0 1 0 972561724 170414080 35251 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41605 35251 301 301 0 41304 0
vsize: 166420
[startup+60.0041 s]
Raw data (loadavg): 0.94 0.94 0.90 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 58605 0 0 0 5863 135 0 0 25 0 1 0 972561724 171765760 35524 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41935 35524 301 301 0 41634 0
vsize: 167740
[startup+70.0047 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 58810 0 0 0 6863 135 0 0 25 0 1 0 972561724 172847104 35729 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42199 35729 301 301 0 41898 0
vsize: 168796
[startup+80.0055 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 58945 0 0 0 7862 136 0 0 25 0 1 0 972561724 173244416 35831 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42296 35831 301 301 0 41995 0
vsize: 169184
[startup+90.006 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 59065 0 0 0 8861 137 0 0 25 0 1 0 972561724 173645824 35918 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42394 35918 301 301 0 42093 0
vsize: 169576
[startup+100.005 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 59259 0 0 0 9861 137 0 0 25 0 1 0 972561724 174252032 36063 4294967295 134512640 135730672 3221224576 3221223072 134747610 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42542 36063 301 301 0 42241 0
vsize: 170168
[startup+110.006 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 60269 0 0 0 10858 140 0 0 25 0 1 0 972561724 174518272 36159 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42607 36159 301 301 0 42306 0
vsize: 170428
[startup+120.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 60637 0 0 0 11857 141 0 0 25 0 1 0 972561724 176132096 36461 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43001 36461 301 301 0 42700 0
vsize: 172004
[startup+130.008 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 61663 0 0 0 12854 144 0 0 25 0 1 0 972561724 176668672 36573 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43132 36573 301 301 0 42831 0
vsize: 172528
[startup+140.008 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 61836 0 0 0 13853 145 0 0 25 0 1 0 972561724 177332224 36680 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43294 36680 301 301 0 42993 0
vsize: 173176
[startup+150.008 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 62766 0 0 0 14850 148 0 0 25 0 1 0 972561724 177332224 36696 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43294 36696 301 301 0 42993 0
vsize: 173176
[startup+160.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 62889 0 0 0 15850 148 0 0 25 0 1 0 972561724 177868800 36819 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43425 36819 301 301 0 43124 0
vsize: 173700
[startup+170.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 63978 0 0 0 16847 151 0 0 25 0 1 0 972561724 178941952 36994 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43687 36994 301 301 0 43386 0
vsize: 174748
[startup+180.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 64009 0 0 0 17847 151 0 0 25 0 1 0 972561724 178941952 37025 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43687 37025 301 301 0 43386 0
vsize: 174748
[startup+190.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 64980 0 0 0 18845 154 0 0 25 0 1 0 972561724 179073024 37049 4294967295 134512640 135730672 3221224576 3221223168 134764020 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43719 37049 301 301 0 43418 0
vsize: 174876
[startup+200.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 65102 0 0 0 19845 154 0 0 25 0 1 0 972561724 179470336 37138 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43816 37138 301 301 0 43515 0
vsize: 175264
[startup+210.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 65220 0 0 0 20844 154 0 0 25 0 1 0 972561724 180002816 37223 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43946 37223 301 301 0 43645 0
vsize: 175784
[startup+220.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 65239 0 0 0 21844 155 0 0 25 0 1 0 972561724 180002816 37242 4294967295 134512640 135730672 3221224576 3221223072 134747811 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43946 37242 301 301 0 43645 0
vsize: 175784
[startup+230.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 65323 0 0 0 22844 155 0 0 25 0 1 0 972561724 180269056 37293 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44011 37293 301 301 0 43710 0
vsize: 176044
[startup+240.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 66339 0 0 0 23842 158 0 0 25 0 1 0 972561724 180670464 37362 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44109 37362 301 301 0 43808 0
vsize: 176436
[startup+250.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 66376 0 0 0 24841 159 0 0 25 0 1 0 972561724 180936704 37399 4294967295 134512640 135730672 3221224576 3221223200 134748138 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44174 37399 301 301 0 43873 0
vsize: 176696
[startup+260.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 66384 0 0 0 25840 159 0 0 25 0 1 0 972561724 180936704 37407 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44174 37407 301 301 0 43873 0
vsize: 176696
[startup+270.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 66429 0 0 0 26840 159 0 0 25 0 1 0 972561724 181067776 37419 4294967295 134512640 135730672 3221224576 3221223072 134747730 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44206 37419 301 301 0 43905 0
vsize: 176824
[startup+280.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 66539 0 0 0 27839 160 0 0 25 0 1 0 972561724 181600256 37496 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44336 37496 301 301 0 44035 0
vsize: 177344
[startup+290.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 67534 0 0 0 28837 163 0 0 25 0 1 0 972561724 181731328 37544 4294967295 134512640 135730672 3221224576 3221223072 134747714 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44368 37544 301 301 0 44067 0
vsize: 177472
[startup+300.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 67564 0 0 0 29837 163 0 0 25 0 1 0 972561724 181731328 37574 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44368 37574 301 301 0 44067 0
vsize: 177472
[startup+310.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 67631 0 0 0 30836 164 0 0 25 0 1 0 972561724 181997568 37641 4294967295 134512640 135730672 3221224576 3221223072 134747563 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44433 37641 301 301 0 44132 0
vsize: 177732
[startup+320.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 68554 0 0 0 31834 167 0 0 25 0 1 0 972561724 181997568 37650 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44433 37650 301 301 0 44132 0
vsize: 177732
[startup+330.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 68621 0 0 0 32834 167 0 0 25 0 1 0 972561724 182128640 37684 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44465 37684 301 301 0 44164 0
vsize: 177860
[startup+340.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 69565 0 0 0 33831 170 0 0 25 0 1 0 972561724 182263808 37714 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44498 37714 301 301 0 44197 0
vsize: 177992
[startup+350.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 70494 0 0 0 34829 173 0 0 25 0 1 0 972561724 182263808 37729 4294967295 134512640 135730672 3221224576 3221223072 134747647 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44498 37729 301 301 0 44197 0
vsize: 177992
[startup+360.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 70543 0 0 0 35828 173 0 0 25 0 1 0 972561724 182398976 37778 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44531 37778 301 301 0 44230 0
vsize: 178124
[startup+370.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 71540 0 0 0 36826 176 0 0 25 0 1 0 972561724 182931456 37861 4294967295 134512640 135730672 3221224576 3221223200 134748249 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44661 37861 301 301 0 44360 0
vsize: 178644
[startup+380.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 71542 0 0 0 37825 177 0 0 25 0 1 0 972561724 182931456 37863 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44661 37863 301 301 0 44360 0
vsize: 178644
[startup+390.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 71544 0 0 0 38824 178 0 0 25 0 1 0 972561724 182931456 37865 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44661 37865 301 301 0 44360 0
vsize: 178644
[startup+400.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 72473 0 0 0 39822 180 0 0 25 0 1 0 972561724 182931456 37880 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44661 37880 301 301 0 44360 0
vsize: 178644
[startup+410.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 72477 0 0 0 40822 180 0 0 25 0 1 0 972561724 182931456 37884 4294967295 134512640 135730672 3221224576 3221223232 134734786 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44661 37884 301 301 0 44360 0
vsize: 178644
[startup+420.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 73395 0 0 0 41820 183 0 0 25 0 1 0 972561724 182931456 37888 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44661 37888 301 301 0 44360 0
vsize: 178644
[startup+430.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 74312 0 0 0 42817 186 0 0 25 0 1 0 972561724 182931456 37891 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44661 37891 301 301 0 44360 0
vsize: 178644
[startup+440.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 75237 0 0 0 43814 189 0 0 25 0 1 0 972561724 182931456 37902 4294967295 134512640 135730672 3221224576 3221223168 134763576 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44661 37902 301 301 0 44360 0
vsize: 178644
[startup+450.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 76160 0 0 0 44812 192 0 0 25 0 1 0 972561724 182931456 37911 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44661 37911 301 301 0 44360 0
vsize: 178644
[startup+460.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 77083 0 0 0 45809 195 0 0 25 0 1 0 972561724 182931456 37920 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44661 37920 301 301 0 44360 0
vsize: 178644
[startup+470.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 78003 0 0 0 46806 197 0 0 25 0 1 0 972561724 182931456 37926 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44661 37926 301 301 0 44360 0
vsize: 178644
[startup+480.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 78922 0 0 0 47804 200 0 0 25 0 1 0 972561724 182931456 37931 4294967295 134512640 135730672 3221224576 3221222992 134741728 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44661 37931 301 301 0 44360 0
vsize: 178644
[startup+490.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 79020 0 0 0 48803 201 0 0 25 0 1 0 972561724 183193600 37963 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44725 37963 301 301 0 44424 0
vsize: 178900
[startup+500.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 79953 0 0 0 49801 204 0 0 25 0 1 0 972561724 183193600 37982 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44725 37982 301 301 0 44424 0
vsize: 178900
[startup+510.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 80878 0 0 0 50799 206 0 0 25 0 1 0 972561724 186937344 38907 4294967295 134512640 135730672 3221224576 3221222752 134768813 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45639 38907 301 301 0 45338 0
vsize: 182556
[startup+520.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 80977 0 0 0 51798 207 0 0 25 0 1 0 972561724 183455744 38026 4294967295 134512640 135730672 3221224576 3221223072 134747733 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44789 38026 301 301 0 44488 0
vsize: 179156
[startup+530.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 81932 0 0 0 52795 210 0 0 25 0 1 0 972561724 183721984 38067 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44854 38067 301 301 0 44553 0
vsize: 179416
[startup+540.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 82859 0 0 0 53792 213 0 0 25 0 1 0 972561724 187465728 38994 4294967295 134512640 135730672 3221224576 3221222728 134765477 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45768 38994 301 301 0 45467 0
vsize: 183072
[startup+550.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 82878 0 0 0 54792 213 0 0 25 0 1 0 972561724 183721984 38099 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44854 38099 301 301 0 44553 0
vsize: 179416
[startup+560.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 83809 0 0 0 55790 216 0 0 25 0 1 0 972561724 183721984 38116 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44854 38116 301 301 0 44553 0
vsize: 179416
[startup+570.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 83905 0 0 0 56789 217 0 0 25 0 1 0 972561724 183984128 38146 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44918 38146 301 301 0 44617 0
vsize: 179672
[startup+580.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 84894 0 0 0 57787 219 0 0 25 0 1 0 972561724 184115200 38188 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44950 38188 301 301 0 44649 0
vsize: 179800
[startup+590.032 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 84948 0 0 0 58787 219 0 0 25 0 1 0 972561724 184246272 38209 4294967295 134512640 135730672 3221224576 3221223232 134734761 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44982 38209 301 301 0 44681 0
vsize: 179928
[startup+600.032 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 85912 0 0 0 59784 222 0 0 25 0 1 0 972561724 184377344 38226 4294967295 134512640 135730672 3221224576 3221223200 134748104 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45014 38226 301 301 0 44713 0
vsize: 180056
[startup+610.032 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 85914 0 0 0 60784 222 0 0 25 0 1 0 972561724 184377344 38228 4294967295 134512640 135730672 3221224576 3221223228 134748060 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45014 38228 301 301 0 44713 0
vsize: 180056
[startup+620.033 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 86848 0 0 0 61782 225 0 0 25 0 1 0 972561724 184377344 38248 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45014 38248 301 301 0 44713 0
vsize: 180056
[startup+630.033 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 86899 0 0 0 62782 225 0 0 25 0 1 0 972561724 184508416 38266 4294967295 134512640 135730672 3221224576 3221223264 134748554 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45046 38266 301 301 0 44745 0
vsize: 180184
[startup+640.033 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 87827 0 0 0 63780 227 0 0 25 0 1 0 972561724 184508416 38280 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45046 38280 301 301 0 44745 0
vsize: 180184
[startup+650.033 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 88759 0 0 0 64777 230 0 0 25 0 1 0 972561724 184508416 38298 4294967295 134512640 135730672 3221224576 3221222912 134739213 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45046 38298 301 301 0 44745 0
vsize: 180184
[startup+660.034 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 89685 0 0 0 65775 233 0 0 25 0 1 0 972561724 184508416 38310 4294967295 134512640 135730672 3221224576 3221223072 134747965 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45046 38310 301 301 0 44745 0
vsize: 180184
[startup+670.035 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 90611 0 0 0 66772 235 0 0 25 0 1 0 972561724 184508416 38322 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45046 38322 301 301 0 44745 0
vsize: 180184
[startup+680.035 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 91529 0 0 0 67770 238 0 0 25 0 1 0 972561724 184508416 38326 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45046 38326 301 301 0 44745 0
vsize: 180184
[startup+690.036 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 92447 0 0 0 68767 241 0 0 25 0 1 0 972561724 184508416 38330 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45046 38330 301 301 0 44745 0
vsize: 180184
[startup+700.036 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 92452 0 0 0 69767 241 0 0 25 0 1 0 972561724 184508416 38335 4294967295 134512640 135730672 3221224576 3221223072 134747848 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45046 38335 301 301 0 44745 0
vsize: 180184
[startup+710.037 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 93369 0 0 0 70764 244 0 0 25 0 1 0 972561724 184508416 38338 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45046 38338 301 301 0 44745 0
vsize: 180184
[startup+720.037 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 94290 0 0 0 71761 247 0 0 25 0 1 0 972561724 188252160 39259 4294967295 134512640 135730672 3221224576 3221222712 134765477 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45960 39259 301 301 0 45659 0
vsize: 183840
[startup+730.037 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 95224 0 0 0 72759 250 0 0 25 0 1 0 972561724 184639488 38365 4294967295 134512640 135730672 3221224576 3221223196 134783186 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45078 38365 301 301 0 44777 0
vsize: 180312
[startup+740.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 95236 0 0 0 73758 251 0 0 25 0 1 0 972561724 184639488 38377 4294967295 134512640 135730672 3221224576 3221223088 134745858 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45078 38377 301 301 0 44777 0
vsize: 180312
[startup+750.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 96162 0 0 0 74755 254 0 0 25 0 1 0 972561724 184639488 38389 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45078 38389 301 301 0 44777 0
vsize: 180312
[startup+760.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 97087 0 0 0 75753 256 0 0 25 0 1 0 972561724 184639488 38400 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45078 38400 301 301 0 44777 0
vsize: 180312
[startup+770.039 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 98010 0 0 0 76750 260 0 0 25 0 1 0 972561724 184766464 38409 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45109 38409 301 301 0 44808 0
vsize: 180436
[startup+780.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 98934 0 0 0 77747 263 0 0 25 0 1 0 972561724 184766464 38419 4294967295 134512640 135730672 3221224576 3221223072 134747808 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45109 38419 301 301 0 44808 0
vsize: 180436
[startup+790.039 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 99854 0 0 0 78745 265 0 0 25 0 1 0 972561724 184766464 38425 4294967295 134512640 135730672 3221224576 3221223232 134734835 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45109 38425 301 301 0 44808 0
vsize: 180436
[startup+800.039 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 100779 0 0 0 79742 267 0 0 25 0 1 0 972561724 184766464 38436 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45109 38436 301 301 0 44808 0
vsize: 180436
[startup+810.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 101703 0 0 0 80740 271 0 0 25 0 1 0 972561724 184766464 38446 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45109 38446 301 301 0 44808 0
vsize: 180436
[startup+820.041 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 102625 0 0 0 81737 273 0 0 25 0 1 0 972561724 184766464 38454 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45109 38454 301 301 0 44808 0
vsize: 180436
[startup+830.041 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 103555 0 0 0 82735 276 0 0 25 0 1 0 972561724 184897536 38470 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45141 38470 301 301 0 44840 0
vsize: 180564
[startup+840.042 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 103571 0 0 0 83735 276 0 0 25 0 1 0 972561724 184897536 38486 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45141 38486 301 301 0 44840 0
vsize: 180564
[startup+850.042 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 104493 0 0 0 84733 279 0 0 25 0 1 0 972561724 184897536 38494 4294967295 134512640 135730672 3221224576 3221223232 134734835 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45141 38494 301 301 0 44840 0
vsize: 180564
[startup+860.043 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 105416 0 0 0 85730 281 0 0 25 0 1 0 972561724 184897536 38503 4294967295 134512640 135730672 3221224576 3221223168 134764020 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45141 38503 301 301 0 44840 0
vsize: 180564
[startup+870.044 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 105435 0 0 0 86730 282 0 0 25 0 1 0 972561724 184897536 38522 4294967295 134512640 135730672 3221224576 3221223072 134747463 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45141 38522 301 301 0 44840 0
vsize: 180564
[startup+880.044 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 106361 0 0 0 87727 285 0 0 25 0 1 0 972561724 184897536 38534 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45141 38534 301 301 0 44840 0
vsize: 180564
[startup+890.044 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 107304 0 0 0 88725 287 0 0 25 0 1 0 972561724 185065472 38563 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45182 38563 301 301 0 44881 0
vsize: 180728
[startup+900.044 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 108230 0 0 0 89723 289 0 0 25 0 1 0 972561724 185065472 38575 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45182 38575 301 301 0 44881 0
vsize: 180728
[startup+910.044 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 108252 0 0 0 90723 290 0 0 25 0 1 0 972561724 185065472 38597 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45182 38597 301 301 0 44881 0
vsize: 180728
[startup+920.046 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 109174 0 0 0 91720 293 0 0 25 0 1 0 972561724 185065472 38605 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45182 38605 301 301 0 44881 0
vsize: 180728
[startup+930.046 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 110096 0 0 0 92717 296 0 0 25 0 1 0 972561724 185065472 38613 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45182 38613 301 301 0 44881 0
vsize: 180728
[startup+940.046 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 111017 0 0 0 93714 299 0 0 25 0 1 0 972561724 185065472 38620 4294967295 134512640 135730672 3221224576 3221223232 134734849 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45182 38620 301 301 0 44881 0
vsize: 180728
[startup+950.046 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 111029 0 0 0 94714 299 0 0 25 0 1 0 972561724 185065472 38632 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45182 38632 301 301 0 44881 0
vsize: 180728
[startup+960.047 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 111958 0 0 0 95711 302 0 0 25 0 1 0 972561724 185065472 38647 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45182 38647 301 301 0 44881 0
vsize: 180728
[startup+970.047 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 111978 0 0 0 96710 303 0 0 25 0 1 0 972561724 185065472 38667 4294967295 134512640 135730672 3221224576 3221223232 134734849 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45182 38667 301 301 0 44881 0
vsize: 180728
[startup+980.047 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 112908 0 0 0 97708 306 0 0 25 0 1 0 972561724 185192448 38683 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45213 38683 301 301 0 44912 0
vsize: 180852
[startup+990.048 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 113836 0 0 0 98705 309 0 0 25 0 1 0 972561724 185192448 38697 4294967295 134512640 135730672 3221224576 3221223200 134783353 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45213 38697 301 301 0 44912 0
vsize: 180852
[startup+1000.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 113844 0 0 0 99705 309 0 0 25 0 1 0 972561724 185192448 38705 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45213 38705 301 301 0 44912 0
vsize: 180852
[startup+1010.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 114763 0 0 0 100702 313 0 0 25 0 1 0 972561724 185192448 38710 4294967295 134512640 135730672 3221224576 3221223072 134747516 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45213 38710 301 301 0 44912 0
vsize: 180852
[startup+1020.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 115684 0 0 0 101699 315 0 0 25 0 1 0 972561724 185192448 38717 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45213 38717 301 301 0 44912 0
vsize: 180852
[startup+1030.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 115702 0 0 0 102699 316 0 0 25 0 1 0 972561724 185192448 38735 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45213 38735 301 301 0 44912 0
vsize: 180852
[startup+1040.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 116631 0 0 0 103696 319 0 0 25 0 1 0 972561724 185192448 38750 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45213 38750 301 301 0 44912 0
vsize: 180852
[startup+1050.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 117561 0 0 0 104694 322 0 0 25 0 1 0 972561724 185192448 38766 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45213 38766 301 301 0 44912 0
vsize: 180852
[startup+1060.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 117581 0 0 0 105693 323 0 0 25 0 1 0 972561724 185323520 38786 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45245 38786 301 301 0 44944 0
vsize: 180980
[startup+1070.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 118501 0 0 0 106690 325 0 0 25 0 1 0 972561724 185323520 38792 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45245 38792 301 301 0 44944 0
vsize: 180980
[startup+1080.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 119420 0 0 0 107688 328 0 0 25 0 1 0 972561724 185323520 38797 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45245 38797 301 301 0 44944 0
vsize: 180980
[startup+1090.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 119438 0 0 0 108688 328 0 0 25 0 1 0 972561724 185323520 38815 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45245 38815 301 301 0 44944 0
vsize: 180980
[startup+1100.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 120365 0 0 0 109685 331 0 0 25 0 1 0 972561724 185323520 38828 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45245 38828 301 301 0 44944 0
vsize: 180980
[startup+1110.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 120382 0 0 0 110684 332 0 0 25 0 1 0 972561724 185323520 38845 4294967295 134512640 135730672 3221224576 3221223088 134745849 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45245 38845 301 301 0 44944 0
vsize: 180980
[startup+1120.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 121314 0 0 0 111681 335 0 0 25 0 1 0 972561724 185323520 38863 4294967295 134512640 135730672 3221224576 3221223072 134747578 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45245 38863 301 301 0 44944 0
vsize: 180980
[startup+1130.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 122246 0 0 0 112679 338 0 0 25 0 1 0 972561724 185323520 38881 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45245 38881 301 301 0 44944 0
vsize: 180980
[startup+1140.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 122270 0 0 0 113679 338 0 0 25 0 1 0 972561724 185323520 38905 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45245 38905 301 301 0 44944 0
vsize: 180980
[startup+1150.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 123195 0 0 0 114676 341 0 0 25 0 1 0 972561724 185323520 38916 4294967295 134512640 135730672 3221224576 3221223072 134747832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45245 38916 301 301 0 44944 0
vsize: 180980
[startup+1160.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 123203 0 0 0 115676 341 0 0 25 0 1 0 972561724 185446400 38924 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45275 38924 301 301 0 44974 0
vsize: 181100
[startup+1170.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 123267 0 0 0 116675 342 0 0 25 0 1 0 972561724 185577472 38955 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45307 38955 301 301 0 45006 0
vsize: 181228
[startup+1180.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 124212 0 0 0 117673 344 0 0 25 0 1 0 972561724 185577472 38986 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45307 38986 301 301 0 45006 0
vsize: 181228
[startup+1190.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 124281 0 0 0 118673 345 0 0 25 0 1 0 972561724 185708544 39022 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45339 39022 301 301 0 45038 0
vsize: 181356
[startup+1200.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30852
Raw data (stat): 30852 (pb2sat-v2) R 30851 21152 21151 0 -1 0 124301 0 0 0 119673 345 0 0 25 0 1 0 972561724 185708544 39042 4294967295 134512640 135730672 3221224576 3221223168 134747445 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45339 39042 301 301 0 45038 0
vsize: 181356
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1201.38 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 30852
Raw data (stat): 30852 (pb2sat-v2) Z 30851 21152 21151 0 -1 12 124303 0 0 0 119798 353 0 0 25 0 1 0 972561724 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 0
Real time (s): 1201.38
CPU time (s): 1201.52
CPU user time (s): 1197.98
CPU system time (s): 3.53446
CPU usage (%): 100.011
Max. virtual memory (Kb): 183840
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####