PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.ex.mem.LsqHdStrong.ucl.opb
MD5SUM	dcb6d1c3f66e900ae345e6fa455bef2a
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	130
Number of bits of the biggest number in a constraint	8
Biggest sum of numbers in a constraint	512
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	168111
Total number of constraints	487525
Number of constraints which are clauses	468727
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	18798
Minimum length of a constraint	1
Maximum length of a constraint	15
Trace number 34947

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-05-28 11:15:07 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24228 boxname=wulflinc2 idbench=302 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  dcb6d1c3f66e900ae345e6fa455bef2a  /oldhome/oroussel/tmp/wulflinc2/normalized-ooo.ex.mem.LsqHdStrong.ucl.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc2/normalized-ooo.ex.mem.LsqHdStrong.ucl.opb
IDLAUNCH: 24228
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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.191
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:        729312 kB
Buffers:         36940 kB
Cached:         244780 kB
SwapCached:        820 kB
Active:          36580 kB
Inactive:       247332 kB
HighTotal:      131008 kB
HighFree:        37912 kB
LowTotal:       903652 kB
LowFree:        691400 kB
SwapTotal:     2097136 kB
SwapFree:      2095480 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5340 kB
Slab:            15488 kB
Committed_AS:    71788 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-28 11:35:11 (client local time) WITH STATUS 0 IN 1202.02 SECONDS
stats: 24228 7 1202.02 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

Decision: 22516/538461	Time: 20.9958/86400
Decision: 23472/538461	Time: 60.3418/86400
Decision: 23503/538461	Time: 123.225/86400
Decision: 23505/538461	Time: 146.321/86400
Decision: 23505/538461	Time: 167.943/86400
Decision: 23505/538461	Time: 189.91/86400
Decision: 23809/538461	Time: 215.214/86400
Decision: 23811/538461	Time: 247.56/86400
Decision: 23854/538461	Time: 297.502/86400
Decision: 23854/538461	Time: 316.171/86400
Decision: 23854/538461	Time: 341.57/86400
Decision: 23854/538461	Time: 363.29/86400
Decision: 23854/538461	Time: 386.731/86400
Decision: 23889/538461	Time: 429.578/86400
Decision: 23889/538461	Time: 456.603/86400
Decision: 23889/538461	Time: 484.682/86400
Decision: 23895/538461	Time: 542.198/86400
Decision: 23895/538461	Time: 577.013/86400
Decision: 23918/538461	Time: 636.569/86400
Decision: 27724/538461	Time: 679.859/86400
Decision: 27783/538461	Time: 796.905/86400
Decision: 28034/538461	Time: 884.849/86400
Decision: 28034/538461	Time: 917.203/86400
Decision: 28044/538461	Time: 1047.78/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.86 0.95 0.90 1/54 8971
Raw data (stat): 8971 (runsolver) R 8970 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 806145940 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.0002 s]
Raw data (loadavg): 0.88 0.96 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 5238 0 0 0 985 14 0 0 25 0 1 0 806145940 17321984 3309 4294967295 134512640 135726644 3221224576 3221221520 134541148 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4229 3309 300 300 0 3929 0
vsize: 16916
[startup+20.0009 s]
Raw data (loadavg): 0.90 0.96 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 10356 0 0 0 1972 27 0 0 25 0 1 0 806145940 33366016 6404 4294967295 134512640 135726644 3221224576 3221221728 134573279 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8146 6404 300 300 0 7846 0
vsize: 32584
[startup+30.0011 s]
Raw data (loadavg): 0.92 0.96 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 14743 0 0 0 2960 39 0 0 25 0 1 0 806145940 48717824 9217 4294967295 134512640 135726644 3221224576 3221221776 134576138 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11894 9217 300 300 0 11594 0
vsize: 47576
[startup+40.0013 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 20495 0 0 0 3947 52 0 0 25 0 1 0 806145940 65454080 12502 4294967295 134512640 135726644 3221224576 3221221520 134541168 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15980 12502 300 300 0 15680 0
vsize: 63920
[startup+50.002 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 37480 0 0 0 4912 88 0 0 25 0 1 0 806145940 138170368 26048 4294967295 134512640 135726644 3221224576 3221219856 135280560 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 33733 26048 300 300 0 33433 0
vsize: 134932
[startup+60.0024 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 53990 0 0 0 5872 127 0 0 25 0 1 0 806145940 164818944 31606 4294967295 134512640 135726644 3221224576 3221215936 134607716 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40239 31606 300 300 0 39939 0
vsize: 160956
[startup+70.003 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 75311 0 0 0 6830 169 0 0 25 0 1 0 806145940 230801408 42072 4294967295 134512640 135726644 3221224576 3221223072 134744244 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 56348 42072 300 300 0 56048 0
vsize: 225392
[startup+80.0031 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 75646 0 0 0 7829 171 0 0 25 0 1 0 806145940 232267776 42341 4294967295 134512640 135726644 3221224576 3221223264 134744969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 56706 42341 300 300 0 56406 0
vsize: 226824
[startup+90.0044 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 76202 0 0 0 8827 173 0 0 25 0 1 0 806145940 235134976 42897 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57406 42897 300 300 0 57106 0
vsize: 229624
[startup+100.005 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 77278 0 0 0 9824 176 0 0 25 0 1 0 806145940 239996928 43760 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 58593 43760 300 300 0 58293 0
vsize: 234372
[startup+110.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 78175 0 0 0 10822 179 0 0 25 0 1 0 806145940 244027392 44492 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 59577 44492 300 300 0 59277 0
vsize: 238308
[startup+120.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 79064 0 0 0 11819 182 0 0 25 0 1 0 806145940 248180736 45183 4294967295 134512640 135726644 3221224576 3221223072 134744006 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 60591 45183 300 300 0 60291 0
vsize: 242364
[startup+130.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 80963 0 0 0 12814 186 0 0 25 0 1 0 806145940 251400192 45733 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 61377 45733 300 300 0 61077 0
vsize: 245508
[startup+140.006 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 81559 0 0 0 13813 188 0 0 25 0 1 0 806145940 253673472 46131 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 61932 46131 300 300 0 61632 0
vsize: 247728
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 82076 0 0 0 14811 190 0 0 25 0 1 0 806145940 256065536 46516 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 62516 46516 300 300 0 62216 0
vsize: 250064
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 82299 0 0 0 15809 192 0 0 25 0 1 0 806145940 256860160 46640 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 62710 46640 300 300 0 62410 0
vsize: 250840
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 82571 0 0 0 16808 193 0 0 25 0 1 0 806145940 257929216 46846 4294967295 134512640 135726644 3221224576 3221223168 134760424 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 62971 46846 300 300 0 62671 0
vsize: 251884
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 82941 0 0 0 17807 194 0 0 25 0 1 0 806145940 259125248 47051 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63263 47051 300 300 0 62963 0
vsize: 253052
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 84211 0 0 0 18803 199 0 0 25 0 1 0 806145940 259923968 47203 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63458 47203 300 300 0 63158 0
vsize: 253832
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 84692 0 0 0 19801 200 0 0 25 0 1 0 806145940 261939200 47585 4294967295 134512640 135726644 3221224576 3221223264 134744966 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63950 47585 300 300 0 63650 0
vsize: 255800
[startup+210.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 84873 0 0 0 20799 202 0 0 25 0 1 0 806145940 262746112 47733 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 64147 47733 300 300 0 63847 0
vsize: 256588
[startup+220.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 85964 0 0 0 21796 205 0 0 25 0 1 0 806145940 262881280 47772 4294967295 134512640 135726644 3221224576 3221223072 134744025 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 64180 47772 300 300 0 63880 0
vsize: 256720
[startup+230.007 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 86071 0 0 0 22795 206 0 0 25 0 1 0 806145940 263413760 47846 4294967295 134512640 135726644 3221224576 3221223232 134731248 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 64310 47846 300 300 0 64010 0
vsize: 257240
[startup+240.007 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 87378 0 0 0 23791 211 0 0 25 0 1 0 806145940 264073216 47969 4294967295 134512640 135726644 3221224576 3221223072 134743875 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 64471 47969 300 300 0 64171 0
vsize: 257884
[startup+250.007 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 87681 0 0 0 24789 213 0 0 25 0 1 0 806145940 264998912 48107 4294967295 134512640 135726644 3221224576 3221223176 134744138 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 64697 48107 300 300 0 64397 0
vsize: 258788
[startup+260.008 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 88812 0 0 0 25786 217 0 0 25 0 1 0 806145940 265265152 48186 4294967295 134512640 135726644 3221224576 3221223088 135279381 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 64762 48186 300 300 0 64462 0
vsize: 259048
[startup+270.008 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 89208 0 0 0 26784 219 0 0 25 0 1 0 806145940 266870784 48450 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 65154 48450 300 300 0 64854 0
vsize: 260616
[startup+280.008 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 90318 0 0 0 27780 223 0 0 25 0 1 0 806145940 271310848 49527 4294967295 134512640 135726644 3221224576 3221222728 134761841 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 66238 49527 300 300 0 65938 0
vsize: 264952
[startup+290.009 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 90477 0 0 0 28779 224 0 0 25 0 1 0 806145940 267534336 48568 4294967295 134512640 135726644 3221224576 3221222824 135281758 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 65316 48568 300 300 0 65016 0
vsize: 261264
[startup+300.009 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 90538 0 0 0 29778 225 0 0 25 0 1 0 806145940 267665408 48596 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 65348 48596 300 300 0 65048 0
vsize: 261392
[startup+310.01 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 91146 0 0 0 30776 227 0 0 25 0 1 0 806145940 269918208 49006 4294967295 134512640 135726644 3221224576 3221223168 134743857 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 65898 49006 300 300 0 65598 0
vsize: 263592
[startup+320.01 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 92247 0 0 0 31772 231 0 0 25 0 1 0 806145940 270184448 49055 4294967295 134512640 135726644 3221224576 3221223200 134744676 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 65963 49055 300 300 0 65663 0
vsize: 263852
[startup+330.01 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 92369 0 0 0 32772 231 0 0 25 0 1 0 806145940 270446592 49111 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 66027 49111 300 300 0 65727 0
vsize: 264108
[startup+340.011 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 92571 0 0 0 33771 232 0 0 25 0 1 0 806145940 271106048 49214 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 66188 49214 300 300 0 65888 0
vsize: 264752
[startup+350.011 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 92746 0 0 0 34770 234 0 0 25 0 1 0 806145940 271499264 49290 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 66284 49290 300 300 0 65984 0
vsize: 265136
[startup+360.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 93013 0 0 0 35768 236 0 0 25 0 1 0 806145940 272691200 49458 4294967295 134512640 135726644 3221224576 3221223072 134743961 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 66575 49458 300 300 0 66275 0
vsize: 266300
[startup+370.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 94185 0 0 0 36765 239 0 0 25 0 1 0 806145940 273354752 49545 4294967295 134512640 135726644 3221224576 3221223072 134743948 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 66737 49545 300 300 0 66437 0
vsize: 266948
[startup+380.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 94288 0 0 0 37764 240 0 0 25 0 1 0 806145940 273616896 49582 4294967295 134512640 135726644 3221224576 3221223088 134742194 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 66801 49582 300 300 0 66501 0
vsize: 267204
[startup+390.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 95435 0 0 0 38761 243 0 0 25 0 1 0 806145940 273879040 49611 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 66865 49611 300 300 0 66565 0
vsize: 267460
[startup+400.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 95476 0 0 0 39759 245 0 0 25 0 1 0 806145940 274010112 49619 4294967295 134512640 135726644 3221224576 3221223216 134744477 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 66897 49619 300 300 0 66597 0
vsize: 267588
[startup+410.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 96637 0 0 0 40757 248 0 0 25 0 1 0 806145940 274141184 49695 4294967295 134512640 135726644 3221224576 3221223072 134744153 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 66929 49695 300 300 0 66629 0
vsize: 267716
[startup+420.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 96710 0 0 0 41755 249 0 0 25 0 1 0 806145940 274673664 49768 4294967295 134512640 135726644 3221224576 3221223072 134743996 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 67059 49768 300 300 0 66759 0
vsize: 268236
[startup+430.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 97764 0 0 0 42752 252 0 0 25 0 1 0 806145940 274673664 49770 4294967295 134512640 135726644 3221224576 3221223216 134744477 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 67059 49770 300 300 0 66759 0
vsize: 268236
[startup+440.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 97805 0 0 0 43752 253 0 0 25 0 1 0 806145940 274939904 49811 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 67124 49811 300 300 0 66824 0
vsize: 268496
[startup+450.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 97854 0 0 0 44751 254 0 0 25 0 1 0 806145940 275070976 49827 4294967295 134512640 135726644 3221224576 3221223232 134731245 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 67156 49827 300 300 0 66856 0
vsize: 268624
[startup+460.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 98988 0 0 0 45747 257 0 0 25 0 1 0 806145940 275202048 49876 4294967295 134512640 135726644 3221224576 3221223232 134731245 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 67188 49876 300 300 0 66888 0
vsize: 268752
[startup+470.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 99145 0 0 0 46746 259 0 0 25 0 1 0 806145940 275869696 50000 4294967295 134512640 135726644 3221224576 3221223200 134744661 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 67351 50000 300 300 0 67051 0
vsize: 269404
[startup+480.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 99223 0 0 0 47746 259 0 0 25 0 1 0 806145940 276135936 50078 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 67416 50078 300 300 0 67116 0
vsize: 269664
[startup+490.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 99230 0 0 0 48745 260 0 0 25 0 1 0 806145940 276135936 50085 4294967295 134512640 135726644 3221224576 3221223072 134744235 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 67416 50085 300 300 0 67116 0
vsize: 269664
[startup+500.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 100331 0 0 0 49742 263 0 0 25 0 1 0 806145940 276267008 50101 4294967295 134512640 135726644 3221224576 3221223232 134731263 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 67448 50101 300 300 0 67148 0
vsize: 269792
[startup+510.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 100481 0 0 0 50741 264 0 0 25 0 1 0 806145940 276795392 50185 4294967295 134512640 135726644 3221224576 3221223072 134744320 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 67577 50185 300 300 0 67277 0
vsize: 270308
[startup+520.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 100525 0 0 0 51740 266 0 0 25 0 1 0 806145940 277061632 50229 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 67642 50229 300 300 0 67342 0
vsize: 270568
[startup+530.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 101586 0 0 0 52737 269 0 0 25 0 1 0 806145940 277061632 50238 4294967295 134512640 135726644 3221224576 3221223232 134731251 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 67642 50238 300 300 0 67342 0
vsize: 270568
[startup+540.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 101602 0 0 0 53736 270 0 0 25 0 1 0 806145940 277061632 50254 4294967295 134512640 135726644 3221224576 3221223168 134760402 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 67642 50254 300 300 0 67342 0
vsize: 270568
[startup+550.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 102665 0 0 0 54732 274 0 0 25 0 1 0 806145940 277061632 50265 4294967295 134512640 135726644 3221224576 3221223200 134779617 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 67642 50265 300 300 0 67342 0
vsize: 270568
[startup+560.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 102804 0 0 0 55731 275 0 0 25 0 1 0 806145940 277454848 50306 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 67738 50306 300 300 0 67438 0
vsize: 270952
[startup+570.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 102916 0 0 0 56730 276 0 0 25 0 1 0 806145940 277716992 50353 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 67802 50353 300 300 0 67502 0
vsize: 271208
[startup+580.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 103031 0 0 0 57728 278 0 0 25 0 1 0 806145940 277979136 50403 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 67866 50403 300 300 0 67566 0
vsize: 271464
[startup+590.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 103078 0 0 0 58727 279 0 0 25 0 1 0 806145940 278110208 50417 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 67898 50417 300 300 0 67598 0
vsize: 271592
[startup+600.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 103172 0 0 0 59726 281 0 0 25 0 1 0 806145940 278642688 50511 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68028 50511 300 300 0 67728 0
vsize: 272112
[startup+610.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 104230 0 0 0 60722 285 0 0 25 0 1 0 806145940 278642688 50517 4294967295 134512640 135726644 3221224576 3221223200 134744588 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68028 50517 300 300 0 67728 0
vsize: 272112
[startup+620.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 104313 0 0 0 61722 285 0 0 25 0 1 0 806145940 278773760 50567 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68060 50567 300 300 0 67760 0
vsize: 272240
[startup+630.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 104335 0 0 0 62720 287 0 0 25 0 1 0 806145940 278773760 50589 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68060 50589 300 300 0 67760 0
vsize: 272240
[startup+640.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 104377 0 0 0 63719 288 0 0 25 0 1 0 806145940 278904832 50598 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68092 50598 300 300 0 67792 0
vsize: 272368
[startup+650.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 105437 0 0 0 64716 291 0 0 25 0 1 0 806145940 278904832 50606 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68092 50606 300 300 0 67792 0
vsize: 272368
[startup+660.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 105489 0 0 0 65715 292 0 0 25 0 1 0 806145940 279035904 50625 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68124 50625 300 300 0 67824 0
vsize: 272496
[startup+670.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 105498 0 0 0 66714 294 0 0 25 0 1 0 806145940 279035904 50634 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68124 50634 300 300 0 67824 0
vsize: 272496
[startup+680.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 105503 0 0 0 67713 295 0 0 25 0 1 0 806145940 279035904 50639 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68124 50639 300 300 0 67824 0
vsize: 272496
[startup+690.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 105509 0 0 0 68712 296 0 0 25 0 1 0 806145940 279035904 50645 4294967295 134512640 135726644 3221224576 3221223232 134731245 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68124 50645 300 300 0 67824 0
vsize: 272496
[startup+700.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 105544 0 0 0 69711 297 0 0 25 0 1 0 806145940 279035904 50680 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68124 50680 300 300 0 67824 0
vsize: 272496
[startup+710.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 106602 0 0 0 70708 300 0 0 25 0 1 0 806145940 279035904 50686 4294967295 134512640 135726644 3221224576 3221223072 134744372 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68124 50686 300 300 0 67824 0
vsize: 272496
[startup+720.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 106611 0 0 0 71707 301 0 0 25 0 1 0 806145940 279035904 50695 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68124 50695 300 300 0 67824 0
vsize: 272496
[startup+730.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 106617 0 0 0 72706 302 0 0 25 0 1 0 806145940 279035904 50701 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68124 50701 300 300 0 67824 0
vsize: 272496
[startup+740.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 106625 0 0 0 73706 303 0 0 25 0 1 0 806145940 279035904 50709 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68124 50709 300 300 0 67824 0
vsize: 272496
[startup+750.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 107721 0 0 0 74703 306 0 0 25 0 1 0 806145940 279166976 50720 4294967295 134512640 135726644 3221224576 3221223184 134741062 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68156 50720 300 300 0 67856 0
vsize: 272624
[startup+760.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 107849 0 0 0 75701 308 0 0 25 0 1 0 806145940 279715840 50815 4294967295 134512640 135726644 3221224576 3221222824 135282548 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68290 50815 300 300 0 67990 0
vsize: 273160
[startup+770.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 107908 0 0 0 76700 308 0 0 25 0 1 0 806145940 279846912 50841 4294967295 134512640 135726644 3221224576 3221223228 134744472 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68322 50841 300 300 0 68022 0
vsize: 273288
[startup+780.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 107939 0 0 0 77699 310 0 0 25 0 1 0 806145940 279846912 50872 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68322 50872 300 300 0 68022 0
vsize: 273288
[startup+790.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 108008 0 0 0 78699 311 0 0 25 0 1 0 806145940 279977984 50908 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68354 50908 300 300 0 68054 0
vsize: 273416
[startup+800.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 108040 0 0 0 79698 312 0 0 25 0 1 0 806145940 280170496 50940 4294967295 134512640 135726644 3221224576 3221223072 134743872 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68401 50940 300 300 0 68101 0
vsize: 273604
[startup+810.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 108056 0 0 0 80697 312 0 0 25 0 1 0 806145940 280170496 50956 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68401 50956 300 300 0 68101 0
vsize: 273604
[startup+820.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 108116 0 0 0 81697 313 0 0 25 0 1 0 806145940 280436736 51016 4294967295 134512640 135726644 3221224576 3221223072 134744268 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68466 51016 300 300 0 68166 0
vsize: 273864
[startup+830.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 108152 0 0 0 82696 313 0 0 25 0 1 0 806145940 280436736 51052 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68466 51052 300 300 0 68166 0
vsize: 273864
[startup+840.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 108166 0 0 0 83696 314 0 0 25 0 1 0 806145940 280436736 51066 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68466 51066 300 300 0 68166 0
vsize: 273864
[startup+850.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 108172 0 0 0 84695 315 0 0 25 0 1 0 806145940 280436736 51072 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68466 51072 300 300 0 68166 0
vsize: 273864
[startup+860.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 109253 0 0 0 85692 318 0 0 25 0 1 0 806145940 284745728 52153 4294967295 134512640 135726644 3221224576 3221222728 134761841 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 69518 52153 300 300 0 69218 0
vsize: 278072
[startup+870.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 109269 0 0 0 86692 319 0 0 25 0 1 0 806145940 280436736 51117 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68466 51117 300 300 0 68166 0
vsize: 273864
[startup+880.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 109331 0 0 0 87691 320 0 0 25 0 1 0 806145940 280567808 51146 4294967295 134512640 135726644 3221224576 3221223072 134743883 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68498 51146 300 300 0 68198 0
vsize: 273992
[startup+890.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 109332 0 0 0 88690 321 0 0 25 0 1 0 806145940 280567808 51147 4294967295 134512640 135726644 3221224576 3221223072 134744041 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68498 51147 300 300 0 68198 0
vsize: 273992
[startup+900.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 109340 0 0 0 89688 322 0 0 25 0 1 0 806145940 280567808 51155 4294967295 134512640 135726644 3221224576 3221223056 134729188 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68498 51155 300 300 0 68198 0
vsize: 273992
[startup+910.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 109361 0 0 0 90688 323 0 0 25 0 1 0 806145940 280567808 51176 4294967295 134512640 135726644 3221224576 3221223232 134731263 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68498 51176 300 300 0 68198 0
vsize: 273992
[startup+920.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 109393 0 0 0 91688 323 0 0 25 0 1 0 806145940 280567808 51208 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68498 51208 300 300 0 68198 0
vsize: 273992
[startup+930.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 109474 0 0 0 92687 324 0 0 25 0 1 0 806145940 280567808 51289 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68498 51289 300 300 0 68198 0
vsize: 273992
[startup+940.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 109499 0 0 0 93686 325 0 0 25 0 1 0 806145940 280567808 51314 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68498 51314 300 300 0 68198 0
vsize: 273992
[startup+950.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 110561 0 0 0 94684 328 0 0 25 0 1 0 806145940 284876800 52376 4294967295 134512640 135726644 3221224576 3221222712 134761847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 69550 52376 300 300 0 69250 0
vsize: 278200
[startup+960.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 110605 0 0 0 95683 329 0 0 25 0 1 0 806145940 280698880 51335 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68530 51335 300 300 0 68230 0
vsize: 274120
[startup+970.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 110610 0 0 0 96683 329 0 0 25 0 1 0 806145940 280698880 51340 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68530 51340 300 300 0 68230 0
vsize: 274120
[startup+980.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 110619 0 0 0 97682 330 0 0 25 0 1 0 806145940 280698880 51349 4294967295 134512640 135726644 3221224576 3221223072 134744268 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68530 51349 300 300 0 68230 0
vsize: 274120
[startup+990.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 111685 0 0 0 98679 333 0 0 25 0 1 0 806145940 280698880 51363 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68530 51363 300 300 0 68230 0
vsize: 274120
[startup+1000.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 111743 0 0 0 99677 335 0 0 25 0 1 0 806145940 280829952 51388 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68562 51388 300 300 0 68262 0
vsize: 274248
[startup+1010.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 111747 0 0 0 100677 335 0 0 25 0 1 0 806145940 280829952 51392 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68562 51392 300 300 0 68262 0
vsize: 274248
[startup+1020.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 111750 0 0 0 101676 337 0 0 25 0 1 0 806145940 280829952 51395 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68562 51395 300 300 0 68262 0
vsize: 274248
[startup+1030.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 111757 0 0 0 102675 338 0 0 25 0 1 0 806145940 280829952 51402 4294967295 134512640 135726644 3221224576 3221223184 134744653 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68562 51402 300 300 0 68262 0
vsize: 274248
[startup+1040.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 111797 0 0 0 103674 339 0 0 25 0 1 0 806145940 280829952 51442 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68562 51442 300 300 0 68262 0
vsize: 274248
[startup+1050.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 111807 0 0 0 104673 339 0 0 25 0 1 0 806145940 280829952 51452 4294967295 134512640 135726644 3221224576 3221223072 134744295 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68562 51452 300 300 0 68262 0
vsize: 274248
[startup+1060.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 111827 0 0 0 105673 340 0 0 25 0 1 0 806145940 280829952 51472 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68562 51472 300 300 0 68262 0
vsize: 274248
[startup+1070.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 111843 0 0 0 106672 341 0 0 25 0 1 0 806145940 280829952 51488 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68562 51488 300 300 0 68262 0
vsize: 274248
[startup+1080.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 111855 0 0 0 107671 342 0 0 25 0 1 0 806145940 280829952 51500 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68562 51500 300 300 0 68262 0
vsize: 274248
[startup+1090.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 111861 0 0 0 108670 343 0 0 25 0 1 0 806145940 280829952 51506 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68562 51506 300 300 0 68262 0
vsize: 274248
[startup+1100.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 111907 0 0 0 109669 344 0 0 25 0 1 0 806145940 280961024 51519 4294967295 134512640 135726644 3221224576 3221222824 135281200 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68594 51519 300 300 0 68294 0
vsize: 274376
[startup+1110.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 111924 0 0 0 110669 345 0 0 25 0 1 0 806145940 280961024 51536 4294967295 134512640 135726644 3221224576 3221222912 134735629 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68594 51536 300 300 0 68294 0
vsize: 274376
[startup+1120.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 112979 0 0 0 111666 349 0 0 25 0 1 0 806145940 280961024 51539 4294967295 134512640 135726644 3221224576 3221223228 134744472 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68594 51539 300 300 0 68294 0
vsize: 274376
[startup+1130.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 113062 0 0 0 112665 349 0 0 25 0 1 0 806145940 281489408 51622 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68723 51622 300 300 0 68423 0
vsize: 274892
[startup+1140.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 113077 0 0 0 113665 350 0 0 25 0 1 0 806145940 281354240 51604 4294967295 134512640 135726644 3221224576 3221223200 134744523 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68690 51604 300 300 0 68390 0
vsize: 274760
[startup+1150.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 113097 0 0 0 114664 351 0 0 25 0 1 0 806145940 281518080 51624 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68730 51624 300 300 0 68430 0
vsize: 274920
[startup+1160.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 113110 0 0 0 115663 352 0 0 25 0 1 0 806145940 281518080 51637 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68730 51637 300 300 0 68430 0
vsize: 274920
[startup+1170.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 113185 0 0 0 116662 353 0 0 25 0 1 0 806145940 281784320 51712 4294967295 134512640 135726644 3221224576 3221223072 134744244 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68795 51712 300 300 0 68495 0
vsize: 275180
[startup+1180.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 113192 0 0 0 117661 354 0 0 25 0 1 0 806145940 281784320 51719 4294967295 134512640 135726644 3221224576 3221223200 134744575 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68795 51719 300 300 0 68495 0
vsize: 275180
[startup+1190.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 113219 0 0 0 118661 355 0 0 25 0 1 0 806145940 281784320 51746 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68795 51746 300 300 0 68495 0
vsize: 275180
[startup+1200.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8971
Raw data (stat): 8971 (pb2sat) R 8970 31399 31398 0 -1 0 113427 0 0 0 119660 356 0 0 25 0 1 0 806145940 282308608 51824 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68923 51824 300 300 0 68623 0
vsize: 275692
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1201.88 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 8971
Raw data (stat): 8971 (pb2sat) Z 8970 31399 31398 0 -1 12 113428 0 0 0 119834 366 0 0 25 0 1 0 806145940 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): 1201.88
CPU time (s): 1202.02
CPU user time (s): 1198.35
CPU system time (s): 3.66944
CPU usage (%): 100.011
Max. virtual memory (Kb): 278200
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####