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/frb50-23-opb/normalized-frb50-23-1.opb
MD5SUM	ed1ca962177baf0f135b785abad8adea
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-37
Optimality of the best value was proved	NO
Number of terms in the objective function	1150
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	1150
Number of bits of the sum of numbers in the objective function	11
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	1150
Number of bits of the biggest sum of numbers	11
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.08
Number of variables	1150
Total number of constraints	80072
Number of constraints which are clauses	80072
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 34974

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        925024 kB
Buffers:         34104 kB
Cached:          53368 kB
SwapCached:        860 kB
Active:          46680 kB
Inactive:        42920 kB
HighTotal:      131008 kB
HighFree:        74648 kB
LowTotal:       903652 kB
LowFree:        850376 kB
SwapTotal:     2097136 kB
SwapFree:      2095396 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5072 kB
Slab:            14464 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-28 11:52:15 (client local time) WITH STATUS 0 IN 1202.38 SECONDS
stats: 24260 7 1202.38 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
c [startup+91.6974 s]  setting bit 10 to 0

Decision: 137121/664140	Time: 142.838/86400
Decision: 149645/664140	Time: 303.439/86400
Decision: 152517/664140	Time: 370.831/86400
Decision: 158199/664140	Time: 456.307/86400
Decision: 158403/664140	Time: 662.003/86400
Decision: 158412/664140	Time: 777.669/86400
Decision: 181262/664140	Time: 891.774/86400
Decision: 181389/664140	Time: 983.376/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.92 0.95 0.90 1/54 2346
Raw data (stat): 2346 (runsolver) R 2345 25830 25829 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 806241141 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.0009 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 29068 0 0 0 931 67 0 0 25 0 1 0 806241141 88498176 18164 4294967295 134512640 135726644 3221224592 3221172568 134784091 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21606 18164 300 300 0 21306 0
vsize: 86424
[startup+20.0021 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 57192 0 0 0 1874 126 0 0 25 0 1 0 806241141 173813760 35335 4294967295 134512640 135726644 3221224592 3221084968 134784091 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42435 35337 300 300 0 42135 0
vsize: 169740
[startup+30.0028 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 97588 0 0 0 2794 206 0 0 25 0 1 0 806241141 298049536 54054 4294967295 134512640 135726644 3221224592 3221208168 134784091 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 72766 54054 300 300 0 72466 0
vsize: 291064
[startup+40.0032 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 104888 0 0 0 3776 224 0 0 25 0 1 0 806241141 336920576 59984 4294967295 134512640 135726644 3221224592 3221222896 134744069 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 82256 59984 300 300 0 81956 0
vsize: 329024
[startup+50.0043 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 107820 0 0 0 4770 229 0 0 25 0 1 0 806241141 348553216 62175 4294967295 134512640 135726644 3221224592 3221223280 134744911 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 85096 62175 300 300 0 84796 0
vsize: 340384
[startup+60.0054 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 108467 0 0 0 5768 231 0 0 25 0 1 0 806241141 351289344 62626 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 85764 62626 300 300 0 85464 0
vsize: 343056
[startup+70.0057 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 111049 0 0 0 6763 237 0 0 25 0 1 0 806241141 360501248 64211 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 88013 64211 300 300 0 87713 0
vsize: 352052
[startup+80.0091 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 111861 0 0 0 7761 239 0 0 25 0 1 0 806241141 362811392 64607 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 88577 64607 300 300 0 88277 0
vsize: 354308
[startup+90.0095 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 112177 0 0 0 8760 240 0 0 25 0 1 0 806241141 363868160 64793 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 88835 64793 300 300 0 88535 0
vsize: 355340
[startup+100.01 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 114670 0 0 0 9754 246 0 0 25 0 1 0 806241141 369434624 65922 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90194 65922 300 300 0 89894 0
vsize: 360776
[startup+110.01 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 116784 0 0 0 10751 249 0 0 25 0 1 0 806241141 377413632 67282 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92142 67282 300 300 0 91842 0
vsize: 368568
[startup+120.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 119368 0 0 0 11746 255 0 0 25 0 1 0 806241141 386408448 68956 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94338 68956 300 300 0 94038 0
vsize: 377352
[startup+130.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 120315 0 0 0 12744 256 0 0 25 0 1 0 806241141 390107136 69708 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95241 69708 300 300 0 94941 0
vsize: 380964
[startup+140.012 s]
Raw data (loadavg): 0.99 0.97 0.91 3/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 120547 0 0 0 13744 257 0 0 25 0 1 0 806241141 391163904 69940 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95499 69940 300 300 0 95199 0
vsize: 381996
[startup+150.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 120634 0 0 0 14744 257 0 0 25 0 1 0 806241141 391692288 70027 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95628 70027 300 300 0 95328 0
vsize: 382512
[startup+160.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 120862 0 0 0 15744 258 0 0 25 0 1 0 806241141 393015296 70255 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95951 70255 300 300 0 95651 0
vsize: 383804
[startup+170.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 121131 0 0 0 16744 258 0 0 25 0 1 0 806241141 393940992 70491 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 96177 70491 300 300 0 95877 0
vsize: 384708
[startup+180.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 121149 0 0 0 17744 258 0 0 25 0 1 0 806241141 393940992 70509 4294967295 134512640 135726644 3221224592 3221223248 134731245 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 96177 70509 300 300 0 95877 0
vsize: 384708
[startup+190.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 121303 0 0 0 18744 258 0 0 25 0 1 0 806241141 394465280 70534 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 96305 70534 300 300 0 96005 0
vsize: 385220
[startup+200.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 121324 0 0 0 19744 258 0 0 25 0 1 0 806241141 394465280 70555 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 96305 70555 300 300 0 96005 0
vsize: 385220
[startup+210.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 121368 0 0 0 20744 259 0 0 25 0 1 0 806241141 394465280 70599 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 96305 70599 300 300 0 96005 0
vsize: 385220
[startup+220.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 121482 0 0 0 21744 259 0 0 25 0 1 0 806241141 394731520 70713 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 96370 70713 300 300 0 96070 0
vsize: 385480
[startup+230.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 121788 0 0 0 22743 260 0 0 25 0 1 0 806241141 396054528 70954 4294967295 134512640 135726644 3221224592 3221223104 134742276 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 96693 70954 300 300 0 96393 0
vsize: 386772
[startup+240.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 123465 0 0 0 23740 263 0 0 25 0 1 0 806241141 397381632 71202 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 97017 71202 300 300 0 96717 0
vsize: 388068
[startup+250.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 124078 0 0 0 24738 265 0 0 25 0 1 0 806241141 399233024 71539 4294967295 134512640 135726644 3221224592 3221223088 134744220 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97469 71539 300 300 0 97169 0
vsize: 389876
[startup+260.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 124234 0 0 0 25737 266 0 0 25 0 1 0 806241141 399765504 71629 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97599 71629 300 300 0 97299 0
vsize: 390396
[startup+270.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 124393 0 0 0 26737 266 0 0 25 0 1 0 806241141 400302080 71755 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97730 71755 300 300 0 97430 0
vsize: 390920
[startup+280.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 124868 0 0 0 27736 267 0 0 25 0 1 0 806241141 401616896 71939 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98051 71939 300 300 0 97751 0
vsize: 392204
[startup+290.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 126093 0 0 0 28734 269 0 0 25 0 1 0 806241141 405114880 72612 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98905 72612 300 300 0 98605 0
vsize: 395620
[startup+300.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 127990 0 0 0 29731 273 0 0 25 0 1 0 806241141 411365376 73662 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100431 73662 300 300 0 100131 0
vsize: 401724
[startup+310.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 128878 0 0 0 30729 275 0 0 25 0 1 0 806241141 413868032 74030 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 101042 74030 300 300 0 100742 0
vsize: 404168
[startup+320.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 130268 0 0 0 31726 278 0 0 25 0 1 0 806241141 417943552 74578 4294967295 134512640 135726644 3221224592 3221223088 134744346 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102037 74578 300 300 0 101737 0
vsize: 408148
[startup+330.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 130871 0 0 0 32725 279 0 0 25 0 1 0 806241141 419651584 74822 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102454 74822 300 300 0 102154 0
vsize: 409816
[startup+340.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 130911 0 0 0 33725 279 0 0 25 0 1 0 806241141 419651584 74862 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102454 74862 300 300 0 102154 0
vsize: 409816
[startup+350.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 131018 0 0 0 34725 279 0 0 25 0 1 0 806241141 419913728 74904 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102518 74904 300 300 0 102218 0
vsize: 410072
[startup+360.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 131036 0 0 0 35725 279 0 0 25 0 1 0 806241141 419913728 74922 4294967295 134512640 135726644 3221224592 3221223248 134745073 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102518 74922 300 300 0 102218 0
vsize: 410072
[startup+370.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 131040 0 0 0 36725 279 0 0 25 0 1 0 806241141 419913728 74926 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102518 74926 300 300 0 102218 0
vsize: 410072
[startup+380.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 131040 0 0 0 37725 280 0 0 25 0 1 0 806241141 419913728 74926 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102518 74926 300 300 0 102218 0
vsize: 410072
[startup+390.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 131041 0 0 0 38726 280 0 0 25 0 1 0 806241141 419913728 74927 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102518 74927 300 300 0 102218 0
vsize: 410072
[startup+400.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 132973 0 0 0 39720 285 0 0 25 0 1 0 806241141 421990400 75302 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 103025 75302 300 300 0 102725 0
vsize: 412100
[startup+410.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 135541 0 0 0 40715 289 0 0 25 0 1 0 806241141 429780992 76765 4294967295 134512640 135726644 3221224592 3221223248 134731258 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 104927 76765 300 300 0 104627 0
vsize: 419708
[startup+420.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 136257 0 0 0 41713 291 0 0 25 0 1 0 806241141 432041984 77186 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 105479 77186 300 300 0 105179 0
vsize: 421916
[startup+430.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 137546 0 0 0 42711 294 0 0 25 0 1 0 806241141 435752960 77886 4294967295 134512640 135726644 3221224592 3221223216 134744676 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 106385 77886 300 300 0 106085 0
vsize: 425540
[startup+440.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 139220 0 0 0 43708 296 0 0 25 0 1 0 806241141 440963072 78763 4294967295 134512640 135726644 3221224592 3221223280 134744966 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107657 78763 300 300 0 107357 0
vsize: 430628
[startup+450.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 139924 0 0 0 44706 298 0 0 25 0 1 0 806241141 443068416 79078 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 108171 79078 300 300 0 107871 0
vsize: 432684
[startup+460.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 140531 0 0 0 45705 299 0 0 25 0 1 0 806241141 445591552 79457 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 108787 79457 300 300 0 108487 0
vsize: 435148
[startup+470.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 142142 0 0 0 46702 303 0 0 25 0 1 0 806241141 446382080 79640 4294967295 134512640 135726644 3221224592 3221223280 134744911 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 108980 79640 300 300 0 108680 0
vsize: 435920
[startup+480.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 142470 0 0 0 47702 303 0 0 25 0 1 0 806241141 447582208 79870 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 109273 79870 300 300 0 108973 0
vsize: 437092
[startup+490.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 142565 0 0 0 48701 304 0 0 25 0 1 0 806241141 447844352 79900 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 109337 79900 300 300 0 109037 0
vsize: 437348
[startup+500.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 143032 0 0 0 49701 305 0 0 25 0 1 0 806241141 449560576 80106 4294967295 134512640 135726644 3221224592 3221223088 134743961 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 109756 80106 300 300 0 109456 0
vsize: 439024
[startup+510.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 143358 0 0 0 50700 305 0 0 25 0 1 0 806241141 450621440 80268 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110015 80268 300 300 0 109715 0
vsize: 440060
[startup+520.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 143371 0 0 0 51701 305 0 0 25 0 1 0 806241141 450621440 80281 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110015 80281 300 300 0 109715 0
vsize: 440060
[startup+530.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 143550 0 0 0 52700 306 0 0 25 0 1 0 806241141 451145728 80331 4294967295 134512640 135726644 3221224592 3221223180 134743858 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110143 80331 300 300 0 109843 0
vsize: 440572
[startup+540.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 144258 0 0 0 53699 307 0 0 25 0 1 0 806241141 453136384 80744 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110629 80744 300 300 0 110329 0
vsize: 442516
[startup+550.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 147382 0 0 0 54692 314 0 0 25 0 1 0 806241141 458145792 81691 4294967295 134512640 135726644 3221224592 3221223088 134744377 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 111852 81691 300 300 0 111552 0
vsize: 447408
[startup+560.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 147634 0 0 0 55691 315 0 0 25 0 1 0 806241141 459366400 81943 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 112150 81943 300 300 0 111850 0
vsize: 448600
[startup+570.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 147636 0 0 0 56691 315 0 0 25 0 1 0 806241141 459366400 81945 4294967295 134512640 135726644 3221224592 3221223088 134744014 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 112150 81945 300 300 0 111850 0
vsize: 448600
[startup+580.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 148084 0 0 0 57691 316 0 0 25 0 1 0 806241141 460283904 82166 4294967295 134512640 135726644 3221224592 3221223248 134731245 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 112374 82166 300 300 0 112074 0
vsize: 449496
[startup+590.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 149124 0 0 0 58689 318 0 0 25 0 1 0 806241141 463052800 82685 4294967295 134512640 135726644 3221224592 3221223088 134744120 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 113050 82685 300 300 0 112750 0
vsize: 452200
[startup+600.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 149534 0 0 0 59688 319 0 0 25 0 1 0 806241141 463970304 82868 4294967295 134512640 135726644 3221224592 3221223260 134745062 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 113274 82868 300 300 0 112974 0
vsize: 453096
[startup+610.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 149726 0 0 0 60687 320 0 0 25 0 1 0 806241141 464494592 82931 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 113402 82931 300 300 0 113102 0
vsize: 453608
[startup+620.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 149744 0 0 0 61687 320 0 0 25 0 1 0 806241141 464494592 82949 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 113402 82949 300 300 0 113102 0
vsize: 453608
[startup+630.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 149759 0 0 0 62687 320 0 0 25 0 1 0 806241141 464494592 82964 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 113402 82964 300 300 0 113102 0
vsize: 453608
[startup+640.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 149785 0 0 0 63688 320 0 0 25 0 1 0 806241141 464494592 82990 4294967295 134512640 135726644 3221224592 3221223216 134744678 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 113402 82990 300 300 0 113102 0
vsize: 453608
[startup+650.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 151648 0 0 0 64684 324 0 0 25 0 1 0 806241141 470302720 83876 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 114820 83876 300 300 0 114520 0
vsize: 459280
[startup+660.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 151922 0 0 0 65683 325 0 0 25 0 1 0 806241141 471093248 84021 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 115013 84021 300 300 0 114713 0
vsize: 460052
[startup+670.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 152670 0 0 0 66682 326 0 0 25 0 1 0 806241141 472666112 84381 4294967295 134512640 135726644 3221224592 3221223088 134744235 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 115397 84381 300 300 0 115097 0
vsize: 461588
[startup+680.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 152978 0 0 0 67681 327 0 0 25 0 1 0 806241141 473714688 84432 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 115653 84432 300 300 0 115353 0
vsize: 462612
[startup+690.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 152990 0 0 0 68681 328 0 0 25 0 1 0 806241141 473714688 84444 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 115653 84444 300 300 0 115353 0
vsize: 462612
[startup+700.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 153002 0 0 0 69681 328 0 0 25 0 1 0 806241141 473714688 84456 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 115653 84456 300 300 0 115353 0
vsize: 462612
[startup+710.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 153014 0 0 0 70681 328 0 0 25 0 1 0 806241141 473714688 84468 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 115653 84468 300 300 0 115353 0
vsize: 462612
[startup+720.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 153028 0 0 0 71682 328 0 0 25 0 1 0 806241141 473714688 84482 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 115653 84482 300 300 0 115353 0
vsize: 462612
[startup+730.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 153042 0 0 0 72682 328 0 0 25 0 1 0 806241141 473714688 84496 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 115653 84496 300 300 0 115353 0
vsize: 462612
[startup+740.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 153925 0 0 0 73680 330 0 0 25 0 1 0 806241141 476635136 84986 4294967295 134512640 135726644 3221224592 3221223088 134744342 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116366 84986 300 300 0 116066 0
vsize: 465464
[startup+750.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 154087 0 0 0 74680 330 0 0 25 0 1 0 806241141 477028352 85050 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116462 85050 300 300 0 116162 0
vsize: 465848
[startup+760.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 155487 0 0 0 75676 334 0 0 25 0 1 0 806241141 477028352 85152 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116462 85152 300 300 0 116162 0
vsize: 465848
[startup+770.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 157517 0 0 0 76672 338 0 0 25 0 1 0 806241141 482304000 86177 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 117750 86177 300 300 0 117450 0
vsize: 471000
[startup+780.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 158766 0 0 0 77669 341 0 0 25 0 1 0 806241141 485593088 86713 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118553 86713 300 300 0 118253 0
vsize: 474212
[startup+790.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 159559 0 0 0 78668 342 0 0 25 0 1 0 806241141 487297024 87085 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118969 87085 300 300 0 118669 0
vsize: 475876
[startup+800.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 159999 0 0 0 79667 343 0 0 25 0 1 0 806241141 488751104 87264 4294967295 134512640 135726644 3221224592 3221223088 134744311 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 119324 87264 300 300 0 119024 0
vsize: 477296
[startup+810.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 160214 0 0 0 80667 344 0 0 25 0 1 0 806241141 489013248 87414 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 119388 87414 300 300 0 119088 0
vsize: 477552
[startup+820.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 160353 0 0 0 81667 344 0 0 25 0 1 0 806241141 489275392 87488 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 119452 87488 300 300 0 119152 0
vsize: 477808
[startup+830.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 161225 0 0 0 82666 346 0 0 25 0 1 0 806241141 491515904 87904 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 119999 87904 300 300 0 119699 0
vsize: 479996
[startup+840.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 162201 0 0 0 83664 347 0 0 25 0 1 0 806241141 493613056 88362 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 120511 88362 300 300 0 120211 0
vsize: 482044
[startup+850.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 162419 0 0 0 84664 348 0 0 25 0 1 0 806241141 494137344 88450 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 120639 88450 300 300 0 120339 0
vsize: 482556
[startup+860.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 162445 0 0 0 85664 348 0 0 25 0 1 0 806241141 494137344 88476 4294967295 134512640 135726644 3221224592 3221223088 134743889 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 120639 88476 300 300 0 120339 0
vsize: 482556
[startup+870.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 163804 0 0 0 86661 351 0 0 25 0 1 0 806241141 494137344 88537 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 120639 88537 300 300 0 120339 0
vsize: 482556
[startup+880.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 164351 0 0 0 87660 353 0 0 25 0 1 0 806241141 495185920 88825 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 120895 88825 300 300 0 120595 0
vsize: 483580
[startup+890.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 165727 0 0 0 88657 355 0 0 25 0 1 0 806241141 499068928 89422 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 121843 89422 300 300 0 121543 0
vsize: 487372
[startup+900.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 165775 0 0 0 89657 355 0 0 25 0 1 0 806241141 499462144 89470 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 121939 89470 300 300 0 121639 0
vsize: 487756
[startup+910.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 166149 0 0 0 90656 357 0 0 25 0 1 0 806241141 500588544 89714 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 122214 89714 300 300 0 121914 0
vsize: 488856
[startup+920.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 166155 0 0 0 91656 357 0 0 25 0 1 0 806241141 500588544 89720 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 122214 89720 300 300 0 121914 0
vsize: 488856
[startup+930.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 166318 0 0 0 92656 357 0 0 25 0 1 0 806241141 501112832 89754 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 122342 89754 300 300 0 122042 0
vsize: 489368
[startup+940.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 166335 0 0 0 93656 357 0 0 25 0 1 0 806241141 501112832 89771 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 122342 89771 300 300 0 122042 0
vsize: 489368
[startup+950.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 167605 0 0 0 94654 360 0 0 25 0 1 0 806241141 504410112 90392 4294967295 134512640 135726644 3221224592 3221223088 134744069 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 123147 90392 300 300 0 122847 0
vsize: 492588
[startup+960.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 167933 0 0 0 95653 361 0 0 25 0 1 0 806241141 504934400 90591 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 123275 90591 300 300 0 122975 0
vsize: 493100
[startup+970.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 168732 0 0 0 96651 363 0 0 25 0 1 0 806241141 506507264 91002 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 123659 91002 300 300 0 123359 0
vsize: 494636
[startup+980.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 169027 0 0 0 97651 364 0 0 25 0 1 0 806241141 507297792 91168 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 123852 91168 300 300 0 123552 0
vsize: 495408
[startup+990.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 170825 0 0 0 98646 368 0 0 25 0 1 0 806241141 508743680 91345 4294967295 134512640 135726644 3221224592 3221223088 134744117 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 124205 91345 300 300 0 123905 0
vsize: 496820
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 170919 0 0 0 99646 369 0 0 25 0 1 0 806241141 509284352 91439 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 124337 91439 300 300 0 124037 0
vsize: 497348
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 170921 0 0 0 100646 369 0 0 25 0 1 0 806241141 509284352 91441 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 124337 91441 300 300 0 124037 0
vsize: 497348
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 171103 0 0 0 101645 370 0 0 25 0 1 0 806241141 509550592 91590 4294967295 134512640 135726644 3221224592 3221223216 134744656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 124402 91590 300 300 0 124102 0
vsize: 497608
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 171330 0 0 0 102645 370 0 0 25 0 1 0 806241141 509943808 91719 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 124498 91719 300 300 0 124198 0
vsize: 497992
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 171847 0 0 0 103644 372 0 0 25 0 1 0 806241141 511467520 92040 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 124870 92040 300 300 0 124570 0
vsize: 499480
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 173114 0 0 0 104640 375 0 0 25 0 1 0 806241141 515031040 92624 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 125740 92624 300 300 0 125440 0
vsize: 502960
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 174445 0 0 0 105638 378 0 0 25 0 1 0 806241141 519127040 93370 4294967295 134512640 135726644 3221224592 3221223088 134743875 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 126740 93370 300 300 0 126440 0
vsize: 506960
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 174454 0 0 0 106638 378 0 0 25 0 1 0 806241141 519127040 93379 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 126740 93379 300 300 0 126440 0
vsize: 506960
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 175755 0 0 0 107635 381 0 0 25 0 1 0 806241141 519127040 93382 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 126740 93382 300 300 0 126440 0
vsize: 506960
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 175969 0 0 0 108634 382 0 0 25 0 1 0 806241141 519651328 93466 4294967295 134512640 135726644 3221224592 3221223216 134744580 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 126868 93466 300 300 0 126568 0
vsize: 507472
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 175970 0 0 0 109634 383 0 0 25 0 1 0 806241141 519651328 93467 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 126868 93467 300 300 0 126568 0
vsize: 507472
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 175970 0 0 0 110634 383 0 0 25 0 1 0 806241141 519651328 93467 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 126868 93467 300 300 0 126568 0
vsize: 507472
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 176009 0 0 0 111634 383 0 0 25 0 1 0 806241141 519651328 93506 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 126868 93506 300 300 0 126568 0
vsize: 507472
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 176238 0 0 0 112634 383 0 0 25 0 1 0 806241141 520310784 93604 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 127029 93604 300 300 0 126729 0
vsize: 508116
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 176250 0 0 0 113634 383 0 0 25 0 1 0 806241141 520310784 93616 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 127029 93616 300 300 0 126729 0
vsize: 508116
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 177043 0 0 0 114632 385 0 0 25 0 1 0 806241141 522686464 94049 4294967295 134512640 135726644 3221224592 3221223184 134760010 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 127609 94049 300 300 0 127309 0
vsize: 510436
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 177121 0 0 0 115632 385 0 0 25 0 1 0 806241141 522948608 94062 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 127673 94062 300 300 0 127373 0
vsize: 510692
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 177387 0 0 0 116632 386 0 0 25 0 1 0 806241141 523735040 94133 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 127865 94133 300 300 0 127565 0
vsize: 511460
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 177387 0 0 0 117632 386 0 0 25 0 1 0 806241141 523735040 94133 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 127865 94133 300 300 0 127565 0
vsize: 511460
[startup+1190.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 177594 0 0 0 118632 387 0 0 25 0 1 0 806241141 524259328 94211 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 127993 94211 300 300 0 127693 0
vsize: 511972
[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 177835 0 0 0 119631 387 0 0 25 0 1 0 806241141 524783616 94323 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 128121 94323 300 300 0 127821 0
vsize: 512484
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.23 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 2346
Raw data (stat): 2346 (pb2sat) R 2345 25830 25829 0 -1 0 177835 0 0 0 119631 387 0 0 25 0 1 0 806241141 524783616 94323 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 128121 94323 300 300 0 127821 0
vsize: 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1202.23
CPU time (s): 1202.38
CPU user time (s): 1198.32
CPU system time (s): 4.06338
CPU usage (%): 100.013
Max. virtual memory (Kb): 512484
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####