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/MIPLIB/miplib/normalized-mps-v2-13-7-dcmulti.opb
MD5SUM	6ffc4ed72f4dd993b121ae0a2045731e
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	9505
Biggest coefficient in the objective function	697303040
Number of bits for the biggest coefficient in the objective function	30
Sum of the numbers in the objective function	66656504525
Number of bits of the sum of numbers in the objective function	36
Biggest number in a constraint	697303040
Number of bits of the biggest number in a constraint	30
Biggest sum of numbers in a constraint	66656504525
Number of bits of the biggest sum of numbers	36
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.087986
Number of variables	9535
Total number of constraints	365
Number of constraints which are clauses	27
Number of constraints which are cardinality constraints (but not clauses)	80
Number of constraints which are nor clauses,nor cardinality constraints	258
Minimum length of a constraint	1
Maximum length of a constraint	280
Trace number 29906

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-05-25 12:39:00 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21302 boxname=wulflinc6 idbench=1290 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  6ffc4ed72f4dd993b121ae0a2045731e  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-dcmulti.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-dcmulti.opb
IDLAUNCH: 21302
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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.042
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:        699180 kB
Buffers:         32364 kB
Cached:         278120 kB
SwapCached:        412 kB
Active:          82860 kB
Inactive:       229940 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        698928 kB
SwapTotal:     2097136 kB
SwapFree:      2096036 kB
Dirty:              44 kB
Writeback:           0 kB
Mapped:           5692 kB
Slab:            17032 kB
Committed_AS:    63720 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 12:59:33 (client local time) WITH STATUS 143 IN 1228 SECONDS
stats: 21302 7 1228 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/wulflinc6/normalized-mps-v2-13-7-dcmulti.opb
c reading problem ... done. Time 32.07 ms.
c #vars     9535
c #constraints  368
c starts	: 7
c conflicts	: 2303
c decisions	: 29910
c propagations	: 181830
c inspects	: 2553291
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 2303
c root simplifications	: 360
s UNKNOWN
c Total CPU time (ms) : 1229.241
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.98 0.99 2/54 7073
Raw data (stat): 7073 (runsolver) D 7072 25568 25567 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 780721799 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 3225161850 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0035 s]
Raw data (loadavg): 0.93 0.98 0.99 2/63 7082
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18002 0 1 0 874 38 0 0 16 0 10 0 780721799 853864448 19386 4294967295 134512640 134569956 3221224368 3221214644 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208463 19386 13086 16 0 208447 0
vsize: 833852
[startup+20.0051 s]
Raw data (loadavg): 0.94 0.98 0.99 2/63 7082
Raw data (stat): 7073 (java) S 7072 25568 25567 0 -1 0 18003 0 1 0 1770 38 0 0 21 0 10 0 780721799 853819392 19867 4294967295 134512640 134569956 3221224368 3221213704 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208452 19868 13086 16 0 208436 0
vsize: 833808
[startup+30.0063 s]
Raw data (loadavg): 0.95 0.98 0.99 2/63 7082
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18003 0 1 0 2669 39 0 0 23 0 10 0 780721799 853819392 20353 4294967295 134512640 134569956 3221224368 3221214568 1130887239 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208452 20353 13086 16 0 208436 0
vsize: 833808
[startup+40.0069 s]
Raw data (loadavg): 1.04 1.00 1.00 2/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18071 0 1 0 3458 40 0 0 25 0 11 0 780721799 857407488 21994 4294967295 134512640 134569956 3221224368 3221214580 1130917793 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209328 21994 13086 16 0 209312 0
vsize: 837312
[startup+50.008 s]
Raw data (loadavg): 1.03 1.00 1.00 2/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18076 0 1 0 4336 40 0 0 19 0 11 0 780721799 861564928 23591 4294967295 134512640 134569956 3221224368 3221214592 1131451414 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210343 23591 13086 16 0 210327 0
vsize: 841372
[startup+60.0086 s]
Raw data (loadavg): 1.10 1.02 1.00 2/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18076 0 1 0 5281 40 0 0 18 0 11 0 780721799 858394624 22858 4294967295 134512640 134569956 3221224368 3221214512 1131462015 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209569 22858 13086 16 0 209553 0
vsize: 838276
[startup+70.0094 s]
Raw data (loadavg): 1.08 1.02 1.00 2/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18077 0 1 0 6226 41 0 0 21 0 11 0 780721799 858296320 23237 4294967295 134512640 134569956 3221224368 3221214752 1131215341 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209545 23237 13086 16 0 209529 0
vsize: 838180
[startup+80.011 s]
Raw data (loadavg): 1.07 1.01 1.00 2/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18077 0 1 0 7162 41 0 0 19 0 11 0 780721799 858296320 23237 4294967295 134512640 134569956 3221224368 3221214560 1131340263 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209545 23237 13086 16 0 209529 0
vsize: 838180
[startup+90.0121 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18077 0 1 0 8078 41 0 0 20 0 11 0 780721799 858296320 23301 4294967295 134512640 134569956 3221224368 3221214560 1131340103 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209545 23301 13086 16 0 209529 0
vsize: 838180
[startup+100.012 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18077 0 1 0 9007 41 0 0 23 0 11 0 780721799 858296320 23679 4294967295 134512640 134569956 3221224368 3221214672 1131271041 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209545 23679 13086 16 0 209529 0
vsize: 838180
[startup+110.013 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18077 0 1 0 9957 42 0 0 25 0 11 0 780721799 858296320 24104 4294967295 134512640 134569956 3221224368 3221214560 1131340397 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209545 24104 13086 16 0 209529 0
vsize: 838180
[startup+120.015 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18077 0 1 0 10919 42 0 0 19 0 11 0 780721799 858296320 24143 4294967295 134512640 134569956 3221224368 3221214560 1131339937 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209545 24143 13086 16 0 209529 0
vsize: 838180
[startup+130.015 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18077 0 1 0 11887 42 0 0 22 0 11 0 780721799 858296320 24304 4294967295 134512640 134569956 3221224368 3221214560 1131340111 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209545 24304 13086 16 0 209529 0
vsize: 838180
[startup+140.015 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18077 0 1 0 12865 43 0 0 17 0 11 0 780721799 858296320 24380 4294967295 134512640 134569956 3221224368 3221214664 1131419839 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209545 24380 13086 16 0 209529 0
vsize: 838180
[startup+150.019 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18077 0 1 0 13849 43 0 0 24 0 11 0 780721799 858296320 24433 4294967295 134512640 134569956 3221224368 3221214560 1131340387 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209545 24433 13086 16 0 209529 0
vsize: 838180
[startup+160.02 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18077 0 1 0 14833 43 0 0 20 0 11 0 780721799 858296320 24485 4294967295 134512640 134569956 3221224368 3221214560 1131340387 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209545 24485 13086 16 0 209529 0
vsize: 838180
[startup+170.02 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18077 0 1 0 15818 43 0 0 18 0 11 0 780721799 858296320 24539 4294967295 134512640 134569956 3221224368 3221214560 1131339937 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209545 24539 13086 16 0 209529 0
vsize: 838180
[startup+180.02 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18077 0 1 0 16804 44 0 0 16 0 11 0 780721799 858296320 24575 4294967295 134512640 134569956 3221224368 3221214560 1131339884 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209545 24575 13086 16 0 209529 0
vsize: 838180
[startup+190.021 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18077 0 1 0 17792 45 0 0 24 0 11 0 780721799 858296320 24602 4294967295 134512640 134569956 3221224368 3221214560 1131340892 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209545 24602 13086 16 0 209529 0
vsize: 838180
[startup+200.021 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18077 0 1 0 18779 45 0 0 25 0 11 0 780721799 858296320 24631 4294967295 134512640 134569956 3221224368 3221214664 1131415122 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209545 24631 13086 16 0 209529 0
vsize: 838180
[startup+210.021 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18077 0 1 0 19765 45 0 0 25 0 11 0 780721799 858296320 24660 4294967295 134512640 134569956 3221224368 3221214832 1131213657 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209545 24660 13086 16 0 209529 0
vsize: 838180
[startup+220.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18077 0 1 0 20751 45 0 0 24 0 11 0 780721799 858296320 24686 4294967295 134512640 134569956 3221224368 3221214560 1131340901 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209545 24686 13086 16 0 209529 0
vsize: 838180
[startup+230.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18077 0 1 0 21738 45 0 0 25 0 11 0 780721799 858296320 24724 4294967295 134512640 134569956 3221224368 3221214560 1131340091 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209545 24724 13086 16 0 209529 0
vsize: 838180
[startup+240.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18077 0 1 0 22726 45 0 0 25 0 11 0 780721799 858296320 24763 4294967295 134512640 134569956 3221224368 3221214560 1131340387 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209545 24763 13086 16 0 209529 0
vsize: 838180
[startup+250.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18077 0 1 0 23716 46 0 0 25 0 11 0 780721799 858296320 24795 4294967295 134512640 134569956 3221224368 3221214560 1131340387 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209545 24795 13086 16 0 209529 0
vsize: 838180
[startup+260.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18077 0 1 0 24705 46 0 0 25 0 11 0 780721799 858296320 24816 4294967295 134512640 134569956 3221224368 3221214216 1131617105 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209545 24816 13086 16 0 209529 0
vsize: 838180
[startup+270.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18077 0 1 0 25696 46 0 0 25 0 11 0 780721799 858296320 24835 4294967295 134512640 134569956 3221224368 3221214560 1131340387 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209545 24835 13086 16 0 209529 0
vsize: 838180
[startup+280.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18077 0 1 0 26686 46 0 0 25 0 11 0 780721799 858296320 24856 4294967295 134512640 134569956 3221224368 3221214560 1131340537 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209545 24856 13086 16 0 209529 0
vsize: 838180
[startup+290.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18077 0 1 0 27676 46 0 0 25 0 11 0 780721799 858296320 24874 4294967295 134512640 134569956 3221224368 3221214560 1131340387 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209545 24874 13086 16 0 209529 0
vsize: 838180
[startup+300.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18077 0 1 0 28666 46 0 0 25 0 11 0 780721799 858296320 24893 4294967295 134512640 134569956 3221224368 3221214664 1131415014 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209545 24893 13086 16 0 209529 0
vsize: 838180
[startup+310.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18077 0 1 0 29657 46 0 0 25 0 11 0 780721799 858296320 24911 4294967295 134512640 134569956 3221224368 3221214472 1131242300 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209545 24911 13086 16 0 209529 0
vsize: 838180
[startup+320.027 s]
Raw data (loadavg): 1.00 1.00 1.00 3/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18077 0 1 0 30647 46 0 0 25 0 11 0 780721799 858296320 24928 4294967295 134512640 134569956 3221224368 3221214664 1131417070 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209545 24928 13086 16 0 209529 0
vsize: 838180
[startup+330.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18077 0 1 0 31637 47 0 0 25 0 11 0 780721799 858296320 24946 4294967295 134512640 134569956 3221224368 3221214560 1131339873 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209545 24946 13086 16 0 209529 0
vsize: 838180
[startup+340.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18077 0 1 0 32626 47 0 0 17 0 11 0 780721799 858296320 24963 4294967295 134512640 134569956 3221224368 3221214560 1131339945 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209545 24963 13086 16 0 209529 0
vsize: 838180
[startup+350.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18077 0 1 0 33617 48 0 0 24 0 11 0 780721799 858296320 24980 4294967295 134512640 134569956 3221224368 3221214664 1131416053 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209545 24980 13086 16 0 209529 0
vsize: 838180
[startup+360.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18077 0 1 0 34607 48 0 0 22 0 11 0 780721799 858296320 24994 4294967295 134512640 134569956 3221224368 3221214560 1131339902 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209545 24994 13086 16 0 209529 0
vsize: 838180
[startup+370.03 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18077 0 1 0 35597 48 0 0 21 0 11 0 780721799 858296320 25011 4294967295 134512640 134569956 3221224368 3221214664 1131416257 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209545 25011 13086 16 0 209529 0
vsize: 838180
[startup+380.031 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18077 0 1 0 36587 49 0 0 20 0 11 0 780721799 858296320 25026 4294967295 134512640 134569956 3221224368 3221214504 1131340384 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209545 25026 13086 16 0 209529 0
vsize: 838180
[startup+390.031 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18077 0 1 0 37577 50 0 0 17 0 11 0 780721799 858296320 25043 4294967295 134512640 134569956 3221224368 3221214608 1131416063 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209545 25043 13086 16 0 209529 0
vsize: 838180
[startup+400.036 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18077 0 1 0 38567 50 0 0 16 0 11 0 780721799 858296320 25055 4294967295 134512640 134569956 3221224368 3221214560 1131340378 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209545 25055 13086 16 0 209529 0
vsize: 838180
[startup+410.037 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18077 0 1 0 39558 50 0 0 24 0 11 0 780721799 858296320 25070 4294967295 134512640 134569956 3221224368 3221214560 1131339902 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209545 25070 13086 16 0 209529 0
vsize: 838180
[startup+420.037 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18077 0 1 0 40547 51 0 0 22 0 11 0 780721799 858296320 25084 4294967295 134512640 134569956 3221224368 3221214560 1131340387 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209545 25084 13086 16 0 209529 0
vsize: 838180
[startup+430.039 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18077 0 1 0 41536 51 0 0 21 0 11 0 780721799 858296320 25105 4294967295 134512640 134569956 3221224368 3221214560 1131340437 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209545 25105 13086 16 0 209529 0
vsize: 838180
[startup+440.04 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18077 0 1 0 42526 51 0 0 20 0 11 0 780721799 858296320 25120 4294967295 134512640 134569956 3221224368 3221214664 1131417010 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209545 25120 13086 16 0 209529 0
vsize: 838180
[startup+450.04 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18077 0 1 0 43514 52 0 0 19 0 11 0 780721799 858296320 25132 4294967295 134512640 134569956 3221224368 3221214608 1131417074 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209545 25132 13086 16 0 209529 0
vsize: 838180
[startup+460.041 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18077 0 1 0 44501 52 0 0 19 0 11 0 780721799 858296320 25157 4294967295 134512640 134569956 3221224368 3221214504 1131340906 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209545 25157 13086 16 0 209529 0
vsize: 838180
[startup+470.042 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18077 0 1 0 45487 53 0 0 18 0 11 0 780721799 858296320 25178 4294967295 134512640 134569956 3221224368 3221214608 1131416066 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209545 25178 13086 16 0 209529 0
vsize: 838180
[startup+480.042 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18077 0 1 0 46474 53 0 0 17 0 11 0 780721799 858296320 25202 4294967295 134512640 134569956 3221224368 3221214608 1131417018 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209545 25202 13086 16 0 209529 0
vsize: 838180
[startup+490.043 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18077 0 1 0 47464 53 0 0 25 0 11 0 780721799 858296320 25243 4294967295 134512640 134569956 3221224368 3221214608 1131415002 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209545 25243 13086 16 0 209529 0
vsize: 838180
[startup+500.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18077 0 1 0 48454 54 0 0 24 0 11 0 780721799 858296320 25274 4294967295 134512640 134569956 3221224368 3221214504 1131339873 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209545 25274 13086 16 0 209529 0
vsize: 838180
[startup+510.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18077 0 1 0 49445 54 0 0 23 0 11 0 780721799 858296320 25286 4294967295 134512640 134569956 3221224368 3221214504 1131340906 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209545 25286 13086 16 0 209529 0
vsize: 838180
[startup+520.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18077 0 1 0 50436 54 0 0 23 0 11 0 780721799 858296320 25300 4294967295 134512640 134569956 3221224368 3221214504 1131340091 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209545 25300 13086 16 0 209529 0
vsize: 838180
[startup+530.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18077 0 1 0 51426 55 0 0 21 0 11 0 780721799 858296320 25312 4294967295 134512640 134569956 3221224368 3221214504 1131340076 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209545 25312 13086 16 0 209529 0
vsize: 838180
[startup+540.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18077 0 1 0 52417 55 0 0 23 0 11 0 780721799 858296320 25325 4294967295 134512640 134569956 3221224368 3221214504 1131340812 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209545 25325 13086 16 0 209529 0
vsize: 838180
[startup+550.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18077 0 1 0 53408 55 0 0 21 0 11 0 780721799 858296320 25338 4294967295 134512640 134569956 3221224368 3221214608 1131419813 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209545 25338 13086 16 0 209529 0
vsize: 838180
[startup+560.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18077 0 1 0 54398 56 0 0 20 0 11 0 780721799 858296320 25352 4294967295 134512640 134569956 3221224368 3221214504 1131340387 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209545 25352 13086 16 0 209529 0
vsize: 838180
[startup+570.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18077 0 1 0 55389 56 0 0 19 0 11 0 780721799 858296320 25365 4294967295 134512640 134569956 3221224368 3221214504 1131340827 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209545 25365 13086 16 0 209529 0
vsize: 838180
[startup+580.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18077 0 1 0 56380 56 0 0 19 0 11 0 780721799 858296320 25377 4294967295 134512640 134569956 3221224368 3221214504 1131340387 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209545 25377 13086 16 0 209529 0
vsize: 838180
[startup+590.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18077 0 1 0 57371 57 0 0 18 0 11 0 780721799 858296320 25388 4294967295 134512640 134569956 3221224368 3221214416 1131241850 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209545 25388 13086 16 0 209529 0
vsize: 838180
[startup+600.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18077 0 1 0 58362 57 0 0 17 0 11 0 780721799 858296320 25398 4294967295 134512640 134569956 3221224368 3221214608 1131419880 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209545 25398 13086 16 0 209529 0
vsize: 838180
[startup+610.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18077 0 1 0 59353 58 0 0 17 0 11 0 780721799 858296320 25411 4294967295 134512640 134569956 3221224368 3221214248 1131636936 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209545 25411 13086 16 0 209529 0
vsize: 838180
[startup+620.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18077 0 1 0 60345 58 0 0 25 0 11 0 780721799 858296320 25419 4294967295 134512640 134569956 3221224368 3221214504 1131339902 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209545 25419 13086 16 0 209529 0
vsize: 838180
[startup+630.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18077 0 1 0 61334 59 0 0 16 0 11 0 780721799 858296320 25432 4294967295 134512640 134569956 3221224368 3221214608 1131416225 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209545 25432 13086 16 0 209529 0
vsize: 838180
[startup+640.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18077 0 1 0 62326 59 0 0 25 0 11 0 780721799 858296320 25442 4294967295 134512640 134569956 3221224368 3221214608 1131415014 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209545 25442 13086 16 0 209529 0
vsize: 838180
[startup+650.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18077 0 1 0 63317 59 0 0 24 0 11 0 780721799 858296320 25453 4294967295 134512640 134569956 3221224368 3221214504 1131340606 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209545 25453 13086 16 0 209529 0
vsize: 838180
[startup+660.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18077 0 1 0 64308 59 0 0 24 0 11 0 780721799 858296320 25463 4294967295 134512640 134569956 3221224368 3221214504 1131339902 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209545 25463 13086 16 0 209529 0
vsize: 838180
[startup+670.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18077 0 1 0 65299 60 0 0 21 0 11 0 780721799 858296320 25474 4294967295 134512640 134569956 3221224368 3221214416 1131241845 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209545 25474 13086 16 0 209529 0
vsize: 838180
[startup+680.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18077 0 1 0 66290 60 0 0 22 0 11 0 780721799 858296320 25484 4294967295 134512640 134569956 3221224368 3221214504 1131340606 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209545 25484 13086 16 0 209529 0
vsize: 838180
[startup+690.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18077 0 1 0 67281 60 0 0 20 0 11 0 780721799 858296320 25495 4294967295 134512640 134569956 3221224368 3221214608 1131415005 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209545 25495 13086 16 0 209529 0
vsize: 838180
[startup+700.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18077 0 1 0 68272 61 0 0 21 0 11 0 780721799 858296320 25505 4294967295 134512640 134569956 3221224368 3221214504 1131340866 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209545 25505 13086 16 0 209529 0
vsize: 838180
[startup+710.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18077 0 1 0 69263 61 0 0 25 0 11 0 780721799 858296320 25516 4294967295 134512640 134569956 3221224368 3221214400 1131617169 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209545 25516 13086 16 0 209529 0
vsize: 838180
[startup+720.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18077 0 1 0 70254 61 0 0 25 0 11 0 780721799 858296320 25524 4294967295 134512640 134569956 3221224368 3221214608 1131414835 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209545 25524 13086 16 0 209529 0
vsize: 838180
[startup+730.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18077 0 1 0 71245 61 0 0 25 0 11 0 780721799 858296320 25535 4294967295 134512640 134569956 3221224368 3221214608 1131415005 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209545 25535 13086 16 0 209529 0
vsize: 838180
[startup+740.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18077 0 1 0 72238 62 0 0 25 0 11 0 780721799 858296320 25545 4294967295 134512640 134569956 3221224368 3221214352 1131638115 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209545 25545 13086 16 0 209529 0
vsize: 838180
[startup+750.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18077 0 1 0 73229 62 0 0 25 0 11 0 780721799 858296320 25553 4294967295 134512640 134569956 3221224368 3221214504 1131340448 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209545 25553 13086 16 0 209529 0
vsize: 838180
[startup+760.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18077 0 1 0 74220 62 0 0 25 0 11 0 780721799 858296320 25564 4294967295 134512640 134569956 3221224368 3221214504 1131339945 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209545 25564 13086 16 0 209529 0
vsize: 838180
[startup+770.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18077 0 1 0 75211 62 0 0 25 0 11 0 780721799 858296320 25574 4294967295 134512640 134569956 3221224368 3221214504 1131340091 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209545 25574 13086 16 0 209529 0
vsize: 838180
[startup+780.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18077 0 1 0 76202 62 0 0 25 0 11 0 780721799 858296320 25583 4294967295 134512640 134569956 3221224368 3221214608 1131416221 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209545 25583 13086 16 0 209529 0
vsize: 838180
[startup+790.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18077 0 1 0 77194 63 0 0 25 0 11 0 780721799 858296320 25593 4294967295 134512640 134569956 3221224368 3221214504 1131340873 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209545 25593 13086 16 0 209529 0
vsize: 838180
[startup+800.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18077 0 1 0 78186 63 0 0 25 0 11 0 780721799 858296320 25602 4294967295 134512640 134569956 3221224368 3221214608 1131415122 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209545 25602 13086 16 0 209529 0
vsize: 838180
[startup+810.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18077 0 1 0 79177 63 0 0 25 0 11 0 780721799 858296320 25610 4294967295 134512640 134569956 3221224368 3221214504 1131340215 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209545 25610 13086 16 0 209529 0
vsize: 838180
[startup+820.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18077 0 1 0 80169 63 0 0 25 0 11 0 780721799 858296320 25620 4294967295 134512640 134569956 3221224368 3221214608 1131419850 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209545 25620 13086 16 0 209529 0
vsize: 838180
[startup+830.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18077 0 1 0 81160 63 0 0 25 0 11 0 780721799 858296320 25629 4294967295 134512640 134569956 3221224368 3221214208 1131617080 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209545 25629 13086 16 0 209529 0
vsize: 838180
[startup+840.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18077 0 1 0 82151 63 0 0 20 0 11 0 780721799 858296320 25637 4294967295 134512640 134569956 3221224368 3221214608 1131415005 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209545 25637 13086 16 0 209529 0
vsize: 838180
[startup+850.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18077 0 1 0 83141 64 0 0 25 0 11 0 780721799 858296320 25648 4294967295 134512640 134569956 3221224368 3221214608 1131415002 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209545 25648 13086 16 0 209529 0
vsize: 838180
[startup+860.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18077 0 1 0 84133 64 0 0 25 0 11 0 780721799 858296320 25656 4294967295 134512640 134569956 3221224368 3221214608 1131417082 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209545 25656 13086 16 0 209529 0
vsize: 838180
[startup+870.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18077 0 1 0 85124 64 0 0 25 0 11 0 780721799 858296320 25667 4294967295 134512640 134569956 3221224368 3221214504 1131340387 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209545 25667 13086 16 0 209529 0
vsize: 838180
[startup+880.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18077 0 1 0 86116 65 0 0 25 0 11 0 780721799 858296320 25673 4294967295 134512640 134569956 3221224368 3221214608 1131419912 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209545 25673 13086 16 0 209529 0
vsize: 838180
[startup+890.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18077 0 1 0 87108 65 0 0 25 0 11 0 780721799 858296320 25683 4294967295 134512640 134569956 3221224368 3221214308 1085616771 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209545 25683 13086 16 0 209529 0
vsize: 838180
[startup+900.079 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18077 0 1 0 88099 65 0 0 25 0 11 0 780721799 858296320 25692 4294967295 134512640 134569956 3221224368 3221214352 1131641029 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209545 25692 13086 16 0 209529 0
vsize: 838180
[startup+910.079 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18077 0 1 0 89091 65 0 0 25 0 11 0 780721799 858296320 25700 4294967295 134512640 134569956 3221224368 3221214604 1131339852 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209545 25700 13086 16 0 209529 0
vsize: 838180
[startup+920.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18077 0 1 0 90082 65 0 0 25 0 11 0 780721799 858296320 25708 4294967295 134512640 134569956 3221224368 3221214504 1131340359 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209545 25708 13086 16 0 209529 0
vsize: 838180
[startup+930.08 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18077 0 1 0 91074 65 0 0 25 0 11 0 780721799 858296320 25717 4294967295 134512640 134569956 3221224368 3221214312 1085679494 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209545 25717 13086 16 0 209529 0
vsize: 838180
[startup+940.081 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18077 0 1 0 92066 66 0 0 25 0 11 0 780721799 858296320 25725 4294967295 134512640 134569956 3221224368 3221214216 1131617084 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209545 25725 13086 16 0 209529 0
vsize: 838180
[startup+950.082 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18077 0 1 0 93057 66 0 0 25 0 11 0 780721799 858296320 25734 4294967295 134512640 134569956 3221224368 3221214696 1131567550 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209545 25734 13086 16 0 209529 0
vsize: 838180
[startup+960.083 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18077 0 1 0 94048 66 0 0 25 0 11 0 780721799 858296320 25742 4294967295 134512640 134569956 3221224368 3221214504 1131339873 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209545 25742 13086 16 0 209529 0
vsize: 838180
[startup+970.083 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18077 0 1 0 95040 66 0 0 25 0 11 0 780721799 858296320 25750 4294967295 134512640 134569956 3221224368 3221214504 1131339977 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209545 25750 13086 16 0 209529 0
vsize: 838180
[startup+980.083 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18077 0 1 0 96031 66 0 0 25 0 11 0 780721799 858296320 25759 4294967295 134512640 134569956 3221224368 3221214504 1131340348 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209545 25759 13086 16 0 209529 0
vsize: 838180
[startup+990.084 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18077 0 1 0 97023 66 0 0 25 0 11 0 780721799 858296320 25767 4294967295 134512640 134569956 3221224368 3221214504 1131340387 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209545 25767 13086 16 0 209529 0
vsize: 838180
[startup+1000.08 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18077 0 1 0 98014 67 0 0 25 0 11 0 780721799 858296320 25775 4294967295 134512640 134569956 3221224368 3221214504 1131339914 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209545 25775 13086 16 0 209529 0
vsize: 838180
[startup+1010.09 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18077 0 1 0 99006 67 0 0 25 0 11 0 780721799 858296320 25784 4294967295 134512640 134569956 3221224368 3221214504 1131340378 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209545 25784 13086 16 0 209529 0
vsize: 838180
[startup+1020.09 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18077 0 1 0 99997 67 0 0 25 0 11 0 780721799 858296320 25790 4294967295 134512640 134569956 3221224368 3221214608 1131414835 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209545 25790 13086 16 0 209529 0
vsize: 838180
[startup+1030.09 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18077 0 1 0 100988 67 0 0 25 0 11 0 780721799 858296320 25800 4294967295 134512640 134569956 3221224368 3221214504 1131340592 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209545 25800 13086 16 0 209529 0
vsize: 838180
[startup+1040.09 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18077 0 1 0 101978 67 0 0 25 0 11 0 780721799 858296320 25808 4294967295 134512640 134569956 3221224368 3221214120 1131617165 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209545 25808 13086 16 0 209529 0
vsize: 838180
[startup+1050.09 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18077 0 1 0 102969 67 0 0 25 0 11 0 780721799 858296320 25816 4294967295 134512640 134569956 3221224368 3221214504 1131340553 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209545 25816 13086 16 0 209529 0
vsize: 838180
[startup+1060.09 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18077 0 1 0 103959 67 0 0 25 0 11 0 780721799 858296320 25820 4294967295 134512640 134569956 3221224368 3221214608 1131419846 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209545 25820 13086 16 0 209529 0
vsize: 838180
[startup+1070.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18077 0 1 0 104947 67 0 0 25 0 11 0 780721799 858296320 25830 4294967295 134512640 134569956 3221224368 3221214496 1131617080 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209545 25830 13086 16 0 209529 0
vsize: 838180
[startup+1080.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18077 0 1 0 105938 68 0 0 25 0 11 0 780721799 858296320 25831 4294967295 134512640 134569956 3221224368 3221214608 1131417062 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209545 25831 13086 16 0 209529 0
vsize: 838180
[startup+1090.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18077 0 1 0 106922 68 0 0 25 0 11 0 780721799 858296320 25856 4294967295 134512640 134569956 3221224368 3221214664 1131415005 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209545 25856 13086 16 0 209529 0
vsize: 838180
[startup+1100.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18077 0 1 0 107903 68 0 0 25 0 11 0 780721799 858296320 25865 4294967295 134512640 134569956 3221224368 3221214400 1131617114 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209545 25865 13086 16 0 209529 0
vsize: 838180
[startup+1110.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18077 0 1 0 108885 68 0 0 25 0 11 0 780721799 858296320 25870 4294967295 134512640 134569956 3221224368 3221214664 1131415005 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209545 25870 13086 16 0 209529 0
vsize: 838180
[startup+1120.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18077 0 1 0 109867 68 0 0 25 0 11 0 780721799 858296320 25876 4294967295 134512640 134569956 3221224368 3221214504 1131340924 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209545 25876 13086 16 0 209529 0
vsize: 838180
[startup+1130.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18077 0 1 0 110833 68 0 0 25 0 11 0 780721799 858296320 25948 4294967295 134512640 134569956 3221224368 3221214480 1131462965 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209545 25948 13086 16 0 209529 0
vsize: 838180
[startup+1140.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18077 0 1 0 111784 68 0 0 25 0 11 0 780721799 858296320 26046 4294967295 134512640 134569956 3221224368 3221214560 1131340456 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209545 26046 13086 16 0 209529 0
vsize: 838180
[startup+1150.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7083
Raw data (stat): 7073 (java) S 7072 25568 25567 0 -1 0 18077 0 1 0 112741 69 0 0 25 0 11 0 780721799 858296320 26222 4294967295 134512640 134569956 3221224368 3221213264 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209545 26222 13086 16 0 209529 0
vsize: 838180
[startup+1160.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18077 0 1 0 113699 69 0 0 25 0 11 0 780721799 858296320 26304 4294967295 134512640 134569956 3221224368 3221214544 1131639234 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209545 26304 13086 16 0 209529 0
vsize: 838180
[startup+1170.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18077 0 1 0 114649 69 0 0 25 0 11 0 780721799 858296320 26641 4294967295 134512640 134569956 3221224368 3221214544 1131639748 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209545 26641 13086 16 0 209529 0
vsize: 838180
[startup+1180.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18077 0 1 0 115600 69 0 0 25 0 11 0 780721799 858296320 26950 4294967295 134512640 134569956 3221224368 3221214544 1131642559 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209545 26950 13086 16 0 209529 0
vsize: 838180
[startup+1190.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18077 0 1 0 116548 69 0 0 25 0 11 0 780721799 858296320 27192 4294967295 134512640 134569956 3221224368 3221214504 1131340253 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209545 27192 13086 16 0 209529 0
vsize: 838180
[startup+1200.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18077 0 1 0 117499 69 0 0 25 0 11 0 780721799 858296320 27446 4294967295 134512640 134569956 3221224368 3221214024 1085679318 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209545 27446 13086 16 0 209529 0
vsize: 838180
[startup+1210.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18077 0 1 0 118442 69 0 0 24 0 11 0 780721799 858296320 27619 4294967295 134512640 134569956 3221224368 3221214764 1130885175 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209545 27619 13086 16 0 209529 0
vsize: 838180
[startup+1220.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18077 0 1 0 119397 69 0 0 25 0 11 0 780721799 858296320 27731 4294967295 134512640 134569956 3221224368 3221214764 1130885120 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209545 27731 13086 16 0 209529 0
vsize: 838180
[startup+1230.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7083
Raw data (stat): 7073 (java) R 7072 25568 25567 0 -1 0 18077 0 1 0 120349 69 0 0 25 0 11 0 780721799 858296320 27895 4294967295 134512640 134569956 3221224368 3221214560 1131339873 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209545 27895 13086 16 0 209529 0
vsize: 838180
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.3 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 7085
Raw data (stat): 7073 (java) Z 7072 25568 25567 0 -1 1036 18077 8433 1 0 120352 69 2346 31 25 0 1 0 780721799 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1230.3
CPU time (s): 1228
CPU user time (s): 1226.99
CPU system time (s): 1.01285
CPU usage (%): 99.8136
Max. virtual memory (Kb): 841372
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####