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/miplib3/normalized-mps-v2-13-7-gesa3_o.opb
MD5SUM	fca009b84c2f2c99c6eab1b54cde16f4
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	6144
Biggest coefficient in the objective function	409031671808
Number of bits for the biggest coefficient in the objective function	39
Sum of the numbers in the objective function	143020903040784
Number of bits of the sum of numbers in the objective function	48
Biggest number in a constraint	524288000000
Number of bits of the biggest number in a constraint	39
Biggest sum of numbers in a constraint	143020903040784
Number of bits of the biggest sum of numbers	48
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.099984
Number of variables	10704
Total number of constraints	1560
Number of constraints which are clauses	168
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	1392
Minimum length of a constraint	2
Maximum length of a constraint	211
Trace number 30028

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-05-25 14:00:47 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21430 boxname=wulflinc4 idbench=1418 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  fca009b84c2f2c99c6eab1b54cde16f4  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-gesa3_o.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-gesa3_o.opb
IDLAUNCH: 21430
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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:        647584 kB
Buffers:         34652 kB
Cached:         331744 kB
SwapCached:        600 kB
Active:          75144 kB
Inactive:       293708 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        647332 kB
SwapTotal:     2097136 kB
SwapFree:      2096004 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5780 kB
Slab:            12536 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 14:21:49 (client local time) WITH STATUS 143 IN 1257.8 SECONDS
stats: 21430 7 1257.8 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/wulflinc4/normalized-mps-v2-13-7-gesa3_o.opb
c reading problem ... done. Time 39.504 ms.
c #vars     10704
c #constraints  1536
c starts	: 10
c conflicts	: 7699
c decisions	: 9536
c propagations	: 37864
c inspects	: 3898925
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 7699
c root simplifications	: 36
s UNKNOWN
c Total CPU time (ms) : 1259.14
#### 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.97 0.98 0.99 2/54 2048
Raw data (stat): 2048 (runsolver) R 2047 21152 21151 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 781204925 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.99992 s]
Raw data (loadavg): 1.04 1.00 1.00 2/63 2057
Raw data (stat): 2048 (java) R 2047 21152 21151 0 -1 0 18020 0 1 0 861 41 0 0 24 0 10 0 781204925 854093824 19428 4294967295 134512640 134569956 3221224368 3221214464 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208519 19428 13086 16 0 208503 0
vsize: 834076
[startup+20.0013 s]
Raw data (loadavg): 1.04 1.00 1.00 2/63 2057
Raw data (stat): 2048 (java) R 2047 21152 21151 0 -1 0 18037 0 1 0 1743 41 0 0 24 0 10 0 781204925 856674304 20671 4294967295 134512640 134569956 3221224368 3221214440 1076461336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209149 20671 13086 16 0 209133 0
vsize: 836596
[startup+30.0051 s]
Raw data (loadavg): 1.03 1.00 1.00 2/63 2057
Raw data (stat): 2048 (java) S 2047 21152 21151 0 -1 0 18037 0 1 0 2591 42 0 0 25 0 10 0 781204925 857034752 21305 4294967295 134512640 134569956 3221224368 3221213416 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209237 21305 13086 16 0 209221 0
vsize: 836948
[startup+40.0045 s]
Raw data (loadavg): 1.03 1.00 1.00 3/63 2059
Raw data (stat): 2048 (java) R 2047 21152 21151 0 -1 0 18039 0 1 0 3479 43 0 0 25 0 10 0 781204925 857034752 21623 4294967295 134512640 134569956 3221224368 3221214472 1130894842 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209237 21623 13086 16 0 209221 0
vsize: 836948
[startup+50.0054 s]
Raw data (loadavg): 1.09 1.02 1.00 2/64 2060
Raw data (stat): 2048 (java) R 2047 21152 21151 0 -1 0 18092 0 1 0 4283 43 0 0 25 0 11 0 781204925 861069312 23480 4294967295 134512640 134569956 3221224368 3221214640 1131333770 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 23480 13086 16 0 210206 0
vsize: 840888
[startup+60.0053 s]
Raw data (loadavg): 1.08 1.02 1.00 2/64 2060
Raw data (stat): 2048 (java) R 2047 21152 21151 0 -1 0 18093 0 1 0 5245 43 0 0 25 0 11 0 781204925 861069312 24236 4294967295 134512640 134569956 3221224368 3221214536 1131297633 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 24236 13086 16 0 210206 0
vsize: 840888
[startup+70.0061 s]
Raw data (loadavg): 1.07 1.01 1.00 2/64 2060
Raw data (stat): 2048 (java) R 2047 21152 21151 0 -1 0 18093 0 1 0 6186 44 0 0 25 0 11 0 781204925 861069312 24477 4294967295 134512640 134569956 3221224368 3221214488 1131409254 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 24477 13086 16 0 210206 0
vsize: 840888
[startup+80.007 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 2060
Raw data (stat): 2048 (java) R 2047 21152 21151 0 -1 0 18093 0 1 0 7131 44 0 0 25 0 11 0 781204925 861069312 24885 4294967295 134512640 134569956 3221224368 3221214488 1131414365 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 24885 13086 16 0 210206 0
vsize: 840888
[startup+90.0073 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 2060
Raw data (stat): 2048 (java) R 2047 21152 21151 0 -1 0 18093 0 1 0 8069 44 0 0 25 0 11 0 781204925 861069312 25305 4294967295 134512640 134569956 3221224368 3221214552 1131297235 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 25305 13086 16 0 210206 0
vsize: 840888
[startup+100.008 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 2060
Raw data (stat): 2048 (java) R 2047 21152 21151 0 -1 0 18093 0 1 0 9001 44 0 0 25 0 11 0 781204925 861069312 25666 4294967295 134512640 134569956 3221224368 3221214600 1131212517 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 25666 13086 16 0 210206 0
vsize: 840888
[startup+110.008 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 2060
Raw data (stat): 2048 (java) R 2047 21152 21151 0 -1 0 18093 0 1 0 9948 45 0 0 25 0 11 0 781204925 861069312 25916 4294967295 134512640 134569956 3221224368 3221214504 1131414108 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 25916 13086 16 0 210206 0
vsize: 840888
[startup+120.01 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 2060
Raw data (stat): 2048 (java) R 2047 21152 21151 0 -1 0 18093 0 1 0 10895 45 0 0 25 0 11 0 781204925 861069312 26145 4294967295 134512640 134569956 3221224368 3221214552 1131323527 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 26145 13086 16 0 210206 0
vsize: 840888
[startup+130.009 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 2060
Raw data (stat): 2048 (java) R 2047 21152 21151 0 -1 0 18093 0 1 0 11850 45 0 0 25 0 11 0 781204925 861069312 26432 4294967295 134512640 134569956 3221224368 3221214640 1131355483 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 26432 13086 16 0 210206 0
vsize: 840888
[startup+140.01 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 2060
Raw data (stat): 2048 (java) S 2047 21152 21151 0 -1 0 18093 0 1 0 12802 46 0 0 25 0 11 0 781204925 861069312 26709 4294967295 134512640 134569956 3221224368 3221213472 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 26709 13086 16 0 210206 0
vsize: 840888
[startup+150.012 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 2060
Raw data (stat): 2048 (java) R 2047 21152 21151 0 -1 0 18093 0 1 0 13749 46 0 0 25 0 11 0 781204925 861069312 27030 4294967295 134512640 134569956 3221224368 3221214616 1131407734 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 27030 13086 16 0 210206 0
vsize: 840888
[startup+160.012 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 2060
Raw data (stat): 2048 (java) R 2047 21152 21151 0 -1 0 18093 0 1 0 14702 46 0 0 25 0 11 0 781204925 861069312 27316 4294967295 134512640 134569956 3221224368 3221214384 1131357105 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 27316 13086 16 0 210206 0
vsize: 840888
[startup+170.013 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 2060
Raw data (stat): 2048 (java) R 2047 21152 21151 0 -1 0 18093 0 1 0 15658 47 0 0 25 0 11 0 781204925 861069312 27513 4294967295 134512640 134569956 3221224368 3221214352 1078020001 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 27513 13086 16 0 210206 0
vsize: 840888
[startup+180.014 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 2060
Raw data (stat): 2048 (java) R 2047 21152 21151 0 -1 0 18093 0 1 0 16604 47 0 0 25 0 11 0 781204925 861069312 27719 4294967295 134512640 134569956 3221224368 3221214648 1131543388 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 27719 13086 16 0 210206 0
vsize: 840888
[startup+190.014 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 2060
Raw data (stat): 2048 (java) R 2047 21152 21151 0 -1 0 18093 0 1 0 17560 48 0 0 25 0 11 0 781204925 861069312 27910 4294967295 134512640 134569956 3221224368 3221214144 1131581320 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 27910 13086 16 0 210206 0
vsize: 840888
[startup+200.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2060
Raw data (stat): 2048 (java) R 2047 21152 21151 0 -1 0 18093 0 1 0 18505 48 0 0 25 0 11 0 781204925 861069312 28174 4294967295 134512640 134569956 3221224368 3221214648 1131542849 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 28174 13086 16 0 210206 0
vsize: 840888
[startup+210.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2060
Raw data (stat): 2048 (java) R 2047 21152 21151 0 -1 0 18093 0 1 0 19472 48 0 0 25 0 11 0 781204925 861069312 28299 4294967295 134512640 134569956 3221224368 3221213936 1131581300 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 28299 13086 16 0 210206 0
vsize: 840888
[startup+220.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2060
Raw data (stat): 2048 (java) R 2047 21152 21151 0 -1 0 18093 0 1 0 20426 48 0 0 25 0 11 0 781204925 861069312 28525 4294967295 134512640 134569956 3221224368 3221214216 1131357047 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 28525 13086 16 0 210206 0
vsize: 840888
[startup+230.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2060
Raw data (stat): 2048 (java) R 2047 21152 21151 0 -1 0 18093 0 1 0 21393 48 0 0 25 0 11 0 781204925 861069312 28652 4294967295 134512640 134569956 3221224368 3221214644 1131297196 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 28652 13086 16 0 210206 0
vsize: 840888
[startup+240.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2060
Raw data (stat): 2048 (java) R 2047 21152 21151 0 -1 0 18093 0 1 0 22347 48 0 0 25 0 11 0 781204925 861069312 28901 4294967295 134512640 134569956 3221224368 3221214048 1131581232 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 28901 13086 16 0 210206 0
vsize: 840888
[startup+250.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2060
Raw data (stat): 2048 (java) R 2047 21152 21151 0 -1 0 18093 0 1 0 23312 49 0 0 25 0 11 0 781204925 861069312 29093 4294967295 134512640 134569956 3221224368 3221214552 1131297545 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 29093 13086 16 0 210206 0
vsize: 840888
[startup+260.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2060
Raw data (stat): 2048 (java) R 2047 21152 21151 0 -1 0 18093 0 1 0 24277 49 0 0 25 0 11 0 781204925 861069312 29278 4294967295 134512640 134569956 3221224368 3221214788 1131234668 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 29278 13086 16 0 210206 0
vsize: 840888
[startup+270.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2060
Raw data (stat): 2048 (java) R 2047 21152 21151 0 -1 0 18093 0 1 0 25231 50 0 0 25 0 11 0 781204925 861069312 29494 4294967295 134512640 134569956 3221224368 3221214648 1131542816 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 29494 13086 16 0 210206 0
vsize: 840888
[startup+280.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2060
Raw data (stat): 2048 (java) R 2047 21152 21151 0 -1 0 18093 0 1 0 26187 50 0 0 25 0 11 0 781204925 861069312 29736 4294967295 134512640 134569956 3221224368 3221214728 1131336977 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 29736 13086 16 0 210206 0
vsize: 840888
[startup+290.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2062
Raw data (stat): 2048 (java) R 2047 21152 21151 0 -1 0 18093 0 1 0 27136 51 0 0 25 0 11 0 781204925 861069312 29785 4294967295 134512640 134569956 3221224368 3221214728 1131337080 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 29785 13086 16 0 210206 0
vsize: 840888
[startup+300.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2062
Raw data (stat): 2048 (java) R 2047 21152 21151 0 -1 0 18093 0 1 0 28093 51 0 0 25 0 11 0 781204925 861069312 29916 4294967295 134512640 134569956 3221224368 3221214184 1085679305 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 29916 13086 16 0 210206 0
vsize: 840888
[startup+310.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2062
Raw data (stat): 2048 (java) R 2047 21152 21151 0 -1 0 18093 0 1 0 29039 51 0 0 25 0 11 0 781204925 861069312 30103 4294967295 134512640 134569956 3221224368 3221214644 1131230112 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210222 30103 13086 16 0 210206 0
vsize: 840888
[startup+320.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2062
Raw data (stat): 2048 (java) R 2047 21152 21151 0 -1 0 18093 0 1 0 29995 51 0 0 25 0 11 0 781204925 861069312 30236 4294967295 134512640 134569956 3221224368 3221213984 1131581308 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 30236 13086 16 0 210206 0
vsize: 840888
[startup+330.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2062
Raw data (stat): 2048 (java) R 2047 21152 21151 0 -1 0 18093 0 1 0 30939 52 0 0 25 0 11 0 781204925 861069312 30496 4294967295 134512640 134569956 3221224368 3221214496 1131357084 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 30496 13086 16 0 210206 0
vsize: 840888
[startup+340.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2062
Raw data (stat): 2048 (java) R 2047 21152 21151 0 -1 0 18093 0 1 0 31893 52 0 0 25 0 11 0 781204925 861069312 30657 4294967295 134512640 134569956 3221224368 3221214248 1131578146 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 30657 13086 16 0 210206 0
vsize: 840888
[startup+350.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2062
Raw data (stat): 2048 (java) R 2047 21152 21151 0 -1 0 18093 0 1 0 32848 52 0 0 25 0 11 0 781204925 861069312 30802 4294967295 134512640 134569956 3221224368 3221214640 1131333676 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 30802 13086 16 0 210206 0
vsize: 840888
[startup+360.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2062
Raw data (stat): 2048 (java) R 2047 21152 21151 0 -1 0 18093 0 1 0 33795 53 0 0 25 0 11 0 781204925 861069312 30862 4294967295 134512640 134569956 3221224368 3221214728 1131336961 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 30862 13086 16 0 210206 0
vsize: 840888
[startup+370.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2062
Raw data (stat): 2048 (java) R 2047 21152 21151 0 -1 0 18093 0 1 0 34764 53 0 0 25 0 11 0 781204925 861069312 30926 4294967295 134512640 134569956 3221224368 3221214728 1131336947 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 30926 13086 16 0 210206 0
vsize: 840888
[startup+380.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2062
Raw data (stat): 2048 (java) R 2047 21152 21151 0 -1 0 18093 0 1 0 35722 53 0 0 25 0 11 0 781204925 861069312 30926 4294967295 134512640 134569956 3221224368 3221214544 1131581353 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 30926 13086 16 0 210206 0
vsize: 840888
[startup+390.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2062
Raw data (stat): 2048 (java) R 2047 21152 21151 0 -1 0 18093 0 1 0 36691 54 0 0 24 0 11 0 781204925 861069312 31045 4294967295 134512640 134569956 3221224368 3221214640 1131333625 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 31045 13086 16 0 210206 0
vsize: 840888
[startup+400.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2062
Raw data (stat): 2048 (java) R 2047 21152 21151 0 -1 0 18093 0 1 0 37647 54 0 0 25 0 11 0 781204925 861069312 31307 4294967295 134512640 134569956 3221224368 3221214616 1131407790 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 31307 13086 16 0 210206 0
vsize: 840888
[startup+410.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2062
Raw data (stat): 2048 (java) R 2047 21152 21151 0 -1 0 18093 0 1 0 38609 54 0 0 24 0 11 0 781204925 861069312 31487 4294967295 134512640 134569956 3221224368 3221213880 1131581098 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 31487 13086 16 0 210206 0
vsize: 840888
[startup+420.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2062
Raw data (stat): 2048 (java) R 2047 21152 21151 0 -1 0 18093 0 1 0 39579 54 0 0 25 0 11 0 781204925 861069312 31650 4294967295 134512640 134569956 3221224368 3221214504 1131414409 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 31650 13086 16 0 210206 0
vsize: 840888
[startup+430.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2062
Raw data (stat): 2048 (java) R 2047 21152 21151 0 -1 0 18093 0 1 0 40542 55 0 0 25 0 11 0 781204925 861069312 31721 4294967295 134512640 134569956 3221224368 3221214440 1131357197 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 31721 13086 16 0 210206 0
vsize: 840888
[startup+440.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2062
Raw data (stat): 2048 (java) R 2047 21152 21151 0 -1 0 18093 0 1 0 41510 55 0 0 25 0 11 0 781204925 861069312 31761 4294967295 134512640 134569956 3221224368 3221214744 1131234709 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 31761 13086 16 0 210206 0
vsize: 840888
[startup+450.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2062
Raw data (stat): 2048 (java) R 2047 21152 21151 0 -1 0 18093 0 1 0 42465 56 0 0 25 0 11 0 781204925 861069312 31796 4294967295 134512640 134569956 3221224368 3221214204 1131581284 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 31796 13086 16 0 210206 0
vsize: 840888
[startup+460.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2062
Raw data (stat): 2048 (java) R 2047 21152 21151 0 -1 0 18093 0 1 0 43427 56 0 0 25 0 11 0 781204925 861069312 31837 4294967295 134512640 134569956 3221224368 3221214504 1131414350 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 31837 13086 16 0 210206 0
vsize: 840888
[startup+470.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2062
Raw data (stat): 2048 (java) R 2047 21152 21151 0 -1 0 18093 0 1 0 44386 56 0 0 25 0 11 0 781204925 861069312 31907 4294967295 134512640 134569956 3221224368 3221214768 1131340269 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 31907 13086 16 0 210206 0
vsize: 840888
[startup+480.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2062
Raw data (stat): 2048 (java) R 2047 21152 21151 0 -1 0 18093 0 1 0 45334 56 0 0 25 0 11 0 781204925 861069312 32041 4294967295 134512640 134569956 3221224368 3221213576 1085679747 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 32041 13086 16 0 210206 0
vsize: 840888
[startup+490.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2062
Raw data (stat): 2048 (java) R 2047 21152 21151 0 -1 0 18093 0 1 0 46293 56 0 0 25 0 11 0 781204925 861069312 32168 4294967295 134512640 134569956 3221224368 3221214728 1131336951 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 32168 13086 16 0 210206 0
vsize: 840888
[startup+500.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2062
Raw data (stat): 2048 (java) R 2047 21152 21151 0 -1 0 18093 0 1 0 47250 57 0 0 25 0 11 0 781204925 861069312 32278 4294967295 134512640 134569956 3221224368 3221214104 1131357112 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 32278 13086 16 0 210206 0
vsize: 840888
[startup+510.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2062
Raw data (stat): 2048 (java) R 2047 21152 21151 0 -1 0 18093 0 1 0 48209 57 0 0 25 0 11 0 781204925 861069312 32385 4294967295 134512640 134569956 3221224368 3221213912 1085679386 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 32385 13086 16 0 210206 0
vsize: 840888
[startup+520.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2062
Raw data (stat): 2048 (java) R 2047 21152 21151 0 -1 0 18093 0 1 0 49165 57 0 0 25 0 11 0 781204925 861069312 32489 4294967295 134512640 134569956 3221224368 3221214728 1131337189 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 32489 13086 16 0 210206 0
vsize: 840888
[startup+530.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2062
Raw data (stat): 2048 (java) S 2047 21152 21151 0 -1 0 18093 0 1 0 50130 58 0 0 25 0 11 0 781204925 861069312 32552 4294967295 134512640 134569956 3221224368 3221213368 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 32552 13086 16 0 210206 0
vsize: 840888
[startup+540.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2062
Raw data (stat): 2048 (java) R 2047 21152 21151 0 -1 0 18093 0 1 0 51074 58 0 0 24 0 11 0 781204925 861069312 32712 4294967295 134512640 134569956 3221224368 3221213816 1131581287 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 32712 13086 16 0 210206 0
vsize: 840888
[startup+550.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2062
Raw data (stat): 2048 (java) R 2047 21152 21151 0 -1 0 18093 0 1 0 52040 58 0 0 25 0 11 0 781204925 861069312 32796 4294967295 134512640 134569956 3221224368 3221214728 1131336876 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 32796 13086 16 0 210206 0
vsize: 840888
[startup+560.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2062
Raw data (stat): 2048 (java) R 2047 21152 21151 0 -1 0 18093 0 1 0 52994 58 0 0 25 0 11 0 781204925 861069312 32971 4294967295 134512640 134569956 3221224368 3221213752 1131581320 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 32971 13086 16 0 210206 0
vsize: 840888
[startup+570.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2062
Raw data (stat): 2048 (java) R 2047 21152 21151 0 -1 0 18093 0 1 0 53939 59 0 0 25 0 11 0 781204925 861069312 33101 4294967295 134512640 134569956 3221224368 3221214728 1131337180 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 33101 13086 16 0 210206 0
vsize: 840888
[startup+580.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2062
Raw data (stat): 2048 (java) R 2047 21152 21151 0 -1 0 18093 0 1 0 54885 59 0 0 25 0 11 0 781204925 861069312 33158 4294967295 134512640 134569956 3221224368 3221214728 1131337031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 33158 13086 16 0 210206 0
vsize: 840888
[startup+590.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2062
Raw data (stat): 2048 (java) R 2047 21152 21151 0 -1 0 18093 0 1 0 55832 59 0 0 25 0 11 0 781204925 861069312 33321 4294967295 134512640 134569956 3221224368 3221214648 1131543184 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 33321 13086 16 0 210206 0
vsize: 840888
[startup+600.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2062
Raw data (stat): 2048 (java) R 2047 21152 21151 0 -1 0 18093 0 1 0 56791 59 0 0 25 0 11 0 781204925 861069312 33463 4294967295 134512640 134569956 3221224368 3221214040 1131581295 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 33463 13086 16 0 210206 0
vsize: 840888
[startup+610.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2062
Raw data (stat): 2048 (java) S 2047 21152 21151 0 -1 0 18093 0 1 0 57732 60 0 0 25 0 11 0 781204925 861069312 33629 4294967295 134512640 134569956 3221224368 3221213472 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 33629 13086 16 0 210206 0
vsize: 840888
[startup+620.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2062
Raw data (stat): 2048 (java) R 2047 21152 21151 0 -1 0 18093 0 1 0 58686 60 0 0 25 0 11 0 781204925 861069312 33822 4294967295 134512640 134569956 3221224368 3221213804 1131581056 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 33822 13086 16 0 210206 0
vsize: 840888
[startup+630.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2062
Raw data (stat): 2048 (java) R 2047 21152 21151 0 -1 0 18093 0 1 0 59643 61 0 0 25 0 11 0 781204925 861069312 33941 4294967295 134512640 134569956 3221224368 3221213656 1131581341 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 33941 13086 16 0 210206 0
vsize: 840888
[startup+640.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2062
Raw data (stat): 2048 (java) R 2047 21152 21151 0 -1 0 18093 0 1 0 60602 61 0 0 25 0 11 0 781204925 861069312 34023 4294967295 134512640 134569956 3221224368 3221214728 1131337200 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 34023 13086 16 0 210206 0
vsize: 840888
[startup+650.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2062
Raw data (stat): 2048 (java) R 2047 21152 21151 0 -1 0 18093 0 1 0 61569 61 0 0 25 0 11 0 781204925 861069312 34100 4294967295 134512640 134569956 3221224368 3221214344 1076619318 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 34100 13086 16 0 210206 0
vsize: 840888
[startup+660.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2062
Raw data (stat): 2048 (java) R 2047 21152 21151 0 -1 0 18093 0 1 0 62527 62 0 0 25 0 11 0 781204925 861069312 34220 4294967295 134512640 134569956 3221224368 3221214504 1131415393 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 34220 13086 16 0 210206 0
vsize: 840888
[startup+670.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2062
Raw data (stat): 2048 (java) R 2047 21152 21151 0 -1 0 18093 0 1 0 63498 62 0 0 25 0 11 0 781204925 861069312 34320 4294967295 134512640 134569956 3221224368 3221214044 1131357131 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 34320 13086 16 0 210206 0
vsize: 840888
[startup+680.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2062
Raw data (stat): 2048 (java) R 2047 21152 21151 0 -1 0 18093 0 1 0 64457 62 0 0 25 0 11 0 781204925 861069312 34397 4294967295 134512640 134569956 3221224368 3221213936 1131357112 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 34397 13086 16 0 210206 0
vsize: 840888
[startup+690.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2062
Raw data (stat): 2048 (java) R 2047 21152 21151 0 -1 0 18093 0 1 0 65422 63 0 0 25 0 11 0 781204925 861069312 34475 4294967295 134512640 134569956 3221224368 3221214724 1131333504 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 34475 13086 16 0 210206 0
vsize: 840888
[startup+700.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2062
Raw data (stat): 2048 (java) S 2047 21152 21151 0 -1 0 18093 0 1 0 66385 63 0 0 25 0 11 0 781204925 861069312 34538 4294967295 134512640 134569956 3221224368 3221213472 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 34538 13086 16 0 210206 0
vsize: 840888
[startup+710.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2062
Raw data (stat): 2048 (java) R 2047 21152 21151 0 -1 0 18093 0 1 0 67345 63 0 0 25 0 11 0 781204925 861069312 34651 4294967295 134512640 134569956 3221224368 3221213848 1085679325 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 34651 13086 16 0 210206 0
vsize: 840888
[startup+720.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2062
Raw data (stat): 2048 (java) R 2047 21152 21151 0 -1 0 18093 0 1 0 68309 63 0 0 25 0 11 0 781204925 861069312 34730 4294967295 134512640 134569956 3221224368 3221214512 1131340265 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 34730 13086 16 0 210206 0
vsize: 840888
[startup+730.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2062
Raw data (stat): 2048 (java) R 2047 21152 21151 0 -1 0 18093 0 1 0 69274 64 0 0 25 0 11 0 781204925 861069312 34806 4294967295 134512640 134569956 3221224368 3221214384 1131357137 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 34806 13086 16 0 210206 0
vsize: 840888
[startup+740.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2062
Raw data (stat): 2048 (java) R 2047 21152 21151 0 -1 0 18093 0 1 0 70230 64 0 0 25 0 11 0 781204925 861069312 34908 4294967295 134512640 134569956 3221224368 3221214728 1131337180 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 34908 13086 16 0 210206 0
vsize: 840888
[startup+750.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2062
Raw data (stat): 2048 (java) R 2047 21152 21151 0 -1 0 18093 0 1 0 71194 65 0 0 25 0 11 0 781204925 861069312 34991 4294967295 134512640 134569956 3221224368 3221214736 1131353922 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 34991 13086 16 0 210206 0
vsize: 840888
[startup+760.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2062
Raw data (stat): 2048 (java) R 2047 21152 21151 0 -1 0 18093 0 1 0 72159 65 0 0 25 0 11 0 781204925 861069312 35090 4294967295 134512640 134569956 3221224368 3221214792 1131585873 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 35090 13086 16 0 210206 0
vsize: 840888
[startup+770.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2062
Raw data (stat): 2048 (java) R 2047 21152 21151 0 -1 0 18093 0 1 0 73116 65 0 0 25 0 11 0 781204925 861069312 35187 4294967295 134512640 134569956 3221224368 3221213960 1085679302 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 35187 13086 16 0 210206 0
vsize: 840888
[startup+780.079 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2062
Raw data (stat): 2048 (java) R 2047 21152 21151 0 -1 0 18093 0 1 0 74081 65 0 0 25 0 11 0 781204925 861069312 35272 4294967295 134512640 134569956 3221224368 3221214216 1131357116 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 35272 13086 16 0 210206 0
vsize: 840888
[startup+790.079 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2062
Raw data (stat): 2048 (java) R 2047 21152 21151 0 -1 0 18093 0 1 0 75046 66 0 0 25 0 11 0 781204925 861069312 35358 4294967295 134512640 134569956 3221224368 3221214504 1131414401 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 35358 13086 16 0 210206 0
vsize: 840888
[startup+800.079 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2062
Raw data (stat): 2048 (java) R 2047 21152 21151 0 -1 0 18093 0 1 0 76018 66 0 0 25 0 11 0 781204925 861069312 35430 4294967295 134512640 134569956 3221224368 3221213736 1085679762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 35430 13086 16 0 210206 0
vsize: 840888
[startup+810.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2062
Raw data (stat): 2048 (java) S 2047 21152 21151 0 -1 0 18093 0 1 0 77005 66 0 0 25 0 11 0 781204925 861069312 35443 4294967295 134512640 134569956 3221224368 3221213472 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 35443 13086 16 0 210206 0
vsize: 840888
[startup+820.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2062
Raw data (stat): 2048 (java) R 2047 21152 21151 0 -1 0 18093 0 1 0 77985 67 0 0 25 0 11 0 781204925 861069312 35483 4294967295 134512640 134569956 3221224368 3221213984 1131581300 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 35483 13086 16 0 210206 0
vsize: 840888
[startup+830.081 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2062
Raw data (stat): 2048 (java) R 2047 21152 21151 0 -1 0 18093 0 1 0 78960 67 0 0 25 0 11 0 781204925 861069312 35615 4294967295 134512640 134569956 3221224368 3221213792 1085679293 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 35615 13086 16 0 210206 0
vsize: 840888
[startup+840.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2062
Raw data (stat): 2048 (java) R 2047 21152 21151 0 -1 0 18093 0 1 0 79935 67 0 0 25 0 11 0 781204925 861069312 35767 4294967295 134512640 134569956 3221224368 3221214272 1131357116 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 35767 13086 16 0 210206 0
vsize: 840888
[startup+850.081 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2062
Raw data (stat): 2048 (java) R 2047 21152 21151 0 -1 0 18093 0 1 0 80910 68 0 0 25 0 11 0 781204925 861069312 35927 4294967295 134512640 134569956 3221224368 3221214792 1131585991 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 35927 13086 16 0 210206 0
vsize: 840888
[startup+860.081 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2062
Raw data (stat): 2048 (java) R 2047 21152 21151 0 -1 0 18093 0 1 0 81884 68 0 0 25 0 11 0 781204925 861069312 36123 4294967295 134512640 134569956 3221224368 3221214112 1131357197 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 36123 13086 16 0 210206 0
vsize: 840888
[startup+870.082 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2062
Raw data (stat): 2048 (java) R 2047 21152 21151 0 -1 0 18093 0 1 0 82848 69 0 0 25 0 11 0 781204925 861069312 36351 4294967295 134512640 134569956 3221224368 3221214792 1131370277 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 36351 13086 16 0 210206 0
vsize: 840888
[startup+880.083 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2062
Raw data (stat): 2048 (java) R 2047 21152 21151 0 -1 0 18093 0 1 0 83814 69 0 0 25 0 11 0 781204925 861069312 36425 4294967295 134512640 134569956 3221224368 3221213736 1085679766 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 36425 13086 16 0 210206 0
vsize: 840888
[startup+890.083 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2062
Raw data (stat): 2048 (java) R 2047 21152 21151 0 -1 0 18093 0 1 0 84802 69 0 0 25 0 11 0 781204925 861069312 36504 4294967295 134512640 134569956 3221224368 3221213988 1131581284 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 36504 13086 16 0 210206 0
vsize: 840888
[startup+900.083 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2062
Raw data (stat): 2048 (java) R 2047 21152 21151 0 -1 0 18093 0 1 0 85777 70 0 0 25 0 11 0 781204925 861069312 36655 4294967295 134512640 134569956 3221224368 3221214552 1131297387 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 36655 13086 16 0 210206 0
vsize: 840888
[startup+910.084 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2062
Raw data (stat): 2048 (java) R 2047 21152 21151 0 -1 0 18093 0 1 0 86753 70 0 0 25 0 11 0 781204925 861069312 36805 4294967295 134512640 134569956 3221224368 3221213760 1131581107 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 36805 13086 16 0 210206 0
vsize: 840888
[startup+920.086 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2062
Raw data (stat): 2048 (java) R 2047 21152 21151 0 -1 0 18093 0 1 0 87709 70 0 0 25 0 11 0 781204925 861069312 36981 4294967295 134512640 134569956 3221224368 3221214520 1131334053 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 36981 13086 16 0 210206 0
vsize: 840888
[startup+930.086 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2062
Raw data (stat): 2048 (java) R 2047 21152 21151 0 -1 0 18093 0 1 0 88676 70 0 0 25 0 11 0 781204925 861069312 37063 4294967295 134512640 134569956 3221224368 3221214520 1131333917 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210222 37063 13086 16 0 210206 0
vsize: 840888
[startup+940.087 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2062
Raw data (stat): 2048 (java) R 2047 21152 21151 0 -1 0 18093 0 1 0 89643 70 0 0 25 0 11 0 781204925 861069312 37144 4294967295 134512640 134569956 3221224368 3221214520 1131333667 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 37144 13086 16 0 210206 0
vsize: 840888
[startup+950.087 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2062
Raw data (stat): 2048 (java) R 2047 21152 21151 0 -1 0 18093 0 1 0 90598 71 0 0 25 0 11 0 781204925 861069312 37260 4294967295 134512640 134569956 3221224368 3221214152 1080216945 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 37260 13086 16 0 210206 0
vsize: 840888
[startup+960.087 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2062
Raw data (stat): 2048 (java) R 2047 21152 21151 0 -1 0 18093 0 1 0 91564 71 0 0 25 0 11 0 781204925 861069312 37336 4294967295 134512640 134569956 3221224368 3221214608 1131336898 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210222 37336 13086 16 0 210206 0
vsize: 840888
[startup+970.088 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2062
Raw data (stat): 2048 (java) R 2047 21152 21151 0 -1 0 18093 0 1 0 92520 71 0 0 25 0 11 0 781204925 861069312 37493 4294967295 134512640 134569956 3221224368 3221213448 1085679343 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 37493 13086 16 0 210206 0
vsize: 840888
[startup+980.088 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2062
Raw data (stat): 2048 (java) R 2047 21152 21151 0 -1 0 18093 0 1 0 93484 71 0 0 25 0 11 0 781204925 861069312 37658 4294967295 134512640 134569956 3221224368 3221214672 1131370277 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 37658 13086 16 0 210206 0
vsize: 840888
[startup+990.089 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2062
Raw data (stat): 2048 (java) R 2047 21152 21151 0 -1 0 18093 0 1 0 94428 72 0 0 25 0 11 0 781204925 861069312 37739 4294967295 134512640 134569956 3221224368 3221214624 1131234844 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 37739 13086 16 0 210206 0
vsize: 840888
[startup+1000.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2062
Raw data (stat): 2048 (java) R 2047 21152 21151 0 -1 0 18093 0 1 0 95374 72 0 0 25 0 11 0 781204925 861069312 37840 4294967295 134512640 134569956 3221224368 3221214624 1131234688 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210222 37840 13086 16 0 210206 0
vsize: 840888
[startup+1010.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2062
Raw data (stat): 2048 (java) R 2047 21152 21151 0 -1 0 18093 0 1 0 96317 73 0 0 25 0 11 0 781204925 861069312 38025 4294967295 134512640 134569956 3221224368 3221214624 1131234688 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 38025 13086 16 0 210206 0
vsize: 840888
[startup+1020.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2062
Raw data (stat): 2048 (java) R 2047 21152 21151 0 -1 0 18093 0 1 0 97276 73 0 0 25 0 11 0 781204925 861069312 38160 4294967295 134512640 134569956 3221224368 3221214672 1131370725 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 38160 13086 16 0 210206 0
vsize: 840888
[startup+1030.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2062
Raw data (stat): 2048 (java) R 2047 21152 21151 0 -1 0 18093 0 1 0 98231 74 0 0 25 0 11 0 781204925 861069312 38357 4294967295 134512640 134569956 3221224368 3221214520 1131333676 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 38357 13086 16 0 210206 0
vsize: 840888
[startup+1040.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2062
Raw data (stat): 2048 (java) S 2047 21152 21151 0 -1 0 18093 0 1 0 99201 74 0 0 25 0 11 0 781204925 861069312 38517 4294967295 134512640 134569956 3221224368 3221213352 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 38517 13086 16 0 210206 0
vsize: 840888
[startup+1050.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2062
Raw data (stat): 2048 (java) R 2047 21152 21151 0 -1 0 18093 0 1 0 100170 75 0 0 25 0 11 0 781204925 861069312 38637 4294967295 134512640 134569956 3221224368 3221214624 1131234705 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 38637 13086 16 0 210206 0
vsize: 840888
[startup+1060.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2062
Raw data (stat): 2048 (java) R 2047 21152 21151 0 -1 0 18093 0 1 0 101144 75 0 0 25 0 11 0 781204925 861069312 38670 4294967295 134512640 134569956 3221224368 3221214624 1131234731 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 38670 13086 16 0 210206 0
vsize: 840888
[startup+1070.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2062
Raw data (stat): 2048 (java) R 2047 21152 21151 0 -1 0 18093 0 1 0 102118 75 0 0 25 0 11 0 781204925 861069312 38698 4294967295 134512640 134569956 3221224368 3221214520 1131333676 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 38698 13086 16 0 210206 0
vsize: 840888
[startup+1080.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2062
Raw data (stat): 2048 (java) R 2047 21152 21151 0 -1 0 18093 0 1 0 103091 76 0 0 25 0 11 0 781204925 861069312 38733 4294967295 134512640 134569956 3221224368 3221214672 1131370712 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 38733 13086 16 0 210206 0
vsize: 840888
[startup+1090.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2062
Raw data (stat): 2048 (java) R 2047 21152 21151 0 -1 0 18093 0 1 0 104069 76 0 0 25 0 11 0 781204925 861069312 38756 4294967295 134512640 134569956 3221224368 3221214520 1131333535 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 38756 13086 16 0 210206 0
vsize: 840888
[startup+1100.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2062
Raw data (stat): 2048 (java) R 2047 21152 21151 0 -1 0 18093 0 1 0 105042 76 0 0 25 0 11 0 781204925 861069312 38783 4294967295 134512640 134569956 3221224368 3221214520 1131228084 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 38783 13086 16 0 210206 0
vsize: 840888
[startup+1110.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2062
Raw data (stat): 2048 (java) R 2047 21152 21151 0 -1 0 18093 0 1 0 106019 77 0 0 25 0 11 0 781204925 861069312 38810 4294967295 134512640 134569956 3221224368 3221214520 1131333676 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 38810 13086 16 0 210206 0
vsize: 840888
[startup+1120.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2062
Raw data (stat): 2048 (java) R 2047 21152 21151 0 -1 0 18093 0 1 0 106991 77 0 0 25 0 11 0 781204925 861069312 38840 4294967295 134512640 134569956 3221224368 3221214608 1131337231 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 38840 13086 16 0 210206 0
vsize: 840888
[startup+1130.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2062
Raw data (stat): 2048 (java) R 2047 21152 21151 0 -1 0 18093 0 1 0 107964 77 0 0 25 0 11 0 781204925 861069312 38869 4294967295 134512640 134569956 3221224368 3221213432 1131357116 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 38869 13086 16 0 210206 0
vsize: 840888
[startup+1140.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2062
Raw data (stat): 2048 (java) R 2047 21152 21151 0 -1 0 18093 0 1 0 108943 78 0 0 25 0 11 0 781204925 861069312 38897 4294967295 134512640 134569956 3221224368 3221214704 1131234752 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 38897 13086 16 0 210206 0
vsize: 840888
[startup+1150.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2062
Raw data (stat): 2048 (java) R 2047 21152 21151 0 -1 0 18093 0 1 0 109911 78 0 0 25 0 11 0 781204925 861069312 38938 4294967295 134512640 134569956 3221224368 3221214600 1131333694 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 38938 13086 16 0 210206 0
vsize: 840888
[startup+1160.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2062
Raw data (stat): 2048 (java) R 2047 21152 21151 0 -1 0 18093 0 1 0 110883 79 0 0 25 0 11 0 781204925 861069312 38967 4294967295 134512640 134569956 3221224368 3221214688 1131336873 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 38967 13086 16 0 210206 0
vsize: 840888
[startup+1170.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2062
Raw data (stat): 2048 (java) S 2047 21152 21151 0 -1 0 18093 0 1 0 111854 79 0 0 25 0 11 0 781204925 861069312 38998 4294967295 134512640 134569956 3221224368 3221213432 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 38998 13086 16 0 210206 0
vsize: 840888
[startup+1180.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2062
Raw data (stat): 2048 (java) R 2047 21152 21151 0 -1 0 18093 0 1 0 112821 80 0 0 25 0 11 0 781204925 861069312 39042 4294967295 134512640 134569956 3221224368 3221213704 1085679290 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 39042 13086 16 0 210206 0
vsize: 840888
[startup+1190.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2062
Raw data (stat): 2048 (java) R 2047 21152 21151 0 -1 0 18093 0 1 0 113793 80 0 0 25 0 11 0 781204925 861069312 39083 4294967295 134512640 134569956 3221224368 3221214704 1131234709 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 39083 13086 16 0 210206 0
vsize: 840888
[startup+1200.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2062
Raw data (stat): 2048 (java) R 2047 21152 21151 0 -1 0 18093 0 1 0 114765 80 0 0 25 0 11 0 781204925 861069312 39118 4294967295 134512640 134569956 3221224368 3221214656 1131297387 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 39118 13086 16 0 210206 0
vsize: 840888
[startup+1210.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2062
Raw data (stat): 2048 (java) R 2047 21152 21151 0 -1 0 18093 0 1 0 115733 81 0 0 25 0 11 0 781204925 861069312 39155 4294967295 134512640 134569956 3221224368 3221214600 1131333823 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 39155 13086 16 0 210206 0
vsize: 840888
[startup+1220.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2062
Raw data (stat): 2048 (java) R 2047 21152 21151 0 -1 0 18093 0 1 0 116702 81 0 0 25 0 11 0 781204925 861069312 39203 4294967295 134512640 134569956 3221224368 3221214704 1131234731 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 39203 13086 16 0 210206 0
vsize: 840888
[startup+1230.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2062
Raw data (stat): 2048 (java) R 2047 21152 21151 0 -1 0 18093 0 1 0 117673 82 0 0 25 0 11 0 781204925 861069312 39247 4294967295 134512640 134569956 3221224368 3221214600 1131333800 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 39247 13086 16 0 210206 0
vsize: 840888
[startup+1240.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2062
Raw data (stat): 2048 (java) R 2047 21152 21151 0 -1 0 18093 0 1 0 118643 83 0 0 24 0 11 0 781204925 861069312 39306 4294967295 134512640 134569956 3221224368 3221214600 1131227640 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 39306 13086 16 0 210206 0
vsize: 840888
[startup+1250.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2062
Raw data (stat): 2048 (java) R 2047 21152 21151 0 -1 0 18093 0 1 0 119619 83 0 0 25 0 11 0 781204925 861069312 39339 4294967295 134512640 134569956 3221224368 3221214336 1131581353 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 39339 13086 16 0 210206 0
vsize: 840888
[startup+1260.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2062
Raw data (stat): 2048 (java) R 2047 21152 21151 0 -1 0 18093 0 1 0 120597 83 0 0 25 0 11 0 781204925 861069312 39360 4294967295 134512640 134569956 3221224368 3221213848 1131357112 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210222 39360 13086 16 0 210206 0
vsize: 840888
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1260.2 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 2064
Raw data (stat): 2048 (java) Z 2047 21152 21151 0 -1 1036 18093 19248 1 0 120600 83 5050 44 25 0 1 0 781204925 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1260.2
CPU time (s): 1257.8
CPU user time (s): 1256.51
CPU system time (s): 1.2878
CPU usage (%): 99.8095
Max. virtual memory (Kb): 840888
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####