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/logic-synthesis/normalized-9sym.b.opb
MD5SUM1457dc2646bff5e87c0f4b32dfb926ba
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 5
Optimality of the best value was proved NO
Number of terms in the objective function 310
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 310
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 310
Number of bits of the biggest sum of numbers9
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.681895
Number of variables309
Total number of constraints976
Number of constraints which are clauses963
Number of constraints which are cardinality constraints (but not clauses)13
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint87

Trace number 4212

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc13 THE 2005-04-13 15:53:44 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=540 boxname=wulflinc13 idbench=60 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  1457dc2646bff5e87c0f4b32dfb926ba  /oldhome/oroussel/tmp/wulflinc13/normalized-9sym.b.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc13/normalized-9sym.b.opb
IDLAUNCH: 540
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        937444 kB
Buffers:         32224 kB
Cached:          45244 kB
SwapCached:        392 kB
Active:          42100 kB
Inactive:        38572 kB
HighTotal:      131008 kB
HighFree:        81424 kB
LowTotal:       903652 kB
LowFree:        856020 kB
SwapTotal:     2097136 kB
SwapFree:      2096744 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6928 kB
Slab:            10960 kB
Committed_AS:    63484 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-13 16:14:27 (client local time) WITH STATUS 143 IN  SECONDS
stats: 540 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc13/normalized-9sym.b.opb
c reading problem 
c [nbvar=310]
c [nbconstr=976]
c time 3.656
c #vars     310
c #clauses  963
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=13
c Current CPU time (ms) : 5.895
c starts	: 1
c conflicts	: 2
c decisions	: 194
c propagations	: 372
c inspects	: 6378
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 2
c root simplifications	: 1
c 
c CURRENT OPTIMUM=12
c Current CPU time (ms) : 8.663
c starts	: 2
c conflicts	: 5
c decisions	: 207
c propagations	: 1003
c inspects	: 8261
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 5
c root simplifications	: 2
c 
c CURRENT OPTIMUM=6
c Current CPU time (ms) : 8.907
c starts	: 3
c conflicts	: 6
c decisions	: 284
c propagations	: 1325
c inspects	: 9953
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 6
c root simplifications	: 3
c 
c CURRENT OPTIMUM=5
c Current CPU time (ms) : 25.37
c starts	: 4
c conflicts	: 82
c decisions	: 2111
c propagations	: 5566
c inspects	: 32511
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 82
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): 1.02 0.33 0.11 2/54 30949
Raw data (stat): 30949 (runsolver) R 30948 30701 30700 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 418965945 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+9.99964 s]
Raw data (loadavg): 1.33 0.42 0.14 3/64 30962
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 14828 3 1 0 650 40 0 0 25 0 11 0 418965945 867131392 18342 4294967295 134512640 134569956 3221224416 3221214704 1131313953 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211702 18334 13073 16 0 211686 0
vsize: 846808
[startup+20.0007 s]
Raw data (loadavg): 1.28 0.44 0.15 2/64 30962
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18090 3 1 0 1579 50 0 0 25 0 11 0 418965945 861282304 20977 4294967295 134512640 134569956 3221224416 3221214672 1131403789 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210274 20977 13073 16 0 210258 0
vsize: 841096
[startup+30.0009 s]
Raw data (loadavg): 1.23 0.45 0.16 2/64 30963
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 2524 50 0 0 25 0 11 0 418965945 861282304 21278 4294967295 134512640 134569956 3221224416 3221214856 1131340775 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210274 21278 13073 16 0 210258 0
vsize: 841096
[startup+40.0015 s]
Raw data (loadavg): 1.20 0.47 0.17 3/64 30963
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 3464 50 0 0 25 0 11 0 418965945 861282304 21447 4294967295 134512640 134569956 3221224416 3221214584 1131240958 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210274 21447 13073 16 0 210258 0
vsize: 841096
[startup+50.0119 s]
Raw data (loadavg): 1.17 0.49 0.18 2/64 30963
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 4411 51 0 0 25 0 11 0 418965945 861282304 21816 4294967295 134512640 134569956 3221224416 3221214800 1131353742 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210274 21816 13073 16 0 210258 0
vsize: 841096
[startup+60.0118 s]
Raw data (loadavg): 1.14 0.51 0.19 2/64 30963
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 5361 51 0 0 24 0 11 0 418965945 861282304 21965 4294967295 134512640 134569956 3221224416 3221214704 1131312972 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210274 21965 13073 16 0 210258 0
vsize: 841096
[startup+70.0124 s]
Raw data (loadavg): 1.12 0.52 0.20 2/64 30963
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 6311 52 0 0 25 0 11 0 418965945 861282304 22086 4294967295 134512640 134569956 3221224416 3221214576 1131594868 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210274 22086 13073 16 0 210258 0
vsize: 841096
[startup+80.0135 s]
Raw data (loadavg): 1.10 0.54 0.20 2/64 30963
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 7261 52 0 0 25 0 11 0 418965945 861282304 22185 4294967295 134512640 134569956 3221224416 3221214576 1131595718 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210274 22185 13073 16 0 210258 0
vsize: 841096
[startup+90.0137 s]
Raw data (loadavg): 1.08 0.55 0.21 2/64 30963
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 8215 52 0 0 25 0 11 0 418965945 861282304 22354 4294967295 134512640 134569956 3221224416 3221214704 1131313369 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210274 22354 13073 16 0 210258 0
vsize: 841096
[startup+100.013 s]
Raw data (loadavg): 1.07 0.57 0.22 2/64 30963
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 9186 52 0 0 25 0 11 0 418965945 861282304 22497 4294967295 134512640 134569956 3221224416 3221214584 1131240958 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210274 22497 13073 16 0 210258 0
vsize: 841096
[startup+110.015 s]
Raw data (loadavg): 1.06 0.58 0.23 2/64 30963
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 10159 52 0 0 24 0 11 0 418965945 861282304 22553 4294967295 134512640 134569956 3221224416 3221214584 1131241001 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210274 22553 13073 16 0 210258 0
vsize: 841096
[startup+120.016 s]
Raw data (loadavg): 1.05 0.59 0.23 2/64 30963
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 11130 52 0 0 25 0 11 0 418965945 861282304 22614 4294967295 134512640 134569956 3221224416 3221214616 1131371108 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210274 22614 13073 16 0 210258 0
vsize: 841096
[startup+130.015 s]
Raw data (loadavg): 1.04 0.61 0.24 2/64 30963
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 12088 52 0 0 25 0 11 0 418965945 861282304 22647 4294967295 134512640 134569956 3221224416 3221214752 1131479828 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210274 22647 13073 16 0 210258 0
vsize: 841096
[startup+140.016 s]
Raw data (loadavg): 1.03 0.62 0.25 2/64 30963
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 13044 52 0 0 25 0 11 0 418965945 861282304 22745 4294967295 134512640 134569956 3221224416 3221214584 1131241608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210274 22745 13073 16 0 210258 0
vsize: 841096
[startup+150.017 s]
Raw data (loadavg): 1.03 0.63 0.26 2/64 30963
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 14000 52 0 0 25 0 11 0 418965945 861282304 22856 4294967295 134512640 134569956 3221224416 3221214584 1131240844 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210274 22856 13073 16 0 210258 0
vsize: 841096
[startup+160.016 s]
Raw data (loadavg): 1.02 0.64 0.27 2/64 30963
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 14967 52 0 0 25 0 11 0 418965945 861282304 23021 4294967295 134512640 134569956 3221224416 3221214688 1131312961 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210274 23021 13073 16 0 210258 0
vsize: 841096
[startup+170.017 s]
Raw data (loadavg): 1.09 0.67 0.28 2/64 30963
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 15937 52 0 0 25 0 11 0 418965945 861282304 23084 4294967295 134512640 134569956 3221224416 3221214408 1078033063 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210274 23084 13073 16 0 210258 0
vsize: 841096
[startup+180.017 s]
Raw data (loadavg): 1.08 0.68 0.29 2/64 30963
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 16903 52 0 0 25 0 11 0 418965945 861282304 23137 4294967295 134512640 134569956 3221224416 3221214672 1131400951 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210274 23137 13073 16 0 210258 0
vsize: 841096
[startup+190.017 s]
Raw data (loadavg): 1.07 0.69 0.29 2/64 30963
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 17860 52 0 0 25 0 11 0 418965945 861282304 23176 4294967295 134512640 134569956 3221224416 3221214576 1131595713 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210274 23176 13073 16 0 210258 0
vsize: 841096
[startup+200.017 s]
Raw data (loadavg): 1.06 0.70 0.30 2/64 30963
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 18819 52 0 0 25 0 11 0 418965945 861282304 23276 4294967295 134512640 134569956 3221224416 3221214752 1131477941 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210274 23276 13073 16 0 210258 0
vsize: 841096
[startup+210.016 s]
Raw data (loadavg): 1.05 0.71 0.31 2/64 30963
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 19783 52 0 0 25 0 11 0 418965945 861282304 23379 4294967295 134512640 134569956 3221224416 3221214784 1131353690 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210274 23379 13073 16 0 210258 0
vsize: 841096
[startup+220.017 s]
Raw data (loadavg): 1.04 0.72 0.31 2/64 30963
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 20740 52 0 0 25 0 11 0 418965945 861282304 23481 4294967295 134512640 134569956 3221224416 3221214584 1131241017 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210274 23481 13073 16 0 210258 0
vsize: 841096
[startup+230.017 s]
Raw data (loadavg): 1.03 0.73 0.32 2/64 30963
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 21696 53 0 0 24 0 11 0 418965945 861282304 23550 4294967295 134512640 134569956 3221224416 3221214584 1131241608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210274 23550 13073 16 0 210258 0
vsize: 841096
[startup+240.017 s]
Raw data (loadavg): 1.03 0.74 0.33 2/64 30963
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 22655 53 0 0 25 0 11 0 418965945 861282304 23633 4294967295 134512640 134569956 3221224416 3221214680 1131636608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210274 23633 13073 16 0 210258 0
vsize: 841096
[startup+250.017 s]
Raw data (loadavg): 1.02 0.74 0.33 2/64 30963
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 23617 53 0 0 25 0 11 0 418965945 861282304 23781 4294967295 134512640 134569956 3221224416 3221214672 1131400225 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210274 23781 13073 16 0 210258 0
vsize: 841096
[startup+260.017 s]
Raw data (loadavg): 1.02 0.75 0.34 2/64 30963
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 24582 53 0 0 25 0 11 0 418965945 861282304 23871 4294967295 134512640 134569956 3221224416 3221214760 1131240958 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210274 23871 13073 16 0 210258 0
vsize: 841096
[startup+270.017 s]
Raw data (loadavg): 1.02 0.76 0.35 2/64 30963
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 25547 53 0 0 25 0 11 0 418965945 861282304 23953 4294967295 134512640 134569956 3221224416 3221214672 1131401105 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210274 23953 13073 16 0 210258 0
vsize: 841096
[startup+280.017 s]
Raw data (loadavg): 1.01 0.77 0.35 2/64 30963
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 26509 53 0 0 25 0 11 0 418965945 861282304 24048 4294967295 134512640 134569956 3221224416 3221214584 1131240958 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210274 24048 13073 16 0 210258 0
vsize: 841096
[startup+290.018 s]
Raw data (loadavg): 1.01 0.77 0.36 2/64 30963
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 27477 53 0 0 25 0 11 0 418965945 861282304 24117 4294967295 134512640 134569956 3221224416 3221214576 1131594100 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210274 24117 13073 16 0 210258 0
vsize: 841096
[startup+300.018 s]
Raw data (loadavg): 1.01 0.78 0.37 2/64 30963
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 28439 53 0 0 25 0 11 0 418965945 861282304 24213 4294967295 134512640 134569956 3221224416 3221214584 1131241001 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210274 24213 13073 16 0 210258 0
vsize: 841096
[startup+310.018 s]
Raw data (loadavg): 1.01 0.79 0.37 2/64 30963
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 29404 53 0 0 25 0 11 0 418965945 861282304 24311 4294967295 134512640 134569956 3221224416 3221214688 1131313250 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210274 24311 13073 16 0 210258 0
vsize: 841096
[startup+320.018 s]
Raw data (loadavg): 1.00 0.79 0.38 2/64 30963
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 30360 54 0 0 25 0 11 0 418965945 861282304 24370 4294967295 134512640 134569956 3221224416 3221214672 1131400789 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210274 24370 13073 16 0 210258 0
vsize: 841096
[startup+330.018 s]
Raw data (loadavg): 1.00 0.80 0.38 2/64 30963
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 31323 54 0 0 25 0 11 0 418965945 861282304 24462 4294967295 134512640 134569956 3221224416 3221214648 1131577908 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210274 24462 13073 16 0 210258 0
vsize: 841096
[startup+340.019 s]
Raw data (loadavg): 1.00 0.81 0.39 2/64 30963
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 32290 54 0 0 25 0 11 0 418965945 861282304 24563 4294967295 134512640 134569956 3221224416 3221214584 1131240958 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210274 24563 13073 16 0 210258 0
vsize: 841096
[startup+350.019 s]
Raw data (loadavg): 1.00 0.81 0.40 2/64 30963
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 33264 54 0 0 25 0 11 0 418965945 861282304 24685 4294967295 134512640 134569956 3221224416 3221214576 1131595645 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210274 24685 13073 16 0 210258 0
vsize: 841096
[startup+360.019 s]
Raw data (loadavg): 1.00 0.82 0.40 2/64 30963
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 34240 55 0 0 25 0 11 0 418965945 861282304 24714 4294967295 134512640 134569956 3221224416 3221214576 1131593522 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210274 24714 13073 16 0 210258 0
vsize: 841096
[startup+370.02 s]
Raw data (loadavg): 1.00 0.82 0.41 2/64 30963
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 35210 55 0 0 25 0 11 0 418965945 861282304 24758 4294967295 134512640 134569956 3221224416 3221214584 1131241219 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210274 24758 13073 16 0 210258 0
vsize: 841096
[startup+380.019 s]
Raw data (loadavg): 1.08 0.85 0.42 2/66 30971
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 36177 58 0 0 25 0 11 0 418965945 861282304 24831 4294967295 134512640 134569956 3221224416 3221214680 1131636624 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210274 24831 13073 16 0 210258 0
vsize: 841096
[startup+390.02 s]
Raw data (loadavg): 1.07 0.85 0.42 2/64 31016
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 37147 59 0 0 25 0 11 0 418965945 861282304 24899 4294967295 134512640 134569956 3221224416 3221214584 1131241608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210274 24899 13073 16 0 210258 0
vsize: 841096
[startup+400.021 s]
Raw data (loadavg): 1.06 0.85 0.43 2/64 31016
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 38120 59 0 0 25 0 11 0 418965945 861282304 24959 4294967295 134512640 134569956 3221224416 3221214680 1131636757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210274 24959 13073 16 0 210258 0
vsize: 841096
[startup+410.021 s]
Raw data (loadavg): 1.05 0.86 0.44 2/64 31016
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 39093 59 0 0 25 0 11 0 418965945 861282304 25033 4294967295 134512640 134569956 3221224416 3221214584 1131241001 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210274 25033 13073 16 0 210258 0
vsize: 841096
[startup+420.021 s]
Raw data (loadavg): 1.04 0.86 0.44 2/64 31016
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 40064 60 0 0 25 0 11 0 418965945 861282304 25074 4294967295 134512640 134569956 3221224416 3221214584 1131240958 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210274 25074 13073 16 0 210258 0
vsize: 841096
[startup+430.022 s]
Raw data (loadavg): 1.03 0.87 0.45 2/64 31016
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 41031 60 0 0 25 0 11 0 418965945 861282304 25107 4294967295 134512640 134569956 3221224416 3221214592 1131457521 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210274 25107 13073 16 0 210258 0
vsize: 841096
[startup+440.023 s]
Raw data (loadavg): 1.03 0.87 0.45 2/64 31016
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 41999 60 0 0 25 0 11 0 418965945 861282304 25178 4294967295 134512640 134569956 3221224416 3221214584 1131240958 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210274 25178 13073 16 0 210258 0
vsize: 841096
[startup+450.023 s]
Raw data (loadavg): 1.02 0.87 0.46 2/64 31016
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 42971 61 0 0 25 0 11 0 418965945 861282304 25298 4294967295 134512640 134569956 3221224416 3221214504 1131627558 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210274 25298 13073 16 0 210258 0
vsize: 841096
[startup+460.023 s]
Raw data (loadavg): 1.02 0.88 0.46 2/64 31018
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 43949 61 0 0 25 0 11 0 418965945 861282304 25355 4294967295 134512640 134569956 3221224416 3221214584 1131241219 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210274 25355 13073 16 0 210258 0
vsize: 841096
[startup+470.024 s]
Raw data (loadavg): 1.02 0.88 0.47 2/64 31018
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 44927 62 0 0 25 0 11 0 418965945 861282304 25394 4294967295 134512640 134569956 3221224416 3221214680 1131636631 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210274 25394 13073 16 0 210258 0
vsize: 841096
[startup+480.024 s]
Raw data (loadavg): 1.01 0.89 0.47 2/64 31018
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 45908 63 0 0 25 0 11 0 418965945 861282304 25434 4294967295 134512640 134569956 3221224416 3221214688 1131313369 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210274 25434 13073 16 0 210258 0
vsize: 841096
[startup+490.024 s]
Raw data (loadavg): 1.01 0.89 0.48 2/64 31018
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 46884 63 0 0 25 0 11 0 418965945 861282304 25479 4294967295 134512640 134569956 3221224416 3221214584 1131240958 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210274 25479 13073 16 0 210258 0
vsize: 841096
[startup+500.025 s]
Raw data (loadavg): 1.01 0.89 0.48 2/64 31018
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 47857 63 0 0 25 0 11 0 418965945 861282304 25511 4294967295 134512640 134569956 3221224416 3221214660 1080203688 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210274 25511 13073 16 0 210258 0
vsize: 841096
[startup+510.025 s]
Raw data (loadavg): 1.01 0.89 0.49 2/64 31018
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 48831 64 0 0 25 0 11 0 418965945 861282304 25543 4294967295 134512640 134569956 3221224416 3221214388 1076461027 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210274 25543 13073 16 0 210258 0
vsize: 841096
[startup+520.025 s]
Raw data (loadavg): 1.00 0.90 0.49 2/64 31018
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 49804 64 0 0 25 0 11 0 418965945 861282304 25597 4294967295 134512640 134569956 3221224416 3221214688 1131313039 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210274 25597 13073 16 0 210258 0
vsize: 841096
[startup+530.025 s]
Raw data (loadavg): 1.00 0.90 0.50 2/64 31018
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 50778 65 0 0 25 0 11 0 418965945 861282304 25670 4294967295 134512640 134569956 3221224416 3221214688 1131312997 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210274 25670 13073 16 0 210258 0
vsize: 841096
[startup+540.027 s]
Raw data (loadavg): 1.00 0.90 0.50 2/64 31018
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 51751 65 0 0 25 0 11 0 418965945 861282304 25735 4294967295 134512640 134569956 3221224416 3221214680 1131642806 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210274 25735 13073 16 0 210258 0
vsize: 841096
[startup+550.026 s]
Raw data (loadavg): 1.00 0.91 0.51 2/64 31018
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 52737 65 0 0 25 0 11 0 418965945 861282304 25752 4294967295 134512640 134569956 3221224416 3221214216 1131687328 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210274 25752 13073 16 0 210258 0
vsize: 841096
[startup+560.026 s]
Raw data (loadavg): 1.00 0.91 0.51 2/64 31018
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 53718 66 0 0 25 0 11 0 418965945 861282304 25804 4294967295 134512640 134569956 3221224416 3221214056 1131689004 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210274 25804 13073 16 0 210258 0
vsize: 841096
[startup+570.027 s]
Raw data (loadavg): 1.00 0.91 0.52 2/64 31018
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 54702 66 0 0 25 0 11 0 418965945 861282304 25835 4294967295 134512640 134569956 3221224416 3221214688 1131313107 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210274 25835 13073 16 0 210258 0
vsize: 841096
[startup+580.026 s]
Raw data (loadavg): 1.00 0.91 0.52 2/64 31018
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 55684 66 0 0 25 0 11 0 418965945 861282304 25859 4294967295 134512640 134569956 3221224416 3221214688 1131312965 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210274 25859 13073 16 0 210258 0
vsize: 841096
[startup+590.028 s]
Raw data (loadavg): 1.00 0.92 0.53 2/64 31018
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 56664 66 0 0 25 0 11 0 418965945 861282304 25892 4294967295 134512640 134569956 3221224416 3221214680 1131642872 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210274 25892 13073 16 0 210258 0
vsize: 841096
[startup+600.028 s]
Raw data (loadavg): 1.00 0.92 0.53 2/64 31018
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 57630 66 0 0 25 0 11 0 418965945 861282304 25927 4294967295 134512640 134569956 3221224416 3221214584 1131241001 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210274 25927 13073 16 0 210258 0
vsize: 841096
[startup+610.028 s]
Raw data (loadavg): 1.00 0.92 0.54 2/64 31018
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 58595 66 0 0 25 0 11 0 418965945 861282304 25999 4294967295 134512640 134569956 3221224416 3221214384 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210274 25999 13073 16 0 210258 0
vsize: 841096
[startup+620.029 s]
Raw data (loadavg): 1.00 0.92 0.54 2/64 31018
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 59562 67 0 0 25 0 11 0 418965945 861282304 26101 4294967295 134512640 134569956 3221224416 3221214688 1131313288 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210274 26101 13073 16 0 210258 0
vsize: 841096
[startup+630.029 s]
Raw data (loadavg): 1.00 0.92 0.55 2/64 31018
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 60530 67 0 0 25 0 11 0 418965945 861282304 26205 4294967295 134512640 134569956 3221224416 3221214472 1131656683 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210274 26205 13073 16 0 210258 0
vsize: 841096
[startup+640.029 s]
Raw data (loadavg): 1.00 0.93 0.55 2/64 31018
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 61498 67 0 0 25 0 11 0 418965945 861282304 26250 4294967295 134512640 134569956 3221224416 3221214576 1131593901 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210274 26250 13073 16 0 210258 0
vsize: 841096
[startup+650.029 s]
Raw data (loadavg): 1.00 0.93 0.56 2/64 31018
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 62464 68 0 0 25 0 11 0 418965945 861282304 26307 4294967295 134512640 134569956 3221224416 3221214324 1131688976 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210274 26307 13073 16 0 210258 0
vsize: 841096
[startup+660.028 s]
Raw data (loadavg): 1.00 0.93 0.56 2/64 31018
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 63433 69 0 0 25 0 11 0 418965945 861282304 26381 4294967295 134512640 134569956 3221224416 3221214552 1131428303 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210274 26381 13073 16 0 210258 0
vsize: 841096
[startup+670.029 s]
Raw data (loadavg): 1.00 0.93 0.56 2/64 31018
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 64397 69 0 0 25 0 11 0 418965945 861282304 26469 4294967295 134512640 134569956 3221224416 3221214688 1131313398 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210274 26469 13073 16 0 210258 0
vsize: 841096
[startup+680.03 s]
Raw data (loadavg): 1.00 0.93 0.57 2/64 31018
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 65358 70 0 0 25 0 11 0 418965945 861282304 26549 4294967295 134512640 134569956 3221224416 3221214904 1131543160 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210274 26549 13073 16 0 210258 0
vsize: 841096
[startup+690.03 s]
Raw data (loadavg): 1.00 0.94 0.57 2/64 31018
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 66322 70 0 0 24 0 11 0 418965945 861282304 26634 4294967295 134512640 134569956 3221224416 3221214584 1131240958 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210274 26634 13073 16 0 210258 0
vsize: 841096
[startup+700.03 s]
Raw data (loadavg): 1.00 0.94 0.57 2/64 31020
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 67292 71 0 0 25 0 11 0 418965945 861282304 26748 4294967295 134512640 134569956 3221224416 3221214584 1131240958 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210274 26748 13073 16 0 210258 0
vsize: 841096
[startup+710.03 s]
Raw data (loadavg): 1.00 0.94 0.58 2/64 31020
Raw data (stat): 30949 (java) S 30948 30701 30700 0 -1 0 18091 3 1 0 68261 71 0 0 25 0 11 0 418965945 861282304 26797 4294967295 134512640 134569956 3221224416 3221213328 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210274 26797 13073 16 0 210258 0
vsize: 841096
[startup+720.03 s]
Raw data (loadavg): 1.00 0.94 0.58 2/64 31020
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 69232 71 0 0 25 0 11 0 418965945 861282304 26857 4294967295 134512640 134569956 3221224416 3221214784 1131353690 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210274 26857 13073 16 0 210258 0
vsize: 841096
[startup+730.03 s]
Raw data (loadavg): 1.00 0.94 0.59 2/64 31020
Raw data (stat): 30949 (java) S 30948 30701 30700 0 -1 0 18091 3 1 0 70200 72 0 0 25 0 11 0 418965945 861282304 26913 4294967295 134512640 134569956 3221224416 3221213432 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210274 26916 13073 16 0 210258 0
vsize: 841096
[startup+740.03 s]
Raw data (loadavg): 1.00 0.94 0.59 2/64 31020
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 71168 72 0 0 25 0 11 0 418965945 861282304 26976 4294967295 134512640 134569956 3221224416 3221214848 1131692895 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210274 26976 13073 16 0 210258 0
vsize: 841096
[startup+750.031 s]
Raw data (loadavg): 1.00 0.94 0.59 2/64 31020
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 72132 72 0 0 24 0 11 0 418965945 861282304 27048 4294967295 134512640 134569956 3221224416 3221214584 1131241034 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210274 27048 13073 16 0 210258 0
vsize: 841096
[startup+760.031 s]
Raw data (loadavg): 1.00 0.95 0.60 2/64 31020
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 73100 73 0 0 25 0 11 0 418965945 861282304 27122 4294967295 134512640 134569956 3221224416 3221214640 1131639106 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210274 27122 13073 16 0 210258 0
vsize: 841096
[startup+770.032 s]
Raw data (loadavg): 1.00 0.95 0.60 2/64 31020
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 74063 73 0 0 25 0 11 0 418965945 861282304 27188 4294967295 134512640 134569956 3221224416 3221214672 1131423745 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210274 27188 13073 16 0 210258 0
vsize: 841096
[startup+780.032 s]
Raw data (loadavg): 1.00 0.95 0.61 2/64 31020
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 75034 74 0 0 25 0 11 0 418965945 861282304 27263 4294967295 134512640 134569956 3221224416 3221214688 1131313058 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210274 27263 13073 16 0 210258 0
vsize: 841096
[startup+790.033 s]
Raw data (loadavg): 1.00 0.95 0.61 2/64 31020
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 76008 74 0 0 25 0 11 0 418965945 861282304 27340 4294967295 134512640 134569956 3221224416 3221214784 1131353690 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210274 27340 13073 16 0 210258 0
vsize: 841096
[startup+800.032 s]
Raw data (loadavg): 1.00 0.95 0.61 2/64 31020
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 76984 74 0 0 25 0 11 0 418965945 861282304 27416 4294967295 134512640 134569956 3221224416 3221214584 1131241001 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210274 27416 13073 16 0 210258 0
vsize: 841096
[startup+810.032 s]
Raw data (loadavg): 1.00 0.95 0.62 2/64 31020
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 77966 75 0 0 25 0 11 0 418965945 861282304 27428 4294967295 134512640 134569956 3221224416 3221214272 1131688897 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210274 27428 13073 16 0 210258 0
vsize: 841096
[startup+820.033 s]
Raw data (loadavg): 1.00 0.95 0.62 2/64 31020
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 78941 75 0 0 25 0 11 0 418965945 861282304 27484 4294967295 134512640 134569956 3221224416 3221214584 1131241664 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210274 27484 13073 16 0 210258 0
vsize: 841096
[startup+830.033 s]
Raw data (loadavg): 1.00 0.95 0.63 2/64 31020
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 79914 76 0 0 25 0 11 0 418965945 861282304 27535 4294967295 134512640 134569956 3221224416 3221214944 1131521546 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210274 27535 13073 16 0 210258 0
vsize: 841096
[startup+840.033 s]
Raw data (loadavg): 1.00 0.95 0.63 2/64 31020
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 80891 76 0 0 25 0 11 0 418965945 861282304 27569 4294967295 134512640 134569956 3221224416 3221214904 1131543160 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210274 27569 13073 16 0 210258 0
vsize: 841096
[startup+850.034 s]
Raw data (loadavg): 1.00 0.95 0.63 2/64 31020
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 81868 76 0 0 25 0 11 0 418965945 861282304 27627 4294967295 134512640 134569956 3221224416 3221214440 1131671640 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210274 27627 13073 16 0 210258 0
vsize: 841096
[startup+860.033 s]
Raw data (loadavg): 1.00 0.95 0.64 2/64 31020
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 82841 77 0 0 25 0 11 0 418965945 861282304 27701 4294967295 134512640 134569956 3221224416 3221214680 1131636631 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210274 27701 13073 16 0 210258 0
vsize: 841096
[startup+870.034 s]
Raw data (loadavg): 1.00 0.96 0.64 2/64 31020
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 83818 77 0 0 25 0 11 0 418965945 861282304 27734 4294967295 134512640 134569956 3221224416 3221214560 1131536329 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210274 27734 13073 16 0 210258 0
vsize: 841096
[startup+880.035 s]
Raw data (loadavg): 1.00 0.96 0.64 2/64 31020
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 84794 77 0 0 25 0 11 0 418965945 861282304 27788 4294967295 134512640 134569956 3221224416 3221214784 1131354824 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210274 27788 13073 16 0 210258 0
vsize: 841096
[startup+890.036 s]
Raw data (loadavg): 1.00 0.96 0.65 2/64 31020
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 85765 77 0 0 25 0 11 0 418965945 861282304 27836 4294967295 134512640 134569956 3221224416 3221214784 1131355598 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210274 27836 13073 16 0 210258 0
vsize: 841096
[startup+900.036 s]
Raw data (loadavg): 1.00 0.96 0.65 2/64 31020
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 86740 78 0 0 25 0 11 0 418965945 861282304 27893 4294967295 134512640 134569956 3221224416 3221214584 1131241001 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210274 27893 13073 16 0 210258 0
vsize: 841096
[startup+910.035 s]
Raw data (loadavg): 1.00 0.96 0.65 2/64 31020
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 87708 78 0 0 25 0 11 0 418965945 861282304 27989 4294967295 134512640 134569956 3221224416 3221214552 1131627647 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210274 27989 13073 16 0 210258 0
vsize: 841096
[startup+920.036 s]
Raw data (loadavg): 1.00 0.96 0.65 2/64 31020
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 88684 78 0 0 25 0 11 0 418965945 861282304 28049 4294967295 134512640 134569956 3221224416 3221214584 1131240958 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210274 28049 13073 16 0 210258 0
vsize: 841096
[startup+930.036 s]
Raw data (loadavg): 1.00 0.96 0.66 2/64 31020
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 89661 78 0 0 25 0 11 0 418965945 861282304 28101 4294967295 134512640 134569956 3221224416 3221214584 1131241650 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210274 28101 13073 16 0 210258 0
vsize: 841096
[startup+940.036 s]
Raw data (loadavg): 1.00 0.96 0.66 2/64 31020
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 90637 79 0 0 25 0 11 0 418965945 861282304 28158 4294967295 134512640 134569956 3221224416 3221214384 1131688869 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210274 28158 13073 16 0 210258 0
vsize: 841096
[startup+950.038 s]
Raw data (loadavg): 1.00 0.96 0.66 2/64 31020
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 91612 79 0 0 23 0 11 0 418965945 861282304 28196 4294967295 134512640 134569956 3221224416 3221214752 1131474843 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210274 28196 13073 16 0 210258 0
vsize: 841096
[startup+960.037 s]
Raw data (loadavg): 1.00 0.96 0.67 2/64 31020
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 92587 79 0 0 25 0 11 0 418965945 861282304 28243 4294967295 134512640 134569956 3221224416 3221214504 1131677084 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210274 28243 13073 16 0 210258 0
vsize: 841096
[startup+970.037 s]
Raw data (loadavg): 1.00 0.97 0.67 2/64 31020
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 93565 80 0 0 25 0 11 0 418965945 861282304 28279 4294967295 134512640 134569956 3221224416 3221214472 1131656787 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210274 28279 13073 16 0 210258 0
vsize: 841096
[startup+980.037 s]
Raw data (loadavg): 1.00 0.97 0.67 2/64 31020
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 94537 80 0 0 25 0 11 0 418965945 861282304 28324 4294967295 134512640 134569956 3221224416 3221214584 1131241230 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210274 28324 13073 16 0 210258 0
vsize: 841096
[startup+990.038 s]
Raw data (loadavg): 1.00 0.97 0.68 2/64 31020
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 95512 80 0 0 25 0 11 0 418965945 861282304 28401 4294967295 134512640 134569956 3221224416 3221214504 1131702298 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210274 28401 13073 16 0 210258 0
vsize: 841096
[startup+1000.04 s]
Raw data (loadavg): 1.00 0.97 0.68 2/64 31020
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 96488 81 0 0 25 0 11 0 418965945 861282304 28434 4294967295 134512640 134569956 3221224416 3221214264 1080217202 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210274 28434 13073 16 0 210258 0
vsize: 841096
[startup+1010.04 s]
Raw data (loadavg): 1.00 0.97 0.68 2/64 31020
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 97469 81 0 0 24 0 11 0 418965945 861282304 28494 4294967295 134512640 134569956 3221224416 3221214584 1131241001 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210274 28494 13073 16 0 210258 0
vsize: 841096
[startup+1020.04 s]
Raw data (loadavg): 1.00 0.97 0.68 2/64 31020
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 98453 81 0 0 25 0 11 0 418965945 861282304 28525 4294967295 134512640 134569956 3221224416 3221214112 1131688825 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210274 28525 13073 16 0 210258 0
vsize: 841096
[startup+1030.04 s]
Raw data (loadavg): 1.00 0.97 0.69 2/64 31020
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 99433 81 0 0 25 0 11 0 418965945 861282304 28545 4294967295 134512640 134569956 3221224416 3221214652 1130885141 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210274 28545 13073 16 0 210258 0
vsize: 841096
[startup+1040.04 s]
Raw data (loadavg): 1.00 0.97 0.69 2/64 31020
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 100415 82 0 0 25 0 11 0 418965945 861282304 28563 4294967295 134512640 134569956 3221224416 3221214576 1131594701 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210274 28563 13073 16 0 210258 0
vsize: 841096
[startup+1050.04 s]
Raw data (loadavg): 1.00 0.97 0.69 2/64 31020
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 101389 82 0 0 25 0 11 0 418965945 861282304 28598 4294967295 134512640 134569956 3221224416 3221214600 1131612309 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210274 28598 13073 16 0 210258 0
vsize: 841096
[startup+1060.04 s]
Raw data (loadavg): 1.00 0.97 0.70 2/64 31020
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 102368 82 0 0 25 0 11 0 418965945 861282304 28645 4294967295 134512640 134569956 3221224416 3221214428 1131689408 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210274 28645 13073 16 0 210258 0
vsize: 841096
[startup+1070.04 s]
Raw data (loadavg): 1.00 0.97 0.70 2/64 31020
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 103352 83 0 0 25 0 11 0 418965945 861282304 28676 4294967295 134512640 134569956 3221224416 3221214188 1131685331 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210274 28676 13073 16 0 210258 0
vsize: 841096
[startup+1080.04 s]
Raw data (loadavg): 1.00 0.97 0.70 2/64 31020
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 104319 84 0 0 25 0 11 0 418965945 861282304 28760 4294967295 134512640 134569956 3221224416 3221214524 1131602355 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210274 28760 13073 16 0 210258 0
vsize: 841096
[startup+1090.04 s]
Raw data (loadavg): 1.00 0.97 0.70 2/64 31020
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 105289 84 0 0 24 0 11 0 418965945 861282304 28821 4294967295 134512640 134569956 3221224416 3221214680 1131636701 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210274 28821 13073 16 0 210258 0
vsize: 841096
[startup+1100.04 s]
Raw data (loadavg): 1.00 0.97 0.71 2/64 31020
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 106260 85 0 0 25 0 11 0 418965945 861282304 28888 4294967295 134512640 134569956 3221224416 3221214584 1131240958 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210274 28888 13073 16 0 210258 0
vsize: 841096
[startup+1110.04 s]
Raw data (loadavg): 1.00 0.97 0.71 2/64 31020
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 107243 85 0 0 25 0 11 0 418965945 861282304 28953 4294967295 134512640 134569956 3221224416 3221213968 1085679346 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210274 28953 13073 16 0 210258 0
vsize: 841096
[startup+1120.04 s]
Raw data (loadavg): 1.00 0.97 0.71 2/64 31020
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 108227 86 0 0 25 0 11 0 418965945 861282304 28971 4294967295 134512640 134569956 3221224416 3221214600 1131687370 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210274 28971 13073 16 0 210258 0
vsize: 841096
[startup+1130.04 s]
Raw data (loadavg): 1.00 0.97 0.72 2/64 31020
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 109206 86 0 0 25 0 11 0 418965945 861282304 28995 4294967295 134512640 134569956 3221224416 3221214728 1131241001 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210274 28995 13073 16 0 210258 0
vsize: 841096
[startup+1140.04 s]
Raw data (loadavg): 1.00 0.97 0.72 2/64 31020
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 110180 86 0 0 25 0 11 0 418965945 861282304 29011 4294967295 134512640 134569956 3221224416 3221214680 1131636747 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210274 29011 13073 16 0 210258 0
vsize: 841096
[startup+1150.05 s]
Raw data (loadavg): 1.00 0.97 0.72 2/64 31020
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 111156 87 0 0 25 0 11 0 418965945 861282304 29030 4294967295 134512640 134569956 3221224416 3221214584 1131241639 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210274 29030 13073 16 0 210258 0
vsize: 841096
[startup+1160.05 s]
Raw data (loadavg): 1.00 0.97 0.72 2/64 31020
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 112126 87 0 0 25 0 11 0 418965945 861282304 29087 4294967295 134512640 134569956 3221224416 3221214240 1080217319 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210274 29087 13073 16 0 210258 0
vsize: 841096
[startup+1170.05 s]
Raw data (loadavg): 1.00 0.97 0.73 2/64 31020
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 113107 88 0 0 25 0 11 0 418965945 861282304 29137 4294967295 134512640 134569956 3221224416 3221214740 1080204224 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210274 29137 13073 16 0 210258 0
vsize: 841096
[startup+1180.05 s]
Raw data (loadavg): 1.00 0.97 0.73 2/64 31020
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 114081 88 0 0 25 0 11 0 418965945 861282304 29220 4294967295 134512640 134569956 3221224416 3221214584 1131240721 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210274 29220 13073 16 0 210258 0
vsize: 841096
[startup+1190.05 s]
Raw data (loadavg): 1.00 0.97 0.73 2/64 31020
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 115056 89 0 0 25 0 11 0 418965945 861282304 29260 4294967295 134512640 134569956 3221224416 3221214584 1131241001 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210274 29260 13073 16 0 210258 0
vsize: 841096
[startup+1200.05 s]
Raw data (loadavg): 1.00 0.97 0.73 2/64 31020
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 116033 89 0 0 25 0 11 0 418965945 861282304 29282 4294967295 134512640 134569956 3221224416 3221214680 1131636713 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210274 29282 13073 16 0 210258 0
vsize: 841096
[startup+1210.05 s]
Raw data (loadavg): 1.00 0.97 0.74 2/64 31020
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 117009 89 0 0 25 0 11 0 418965945 861282304 29332 4294967295 134512640 134569956 3221224416 3221214584 1131241001 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210274 29332 13073 16 0 210258 0
vsize: 841096
[startup+1220.05 s]
Raw data (loadavg): 1.00 0.97 0.74 2/64 31020
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 117989 90 0 0 25 0 11 0 418965945 861282304 29365 4294967295 134512640 134569956 3221224416 3221214752 1131479260 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210274 29365 13073 16 0 210258 0
vsize: 841096
[startup+1230.05 s]
Raw data (loadavg): 1.00 0.97 0.74 2/64 31020
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 118968 90 0 0 25 0 11 0 418965945 861282304 29413 4294967295 134512640 134569956 3221224416 3221214440 1131688952 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210274 29413 13073 16 0 210258 0
vsize: 841096
[startup+1240.05 s]
Raw data (loadavg): 1.00 0.97 0.74 2/64 31020
Raw data (stat): 30949 (java) R 30948 30701 30700 0 -1 0 18091 3 1 0 119950 91 0 0 25 0 11 0 418965945 861282304 29444 4294967295 134512640 134569956 3221224416 3221214584 1131241160 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210274 29444 13073 16 0 210258 0
vsize: 841096
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.16 s]
Raw data (loadavg): 1.00 0.97 0.74 1/54 31022
Raw data (stat): 30949 (java) Z 30948 30701 30700 0 -1 1036 18091 14320 1 1 119953 91 4385 45 25 0 1 0 418965945 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): 1240.16
CPU time (s): 1244.76
CPU user time (s): 1243.39
CPU system time (s): 1.37579
CPU usage (%): 100.372
Max. virtual memory (Kb): 846808
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####