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:
  1. 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.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
  3. 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.
  4. 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

Namenormalized-opb/submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-cmb.opb
MD5SUMa8596c98551f801a6658f1ce91b33278
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1053
Optimality of the best value was proved NO
Number of terms in the objective function 304
Biggest coefficient in the objective function 61
Number of bits for the biggest coefficient in the objective function 6
Sum of the numbers in the objective function 12887
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 61
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 12887
Number of bits of the biggest sum of numbers14
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.97785
Number of variables304
Total number of constraints671
Number of constraints which are clauses671
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint28

Trace number 4441 

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc27 THE 2005-04-13 17:16:49 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2277 boxname=wulflinc27 idbench=253 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  a8596c98551f801a6658f1ce91b33278  /oldhome/oroussel/tmp/wulflinc27/normalized-cmb.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc27/normalized-cmb.opb
IDLAUNCH: 2277
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.169
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.169
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:        890088 kB
Buffers:         31652 kB
Cached:          76232 kB
SwapCached:       3160 kB
Active:          43260 kB
Inactive:        70564 kB
HighTotal:      131008 kB
HighFree:        51380 kB
LowTotal:       903652 kB
LowFree:        838708 kB
SwapTotal:     2097892 kB
SwapFree:      2094732 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6924 kB
Slab:            25092 kB
Committed_AS:    63488 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-13 17:37:21 (client local time) WITH STATUS 143 IN  SECONDS
stats: 2277 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc27/normalized-cmb.opb
c reading problem 
c [nbvar=304]
c [nbconstr=671]
c time 1.497
c #vars     304
c #clauses  671
c starts	: 0
c conflicts	: 0
c decisions	: 0
c propagations	: 0
c inspects	: 0
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 0
c SATISFIABLE
c OPTIMIZING...
c 
c CURRENT OPTIMUM=1065
c Current CPU time (ms) : 2.272
c starts	: 1
c conflicts	: 3
c decisions	: 131
c propagations	: 387
c inspects	: 1358
c learned literals	: 3
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 4
c 
c CURRENT OPTIMUM=1057
c Current CPU time (ms) : 4.134
c starts	: 2
c conflicts	: 4
c decisions	: 239
c propagations	: 699
c inspects	: 2117
c learned literals	: 3
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 1
c root simplifications	: 5
#### 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
Raw data (loadavg): 0.93 0.98 0.94 1/54 19544
Raw data (stat): 19544 (runsolver) R 19543 18865 18864 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 477679882 1052672 99 4294967295 134512640 135381576 3221224448 3221219696 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0003 s]
Raw data (loadavg): 1.08 1.02 0.95 3/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18076 3 1 0 647 42 0 0 25 0 11 0 477679882 866324480 21611 4294967295 134512640 134569956 3221224416 3221214428 1130899650 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211505 21611 13073 16 0 211489 0
vsize: 846020
[startup+20.0015 s]
Raw data (loadavg): 1.14 1.03 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18078 3 1 0 1556 42 0 0 25 0 11 0 477679882 865521664 21852 4294967295 134512640 134569956 3221224416 3221214488 1131223085 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211309 21852 13073 16 0 211293 0
vsize: 845236
[startup+30.0025 s]
Raw data (loadavg): 1.12 1.03 0.96 3/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18078 3 1 0 2502 42 0 0 24 0 11 0 477679882 865521664 22200 4294967295 134512640 134569956 3221224416 3221214900 1080204282 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211309 22200 13073 16 0 211293 0
vsize: 845236
[startup+40.0027 s]
Raw data (loadavg): 1.10 1.03 0.96 2/64 19556
Raw data (stat): 19544 (java) S 19543 18865 18864 0 -1 0 18078 3 1 0 3430 43 0 0 25 0 11 0 477679882 865521664 22707 4294967295 134512640 134569956 3221224416 3221213224 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211309 22707 13073 16 0 211293 0
vsize: 845236
[startup+50.0041 s]
Raw data (loadavg): 1.09 1.03 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18078 3 1 0 4366 43 0 0 25 0 11 0 477679882 865521664 22909 4294967295 134512640 134569956 3221224416 3221214832 1131262826 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211309 22909 13073 16 0 211293 0
vsize: 845236
[startup+60.0039 s]
Raw data (loadavg): 1.07 1.03 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18079 3 1 0 5301 43 0 0 24 0 11 0 477679882 865521664 23099 4294967295 134512640 134569956 3221224416 3221214584 1131223040 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211309 23099 13073 16 0 211293 0
vsize: 845236
[startup+70.0043 s]
Raw data (loadavg): 1.06 1.03 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18079 3 1 0 6246 44 0 0 25 0 11 0 477679882 865521664 23245 4294967295 134512640 134569956 3221224416 3221214824 1131218359 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211309 23245 13073 16 0 211293 0
vsize: 845236
[startup+80.0056 s]
Raw data (loadavg): 1.05 1.02 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18079 3 1 0 7195 44 0 0 25 0 11 0 477679882 865521664 23380 4294967295 134512640 134569956 3221224416 3221214828 1080203664 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211309 23380 13073 16 0 211293 0
vsize: 845236
[startup+90.0064 s]
Raw data (loadavg): 1.04 1.02 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18079 3 1 0 8153 44 0 0 25 0 11 0 477679882 865521664 23606 4294967295 134512640 134569956 3221224416 3221214912 1131231326 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211309 23606 13073 16 0 211293 0
vsize: 845236
[startup+100.007 s]
Raw data (loadavg): 1.04 1.02 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18079 3 1 0 9118 44 0 0 25 0 11 0 477679882 865521664 23686 4294967295 134512640 134569956 3221224416 3221214584 1131223240 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211309 23686 13073 16 0 211293 0
vsize: 845236
[startup+110.007 s]
Raw data (loadavg): 1.03 1.02 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18079 3 1 0 10084 44 0 0 25 0 11 0 477679882 865521664 23765 4294967295 134512640 134569956 3221224416 3221214872 1131145344 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211309 23765 13073 16 0 211293 0
vsize: 845236
[startup+120.008 s]
Raw data (loadavg): 1.02 1.02 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18079 3 1 0 11055 45 0 0 25 0 11 0 477679882 865521664 23846 4294967295 134512640 134569956 3221224416 3221214504 1131525173 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211309 23846 13073 16 0 211293 0
vsize: 845236
[startup+130.008 s]
Raw data (loadavg): 1.02 1.02 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18079 3 1 0 12021 45 0 0 25 0 11 0 477679882 865521664 24000 4294967295 134512640 134569956 3221224416 3221214816 1131174272 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211309 24000 13073 16 0 211293 0
vsize: 845236
[startup+140.009 s]
Raw data (loadavg): 1.02 1.02 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18079 3 1 0 12992 45 0 0 25 0 11 0 477679882 865521664 24114 4294967295 134512640 134569956 3221224416 3221214872 1131145344 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211309 24114 13073 16 0 211293 0
vsize: 845236
[startup+150.01 s]
Raw data (loadavg): 1.01 1.02 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18079 3 1 0 13967 45 0 0 25 0 11 0 477679882 865521664 24186 4294967295 134512640 134569956 3221224416 3221214680 1131632158 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211309 24186 13073 16 0 211293 0
vsize: 845236
[startup+160.01 s]
Raw data (loadavg): 1.01 1.02 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18079 3 1 0 14942 45 0 0 25 0 11 0 477679882 865521664 24255 4294967295 134512640 134569956 3221224416 3221214816 1131174025 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211309 24255 13073 16 0 211293 0
vsize: 845236
[startup+170.01 s]
Raw data (loadavg): 1.01 1.02 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18079 3 1 0 15914 45 0 0 24 0 11 0 477679882 865521664 24326 4294967295 134512640 134569956 3221224416 3221214512 1131615697 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211309 24326 13073 16 0 211293 0
vsize: 845236
[startup+180.011 s]
Raw data (loadavg): 1.01 1.01 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18079 3 1 0 16890 45 0 0 25 0 11 0 477679882 865521664 24391 4294967295 134512640 134569956 3221224416 3221214908 1131175307 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211309 24391 13073 16 0 211293 0
vsize: 845236
[startup+190.011 s]
Raw data (loadavg): 1.01 1.01 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18079 3 1 0 17863 45 0 0 25 0 11 0 477679882 865521664 24465 4294967295 134512640 134569956 3221224416 3221214720 1131337968 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211309 24465 13073 16 0 211293 0
vsize: 845236
[startup+200.011 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18079 3 1 0 18835 46 0 0 24 0 11 0 477679882 865521664 24515 4294967295 134512640 134569956 3221224416 3221214832 1131262730 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211309 24515 13073 16 0 211293 0
vsize: 845236
[startup+210.011 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18079 3 1 0 19809 46 0 0 25 0 11 0 477679882 865521664 24605 4294967295 134512640 134569956 3221224416 3221214568 1131572759 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211309 24605 13073 16 0 211293 0
vsize: 845236
[startup+220.012 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18079 3 1 0 20783 46 0 0 25 0 11 0 477679882 865521664 24701 4294967295 134512640 134569956 3221224416 3221214596 1131564723 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211309 24701 13073 16 0 211293 0
vsize: 845236
[startup+230.012 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18079 3 1 0 21756 46 0 0 25 0 11 0 477679882 865521664 24788 4294967295 134512640 134569956 3221224416 3221214520 1131564929 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211309 24788 13073 16 0 211293 0
vsize: 845236
[startup+240.013 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18079 3 1 0 22736 46 0 0 25 0 11 0 477679882 865521664 24838 4294967295 134512640 134569956 3221224416 3221214584 1131223228 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211309 24838 13073 16 0 211293 0
vsize: 845236
[startup+250.013 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18079 3 1 0 23714 46 0 0 25 0 11 0 477679882 865521664 24909 4294967295 134512640 134569956 3221224416 3221214600 1131383425 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211309 24909 13073 16 0 211293 0
vsize: 845236
[startup+260.014 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18079 3 1 0 24692 46 0 0 25 0 11 0 477679882 865521664 24986 4294967295 134512640 134569956 3221224416 3221214488 1131501027 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211309 24986 13073 16 0 211293 0
vsize: 845236
[startup+270.014 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18079 3 1 0 25671 46 0 0 25 0 11 0 477679882 865521664 25061 4294967295 134512640 134569956 3221224416 3221214584 1131223040 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211309 25061 13073 16 0 211293 0
vsize: 845236
[startup+280.014 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18079 3 1 0 26649 46 0 0 25 0 11 0 477679882 865521664 25107 4294967295 134512640 134569956 3221224416 3221214664 1131659625 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211309 25107 13073 16 0 211293 0
vsize: 845236
[startup+290.014 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18079 3 1 0 27624 46 0 0 25 0 11 0 477679882 865521664 25176 4294967295 134512640 134569956 3221224416 3221214708 1080204229 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211309 25176 13073 16 0 211293 0
vsize: 845236
[startup+300.015 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18079 3 1 0 28595 46 0 0 25 0 11 0 477679882 865521664 25220 4294967295 134512640 134569956 3221224416 3221214816 1131173829 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211309 25220 13073 16 0 211293 0
vsize: 845236
[startup+310.014 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18079 3 1 0 29568 46 0 0 25 0 11 0 477679882 865521664 25297 4294967295 134512640 134569956 3221224416 3221214816 1131174421 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211309 25297 13073 16 0 211293 0
vsize: 845236
[startup+320.015 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18079 3 1 0 30539 46 0 0 25 0 11 0 477679882 865521664 25375 4294967295 134512640 134569956 3221224416 3221214720 1131334760 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211309 25375 13073 16 0 211293 0
vsize: 845236
[startup+330.015 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18079 3 1 0 31512 46 0 0 25 0 11 0 477679882 865521664 25485 4294967295 134512640 134569956 3221224416 3221214456 1080217015 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211309 25485 13073 16 0 211293 0
vsize: 845236
[startup+340.016 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18079 3 1 0 32494 46 0 0 25 0 11 0 477679882 865521664 25562 4294967295 134512640 134569956 3221224416 3221214576 1131436052 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211309 25562 13073 16 0 211293 0
vsize: 845236
[startup+350.016 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18079 3 1 0 33477 46 0 0 25 0 11 0 477679882 865521664 25610 4294967295 134512640 134569956 3221224416 3221214720 1131336387 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211309 25610 13073 16 0 211293 0
vsize: 845236
[startup+360.017 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18079 3 1 0 34459 46 0 0 25 0 11 0 477679882 865521664 25659 4294967295 134512640 134569956 3221224416 3221214520 1131565302 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211309 25659 13073 16 0 211293 0
vsize: 845236
[startup+370.017 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18079 3 1 0 35441 47 0 0 25 0 11 0 477679882 865521664 25703 4294967295 134512640 134569956 3221224416 3221214720 1131334338 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211309 25703 13073 16 0 211293 0
vsize: 845236
[startup+380.017 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18079 3 1 0 36422 47 0 0 25 0 11 0 477679882 865521664 25751 4294967295 134512640 134569956 3221224416 3221214512 1131615490 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211309 25751 13073 16 0 211293 0
vsize: 845236
[startup+390.018 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18079 3 1 0 37408 47 0 0 24 0 11 0 477679882 865521664 25816 4294967295 134512640 134569956 3221224416 3221214816 1131174241 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211309 25816 13073 16 0 211293 0
vsize: 845236
[startup+400.019 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18079 3 1 0 38396 47 0 0 25 0 11 0 477679882 865521664 25836 4294967295 134512640 134569956 3221224416 3221214816 1131173904 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211309 25836 13073 16 0 211293 0
vsize: 845236
[startup+410.018 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18079 3 1 0 39379 47 0 0 24 0 11 0 477679882 865521664 25897 4294967295 134512640 134569956 3221224416 3221214720 1131341030 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211309 25897 13073 16 0 211293 0
vsize: 845236
[startup+420.019 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18079 3 1 0 40366 47 0 0 25 0 11 0 477679882 865521664 25919 4294967295 134512640 134569956 3221224416 3221214832 1131264422 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211309 25919 13073 16 0 211293 0
vsize: 845236
[startup+430.019 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18079 3 1 0 41351 47 0 0 25 0 11 0 477679882 865521664 25939 4294967295 134512640 134569956 3221224416 3221214520 1131564799 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211309 25939 13073 16 0 211293 0
vsize: 845236
[startup+440.02 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18079 3 1 0 42334 47 0 0 25 0 11 0 477679882 865521664 25981 4294967295 134512640 134569956 3221224416 3221214600 1131382755 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211309 25981 13073 16 0 211293 0
vsize: 845236
[startup+450.02 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18079 3 1 0 43319 47 0 0 25 0 11 0 477679882 865521664 26037 4294967295 134512640 134569956 3221224416 3221214576 1131571606 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211309 26037 13073 16 0 211293 0
vsize: 845236
[startup+460.021 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18079 3 1 0 44299 47 0 0 25 0 11 0 477679882 865521664 26058 4294967295 134512640 134569956 3221224416 3221214816 1131174141 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211309 26058 13073 16 0 211293 0
vsize: 845236
[startup+470.021 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18079 3 1 0 45278 47 0 0 25 0 11 0 477679882 865521664 26120 4294967295 134512640 134569956 3221224416 3221214512 1080217358 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211309 26120 13073 16 0 211293 0
vsize: 845236
[startup+480.021 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18079 3 1 0 46257 47 0 0 25 0 11 0 477679882 865521664 26167 4294967295 134512640 134569956 3221224416 3221214720 1131334629 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211309 26167 13073 16 0 211293 0
vsize: 845236
[startup+490.022 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18079 3 1 0 47241 47 0 0 25 0 11 0 477679882 865521664 26193 4294967295 134512640 134569956 3221224416 3221214816 1131174475 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211309 26193 13073 16 0 211293 0
vsize: 845236
[startup+500.023 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18079 3 1 0 48223 47 0 0 25 0 11 0 477679882 865521664 26259 4294967295 134512640 134569956 3221224416 3221214576 1080217021 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211309 26259 13073 16 0 211293 0
vsize: 845236
[startup+510.023 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18079 3 1 0 49210 47 0 0 25 0 11 0 477679882 865521664 26302 4294967295 134512640 134569956 3221224416 3221214568 1131647650 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211309 26302 13073 16 0 211293 0
vsize: 845236
[startup+520.023 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18079 3 1 0 50201 47 0 0 25 0 11 0 477679882 865521664 26347 4294967295 134512640 134569956 3221224416 3221214520 1131564810 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211309 26347 13073 16 0 211293 0
vsize: 845236
[startup+530.024 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18079 3 1 0 51193 47 0 0 25 0 11 0 477679882 865521664 26372 4294967295 134512640 134569956 3221224416 3221214816 1131174467 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211309 26372 13073 16 0 211293 0
vsize: 845236
[startup+540.025 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18079 3 1 0 52184 47 0 0 25 0 11 0 477679882 865521664 26398 4294967295 134512640 134569956 3221224416 3221214544 1131494171 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211309 26398 13073 16 0 211293 0
vsize: 845236
[startup+550.026 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18079 3 1 0 53176 47 0 0 25 0 11 0 477679882 865521664 26409 4294967295 134512640 134569956 3221224416 3221214392 1080217276 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211309 26409 13073 16 0 211293 0
vsize: 845236
[startup+560.025 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18079 3 1 0 54169 47 0 0 25 0 11 0 477679882 865521664 26462 4294967295 134512640 134569956 3221224416 3221214512 1131615965 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211309 26462 13073 16 0 211293 0
vsize: 845236
[startup+570.027 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18079 3 1 0 55164 47 0 0 25 0 11 0 477679882 865521664 26498 4294967295 134512640 134569956 3221224416 3221214708 1080204256 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211309 26498 13073 16 0 211293 0
vsize: 845236
[startup+580.026 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18079 3 1 0 56159 47 0 0 25 0 11 0 477679882 865521664 26527 4294967295 134512640 134569956 3221224416 3221214520 1131565183 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211309 26527 13073 16 0 211293 0
vsize: 845236
[startup+590.027 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18079 3 1 0 57155 47 0 0 25 0 11 0 477679882 865521664 26527 4294967295 134512640 134569956 3221224416 3221214720 1131335984 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211309 26527 13073 16 0 211293 0
vsize: 845236
[startup+600.028 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18079 3 1 0 58150 47 0 0 25 0 11 0 477679882 865521664 26527 4294967295 134512640 134569956 3221224416 3221214600 1131383115 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211309 26527 13073 16 0 211293 0
vsize: 845236
[startup+610.028 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18079 3 1 0 59146 48 0 0 25 0 11 0 477679882 865521664 26530 4294967295 134512640 134569956 3221224416 3221214520 1131564899 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211309 26530 13073 16 0 211293 0
vsize: 845236
[startup+620.028 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18079 3 1 0 60142 48 0 0 25 0 11 0 477679882 865521664 26552 4294967295 134512640 134569956 3221224416 3221214720 1131335334 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211309 26552 13073 16 0 211293 0
vsize: 845236
[startup+630.028 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18079 3 1 0 61138 48 0 0 25 0 11 0 477679882 865521664 26552 4294967295 134512640 134569956 3221224416 3221214720 1131334419 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211309 26552 13073 16 0 211293 0
vsize: 845236
[startup+640.029 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18079 3 1 0 62134 48 0 0 25 0 11 0 477679882 865521664 26552 4294967295 134512640 134569956 3221224416 3221214520 1131565288 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211309 26552 13073 16 0 211293 0
vsize: 845236
[startup+650.029 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18079 3 1 0 63131 48 0 0 25 0 11 0 477679882 865521664 26552 4294967295 134512640 134569956 3221224416 3221214600 1131382781 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211309 26552 13073 16 0 211293 0
vsize: 845236
[startup+660.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18079 3 1 0 64126 48 0 0 25 0 11 0 477679882 865521664 26554 4294967295 134512640 134569956 3221224416 3221214816 1131174311 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211309 26554 13073 16 0 211293 0
vsize: 845236
[startup+670.031 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18079 3 1 0 65121 48 0 0 25 0 11 0 477679882 865521664 26565 4294967295 134512640 134569956 3221224416 3221214600 1131383602 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211309 26565 13073 16 0 211293 0
vsize: 845236
[startup+680.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18079 3 1 0 66116 48 0 0 25 0 11 0 477679882 865521664 26565 4294967295 134512640 134569956 3221224416 3221214512 1131615560 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211309 26565 13073 16 0 211293 0
vsize: 845236
[startup+690.031 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18079 3 1 0 67111 48 0 0 25 0 11 0 477679882 865521664 26565 4294967295 134512640 134569956 3221224416 3221214392 1080217270 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211309 26565 13073 16 0 211293 0
vsize: 845236
[startup+700.032 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18079 3 1 0 68106 48 0 0 25 0 11 0 477679882 865521664 26587 4294967295 134512640 134569956 3221224416 3221214888 1131250417 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211309 26587 13073 16 0 211293 0
vsize: 845236
[startup+710.032 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18079 3 1 0 69097 48 0 0 25 0 11 0 477679882 865521664 26587 4294967295 134512640 134569956 3221224416 3221214392 1080217199 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211309 26587 13073 16 0 211293 0
vsize: 845236
[startup+720.033 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18079 3 1 0 70091 48 0 0 25 0 11 0 477679882 865521664 26587 4294967295 134512640 134569956 3221224416 3221214900 1080204260 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211309 26587 13073 16 0 211293 0
vsize: 845236
[startup+730.033 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18079 3 1 0 71086 48 0 0 25 0 11 0 477679882 865521664 26595 4294967295 134512640 134569956 3221224416 3221214600 1131383479 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211309 26595 13073 16 0 211293 0
vsize: 845236
[startup+740.034 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18079 3 1 0 72080 48 0 0 25 0 11 0 477679882 865521664 26618 4294967295 134512640 134569956 3221224416 3221214596 1131571596 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211309 26618 13073 16 0 211293 0
vsize: 845236
[startup+750.034 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18079 3 1 0 73075 48 0 0 25 0 11 0 477679882 865521664 26618 4294967295 134512640 134569956 3221224416 3221214576 1131571613 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211309 26618 13073 16 0 211293 0
vsize: 845236
[startup+760.034 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18079 3 1 0 74066 49 0 0 25 0 11 0 477679882 865521664 26632 4294967295 134512640 134569956 3221224416 3221214296 1131663312 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211309 26632 13073 16 0 211293 0
vsize: 845236
[startup+770.034 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18079 3 1 0 75056 49 0 0 25 0 11 0 477679882 865521664 26645 4294967295 134512640 134569956 3221224416 3221214816 1131174330 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211309 26645 13073 16 0 211293 0
vsize: 845236
[startup+780.035 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18079 3 1 0 76046 49 0 0 24 0 11 0 477679882 865521664 26666 4294967295 134512640 134569956 3221224416 3221214504 1131524444 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211309 26666 13073 16 0 211293 0
vsize: 845236
[startup+790.035 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18079 3 1 0 77039 49 0 0 25 0 11 0 477679882 865521664 26666 4294967295 134512640 134569956 3221224416 3221214552 1131497879 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211309 26666 13073 16 0 211293 0
vsize: 845236
[startup+800.036 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18079 3 1 0 78033 49 0 0 25 0 11 0 477679882 865521664 26666 4294967295 134512640 134569956 3221224416 3221214720 1131334629 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211309 26666 13073 16 0 211293 0
vsize: 845236
[startup+810.036 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18079 3 1 0 79022 49 0 0 25 0 11 0 477679882 865521664 26714 4294967295 134512640 134569956 3221224416 3221214512 1080217364 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211309 26714 13073 16 0 211293 0
vsize: 845236
[startup+820.037 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18079 3 1 0 80010 49 0 0 25 0 11 0 477679882 865521664 26730 4294967295 134512640 134569956 3221224416 3221214720 1131338276 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211309 26730 13073 16 0 211293 0
vsize: 845236
[startup+830.036 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18079 3 1 0 81001 49 0 0 25 0 11 0 477679882 865521664 26747 4294967295 134512640 134569956 3221224416 3221214584 1131223040 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211309 26747 13073 16 0 211293 0
vsize: 845236
[startup+840.037 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18079 3 1 0 81993 49 0 0 25 0 11 0 477679882 865521664 26747 4294967295 134512640 134569956 3221224416 3221214552 1131497999 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211309 26747 13073 16 0 211293 0
vsize: 845236
[startup+850.038 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18079 3 1 0 82990 49 0 0 25 0 11 0 477679882 865521664 26747 4294967295 134512640 134569956 3221224416 3221214600 1131382844 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211309 26747 13073 16 0 211293 0
vsize: 845236
[startup+860.038 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18079 3 1 0 83981 49 0 0 25 0 11 0 477679882 865521664 26781 4294967295 134512640 134569956 3221224416 3221214728 1131541844 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211309 26781 13073 16 0 211293 0
vsize: 845236
[startup+870.039 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18079 3 1 0 84971 49 0 0 25 0 11 0 477679882 865521664 26800 4294967295 134512640 134569956 3221224416 3221214516 1079721495 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211309 26800 13073 16 0 211293 0
vsize: 845236
[startup+880.038 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18079 3 1 0 85957 49 0 0 25 0 11 0 477679882 865521664 26856 4294967295 134512640 134569956 3221224416 3221214576 1131498124 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211309 26856 13073 16 0 211293 0
vsize: 845236
[startup+890.039 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18079 3 1 0 86945 49 0 0 25 0 11 0 477679882 865521664 26884 4294967295 134512640 134569956 3221224416 3221214600 1131507320 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211309 26884 13073 16 0 211293 0
vsize: 845236
[startup+900.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18079 3 1 0 87934 49 0 0 25 0 11 0 477679882 865521664 26884 4294967295 134512640 134569956 3221224416 3221214708 1080204256 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211309 26884 13073 16 0 211293 0
vsize: 845236
[startup+910.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18079 3 1 0 88920 49 0 0 25 0 11 0 477679882 865521664 26981 4294967295 134512640 134569956 3221224416 3221214392 1080217270 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211309 26981 13073 16 0 211293 0
vsize: 845236
[startup+920.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18079 3 1 0 89907 49 0 0 25 0 11 0 477679882 865521664 27019 4294967295 134512640 134569956 3221224416 3221214516 1079721525 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211309 27019 13073 16 0 211293 0
vsize: 845236
[startup+930.047 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18079 3 1 0 90893 49 0 0 25 0 11 0 477679882 865521664 27060 4294967295 134512640 134569956 3221224416 3221214584 1131223040 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211309 27060 13073 16 0 211293 0
vsize: 845236
[startup+940.055 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18079 3 1 0 91882 49 0 0 25 0 11 0 477679882 865521664 27125 4294967295 134512640 134569956 3221224416 3221214832 1131261040 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211309 27125 13073 16 0 211293 0
vsize: 845236
[startup+950.055 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18079 3 1 0 92867 49 0 0 25 0 11 0 477679882 865521664 27152 4294967295 134512640 134569956 3221224416 3221214600 1131383503 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211309 27152 13073 16 0 211293 0
vsize: 845236
[startup+960.055 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18079 3 1 0 93855 49 0 0 25 0 11 0 477679882 865521664 27167 4294967295 134512640 134569956 3221224416 3221214520 1131565208 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211309 27167 13073 16 0 211293 0
vsize: 845236
[startup+970.056 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18079 3 1 0 94843 49 0 0 25 0 11 0 477679882 865521664 27206 4294967295 134512640 134569956 3221224416 3221214600 1131382766 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211309 27206 13073 16 0 211293 0
vsize: 845236
[startup+980.071 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18079 3 1 0 95830 49 0 0 25 0 11 0 477679882 865521664 27281 4294967295 134512640 134569956 3221224416 3221214704 1131340896 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211309 27281 13073 16 0 211293 0
vsize: 845236
[startup+990.074 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 19556
Raw data (stat): 19544 (java) S 19543 18865 18864 0 -1 0 18079 3 1 0 96819 49 0 0 25 0 11 0 477679882 865521664 27307 4294967295 134512640 134569956 3221224416 3221213520 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211309 27307 13073 16 0 211293 0
vsize: 845236
[startup+1000.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18079 3 1 0 97808 49 0 0 25 0 11 0 477679882 865521664 27364 4294967295 134512640 134569956 3221224416 3221214816 1131174305 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211309 27364 13073 16 0 211293 0
vsize: 845236
[startup+1010.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18079 3 1 0 98796 49 0 0 25 0 11 0 477679882 865521664 27373 4294967295 134512640 134569956 3221224416 3221214392 1080217270 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211309 27373 13073 16 0 211293 0
vsize: 845236
[startup+1020.08 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18079 3 1 0 99786 49 0 0 25 0 11 0 477679882 865521664 27393 4294967295 134512640 134569956 3221224416 3221214720 1131335385 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211309 27393 13073 16 0 211293 0
vsize: 845236
[startup+1030.08 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18079 3 1 0 100778 50 0 0 25 0 11 0 477679882 865521664 27434 4294967295 134512640 134569956 3221224416 3221214716 1080204282 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211309 27434 13073 16 0 211293 0
vsize: 845236
[startup+1040.08 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18079 3 1 0 101767 50 0 0 25 0 11 0 477679882 865521664 27478 4294967295 134512640 134569956 3221224416 3221214720 1131339399 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211309 27478 13073 16 0 211293 0
vsize: 845236
[startup+1050.08 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18079 3 1 0 102756 50 0 0 25 0 11 0 477679882 865521664 27492 4294967295 134512640 134569956 3221224416 3221214600 1131383610 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211309 27492 13073 16 0 211293 0
vsize: 845236
[startup+1060.08 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18079 3 1 0 103744 51 0 0 25 0 11 0 477679882 865521664 27522 4294967295 134512640 134569956 3221224416 3221214716 1080204260 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211309 27522 13073 16 0 211293 0
vsize: 845236
[startup+1070.08 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18079 3 1 0 104734 51 0 0 25 0 11 0 477679882 865521664 27546 4294967295 134512640 134569956 3221224416 3221214376 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211309 27546 13073 16 0 211293 0
vsize: 845236
[startup+1080.08 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18079 3 1 0 105726 51 0 0 25 0 11 0 477679882 865521664 27614 4294967295 134512640 134569956 3221224416 3221214520 1131564894 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211309 27614 13073 16 0 211293 0
vsize: 845236
[startup+1090.08 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18079 3 1 0 106719 51 0 0 25 0 11 0 477679882 865521664 27659 4294967295 134512640 134569956 3221224416 3221214512 1080217367 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211309 27659 13073 16 0 211293 0
vsize: 845236
[startup+1100.08 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18079 3 1 0 107714 52 0 0 25 0 11 0 477679882 865521664 27688 4294967295 134512640 134569956 3221224416 3221214552 1079721471 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211309 27688 13073 16 0 211293 0
vsize: 845236
[startup+1110.08 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18079 3 1 0 108708 52 0 0 25 0 11 0 477679882 865521664 27689 4294967295 134512640 134569956 3221224416 3221214360 1080217270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211309 27689 13073 16 0 211293 0
vsize: 845236
[startup+1120.08 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18079 3 1 0 109699 52 0 0 25 0 11 0 477679882 865521664 27711 4294967295 134512640 134569956 3221224416 3221214568 1079721461 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211309 27711 13073 16 0 211293 0
vsize: 845236
[startup+1130.08 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18079 3 1 0 110692 53 0 0 25 0 11 0 477679882 865521664 27711 4294967295 134512640 134569956 3221224416 3221214588 1131382901 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211309 27711 13073 16 0 211293 0
vsize: 845236
[startup+1140.08 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18079 3 1 0 111683 53 0 0 25 0 11 0 477679882 865521664 27714 4294967295 134512640 134569956 3221224416 3221214720 1131341158 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211309 27714 13073 16 0 211293 0
vsize: 845236
[startup+1150.08 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18079 3 1 0 112674 54 0 0 25 0 11 0 477679882 865521664 27716 4294967295 134512640 134569956 3221224416 3221214600 1131382980 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211309 27716 13073 16 0 211293 0
vsize: 845236
[startup+1160.08 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18079 3 1 0 113666 54 0 0 25 0 11 0 477679882 865521664 27716 4294967295 134512640 134569956 3221224416 3221214520 1131565075 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211309 27716 13073 16 0 211293 0
vsize: 845236
[startup+1170.08 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18079 3 1 0 114658 55 0 0 25 0 11 0 477679882 865521664 27718 4294967295 134512640 134569956 3221224416 3221214600 1131383124 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211309 27718 13073 16 0 211293 0
vsize: 845236
[startup+1180.08 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18079 3 1 0 115649 55 0 0 25 0 11 0 477679882 865521664 27746 4294967295 134512640 134569956 3221224416 3221214596 1131564716 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211309 27746 13073 16 0 211293 0
vsize: 845236
[startup+1190.08 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18079 3 1 0 116641 55 0 0 24 0 11 0 477679882 865521664 27761 4294967295 134512640 134569956 3221224416 3221214600 1131382941 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211309 27761 13073 16 0 211293 0
vsize: 845236
[startup+1200.09 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18079 3 1 0 117635 56 0 0 25 0 11 0 477679882 865521664 27807 4294967295 134512640 134569956 3221224416 3221214600 1131382358 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211309 27807 13073 16 0 211293 0
vsize: 845236
[startup+1210.09 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18079 3 1 0 118627 56 0 0 25 0 11 0 477679882 865521664 27807 4294967295 134512640 134569956 3221224416 3221214584 1131382907 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211309 27807 13073 16 0 211293 0
vsize: 845236
[startup+1220.09 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18079 3 1 0 119618 56 0 0 25 0 11 0 477679882 865521664 27872 4294967295 134512640 134569956 3221224416 3221214520 1131564933 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211309 27872 13073 16 0 211293 0
vsize: 845236
[startup+1230.09 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 19556
Raw data (stat): 19544 (java) R 19543 18865 18864 0 -1 0 18079 3 1 0 120609 56 0 0 25 0 11 0 477679882 865521664 27877 4294967295 134512640 134569956 3221224416 3221214576 1080217037 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211309 27877 13073 16 0 211293 0
vsize: 845236
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.15 s]
Raw data (loadavg): 1.00 1.00 0.96 1/54 19558
Raw data (stat): 19544 (java) Z 19543 18865 18864 0 -1 1036 18079 15414 1 0 120610 61 3577 44 25 0 1 0 477679882 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1230.15
CPU time (s): 1242.94
CPU user time (s): 1241.88
CPU system time (s): 1.06484
CPU usage (%): 101.04
Max. virtual memory (Kb): 846020
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####