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-cm42a.opb
MD5SUM62b75258091a8b1382fa8b1c633d9511
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 694
Optimality of the best value was proved NO
Number of terms in the objective function 99
Biggest coefficient in the objective function 60
Number of bits for the biggest coefficient in the objective function 6
Sum of the numbers in the objective function 4087
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 60
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 4087
Number of bits of the biggest sum of numbers12
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.168973
Number of variables99
Total number of constraints185
Number of constraints which are clauses185
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 constraint2
Maximum length of a constraint20

Trace number 4440

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-04-13 17:16:48 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2268 boxname=wulflinc31 idbench=252 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  62b75258091a8b1382fa8b1c633d9511  /oldhome/oroussel/tmp/wulflinc31/normalized-cm42a.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc31/normalized-cm42a.opb
IDLAUNCH: 2268
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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.153
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:        917776 kB
Buffers:         33860 kB
Cached:          44628 kB
SwapCached:        392 kB
Active:          40284 kB
Inactive:        41296 kB
HighTotal:      131008 kB
HighFree:        82796 kB
LowTotal:       903652 kB
LowFree:        834980 kB
SwapTotal:     2097892 kB
SwapFree:      2097452 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6832 kB
Slab:            29660 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:10 (client local time) WITH STATUS 143 IN  SECONDS
stats: 2268 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc31/normalized-cm42a.opb
c reading problem 
c [nbvar=99]
c [nbconstr=185]
c time 0.555
c #vars     99
c #clauses  185
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=700
c Current CPU time (ms) : 0.992
c starts	: 1
c conflicts	: 4
c decisions	: 95
c propagations	: 155
c inspects	: 352
c learned literals	: 4
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 5
c 
c CURRENT OPTIMUM=698
c Current CPU time (ms) : 9.472
c starts	: 2
c conflicts	: 47
c decisions	: 206
c propagations	: 739
c inspects	: 3269
c learned literals	: 4
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 43
c root simplifications	: 6
c 
c CURRENT OPTIMUM=696
c Current CPU time (ms) : 46.741
c starts	: 4
c conflicts	: 280
c decisions	: 1095
c propagations	: 4484
c inspects	: 65145
c learned literals	: 4
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 276
c root simplifications	: 9
c 
c CURRENT OPTIMUM=694
c Current CPU time (ms) : 155.453
c starts	: 6
c conflicts	: 421
c decisions	: 1423
c propagations	: 7313
c inspects	: 159001
c learned literals	: 4
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 417
c root simplifications	: 12
#### 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.92 0.98 0.95 2/54 23754
Raw data (stat): 23754 (runsolver) R 23753 23176 23175 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 477669289 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.0008 s]
Raw data (loadavg): 1.17 1.03 0.96 4/64 23765
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18087 3 1 0 510 44 0 0 25 0 11 0 477669289 865837056 21401 4294967295 134512640 134569956 3221224416 3221214760 1131214755 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211386 21401 13073 16 0 211370 0
vsize: 845544
[startup+20.002 s]
Raw data (loadavg): 1.29 1.06 0.97 2/64 23766
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 1413 44 0 0 25 0 11 0 477669289 865976320 21890 4294967295 134512640 134569956 3221224416 3221214696 1131167853 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 21890 13073 16 0 211404 0
vsize: 845680
[startup+30.0029 s]
Raw data (loadavg): 1.24 1.06 0.97 2/64 23766
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 2387 44 0 0 25 0 11 0 477669289 865976320 22136 4294967295 134512640 134569956 3221224416 3221214576 1131311574 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 22136 13073 16 0 211404 0
vsize: 845680
[startup+40.0033 s]
Raw data (loadavg): 1.20 1.06 0.97 2/64 23766
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 3356 44 0 0 25 0 11 0 477669289 865976320 22382 4294967295 134512640 134569956 3221224416 3221214576 1131309647 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 22382 13073 16 0 211404 0
vsize: 845680
[startup+50.0037 s]
Raw data (loadavg): 1.17 1.06 0.97 2/64 23767
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 4321 44 0 0 25 0 11 0 477669289 865976320 22567 4294967295 134512640 134569956 3221224416 3221214504 1131510021 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 22567 13073 16 0 211404 0
vsize: 845680
[startup+60.0047 s]
Raw data (loadavg): 1.15 1.05 0.97 2/64 23767
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 5290 44 0 0 25 0 11 0 477669289 865976320 22669 4294967295 134512640 134569956 3221224416 3221214696 1131167254 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 22669 13073 16 0 211404 0
vsize: 845680
[startup+70.0051 s]
Raw data (loadavg): 1.12 1.05 0.97 2/64 23767
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 6262 44 0 0 25 0 11 0 477669289 865976320 22908 4294967295 134512640 134569956 3221224416 3221214696 1131167568 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 22908 13073 16 0 211404 0
vsize: 845680
[startup+80.0056 s]
Raw data (loadavg): 1.10 1.05 0.97 2/64 23767
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 7233 44 0 0 25 0 11 0 477669289 865976320 23058 4294967295 134512640 134569956 3221224416 3221214704 1131411330 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 23058 13073 16 0 211404 0
vsize: 845680
[startup+90.0063 s]
Raw data (loadavg): 1.09 1.05 0.97 2/64 23767
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 8215 44 0 0 25 0 11 0 477669289 865976320 23163 4294967295 134512640 134569956 3221224416 3221214560 1131187771 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 23163 13073 16 0 211404 0
vsize: 845680
[startup+100.006 s]
Raw data (loadavg): 1.07 1.05 0.97 2/64 23767
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 9196 44 0 0 25 0 11 0 477669289 865976320 23276 4294967295 134512640 134569956 3221224416 3221214496 1131509715 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 23276 13073 16 0 211404 0
vsize: 845680
[startup+110.007 s]
Raw data (loadavg): 1.06 1.04 0.97 2/64 23767
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 10184 44 0 0 25 0 11 0 477669289 865976320 23324 4294967295 134512640 134569956 3221224416 3221214652 1131145971 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 23324 13073 16 0 211404 0
vsize: 845680
[startup+120.008 s]
Raw data (loadavg): 1.05 1.04 0.97 2/64 23767
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 11176 44 0 0 25 0 11 0 477669289 865976320 23353 4294967295 134512640 134569956 3221224416 3221214592 1131537305 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 23353 13073 16 0 211404 0
vsize: 845680
[startup+130.008 s]
Raw data (loadavg): 1.04 1.04 0.97 2/64 23767
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 12166 44 0 0 25 0 11 0 477669289 865976320 23407 4294967295 134512640 134569956 3221224416 3221214504 1131510053 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 23407 13073 16 0 211404 0
vsize: 845680
[startup+140.009 s]
Raw data (loadavg): 1.04 1.04 0.97 2/64 23767
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 13161 44 0 0 25 0 11 0 477669289 865976320 23426 4294967295 134512640 134569956 3221224416 3221214592 1131537416 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211420 23426 13073 16 0 211404 0
vsize: 845680
[startup+150.112 s]
Raw data (loadavg): 1.03 1.04 0.97 2/64 23767
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 14159 44 0 0 25 0 11 0 477669289 865976320 23478 4294967295 134512640 134569956 3221224416 3221214628 1130885207 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 23478 13073 16 0 211404 0
vsize: 845680
[startup+160.112 s]
Raw data (loadavg): 1.02 1.03 0.97 2/64 23768
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 15142 45 0 0 25 0 11 0 477669289 865976320 23553 4294967295 134512640 134569956 3221224416 3221214488 1131392694 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 23553 13073 16 0 211404 0
vsize: 845680
[startup+170.114 s]
Raw data (loadavg): 1.02 1.03 0.97 2/64 23768
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 16128 45 0 0 25 0 11 0 477669289 865976320 23604 4294967295 134512640 134569956 3221224416 3221214592 1131537280 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 23604 13073 16 0 211404 0
vsize: 845680
[startup+180.115 s]
Raw data (loadavg): 1.02 1.03 0.97 2/64 23768
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 17119 45 0 0 24 0 11 0 477669289 865976320 23642 4294967295 134512640 134569956 3221224416 3221214576 1131311566 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 23642 13073 16 0 211404 0
vsize: 845680
[startup+190.115 s]
Raw data (loadavg): 1.01 1.03 0.97 2/64 23768
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 18113 45 0 0 25 0 11 0 477669289 865976320 23655 4294967295 134512640 134569956 3221224416 3221214496 1131509381 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 23655 13073 16 0 211404 0
vsize: 845680
[startup+200.115 s]
Raw data (loadavg): 1.01 1.03 0.97 2/64 23768
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 19100 45 0 0 25 0 11 0 477669289 865976320 23698 4294967295 134512640 134569956 3221224416 3221214524 1079721528 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 23698 13073 16 0 211404 0
vsize: 845680
[startup+210.116 s]
Raw data (loadavg): 1.01 1.03 0.97 2/64 23768
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 20098 45 0 0 25 0 11 0 477669289 865976320 23710 4294967295 134512640 134569956 3221224416 3221214576 1131311218 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 23710 13073 16 0 211404 0
vsize: 845680
[startup+220.116 s]
Raw data (loadavg): 1.01 1.03 0.97 2/64 23768
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 21092 45 0 0 25 0 11 0 477669289 865976320 23725 4294967295 134512640 134569956 3221224416 3221214552 1131187887 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 23725 13073 16 0 211404 0
vsize: 845680
[startup+230.117 s]
Raw data (loadavg): 1.01 1.02 0.97 2/64 23768
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 22079 45 0 0 21 0 11 0 477669289 865976320 23758 4294967295 134512640 134569956 3221224416 3221214496 1131509599 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 23758 13073 16 0 211404 0
vsize: 845680
[startup+240.117 s]
Raw data (loadavg): 1.00 1.02 0.97 2/64 23768
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 23070 45 0 0 25 0 11 0 477669289 865976320 23803 4294967295 134512640 134569956 3221224416 3221214552 1131533270 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 23803 13073 16 0 211404 0
vsize: 845680
[startup+250.117 s]
Raw data (loadavg): 1.00 1.02 0.97 2/64 23768
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 24064 45 0 0 25 0 11 0 477669289 865976320 23836 4294967295 134512640 134569956 3221224416 3221214368 1080217270 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 23836 13073 16 0 211404 0
vsize: 845680
[startup+260.118 s]
Raw data (loadavg): 1.00 1.02 0.97 2/64 23768
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 25059 45 0 0 25 0 11 0 477669289 865976320 23858 4294967295 134512640 134569956 3221224416 3221214496 1131509248 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 23858 13073 16 0 211404 0
vsize: 845680
[startup+270.119 s]
Raw data (loadavg): 1.00 1.02 0.97 2/64 23768
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 26051 45 0 0 25 0 11 0 477669289 865976320 23905 4294967295 134512640 134569956 3221224416 3221214536 1131621768 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 23905 13073 16 0 211404 0
vsize: 845680
[startup+280.118 s]
Raw data (loadavg): 1.00 1.02 0.97 2/64 23768
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 27046 45 0 0 25 0 11 0 477669289 865976320 23938 4294967295 134512640 134569956 3221224416 3221214504 1131509841 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 23938 13073 16 0 211404 0
vsize: 845680
[startup+290.12 s]
Raw data (loadavg): 1.00 1.02 0.97 2/64 23768
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 28042 45 0 0 25 0 11 0 477669289 865976320 23974 4294967295 134512640 134569956 3221224416 3221214368 1080217270 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 23974 13073 16 0 211404 0
vsize: 845680
[startup+300.121 s]
Raw data (loadavg): 1.00 1.02 0.97 2/64 23768
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 29033 45 0 0 25 0 11 0 477669289 865976320 24039 4294967295 134512640 134569956 3221224416 3221214560 1131187887 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 24039 13073 16 0 211404 0
vsize: 845680
[startup+310.121 s]
Raw data (loadavg): 1.00 1.02 0.97 2/64 23768
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 30029 45 0 0 25 0 11 0 477669289 865976320 24080 4294967295 134512640 134569956 3221224416 3221214368 1080217270 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 24080 13073 16 0 211404 0
vsize: 845680
[startup+320.122 s]
Raw data (loadavg): 1.00 1.02 0.97 2/64 23768
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 31024 45 0 0 25 0 11 0 477669289 865976320 24093 4294967295 134512640 134569956 3221224416 3221214496 1131509175 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 24093 13073 16 0 211404 0
vsize: 845680
[startup+330.123 s]
Raw data (loadavg): 1.00 1.02 0.97 2/64 23768
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 32018 45 0 0 25 0 11 0 477669289 865976320 24123 4294967295 134512640 134569956 3221224416 3221214756 1080203719 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 24123 13073 16 0 211404 0
vsize: 845680
[startup+340.123 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 23768
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 33012 46 0 0 25 0 11 0 477669289 865976320 24150 4294967295 134512640 134569956 3221224416 3221214488 1080217270 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 24150 13073 16 0 211404 0
vsize: 845680
[startup+350.125 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 23768
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 34006 46 0 0 25 0 11 0 477669289 865976320 24199 4294967295 134512640 134569956 3221224416 3221214496 1131509246 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211420 24199 13073 16 0 211404 0
vsize: 845680
[startup+360.127 s]
Raw data (loadavg): 1.15 1.05 0.98 2/64 23768
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 35002 46 0 0 25 0 11 0 477669289 865976320 24248 4294967295 134512640 134569956 3221224416 3221214752 1131198053 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 24248 13073 16 0 211404 0
vsize: 845680
[startup+370.127 s]
Raw data (loadavg): 1.13 1.04 0.98 2/64 23768
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 35999 46 0 0 25 0 11 0 477669289 865976320 24262 4294967295 134512640 134569956 3221224416 3221214592 1131537416 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 24262 13073 16 0 211404 0
vsize: 845680
[startup+380.127 s]
Raw data (loadavg): 1.11 1.04 0.98 2/64 23768
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 36997 46 0 0 25 0 11 0 477669289 865976320 24263 4294967295 134512640 134569956 3221224416 3221214496 1131509404 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 24263 13073 16 0 211404 0
vsize: 845680
[startup+390.128 s]
Raw data (loadavg): 1.09 1.04 0.98 2/64 23768
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 37990 46 0 0 25 0 11 0 477669289 865976320 24294 4294967295 134512640 134569956 3221224416 3221214696 1131325048 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 24294 13073 16 0 211404 0
vsize: 845680
[startup+400.127 s]
Raw data (loadavg): 1.08 1.04 0.98 2/64 23768
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 38984 46 0 0 25 0 11 0 477669289 865976320 24316 4294967295 134512640 134569956 3221224416 3221214576 1131310911 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 24316 13073 16 0 211404 0
vsize: 845680
[startup+410.129 s]
Raw data (loadavg): 1.06 1.04 0.98 2/64 23768
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 39980 46 0 0 25 0 11 0 477669289 865976320 24326 4294967295 134512640 134569956 3221224416 3221214528 1131386963 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 24326 13073 16 0 211404 0
vsize: 845680
[startup+420.13 s]
Raw data (loadavg): 1.05 1.03 0.98 2/64 23768
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 40978 46 0 0 25 0 11 0 477669289 865976320 24340 4294967295 134512640 134569956 3221224416 3221214432 1080216972 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 24340 13073 16 0 211404 0
vsize: 845680
[startup+430.129 s]
Raw data (loadavg): 1.05 1.03 0.98 2/64 23768
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 41973 46 0 0 25 0 11 0 477669289 865976320 24370 4294967295 134512640 134569956 3221224416 3221214528 1079721543 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 24370 13073 16 0 211404 0
vsize: 845680
[startup+440.131 s]
Raw data (loadavg): 1.04 1.03 0.98 2/64 23768
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 42967 46 0 0 25 0 11 0 477669289 865976320 24394 4294967295 134512640 134569956 3221224416 3221214536 1131621791 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 24394 13073 16 0 211404 0
vsize: 845680
[startup+450.131 s]
Raw data (loadavg): 1.03 1.03 0.98 2/64 23768
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 43963 46 0 0 25 0 11 0 477669289 865976320 24417 4294967295 134512640 134569956 3221224416 3221214496 1131509228 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 24417 13073 16 0 211404 0
vsize: 845680
[startup+460.132 s]
Raw data (loadavg): 1.03 1.03 0.98 2/64 23768
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 44956 47 0 0 25 0 11 0 477669289 865976320 24452 4294967295 134512640 134569956 3221224416 3221214576 1131311509 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211420 24452 13073 16 0 211404 0
vsize: 845680
[startup+470.133 s]
Raw data (loadavg): 1.02 1.03 0.98 2/64 23768
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 45952 47 0 0 25 0 11 0 477669289 865976320 24473 4294967295 134512640 134569956 3221224416 3221214696 1131167251 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 24473 13073 16 0 211404 0
vsize: 845680
[startup+480.133 s]
Raw data (loadavg): 1.02 1.03 0.98 2/64 23768
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 46946 47 0 0 25 0 11 0 477669289 865976320 24511 4294967295 134512640 134569956 3221224416 3221214328 1080217270 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 24511 13073 16 0 211404 0
vsize: 845680
[startup+490.134 s]
Raw data (loadavg): 1.02 1.02 0.98 2/64 23768
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 47940 47 0 0 25 0 11 0 477669289 865976320 24543 4294967295 134512640 134569956 3221224416 3221214520 1131387107 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 24543 13073 16 0 211404 0
vsize: 845680
[startup+500.134 s]
Raw data (loadavg): 1.01 1.02 0.98 2/64 23768
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 48934 47 0 0 25 0 11 0 477669289 865976320 24565 4294967295 134512640 134569956 3221224416 3221214576 1131311118 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 24565 13073 16 0 211404 0
vsize: 845680
[startup+510.135 s]
Raw data (loadavg): 1.01 1.02 0.98 2/64 23768
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 49932 47 0 0 25 0 11 0 477669289 865976320 24566 4294967295 134512640 134569956 3221224416 3221214368 1080217212 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 24566 13073 16 0 211404 0
vsize: 845680
[startup+520.136 s]
Raw data (loadavg): 1.01 1.02 0.98 2/64 23768
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 50928 47 0 0 25 0 11 0 477669289 865976320 24586 4294967295 134512640 134569956 3221224416 3221214704 1131170221 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 24586 13073 16 0 211404 0
vsize: 845680
[startup+530.136 s]
Raw data (loadavg): 1.01 1.02 0.98 2/64 23768
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 51918 47 0 0 25 0 11 0 477669289 865976320 24642 4294967295 134512640 134569956 3221224416 3221214424 1131509920 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 24642 13073 16 0 211404 0
vsize: 845680
[startup+540.137 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 23768
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 52901 47 0 0 25 0 11 0 477669289 865976320 24696 4294967295 134512640 134569956 3221224416 3221214696 1131167661 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 24696 13073 16 0 211404 0
vsize: 845680
[startup+550.137 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 23768
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 53887 47 0 0 25 0 11 0 477669289 865976320 24784 4294967295 134512640 134569956 3221224416 3221214488 1131392559 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 24784 13073 16 0 211404 0
vsize: 845680
[startup+560.139 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 23768
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 54878 47 0 0 25 0 11 0 477669289 865976320 24811 4294967295 134512640 134569956 3221224416 3221214420 1080217332 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 24811 13073 16 0 211404 0
vsize: 845680
[startup+570.14 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 23768
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 55864 47 0 0 25 0 11 0 477669289 865976320 24837 4294967295 134512640 134569956 3221224416 3221214696 1131325405 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 24837 13073 16 0 211404 0
vsize: 845680
[startup+580.139 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 23768
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 56845 47 0 0 25 0 11 0 477669289 865976320 24837 4294967295 134512640 134569956 3221224416 3221214696 1131167673 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 24837 13073 16 0 211404 0
vsize: 845680
[startup+590.141 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 23768
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 57820 47 0 0 24 0 11 0 477669289 865976320 24961 4294967295 134512640 134569956 3221224416 3221214788 1131162306 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 24961 13073 16 0 211404 0
vsize: 845680
[startup+600.141 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 23768
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 58803 47 0 0 25 0 11 0 477669289 865976320 24996 4294967295 134512640 134569956 3221224416 3221214584 1131528305 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 24996 13073 16 0 211404 0
vsize: 845680
[startup+610.142 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 23768
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 59794 48 0 0 25 0 11 0 477669289 865976320 25164 4294967295 134512640 134569956 3221224416 3221214696 1131167225 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 25164 13073 16 0 211404 0
vsize: 845680
[startup+620.143 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 23768
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 60782 48 0 0 25 0 11 0 477669289 865976320 25208 4294967295 134512640 134569956 3221224416 3221214328 1080217270 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 25208 13073 16 0 211404 0
vsize: 845680
[startup+630.143 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 23768
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 61771 48 0 0 24 0 11 0 477669289 865976320 25256 4294967295 134512640 134569956 3221224416 3221214368 1080217319 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 25256 13073 16 0 211404 0
vsize: 845680
[startup+640.144 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 23768
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 62763 48 0 0 25 0 11 0 477669289 865976320 25349 4294967295 134512640 134569956 3221224416 3221214576 1131311662 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211420 25349 13073 16 0 211404 0
vsize: 845680
[startup+650.144 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 23768
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 63753 48 0 0 25 0 11 0 477669289 865976320 25431 4294967295 134512640 134569956 3221224416 3221214584 1131528338 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 25431 13073 16 0 211404 0
vsize: 845680
[startup+660.146 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 23768
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 64741 48 0 0 24 0 11 0 477669289 865976320 25495 4294967295 134512640 134569956 3221224416 3221214576 1131311494 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 25495 13073 16 0 211404 0
vsize: 845680
[startup+670.146 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 23768
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 65735 48 0 0 25 0 11 0 477669289 865976320 25518 4294967295 134512640 134569956 3221224416 3221214576 1131310769 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 25518 13073 16 0 211404 0
vsize: 845680
[startup+680.147 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 23768
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 66727 48 0 0 25 0 11 0 477669289 865976320 25573 4294967295 134512640 134569956 3221224416 3221214696 1131167223 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 25573 13073 16 0 211404 0
vsize: 845680
[startup+690.148 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 23768
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 67719 48 0 0 25 0 11 0 477669289 865976320 25621 4294967295 134512640 134569956 3221224416 3221214504 1131510008 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 25621 13073 16 0 211404 0
vsize: 845680
[startup+700.147 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 23768
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 68716 48 0 0 25 0 11 0 477669289 865976320 25634 4294967295 134512640 134569956 3221224416 3221214576 1131310323 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 25634 13073 16 0 211404 0
vsize: 845680
[startup+710.149 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 23768
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 69710 48 0 0 24 0 11 0 477669289 865976320 25676 4294967295 134512640 134569956 3221224416 3221214696 1131324461 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 25676 13073 16 0 211404 0
vsize: 845680
[startup+720.149 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 23768
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 70705 49 0 0 25 0 11 0 477669289 865976320 25698 4294967295 134512640 134569956 3221224416 3221214328 1080217270 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 25698 13073 16 0 211404 0
vsize: 845680
[startup+730.15 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 23768
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 71703 49 0 0 25 0 11 0 477669289 865976320 25733 4294967295 134512640 134569956 3221224416 3221214576 1131310819 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 25733 13073 16 0 211404 0
vsize: 845680
[startup+740.15 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 23768
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 72694 49 0 0 25 0 11 0 477669289 865976320 25739 4294967295 134512640 134569956 3221224416 3221214576 1131311687 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 25739 13073 16 0 211404 0
vsize: 845680
[startup+750.151 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 23768
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 73691 49 0 0 25 0 11 0 477669289 865976320 25768 4294967295 134512640 134569956 3221224416 3221214368 1080217254 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 25768 13073 16 0 211404 0
vsize: 845680
[startup+760.152 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 23768
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 74683 49 0 0 25 0 11 0 477669289 865976320 25807 4294967295 134512640 134569956 3221224416 3221214884 1080204282 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 25807 13073 16 0 211404 0
vsize: 845680
[startup+770.152 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 23768
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 75678 49 0 0 25 0 11 0 477669289 865976320 25840 4294967295 134512640 134569956 3221224416 3221214576 1131310714 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 25840 13073 16 0 211404 0
vsize: 845680
[startup+780.152 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 23768
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 76672 49 0 0 25 0 11 0 477669289 865976320 25881 4294967295 134512640 134569956 3221224416 3221214684 1080204256 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 25881 13073 16 0 211404 0
vsize: 845680
[startup+790.153 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 23768
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 77669 49 0 0 25 0 11 0 477669289 865976320 25894 4294967295 134512640 134569956 3221224416 3221214576 1131311034 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 25894 13073 16 0 211404 0
vsize: 845680
[startup+800.153 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 23768
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 78663 49 0 0 25 0 11 0 477669289 865976320 25923 4294967295 134512640 134569956 3221224416 3221214696 1131324836 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 25923 13073 16 0 211404 0
vsize: 845680
[startup+810.154 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 23768
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 79657 49 0 0 25 0 11 0 477669289 865976320 25966 4294967295 134512640 134569956 3221224416 3221214488 1131392548 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 25966 13073 16 0 211404 0
vsize: 845680
[startup+820.154 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 23768
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 80654 49 0 0 25 0 11 0 477669289 865976320 25978 4294967295 134512640 134569956 3221224416 3221214484 1079721495 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 25978 13073 16 0 211404 0
vsize: 845680
[startup+830.155 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 23768
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 81648 49 0 0 25 0 11 0 477669289 865976320 25982 4294967295 134512640 134569956 3221224416 3221214488 1131392694 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 25982 13073 16 0 211404 0
vsize: 845680
[startup+840.156 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 23768
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 82643 49 0 0 25 0 11 0 477669289 865976320 26011 4294967295 134512640 134569956 3221224416 3221214684 1080204256 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 26011 13073 16 0 211404 0
vsize: 845680
[startup+850.155 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 23768
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 83637 49 0 0 25 0 11 0 477669289 865976320 26013 4294967295 134512640 134569956 3221224416 3221214552 1079721457 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 26013 13073 16 0 211404 0
vsize: 845680
[startup+860.156 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 23768
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 84632 49 0 0 25 0 11 0 477669289 865976320 26026 4294967295 134512640 134569956 3221224416 3221214536 1131621917 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 26026 13073 16 0 211404 0
vsize: 845680
[startup+870.157 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 23768
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 85626 49 0 0 25 0 11 0 477669289 865976320 26067 4294967295 134512640 134569956 3221224416 3221214496 1131509646 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 26067 13073 16 0 211404 0
vsize: 845680
[startup+880.157 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 23768
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 86621 49 0 0 25 0 11 0 477669289 865976320 26094 4294967295 134512640 134569956 3221224416 3221214488 1131392773 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 26094 13073 16 0 211404 0
vsize: 845680
[startup+890.158 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 23768
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 87615 49 0 0 25 0 11 0 477669289 865976320 26115 4294967295 134512640 134569956 3221224416 3221214496 1131509459 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 26115 13073 16 0 211404 0
vsize: 845680
[startup+900.158 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 23768
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 88611 50 0 0 25 0 11 0 477669289 865976320 26115 4294967295 134512640 134569956 3221224416 3221214496 1131509302 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 26115 13073 16 0 211404 0
vsize: 845680
[startup+910.159 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 23768
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 89606 50 0 0 25 0 11 0 477669289 865976320 26115 4294967295 134512640 134569956 3221224416 3221214504 1131509992 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211420 26115 13073 16 0 211404 0
vsize: 845680
[startup+920.159 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 23768
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 90604 50 0 0 25 0 11 0 477669289 865976320 26125 4294967295 134512640 134569956 3221224416 3221214528 1131386987 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 26125 13073 16 0 211404 0
vsize: 845680
[startup+930.159 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 23768
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 91602 50 0 0 25 0 11 0 477669289 865976320 26134 4294967295 134512640 134569956 3221224416 3221214576 1131310800 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 26134 13073 16 0 211404 0
vsize: 845680
[startup+940.159 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 23768
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 92598 50 0 0 25 0 11 0 477669289 865976320 26150 4294967295 134512640 134569956 3221224416 3221214576 1131311358 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 26150 13073 16 0 211404 0
vsize: 845680
[startup+950.16 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 23768
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 93592 50 0 0 25 0 11 0 477669289 865976320 26234 4294967295 134512640 134569956 3221224416 3221214432 1080217040 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 26234 13073 16 0 211404 0
vsize: 845680
[startup+960.161 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 23768
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 94588 50 0 0 25 0 11 0 477669289 865976320 26246 4294967295 134512640 134569956 3221224416 3221214576 1131310929 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 26246 13073 16 0 211404 0
vsize: 845680
[startup+970.161 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 23768
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 95582 50 0 0 25 0 11 0 477669289 865976320 26298 4294967295 134512640 134569956 3221224416 3221214496 1131509270 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 26298 13073 16 0 211404 0
vsize: 845680
[startup+980.162 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 23768
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 96577 50 0 0 25 0 11 0 477669289 865976320 26311 4294967295 134512640 134569956 3221224416 3221214696 1131167673 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 26311 13073 16 0 211404 0
vsize: 845680
[startup+990.162 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 23768
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 97572 50 0 0 25 0 11 0 477669289 865976320 26346 4294967295 134512640 134569956 3221224416 3221214488 1131392548 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 26346 13073 16 0 211404 0
vsize: 845680
[startup+1000.16 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 23768
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 98568 50 0 0 25 0 11 0 477669289 865976320 26359 4294967295 134512640 134569956 3221224416 3221214528 1131621853 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 26359 13073 16 0 211404 0
vsize: 845680
[startup+1010.16 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 23768
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 99563 50 0 0 25 0 11 0 477669289 865976320 26392 4294967295 134512640 134569956 3221224416 3221214696 1131324005 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 26392 13073 16 0 211404 0
vsize: 845680
[startup+1020.16 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 23768
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 100557 50 0 0 25 0 11 0 477669289 865976320 26402 4294967295 134512640 134569956 3221224416 3221214432 1080216962 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 26402 13073 16 0 211404 0
vsize: 845680
[startup+1030.16 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 23768
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 101553 50 0 0 25 0 11 0 477669289 865976320 26408 4294967295 134512640 134569956 3221224416 3221214528 1131387007 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 26408 13073 16 0 211404 0
vsize: 845680
[startup+1040.17 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 23768
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 102549 50 0 0 25 0 11 0 477669289 865976320 26457 4294967295 134512640 134569956 3221224416 3221214756 1080203719 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 26457 13073 16 0 211404 0
vsize: 845680
[startup+1050.17 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 23768
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 103542 50 0 0 24 0 11 0 477669289 865976320 26457 4294967295 134512640 134569956 3221224416 3221214496 1131509753 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 26457 13073 16 0 211404 0
vsize: 845680
[startup+1060.17 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 23768
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 104540 50 0 0 25 0 11 0 477669289 865976320 26518 4294967295 134512640 134569956 3221224416 3221214496 1131510363 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 26518 13073 16 0 211404 0
vsize: 845680
[startup+1070.17 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 23768
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 105534 50 0 0 25 0 11 0 477669289 865976320 26519 4294967295 134512640 134569956 3221224416 3221214552 1131533330 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 26519 13073 16 0 211404 0
vsize: 845680
[startup+1080.17 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 23768
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 106530 50 0 0 25 0 11 0 477669289 865976320 26519 4294967295 134512640 134569956 3221224416 3221214576 1131311969 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 26519 13073 16 0 211404 0
vsize: 845680
[startup+1090.17 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 23768
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 107525 50 0 0 25 0 11 0 477669289 865976320 26524 4294967295 134512640 134569956 3221224416 3221214328 1080217270 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 26524 13073 16 0 211404 0
vsize: 845680
[startup+1100.17 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 23768
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 108521 51 0 0 25 0 11 0 477669289 865976320 26562 4294967295 134512640 134569956 3221224416 3221214416 1080217189 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 26562 13073 16 0 211404 0
vsize: 845680
[startup+1110.17 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 23768
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 109516 51 0 0 25 0 11 0 477669289 865976320 26572 4294967295 134512640 134569956 3221224416 3221214520 1131387076 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 26572 13073 16 0 211404 0
vsize: 845680
[startup+1120.17 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 23768
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 110512 51 0 0 25 0 11 0 477669289 865976320 26602 4294967295 134512640 134569956 3221224416 3221214696 1131328416 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 26602 13073 16 0 211404 0
vsize: 845680
[startup+1130.17 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 23768
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 111506 51 0 0 25 0 11 0 477669289 865976320 26641 4294967295 134512640 134569956 3221224416 3221214576 1131311673 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 26641 13073 16 0 211404 0
vsize: 845680
[startup+1140.17 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 23768
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 112501 51 0 0 25 0 11 0 477669289 865976320 26658 4294967295 134512640 134569956 3221224416 3221214520 1079721529 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 26658 13073 16 0 211404 0
vsize: 845680
[startup+1150.17 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 23768
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 113496 51 0 0 25 0 11 0 477669289 865976320 26697 4294967295 134512640 134569956 3221224416 3221214752 1131198053 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 26697 13073 16 0 211404 0
vsize: 845680
[startup+1160.17 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 23768
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 114493 51 0 0 25 0 11 0 477669289 865976320 26699 4294967295 134512640 134569956 3221224416 3221214576 1131310788 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 26699 13073 16 0 211404 0
vsize: 845680
[startup+1170.17 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 23768
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 115485 51 0 0 24 0 11 0 477669289 865976320 26748 4294967295 134512640 134569956 3221224416 3221214328 1080217270 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 26748 13073 16 0 211404 0
vsize: 845680
[startup+1180.17 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 23768
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 116484 51 0 0 25 0 11 0 477669289 865976320 26748 4294967295 134512640 134569956 3221224416 3221214528 1131386949 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 26748 13073 16 0 211404 0
vsize: 845680
[startup+1190.18 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 23768
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 117482 51 0 0 25 0 11 0 477669289 865976320 26781 4294967295 134512640 134569956 3221224416 3221214536 1131621851 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 26781 13073 16 0 211404 0
vsize: 845680
[startup+1200.18 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 23768
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 118475 51 0 0 25 0 11 0 477669289 865976320 26790 4294967295 134512640 134569956 3221224416 3221214684 1080204256 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 26790 13073 16 0 211404 0
vsize: 845680
[startup+1210.18 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 23768
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 119470 51 0 0 25 0 11 0 477669289 865976320 26836 4294967295 134512640 134569956 3221224416 3221214368 1080217270 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 26836 13073 16 0 211404 0
vsize: 845680
[startup+1220.18 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 23768
Raw data (stat): 23754 (java) R 23753 23176 23175 0 -1 0 18090 3 1 0 120465 51 0 0 25 0 11 0 477669289 865976320 26840 4294967295 134512640 134569956 3221224416 3221214512 1079721536 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 26840 13073 16 0 211404 0
vsize: 845680
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.27 s]
Raw data (loadavg): 1.00 1.00 0.98 1/54 23770
Raw data (stat): 23754 (java) Z 23753 23176 23175 0 -1 1036 18090 11358 1 0 120469 51 1831 32 25 0 1 0 477669289 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1220.27
CPU time (s): 1223.85
CPU user time (s): 1223.01
CPU system time (s): 0.837872
CPU usage (%): 100.293
Max. virtual memory (Kb): 845680
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####