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.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-4.opb
MD5SUM	2b591d1b24a201f365bc505135aa0578
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-33
Optimality of the best value was proved	NO
Number of terms in the objective function	945
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	945
Number of bits of the sum of numbers in the objective function	10
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	945
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.07
Number of variables	945
Total number of constraints	58549
Number of constraints which are clauses	58549
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	2
Trace number 34972

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-05-28 11:31:33 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24258 boxname=wulflinc5 idbench=332 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  2b591d1b24a201f365bc505135aa0578  /oldhome/oroussel/tmp/wulflinc5/normalized-frb45-21-4.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc5/normalized-frb45-21-4.opb
IDLAUNCH: 24258
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        584160 kB
Buffers:         33820 kB
Cached:         390232 kB
SwapCached:        608 kB
Active:          23648 kB
Inactive:       402448 kB
HighTotal:      131008 kB
HighFree:        36204 kB
LowTotal:       903652 kB
LowFree:        547956 kB
SwapTotal:     2097136 kB
SwapFree:      2095612 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5132 kB
Slab:            18716 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-28 11:51:37 (client local time) WITH STATUS 0 IN 1202.13 SECONDS
stats: 24258 7 1202.13 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

Decision: 133848/448889	Time: 232.53/86400
Decision: 134783/448889	Time: 292.895/86400
Decision: 138567/448889	Time: 353.12/86400
Decision: 153298/448889	Time: 429.5/86400
Decision: 153381/448889	Time: 492.899/86400
Decision: 153410/448889	Time: 579.723/86400
Decision: 153417/448889	Time: 639.616/86400
Decision: 153417/448889	Time: 704.85/86400
Decision: 153426/448889	Time: 776.393/86400
Decision: 153426/448889	Time: 825.036/86400
Decision: 153426/448889	Time: 886.945/86400
Decision: 153426/448889	Time: 940.319/86400
Decision: 153426/448889	Time: 1000.61/86400
Decision: 153426/448889	Time: 1071.67/86400
Decision: 153426/448889	Time: 1134.57/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.97 0.91 1/54 18384
Raw data (stat): 18384 (runsolver) R 18383 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 806241188 884736 94 4294967295 134512640 135332820 3221224480 3221219660 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0017 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 29245 0 0 0 935 64 0 0 25 0 1 0 806241188 88621056 18341 4294967295 134512640 135726644 3221224592 3221003976 135280584 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21636 18341 300 300 0 21336 0
vsize: 86544
[startup+20.002 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 57758 0 0 0 1873 126 0 0 25 0 1 0 806241188 174477312 35897 4294967295 134512640 135726644 3221224592 3221198816 135284833 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42597 35897 300 300 0 42297 0
vsize: 170388
[startup+30.0018 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 64815 0 0 0 2856 143 0 0 25 0 1 0 806241188 192401408 41858 4294967295 134512640 135726644 3221224592 3221223280 134744955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46973 41858 300 300 0 46673 0
vsize: 187892
[startup+40.0034 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 67036 0 0 0 3852 147 0 0 25 0 1 0 806241188 200671232 43191 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48992 43191 300 300 0 48692 0
vsize: 195968
[startup+50.0034 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 68960 0 0 0 4848 152 0 0 25 0 1 0 806241188 206356480 44101 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50380 44101 300 300 0 50080 0
vsize: 201520
[startup+60.0041 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 70231 0 0 0 5845 154 0 0 25 0 1 0 806241188 210055168 44686 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 51283 44686 300 300 0 50983 0
vsize: 205132
[startup+70.0056 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 71307 0 0 0 6843 157 0 0 25 0 1 0 806241188 212963328 45239 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 51993 45239 300 300 0 51693 0
vsize: 207972
[startup+80.0056 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 72360 0 0 0 7841 159 0 0 25 0 1 0 806241188 215867392 45737 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 52702 45737 300 300 0 52402 0
vsize: 210808
[startup+90.0055 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 73709 0 0 0 8839 161 0 0 25 0 1 0 806241188 219566080 46400 4294967295 134512640 135726644 3221224592 3221223088 134743990 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 53605 46400 300 300 0 53305 0
vsize: 214420
[startup+100.006 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 74728 0 0 0 9837 164 0 0 25 0 1 0 806241188 222208000 46929 4294967295 134512640 135726644 3221224592 3221223184 134760424 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 54250 46929 300 300 0 53950 0
vsize: 217000
[startup+110.007 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 75721 0 0 0 10834 167 0 0 25 0 1 0 806241188 224849920 47432 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 54895 47432 300 300 0 54595 0
vsize: 219580
[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 75748 0 0 0 11834 167 0 0 25 0 1 0 806241188 224849920 47459 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 54895 47459 300 300 0 54595 0
vsize: 219580
[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 76712 0 0 0 12832 169 0 0 25 0 1 0 806241188 227491840 47933 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 55540 47933 300 300 0 55240 0
vsize: 222160
[startup+140.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 78133 0 0 0 13829 172 0 0 25 0 1 0 806241188 231460864 48667 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 56509 48667 300 300 0 56209 0
vsize: 226036
[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 79381 0 0 0 14828 174 0 0 25 0 1 0 806241188 234631168 49327 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57283 49327 300 300 0 56983 0
vsize: 229132
[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 80118 0 0 0 15827 175 0 0 25 0 1 0 806241188 236748800 49704 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57800 49704 300 300 0 57500 0
vsize: 231200
[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 80412 0 0 0 16827 175 0 0 25 0 1 0 806241188 237547520 49899 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57995 49899 300 300 0 57695 0
vsize: 231980
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 80457 0 0 0 17827 175 0 0 25 0 1 0 806241188 237744128 49944 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 58043 49944 300 300 0 57743 0
vsize: 232172
[startup+190.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 80476 0 0 0 18827 175 0 0 25 0 1 0 806241188 237744128 49963 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 58043 49963 300 300 0 57743 0
vsize: 232172
[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 80519 0 0 0 19827 175 0 0 25 0 1 0 806241188 237744128 50006 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 58043 50006 300 300 0 57743 0
vsize: 232172
[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 81375 0 0 0 20826 177 0 0 25 0 1 0 806241188 240377856 50359 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 58686 50359 300 300 0 58386 0
vsize: 234744
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 81392 0 0 0 21826 177 0 0 25 0 1 0 806241188 240377856 50376 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 58686 50376 300 300 0 58386 0
vsize: 234744
[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 81509 0 0 0 22826 177 0 0 25 0 1 0 806241188 240943104 50460 4294967295 134512640 135726644 3221224592 3221222912 134728909 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 58824 50460 300 300 0 58524 0
vsize: 235296
[startup+240.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 81723 0 0 0 23826 177 0 0 25 0 1 0 806241188 241467392 50545 4294967295 134512640 135726644 3221224592 3221223024 134726881 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 58952 50545 300 300 0 58652 0
vsize: 235808
[startup+250.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 81736 0 0 0 24826 177 0 0 25 0 1 0 806241188 241467392 50558 4294967295 134512640 135726644 3221224592 3221223088 134743999 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 58952 50558 300 300 0 58652 0
vsize: 235808
[startup+260.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 83385 0 0 0 25823 180 0 0 25 0 1 0 806241188 244150272 51044 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 59607 51044 300 300 0 59307 0
vsize: 238428
[startup+270.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 83801 0 0 0 26822 182 0 0 25 0 1 0 806241188 245932032 51394 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 60042 51394 300 300 0 59742 0
vsize: 240168
[startup+280.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 83802 0 0 0 27822 182 0 0 25 0 1 0 806241188 245932032 51395 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 60042 51395 300 300 0 59742 0
vsize: 240168
[startup+290.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 83803 0 0 0 28822 182 0 0 25 0 1 0 806241188 245932032 51396 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 60042 51396 300 300 0 59742 0
vsize: 240168
[startup+300.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 83804 0 0 0 29822 182 0 0 25 0 1 0 806241188 245932032 51397 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 60042 51397 300 300 0 59742 0
vsize: 240168
[startup+310.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 83935 0 0 0 30822 182 0 0 25 0 1 0 806241188 246456320 51399 4294967295 134512640 135726644 3221224592 3221223040 134726934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 60170 51399 300 300 0 59870 0
vsize: 240680
[startup+320.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 85565 0 0 0 31818 186 0 0 25 0 1 0 806241188 249049088 51858 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 60803 51858 300 300 0 60503 0
vsize: 243212
[startup+330.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 87132 0 0 0 32815 189 0 0 25 0 1 0 806241188 254627840 52772 4294967295 134512640 135726644 3221224592 3221223088 134743975 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 62165 52772 300 300 0 61865 0
vsize: 248660
[startup+340.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 87965 0 0 0 33813 191 0 0 25 0 1 0 806241188 257679360 53277 4294967295 134512640 135726644 3221224592 3221223088 134743978 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 62910 53277 300 300 0 62610 0
vsize: 251640
[startup+350.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 88719 0 0 0 34812 193 0 0 25 0 1 0 806241188 260874240 53800 4294967295 134512640 135726644 3221224592 3221222912 134728895 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63690 53800 300 300 0 63390 0
vsize: 254760
[startup+360.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 89181 0 0 0 35810 194 0 0 25 0 1 0 806241188 262324224 54033 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 64044 54033 300 300 0 63744 0
vsize: 256176
[startup+370.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 89343 0 0 0 36810 195 0 0 25 0 1 0 806241188 262848512 54066 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 64172 54066 300 300 0 63872 0
vsize: 256688
[startup+380.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 90581 0 0 0 37806 198 0 0 25 0 1 0 806241188 264040448 54232 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 64463 54232 300 300 0 64163 0
vsize: 257852
[startup+390.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 93353 0 0 0 38801 204 0 0 25 0 1 0 806241188 273526784 55801 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 66779 55801 300 300 0 66479 0
vsize: 267116
[startup+400.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 94801 0 0 0 39797 207 0 0 25 0 1 0 806241188 278360064 56704 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 67959 56704 300 300 0 67659 0
vsize: 271836
[startup+410.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 94851 0 0 0 40797 207 0 0 25 0 1 0 806241188 278630400 56754 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68025 56754 300 300 0 67725 0
vsize: 272100
[startup+420.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 94856 0 0 0 41798 207 0 0 25 0 1 0 806241188 278630400 56759 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68025 56759 300 300 0 67725 0
vsize: 272100
[startup+430.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 94868 0 0 0 42797 208 0 0 25 0 1 0 806241188 278630400 56771 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68025 56771 300 300 0 67725 0
vsize: 272100
[startup+440.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 94877 0 0 0 43797 208 0 0 25 0 1 0 806241188 278630400 56780 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68025 56780 300 300 0 67725 0
vsize: 272100
[startup+450.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 94888 0 0 0 44797 208 0 0 25 0 1 0 806241188 278630400 56791 4294967295 134512640 135726644 3221224592 3221223088 134744169 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68025 56791 300 300 0 67725 0
vsize: 272100
[startup+460.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 96044 0 0 0 45795 211 0 0 25 0 1 0 806241188 279556096 56972 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68251 56972 300 300 0 67951 0
vsize: 273004
[startup+470.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 96134 0 0 0 46795 211 0 0 25 0 1 0 806241188 279687168 57029 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68283 57029 300 300 0 67983 0
vsize: 273132
[startup+480.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 97396 0 0 0 47792 214 0 0 25 0 1 0 806241188 283529216 57719 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 69221 57719 300 300 0 68921 0
vsize: 276884
[startup+490.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 97781 0 0 0 48792 215 0 0 25 0 1 0 806241188 284454912 57940 4294967295 134512640 135726644 3221224592 3221223088 134743982 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 69447 57940 300 300 0 69147 0
vsize: 277788
[startup+500.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 98693 0 0 0 49790 217 0 0 25 0 1 0 806241188 286904320 58491 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 70045 58491 300 300 0 69745 0
vsize: 280180
[startup+510.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 99859 0 0 0 50787 220 0 0 25 0 1 0 806241188 290615296 59069 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 70951 59069 300 300 0 70651 0
vsize: 283804
[startup+520.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 101127 0 0 0 51784 223 0 0 25 0 1 0 806241188 291803136 59231 4294967295 134512640 135726644 3221224592 3221223088 134744069 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 71241 59231 300 300 0 70941 0
vsize: 284964
[startup+530.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 101841 0 0 0 52782 225 0 0 25 0 1 0 806241188 293642240 59555 4294967295 134512640 135726644 3221224592 3221223184 134759980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 71690 59555 300 300 0 71390 0
vsize: 286760
[startup+540.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 101852 0 0 0 53782 225 0 0 25 0 1 0 806241188 293642240 59566 4294967295 134512640 135726644 3221224592 3221223072 134729041 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 71690 59566 300 300 0 71390 0
vsize: 286760
[startup+550.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 102058 0 0 0 54781 226 0 0 25 0 1 0 806241188 294297600 59610 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 71850 59610 300 300 0 71550 0
vsize: 287400
[startup+560.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 102071 0 0 0 55781 226 0 0 25 0 1 0 806241188 294297600 59623 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 71850 59623 300 300 0 71550 0
vsize: 287400
[startup+570.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 102084 0 0 0 56781 226 0 0 25 0 1 0 806241188 294297600 59636 4294967295 134512640 135726644 3221224592 3221223184 134760407 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 71850 59636 300 300 0 71550 0
vsize: 287400
[startup+580.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 102096 0 0 0 57782 226 0 0 25 0 1 0 806241188 294297600 59648 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 71850 59648 300 300 0 71550 0
vsize: 287400
[startup+590.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 102106 0 0 0 58782 226 0 0 25 0 1 0 806241188 294297600 59658 4294967295 134512640 135726644 3221224592 3221223196 134744139 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 71850 59658 300 300 0 71550 0
vsize: 287400
[startup+600.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 102122 0 0 0 59782 226 0 0 25 0 1 0 806241188 294297600 59674 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 71850 59674 300 300 0 71550 0
vsize: 287400
[startup+610.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 103287 0 0 0 60779 229 0 0 25 0 1 0 806241188 295223296 59864 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 72076 59864 300 300 0 71776 0
vsize: 288304
[startup+620.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 103447 0 0 0 61779 230 0 0 25 0 1 0 806241188 295751680 59959 4294967295 134512640 135726644 3221224592 3221223184 134759908 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 72205 59959 300 300 0 71905 0
vsize: 288820
[startup+630.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 103448 0 0 0 62779 230 0 0 25 0 1 0 806241188 295751680 59960 4294967295 134512640 135726644 3221224592 3221223200 134741173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 72205 59960 300 300 0 71905 0
vsize: 288820
[startup+640.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 103449 0 0 0 63779 230 0 0 25 0 1 0 806241188 295751680 59961 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 72205 59961 300 300 0 71905 0
vsize: 288820
[startup+650.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 103449 0 0 0 64779 230 0 0 25 0 1 0 806241188 295751680 59961 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 72205 59961 300 300 0 71905 0
vsize: 288820
[startup+660.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 103450 0 0 0 65779 230 0 0 25 0 1 0 806241188 295751680 59962 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 72205 59962 300 300 0 71905 0
vsize: 288820
[startup+670.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 104406 0 0 0 66777 233 0 0 25 0 1 0 806241188 296017920 60041 4294967295 134512640 135726644 3221224592 3221223088 134744069 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 72270 60041 300 300 0 71970 0
vsize: 289080
[startup+680.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 104407 0 0 0 67777 233 0 0 25 0 1 0 806241188 296017920 60042 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 72270 60042 300 300 0 71970 0
vsize: 289080
[startup+690.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 104407 0 0 0 68777 233 0 0 25 0 1 0 806241188 296017920 60042 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 72270 60042 300 300 0 71970 0
vsize: 289080
[startup+700.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 104410 0 0 0 69777 233 0 0 25 0 1 0 806241188 296017920 60045 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 72270 60045 300 300 0 71970 0
vsize: 289080
[startup+710.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 104563 0 0 0 70776 233 0 0 25 0 1 0 806241188 296411136 60100 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 72366 60100 300 300 0 72066 0
vsize: 289464
[startup+720.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 104564 0 0 0 71776 233 0 0 25 0 1 0 806241188 296411136 60101 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 72366 60101 300 300 0 72066 0
vsize: 289464
[startup+730.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 105442 0 0 0 72774 236 0 0 25 0 1 0 806241188 296411136 60102 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 72366 60102 300 300 0 72066 0
vsize: 289464
[startup+740.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 105665 0 0 0 73774 237 0 0 25 0 1 0 806241188 297213952 60292 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 72562 60292 300 300 0 72262 0
vsize: 290248
[startup+750.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 105666 0 0 0 74774 237 0 0 25 0 1 0 806241188 297213952 60293 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 72562 60293 300 300 0 72262 0
vsize: 290248
[startup+760.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 105666 0 0 0 75774 237 0 0 25 0 1 0 806241188 297213952 60293 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 72562 60293 300 300 0 72262 0
vsize: 290248
[startup+770.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 105667 0 0 0 76774 237 0 0 25 0 1 0 806241188 297213952 60294 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 72562 60294 300 300 0 72262 0
vsize: 290248
[startup+780.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 105668 0 0 0 77774 237 0 0 25 0 1 0 806241188 297213952 60295 4294967295 134512640 135726644 3221224592 3221223088 134744223 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 72562 60295 300 300 0 72262 0
vsize: 290248
[startup+790.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 105669 0 0 0 78774 237 0 0 25 0 1 0 806241188 297213952 60296 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 72562 60296 300 300 0 72262 0
vsize: 290248
[startup+800.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 106546 0 0 0 79772 239 0 0 25 0 1 0 806241188 300806144 61173 4294967295 134512640 135726644 3221224592 3221222736 134765185 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 73439 61173 300 300 0 73139 0
vsize: 293756
[startup+810.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 106547 0 0 0 80772 240 0 0 25 0 1 0 806241188 297213952 60297 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 72562 60297 300 300 0 72262 0
vsize: 290248
[startup+820.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 106548 0 0 0 81772 240 0 0 25 0 1 0 806241188 297213952 60298 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 72562 60298 300 300 0 72262 0
vsize: 290248
[startup+830.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 106549 0 0 0 82772 240 0 0 25 0 1 0 806241188 297213952 60299 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 72562 60299 300 300 0 72262 0
vsize: 290248
[startup+840.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 106550 0 0 0 83772 240 0 0 25 0 1 0 806241188 297213952 60300 4294967295 134512640 135726644 3221224592 3221223088 134744169 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 72562 60300 300 300 0 72262 0
vsize: 290248
[startup+850.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 107428 0 0 0 84770 242 0 0 25 0 1 0 806241188 297213952 60301 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 72562 60301 300 300 0 72262 0
vsize: 290248
[startup+860.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 107428 0 0 0 85770 242 0 0 25 0 1 0 806241188 297213952 60301 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 72562 60301 300 300 0 72262 0
vsize: 290248
[startup+870.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 107429 0 0 0 86770 242 0 0 25 0 1 0 806241188 297213952 60302 4294967295 134512640 135726644 3221224592 3221223088 134743961 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 72562 60302 300 300 0 72262 0
vsize: 290248
[startup+880.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 107434 0 0 0 87770 243 0 0 25 0 1 0 806241188 297213952 60307 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 72562 60307 300 300 0 72262 0
vsize: 290248
[startup+890.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 107445 0 0 0 88771 243 0 0 25 0 1 0 806241188 297213952 60318 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 72562 60318 300 300 0 72262 0
vsize: 290248
[startup+900.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 107458 0 0 0 89771 243 0 0 25 0 1 0 806241188 297213952 60331 4294967295 134512640 135726644 3221224592 3221223088 134744048 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 72562 60331 300 300 0 72262 0
vsize: 290248
[startup+910.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 108344 0 0 0 90769 245 0 0 25 0 1 0 806241188 297213952 60340 4294967295 134512640 135726644 3221224592 3221223216 134779655 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 72562 60340 300 300 0 72262 0
vsize: 290248
[startup+920.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 108344 0 0 0 91769 245 0 0 25 0 1 0 806241188 297213952 60340 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 72562 60340 300 300 0 72262 0
vsize: 290248
[startup+930.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 108345 0 0 0 92769 245 0 0 25 0 1 0 806241188 297213952 60341 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 72562 60341 300 300 0 72262 0
vsize: 290248
[startup+940.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 108346 0 0 0 93769 245 0 0 25 0 1 0 806241188 297213952 60342 4294967295 134512640 135726644 3221224592 3221223248 134745073 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 72562 60342 300 300 0 72262 0
vsize: 290248
[startup+950.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 108346 0 0 0 94769 245 0 0 25 0 1 0 806241188 297213952 60342 4294967295 134512640 135726644 3221224592 3221223184 134760410 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 72562 60342 300 300 0 72262 0
vsize: 290248
[startup+960.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 108347 0 0 0 95769 245 0 0 25 0 1 0 806241188 297213952 60343 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 72562 60343 300 300 0 72262 0
vsize: 290248
[startup+970.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 109225 0 0 0 96768 247 0 0 25 0 1 0 806241188 297213952 60344 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 72562 60344 300 300 0 72262 0
vsize: 290248
[startup+980.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 109309 0 0 0 97768 247 0 0 25 0 1 0 806241188 297345024 60395 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 72594 60395 300 300 0 72294 0
vsize: 290376
[startup+990.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 109309 0 0 0 98768 247 0 0 25 0 1 0 806241188 297345024 60395 4294967295 134512640 135726644 3221224592 3221223136 134736726 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 72594 60395 300 300 0 72294 0
vsize: 290376
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 109310 0 0 0 99768 247 0 0 25 0 1 0 806241188 297345024 60396 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 72594 60396 300 300 0 72294 0
vsize: 290376
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 109311 0 0 0 100768 247 0 0 25 0 1 0 806241188 297345024 60397 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 72594 60397 300 300 0 72294 0
vsize: 290376
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 109330 0 0 0 101768 247 0 0 25 0 1 0 806241188 297345024 60416 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 72594 60416 300 300 0 72294 0
vsize: 290376
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 110360 0 0 0 102766 249 0 0 25 0 1 0 806241188 297869312 60440 4294967295 134512640 135726644 3221224592 3221223088 134743987 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 72722 60440 300 300 0 72422 0
vsize: 290888
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 110361 0 0 0 103766 249 0 0 25 0 1 0 806241188 297869312 60441 4294967295 134512640 135726644 3221224592 3221222912 134728909 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 72722 60441 300 300 0 72422 0
vsize: 290888
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 110361 0 0 0 104767 249 0 0 25 0 1 0 806241188 297869312 60441 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 72722 60441 300 300 0 72422 0
vsize: 290888
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 110362 0 0 0 105767 249 0 0 25 0 1 0 806241188 297869312 60442 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 72722 60442 300 300 0 72422 0
vsize: 290888
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 110362 0 0 0 106767 249 0 0 25 0 1 0 806241188 297869312 60442 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 72722 60442 300 300 0 72422 0
vsize: 290888
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 110363 0 0 0 107767 249 0 0 25 0 1 0 806241188 297869312 60443 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 72722 60443 300 300 0 72422 0
vsize: 290888
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 110364 0 0 0 108767 249 0 0 25 0 1 0 806241188 297869312 60444 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 72722 60444 300 300 0 72422 0
vsize: 290888
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 111241 0 0 0 109766 251 0 0 25 0 1 0 806241188 297869312 60444 4294967295 134512640 135726644 3221224592 3221223280 134744989 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 72722 60444 300 300 0 72422 0
vsize: 290888
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 111242 0 0 0 110766 251 0 0 25 0 1 0 806241188 297869312 60445 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 72722 60445 300 300 0 72422 0
vsize: 290888
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 111243 0 0 0 111766 251 0 0 25 0 1 0 806241188 297869312 60446 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 72722 60446 300 300 0 72422 0
vsize: 290888
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 111243 0 0 0 112766 251 0 0 25 0 1 0 806241188 297869312 60446 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 72722 60446 300 300 0 72422 0
vsize: 290888
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 111245 0 0 0 113767 251 0 0 25 0 1 0 806241188 297869312 60448 4294967295 134512640 135726644 3221224592 3221223088 134744041 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 72722 60448 300 300 0 72422 0
vsize: 290888
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 111258 0 0 0 114767 251 0 0 25 0 1 0 806241188 297869312 60461 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 72722 60461 300 300 0 72422 0
vsize: 290888
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 112144 0 0 0 115765 253 0 0 25 0 1 0 806241188 297869312 60470 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 72722 60470 300 300 0 72422 0
vsize: 290888
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 112155 0 0 0 116765 254 0 0 25 0 1 0 806241188 297869312 60481 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 72722 60481 300 300 0 72422 0
vsize: 290888
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 112168 0 0 0 117765 254 0 0 25 0 1 0 806241188 297869312 60494 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 72722 60494 300 300 0 72422 0
vsize: 290888
[startup+1190.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 112364 0 0 0 118765 254 0 0 25 0 1 0 806241188 298663936 60625 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 72916 60625 300 300 0 72616 0
vsize: 291664
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18384
Raw data (stat): 18384 (pb2sat) R 18383 7266 7265 0 -1 0 112410 0 0 0 119765 254 0 0 25 0 1 0 806241188 298663936 60671 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 72916 60671 300 300 0 72616 0
vsize: 291664
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1201.96 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 18384
Raw data (stat): 18384 (pb2sat) Z 18383 7266 7265 0 -1 12 112411 0 0 0 119946 266 0 0 25 0 1 0 806241188 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.96
CPU time (s): 1202.13
CPU user time (s): 1199.46
CPU system time (s): 2.66959
CPU usage (%): 100.014
Max. virtual memory (Kb): 293756
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####