PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-share2b.opb
MD5SUM	093811c51770a4a5a69679d486994a51
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	580
Biggest coefficient in the objective function	199229440
Number of bits for the biggest coefficient in the objective function	28
Sum of the numbers in the objective function	4428132225
Number of bits of the sum of numbers in the objective function	33
Biggest number in a constraint	540016640
Number of bits of the biggest number in a constraint	30
Biggest sum of numbers in a constraint	10719582225
Number of bits of the biggest sum of numbers	34
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.184971
Number of variables	1580
Total number of constraints	96
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	96
Minimum length of a constraint	20
Maximum length of a constraint	240
Trace number 29878

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc8 THE 2005-05-25 12:20:19 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21272 boxname=wulflinc8 idbench=1260 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  093811c51770a4a5a69679d486994a51  /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-13-7-share2b.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-13-7-share2b.opb
IDLAUNCH: 21272
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        387528 kB
Buffers:         37812 kB
Cached:         582824 kB
SwapCached:          0 kB
Active:          37436 kB
Inactive:       590184 kB
HighTotal:      131008 kB
HighFree:        11172 kB
LowTotal:       903652 kB
LowFree:        376356 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           7068 kB
Slab:            13836 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 12:40:51 (client local time) WITH STATUS 143 IN 1227.16 SECONDS
stats: 21272 7 1227.16 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c SAT4J: a SATisfiability library for Java (c) 2004-2005 Daniel Le Berre
c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
c version Special PB05 Second trial
c --- Begin Solver configuration ---
c org.sat4j.minisat.uip.FirstUIP@1e4cbc4
c org.sat4j.minisat.constraints.PBMinDataStructure@1fdc96c
c org.sat4j.minisat.learning.MiniSATLearning@b2fd8f
c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 
c 
c --- End Solver configuration ---
c solving /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-13-7-share2b.opb
c reading problem ... done. Time 3.511 ms.
c #vars     1580
c #constraints  109
c starts	: 4
c conflicts	: 739
c decisions	: 5860
c propagations	: 21827
c inspects	: 2073701
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 739
c root simplifications	: 669
s UNKNOWN
c Total CPU time (ms) : 1229.081
#### 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.86 0.97 0.99 2/54 17838
Raw data (stat): 17838 (runsolver) R 17837 3132 3131 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 767044459 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 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.0009 s]
Raw data (loadavg): 0.96 0.98 0.99 3/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18078 0 1 0 730 38 0 0 25 0 11 0 767044459 860336128 20800 4294967295 134512640 134569956 3221224368 3221214552 1131197172 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210043 20800 13086 16 0 210027 0
vsize: 840172
[startup+20.0015 s]
Raw data (loadavg): 1.04 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18080 0 1 0 1654 38 0 0 25 0 11 0 767044459 857497600 20518 4294967295 134512640 134569956 3221224368 3221214576 1131301729 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209350 20518 13086 16 0 209334 0
vsize: 837400
[startup+30.0014 s]
Raw data (loadavg): 1.03 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18080 0 1 0 2563 39 0 0 25 0 11 0 767044459 857497600 20720 4294967295 134512640 134569956 3221224368 3221214576 1131301313 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209350 20720 13086 16 0 209334 0
vsize: 837400
[startup+40.0022 s]
Raw data (loadavg): 1.03 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18080 0 1 0 3482 39 0 0 25 0 11 0 767044459 857497600 21331 4294967295 134512640 134569956 3221224368 3221214576 1131302024 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209350 21331 13086 16 0 209334 0
vsize: 837400
[startup+50.0029 s]
Raw data (loadavg): 1.02 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18080 0 1 0 4445 39 0 0 25 0 11 0 767044459 857497600 21502 4294967295 134512640 134569956 3221224368 3221214576 1131302705 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209350 21502 13086 16 0 209334 0
vsize: 837400
[startup+60.0038 s]
Raw data (loadavg): 1.02 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18080 0 1 0 5418 40 0 0 25 0 11 0 767044459 857497600 21589 4294967295 134512640 134569956 3221224368 3221214576 1131302708 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209350 21589 13086 16 0 209334 0
vsize: 837400
[startup+70.0045 s]
Raw data (loadavg): 1.02 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18080 0 1 0 6395 40 0 0 25 0 11 0 767044459 857497600 21693 4294967295 134512640 134569956 3221224368 3221214576 1131301342 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209350 21693 13086 16 0 209334 0
vsize: 837400
[startup+80.0042 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18080 0 1 0 7372 40 0 0 25 0 11 0 767044459 857497600 21758 4294967295 134512640 134569956 3221224368 3221214576 1131301799 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209350 21758 13086 16 0 209334 0
vsize: 837400
[startup+90.0041 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18080 0 1 0 8352 40 0 0 25 0 11 0 767044459 857497600 21811 4294967295 134512640 134569956 3221224368 3221214672 1131447563 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209350 21811 13086 16 0 209334 0
vsize: 837400
[startup+100.004 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18080 0 1 0 9328 40 0 0 25 0 11 0 767044459 857497600 21863 4294967295 134512640 134569956 3221224368 3221214672 1131446773 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209350 21863 13086 16 0 209334 0
vsize: 837400
[startup+110.005 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18080 0 1 0 10304 41 0 0 25 0 11 0 767044459 857497600 21905 4294967295 134512640 134569956 3221224368 3221214576 1131301790 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209350 21905 13086 16 0 209334 0
vsize: 837400
[startup+120.006 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18080 0 1 0 11279 41 0 0 25 0 11 0 767044459 857497600 21960 4294967295 134512640 134569956 3221224368 3221214672 1131450412 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209350 21960 13086 16 0 209334 0
vsize: 837400
[startup+130.006 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18080 0 1 0 12261 41 0 0 25 0 11 0 767044459 857497600 22060 4294967295 134512640 134569956 3221224368 3221214672 1131446805 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209350 22060 13086 16 0 209334 0
vsize: 837400
[startup+140.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18080 0 1 0 13244 42 0 0 25 0 11 0 767044459 857497600 22097 4294967295 134512640 134569956 3221224368 3221214576 1131301663 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209350 22097 13086 16 0 209334 0
vsize: 837400
[startup+150.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) S 17837 3132 3131 0 -1 0 18080 0 1 0 14229 42 0 0 25 0 11 0 767044459 857497600 22131 4294967295 134512640 134569956 3221224368 3221213280 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209350 22131 13086 16 0 209334 0
vsize: 837400
[startup+160.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18080 0 1 0 15214 43 0 0 25 0 11 0 767044459 857497600 22165 4294967295 134512640 134569956 3221224368 3221214576 1131301747 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209350 22165 13086 16 0 209334 0
vsize: 837400
[startup+170.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18080 0 1 0 16198 43 0 0 25 0 11 0 767044459 857497600 22199 4294967295 134512640 134569956 3221224368 3221214668 1131301292 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209350 22199 13086 16 0 209334 0
vsize: 837400
[startup+180.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18080 0 1 0 17184 43 0 0 25 0 11 0 767044459 857497600 22230 4294967295 134512640 134569956 3221224368 3221214672 1131447509 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209350 22230 13086 16 0 209334 0
vsize: 837400
[startup+190.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18080 0 1 0 18169 44 0 0 25 0 11 0 767044459 857497600 22261 4294967295 134512640 134569956 3221224368 3221214576 1131301930 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209350 22261 13086 16 0 209334 0
vsize: 837400
[startup+200.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18080 0 1 0 19153 44 0 0 24 0 11 0 767044459 857497600 22292 4294967295 134512640 134569956 3221224368 3221214576 1131301415 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209350 22292 13086 16 0 209334 0
vsize: 837400
[startup+210.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18080 0 1 0 20140 44 0 0 25 0 11 0 767044459 857497600 22317 4294967295 134512640 134569956 3221224368 3221214672 1131445429 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209350 22317 13086 16 0 209334 0
vsize: 837400
[startup+220.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18080 0 1 0 21125 44 0 0 25 0 11 0 767044459 857497600 22348 4294967295 134512640 134569956 3221224368 3221214672 1131445405 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209350 22348 13086 16 0 209334 0
vsize: 837400
[startup+230.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18080 0 1 0 22110 44 0 0 25 0 11 0 767044459 857497600 22372 4294967295 134512640 134569956 3221224368 3221214672 1131450398 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209350 22372 13086 16 0 209334 0
vsize: 837400
[startup+240.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18080 0 1 0 23096 44 0 0 25 0 11 0 767044459 857497600 22400 4294967295 134512640 134569956 3221224368 3221214672 1131450412 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209350 22400 13086 16 0 209334 0
vsize: 837400
[startup+250.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) S 17837 3132 3131 0 -1 0 18080 0 1 0 24083 44 0 0 25 0 11 0 767044459 857497600 22426 4294967295 134512640 134569956 3221224368 3221213320 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209350 22426 13086 16 0 209334 0
vsize: 837400
[startup+260.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18080 0 1 0 25070 45 0 0 25 0 11 0 767044459 857497600 22451 4294967295 134512640 134569956 3221224368 3221214576 1131302794 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209350 22451 13086 16 0 209334 0
vsize: 837400
[startup+270.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18080 0 1 0 26055 45 0 0 25 0 11 0 767044459 857497600 22476 4294967295 134512640 134569956 3221224368 3221214576 1131301313 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209350 22476 13086 16 0 209334 0
vsize: 837400
[startup+280.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18080 0 1 0 27041 45 0 0 25 0 11 0 767044459 857497600 22500 4294967295 134512640 134569956 3221224368 3221214576 1131301679 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209350 22500 13086 16 0 209334 0
vsize: 837400
[startup+290.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18080 0 1 0 28027 46 0 0 25 0 11 0 767044459 857497600 22525 4294967295 134512640 134569956 3221224368 3221214672 1131446877 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209350 22525 13086 16 0 209334 0
vsize: 837400
[startup+300.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18080 0 1 0 29014 46 0 0 25 0 11 0 767044459 857497600 22547 4294967295 134512640 134569956 3221224368 3221214672 1131447580 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209350 22547 13086 16 0 209334 0
vsize: 837400
[startup+310.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18080 0 1 0 29996 46 0 0 25 0 11 0 767044459 857497600 22569 4294967295 134512640 134569956 3221224368 3221214576 1131302789 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209350 22569 13086 16 0 209334 0
vsize: 837400
[startup+320.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18080 0 1 0 30969 46 0 0 25 0 11 0 767044459 857497600 22593 4294967295 134512640 134569956 3221224368 3221214576 1131301441 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209350 22593 13086 16 0 209334 0
vsize: 837400
[startup+330.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18080 0 1 0 31942 46 0 0 25 0 11 0 767044459 857497600 22620 4294967295 134512640 134569956 3221224368 3221214488 1131196728 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209350 22620 13086 16 0 209334 0
vsize: 837400
[startup+340.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18080 0 1 0 32921 46 0 0 25 0 11 0 767044459 857497600 22769 4294967295 134512640 134569956 3221224368 3221214672 1131445615 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209350 22769 13086 16 0 209334 0
vsize: 837400
[startup+350.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18081 0 1 0 33907 46 0 0 25 0 11 0 767044459 857497600 22798 4294967295 134512640 134569956 3221224368 3221214576 1131301799 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209350 22798 13086 16 0 209334 0
vsize: 837400
[startup+360.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18081 0 1 0 34893 46 0 0 25 0 11 0 767044459 857497600 22819 4294967295 134512640 134569956 3221224368 3221214576 1131301883 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209350 22819 13086 16 0 209334 0
vsize: 837400
[startup+370.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18081 0 1 0 35880 47 0 0 25 0 11 0 767044459 857497600 22838 4294967295 134512640 134569956 3221224368 3221214576 1131301377 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209350 22838 13086 16 0 209334 0
vsize: 837400
[startup+380.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18081 0 1 0 36867 47 0 0 25 0 11 0 767044459 857497600 22860 4294967295 134512640 134569956 3221224368 3221214576 1131302665 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209350 22860 13086 16 0 209334 0
vsize: 837400
[startup+390.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18081 0 1 0 37853 47 0 0 25 0 11 0 767044459 857497600 22878 4294967295 134512640 134569956 3221224368 3221214576 1131302699 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209350 22878 13086 16 0 209334 0
vsize: 837400
[startup+400.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18081 0 1 0 38839 47 0 0 25 0 11 0 767044459 857497600 22900 4294967295 134512640 134569956 3221224368 3221214576 1131301324 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209350 22900 13086 16 0 209334 0
vsize: 837400
[startup+410.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18081 0 1 0 39826 47 0 0 24 0 11 0 767044459 857497600 22919 4294967295 134512640 134569956 3221224368 3221214576 1131301799 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209350 22919 13086 16 0 209334 0
vsize: 837400
[startup+420.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18081 0 1 0 40813 47 0 0 25 0 11 0 767044459 857497600 22938 4294967295 134512640 134569956 3221224368 3221214576 1131303265 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209350 22938 13086 16 0 209334 0
vsize: 837400
[startup+430.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18081 0 1 0 41799 47 0 0 25 0 11 0 767044459 857497600 22957 4294967295 134512640 134569956 3221224368 3221214576 1131301317 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209350 22957 13086 16 0 209334 0
vsize: 837400
[startup+440.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18081 0 1 0 42785 47 0 0 25 0 11 0 767044459 857497600 22975 4294967295 134512640 134569956 3221224368 3221214576 1131302794 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209350 22975 13086 16 0 209334 0
vsize: 837400
[startup+450.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18081 0 1 0 43772 47 0 0 25 0 11 0 767044459 857497600 22994 4294967295 134512640 134569956 3221224368 3221214576 1131301799 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209350 22994 13086 16 0 209334 0
vsize: 837400
[startup+460.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18081 0 1 0 44759 47 0 0 25 0 11 0 767044459 857497600 23012 4294967295 134512640 134569956 3221224368 3221214576 1131301922 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209350 23012 13086 16 0 209334 0
vsize: 837400
[startup+470.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18081 0 1 0 45745 47 0 0 25 0 11 0 767044459 857497600 23031 4294967295 134512640 134569956 3221224368 3221214576 1131301441 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209350 23031 13086 16 0 209334 0
vsize: 837400
[startup+480.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18081 0 1 0 46732 47 0 0 25 0 11 0 767044459 857497600 23046 4294967295 134512640 134569956 3221224368 3221214672 1131445429 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209350 23046 13086 16 0 209334 0
vsize: 837400
[startup+490.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18081 0 1 0 47718 47 0 0 25 0 11 0 767044459 857497600 23065 4294967295 134512640 134569956 3221224368 3221214668 1131301292 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209350 23065 13086 16 0 209334 0
vsize: 837400
[startup+500.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18081 0 1 0 48705 47 0 0 24 0 11 0 767044459 857497600 23084 4294967295 134512640 134569956 3221224368 3221214576 1131301342 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209350 23084 13086 16 0 209334 0
vsize: 837400
[startup+510.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18081 0 1 0 49692 47 0 0 25 0 11 0 767044459 857497600 23099 4294967295 134512640 134569956 3221224368 3221214668 1131301292 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209350 23099 13086 16 0 209334 0
vsize: 837400
[startup+520.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18081 0 1 0 50678 48 0 0 25 0 11 0 767044459 857497600 23118 4294967295 134512640 134569956 3221224368 3221214672 1131445608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209350 23118 13086 16 0 209334 0
vsize: 837400
[startup+530.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18081 0 1 0 51665 48 0 0 25 0 11 0 767044459 857497600 23133 4294967295 134512640 134569956 3221224368 3221214576 1131301747 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209350 23133 13086 16 0 209334 0
vsize: 837400
[startup+540.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18081 0 1 0 52651 48 0 0 25 0 11 0 767044459 857497600 23152 4294967295 134512640 134569956 3221224368 3221214616 1131230796 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209350 23152 13086 16 0 209334 0
vsize: 837400
[startup+550.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18081 0 1 0 53637 48 0 0 25 0 11 0 767044459 857497600 23164 4294967295 134512640 134569956 3221224368 3221214576 1131301799 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209350 23164 13086 16 0 209334 0
vsize: 837400
[startup+560.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18081 0 1 0 54623 48 0 0 25 0 11 0 767044459 857497600 23183 4294967295 134512640 134569956 3221224368 3221214576 1131301447 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209350 23183 13086 16 0 209334 0
vsize: 837400
[startup+570.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18081 0 1 0 55609 49 0 0 25 0 11 0 767044459 857497600 23198 4294967295 134512640 134569956 3221224368 3221214576 1131302800 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209350 23198 13086 16 0 209334 0
vsize: 837400
[startup+580.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18081 0 1 0 56595 49 0 0 25 0 11 0 767044459 857497600 23214 4294967295 134512640 134569956 3221224368 3221214672 1131445615 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209350 23214 13086 16 0 209334 0
vsize: 837400
[startup+590.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18081 0 1 0 57581 49 0 0 25 0 11 0 767044459 857497600 23229 4294967295 134512640 134569956 3221224368 3221214576 1131301747 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209350 23229 13086 16 0 209334 0
vsize: 837400
[startup+600.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18081 0 1 0 58565 50 0 0 25 0 11 0 767044459 857497600 23245 4294967295 134512640 134569956 3221224368 3221214576 1131301342 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209350 23245 13086 16 0 209334 0
vsize: 837400
[startup+610.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18081 0 1 0 59551 50 0 0 25 0 11 0 767044459 857497600 23260 4294967295 134512640 134569956 3221224368 3221214576 1131302968 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209350 23260 13086 16 0 209334 0
vsize: 837400
[startup+620.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18081 0 1 0 60537 50 0 0 25 0 11 0 767044459 857497600 23276 4294967295 134512640 134569956 3221224368 3221214672 1131446785 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209350 23276 13086 16 0 209334 0
vsize: 837400
[startup+630.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18081 0 1 0 61522 51 0 0 25 0 11 0 767044459 857497600 23291 4294967295 134512640 134569956 3221224368 3221214576 1131301732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209350 23291 13086 16 0 209334 0
vsize: 837400
[startup+640.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18081 0 1 0 62508 51 0 0 25 0 11 0 767044459 857497600 23307 4294967295 134512640 134569956 3221224368 3221214672 1131449511 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209350 23307 13086 16 0 209334 0
vsize: 837400
[startup+650.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18081 0 1 0 63493 52 0 0 25 0 11 0 767044459 857497600 23319 4294967295 134512640 134569956 3221224368 3221214576 1131301799 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209350 23319 13086 16 0 209334 0
vsize: 837400
[startup+660.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18081 0 1 0 64478 52 0 0 25 0 11 0 767044459 857497600 23335 4294967295 134512640 134569956 3221224368 3221214672 1131446867 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209350 23335 13086 16 0 209334 0
vsize: 837400
[startup+670.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18081 0 1 0 65464 53 0 0 25 0 11 0 767044459 857497600 23350 4294967295 134512640 134569956 3221224368 3221214576 1131302768 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209350 23350 13086 16 0 209334 0
vsize: 837400
[startup+680.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18081 0 1 0 66449 53 0 0 25 0 11 0 767044459 857497600 23366 4294967295 134512640 134569956 3221224368 3221214672 1131450424 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209350 23366 13086 16 0 209334 0
vsize: 837400
[startup+690.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18081 0 1 0 67434 53 0 0 25 0 11 0 767044459 857497600 23378 4294967295 134512640 134569956 3221224368 3221214576 1131302797 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209350 23378 13086 16 0 209334 0
vsize: 837400
[startup+700.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18081 0 1 0 68419 54 0 0 24 0 11 0 767044459 857497600 23393 4294967295 134512640 134569956 3221224368 3221214576 1131301443 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209350 23393 13086 16 0 209334 0
vsize: 837400
[startup+710.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18081 0 1 0 69406 54 0 0 25 0 11 0 767044459 857497600 23406 4294967295 134512640 134569956 3221224368 3221214576 1131302976 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209350 23406 13086 16 0 209334 0
vsize: 837400
[startup+720.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18081 0 1 0 70391 54 0 0 25 0 11 0 767044459 857497600 23421 4294967295 134512640 134569956 3221224368 3221214672 1131445615 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209350 23421 13086 16 0 209334 0
vsize: 837400
[startup+730.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18081 0 1 0 71377 54 0 0 25 0 11 0 767044459 857497600 23438 4294967295 134512640 134569956 3221224368 3221214672 1131445429 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209350 23438 13086 16 0 209334 0
vsize: 837400
[startup+740.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18081 0 1 0 72363 55 0 0 25 0 11 0 767044459 857497600 23450 4294967295 134512640 134569956 3221224368 3221214576 1131301796 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209350 23450 13086 16 0 209334 0
vsize: 837400
[startup+750.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18081 0 1 0 73347 55 0 0 25 0 11 0 767044459 857497600 23463 4294967295 134512640 134569956 3221224368 3221214672 1131445615 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209350 23463 13086 16 0 209334 0
vsize: 837400
[startup+760.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18081 0 1 0 74332 55 0 0 25 0 11 0 767044459 857497600 23478 4294967295 134512640 134569956 3221224368 3221214576 1131301324 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209350 23478 13086 16 0 209334 0
vsize: 837400
[startup+770.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18081 0 1 0 75318 56 0 0 25 0 11 0 767044459 857497600 23490 4294967295 134512640 134569956 3221224368 3221214488 1131196740 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209350 23490 13086 16 0 209334 0
vsize: 837400
[startup+780.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18081 0 1 0 76303 56 0 0 25 0 11 0 767044459 857497600 23506 4294967295 134512640 134569956 3221224368 3221214576 1131301698 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209350 23506 13086 16 0 209334 0
vsize: 837400
[startup+790.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18081 0 1 0 77288 57 0 0 25 0 11 0 767044459 857497600 23518 4294967295 134512640 134569956 3221224368 3221214576 1131301399 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209350 23518 13086 16 0 209334 0
vsize: 837400
[startup+800.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18081 0 1 0 78274 57 0 0 25 0 11 0 767044459 857497600 23531 4294967295 134512640 134569956 3221224368 3221214668 1131302985 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209350 23531 13086 16 0 209334 0
vsize: 837400
[startup+810.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18081 0 1 0 79258 58 0 0 25 0 11 0 767044459 857497600 23543 4294967295 134512640 134569956 3221224368 3221214672 1131446829 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209350 23543 13086 16 0 209334 0
vsize: 837400
[startup+820.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18081 0 1 0 80243 58 0 0 24 0 11 0 767044459 857497600 23559 4294967295 134512640 134569956 3221224368 3221214856 1131381654 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209350 23559 13086 16 0 209334 0
vsize: 837400
[startup+830.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18081 0 1 0 81229 59 0 0 25 0 11 0 767044459 857497600 23571 4294967295 134512640 134569956 3221224368 3221214576 1131302964 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209350 23571 13086 16 0 209334 0
vsize: 837400
[startup+840.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18081 0 1 0 82212 59 0 0 25 0 11 0 767044459 857497600 23583 4294967295 134512640 134569956 3221224368 3221214668 1131301292 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209350 23583 13086 16 0 209334 0
vsize: 837400
[startup+850.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18081 0 1 0 83194 60 0 0 25 0 11 0 767044459 857497600 23598 4294967295 134512640 134569956 3221224368 3221214576 1131302695 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209350 23598 13086 16 0 209334 0
vsize: 837400
[startup+860.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18081 0 1 0 84178 60 0 0 25 0 11 0 767044459 857497600 23617 4294967295 134512640 134569956 3221224368 3221214576 1131301326 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209350 23617 13086 16 0 209334 0
vsize: 837400
[startup+870.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18081 0 1 0 85162 60 0 0 25 0 11 0 767044459 857497600 23636 4294967295 134512640 134569956 3221224368 3221214576 1131301792 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209350 23636 13086 16 0 209334 0
vsize: 837400
[startup+880.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18081 0 1 0 86147 61 0 0 25 0 11 0 767044459 857497600 23659 4294967295 134512640 134569956 3221224368 3221214576 1131301799 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209350 23659 13086 16 0 209334 0
vsize: 837400
[startup+890.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18081 0 1 0 87132 61 0 0 25 0 11 0 767044459 857497600 23666 4294967295 134512640 134569956 3221224368 3221214576 1131302800 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209350 23666 13086 16 0 209334 0
vsize: 837400
[startup+900.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18081 0 1 0 88118 61 0 0 24 0 11 0 767044459 857497600 23670 4294967295 134512640 134569956 3221224368 3221214576 1131302695 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209350 23670 13086 16 0 209334 0
vsize: 837400
[startup+910.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18081 0 1 0 89105 62 0 0 25 0 11 0 767044459 857497600 23693 4294967295 134512640 134569956 3221224368 3221214576 1131301749 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209350 23693 13086 16 0 209334 0
vsize: 837400
[startup+920.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18081 0 1 0 90093 62 0 0 25 0 11 0 767044459 857497600 23698 4294967295 134512640 134569956 3221224368 3221214672 1131445461 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209350 23698 13086 16 0 209334 0
vsize: 837400
[startup+930.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18081 0 1 0 91080 62 0 0 25 0 11 0 767044459 857497600 23700 4294967295 134512640 134569956 3221224368 3221214488 1131196752 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209350 23700 13086 16 0 209334 0
vsize: 837400
[startup+940.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18081 0 1 0 92067 63 0 0 25 0 11 0 767044459 857497600 23709 4294967295 134512640 134569956 3221224368 3221214488 1131197172 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209350 23709 13086 16 0 209334 0
vsize: 837400
[startup+950.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18081 0 1 0 93055 63 0 0 25 0 11 0 767044459 857497600 23721 4294967295 134512640 134569956 3221224368 3221214672 1131450412 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209350 23721 13086 16 0 209334 0
vsize: 837400
[startup+960.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18082 0 1 0 94008 64 0 0 25 0 11 0 767044459 858976256 24075 4294967295 134512640 134569956 3221224368 3221214576 1131302702 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209711 24075 13086 16 0 209695 0
vsize: 838844
[startup+970.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18082 0 1 0 94994 64 0 0 25 0 11 0 767044459 858976256 24075 4294967295 134512640 134569956 3221224368 3221214672 1131446765 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209711 24075 13086 16 0 209695 0
vsize: 838844
[startup+980.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18082 0 1 0 95982 64 0 0 25 0 11 0 767044459 858976256 24078 4294967295 134512640 134569956 3221224368 3221214576 1131302794 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209711 24078 13086 16 0 209695 0
vsize: 838844
[startup+990.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18082 0 1 0 96969 64 0 0 25 0 11 0 767044459 858976256 24095 4294967295 134512640 134569956 3221224368 3221214576 1131301799 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209711 24095 13086 16 0 209695 0
vsize: 838844
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18082 0 1 0 97957 64 0 0 25 0 11 0 767044459 858976256 24097 4294967295 134512640 134569956 3221224368 3221214672 1131446844 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209711 24097 13086 16 0 209695 0
vsize: 838844
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18082 0 1 0 98946 64 0 0 25 0 11 0 767044459 858976256 24102 4294967295 134512640 134569956 3221224368 3221214576 1131301792 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209711 24102 13086 16 0 209695 0
vsize: 838844
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18082 0 1 0 99932 64 0 0 25 0 11 0 767044459 857497600 23780 4294967295 134512640 134569956 3221224368 3221214576 1131301679 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209350 23780 13086 16 0 209334 0
vsize: 837400
[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18082 0 1 0 100916 64 0 0 25 0 11 0 767044459 857497600 23780 4294967295 134512640 134569956 3221224368 3221214108 1131505616 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209350 23780 13086 16 0 209334 0
vsize: 837400
[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18082 0 1 0 101900 64 0 0 25 0 11 0 767044459 857497600 23814 4294967295 134512640 134569956 3221224368 3221214576 1131301799 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209350 23814 13086 16 0 209334 0
vsize: 837400
[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18082 0 1 0 102887 64 0 0 25 0 11 0 767044459 857497600 23825 4294967295 134512640 134569956 3221224368 3221214576 1131301313 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209350 23825 13086 16 0 209334 0
vsize: 837400
[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18082 0 1 0 103876 64 0 0 25 0 11 0 767044459 857497600 23829 4294967295 134512640 134569956 3221224368 3221214576 1131301934 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209350 23829 13086 16 0 209334 0
vsize: 837400
[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18082 0 1 0 104863 65 0 0 25 0 11 0 767044459 857497600 23832 4294967295 134512640 134569956 3221224368 3221214672 1131447600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209350 23832 13086 16 0 209334 0
vsize: 837400
[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18082 0 1 0 105849 65 0 0 25 0 11 0 767044459 857497600 23841 4294967295 134512640 134569956 3221224368 3221214576 1131301415 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209350 23841 13086 16 0 209334 0
vsize: 837400
[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18082 0 1 0 106835 65 0 0 25 0 11 0 767044459 857497600 23851 4294967295 134512640 134569956 3221224368 3221214576 1131301407 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209350 23851 13086 16 0 209334 0
vsize: 837400
[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18082 0 1 0 107821 65 0 0 25 0 11 0 767044459 857497600 23869 4294967295 134512640 134569956 3221224368 3221214672 1131445615 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209350 23869 13086 16 0 209334 0
vsize: 837400
[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18082 0 1 0 108808 65 0 0 25 0 11 0 767044459 857497600 23879 4294967295 134512640 134569956 3221224368 3221214576 1131302968 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209350 23879 13086 16 0 209334 0
vsize: 837400
[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18082 0 1 0 109796 65 0 0 25 0 11 0 767044459 857497600 23889 4294967295 134512640 134569956 3221224368 3221214576 1131301732 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209350 23889 13086 16 0 209334 0
vsize: 837400
[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18082 0 1 0 110785 65 0 0 25 0 11 0 767044459 857497600 23890 4294967295 134512640 134569956 3221224368 3221214672 1131450254 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209350 23890 13086 16 0 209334 0
vsize: 837400
[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18082 0 1 0 111773 65 0 0 25 0 11 0 767044459 857497600 23894 4294967295 134512640 134569956 3221224368 3221214576 1131301447 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209350 23894 13086 16 0 209334 0
vsize: 837400
[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18082 0 1 0 112761 65 0 0 25 0 11 0 767044459 857497600 23899 4294967295 134512640 134569956 3221224368 3221214672 1131446797 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209350 23899 13086 16 0 209334 0
vsize: 837400
[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18082 0 1 0 113748 65 0 0 25 0 11 0 767044459 857497600 23904 4294967295 134512640 134569956 3221224368 3221214672 1131445615 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209350 23904 13086 16 0 209334 0
vsize: 837400
[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18082 0 1 0 114734 65 0 0 25 0 11 0 767044459 857497600 23907 4294967295 134512640 134569956 3221224368 3221214576 1131301396 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209350 23907 13086 16 0 209334 0
vsize: 837400
[startup+1180.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18082 0 1 0 115719 66 0 0 25 0 11 0 767044459 857497600 23914 4294967295 134512640 134569956 3221224368 3221214576 1131302708 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209350 23914 13086 16 0 209334 0
vsize: 837400
[startup+1190.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18082 0 1 0 116706 66 0 0 25 0 11 0 767044459 857497600 23940 4294967295 134512640 134569956 3221224368 3221214576 1131302782 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209350 23940 13086 16 0 209334 0
vsize: 837400
[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18082 0 1 0 117693 66 0 0 25 0 11 0 767044459 857497600 24052 4294967295 134512640 134569956 3221224368 3221214576 1131302702 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209350 24052 13086 16 0 209334 0
vsize: 837400
[startup+1210.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18082 0 1 0 118679 66 0 0 25 0 11 0 767044459 857497600 24057 4294967295 134512640 134569956 3221224368 3221214576 1131302789 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209350 24057 13086 16 0 209334 0
vsize: 837400
[startup+1220.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18082 0 1 0 119664 66 0 0 25 0 11 0 767044459 857497600 24060 4294967295 134512640 134569956 3221224368 3221214672 1131446829 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209350 24060 13086 16 0 209334 0
vsize: 837400
[startup+1230.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 17848
Raw data (stat): 17838 (java) R 17837 3132 3131 0 -1 0 18082 0 1 0 120651 66 0 0 25 0 11 0 767044459 857497600 24088 4294967295 134512640 134569956 3221224368 3221214576 1131301922 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209350 24088 13086 16 0 209334 0
vsize: 837400
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.15 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 17850
Raw data (stat): 17838 (java) Z 17837 3132 3131 0 -1 1036 18082 4729 1 0 120655 66 1964 28 25 0 1 0 767044459 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): 1230.15
CPU time (s): 1227.16
CPU user time (s): 1226.2
CPU system time (s): 0.955854
CPU usage (%): 99.7573
Max. virtual memory (Kb): 840172
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####