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:20:4.5:0.95:98.opb
MD5SUM	a89f4ed95903fddf213992506514bcf0
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	16
Optimality of the best value was proved	NO
Number of terms in the objective function	906
Biggest coefficient in the objective function	553
Number of bits for the biggest coefficient in the objective function	10
Sum of the numbers in the objective function	2526
Number of bits of the sum of numbers in the objective function	12
Biggest number in a constraint	553
Number of bits of the biggest number in a constraint	10
Biggest sum of numbers in a constraint	2526
Number of bits of the biggest sum of numbers	12
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.04184
Number of variables	906
Total number of constraints	1944
Number of constraints which are clauses	852
Number of constraints which are cardinality constraints (but not clauses)	1092
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	18
Trace number 35088

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc19 THE 2005-05-28 11:53:52 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24297 boxname=wulflinc19 idbench=371 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  a89f4ed95903fddf213992506514bcf0  /oldhome/oroussel/tmp/wulflinc19/normalized-10:20:4.5:0.95:98.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc19/normalized-10:20:4.5:0.95:98.opb
IDLAUNCH: 24297
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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	: 3
cpu MHz		: 451.037
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:        441312 kB
Buffers:         33548 kB
Cached:         530504 kB
SwapCached:        960 kB
Active:          43756 kB
Inactive:       522376 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        441060 kB
SwapTotal:     2097892 kB
SwapFree:      2096060 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           4936 kB
Slab:            21612 kB
Committed_AS:    63592 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-28 12:13:55 (client local time) WITH STATUS 0 IN 1201.55 SECONDS
stats: 24297 7 1201.55 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

Decision: 231632/539391	Time: 593.065/86400
Decision: 231634/539391	Time: 723.313/86400
Decision: 231634/539391	Time: 807.242/86400
Decision: 231634/539391	Time: 899.028/86400
Decision: 231634/539391	Time: 995.401/86400
Decision: 231634/539391	Time: 1096.08/86400s UNKNOWN
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.91 0.95 0.90 2/54 19501
Raw data (stat): 19501 (runsolver) R 19500 10795 10794 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 864589016 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0006 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 19501
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 30426 0 0 0 938 61 0 0 25 0 1 0 864589016 90259456 19508 4294967295 134512640 135726644 3221224576 3221117656 135280658 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22036 19508 300 300 0 21736 0
vsize: 88144
[startup+20.0016 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 19501
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 60042 0 0 0 1876 123 0 0 25 0 1 0 864589016 177737728 38154 4294967295 134512640 135726644 3221224576 3221142892 134604422 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43393 38154 300 300 0 43093 0
vsize: 173572
[startup+30.0022 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 19501
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 97296 0 0 0 2796 202 0 0 25 0 1 0 864589016 306163712 52761 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 74747 52761 300 300 0 74447 0
vsize: 298988
[startup+40.0019 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 19501
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 97324 0 0 0 3796 202 0 0 25 0 1 0 864589016 306298880 52789 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 74780 52789 300 300 0 74480 0
vsize: 299120
[startup+50.002 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 19501
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 97476 0 0 0 4796 203 0 0 25 0 1 0 864589016 307232768 52941 4294967295 134512640 135726644 3221224576 3221223232 134731253 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75008 52941 300 300 0 74708 0
vsize: 300032
[startup+60.0025 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 19501
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 97507 0 0 0 5796 203 0 0 25 0 1 0 864589016 307367936 52972 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75041 52972 300 300 0 74741 0
vsize: 300164
[startup+70.0024 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 19501
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 98133 0 0 0 6795 204 0 0 25 0 1 0 864589016 310046720 53400 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75695 53400 300 300 0 75395 0
vsize: 302780
[startup+80.0034 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 19501
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 98649 0 0 0 7794 205 0 0 25 0 1 0 864589016 312053760 53751 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 76185 53751 300 300 0 75885 0
vsize: 304740
[startup+90.0029 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 19501
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 98869 0 0 0 8794 206 0 0 25 0 1 0 864589016 313122816 53905 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 76446 53905 300 300 0 76146 0
vsize: 305784
[startup+100.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 19501
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 99269 0 0 0 9793 207 0 0 25 0 1 0 864589016 314454016 54141 4294967295 134512640 135726644 3221224576 3221223200 134744578 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 76771 54141 300 300 0 76471 0
vsize: 307084
[startup+110.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 19501
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 99632 0 0 0 10792 208 0 0 25 0 1 0 864589016 316063744 54405 4294967295 134512640 135726644 3221224576 3221223072 134744126 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 77164 54405 300 300 0 76864 0
vsize: 308656
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19501
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 99728 0 0 0 11792 208 0 0 25 0 1 0 864589016 316465152 54468 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 77262 54468 300 300 0 76962 0
vsize: 309048
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19501
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 100018 0 0 0 12791 209 0 0 25 0 1 0 864589016 317263872 54660 4294967295 134512640 135726644 3221224576 3221223072 134744331 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 77457 54660 300 300 0 77157 0
vsize: 309828
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19501
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 100195 0 0 0 13791 210 0 0 25 0 1 0 864589016 317931520 54771 4294967295 134512640 135726644 3221224576 3221222896 134728895 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 77620 54771 300 300 0 77320 0
vsize: 310480
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19501
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 100252 0 0 0 14791 210 0 0 25 0 1 0 864589016 318062592 54795 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 77652 54795 300 300 0 77352 0
vsize: 310608
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19501
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 100557 0 0 0 15790 211 0 0 25 0 1 0 864589016 319401984 55001 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 77979 55001 300 300 0 77679 0
vsize: 311916
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19501
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 100699 0 0 0 16789 212 0 0 25 0 1 0 864589016 320212992 55143 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 78177 55143 300 300 0 77877 0
vsize: 312708
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19501
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 100809 0 0 0 17789 212 0 0 25 0 1 0 864589016 320614400 55220 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 78275 55220 300 300 0 77975 0
vsize: 313100
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19501
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 100890 0 0 0 18789 212 0 0 25 0 1 0 864589016 321150976 55301 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 78406 55301 300 300 0 78106 0
vsize: 313624
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19501
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 100898 0 0 0 19789 212 0 0 25 0 1 0 864589016 321150976 55309 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 78406 55309 300 300 0 78106 0
vsize: 313624
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19501
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 100991 0 0 0 20789 213 0 0 25 0 1 0 864589016 321552384 55369 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 78504 55369 300 300 0 78204 0
vsize: 314016
[startup+220.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19501
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 101291 0 0 0 21788 214 0 0 25 0 1 0 864589016 322621440 55570 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 78765 55570 300 300 0 78465 0
vsize: 315060
[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19501
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 101514 0 0 0 22788 214 0 0 25 0 1 0 864589016 323551232 55728 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 78992 55728 300 300 0 78692 0
vsize: 315968
[startup+240.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19501
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 101668 0 0 0 23788 214 0 0 25 0 1 0 864589016 323813376 55816 4294967295 134512640 135726644 3221224576 3221223072 134743987 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79056 55816 300 300 0 78756 0
vsize: 316224
[startup+250.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19501
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 101816 0 0 0 24788 214 0 0 25 0 1 0 864589016 324206592 55866 4294967295 134512640 135726644 3221224576 3221223168 134760424 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79152 55866 300 300 0 78852 0
vsize: 316608
[startup+260.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19501
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 101874 0 0 0 25788 215 0 0 25 0 1 0 864589016 324337664 55891 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79184 55891 300 300 0 78884 0
vsize: 316736
[startup+270.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19501
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 101992 0 0 0 26788 215 0 0 25 0 1 0 864589016 324734976 55976 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79281 55976 300 300 0 78981 0
vsize: 317124
[startup+280.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19501
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 102182 0 0 0 27787 216 0 0 25 0 1 0 864589016 325533696 56100 4294967295 134512640 135726644 3221224576 3221223232 134731258 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79476 56100 300 300 0 79176 0
vsize: 317904
[startup+290.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19501
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 102600 0 0 0 28786 217 0 0 25 0 1 0 864589016 326717440 56290 4294967295 134512640 135726644 3221224576 3221223264 134744911 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79765 56290 300 300 0 79465 0
vsize: 319060
[startup+300.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19501
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 102720 0 0 0 29786 217 0 0 25 0 1 0 864589016 327114752 56344 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79862 56344 300 300 0 79562 0
vsize: 319448
[startup+310.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19501
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 103446 0 0 0 30784 220 0 0 25 0 1 0 864589016 329093120 56678 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 80345 56678 300 300 0 80045 0
vsize: 321380
[startup+320.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19501
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 103574 0 0 0 31784 220 0 0 25 0 1 0 864589016 329629696 56773 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 80476 56773 300 300 0 80176 0
vsize: 321904
[startup+330.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19501
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 103740 0 0 0 32783 221 0 0 25 0 1 0 864589016 330027008 56873 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 80573 56873 300 300 0 80273 0
vsize: 322292
[startup+340.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19501
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 103830 0 0 0 33783 221 0 0 25 0 1 0 864589016 330293248 56930 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 80638 56930 300 300 0 80338 0
vsize: 322552
[startup+350.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19501
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 104031 0 0 0 34782 222 0 0 25 0 1 0 864589016 330821632 57032 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 80767 57032 300 300 0 80467 0
vsize: 323068
[startup+360.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19501
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 104120 0 0 0 35782 222 0 0 25 0 1 0 864589016 331087872 57088 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 80832 57088 300 300 0 80532 0
vsize: 323328
[startup+370.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19501
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 104245 0 0 0 36782 223 0 0 25 0 1 0 864589016 331485184 57147 4294967295 134512640 135726644 3221224576 3221223072 134743875 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 80929 57147 300 300 0 80629 0
vsize: 323716
[startup+380.012 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 19554
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 104368 0 0 0 37781 224 0 0 25 0 1 0 864589016 331747328 57204 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 80993 57204 300 300 0 80693 0
vsize: 323972
[startup+390.012 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 19554
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 104428 0 0 0 38780 224 0 0 25 0 1 0 864589016 331878400 57231 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 81025 57231 300 300 0 80725 0
vsize: 324100
[startup+400.013 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 19554
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 104623 0 0 0 39780 225 0 0 25 0 1 0 864589016 332541952 57360 4294967295 134512640 135726644 3221224576 3221223232 134731263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 81187 57360 300 300 0 80887 0
vsize: 324748
[startup+410.014 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 19554
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 104631 0 0 0 40780 226 0 0 25 0 1 0 864589016 332541952 57368 4294967295 134512640 135726644 3221224576 3221223184 134744646 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 81187 57368 300 300 0 80887 0
vsize: 324748
[startup+420.014 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 19554
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 104674 0 0 0 41779 227 0 0 25 0 1 0 864589016 332673024 57378 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 81219 57378 300 300 0 80919 0
vsize: 324876
[startup+430.014 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 19554
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 104975 0 0 0 42778 228 0 0 25 0 1 0 864589016 333594624 57482 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 81444 57482 300 300 0 81144 0
vsize: 325776
[startup+440.014 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 19554
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 105063 0 0 0 43777 229 0 0 25 0 1 0 864589016 333860864 57537 4294967295 134512640 135726644 3221224576 3221223168 134743857 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 81509 57537 300 300 0 81209 0
vsize: 326036
[startup+450.014 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 19556
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 105155 0 0 0 44776 230 0 0 25 0 1 0 864589016 334123008 57564 4294967295 134512640 135726644 3221224576 3221223072 134743996 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 81573 57564 300 300 0 81273 0
vsize: 326292
[startup+460.015 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 19556
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 105211 0 0 0 45776 231 0 0 25 0 1 0 864589016 334254080 57587 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 81605 57587 300 300 0 81305 0
vsize: 326420
[startup+470.015 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 19556
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 105379 0 0 0 46775 231 0 0 25 0 1 0 864589016 334786560 57689 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 81735 57689 300 300 0 81435 0
vsize: 326940
[startup+480.016 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 19556
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 105539 0 0 0 47774 232 0 0 25 0 1 0 864589016 335450112 57784 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 81897 57784 300 300 0 81597 0
vsize: 327588
[startup+490.016 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 19556
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 105552 0 0 0 48774 233 0 0 25 0 1 0 864589016 335450112 57797 4294967295 134512640 135726644 3221224576 3221223232 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 81897 57797 300 300 0 81597 0
vsize: 327588
[startup+500.016 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 19556
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 105704 0 0 0 49772 235 0 0 25 0 1 0 864589016 335847424 57883 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 81994 57883 300 300 0 81694 0
vsize: 327976
[startup+510.017 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 19556
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 105815 0 0 0 50772 235 0 0 25 0 1 0 864589016 336113664 57961 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 82059 57961 300 300 0 81759 0
vsize: 328236
[startup+520.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19556
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 105904 0 0 0 51771 237 0 0 25 0 1 0 864589016 336519168 58050 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 82158 58050 300 300 0 81858 0
vsize: 328632
[startup+530.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19556
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 106050 0 0 0 52770 238 0 0 25 0 1 0 864589016 336912384 58098 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 82254 58098 300 300 0 81954 0
vsize: 329016
[startup+540.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19556
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 106052 0 0 0 53770 238 0 0 25 0 1 0 864589016 336912384 58100 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 82254 58100 300 300 0 81954 0
vsize: 329016
[startup+550.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19556
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 106134 0 0 0 54769 239 0 0 25 0 1 0 864589016 337178624 58149 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 82319 58149 300 300 0 82019 0
vsize: 329276
[startup+560.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19556
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 106249 0 0 0 55768 240 0 0 25 0 1 0 864589016 337580032 58231 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 82417 58231 300 300 0 82117 0
vsize: 329668
[startup+570.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19556
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 106252 0 0 0 56768 240 0 0 25 0 1 0 864589016 337580032 58234 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 82417 58234 300 300 0 82117 0
vsize: 329668
[startup+580.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19556
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 106310 0 0 0 57768 241 0 0 25 0 1 0 864589016 337711104 58259 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 82449 58259 300 300 0 82149 0
vsize: 329796
[startup+590.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19556
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 106311 0 0 0 58767 242 0 0 25 0 1 0 864589016 337711104 58260 4294967295 134512640 135726644 3221224576 3221223072 134743999 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 82449 58260 300 300 0 82149 0
vsize: 329796
[startup+600.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19556
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 106377 0 0 0 59767 242 0 0 25 0 1 0 864589016 337842176 58293 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 82481 58293 300 300 0 82181 0
vsize: 329924
[startup+610.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19556
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 106473 0 0 0 60767 243 0 0 25 0 1 0 864589016 338108416 58356 4294967295 134512640 135726644 3221224576 3221222940 135287443 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 82546 58356 300 300 0 82246 0
vsize: 330184
[startup+620.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19556
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 107586 0 0 0 61764 247 0 0 25 0 1 0 864589016 338239488 58382 4294967295 134512640 135726644 3221224576 3221223200 134779658 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 82578 58382 300 300 0 82278 0
vsize: 330312
[startup+630.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19556
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 107743 0 0 0 62763 248 0 0 25 0 1 0 864589016 338636800 58473 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 82675 58473 300 300 0 82375 0
vsize: 330700
[startup+640.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19556
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 107824 0 0 0 63762 249 0 0 25 0 1 0 864589016 338767872 58521 4294967295 134512640 135726644 3221224576 3221223072 134743996 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 82707 58521 300 300 0 82407 0
vsize: 330828
[startup+650.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19556
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 107866 0 0 0 64762 249 0 0 25 0 1 0 864589016 338903040 58563 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 82740 58563 300 300 0 82440 0
vsize: 330960
[startup+660.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19556
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 107881 0 0 0 65762 250 0 0 25 0 1 0 864589016 338903040 58578 4294967295 134512640 135726644 3221224576 3221223264 134744911 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 82740 58578 300 300 0 82440 0
vsize: 330960
[startup+670.039 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19556
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 107992 0 0 0 66762 250 0 0 25 0 1 0 864589016 339431424 58624 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 82869 58624 300 300 0 82569 0
vsize: 331476
[startup+680.039 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19556
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 108039 0 0 0 67761 251 0 0 25 0 1 0 864589016 339431424 58671 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 82869 58671 300 300 0 82569 0
vsize: 331476
[startup+690.039 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19556
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 108190 0 0 0 68760 252 0 0 25 0 1 0 864589016 339693568 58757 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 82933 58757 300 300 0 82633 0
vsize: 331732
[startup+700.039 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19556
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 108821 0 0 0 69758 254 0 0 25 0 1 0 864589016 341798912 58997 4294967295 134512640 135726644 3221224576 3221223072 134743875 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 83447 58997 300 300 0 83147 0
vsize: 333788
[startup+710.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19556
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 108908 0 0 0 70758 255 0 0 25 0 1 0 864589016 342061056 59019 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 83511 59019 300 300 0 83211 0
vsize: 334044
[startup+720.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19556
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 109027 0 0 0 71757 256 0 0 25 0 1 0 864589016 342458368 59105 4294967295 134512640 135726644 3221224576 3221223072 134744295 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 83608 59105 300 300 0 83308 0
vsize: 334432
[startup+730.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19556
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 109191 0 0 0 72757 257 0 0 25 0 1 0 864589016 342851584 59171 4294967295 134512640 135726644 3221224576 3221223228 134744472 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 83704 59171 300 300 0 83404 0
vsize: 334816
[startup+740.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19556
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 109196 0 0 0 73756 257 0 0 25 0 1 0 864589016 342851584 59176 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 83704 59176 300 300 0 83404 0
vsize: 334816
[startup+750.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19558
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 110276 0 0 0 74753 260 0 0 25 0 1 0 864589016 347168768 60256 4294967295 134512640 135726644 3221224576 3221222736 134765513 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 84758 60256 300 300 0 84458 0
vsize: 339032
[startup+760.041 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19558
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 110309 0 0 0 75753 261 0 0 25 0 1 0 864589016 342851584 59235 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 83704 59235 300 300 0 83404 0
vsize: 334816
[startup+770.042 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19558
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 110311 0 0 0 76753 261 0 0 25 0 1 0 864589016 342851584 59237 4294967295 134512640 135726644 3221224576 3221222896 134728895 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 83704 59237 300 300 0 83404 0
vsize: 334816
[startup+780.042 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19558
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 110337 0 0 0 77753 261 0 0 25 0 1 0 864589016 342851584 59263 4294967295 134512640 135726644 3221224576 3221223264 134744911 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 83704 59264 300 300 0 83404 0
vsize: 334816
[startup+790.042 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19558
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 110347 0 0 0 78752 262 0 0 25 0 1 0 864589016 342851584 59273 4294967295 134512640 135726644 3221224576 3221223264 134744911 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 83704 59273 300 300 0 83404 0
vsize: 334816
[startup+800.042 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19558
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 110348 0 0 0 79752 262 0 0 25 0 1 0 864589016 342851584 59274 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 83704 59274 300 300 0 83404 0
vsize: 334816
[startup+810.043 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19558
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 110349 0 0 0 80753 262 0 0 25 0 1 0 864589016 342851584 59275 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 83704 59275 300 300 0 83404 0
vsize: 334816
[startup+820.043 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19558
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 110443 0 0 0 81752 262 0 0 25 0 1 0 864589016 343113728 59304 4294967295 134512640 135726644 3221224576 3221223072 134743982 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 83768 59304 300 300 0 83468 0
vsize: 335072
[startup+830.043 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19558
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 110448 0 0 0 82752 263 0 0 25 0 1 0 864589016 343113728 59309 4294967295 134512640 135726644 3221224576 3221223232 134745088 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 83768 59309 300 300 0 83468 0
vsize: 335072
[startup+840.043 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19558
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 111508 0 0 0 83750 265 0 0 25 0 1 0 864589016 343113728 59315 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 83768 59315 300 300 0 83468 0
vsize: 335072
[startup+850.043 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19558
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 111510 0 0 0 84750 265 0 0 25 0 1 0 864589016 343113728 59317 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 83768 59317 300 300 0 83468 0
vsize: 335072
[startup+860.044 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19558
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 111512 0 0 0 85750 266 0 0 25 0 1 0 864589016 343113728 59319 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 83768 59319 300 300 0 83468 0
vsize: 335072
[startup+870.043 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19558
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 111529 0 0 0 86749 266 0 0 25 0 1 0 864589016 343113728 59336 4294967295 134512640 135726644 3221224576 3221223200 134744620 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 83768 59336 300 300 0 83468 0
vsize: 335072
[startup+880.044 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19558
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 111531 0 0 0 87750 266 0 0 25 0 1 0 864589016 343113728 59338 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 83768 59338 300 300 0 83468 0
vsize: 335072
[startup+890.044 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19558
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 111535 0 0 0 88750 266 0 0 25 0 1 0 864589016 343113728 59342 4294967295 134512640 135726644 3221224576 3221223188 134744633 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 83768 59342 300 300 0 83468 0
vsize: 335072
[startup+900.044 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19558
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 111541 0 0 0 89749 267 0 0 25 0 1 0 864589016 343113728 59348 4294967295 134512640 135726644 3221224576 3221223072 134744235 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 83768 59348 300 300 0 83468 0
vsize: 335072
[startup+910.044 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19558
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 111588 0 0 0 90749 267 0 0 25 0 1 0 864589016 343244800 59362 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 83800 59362 300 300 0 83500 0
vsize: 335200
[startup+920.046 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19558
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 111599 0 0 0 91749 267 0 0 25 0 1 0 864589016 343244800 59373 4294967295 134512640 135726644 3221224576 3221223072 134744025 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 83800 59373 300 300 0 83500 0
vsize: 335200
[startup+930.046 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19558
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 112654 0 0 0 92747 270 0 0 25 0 1 0 864589016 343244800 59374 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 83800 59374 300 300 0 83500 0
vsize: 335200
[startup+940.047 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19558
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 112655 0 0 0 93746 270 0 0 25 0 1 0 864589016 343244800 59375 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 83800 59375 300 300 0 83500 0
vsize: 335200
[startup+950.058 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19558
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 112657 0 0 0 94747 271 0 0 25 0 1 0 864589016 343244800 59377 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 83800 59377 300 300 0 83500 0
vsize: 335200
[startup+960.058 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19558
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 112658 0 0 0 95747 271 0 0 25 0 1 0 864589016 343244800 59378 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 83800 59378 300 300 0 83500 0
vsize: 335200
[startup+970.058 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19558
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 112659 0 0 0 96747 271 0 0 25 0 1 0 864589016 343244800 59379 4294967295 134512640 135726644 3221224576 3221223072 134743982 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 83800 59379 300 300 0 83500 0
vsize: 335200
[startup+980.058 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19558
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 112662 0 0 0 97747 271 0 0 25 0 1 0 864589016 343244800 59382 4294967295 134512640 135726644 3221224576 3221223072 134744295 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 83800 59382 300 300 0 83500 0
vsize: 335200
[startup+990.059 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19558
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 112664 0 0 0 98747 271 0 0 25 0 1 0 864589016 343244800 59384 4294967295 134512640 135726644 3221224576 3221223072 134744113 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 83800 59384 300 300 0 83500 0
vsize: 335200
[startup+1000.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19558
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 112667 0 0 0 99747 272 0 0 25 0 1 0 864589016 343244800 59387 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 83800 59387 300 300 0 83500 0
vsize: 335200
[startup+1010.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19558
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 112668 0 0 0 100747 272 0 0 25 0 1 0 864589016 343244800 59388 4294967295 134512640 135726644 3221224576 3221223072 134744220 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 83800 59388 300 300 0 83500 0
vsize: 335200
[startup+1020.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19558
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 112671 0 0 0 101747 272 0 0 25 0 1 0 864589016 343244800 59391 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 83800 59391 300 300 0 83500 0
vsize: 335200
[startup+1030.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19558
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 113725 0 0 0 102744 275 0 0 25 0 1 0 864589016 343244800 59391 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 83800 59391 300 300 0 83500 0
vsize: 335200
[startup+1040.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19558
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 113727 0 0 0 103744 275 0 0 25 0 1 0 864589016 343244800 59393 4294967295 134512640 135726644 3221224576 3221223072 134744011 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 83800 59393 300 300 0 83500 0
vsize: 335200
[startup+1050.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19558
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 113729 0 0 0 104744 276 0 0 25 0 1 0 864589016 343244800 59395 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 83800 59395 300 300 0 83500 0
vsize: 335200
[startup+1060.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19558
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 113838 0 0 0 105744 276 0 0 25 0 1 0 864589016 343638016 59406 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 83896 59406 300 300 0 83596 0
vsize: 335584
[startup+1070.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19558
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 113841 0 0 0 106744 276 0 0 25 0 1 0 864589016 343638016 59409 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 83896 59409 300 300 0 83596 0
vsize: 335584
[startup+1080.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19558
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 113848 0 0 0 107744 276 0 0 25 0 1 0 864589016 343638016 59416 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 83896 59416 300 300 0 83596 0
vsize: 335584
[startup+1090.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19558
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 113850 0 0 0 108744 277 0 0 25 0 1 0 864589016 343638016 59418 4294967295 134512640 135726644 3221224576 3221223072 134744220 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 83896 59418 300 300 0 83596 0
vsize: 335584
[startup+1100.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19558
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 113853 0 0 0 109744 277 0 0 25 0 1 0 864589016 343638016 59421 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 83896 59421 300 300 0 83596 0
vsize: 335584
[startup+1110.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19558
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 113855 0 0 0 110744 277 0 0 25 0 1 0 864589016 343638016 59423 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 83896 59423 300 300 0 83596 0
vsize: 335584
[startup+1120.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19558
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 113878 0 0 0 111743 278 0 0 25 0 1 0 864589016 343638016 59446 4294967295 134512640 135726644 3221224576 3221223088 134742493 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 83896 59446 300 300 0 83596 0
vsize: 335584
[startup+1130.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19558
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 114943 0 0 0 112741 280 0 0 25 0 1 0 864589016 343638016 59457 4294967295 134512640 135726644 3221224576 3221222896 134728861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 83896 59457 300 300 0 83596 0
vsize: 335584
[startup+1140.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19558
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 114944 0 0 0 113742 280 0 0 25 0 1 0 864589016 343638016 59458 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 83896 59458 300 300 0 83596 0
vsize: 335584
[startup+1150.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19558
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 114944 0 0 0 114742 281 0 0 25 0 1 0 864589016 343638016 59458 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 83896 59458 300 300 0 83596 0
vsize: 335584
[startup+1160.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19558
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 115032 0 0 0 115742 281 0 0 25 0 1 0 864589016 343900160 59481 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 83960 59481 300 300 0 83660 0
vsize: 335840
[startup+1170.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19558
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 115033 0 0 0 116741 281 0 0 25 0 1 0 864589016 343900160 59482 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 83960 59482 300 300 0 83660 0
vsize: 335840
[startup+1180.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19558
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 115056 0 0 0 117741 281 0 0 25 0 1 0 864589016 343900160 59505 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 83960 59505 300 300 0 83660 0
vsize: 335840
[startup+1190.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19558
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 115056 0 0 0 118741 281 0 0 25 0 1 0 864589016 343900160 59505 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 83960 59505 300 300 0 83660 0
vsize: 335840
[startup+1200.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19558
Raw data (stat): 19501 (pb2sat) R 19500 10795 10794 0 -1 0 115057 0 0 0 119741 282 0 0 25 0 1 0 864589016 343900160 59506 4294967295 134512640 135726644 3221224576 3221223072 134744311 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 83960 59506 300 300 0 83660 0
vsize: 335840
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1201.38 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 19558
Raw data (stat): 19501 (pb2sat) Z 19500 10795 10794 0 -1 12 115058 0 0 0 119861 293 0 0 25 0 1 0 864589016 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.55
CPU user time (s): 1198.61
CPU system time (s): 2.93555
CPU usage (%): 100.014
Max. virtual memory (Kb): 339032
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####