PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-rout.opb
MD5SUM	76f802a1f3708b934101fc21122cc5bf
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	31
Biggest coefficient in the objective function	1073741824
Number of bits for the biggest coefficient in the objective function	31
Sum of the numbers in the objective function	2147483647
Number of bits of the sum of numbers in the objective function	31
Biggest number in a constraint	26904326400
Number of bits of the biggest number in a constraint	35
Biggest sum of numbers in a constraint	81230087655
Number of bits of the biggest sum of numbers	37
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.250961
Number of variables	7561
Total number of constraints	606
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	314
Number of constraints which are nor clauses,nor cardinality constraints	292
Minimum length of a constraint	1
Maximum length of a constraint	917
Trace number 29675

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc9 THE 2005-05-25 10:16:14 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21079 boxname=wulflinc9 idbench=1067 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  76f802a1f3708b934101fc21122cc5bf  /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-20-10-rout.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-20-10-rout.opb
IDLAUNCH: 21079
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
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.242
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:        490964 kB
Buffers:         34272 kB
Cached:         488200 kB
SwapCached:        584 kB
Active:          49356 kB
Inactive:       475180 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        490712 kB
SwapTotal:     2097136 kB
SwapFree:      2095724 kB
Dirty:              36 kB
Writeback:           0 kB
Mapped:           5416 kB
Slab:            13616 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 10:36:56 (client local time) WITH STATUS 143 IN 1249.34 SECONDS
stats: 21079 7 1249.34 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/wulflinc9/normalized-mps-v2-20-10-rout.opb
c reading problem ... done. Time 20.763 ms.
c #vars     7561
c #constraints  337
c starts	: 4
c conflicts	: 703
c decisions	: 3604
c propagations	: 73124
c inspects	: 627657
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 702
c root simplifications	: 17
s UNKNOWN
c Total CPU time (ms) : 1239.11
#### 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.99 1.00 1.00 2/54 18977
Raw data (stat): 18977 (runsolver) R 18976 3944 3943 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 779864689 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0002 s]
Raw data (loadavg): 1.07 1.02 1.00 2/63 18986
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18013 0 1 0 828 38 0 0 25 0 10 0 779864689 853622784 19673 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208404 19673 13086 16 0 208388 0
vsize: 833616
[startup+20.0015 s]
Raw data (loadavg): 1.06 1.01 1.00 2/63 18986
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18013 0 1 0 1704 39 0 0 24 0 10 0 779864689 853622784 20570 4294967295 134512640 134569956 3221224368 3221214368 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208404 20570 13086 16 0 208388 0
vsize: 833616
[startup+30.0022 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18041 0 1 0 2579 40 0 0 25 0 11 0 779864689 855814144 21036 4294967295 134512640 134569956 3221224368 3221214656 1131299133 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208939 21036 13086 16 0 208923 0
vsize: 835756
[startup+40.0028 s]
Raw data (loadavg): 1.20 1.05 1.01 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18052 0 1 0 3487 40 0 0 25 0 11 0 779864689 856862720 21659 4294967295 134512640 134569956 3221224368 3221214656 1131299345 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209195 21659 13086 16 0 209179 0
vsize: 836780
[startup+50.0037 s]
Raw data (loadavg): 1.17 1.04 1.01 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18052 0 1 0 4419 40 0 0 25 0 11 0 779864689 856862720 21733 4294967295 134512640 134569956 3221224368 3221214752 1131292956 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209195 21733 13086 16 0 209179 0
vsize: 836780
[startup+60.0036 s]
Raw data (loadavg): 1.14 1.04 1.01 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18053 0 1 0 5379 40 0 0 25 0 11 0 779864689 856862720 22196 4294967295 134512640 134569956 3221224368 3221214752 1131292647 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209195 22196 13086 16 0 209179 0
vsize: 836780
[startup+70.0049 s]
Raw data (loadavg): 1.12 1.04 1.01 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18053 0 1 0 6367 40 0 0 25 0 11 0 779864689 856862720 22196 4294967295 134512640 134569956 3221224368 3221214656 1131299355 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209195 22196 13086 16 0 209179 0
vsize: 836780
[startup+80.0052 s]
Raw data (loadavg): 1.10 1.04 1.01 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18053 0 1 0 7358 41 0 0 25 0 11 0 779864689 856862720 22242 4294967295 134512640 134569956 3221224368 3221214656 1131300352 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209195 22242 13086 16 0 209179 0
vsize: 836780
[startup+90.005 s]
Raw data (loadavg): 1.08 1.04 1.01 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18054 0 1 0 8351 41 0 0 25 0 11 0 779864689 856862720 22252 4294967295 134512640 134569956 3221224368 3221214752 1131292832 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209195 22252 13086 16 0 209179 0
vsize: 836780
[startup+100.007 s]
Raw data (loadavg): 1.07 1.03 1.01 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18054 0 1 0 9344 42 0 0 25 0 11 0 779864689 856862720 22261 4294967295 134512640 134569956 3221224368 3221214656 1131299433 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209195 22261 13086 16 0 209179 0
vsize: 836780
[startup+110.007 s]
Raw data (loadavg): 1.06 1.03 1.01 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18054 0 1 0 10338 42 0 0 25 0 11 0 779864689 856862720 22273 4294967295 134512640 134569956 3221224368 3221214748 1131296136 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209195 22273 13086 16 0 209179 0
vsize: 836780
[startup+120.007 s]
Raw data (loadavg): 1.05 1.03 1.00 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18054 0 1 0 11332 42 0 0 25 0 11 0 779864689 856862720 22282 4294967295 134512640 134569956 3221224368 3221214752 1131292956 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209195 22282 13086 16 0 209179 0
vsize: 836780
[startup+130.007 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18054 0 1 0 12326 42 0 0 25 0 11 0 779864689 856862720 22283 4294967295 134512640 134569956 3221224368 3221214744 1131254439 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209195 22283 13086 16 0 209179 0
vsize: 836780
[startup+140.007 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18054 0 1 0 13320 42 0 0 25 0 11 0 779864689 856862720 22298 4294967295 134512640 134569956 3221224368 3221214752 1131170395 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209195 22298 13086 16 0 209179 0
vsize: 836780
[startup+150.008 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18054 0 1 0 14317 42 0 0 25 0 11 0 779864689 856862720 22303 4294967295 134512640 134569956 3221224368 3221214752 1131170459 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209195 22303 13086 16 0 209179 0
vsize: 836780
[startup+160.008 s]
Raw data (loadavg): 1.10 1.04 1.01 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18056 0 1 0 15271 42 0 0 25 0 11 0 779864689 862715904 23669 4294967295 134512640 134569956 3221224368 3221214624 1131395245 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210624 23669 13086 16 0 210608 0
vsize: 842496
[startup+170.008 s]
Raw data (loadavg): 1.24 1.07 1.02 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18056 0 1 0 16231 43 0 0 25 0 11 0 779864689 862715904 23695 4294967295 134512640 134569956 3221224368 3221214544 1131406688 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210624 23695 13086 16 0 210608 0
vsize: 842496
[startup+180.008 s]
Raw data (loadavg): 1.20 1.07 1.01 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18056 0 1 0 17200 43 0 0 25 0 11 0 779864689 862715904 23698 4294967295 134512640 134569956 3221224368 3221214752 1131292966 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210624 23698 13086 16 0 210608 0
vsize: 842496
[startup+190.008 s]
Raw data (loadavg): 1.17 1.07 1.01 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18056 0 1 0 18147 43 0 0 25 0 11 0 779864689 862715904 23698 4294967295 134512640 134569956 3221224368 3221214748 1131299008 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210624 23698 13086 16 0 210608 0
vsize: 842496
[startup+200.009 s]
Raw data (loadavg): 1.14 1.06 1.01 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18057 0 1 0 19100 43 0 0 25 0 11 0 779864689 862715904 23889 4294967295 134512640 134569956 3221224368 3221214752 1131292956 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210624 23889 13086 16 0 210608 0
vsize: 842496
[startup+210.008 s]
Raw data (loadavg): 1.12 1.06 1.01 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18057 0 1 0 20076 43 0 0 24 0 11 0 779864689 862715904 24152 4294967295 134512640 134569956 3221224368 3221214752 1131292856 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210624 24152 13086 16 0 210608 0
vsize: 842496
[startup+220.01 s]
Raw data (loadavg): 1.10 1.06 1.01 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18057 0 1 0 21065 44 0 0 25 0 11 0 779864689 862715904 24204 4294967295 134512640 134569956 3221224368 3221214752 1131170321 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210624 24204 13086 16 0 210608 0
vsize: 842496
[startup+230.01 s]
Raw data (loadavg): 1.08 1.06 1.01 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18057 0 1 0 22037 44 0 0 25 0 11 0 779864689 862715904 24213 4294967295 134512640 134569956 3221224368 3221214752 1131292956 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210624 24213 13086 16 0 210608 0
vsize: 842496
[startup+240.01 s]
Raw data (loadavg): 1.07 1.05 1.01 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18057 0 1 0 23007 44 0 0 25 0 11 0 779864689 862715904 24215 4294967295 134512640 134569956 3221224368 3221214800 1131306266 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210624 24215 13086 16 0 210608 0
vsize: 842496
[startup+250.011 s]
Raw data (loadavg): 1.06 1.05 1.01 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18057 0 1 0 23979 45 0 0 25 0 11 0 779864689 862715904 24244 4294967295 134512640 134569956 3221224368 3221214632 1131395275 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210624 24244 13086 16 0 210608 0
vsize: 842496
[startup+260.011 s]
Raw data (loadavg): 1.05 1.05 1.01 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18057 0 1 0 24949 45 0 0 18 0 11 0 779864689 862715904 24388 4294967295 134512640 134569956 3221224368 3221214488 1131299813 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210624 24388 13086 16 0 210608 0
vsize: 842496
[startup+270.012 s]
Raw data (loadavg): 1.04 1.05 1.01 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18057 0 1 0 25923 46 0 0 25 0 11 0 779864689 862715904 24512 4294967295 134512640 134569956 3221224368 3221214544 1131256087 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210624 24512 13086 16 0 210608 0
vsize: 842496
[startup+280.013 s]
Raw data (loadavg): 1.04 1.05 1.00 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18057 0 1 0 26894 46 0 0 25 0 11 0 779864689 862715904 24566 4294967295 134512640 134569956 3221224368 3221214664 1131205452 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210624 24566 13086 16 0 210608 0
vsize: 842496
[startup+290.012 s]
Raw data (loadavg): 1.03 1.04 1.00 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18057 0 1 0 27858 47 0 0 25 0 11 0 779864689 862715904 24601 4294967295 134512640 134569956 3221224368 3221214632 1131395131 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210624 24601 13086 16 0 210608 0
vsize: 842496
[startup+300.013 s]
Raw data (loadavg): 1.02 1.04 1.00 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18057 0 1 0 28810 47 0 0 25 0 11 0 779864689 862715904 24695 4294967295 134512640 134569956 3221224368 3221214776 1131302739 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210624 24695 13086 16 0 210608 0
vsize: 842496
[startup+310.014 s]
Raw data (loadavg): 1.02 1.04 1.00 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18057 0 1 0 29765 47 0 0 25 0 11 0 779864689 862715904 24853 4294967295 134512640 134569956 3221224368 3221214800 1131306335 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210624 24853 13086 16 0 210608 0
vsize: 842496
[startup+320.015 s]
Raw data (loadavg): 1.02 1.04 1.00 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18057 0 1 0 30729 48 0 0 25 0 11 0 779864689 862715904 25056 4294967295 134512640 134569956 3221224368 3221214752 1131170321 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210624 25056 13086 16 0 210608 0
vsize: 842496
[startup+330.015 s]
Raw data (loadavg): 1.01 1.04 1.00 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18057 0 1 0 31714 48 0 0 25 0 11 0 779864689 862715904 25250 4294967295 134512640 134569956 3221224368 3221214752 1131292956 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210624 25250 13086 16 0 210608 0
vsize: 842496
[startup+340.015 s]
Raw data (loadavg): 1.01 1.04 1.00 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18057 0 1 0 32706 48 0 0 25 0 11 0 779864689 862715904 25256 4294967295 134512640 134569956 3221224368 3221214616 1131044866 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210624 25256 13086 16 0 210608 0
vsize: 842496
[startup+350.015 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18057 0 1 0 33699 49 0 0 25 0 11 0 779864689 862715904 25277 4294967295 134512640 134569956 3221224368 3221214800 1131306288 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210624 25277 13086 16 0 210608 0
vsize: 842496
[startup+360.016 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18057 0 1 0 34693 49 0 0 25 0 11 0 779864689 862715904 25278 4294967295 134512640 134569956 3221224368 3221214656 1131299189 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210624 25278 13086 16 0 210608 0
vsize: 842496
[startup+370.017 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18057 0 1 0 35687 49 0 0 25 0 11 0 779864689 862715904 25282 4294967295 134512640 134569956 3221224368 3221214752 1131292621 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210624 25282 13086 16 0 210608 0
vsize: 842496
[startup+380.018 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18057 0 1 0 36678 49 0 0 25 0 11 0 779864689 862715904 25295 4294967295 134512640 134569956 3221224368 3221214656 1131299379 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210624 25295 13086 16 0 210608 0
vsize: 842496
[startup+390.018 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18057 0 1 0 37669 49 0 0 25 0 11 0 779864689 862715904 25307 4294967295 134512640 134569956 3221224368 3221214656 1131299189 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210624 25307 13086 16 0 210608 0
vsize: 842496
[startup+400.02 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18057 0 1 0 38658 50 0 0 25 0 11 0 779864689 862715904 25309 4294967295 134512640 134569956 3221224368 3221214748 1131254469 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210624 25309 13086 16 0 210608 0
vsize: 842496
[startup+410.02 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18057 0 1 0 39643 50 0 0 25 0 11 0 779864689 862715904 25338 4294967295 134512640 134569956 3221224368 3221214632 1131394929 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210624 25338 13086 16 0 210608 0
vsize: 842496
[startup+420.021 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18057 0 1 0 40625 50 0 0 25 0 11 0 779864689 862715904 25353 4294967295 134512640 134569956 3221224368 3221214752 1131170321 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210624 25353 13086 16 0 210608 0
vsize: 842496
[startup+430.022 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18057 0 1 0 41604 51 0 0 25 0 11 0 779864689 862715904 25389 4294967295 134512640 134569956 3221224368 3221214656 1131299454 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210624 25389 13086 16 0 210608 0
vsize: 842496
[startup+440.021 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18057 0 1 0 42582 51 0 0 25 0 11 0 779864689 862715904 25447 4294967295 134512640 134569956 3221224368 3221214544 1131256127 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210624 25447 13086 16 0 210608 0
vsize: 842496
[startup+450.023 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 18987
Raw data (stat): 18977 (java) S 18976 3944 3943 0 -1 0 18057 0 1 0 43560 52 0 0 25 0 11 0 779864689 862715904 25499 4294967295 134512640 134569956 3221224368 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210624 25499 13086 16 0 210608 0
vsize: 842496
[startup+460.023 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18057 0 1 0 44538 52 0 0 25 0 11 0 779864689 862715904 25565 4294967295 134512640 134569956 3221224368 3221214656 1131299131 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210624 25565 13086 16 0 210608 0
vsize: 842496
[startup+470.024 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18057 0 1 0 45511 52 0 0 25 0 11 0 779864689 862715904 25615 4294967295 134512640 134569956 3221224368 3221214648 1131295367 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210624 25615 13086 16 0 210608 0
vsize: 842496
[startup+480.025 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18057 0 1 0 46485 53 0 0 25 0 11 0 779864689 862715904 25683 4294967295 134512640 134569956 3221224368 3221214656 1131300450 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210624 25683 13086 16 0 210608 0
vsize: 842496
[startup+490.025 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18057 0 1 0 47466 54 0 0 25 0 11 0 779864689 862715904 25768 4294967295 134512640 134569956 3221224368 3221214752 1131292880 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210624 25768 13086 16 0 210608 0
vsize: 842496
[startup+500.025 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18057 0 1 0 48449 55 0 0 24 0 11 0 779864689 862715904 25857 4294967295 134512640 134569956 3221224368 3221214544 1131257041 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210624 25857 13086 16 0 210608 0
vsize: 842496
[startup+510.025 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18057 0 1 0 49438 55 0 0 25 0 11 0 779864689 862715904 25866 4294967295 134512640 134569956 3221224368 3221214632 1131394691 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210624 25866 13086 16 0 210608 0
vsize: 842496
[startup+520.026 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18057 0 1 0 50422 56 0 0 25 0 11 0 779864689 862715904 25885 4294967295 134512640 134569956 3221224368 3221214656 1131299672 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210624 25885 13086 16 0 210608 0
vsize: 842496
[startup+530.027 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18057 0 1 0 51407 56 0 0 24 0 11 0 779864689 862715904 25919 4294967295 134512640 134569956 3221224368 3221214664 1131206012 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210624 25919 13086 16 0 210608 0
vsize: 842496
[startup+540.027 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18057 0 1 0 52393 57 0 0 25 0 11 0 779864689 862715904 25941 4294967295 134512640 134569956 3221224368 3221214552 1131405918 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210624 25941 13086 16 0 210608 0
vsize: 842496
[startup+550.028 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18057 0 1 0 53378 57 0 0 25 0 11 0 779864689 862715904 25988 4294967295 134512640 134569956 3221224368 3221214544 1131263495 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210624 25988 13086 16 0 210608 0
vsize: 842496
[startup+560.029 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18057 0 1 0 54364 58 0 0 24 0 11 0 779864689 862715904 26023 4294967295 134512640 134569956 3221224368 3221214776 1131302749 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210624 26023 13086 16 0 210608 0
vsize: 842496
[startup+570.03 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18057 0 1 0 55351 58 0 0 25 0 11 0 779864689 862715904 26059 4294967295 134512640 134569956 3221224368 3221214656 1131299615 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210624 26059 13086 16 0 210608 0
vsize: 842496
[startup+580.031 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18057 0 1 0 56334 58 0 0 25 0 11 0 779864689 862715904 26093 4294967295 134512640 134569956 3221224368 3221214752 1131170297 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210624 26093 13086 16 0 210608 0
vsize: 842496
[startup+590.031 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18057 0 1 0 57319 59 0 0 25 0 11 0 779864689 862715904 26124 4294967295 134512640 134569956 3221224368 3221214632 1131394932 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210624 26124 13086 16 0 210608 0
vsize: 842496
[startup+600.032 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18057 0 1 0 58304 60 0 0 25 0 11 0 779864689 862715904 26166 4294967295 134512640 134569956 3221224368 3221214400 1078033022 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210624 26166 13086 16 0 210608 0
vsize: 842496
[startup+610.033 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18057 0 1 0 59288 60 0 0 25 0 11 0 779864689 862715904 26202 4294967295 134512640 134569956 3221224368 3221214608 1131210864 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210624 26202 13086 16 0 210608 0
vsize: 842496
[startup+620.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18057 0 1 0 60272 61 0 0 24 0 11 0 779864689 862715904 26237 4294967295 134512640 134569956 3221224368 3221214656 1131299160 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210624 26237 13086 16 0 210608 0
vsize: 842496
[startup+630.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18057 0 1 0 61260 61 0 0 25 0 11 0 779864689 862715904 26274 4294967295 134512640 134569956 3221224368 3221214656 1131299763 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210624 26274 13086 16 0 210608 0
vsize: 842496
[startup+640.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18057 0 1 0 62245 61 0 0 25 0 11 0 779864689 862715904 26311 4294967295 134512640 134569956 3221224368 3221214752 1131292775 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210624 26311 13086 16 0 210608 0
vsize: 842496
[startup+650.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18057 0 1 0 63232 61 0 0 25 0 11 0 779864689 862715904 26348 4294967295 134512640 134569956 3221224368 3221214632 1131395272 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210624 26348 13086 16 0 210608 0
vsize: 842496
[startup+660.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18057 0 1 0 64211 62 0 0 25 0 11 0 779864689 862715904 26391 4294967295 134512640 134569956 3221224368 3221214664 1131205479 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210624 26391 13086 16 0 210608 0
vsize: 842496
[startup+670.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18057 0 1 0 65193 63 0 0 25 0 11 0 779864689 862715904 26435 4294967295 134512640 134569956 3221224368 3221214776 1131302778 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210624 26435 13086 16 0 210608 0
vsize: 842496
[startup+680.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18057 0 1 0 66180 63 0 0 25 0 11 0 779864689 862715904 26478 4294967295 134512640 134569956 3221224368 3221214752 1131170318 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210624 26478 13086 16 0 210608 0
vsize: 842496
[startup+690.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18058 0 1 0 67171 63 0 0 25 0 11 0 779864689 862715904 26520 4294967295 134512640 134569956 3221224368 3221214656 1131300000 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210624 26520 13086 16 0 210608 0
vsize: 842496
[startup+700.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18058 0 1 0 68165 63 0 0 25 0 11 0 779864689 862715904 26522 4294967295 134512640 134569956 3221224368 3221214656 1131299220 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210624 26522 13086 16 0 210608 0
vsize: 842496
[startup+710.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18058 0 1 0 69156 64 0 0 25 0 11 0 779864689 862715904 26525 4294967295 134512640 134569956 3221224368 3221214656 1131299189 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210624 26525 13086 16 0 210608 0
vsize: 842496
[startup+720.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18058 0 1 0 70148 64 0 0 25 0 11 0 779864689 862715904 26525 4294967295 134512640 134569956 3221224368 3221214656 1131299133 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210624 26525 13086 16 0 210608 0
vsize: 842496
[startup+730.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18058 0 1 0 71140 64 0 0 25 0 11 0 779864689 862715904 26529 4294967295 134512640 134569956 3221224368 3221214632 1131395245 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210624 26529 13086 16 0 210608 0
vsize: 842496
[startup+740.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18058 0 1 0 72131 64 0 0 25 0 11 0 779864689 862715904 26554 4294967295 134512640 134569956 3221224368 3221214648 1131295521 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210624 26554 13086 16 0 210608 0
vsize: 842496
[startup+750.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18058 0 1 0 73122 65 0 0 25 0 11 0 779864689 862715904 26560 4294967295 134512640 134569956 3221224368 3221214656 1131299519 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210624 26560 13086 16 0 210608 0
vsize: 842496
[startup+760.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18058 0 1 0 74112 65 0 0 25 0 11 0 779864689 862715904 26571 4294967295 134512640 134569956 3221224368 3221214656 1131299261 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210624 26571 13086 16 0 210608 0
vsize: 842496
[startup+770.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18058 0 1 0 75103 65 0 0 25 0 11 0 779864689 862715904 26587 4294967295 134512640 134569956 3221224368 3221214656 1131299567 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210624 26587 13086 16 0 210608 0
vsize: 842496
[startup+780.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18058 0 1 0 76095 66 0 0 25 0 11 0 779864689 862715904 26614 4294967295 134512640 134569956 3221224368 3221214656 1131299989 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210624 26614 13086 16 0 210608 0
vsize: 842496
[startup+790.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18058 0 1 0 77086 66 0 0 25 0 11 0 779864689 862715904 26616 4294967295 134512640 134569956 3221224368 3221214656 1131299666 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210624 26616 13086 16 0 210608 0
vsize: 842496
[startup+800.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18058 0 1 0 78074 67 0 0 24 0 11 0 779864689 862715904 26617 4294967295 134512640 134569956 3221224368 3221214800 1131306021 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210624 26617 13086 16 0 210608 0
vsize: 842496
[startup+810.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18058 0 1 0 79061 67 0 0 25 0 11 0 779864689 862715904 26624 4294967295 134512640 134569956 3221224368 3221214656 1131299231 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210624 26624 13086 16 0 210608 0
vsize: 842496
[startup+820.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18058 0 1 0 80045 68 0 0 24 0 11 0 779864689 862715904 26649 4294967295 134512640 134569956 3221224368 3221214656 1131300674 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210624 26649 13086 16 0 210608 0
vsize: 842496
[startup+830.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18058 0 1 0 81029 68 0 0 25 0 11 0 779864689 862715904 26693 4294967295 134512640 134569956 3221224368 3221214632 1131395026 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210624 26693 13086 16 0 210608 0
vsize: 842496
[startup+840.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18058 0 1 0 82015 68 0 0 25 0 11 0 779864689 862715904 26723 4294967295 134512640 134569956 3221224368 3221214632 1131395026 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210624 26723 13086 16 0 210608 0
vsize: 842496
[startup+850.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18058 0 1 0 82999 69 0 0 25 0 11 0 779864689 862715904 26753 4294967295 134512640 134569956 3221224368 3221214656 1131299038 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210624 26753 13086 16 0 210608 0
vsize: 842496
[startup+860.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18058 0 1 0 83984 69 0 0 25 0 11 0 779864689 862715904 26795 4294967295 134512640 134569956 3221224368 3221214752 1131292902 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210624 26795 13086 16 0 210608 0
vsize: 842496
[startup+870.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18058 0 1 0 84969 69 0 0 25 0 11 0 779864689 862715904 26824 4294967295 134512640 134569956 3221224368 3221214656 1131299355 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210624 26824 13086 16 0 210608 0
vsize: 842496
[startup+880.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18058 0 1 0 85956 69 0 0 25 0 11 0 779864689 862715904 26854 4294967295 134512640 134569956 3221224368 3221214752 1131170304 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210624 26854 13086 16 0 210608 0
vsize: 842496
[startup+890.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18058 0 1 0 86944 69 0 0 25 0 11 0 779864689 862715904 26902 4294967295 134512640 134569956 3221224368 3221214752 1131292951 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210624 26902 13086 16 0 210608 0
vsize: 842496
[startup+900.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18058 0 1 0 87933 69 0 0 25 0 11 0 779864689 862715904 26939 4294967295 134512640 134569956 3221224368 3221214656 1131299426 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210624 26939 13086 16 0 210608 0
vsize: 842496
[startup+910.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18058 0 1 0 88924 69 0 0 25 0 11 0 779864689 862715904 26939 4294967295 134512640 134569956 3221224368 3221214752 1131292956 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210624 26939 13086 16 0 210608 0
vsize: 842496
[startup+920.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18058 0 1 0 89912 69 0 0 25 0 11 0 779864689 862715904 26939 4294967295 134512640 134569956 3221224368 3221214752 1131170430 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210624 26939 13086 16 0 210608 0
vsize: 842496
[startup+930.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18058 0 1 0 90897 69 0 0 25 0 11 0 779864689 862715904 26960 4294967295 134512640 134569956 3221224368 3221214656 1131299689 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210624 26960 13086 16 0 210608 0
vsize: 842496
[startup+940.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18058 0 1 0 91884 69 0 0 25 0 11 0 779864689 862715904 26991 4294967295 134512640 134569956 3221224368 3221214656 1131299189 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210624 26991 13086 16 0 210608 0
vsize: 842496
[startup+950.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18058 0 1 0 92874 70 0 0 25 0 11 0 779864689 862715904 27019 4294967295 134512640 134569956 3221224368 3221214656 1131299160 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210624 27019 13086 16 0 210608 0
vsize: 842496
[startup+960.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18058 0 1 0 93866 70 0 0 25 0 11 0 779864689 862715904 27022 4294967295 134512640 134569956 3221224368 3221214800 1131306288 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210624 27022 13086 16 0 210608 0
vsize: 842496
[startup+970.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18058 0 1 0 94860 70 0 0 25 0 11 0 779864689 862715904 27037 4294967295 134512640 134569956 3221224368 3221214632 1131395392 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210624 27037 13086 16 0 210608 0
vsize: 842496
[startup+980.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18058 0 1 0 95850 70 0 0 25 0 11 0 779864689 862715904 27039 4294967295 134512640 134569956 3221224368 3221214528 1131256087 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210624 27039 13086 16 0 210608 0
vsize: 842496
[startup+990.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18058 0 1 0 96829 70 0 0 25 0 11 0 779864689 862715904 27040 4294967295 134512640 134569956 3221224368 3221214528 1131256070 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210624 27040 13086 16 0 210608 0
vsize: 842496
[startup+1000.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18058 0 1 0 97806 70 0 0 25 0 11 0 779864689 862715904 27040 4294967295 134512640 134569956 3221224368 3221214552 1131407688 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210624 27040 13086 16 0 210608 0
vsize: 842496
[startup+1010.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18058 0 1 0 98769 70 0 0 25 0 11 0 779864689 862715904 27043 4294967295 134512640 134569956 3221224368 3221214232 1131170307 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210624 27043 13086 16 0 210608 0
vsize: 842496
[startup+1020.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18058 0 1 0 99734 70 0 0 25 0 11 0 779864689 862715904 27043 4294967295 134512640 134569956 3221224368 3221214632 1131395245 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210624 27043 13086 16 0 210608 0
vsize: 842496
[startup+1030.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18058 0 1 0 100693 70 0 0 25 0 11 0 779864689 862715904 27103 4294967295 134512640 134569956 3221224368 3221214632 1131394950 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210624 27103 13086 16 0 210608 0
vsize: 842496
[startup+1040.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18058 0 1 0 101643 71 0 0 25 0 11 0 779864689 862715904 27303 4294967295 134512640 134569956 3221224368 3221214528 1131256023 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210624 27303 13086 16 0 210608 0
vsize: 842496
[startup+1050.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18058 0 1 0 102604 71 0 0 25 0 11 0 779864689 862715904 27434 4294967295 134512640 134569956 3221224368 3221214552 1131405948 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210624 27434 13086 16 0 210608 0
vsize: 842496
[startup+1060.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18058 0 1 0 103564 71 0 0 25 0 11 0 779864689 862715904 27554 4294967295 134512640 134569956 3221224368 3221214632 1131395407 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210624 27554 13086 16 0 210608 0
vsize: 842496
[startup+1070.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18058 0 1 0 104514 71 0 0 24 0 11 0 779864689 862715904 27772 4294967295 134512640 134569956 3221224368 3221214544 1131256127 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210624 27772 13086 16 0 210608 0
vsize: 842496
[startup+1080.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18058 0 1 0 105474 72 0 0 25 0 11 0 779864689 862715904 27893 4294967295 134512640 134569956 3221224368 3221214660 1131127964 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210624 27893 13086 16 0 210608 0
vsize: 842496
[startup+1090.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18058 0 1 0 106434 72 0 0 25 0 11 0 779864689 862715904 28029 4294967295 134512640 134569956 3221224368 3221214552 1131407568 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210624 28029 13086 16 0 210608 0
vsize: 842496
[startup+1100.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18058 0 1 0 107394 73 0 0 25 0 11 0 779864689 862715904 28176 4294967295 134512640 134569956 3221224368 3221214544 1131256087 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210624 28176 13086 16 0 210608 0
vsize: 842496
[startup+1110.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18058 0 1 0 108345 73 0 0 25 0 11 0 779864689 862715904 28369 4294967295 134512640 134569956 3221224368 3221214552 1131406688 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210624 28369 13086 16 0 210608 0
vsize: 842496
[startup+1120.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18058 0 1 0 109304 73 0 0 25 0 11 0 779864689 862715904 28463 4294967295 134512640 134569956 3221224368 3221214536 1131378712 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210624 28463 13086 16 0 210608 0
vsize: 842496
[startup+1130.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18058 0 1 0 110263 73 0 0 25 0 11 0 779864689 862715904 28657 4294967295 134512640 134569956 3221224368 3221214544 1131256127 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210624 28657 13086 16 0 210608 0
vsize: 842496
[startup+1140.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18058 0 1 0 111222 73 0 0 25 0 11 0 779864689 862715904 28746 4294967295 134512640 134569956 3221224368 3221214552 1131406688 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210624 28746 13086 16 0 210608 0
vsize: 842496
[startup+1150.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18058 0 1 0 112170 73 0 0 25 0 11 0 779864689 862715904 29013 4294967295 134512640 134569956 3221224368 3221214632 1131395245 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210624 29013 13086 16 0 210608 0
vsize: 842496
[startup+1160.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18058 0 1 0 113127 74 0 0 25 0 11 0 779864689 862715904 29137 4294967295 134512640 134569956 3221224368 3221214544 1131256087 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210624 29137 13086 16 0 210608 0
vsize: 842496
[startup+1170.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18058 0 1 0 114085 74 0 0 25 0 11 0 779864689 862715904 29294 4294967295 134512640 134569956 3221224368 3221214552 1131406664 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210624 29294 13086 16 0 210608 0
vsize: 842496
[startup+1180.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18058 0 1 0 115043 74 0 0 25 0 11 0 779864689 862715904 29399 4294967295 134512640 134569956 3221224368 3221214536 1131529365 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210624 29399 13086 16 0 210608 0
vsize: 842496
[startup+1190.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18058 0 1 0 115990 75 0 0 25 0 11 0 779864689 862715904 29618 4294967295 134512640 134569956 3221224368 3221214624 1131297755 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210624 29618 13086 16 0 210608 0
vsize: 842496
[startup+1200.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18058 0 1 0 116949 75 0 0 25 0 11 0 779864689 862715904 29707 4294967295 134512640 134569956 3221224368 3221214632 1131394915 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210624 29707 13086 16 0 210608 0
vsize: 842496
[startup+1210.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18058 0 1 0 117906 75 0 0 25 0 11 0 779864689 862715904 29867 4294967295 134512640 134569956 3221224368 3221214552 1131405948 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210624 29867 13086 16 0 210608 0
vsize: 842496
[startup+1220.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18058 0 1 0 118863 76 0 0 25 0 11 0 779864689 862715904 30090 4294967295 134512640 134569956 3221224368 3221214544 1131256127 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210624 30090 13086 16 0 210608 0
vsize: 842496
[startup+1230.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18058 0 1 0 119810 77 0 0 25 0 11 0 779864689 862715904 30287 4294967295 134512640 134569956 3221224368 3221214544 1131256127 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210624 30287 13086 16 0 210608 0
vsize: 842496
[startup+1240.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18987
Raw data (stat): 18977 (java) R 18976 3944 3943 0 -1 0 18058 0 1 0 120769 77 0 0 25 0 11 0 779864689 862715904 30390 4294967295 134512640 134569956 3221224368 3221214632 1131395017 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210624 30390 13086 16 0 210608 0
vsize: 842496
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.17 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 18989
Raw data (stat): 18977 (java) Z 18976 3944 3943 0 -1 1036 18058 16470 1 0 120771 83 4031 46 25 0 1 0 779864689 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): 1240.17
CPU time (s): 1249.34
CPU user time (s): 1248.03
CPU system time (s): 1.3018
CPU usage (%): 100.739
Max. virtual memory (Kb): 842496
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####