PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:10:4.5:0.95:98.opb
MD5SUM	ac510382bae6003fe0373ad32fd0064f
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	5
Optimality of the best value was proved	NO
Number of terms in the objective function	411
Biggest coefficient in the objective function	268
Number of bits for the biggest coefficient in the objective function	9
Sum of the numbers in the objective function	1129
Number of bits of the sum of numbers in the objective function	11
Biggest number in a constraint	268
Number of bits of the biggest number in a constraint	9
Biggest sum of numbers in a constraint	1129
Number of bits of the biggest sum of numbers	11
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.03584
Number of variables	411
Total number of constraints	887
Number of constraints which are clauses	387
Number of constraints which are cardinality constraints (but not clauses)	500
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	16
Trace number 35074

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc11 THE 2005-05-28 11:52:22 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24294 boxname=wulflinc11 idbench=368 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  ac510382bae6003fe0373ad32fd0064f  /oldhome/oroussel/tmp/wulflinc11/normalized-10:10:4.5:0.95:98.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc11/normalized-10:10:4.5:0.95:98.opb
IDLAUNCH: 24294
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.028
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.028
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:        926792 kB
Buffers:         34656 kB
Cached:          51592 kB
SwapCached:        860 kB
Active:          45480 kB
Inactive:        42924 kB
HighTotal:      131008 kB
HighFree:        76440 kB
LowTotal:       903652 kB
LowFree:        850352 kB
SwapTotal:     2097136 kB
SwapFree:      2095396 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5072 kB
Slab:            13900 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-28 12:12:25 (client local time) WITH STATUS 0 IN 1200.6 SECONDS
stats: 24294 7 1200.6 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

Decision: 64858/100593	Time: 132.301/86400
Decision: 64858/100593	Time: 146.092/86400
Decision: 64858/100593	Time: 159.205/86400
Decision: 64858/100593	Time: 173.015/86400
Decision: 64858/100593	Time: 185.421/86400
Decision: 64858/100593	Time: 198.435/86400
Decision: 64858/100593	Time: 212.292/86400
Decision: 64858/100593	Time: 227.582/86400
Decision: 64858/100593	Time: 241.495/86400
Decision: 64858/100593	Time: 256.115/86400
Decision: 64858/100593	Time: 270.146/86400
Decision: 64858/100593	Time: 282.906/86400
Decision: 64858/100593	Time: 297.871/86400
Decision: 64858/100593	Time: 312.485/86400
Decision: 64858/100593	Time: 327.375/86400
Decision: 64858/100593	Time: 342.852/86400
Decision: 64858/100593	Time: 357.877/86400
Decision: 64858/100593	Time: 371.582/86400
Decision: 64858/100593	Time: 387.739/86400
Decision: 64858/100593	Time: 403.757/86400
Decision: 64858/100593	Time: 419.419/86400
Decision: 64858/100593	Time: 435.119/86400
Decision: 64858/100593	Time: 449.978/86400
Decision: 64858/100593	Time: 462.865/86400
Decision: 64858/100593	Time: 478.613/86400
Decision: 64858/100593	Time: 494.587/86400
Decision: 64858/100593	Time: 509.067/86400
Decision: 64858/100593	Time: 523.501/86400
Decision: 64858/100593	Time: 540.165/86400
Decision: 64858/100593	Time: 556.232/86400
Decision: 64858/100593	Time: 572.074/86400
Decision: 64858/100593	Time: 586.694/86400
Decision: 64858/100593	Time: 602.149/86400
Decision: 64858/100593	Time: 617.691/86400
Decision: 64858/100593	Time: 633.299/86400
Decision: 64858/100593	Time: 650.578/86400
Decision: 64858/100593	Time: 666.508/86400
Decision: 64858/100593	Time: 682.99/86400
Decision: 64858/100593	Time: 699.489/86400
Decision: 64858/100593	Time: 715.427/86400
Decision: 64858/100593	Time: 732.007/86400
Decision: 64858/100593	Time: 746.367/86400
Decision: 64858/100593	Time: 762.82/86400
Decision: 64858/100593	Time: 778.34/86400
Decision: 64858/100593	Time: 795.782/86400
Decision: 64858/100593	Time: 812.147/86400
Decision: 64858/100593	Time: 827.127/86400
Decision: 64858/100593	Time: 843.409/86400
Decision: 64858/100593	Time: 857.223/86400
Decision: 64858/100593	Time: 873.957/86400
Decision: 64858/100593	Time: 891.632/86400
Decision: 64858/100593	Time: 907.052/86400
Decision: 64858/100593	Time: 924.093/86400
Decision: 64858/100593	Time: 940.364/86400
Decision: 64858/100593	Time: 957.233/86400
Decision: 64858/100593	Time: 973.463/86400
Decision: 64858/100593	Time: 988.803/86400
Decision: 64858/100593	Time: 1006.32/86400
Decision: 64858/100593	Time: 1021.49/86400
Decision: 64858/100593	Time: 1035.42/86400
Decision: 64858/100593	Time: 1051.82/86400
Decision: 64858/100593	Time: 1069.94/86400
Decision: 64858/100593	Time: 1086.32/86400
Decision: 64858/100593	Time: 1104.58/86400
Decision: 64858/100593	Time: 1121.57/86400
Decision: 64858/100593	Time: 1138.1/86400
Decision: 64858/100593	Time: 1155.05/86400
Decision: 64858/100593	Time: 1171.72/86400
Decision: 64858/100593	Time: 1187.85/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
Raw data (loadavg): 0.91 0.95 0.90 2/54 2438
Raw data (stat): 2438 (runsolver) R 2437 25830 25829 0 -1 64 6 0 0 0 0 0 0 0 19 0 1 0 806362125 884736 93 4294967295 134512640 135332820 3221224464 3221219360 134917321 0 0 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 93 205 205 0 11 0
vsize: 864
Current StackSize limit: 67108864 bytes
[startup+10.0013 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 2438
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 14620 0 0 0 965 34 0 0 25 0 1 0 806362125 45719552 8976 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11162 8976 300 300 0 10862 0
vsize: 44648
[startup+20.0019 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 2438
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 14684 0 0 0 1964 34 0 0 25 0 1 0 806362125 45916160 9040 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11210 9040 300 300 0 10910 0
vsize: 44840
[startup+30.0023 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 2438
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 14743 0 0 0 2964 35 0 0 25 0 1 0 806362125 45916160 9099 4294967295 134512640 135726644 3221224576 3221222904 134735638 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11210 9099 300 300 0 10910 0
vsize: 44840
[startup+40.0025 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 2438
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 14779 0 0 0 3964 35 0 0 25 0 1 0 806362125 46051328 9135 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11243 9135 300 300 0 10943 0
vsize: 44972
[startup+50.0033 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 2438
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 14820 0 0 0 4964 35 0 0 25 0 1 0 806362125 46247936 9176 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11291 9176 300 300 0 10991 0
vsize: 45164
[startup+60.0037 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 2438
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 14893 0 0 0 5964 35 0 0 25 0 1 0 806362125 46444544 9249 4294967295 134512640 135726644 3221224576 3221223056 134729188 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11339 9249 300 300 0 11039 0
vsize: 45356
[startup+70.0039 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 2438
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 14917 0 0 0 6964 36 0 0 25 0 1 0 806362125 46444544 9273 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11339 9273 300 300 0 11039 0
vsize: 45356
[startup+80.0046 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 2438
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 14966 0 0 0 7964 36 0 0 25 0 1 0 806362125 46444544 9322 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11339 9322 300 300 0 11039 0
vsize: 45356
[startup+90.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 2438
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 15052 0 0 0 8964 36 0 0 25 0 1 0 806362125 46727168 9408 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11408 9408 300 300 0 11108 0
vsize: 45632
[startup+100.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 2438
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 15134 0 0 0 9963 37 0 0 25 0 1 0 806362125 47087616 9490 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11496 9490 300 300 0 11196 0
vsize: 45984
[startup+110.006 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 2438
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 15186 0 0 0 10963 37 0 0 25 0 1 0 806362125 47087616 9542 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11496 9542 300 300 0 11196 0
vsize: 45984
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2438
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 15220 0 0 0 11963 38 0 0 25 0 1 0 806362125 47251456 9576 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11536 9576 300 300 0 11236 0
vsize: 46144
[startup+130.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2438
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 15257 0 0 0 12963 38 0 0 25 0 1 0 806362125 47251456 9613 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11536 9613 300 300 0 11236 0
vsize: 46144
[startup+140.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2438
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 15493 0 0 0 13963 39 0 0 25 0 1 0 806362125 47251456 9652 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11536 9652 300 300 0 11236 0
vsize: 46144
[startup+150.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2438
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 15540 0 0 0 14961 39 0 0 25 0 1 0 806362125 47415296 9699 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11576 9699 300 300 0 11276 0
vsize: 46304
[startup+160.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2438
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 15740 0 0 0 15960 40 0 0 25 0 1 0 806362125 47415296 9702 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11576 9702 300 300 0 11276 0
vsize: 46304
[startup+170.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2438
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 15954 0 0 0 16960 40 0 0 25 0 1 0 806362125 47579136 9719 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11616 9719 300 300 0 11316 0
vsize: 46464
[startup+180.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2438
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 16197 0 0 0 17959 41 0 0 25 0 1 0 806362125 47714304 9765 4294967295 134512640 135726644 3221224576 3221223072 134744169 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11649 9765 300 300 0 11349 0
vsize: 46596
[startup+190.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2438
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 16398 0 0 0 18959 42 0 0 25 0 1 0 806362125 47714304 9769 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11649 9769 300 300 0 11349 0
vsize: 46596
[startup+200.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2438
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 16401 0 0 0 19959 42 0 0 25 0 1 0 806362125 47714304 9772 4294967295 134512640 135726644 3221224576 3221223232 134731263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11649 9772 300 300 0 11349 0
vsize: 46596
[startup+210.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2438
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 16607 0 0 0 20959 42 0 0 25 0 1 0 806362125 47714304 9781 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11649 9781 300 300 0 11349 0
vsize: 46596
[startup+220.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2438
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 16828 0 0 0 21958 43 0 0 25 0 1 0 806362125 47849472 9805 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11682 9805 300 300 0 11382 0
vsize: 46728
[startup+230.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2438
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 16842 0 0 0 22958 43 0 0 25 0 1 0 806362125 48046080 9819 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11730 9819 300 300 0 11430 0
vsize: 46920
[startup+240.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2438
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 17043 0 0 0 23958 44 0 0 25 0 1 0 806362125 48046080 9823 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11730 9823 300 300 0 11430 0
vsize: 46920
[startup+250.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2438
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 17250 0 0 0 24957 45 0 0 25 0 1 0 806362125 48046080 9833 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11730 9833 300 300 0 11430 0
vsize: 46920
[startup+260.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2438
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 17273 0 0 0 25957 45 0 0 25 0 1 0 806362125 48046080 9856 4294967295 134512640 135726644 3221224576 3221223264 134744887 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11730 9856 300 300 0 11430 0
vsize: 46920
[startup+270.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2438
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 17498 0 0 0 26956 45 0 0 25 0 1 0 806362125 48046080 9884 4294967295 134512640 135726644 3221224576 3221223072 134743987 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11730 9884 300 300 0 11430 0
vsize: 46920
[startup+280.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2438
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 17708 0 0 0 27955 46 0 0 25 0 1 0 806362125 48046080 9897 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11730 9897 300 300 0 11430 0
vsize: 46920
[startup+290.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2438
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 17909 0 0 0 28954 47 0 0 25 0 1 0 806362125 48046080 9901 4294967295 134512640 135726644 3221224576 3221223168 134760424 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11730 9901 300 300 0 11430 0
vsize: 46920
[startup+300.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2438
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 17911 0 0 0 29954 47 0 0 25 0 1 0 806362125 48046080 9903 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11730 9903 300 300 0 11430 0
vsize: 46920
[startup+310.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2438
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 18124 0 0 0 30954 47 0 0 25 0 1 0 806362125 48046080 9919 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11730 9919 300 300 0 11430 0
vsize: 46920
[startup+320.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2438
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 18346 0 0 0 31953 48 0 0 25 0 1 0 806362125 48046080 9944 4294967295 134512640 135726644 3221224576 3221223072 134744382 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11730 9944 300 300 0 11430 0
vsize: 46920
[startup+330.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2438
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 18377 0 0 0 32953 48 0 0 25 0 1 0 806362125 48046080 9975 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11730 9975 300 300 0 11430 0
vsize: 46920
[startup+340.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2438
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 18595 0 0 0 33953 49 0 0 25 0 1 0 806362125 48046080 9996 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11730 9996 300 300 0 11430 0
vsize: 46920
[startup+350.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2438
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 18806 0 0 0 34952 50 0 0 25 0 1 0 806362125 48046080 10010 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11730 10010 300 300 0 11430 0
vsize: 46920
[startup+360.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2438
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 18819 0 0 0 35952 50 0 0 25 0 1 0 806362125 48046080 10023 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11730 10023 300 300 0 11430 0
vsize: 46920
[startup+370.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2438
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 19030 0 0 0 36951 51 0 0 25 0 1 0 806362125 48242688 10037 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11778 10037 300 300 0 11478 0
vsize: 47112
[startup+380.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2438
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 19230 0 0 0 37951 52 0 0 25 0 1 0 806362125 48242688 10040 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11778 10040 300 300 0 11478 0
vsize: 47112
[startup+390.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2438
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 19232 0 0 0 38950 52 0 0 25 0 1 0 806362125 48242688 10042 4294967295 134512640 135726644 3221224576 3221223072 134743987 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11778 10042 300 300 0 11478 0
vsize: 47112
[startup+400.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2438
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 19432 0 0 0 39949 53 0 0 25 0 1 0 806362125 48242688 10045 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11778 10045 300 300 0 11478 0
vsize: 47112
[startup+410.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2438
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 19672 0 0 0 40949 54 0 0 25 0 1 0 806362125 48377856 10088 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11811 10088 300 300 0 11511 0
vsize: 47244
[startup+420.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2438
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 19675 0 0 0 41949 54 0 0 25 0 1 0 806362125 48377856 10091 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11811 10091 300 300 0 11511 0
vsize: 47244
[startup+430.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2438
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 19874 0 0 0 42948 55 0 0 25 0 1 0 806362125 48377856 10093 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11811 10093 300 300 0 11511 0
vsize: 47244
[startup+440.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2438
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 20074 0 0 0 43948 56 0 0 25 0 1 0 806362125 48377856 10096 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11811 10096 300 300 0 11511 0
vsize: 47244
[startup+450.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2438
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 20077 0 0 0 44948 56 0 0 25 0 1 0 806362125 48377856 10099 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11811 10099 300 300 0 11511 0
vsize: 47244
[startup+460.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2438
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 20277 0 0 0 45958 57 0 0 25 0 1 0 806362125 48377856 10102 4294967295 134512640 135726644 3221224576 3221223072 134743987 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11811 10102 300 300 0 11511 0
vsize: 47244
[startup+470.121 s]
Raw data (loadavg): 1.15 1.00 0.92 2/54 2491
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 20477 0 0 0 46956 58 0 0 25 0 1 0 806362125 48377856 10105 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11811 10105 300 300 0 11511 0
vsize: 47244
[startup+480.122 s]
Raw data (loadavg): 1.12 1.00 0.92 2/54 2491
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 20480 0 0 0 47957 58 0 0 25 0 1 0 806362125 48377856 10108 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11811 10108 300 300 0 11511 0
vsize: 47244
[startup+490.122 s]
Raw data (loadavg): 1.10 1.00 0.92 2/54 2491
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 20679 0 0 0 48956 59 0 0 25 0 1 0 806362125 48377856 10110 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11811 10110 300 300 0 11511 0
vsize: 47244
[startup+500.123 s]
Raw data (loadavg): 1.09 1.00 0.92 2/54 2491
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 20884 0 0 0 49955 60 0 0 25 0 1 0 806362125 48377856 10118 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11811 10118 300 300 0 11511 0
vsize: 47244
[startup+510.123 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 2491
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 20887 0 0 0 50955 60 0 0 25 0 1 0 806362125 48377856 10121 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11811 10121 300 300 0 11511 0
vsize: 47244
[startup+520.123 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 2491
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 21087 0 0 0 51954 61 0 0 25 0 1 0 806362125 48377856 10124 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11811 10124 300 300 0 11511 0
vsize: 47244
[startup+530.124 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 2491
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 21286 0 0 0 52954 61 0 0 25 0 1 0 806362125 48377856 10126 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11811 10126 300 300 0 11511 0
vsize: 47244
[startup+540.124 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 2493
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 21307 0 0 0 53954 61 0 0 25 0 1 0 806362125 48513024 10147 4294967295 134512640 135726644 3221224576 3221223072 134744006 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11844 10147 300 300 0 11544 0
vsize: 47376
[startup+550.123 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 2493
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 21528 0 0 0 54953 62 0 0 25 0 1 0 806362125 48648192 10171 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11877 10171 300 300 0 11577 0
vsize: 47508
[startup+560.123 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 2493
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 21545 0 0 0 55953 62 0 0 25 0 1 0 806362125 48648192 10188 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11877 10188 300 300 0 11577 0
vsize: 47508
[startup+570.124 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 2493
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 21761 0 0 0 56952 63 0 0 25 0 1 0 806362125 48648192 10207 4294967295 134512640 135726644 3221224576 3221223072 134743987 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11877 10207 300 300 0 11577 0
vsize: 47508
[startup+580.124 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 2493
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 21971 0 0 0 57952 64 0 0 25 0 1 0 806362125 48648192 10220 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11877 10220 300 300 0 11577 0
vsize: 47508
[startup+590.125 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 2493
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 21974 0 0 0 58952 64 0 0 25 0 1 0 806362125 48648192 10223 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11877 10223 300 300 0 11577 0
vsize: 47508
[startup+600.125 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 2493
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 22174 0 0 0 59951 65 0 0 25 0 1 0 806362125 48648192 10226 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11877 10226 300 300 0 11577 0
vsize: 47508
[startup+610.125 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 2493
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 22374 0 0 0 60951 65 0 0 25 0 1 0 806362125 48648192 10229 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11877 10229 300 300 0 11577 0
vsize: 47508
[startup+620.125 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 2493
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 22394 0 0 0 61951 66 0 0 25 0 1 0 806362125 48648192 10249 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11877 10249 300 300 0 11577 0
vsize: 47508
[startup+630.126 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 2493
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 22609 0 0 0 62950 66 0 0 25 0 1 0 806362125 48648192 10267 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11877 10267 300 300 0 11577 0
vsize: 47508
[startup+640.126 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 2493
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 22828 0 0 0 63950 67 0 0 25 0 1 0 806362125 48648192 10289 4294967295 134512640 135726644 3221224576 3221223072 134743961 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11877 10289 300 300 0 11577 0
vsize: 47508
[startup+650.126 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2493
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 22855 0 0 0 64949 67 0 0 25 0 1 0 806362125 48648192 10316 4294967295 134512640 135726644 3221224576 3221223072 134744022 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11877 10316 300 300 0 11577 0
vsize: 47508
[startup+660.127 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2493
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 23072 0 0 0 65949 68 0 0 25 0 1 0 806362125 48820224 10336 4294967295 134512640 135726644 3221224576 3221223072 134744011 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11919 10336 300 300 0 11619 0
vsize: 47676
[startup+670.128 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2493
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 23085 0 0 0 66949 68 0 0 25 0 1 0 806362125 48820224 10349 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11919 10349 300 300 0 11619 0
vsize: 47676
[startup+680.129 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2493
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 23296 0 0 0 67948 69 0 0 25 0 1 0 806362125 48820224 10363 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11919 10363 300 300 0 11619 0
vsize: 47676
[startup+690.129 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2493
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 23495 0 0 0 68947 70 0 0 25 0 1 0 806362125 48820224 10365 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11919 10365 300 300 0 11619 0
vsize: 47676
[startup+700.129 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2493
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 23518 0 0 0 69947 71 0 0 25 0 1 0 806362125 48955392 10388 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11952 10388 300 300 0 11652 0
vsize: 47808
[startup+710.137 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2493
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 23784 0 0 0 70947 71 0 0 25 0 1 0 806362125 49225728 10457 4294967295 134512640 135726644 3221224576 3221223072 134743961 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12018 10457 300 300 0 11718 0
vsize: 48072
[startup+720.138 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2493
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 24003 0 0 0 71946 72 0 0 25 0 1 0 806362125 49225728 10479 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12018 10479 300 300 0 11718 0
vsize: 48072
[startup+730.139 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2493
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 24027 0 0 0 72946 73 0 0 25 0 1 0 806362125 49225728 10503 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12018 10503 300 300 0 11718 0
vsize: 48072
[startup+740.139 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2493
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 24236 0 0 0 73946 73 0 0 25 0 1 0 806362125 49225728 10515 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12018 10515 300 300 0 11718 0
vsize: 48072
[startup+750.139 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2493
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 24239 0 0 0 74946 74 0 0 25 0 1 0 806362125 49225728 10518 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12018 10518 300 300 0 11718 0
vsize: 48072
[startup+760.139 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2493
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 24438 0 0 0 75945 74 0 0 25 0 1 0 806362125 49225728 10520 4294967295 134512640 135726644 3221224576 3221223072 134744220 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12018 10520 300 300 0 11718 0
vsize: 48072
[startup+770.139 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2493
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 24638 0 0 0 76945 75 0 0 25 0 1 0 806362125 49225728 10523 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12018 10523 300 300 0 11718 0
vsize: 48072
[startup+780.139 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2493
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 24654 0 0 0 77945 75 0 0 25 0 1 0 806362125 49225728 10539 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12018 10539 300 300 0 11718 0
vsize: 48072
[startup+790.14 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2493
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 24869 0 0 0 78944 76 0 0 25 0 1 0 806362125 49225728 10557 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12018 10557 300 300 0 11718 0
vsize: 48072
[startup+800.14 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2493
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 25108 0 0 0 79944 76 0 0 25 0 1 0 806362125 50167808 10796 4294967295 134512640 135726644 3221224576 3221222712 134761847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12248 10796 300 300 0 11948 0
vsize: 48992
[startup+810.141 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2495
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 25131 0 0 0 80943 77 0 0 25 0 1 0 806362125 57749504 10622 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14099 10622 300 300 0 13799 0
vsize: 56396
[startup+820.141 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2495
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 25341 0 0 0 81942 77 0 0 25 0 1 0 806362125 57749504 10635 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14099 10635 300 300 0 13799 0
vsize: 56396
[startup+830.142 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2495
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 25343 0 0 0 82942 78 0 0 25 0 1 0 806362125 57749504 10637 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14099 10637 300 300 0 13799 0
vsize: 56396
[startup+840.143 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2495
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 25543 0 0 0 83942 79 0 0 25 0 1 0 806362125 57749504 10640 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14099 10640 300 300 0 13799 0
vsize: 56396
[startup+850.143 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2495
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 25752 0 0 0 84941 79 0 0 25 0 1 0 806362125 57749504 10652 4294967295 134512640 135726644 3221224576 3221223072 134744056 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14099 10652 300 300 0 13799 0
vsize: 56396
[startup+860.145 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2495
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 25773 0 0 0 85942 79 0 0 25 0 1 0 806362125 57749504 10673 4294967295 134512640 135726644 3221224576 3221223072 134743907 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14099 10673 300 300 0 13799 0
vsize: 56396
[startup+870.146 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2495
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 25986 0 0 0 86942 79 0 0 25 0 1 0 806362125 57749504 10689 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14099 10689 300 300 0 13799 0
vsize: 56396
[startup+880.146 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2495
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 26200 0 0 0 87942 80 0 0 25 0 1 0 806362125 57749504 10706 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14099 10706 300 300 0 13799 0
vsize: 56396
[startup+890.147 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2495
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 26215 0 0 0 88941 80 0 0 25 0 1 0 806362125 57749504 10721 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14099 10721 300 300 0 13799 0
vsize: 56396
[startup+900.151 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2495
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 26422 0 0 0 89941 81 0 0 25 0 1 0 806362125 57749504 10731 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14099 10731 300 300 0 13799 0
vsize: 56396
[startup+910.152 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2495
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 26425 0 0 0 90941 81 0 0 25 0 1 0 806362125 57749504 10734 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14099 10734 300 300 0 13799 0
vsize: 56396
[startup+920.153 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2495
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 26624 0 0 0 91940 82 0 0 25 0 1 0 806362125 57749504 10736 4294967295 134512640 135726644 3221224576 3221223232 134731177 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14099 10736 300 300 0 13799 0
vsize: 56396
[startup+930.153 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2495
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 26827 0 0 0 92940 83 0 0 25 0 1 0 806362125 57896960 10742 4294967295 134512640 135726644 3221224576 3221223264 134744915 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14135 10742 300 300 0 13835 0
vsize: 56540
[startup+940.153 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2495
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 26832 0 0 0 93939 83 0 0 25 0 1 0 806362125 57896960 10747 4294967295 134512640 135726644 3221224576 3221223072 134743982 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14135 10747 300 300 0 13835 0
vsize: 56540
[startup+950.154 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2495
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 27034 0 0 0 94939 84 0 0 25 0 1 0 806362125 57896960 10752 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14135 10752 300 300 0 13835 0
vsize: 56540
[startup+960.155 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2495
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 27043 0 0 0 95939 84 0 0 25 0 1 0 806362125 57896960 10761 4294967295 134512640 135726644 3221224576 3221223072 134744235 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14135 10761 300 300 0 13835 0
vsize: 56540
[startup+970.162 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2495
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 27254 0 0 0 96939 85 0 0 25 0 1 0 806362125 57896960 10775 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14135 10775 300 300 0 13835 0
vsize: 56540
[startup+980.168 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2495
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 27471 0 0 0 97939 86 0 0 25 0 1 0 806362125 57896960 10795 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14135 10795 300 300 0 13835 0
vsize: 56540
[startup+990.169 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2495
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 27477 0 0 0 98939 86 0 0 25 0 1 0 806362125 57896960 10801 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14135 10801 300 300 0 13835 0
vsize: 56540
[startup+1000.17 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2495
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 27679 0 0 0 99938 87 0 0 25 0 1 0 806362125 58036224 10806 4294967295 134512640 135726644 3221224576 3221223072 134743982 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14169 10806 300 300 0 13869 0
vsize: 56676
[startup+1010.17 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2495
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 27693 0 0 0 100938 87 0 0 25 0 1 0 806362125 58036224 10820 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14169 10820 300 300 0 13869 0
vsize: 56676
[startup+1020.17 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2495
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 27914 0 0 0 101938 88 0 0 25 0 1 0 806362125 58036224 10844 4294967295 134512640 135726644 3221224576 3221223072 134743985 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14169 10844 300 300 0 13869 0
vsize: 56676
[startup+1030.17 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2495
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 28144 0 0 0 102936 89 0 0 25 0 1 0 806362125 58036224 10877 4294967295 134512640 135726644 3221224576 3221222816 135279084 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14169 10877 300 300 0 13869 0
vsize: 56676
[startup+1040.19 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2495
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 28365 0 0 0 103937 90 0 0 25 0 1 0 806362125 58036224 10901 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14169 10901 300 300 0 13869 0
vsize: 56676
[startup+1050.19 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2495
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 28393 0 0 0 104937 90 0 0 25 0 1 0 806362125 58036224 10929 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14169 10929 300 300 0 13869 0
vsize: 56676
[startup+1060.19 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2495
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 28606 0 0 0 105936 91 0 0 25 0 1 0 806362125 58036224 10945 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14169 10945 300 300 0 13869 0
vsize: 56676
[startup+1070.19 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2495
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 28625 0 0 0 106936 91 0 0 25 0 1 0 806362125 58036224 10964 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14169 10964 300 300 0 13869 0
vsize: 56676
[startup+1080.19 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2495
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 28825 0 0 0 107936 92 0 0 25 0 1 0 806362125 58036224 10967 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14169 10967 300 300 0 13869 0
vsize: 56676
[startup+1090.2 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2495
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 28847 0 0 0 108936 92 0 0 25 0 1 0 806362125 58036224 10989 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14169 10989 300 300 0 13869 0
vsize: 56676
[startup+1100.2 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2495
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 29076 0 0 0 109935 94 0 0 25 0 1 0 806362125 58175488 11021 4294967295 134512640 135726644 3221224576 3221223072 134744260 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14203 11021 300 300 0 13903 0
vsize: 56812
[startup+1110.2 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2495
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 29321 0 0 0 110934 95 0 0 25 0 1 0 806362125 58318848 11069 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14238 11069 300 300 0 13938 0
vsize: 56952
[startup+1120.2 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2495
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 29342 0 0 0 111934 95 0 0 25 0 1 0 806362125 58318848 11090 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14238 11090 300 300 0 13938 0
vsize: 56952
[startup+1130.2 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2495
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 29563 0 0 0 112934 96 0 0 25 0 1 0 806362125 58318848 11114 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14238 11114 300 300 0 13938 0
vsize: 56952
[startup+1140.2 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2495
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 29583 0 0 0 113934 96 0 0 25 0 1 0 806362125 58318848 11134 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14238 11134 300 300 0 13938 0
vsize: 56952
[startup+1150.2 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2495
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 29787 0 0 0 114933 96 0 0 25 0 1 0 806362125 58318848 11141 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14238 11141 300 300 0 13938 0
vsize: 56952
[startup+1160.2 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2495
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 29989 0 0 0 115933 97 0 0 25 0 1 0 806362125 58318848 11146 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14238 11146 300 300 0 13938 0
vsize: 56952
[startup+1170.2 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2495
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 29992 0 0 0 116933 97 0 0 25 0 1 0 806362125 58318848 11149 4294967295 134512640 135726644 3221224576 3221223232 134731265 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14238 11149 300 300 0 13938 0
vsize: 56952
[startup+1180.2 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2495
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 30195 0 0 0 117932 98 0 0 25 0 1 0 806362125 58318848 11155 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14238 11155 300 300 0 13938 0
vsize: 56952
[startup+1190.2 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2495
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 30201 0 0 0 118932 98 0 0 25 0 1 0 806362125 58318848 11161 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14238 11161 300 300 0 13938 0
vsize: 56952
[startup+1200.2 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2495
Raw data (stat): 2438 (pb2sat) R 2437 25830 25829 0 -1 0 30407 0 0 0 119932 99 0 0 25 0 1 0 806362125 58458112 11170 4294967295 134512640 135726644 3221224576 3221223168 134759982 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14272 11170 300 300 0 13972 0
vsize: 57088
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.49 s]
Raw data (loadavg): 1.00 1.00 0.92 1/54 2495
Raw data (stat): 2438 (pb2sat) Z 2437 25830 25829 0 -1 12 30408 0 0 0 119958 101 0 0 25 0 1 0 806362125 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.49
CPU time (s): 1200.6
CPU user time (s): 1199.59
CPU system time (s): 1.01484
CPU usage (%): 100.009
Max. virtual memory (Kb): 57088
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####