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-5.opb
MD5SUM	54f6acf3ab92bda8abb11350f74de20e
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	80035
Number of constraints which are clauses	80035
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 34979

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc18 THE 2005-05-28 11:35:05 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24264 boxname=wulflinc18 idbench=338 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  54f6acf3ab92bda8abb11350f74de20e  /oldhome/oroussel/tmp/wulflinc18/normalized-frb50-23-5.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc18/normalized-frb50-23-5.opb
IDLAUNCH: 24264
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.177
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	: 3
cpu MHz		: 451.177
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:        347272 kB
Buffers:         33192 kB
Cached:         620420 kB
SwapCached:        820 kB
Active:          42820 kB
Inactive:       612916 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        347020 kB
SwapTotal:     2097892 kB
SwapFree:      2096212 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5120 kB
Slab:            26060 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-28 11:55:08 (client local time) WITH STATUS 0 IN 1202.37 SECONDS
stats: 24264 7 1202.37 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
c [startup+72.3353 s]  setting bit 10 to 0

Decision: 136596/664140	Time: 130.778/86400
Decision: 137644/664140	Time: 273.369/86400
Decision: 138630/664140	Time: 399.031/86400
Decision: 139633/664140	Time: 592.908/86400
Decision: 139641/664140	Time: 717.663/86400
Decision: 141168/664140	Time: 810.974/86400
Decision: 141168/664140	Time: 885.211/86400
Decision: 152392/664140	Time: 971.3/86400
Decision: 152399/664140	Time: 1120.94/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.84 0.94 0.90 2/54 790
Raw data (stat): 790 (runsolver) R 789 24172 24171 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 864469280 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.0016 s]
Raw data (loadavg): 0.87 0.94 0.90 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 29484 0 0 0 934 65 0 0 25 0 1 0 864469280 89038848 18575 4294967295 134512640 135726644 3221224592 3221085008 134607681 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21738 18575 300 300 0 21438 0
vsize: 86952
[startup+20.003 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 57763 0 0 0 1874 125 0 0 25 0 1 0 864469280 174624768 35899 4294967295 134512640 135726644 3221224592 3220977344 134554691 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42633 35899 300 300 0 42333 0
vsize: 170532
[startup+30.004 s]
Raw data (loadavg): 0.90 0.94 0.90 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 97969 0 0 0 2792 207 0 0 25 0 1 0 864469280 298049536 54428 4294967295 134512640 135726644 3221224592 3221112568 134784093 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 72766 54428 300 300 0 72466 0
vsize: 291064
[startup+40.0046 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 104888 0 0 0 3775 224 0 0 25 0 1 0 864469280 336920576 59984 4294967295 134512640 135726644 3221224592 3221222896 134743901 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.0059 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 108013 0 0 0 4769 231 0 0 25 0 1 0 864469280 350072832 62332 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 85467 62332 300 300 0 85167 0
vsize: 341868
[startup+60.0065 s]
Raw data (loadavg): 0.94 0.95 0.90 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 111963 0 0 0 5761 238 0 0 25 0 1 0 864469280 362692608 64507 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 88548 64507 300 300 0 88248 0
vsize: 354192
[startup+70.0075 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 116888 0 0 0 6751 249 0 0 25 0 1 0 864469280 376958976 66786 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92031 66786 300 300 0 91731 0
vsize: 368124
[startup+80.0078 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 119323 0 0 0 7745 255 0 0 25 0 1 0 864469280 381562880 67759 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93155 67759 300 300 0 92855 0
vsize: 372620
[startup+90.0088 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 119989 0 0 0 8743 257 0 0 25 0 1 0 864469280 384512000 68294 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93875 68294 300 300 0 93575 0
vsize: 375500
[startup+100.008 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 122371 0 0 0 9737 263 0 0 25 0 1 0 864469280 393392128 69564 4294967295 134512640 135726644 3221224592 3221223184 134760490 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 96043 69564 300 300 0 95743 0
vsize: 384172
[startup+110.01 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 124110 0 0 0 10734 266 0 0 25 0 1 0 864469280 399740928 70653 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97593 70653 300 300 0 97293 0
vsize: 390372
[startup+120.01 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 124464 0 0 0 11733 267 0 0 25 0 1 0 864469280 401063936 70877 4294967295 134512640 135726644 3221224592 3221223216 134744603 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97916 70877 300 300 0 97616 0
vsize: 391664
[startup+130.01 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 124639 0 0 0 12732 269 0 0 25 0 1 0 864469280 401592320 70987 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98045 70987 300 300 0 97745 0
vsize: 392180
[startup+140.012 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 124671 0 0 0 13732 269 0 0 25 0 1 0 864469280 401592320 71019 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98045 71019 300 300 0 97745 0
vsize: 392180
[startup+150.013 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 124703 0 0 0 14732 269 0 0 25 0 1 0 864469280 401592320 71051 4294967295 134512640 135726644 3221224592 3221222768 135280580 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98045 71051 300 300 0 97745 0
vsize: 392180
[startup+160.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 124718 0 0 0 15732 270 0 0 25 0 1 0 864469280 401592320 71066 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98045 71066 300 300 0 97745 0
vsize: 392180
[startup+170.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 124735 0 0 0 16731 271 0 0 25 0 1 0 864469280 401592320 71083 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98045 71083 300 300 0 97745 0
vsize: 392180
[startup+180.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 124751 0 0 0 17731 271 0 0 25 0 1 0 864469280 401592320 71099 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 98045 71099 300 300 0 97745 0
vsize: 392180
[startup+190.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 124915 0 0 0 18731 271 0 0 25 0 1 0 864469280 402116608 71134 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 98173 71134 300 300 0 97873 0
vsize: 392692
[startup+200.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 126232 0 0 0 19728 274 0 0 25 0 1 0 864469280 407433216 72451 4294967295 134512640 135726644 3221224592 3221222728 134761847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 99471 72451 300 300 0 99171 0
vsize: 397884
[startup+210.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 126901 0 0 0 20725 276 0 0 25 0 1 0 864469280 403791872 71439 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 98582 71439 300 300 0 98282 0
vsize: 394328
[startup+220.018 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 126931 0 0 0 21725 277 0 0 25 0 1 0 864469280 403955712 71469 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 98622 71469 300 300 0 98322 0
vsize: 394488
[startup+230.018 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 127054 0 0 0 22725 277 0 0 25 0 1 0 864469280 404217856 71527 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 98686 71527 300 300 0 98386 0
vsize: 394744
[startup+240.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 127713 0 0 0 23724 278 0 0 25 0 1 0 864469280 406724608 71893 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 99298 71893 300 300 0 98998 0
vsize: 397192
[startup+250.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 127723 0 0 0 24724 279 0 0 25 0 1 0 864469280 406724608 71903 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 99298 71903 300 300 0 98998 0
vsize: 397192
[startup+260.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 128231 0 0 0 25723 279 0 0 25 0 1 0 864469280 408035328 72088 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 99618 72088 300 300 0 99318 0
vsize: 398472
[startup+270.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 128801 0 0 0 26722 280 0 0 25 0 1 0 864469280 409878528 72335 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100068 72335 300 300 0 99768 0
vsize: 400272
[startup+280.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 130168 0 0 0 27719 283 0 0 25 0 1 0 864469280 413552640 72857 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100965 72857 300 300 0 100665 0
vsize: 403860
[startup+290.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 130727 0 0 0 28718 285 0 0 25 0 1 0 864469280 415682560 73351 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 101485 73351 300 300 0 101185 0
vsize: 405940
[startup+300.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 131314 0 0 0 29717 287 0 0 25 0 1 0 864469280 417263616 73612 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 101871 73612 300 300 0 101571 0
vsize: 407484
[startup+310.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 131317 0 0 0 30717 287 0 0 25 0 1 0 864469280 417263616 73615 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 101871 73615 300 300 0 101571 0
vsize: 407484
[startup+320.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 131319 0 0 0 31717 287 0 0 25 0 1 0 864469280 417263616 73617 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 101871 73617 300 300 0 101571 0
vsize: 407484
[startup+330.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 131327 0 0 0 32717 287 0 0 25 0 1 0 864469280 417263616 73625 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 101871 73625 300 300 0 101571 0
vsize: 407484
[startup+340.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 131335 0 0 0 33717 287 0 0 25 0 1 0 864469280 417263616 73633 4294967295 134512640 135726644 3221224592 3221223184 134760424 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 101871 73633 300 300 0 101571 0
vsize: 407484
[startup+350.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 133149 0 0 0 34713 291 0 0 25 0 1 0 864469280 418447360 73890 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 102160 73890 300 300 0 101860 0
vsize: 408640
[startup+360.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 133877 0 0 0 35712 292 0 0 25 0 1 0 864469280 420286464 74195 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 102609 74195 300 300 0 102309 0
vsize: 410436
[startup+370.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 135476 0 0 0 36710 295 0 0 25 0 1 0 864469280 425549824 75125 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 103894 75125 300 300 0 103594 0
vsize: 415576
[startup+380.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 137732 0 0 0 37705 299 0 0 25 0 1 0 864469280 432529408 76374 4294967295 134512640 135726644 3221224592 3221223088 134744169 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 105598 76374 300 300 0 105298 0
vsize: 422392
[startup+390.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 139486 0 0 0 38701 303 0 0 25 0 1 0 864469280 437551104 77341 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 106824 77341 300 300 0 106524 0
vsize: 427296
[startup+400.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 141043 0 0 0 39698 307 0 0 25 0 1 0 864469280 442294272 78278 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107982 78278 300 300 0 107682 0
vsize: 431928
[startup+410.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 141952 0 0 0 40697 308 0 0 25 0 1 0 864469280 444530688 78733 4294967295 134512640 135726644 3221224592 3221223216 134744676 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 108528 78733 300 300 0 108228 0
vsize: 434112
[startup+420.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 142049 0 0 0 41696 309 0 0 25 0 1 0 864469280 444796928 78797 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 108593 78797 300 300 0 108293 0
vsize: 434372
[startup+430.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 142085 0 0 0 42697 309 0 0 25 0 1 0 864469280 444796928 78833 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 108593 78833 300 300 0 108293 0
vsize: 434372
[startup+440.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 142102 0 0 0 43697 309 0 0 25 0 1 0 864469280 444796928 78850 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 108593 78850 300 300 0 108293 0
vsize: 434372
[startup+450.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 142257 0 0 0 44697 309 0 0 25 0 1 0 864469280 445321216 78876 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 108721 78876 300 300 0 108421 0
vsize: 434884
[startup+460.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 142342 0 0 0 45697 309 0 0 25 0 1 0 864469280 445321216 78961 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 108721 78961 300 300 0 108421 0
vsize: 434884
[startup+470.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 143652 0 0 0 46694 313 0 0 25 0 1 0 864469280 450637824 80271 4294967295 134512640 135726644 3221224592 3221222768 134765566 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 110019 80271 300 300 0 109719 0
vsize: 440076
[startup+480.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 144144 0 0 0 47691 315 0 0 25 0 1 0 864469280 446701568 79204 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 109058 79204 300 300 0 108758 0
vsize: 436232
[startup+490.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 144862 0 0 0 48689 317 0 0 25 0 1 0 864469280 449249280 79726 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 109680 79726 300 300 0 109380 0
vsize: 438720
[startup+500.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 144947 0 0 0 49689 317 0 0 25 0 1 0 864469280 449511424 79746 4294967295 134512640 135726644 3221224592 3221223184 134759982 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 109744 79746 300 300 0 109444 0
vsize: 438976
[startup+510.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 145065 0 0 0 50689 318 0 0 25 0 1 0 864469280 449912832 79831 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 109842 79831 300 300 0 109542 0
vsize: 439368
[startup+520.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 146615 0 0 0 51686 321 0 0 25 0 1 0 864469280 454406144 80601 4294967295 134512640 135726644 3221224592 3221223216 134744676 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 110939 80601 300 300 0 110639 0
vsize: 443756
[startup+530.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 148097 0 0 0 52683 324 0 0 25 0 1 0 864469280 458756096 81273 4294967295 134512640 135726644 3221224592 3221223280 134744911 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 112001 81273 300 300 0 111701 0
vsize: 448004
[startup+540.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 148833 0 0 0 53681 326 0 0 25 0 1 0 864469280 460861440 81558 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 112515 81558 300 300 0 112215 0
vsize: 450060
[startup+550.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 148923 0 0 0 54682 326 0 0 25 0 1 0 864469280 461123584 81583 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 112579 81583 300 300 0 112279 0
vsize: 450316
[startup+560.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 148938 0 0 0 55682 326 0 0 25 0 1 0 864469280 461123584 81598 4294967295 134512640 135726644 3221224592 3221223184 134759994 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 112579 81598 300 300 0 112279 0
vsize: 450316
[startup+570.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 149032 0 0 0 56682 326 0 0 25 0 1 0 864469280 461385728 81627 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 112643 81627 300 300 0 112343 0
vsize: 450572
[startup+580.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 149048 0 0 0 57682 327 0 0 25 0 1 0 864469280 461385728 81643 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 112643 81643 300 300 0 112343 0
vsize: 450572
[startup+590.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 149101 0 0 0 58681 327 0 0 25 0 1 0 864469280 461385728 81696 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 112643 81696 300 300 0 112343 0
vsize: 450572
[startup+600.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 149128 0 0 0 59682 327 0 0 25 0 1 0 864469280 461385728 81723 4294967295 134512640 135726644 3221224592 3221223280 134744947 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 112643 81723 300 300 0 112343 0
vsize: 450572
[startup+610.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 149139 0 0 0 60682 327 0 0 25 0 1 0 864469280 461385728 81734 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 112643 81734 300 300 0 112343 0
vsize: 450572
[startup+620.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 149147 0 0 0 61682 327 0 0 25 0 1 0 864469280 461385728 81742 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 112643 81742 300 300 0 112343 0
vsize: 450572
[startup+630.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 149155 0 0 0 62682 327 0 0 25 0 1 0 864469280 461385728 81750 4294967295 134512640 135726644 3221224592 3221223088 134744142 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 112643 81750 300 300 0 112343 0
vsize: 450572
[startup+640.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 149165 0 0 0 63682 328 0 0 25 0 1 0 864469280 461385728 81760 4294967295 134512640 135726644 3221224592 3221223216 134744485 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 112643 81760 300 300 0 112343 0
vsize: 450572
[startup+650.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 149176 0 0 0 64682 328 0 0 25 0 1 0 864469280 461385728 81771 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 112643 81771 300 300 0 112343 0
vsize: 450572
[startup+660.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 149189 0 0 0 65682 328 0 0 25 0 1 0 864469280 461385728 81784 4294967295 134512640 135726644 3221224592 3221223088 134744020 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 112643 81784 300 300 0 112343 0
vsize: 450572
[startup+670.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 150861 0 0 0 66679 331 0 0 25 0 1 0 864469280 462446592 81996 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 112902 81996 300 300 0 112602 0
vsize: 451608
[startup+680.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 151102 0 0 0 67678 332 0 0 25 0 1 0 864469280 462843904 82172 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 112999 82172 300 300 0 112699 0
vsize: 451996
[startup+690.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 151632 0 0 0 68677 333 0 0 25 0 1 0 864469280 464424960 82379 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 113385 82379 300 300 0 113085 0
vsize: 453540
[startup+700.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 152062 0 0 0 69676 334 0 0 25 0 1 0 864469280 465739776 82549 4294967295 134512640 135726644 3221224592 3221223088 134743999 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 113706 82549 300 300 0 113406 0
vsize: 454824
[startup+710.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 152876 0 0 0 70675 336 0 0 25 0 1 0 864469280 467443712 82942 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 114122 82942 300 300 0 113822 0
vsize: 456488
[startup+720.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 153348 0 0 0 71674 337 0 0 25 0 1 0 864469280 468492288 83155 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 114378 83155 300 300 0 114078 0
vsize: 457512
[startup+730.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 153361 0 0 0 72674 337 0 0 25 0 1 0 864469280 468492288 83168 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 114378 83168 300 300 0 114078 0
vsize: 457512
[startup+740.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 153370 0 0 0 73674 337 0 0 25 0 1 0 864469280 468492288 83177 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 114378 83177 300 300 0 114078 0
vsize: 457512
[startup+750.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 153377 0 0 0 74674 338 0 0 25 0 1 0 864469280 468492288 83184 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 114378 83184 300 300 0 114078 0
vsize: 457512
[startup+760.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 153388 0 0 0 75674 338 0 0 25 0 1 0 864469280 468492288 83195 4294967295 134512640 135726644 3221224592 3221222928 134735629 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 114378 83195 300 300 0 114078 0
vsize: 457512
[startup+770.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 153400 0 0 0 76674 338 0 0 25 0 1 0 864469280 468492288 83207 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 114378 83207 300 300 0 114078 0
vsize: 457512
[startup+780.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 153418 0 0 0 77674 338 0 0 25 0 1 0 864469280 468492288 83225 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 114378 83225 300 300 0 114078 0
vsize: 457512
[startup+790.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 154731 0 0 0 78671 341 0 0 25 0 1 0 864469280 468492288 83240 4294967295 134512640 135726644 3221224592 3221223216 134744532 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 114378 83240 300 300 0 114078 0
vsize: 457512
[startup+800.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 155336 0 0 0 79670 343 0 0 25 0 1 0 864469280 470204416 83522 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 114796 83522 300 300 0 114496 0
vsize: 459184
[startup+810.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 155550 0 0 0 80670 343 0 0 25 0 1 0 864469280 470728704 83607 4294967295 134512640 135726644 3221224592 3221223088 134744153 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 114924 83607 300 300 0 114624 0
vsize: 459696
[startup+820.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 155629 0 0 0 81670 343 0 0 25 0 1 0 864469280 470990848 83621 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 114988 83621 300 300 0 114688 0
vsize: 459952
[startup+830.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 155794 0 0 0 82669 344 0 0 25 0 1 0 864469280 471515136 83656 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 115116 83656 300 300 0 114816 0
vsize: 460464
[startup+840.052 s]
Raw data (loadavg): 0.99 0.97 0.91 3/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 155811 0 0 0 83669 344 0 0 25 0 1 0 864469280 471515136 83673 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 115116 83673 300 300 0 114816 0
vsize: 460464
[startup+850.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 155826 0 0 0 84669 344 0 0 25 0 1 0 864469280 471515136 83688 4294967295 134512640 135726644 3221224592 3221223088 134743987 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 115116 83688 300 300 0 114816 0
vsize: 460464
[startup+860.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 155846 0 0 0 85669 345 0 0 25 0 1 0 864469280 471515136 83708 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 115116 83708 300 300 0 114816 0
vsize: 460464
[startup+870.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 155861 0 0 0 86669 345 0 0 25 0 1 0 864469280 471515136 83723 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 115116 83723 300 300 0 114816 0
vsize: 460464
[startup+880.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 157171 0 0 0 87666 348 0 0 25 0 1 0 864469280 476831744 85033 4294967295 134512640 135726644 3221224592 3221222752 134765588 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 116414 85033 300 300 0 116114 0
vsize: 465656
[startup+890.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 157259 0 0 0 88666 348 0 0 25 0 1 0 864469280 471777280 83758 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 115180 83758 300 300 0 114880 0
vsize: 460720
[startup+900.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 157541 0 0 0 89665 349 0 0 25 0 1 0 864469280 472432640 83877 4294967295 134512640 135726644 3221224592 3221223088 134744382 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 115340 83877 300 300 0 115040 0
vsize: 461360
[startup+910.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 157778 0 0 0 90665 349 0 0 25 0 1 0 864469280 472956928 83984 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 115468 83984 300 300 0 115168 0
vsize: 461872
[startup+920.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 157871 0 0 0 91665 349 0 0 25 0 1 0 864469280 473219072 84012 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 115532 84012 300 300 0 115232 0
vsize: 462128
[startup+930.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 157872 0 0 0 92665 349 0 0 25 0 1 0 864469280 473219072 84013 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 115532 84013 300 300 0 115232 0
vsize: 462128
[startup+940.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 157872 0 0 0 93666 349 0 0 25 0 1 0 864469280 473219072 84013 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 115532 84013 300 300 0 115232 0
vsize: 462128
[startup+950.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 158020 0 0 0 94665 350 0 0 25 0 1 0 864469280 473743360 84032 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 115660 84032 300 300 0 115360 0
vsize: 462640
[startup+960.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 159632 0 0 0 95662 354 0 0 25 0 1 0 864469280 474533888 84216 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 115853 84216 300 300 0 115553 0
vsize: 463412
[startup+970.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 160169 0 0 0 96661 355 0 0 25 0 1 0 864469280 476581888 84510 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 116353 84510 300 300 0 116053 0
vsize: 465412
[startup+980.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 160290 0 0 0 97661 355 0 0 25 0 1 0 864469280 476712960 84598 4294967295 134512640 135726644 3221224592 3221222912 134728878 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 116385 84598 300 300 0 116085 0
vsize: 465540
[startup+990.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 160291 0 0 0 98661 355 0 0 25 0 1 0 864469280 476712960 84599 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 116385 84599 300 300 0 116085 0
vsize: 465540
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 160292 0 0 0 99661 355 0 0 25 0 1 0 864469280 476712960 84600 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 116385 84600 300 300 0 116085 0
vsize: 465540
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 160292 0 0 0 100661 355 0 0 25 0 1 0 864469280 476712960 84600 4294967295 134512640 135726644 3221224592 3221222904 135279148 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 116385 84600 300 300 0 116085 0
vsize: 465540
[startup+1020.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 160293 0 0 0 101661 355 0 0 25 0 1 0 864469280 476712960 84601 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 116385 84601 300 300 0 116085 0
vsize: 465540
[startup+1030.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 160326 0 0 0 102661 356 0 0 25 0 1 0 864469280 476712960 84634 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 116385 84634 300 300 0 116085 0
vsize: 465540
[startup+1040.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 160327 0 0 0 103661 356 0 0 25 0 1 0 864469280 476712960 84635 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 116385 84635 300 300 0 116085 0
vsize: 465540
[startup+1050.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 162150 0 0 0 104657 360 0 0 25 0 1 0 864469280 478023680 84837 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 116705 84837 300 300 0 116405 0
vsize: 466820
[startup+1060.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 162760 0 0 0 105656 362 0 0 25 0 1 0 864469280 479334400 85124 4294967295 134512640 135726644 3221224592 3221223264 134745056 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 117025 85124 300 300 0 116725 0
vsize: 468100
[startup+1070.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 164197 0 0 0 106654 364 0 0 25 0 1 0 864469280 482881536 85785 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 117891 85785 300 300 0 117591 0
vsize: 471564
[startup+1080.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 164443 0 0 0 107653 364 0 0 25 0 1 0 864469280 483409920 85933 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 118020 85933 300 300 0 117720 0
vsize: 472080
[startup+1090.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 164777 0 0 0 108653 365 0 0 25 0 1 0 864469280 484331520 86072 4294967295 134512640 135726644 3221224592 3221223088 134744028 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 118245 86072 300 300 0 117945 0
vsize: 472980
[startup+1100.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 164777 0 0 0 109653 365 0 0 25 0 1 0 864469280 484331520 86072 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 118245 86072 300 300 0 117945 0
vsize: 472980
[startup+1110.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 164778 0 0 0 110653 365 0 0 25 0 1 0 864469280 484331520 86073 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 118245 86073 300 300 0 117945 0
vsize: 472980
[startup+1120.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 164778 0 0 0 111653 365 0 0 25 0 1 0 864469280 484331520 86073 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 118245 86073 300 300 0 117945 0
vsize: 472980
[startup+1130.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 164779 0 0 0 112653 365 0 0 25 0 1 0 864469280 484331520 86074 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 118245 86074 300 300 0 117945 0
vsize: 472980
[startup+1140.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 164780 0 0 0 113653 366 0 0 25 0 1 0 864469280 484331520 86075 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 118245 86075 300 300 0 117945 0
vsize: 472980
[startup+1150.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 164780 0 0 0 114653 366 0 0 25 0 1 0 864469280 484331520 86075 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 118245 86075 300 300 0 117945 0
vsize: 472980
[startup+1160.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 164781 0 0 0 115653 366 0 0 25 0 1 0 864469280 484331520 86076 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 118245 86076 300 300 0 117945 0
vsize: 472980
[startup+1170.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 164781 0 0 0 116653 366 0 0 25 0 1 0 864469280 484331520 86076 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 118245 86076 300 300 0 117945 0
vsize: 472980
[startup+1180.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 164806 0 0 0 117653 366 0 0 25 0 1 0 864469280 484331520 86101 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 118245 86101 300 300 0 117945 0
vsize: 472980
[startup+1190.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 164806 0 0 0 118653 366 0 0 25 0 1 0 864469280 484331520 86101 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 118245 86101 300 300 0 117945 0
vsize: 472980
[startup+1200.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 166827 0 0 0 119648 371 0 0 25 0 1 0 864469280 486039552 86435 4294967295 134512640 135726644 3221224592 3221223280 134744977 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118662 86435 300 300 0 118362 0
vsize: 474648
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.23 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 790
Raw data (stat): 790 (pb2sat) R 789 24172 24171 0 -1 0 166827 0 0 0 119648 371 0 0 25 0 1 0 864469280 486039552 86435 4294967295 134512640 135726644 3221224592 3221223280 134744977 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118662 86435 300 300 0 118362 0
vsize: 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1202.23
CPU time (s): 1202.37
CPU user time (s): 1198.49
CPU system time (s): 3.88341
CPU usage (%): 100.012
Max. virtual memory (Kb): 474648
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####