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-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-gesa2.opb
MD5SUM	cc2ab9cbda3b73ffdc0f995958f9051d
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	13488
Biggest coefficient in the objective function	418848431931392
Number of bits for the biggest coefficient in the objective function	49
Sum of the numbers in the objective function	180205740755072640
Number of bits of the sum of numbers in the objective function	58
Biggest number in a constraint	418848431931392
Number of bits of the biggest number in a constraint	49
Biggest sum of numbers in a constraint	180205740755072640
Number of bits of the biggest sum of numbers	58
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.166973
Number of variables	19344
Total number of constraints	2112
Number of constraints which are clauses	48
Number of constraints which are cardinality constraints (but not clauses)	240
Number of constraints which are nor clauses,nor cardinality constraints	1824
Minimum length of a constraint	1
Maximum length of a constraint	309
Trace number 29570

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc28 THE 2005-05-25 09:07:30 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20979 boxname=wulflinc28 idbench=967 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  cc2ab9cbda3b73ffdc0f995958f9051d  /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-20-10-gesa2.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-20-10-gesa2.opb
IDLAUNCH: 20979
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.077
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.077
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:        681848 kB
Buffers:         25768 kB
Cached:         305632 kB
SwapCached:       1052 kB
Active:          43276 kB
Inactive:       290688 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        681596 kB
SwapTotal:     2097640 kB
SwapFree:      2096168 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5464 kB
Slab:            13164 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 09:28:12 (client local time) WITH STATUS 143 IN 1237.04 SECONDS
stats: 20979 7 1237.04 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/wulflinc28/normalized-mps-v2-20-10-gesa2.opb
c reading problem ... done. Time 110.851 ms.
c #vars     19344
c #constraints  1872
c starts	: 9
c conflicts	: 7027
c decisions	: 21582
c propagations	: 63071
c inspects	: 897102
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 7027
c root simplifications	: 34
s UNKNOWN
c Total CPU time (ms) : 1239.122
#### 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.85 0.97 0.99 2/54 4235
Raw data (stat): 4235 (runsolver) R 4234 24821 24820 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 837681013 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0006 s]
Raw data (loadavg): 0.94 0.98 0.99 2/63 4244
Raw data (stat): 4235 (java) S 4234 24821 24820 0 -1 0 18033 0 1 0 872 41 0 0 25 0 10 0 837681013 857411584 20077 4294967295 134512640 134569956 3221224368 3221213712 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209329 20077 13086 16 0 209313 0
vsize: 837316
[startup+20.0015 s]
Raw data (loadavg): 0.95 0.98 0.99 2/63 4244
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18033 0 1 0 1764 41 0 0 24 0 10 0 837681013 855863296 20284 4294967295 134512640 134569956 3221224368 3221214416 1076461336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208951 20284 13086 16 0 208935 0
vsize: 835804
[startup+30.003 s]
Raw data (loadavg): 0.96 0.98 0.99 2/63 4244
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18033 0 1 0 2662 41 0 0 25 0 10 0 837681013 855863296 20753 4294967295 134512640 134569956 3221224368 3221214644 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208951 20753 13086 16 0 208935 0
vsize: 835804
[startup+40.0032 s]
Raw data (loadavg): 0.96 0.98 0.99 2/63 4244
Raw data (stat): 4235 (java) S 4234 24821 24820 0 -1 0 18033 0 1 0 3575 42 0 0 25 0 10 0 837681013 855863296 21066 4294967295 134512640 134569956 3221224368 3221213352 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208951 21066 13086 16 0 208935 0
vsize: 835804
[startup+50.0035 s]
Raw data (loadavg): 0.97 0.98 0.99 2/63 4244
Raw data (stat): 4235 (java) S 4234 24821 24820 0 -1 0 18033 0 1 0 4494 42 0 0 25 0 10 0 837681013 855863296 21231 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208951 21231 13086 16 0 208935 0
vsize: 835804
[startup+60.0041 s]
Raw data (loadavg): 0.97 0.98 0.99 2/63 4244
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18043 0 1 0 5367 43 0 0 25 0 10 0 837681013 855863296 21424 4294967295 134512640 134569956 3221224368 3221214160 1076874552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208951 21424 13086 16 0 208935 0
vsize: 835804
[startup+70.0043 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 4244
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18044 0 1 0 6219 44 0 0 19 0 10 0 837681013 856186880 21807 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209030 21807 13086 16 0 209014 0
vsize: 836120
[startup+80.0078 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 4244
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18044 0 1 0 7106 44 0 0 18 0 10 0 837681013 856186880 22091 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209030 22091 13086 16 0 209014 0
vsize: 836120
[startup+90.0082 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 4244
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18044 0 1 0 8029 45 0 0 25 0 10 0 837681013 856186880 22316 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209030 22316 13086 16 0 209014 0
vsize: 836120
[startup+100.007 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 4244
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18044 0 1 0 8960 46 0 0 25 0 10 0 837681013 856186880 22439 4294967295 134512640 134569956 3221224368 3221214788 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209030 22439 13086 16 0 209014 0
vsize: 836120
[startup+110.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 4244
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18044 0 1 0 9888 47 0 0 25 0 10 0 837681013 856186880 22552 4294967295 134512640 134569956 3221224368 3221214240 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209030 22552 13086 16 0 209014 0
vsize: 836120
[startup+120.011 s]
Raw data (loadavg): 1.07 1.00 1.00 2/64 4245
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18091 0 1 0 10673 48 0 0 25 0 11 0 837681013 861380608 24468 4294967295 134512640 134569956 3221224368 3221214520 1131288321 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210298 24468 13086 16 0 210282 0
vsize: 841192
[startup+130.011 s]
Raw data (loadavg): 1.06 1.00 1.00 2/64 4245
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18092 0 1 0 11599 49 0 0 25 0 11 0 837681013 861249536 24942 4294967295 134512640 134569956 3221224368 3221214664 1131583292 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210266 24942 13086 16 0 210250 0
vsize: 841064
[startup+140.011 s]
Raw data (loadavg): 1.05 1.00 1.00 2/64 4245
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18093 0 1 0 12535 49 0 0 25 0 11 0 837681013 861249536 25293 4294967295 134512640 134569956 3221224368 3221214664 1131578535 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210266 25293 13086 16 0 210250 0
vsize: 841064
[startup+150.011 s]
Raw data (loadavg): 1.04 1.00 1.00 2/64 4245
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18094 0 1 0 13469 49 0 0 25 0 11 0 837681013 859152384 25405 4294967295 134512640 134569956 3221224368 3221214696 1080204001 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 25405 13086 16 0 209738 0
vsize: 839016
[startup+160.011 s]
Raw data (loadavg): 1.03 1.00 1.00 2/64 4245
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18094 0 1 0 14404 49 0 0 25 0 11 0 837681013 859152384 26028 4294967295 134512640 134569956 3221224368 3221214600 1131570312 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 26028 13086 16 0 209738 0
vsize: 839016
[startup+170.011 s]
Raw data (loadavg): 1.03 1.00 1.00 2/64 4245
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18094 0 1 0 15334 49 0 0 25 0 11 0 837681013 859152384 26519 4294967295 134512640 134569956 3221224368 3221214076 1131664267 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 26519 13086 16 0 209738 0
vsize: 839016
[startup+180.012 s]
Raw data (loadavg): 1.02 1.00 1.00 2/64 4245
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18094 0 1 0 16291 49 0 0 25 0 11 0 837681013 859152384 26946 4294967295 134512640 134569956 3221224368 3221213904 1131665032 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 26946 13086 16 0 209738 0
vsize: 839016
[startup+190.012 s]
Raw data (loadavg): 1.02 1.00 1.00 2/64 4245
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18094 0 1 0 17247 49 0 0 25 0 11 0 837681013 859152384 27326 4294967295 134512640 134569956 3221224368 3221214448 1131417209 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 27326 13086 16 0 209738 0
vsize: 839016
[startup+200.012 s]
Raw data (loadavg): 1.02 1.00 1.00 2/64 4245
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18094 0 1 0 18215 49 0 0 25 0 11 0 837681013 859152384 27600 4294967295 134512640 134569956 3221224368 3221214164 1131659245 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 27600 13086 16 0 209738 0
vsize: 839016
[startup+210.012 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 4245
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18094 0 1 0 19173 49 0 0 25 0 11 0 837681013 859152384 27856 4294967295 134512640 134569956 3221224368 3221214080 1131664248 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 27856 13086 16 0 209738 0
vsize: 839016
[startup+220.013 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 4245
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18094 0 1 0 20128 49 0 0 25 0 11 0 837681013 859152384 28243 4294967295 134512640 134569956 3221224368 3221214488 1131321975 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 28243 13086 16 0 209738 0
vsize: 839016
[startup+230.013 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 4245
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18094 0 1 0 21095 49 0 0 25 0 11 0 837681013 859152384 28503 4294967295 134512640 134569956 3221224368 3221214488 1131321898 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 28503 13086 16 0 209738 0
vsize: 839016
[startup+240.013 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 4245
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18094 0 1 0 22061 49 0 0 25 0 11 0 837681013 859152384 28843 4294967295 134512640 134569956 3221224368 3221213888 1131659546 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 28843 13086 16 0 209738 0
vsize: 839016
[startup+250.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4245
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18094 0 1 0 23018 49 0 0 25 0 11 0 837681013 859152384 29101 4294967295 134512640 134569956 3221224368 3221213888 1085632292 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 29101 13086 16 0 209738 0
vsize: 839016
[startup+260.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4245
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18094 0 1 0 23976 49 0 0 24 0 11 0 837681013 859152384 29394 4294967295 134512640 134569956 3221224368 3221214056 1131659396 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 29394 13086 16 0 209738 0
vsize: 839016
[startup+270.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4245
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18094 0 1 0 24944 49 0 0 25 0 11 0 837681013 859152384 29566 4294967295 134512640 134569956 3221224368 3221213696 1131664165 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 29566 13086 16 0 209738 0
vsize: 839016
[startup+280.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4245
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18094 0 1 0 25923 49 0 0 25 0 11 0 837681013 859152384 29725 4294967295 134512640 134569956 3221224368 3221214528 1131417232 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 29725 13086 16 0 209738 0
vsize: 839016
[startup+290.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4245
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18094 0 1 0 26892 49 0 0 25 0 11 0 837681013 859152384 29875 4294967295 134512640 134569956 3221224368 3221214024 1131664248 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 29875 13086 16 0 209738 0
vsize: 839016
[startup+300.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4245
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18094 0 1 0 27861 49 0 0 25 0 11 0 837681013 859152384 30021 4294967295 134512640 134569956 3221224368 3221214336 1131659580 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 30021 13086 16 0 209738 0
vsize: 839016
[startup+310.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4245
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18094 0 1 0 28830 49 0 0 25 0 11 0 837681013 859152384 30215 4294967295 134512640 134569956 3221224368 3221213908 1131664272 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 30215 13086 16 0 209738 0
vsize: 839016
[startup+320.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4245
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18094 0 1 0 29799 49 0 0 25 0 11 0 837681013 859152384 30368 4294967295 134512640 134569956 3221224368 3221214488 1131322373 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 30368 13086 16 0 209738 0
vsize: 839016
[startup+330.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4245
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18094 0 1 0 30758 49 0 0 24 0 11 0 837681013 859152384 30569 4294967295 134512640 134569956 3221224368 3221213796 1131664096 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 30569 13086 16 0 209738 0
vsize: 839016
[startup+340.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4245
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18094 0 1 0 31737 49 0 0 25 0 11 0 837681013 859152384 30681 4294967295 134512640 134569956 3221224368 3221214488 1131321849 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 30681 13086 16 0 209738 0
vsize: 839016
[startup+350.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4245
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18094 0 1 0 32706 49 0 0 25 0 11 0 837681013 859152384 30851 4294967295 134512640 134569956 3221224368 3221213936 1085679446 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 30851 13086 16 0 209738 0
vsize: 839016
[startup+360.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4245
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18094 0 1 0 33675 49 0 0 25 0 11 0 837681013 859152384 31006 4294967295 134512640 134569956 3221224368 3221214488 1131321636 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 31006 13086 16 0 209738 0
vsize: 839016
[startup+370.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4245
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18094 0 1 0 34654 50 0 0 25 0 11 0 837681013 859152384 31116 4294967295 134512640 134569956 3221224368 3221214248 1131664151 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 31116 13086 16 0 209738 0
vsize: 839016
[startup+380.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4245
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18094 0 1 0 35622 50 0 0 25 0 11 0 837681013 859152384 31270 4294967295 134512640 134569956 3221224368 3221213876 1085616768 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 31270 13086 16 0 209738 0
vsize: 839016
[startup+390.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4245
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18094 0 1 0 36590 50 0 0 25 0 11 0 837681013 859152384 31426 4294967295 134512640 134569956 3221224368 3221214576 1131578535 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 31426 13086 16 0 209738 0
vsize: 839016
[startup+400.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4245
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18094 0 1 0 37568 50 0 0 25 0 11 0 837681013 859152384 31582 4294967295 134512640 134569956 3221224368 3221214488 1131321849 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 31582 13086 16 0 209738 0
vsize: 839016
[startup+410.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4245
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18094 0 1 0 38536 50 0 0 25 0 11 0 837681013 859152384 31746 4294967295 134512640 134569956 3221224368 3221213656 1085632301 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 31746 13086 16 0 209738 0
vsize: 839016
[startup+420.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4245
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18094 0 1 0 39515 50 0 0 25 0 11 0 837681013 859152384 31856 4294967295 134512640 134569956 3221224368 3221214192 1131664273 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 31856 13086 16 0 209738 0
vsize: 839016
[startup+430.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4245
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18094 0 1 0 40483 50 0 0 25 0 11 0 837681013 859152384 32027 4294967295 134512640 134569956 3221224368 3221214488 1131322107 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 32027 13086 16 0 209738 0
vsize: 839016
[startup+440.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4245
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18094 0 1 0 41462 50 0 0 25 0 11 0 837681013 859152384 32137 4294967295 134512640 134569956 3221224368 3221213808 1131664248 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 32137 13086 16 0 209738 0
vsize: 839016
[startup+450.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4245
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18094 0 1 0 42431 50 0 0 25 0 11 0 837681013 859152384 32294 4294967295 134512640 134569956 3221224368 3221214016 1131664999 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 32294 13086 16 0 209738 0
vsize: 839016
[startup+460.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4245
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18095 0 1 0 43409 50 0 0 25 0 11 0 837681013 859152384 32468 4294967295 134512640 134569956 3221224368 3221214488 1131321505 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 32468 13086 16 0 209738 0
vsize: 839016
[startup+470.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4245
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18095 0 1 0 44377 50 0 0 25 0 11 0 837681013 859152384 32632 4294967295 134512640 134569956 3221224368 3221213528 1131664140 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 32632 13086 16 0 209738 0
vsize: 839016
[startup+480.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4245
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18095 0 1 0 45366 50 0 0 25 0 11 0 837681013 859152384 32681 4294967295 134512640 134569956 3221224368 3221214248 1131664248 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 32681 13086 16 0 209738 0
vsize: 839016
[startup+490.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4245
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18095 0 1 0 46366 50 0 0 25 0 11 0 837681013 859152384 32681 4294967295 134512640 134569956 3221224368 3221213904 1131665032 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 32681 13086 16 0 209738 0
vsize: 839016
[startup+500.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4245
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18095 0 1 0 47356 50 0 0 25 0 11 0 837681013 859152384 32784 4294967295 134512640 134569956 3221224368 3221213660 1085679260 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 32784 13086 16 0 209738 0
vsize: 839016
[startup+510.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4245
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18095 0 1 0 48355 50 0 0 25 0 11 0 837681013 859152384 32784 4294967295 134512640 134569956 3221224368 3221214076 1131664272 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 32784 13086 16 0 209738 0
vsize: 839016
[startup+520.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4245
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18095 0 1 0 49345 50 0 0 25 0 11 0 837681013 859152384 32784 4294967295 134512640 134569956 3221224368 3221213664 1085679321 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 32784 13086 16 0 209738 0
vsize: 839016
[startup+530.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4245
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18095 0 1 0 50346 50 0 0 25 0 11 0 837681013 859152384 32784 4294967295 134512640 134569956 3221224368 3221214156 1085679260 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 32784 13086 16 0 209738 0
vsize: 839016
[startup+540.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4245
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18095 0 1 0 51346 50 0 0 25 0 11 0 837681013 859152384 32784 4294967295 134512640 134569956 3221224368 3221214184 1131665007 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 32784 13086 16 0 209738 0
vsize: 839016
[startup+550.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4245
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18095 0 1 0 52337 50 0 0 25 0 11 0 837681013 859152384 32784 4294967295 134512640 134569956 3221224368 3221213856 1131664968 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 32784 13086 16 0 209738 0
vsize: 839016
[startup+560.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4245
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18095 0 1 0 53337 50 0 0 25 0 11 0 837681013 859152384 32784 4294967295 134512640 134569956 3221224368 3221213800 1131665020 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 32784 13086 16 0 209738 0
vsize: 839016
[startup+570.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4245
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18095 0 1 0 54336 50 0 0 25 0 11 0 837681013 859152384 32784 4294967295 134512640 134569956 3221224368 3221213780 1131665074 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 32784 13086 16 0 209738 0
vsize: 839016
[startup+580.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4245
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18095 0 1 0 55327 50 0 0 25 0 11 0 837681013 859152384 32784 4294967295 134512640 134569956 3221224368 3221213896 1131665026 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 32784 13086 16 0 209738 0
vsize: 839016
[startup+590.018 s]
Raw data (loadavg): 1.00 1.00 1.00 3/64 4245
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18095 0 1 0 56327 50 0 0 25 0 11 0 837681013 859152384 32784 4294967295 134512640 134569956 3221224368 3221213512 1131665012 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 32784 13086 16 0 209738 0
vsize: 839016
[startup+600.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4245
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18095 0 1 0 57326 50 0 0 25 0 11 0 837681013 859152384 32784 4294967295 134512640 134569956 3221224368 3221214656 1131669920 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 32784 13086 16 0 209738 0
vsize: 839016
[startup+610.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4245
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18095 0 1 0 58317 50 0 0 25 0 11 0 837681013 859152384 32784 4294967295 134512640 134569956 3221224368 3221213800 1131664212 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 32784 13086 16 0 209738 0
vsize: 839016
[startup+620.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4245
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18095 0 1 0 59317 50 0 0 25 0 11 0 837681013 859152384 32784 4294967295 134512640 134569956 3221224368 3221213908 1131665932 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 32784 13086 16 0 209738 0
vsize: 839016
[startup+630.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4245
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18095 0 1 0 60316 51 0 0 25 0 11 0 837681013 859152384 32784 4294967295 134512640 134569956 3221224368 3221214020 1131664272 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 32784 13086 16 0 209738 0
vsize: 839016
[startup+640.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4245
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18095 0 1 0 61307 51 0 0 25 0 11 0 837681013 859152384 32784 4294967295 134512640 134569956 3221224368 3221213456 1131664927 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 32784 13086 16 0 209738 0
vsize: 839016
[startup+650.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4245
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18095 0 1 0 62307 51 0 0 25 0 11 0 837681013 859152384 32784 4294967295 134512640 134569956 3221224368 3221214248 1131664282 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 32784 13086 16 0 209738 0
vsize: 839016
[startup+660.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4245
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18095 0 1 0 63307 51 0 0 25 0 11 0 837681013 859152384 32784 4294967295 134512640 134569956 3221224368 3221214240 1131665034 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 32784 13086 16 0 209738 0
vsize: 839016
[startup+670.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4245
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18095 0 1 0 64297 51 0 0 25 0 11 0 837681013 859152384 32784 4294967295 134512640 134569956 3221224368 3221213688 1131664864 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 32784 13086 16 0 209738 0
vsize: 839016
[startup+680.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4245
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18095 0 1 0 65297 51 0 0 25 0 11 0 837681013 859152384 32784 4294967295 134512640 134569956 3221224368 3221213908 1131665920 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 32784 13086 16 0 209738 0
vsize: 839016
[startup+690.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4245
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18095 0 1 0 66296 51 0 0 25 0 11 0 837681013 859152384 32784 4294967295 134512640 134569956 3221224368 3221214656 1131669404 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 32784 13086 16 0 209738 0
vsize: 839016
[startup+700.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4245
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18095 0 1 0 67287 51 0 0 25 0 11 0 837681013 859152384 32784 4294967295 134512640 134569956 3221224368 3221214208 1085679261 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 32784 13086 16 0 209738 0
vsize: 839016
[startup+710.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4245
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18095 0 1 0 68287 51 0 0 25 0 11 0 837681013 859152384 32784 4294967295 134512640 134569956 3221224368 3221214356 1131664208 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 32784 13086 16 0 209738 0
vsize: 839016
[startup+720.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4245
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18095 0 1 0 69286 52 0 0 25 0 11 0 837681013 859152384 32784 4294967295 134512640 134569956 3221224368 3221213960 1131664988 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 32784 13086 16 0 209738 0
vsize: 839016
[startup+730.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4245
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18095 0 1 0 70276 52 0 0 25 0 11 0 837681013 859152384 32784 4294967295 134512640 134569956 3221224368 3221214128 1131664978 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 32784 13086 16 0 209738 0
vsize: 839016
[startup+740.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4245
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18095 0 1 0 71276 52 0 0 25 0 11 0 837681013 859152384 32784 4294967295 134512640 134569956 3221224368 3221214408 1131665020 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 32784 13086 16 0 209738 0
vsize: 839016
[startup+750.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4245
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18095 0 1 0 72276 52 0 0 25 0 11 0 837681013 859152384 32784 4294967295 134512640 134569956 3221224368 3221213848 1131665007 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 32784 13086 16 0 209738 0
vsize: 839016
[startup+760.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4245
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18095 0 1 0 73266 52 0 0 25 0 11 0 837681013 859152384 32784 4294967295 134512640 134569956 3221224368 3221213176 1131665032 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 32784 13086 16 0 209738 0
vsize: 839016
[startup+770.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4245
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18095 0 1 0 74266 52 0 0 25 0 11 0 837681013 859152384 32784 4294967295 134512640 134569956 3221224368 3221213720 1085679762 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 32784 13086 16 0 209738 0
vsize: 839016
[startup+780.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4245
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18095 0 1 0 75266 52 0 0 25 0 11 0 837681013 859152384 32784 4294967295 134512640 134569956 3221224368 3221213912 1131665020 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 32784 13086 16 0 209738 0
vsize: 839016
[startup+790.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4245
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18095 0 1 0 76266 52 0 0 25 0 11 0 837681013 859152384 32784 4294967295 134512640 134569956 3221224368 3221213864 1131664300 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 32784 13086 16 0 209738 0
vsize: 839016
[startup+800.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4245
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18095 0 1 0 77256 52 0 0 25 0 11 0 837681013 859152384 32784 4294967295 134512640 134569956 3221224368 3221213992 1085679762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 32784 13086 16 0 209738 0
vsize: 839016
[startup+810.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4245
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18095 0 1 0 78256 52 0 0 25 0 11 0 837681013 859152384 32784 4294967295 134512640 134569956 3221224368 3221213584 1131664266 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 32784 13086 16 0 209738 0
vsize: 839016
[startup+820.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4245
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18095 0 1 0 79256 52 0 0 25 0 11 0 837681013 859152384 32784 4294967295 134512640 134569956 3221224368 3221214296 1131665020 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 32784 13086 16 0 209738 0
vsize: 839016
[startup+830.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4245
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18095 0 1 0 80246 52 0 0 25 0 11 0 837681013 859152384 32784 4294967295 134512640 134569956 3221224368 3221213856 1131664988 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 32784 13086 16 0 209738 0
vsize: 839016
[startup+840.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4245
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18095 0 1 0 81246 53 0 0 25 0 11 0 837681013 859152384 32784 4294967295 134512640 134569956 3221224368 3221213856 1131664236 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 32784 13086 16 0 209738 0
vsize: 839016
[startup+850.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4245
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18095 0 1 0 82246 53 0 0 25 0 11 0 837681013 859152384 32784 4294967295 134512640 134569956 3221224368 3221214080 1131664282 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 32784 13086 16 0 209738 0
vsize: 839016
[startup+860.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4245
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18095 0 1 0 83237 53 0 0 25 0 11 0 837681013 859152384 32784 4294967295 134512640 134569956 3221224368 3221214296 1131664968 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 32784 13086 16 0 209738 0
vsize: 839016
[startup+870.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4245
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18095 0 1 0 84236 53 0 0 25 0 11 0 837681013 859152384 32784 4294967295 134512640 134569956 3221224368 3221213496 1085679747 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 32784 13086 16 0 209738 0
vsize: 839016
[startup+880.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4245
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18095 0 1 0 85236 53 0 0 25 0 11 0 837681013 859152384 32784 4294967295 134512640 134569956 3221224368 3221214400 1131665941 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 32784 13086 16 0 209738 0
vsize: 839016
[startup+890.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4245
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18095 0 1 0 86227 53 0 0 25 0 11 0 837681013 859152384 32784 4294967295 134512640 134569956 3221224368 3221213576 1131664932 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 32784 13086 16 0 209738 0
vsize: 839016
[startup+900.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4245
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18095 0 1 0 87227 53 0 0 25 0 11 0 837681013 859152384 32784 4294967295 134512640 134569956 3221224368 3221214136 1131664300 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 32784 13086 16 0 209738 0
vsize: 839016
[startup+910.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4245
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18095 0 1 0 88227 53 0 0 25 0 11 0 837681013 859152384 32784 4294967295 134512640 134569956 3221224368 3221213904 1131665943 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 32784 13086 16 0 209738 0
vsize: 839016
[startup+920.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4245
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18095 0 1 0 89227 53 0 0 25 0 11 0 837681013 859152384 32784 4294967295 134512640 134569956 3221224368 3221214072 1131664988 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 32784 13086 16 0 209738 0
vsize: 839016
[startup+930.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4245
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18095 0 1 0 90227 53 0 0 25 0 11 0 837681013 859152384 32784 4294967295 134512640 134569956 3221224368 3221214352 1131664873 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 32784 13086 16 0 209738 0
vsize: 839016
[startup+940.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4245
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18095 0 1 0 91218 53 0 0 25 0 11 0 837681013 859152384 32784 4294967295 134512640 134569956 3221224368 3221214248 1131664212 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 32784 13086 16 0 209738 0
vsize: 839016
[startup+950.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4245
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18095 0 1 0 92218 53 0 0 25 0 11 0 837681013 859152384 32784 4294967295 134512640 134569956 3221224368 3221214068 1131665952 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 32784 13086 16 0 209738 0
vsize: 839016
[startup+960.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4245
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18095 0 1 0 93217 53 0 0 25 0 11 0 837681013 859152384 32784 4294967295 134512640 134569956 3221224368 3221213688 1131664999 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 32784 13086 16 0 209738 0
vsize: 839016
[startup+970.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4245
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18095 0 1 0 94216 54 0 0 25 0 11 0 837681013 859152384 32785 4294967295 134512640 134569956 3221224368 3221214500 1131664267 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 32785 13086 16 0 209738 0
vsize: 839016
[startup+980.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4245
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18095 0 1 0 95216 54 0 0 25 0 11 0 837681013 859152384 32785 4294967295 134512640 134569956 3221224368 3221213988 1131665920 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 32785 13086 16 0 209738 0
vsize: 839016
[startup+990.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4245
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18095 0 1 0 96206 54 0 0 25 0 11 0 837681013 859152384 32785 4294967295 134512640 134569956 3221224368 3221214648 1131659364 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 32785 13086 16 0 209738 0
vsize: 839016
[startup+1000.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4245
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18095 0 1 0 97206 54 0 0 25 0 11 0 837681013 859152384 32785 4294967295 134512640 134569956 3221224368 3221214368 1131659535 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 32785 13086 16 0 209738 0
vsize: 839016
[startup+1010.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4245
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18095 0 1 0 98195 54 0 0 25 0 11 0 837681013 859152384 32835 4294967295 134512640 134569956 3221224368 3221214392 1131664282 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 32835 13086 16 0 209738 0
vsize: 839016
[startup+1020.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4245
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18095 0 1 0 99195 54 0 0 25 0 11 0 837681013 859152384 32835 4294967295 134512640 134569956 3221224368 3221214096 1131665032 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 32835 13086 16 0 209738 0
vsize: 839016
[startup+1030.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4245
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18095 0 1 0 100195 54 0 0 25 0 11 0 837681013 859152384 32835 4294967295 134512640 134569956 3221224368 3221214112 1131664230 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 32835 13086 16 0 209738 0
vsize: 839016
[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4245
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18095 0 1 0 101184 54 0 0 25 0 11 0 837681013 859152384 32933 4294967295 134512640 134569956 3221224368 3221214608 1131664810 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 32933 13086 16 0 209738 0
vsize: 839016
[startup+1050.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4245
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18095 0 1 0 102172 54 0 0 25 0 11 0 837681013 859152384 33033 4294967295 134512640 134569956 3221224368 3221214500 1131664272 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 33033 13086 16 0 209738 0
vsize: 839016
[startup+1060.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4245
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18095 0 1 0 103160 54 0 0 25 0 11 0 837681013 859152384 33179 4294967295 134512640 134569956 3221224368 3221214456 1131409198 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 33179 13086 16 0 209738 0
vsize: 839016
[startup+1070.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4245
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18095 0 1 0 104133 54 0 0 25 0 11 0 837681013 859152384 33517 4294967295 134512640 134569956 3221224368 3221214360 1085679454 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 33517 13086 16 0 209738 0
vsize: 839016
[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4245
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18095 0 1 0 105121 54 0 0 25 0 11 0 837681013 859152384 33613 4294967295 134512640 134569956 3221224368 3221214488 1131665023 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 33613 13086 16 0 209738 0
vsize: 839016
[startup+1090.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4245
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18095 0 1 0 106107 54 0 0 25 0 11 0 837681013 859152384 33861 4294967295 134512640 134569956 3221224368 3221213776 1131664944 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 33861 13086 16 0 209738 0
vsize: 839016
[startup+1100.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4245
Raw data (stat): 4235 (java) S 4234 24821 24820 0 -1 0 18095 0 1 0 107089 55 0 0 25 0 11 0 837681013 859152384 33947 4294967295 134512640 134569956 3221224368 3221213176 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 33947 13086 16 0 209738 0
vsize: 839016
[startup+1110.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4245
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18095 0 1 0 108071 55 0 0 25 0 11 0 837681013 859152384 34220 4294967295 134512640 134569956 3221224368 3221214220 1085632316 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 34220 13086 16 0 209738 0
vsize: 839016
[startup+1120.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4245
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18095 0 1 0 109059 55 0 0 25 0 11 0 837681013 859152384 34355 4294967295 134512640 134569956 3221224368 3221214380 1131665932 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 34355 13086 16 0 209738 0
vsize: 839016
[startup+1130.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4245
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18095 0 1 0 110048 55 0 0 25 0 11 0 837681013 859152384 34492 4294967295 134512640 134569956 3221224368 3221213776 1131664337 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 34492 13086 16 0 209738 0
vsize: 839016
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4245
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18095 0 1 0 111036 55 0 0 25 0 11 0 837681013 859152384 34627 4294967295 134512640 134569956 3221224368 3221214380 1131664996 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 34627 13086 16 0 209738 0
vsize: 839016
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4245
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18095 0 1 0 112023 55 0 0 25 0 11 0 837681013 859152384 34764 4294967295 134512640 134569956 3221224368 3221214420 1131664768 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 34764 13086 16 0 209738 0
vsize: 839016
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4245
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18095 0 1 0 112997 55 0 0 25 0 11 0 837681013 859152384 35197 4294967295 134512640 134569956 3221224368 3221214164 1085632316 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 35197 13086 16 0 209738 0
vsize: 839016
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4245
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18095 0 1 0 113986 55 0 0 25 0 11 0 837681013 859152384 35375 4294967295 134512640 134569956 3221224368 3221213504 1131664333 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 35375 13086 16 0 209738 0
vsize: 839016
[startup+1180.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4245
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18095 0 1 0 114975 55 0 0 25 0 11 0 837681013 859152384 35375 4294967295 134512640 134569956 3221224368 3221213496 1131664241 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 35375 13086 16 0 209738 0
vsize: 839016
[startup+1190.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4245
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18095 0 1 0 115963 55 0 0 25 0 11 0 837681013 859152384 35509 4294967295 134512640 134569956 3221224368 3221214648 1131659329 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 35509 13086 16 0 209738 0
vsize: 839016
[startup+1200.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4245
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18095 0 1 0 116948 55 0 0 25 0 11 0 837681013 859152384 35681 4294967295 134512640 134569956 3221224368 3221214272 1131665020 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 35681 13086 16 0 209738 0
vsize: 839016
[startup+1210.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4245
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18095 0 1 0 117933 55 0 0 25 0 11 0 837681013 859152384 36041 4294967295 134512640 134569956 3221224368 3221214672 1131455095 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 36041 13086 16 0 209738 0
vsize: 839016
[startup+1220.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4245
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18095 0 1 0 118922 55 0 0 25 0 11 0 837681013 859152384 36041 4294967295 134512640 134569956 3221224368 3221213728 1131664273 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209754 36041 13086 16 0 209738 0
vsize: 839016
[startup+1230.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4245
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18095 0 1 0 119909 55 0 0 25 0 11 0 837681013 859152384 36176 4294967295 134512640 134569956 3221224368 3221214572 1131206947 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 36176 13086 16 0 209738 0
vsize: 839016
[startup+1240.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 4245
Raw data (stat): 4235 (java) R 4234 24821 24820 0 -1 0 18095 0 1 0 120896 55 0 0 25 0 11 0 837681013 859152384 36313 4294967295 134512640 134569956 3221224368 3221214488 1131665032 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209754 36313 13086 16 0 209738 0
vsize: 839016
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.14 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 4247
Raw data (stat): 4235 (java) Z 4234 24821 24820 0 -1 1036 18095 16624 1 0 120899 56 2710 37 25 0 1 0 837681013 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1240.14
CPU time (s): 1237.04
CPU user time (s): 1236.1
CPU system time (s): 0.936857
CPU usage (%): 99.75
Max. virtual memory (Kb): 841192
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####