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/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-ship12s.opb
MD5SUM	8b36f38cb0ceb42bd2113a818ef52485
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	82890
Biggest coefficient in the objective function	1511023181824000
Number of bits for the biggest coefficient in the objective function	51
Sum of the numbers in the objective function	204819735955723812
Number of bits of the sum of numbers in the objective function	58
Biggest number in a constraint	1511023181824000
Number of bits of the biggest number in a constraint	51
Biggest sum of numbers in a constraint	204819735955723812
Number of bits of the biggest sum of numbers	58
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.776881
Number of variables	82890
Total number of constraints	1042
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	1042
Minimum length of a constraint	30
Maximum length of a constraint	1470
Trace number 29496

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        295528 kB
Buffers:         37644 kB
Cached:         674520 kB
SwapCached:          0 kB
Active:          90388 kB
Inactive:       628708 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        295276 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           7068 kB
Slab:            14328 kB
Committed_AS:    63700 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 08:41:54 (client local time) WITH STATUS 143 IN 1310.03 SECONDS
stats: 20895 7 1310.03 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c SAT4J: a SATisfiability library for Java (c) 2004-2005 Daniel Le Berre
c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
c version Special PB05 Second trial
c --- Begin Solver configuration ---
c org.sat4j.minisat.uip.FirstUIP@1e4cbc4
c org.sat4j.minisat.constraints.PBMinDataStructure@1fdc96c
c org.sat4j.minisat.learning.MiniSATLearning@b2fd8f
c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 
c 
c --- End Solver configuration ---
c solving /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-20-10-ship12s.opb
c reading problem ... c starts	: 0
c conflicts	: 0
c decisions	: 0
c propagations	: 0
c inspects	: 0
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 0
s UNKNOWN
c Total CPU time (ms) : 1309.195
#### 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.94 0.99 0.99 2/54 16024
Raw data (stat): 16024 (runsolver) R 16023 3132 3131 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 765602611 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0006 s]
Raw data (loadavg): 0.95 0.99 0.99 2/63 16033
Raw data (stat): 16024 (java) R 16023 3132 3131 0 -1 0 18011 0 1 0 867 41 0 0 25 0 10 0 765602611 857182208 20131 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209273 20131 13086 16 0 209257 0
vsize: 837092
[startup+20.0013 s]
Raw data (loadavg): 0.95 0.99 0.99 2/63 16033
Raw data (stat): 16024 (java) S 16023 3132 3131 0 -1 0 18011 0 1 0 1755 41 0 0 25 0 10 0 765602611 854757376 20132 4294967295 134512640 134569956 3221224368 3221213704 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208681 20132 13086 16 0 208665 0
vsize: 834724
[startup+30.0021 s]
Raw data (loadavg): 0.96 0.99 0.99 2/63 16033
Raw data (stat): 16024 (java) R 16023 3132 3131 0 -1 0 18011 0 1 0 2650 41 0 0 25 0 10 0 765602611 853835776 20417 4294967295 134512640 134569956 3221224368 3221214464 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208456 20417 13086 16 0 208440 0
vsize: 833824
[startup+40.003 s]
Raw data (loadavg): 0.97 0.99 0.99 2/63 16033
Raw data (stat): 16024 (java) R 16023 3132 3131 0 -1 0 18011 0 1 0 3563 42 0 0 25 0 10 0 765602611 853975040 20753 4294967295 134512640 134569956 3221224368 3221214768 1131244285 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 20753 13086 16 0 208474 0
vsize: 833960
[startup+50.0048 s]
Raw data (loadavg): 0.97 0.99 0.99 2/63 16033
Raw data (stat): 16024 (java) R 16023 3132 3131 0 -1 0 18011 0 1 0 4482 42 0 0 25 0 10 0 765602611 853975040 20921 4294967295 134512640 134569956 3221224368 3221214768 1131242942 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 20921 13086 16 0 208474 0
vsize: 833960
[startup+60.0054 s]
Raw data (loadavg): 0.98 0.99 0.99 2/63 16033
Raw data (stat): 16024 (java) R 16023 3132 3131 0 -1 0 18011 0 1 0 5397 42 0 0 25 0 10 0 765602611 853975040 21057 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 21057 13086 16 0 208474 0
vsize: 833960
[startup+70.0053 s]
Raw data (loadavg): 0.98 0.99 0.99 2/63 16033
Raw data (stat): 16024 (java) R 16023 3132 3131 0 -1 0 18011 0 1 0 6323 43 0 0 25 0 10 0 765602611 853835776 21274 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208456 21274 13086 16 0 208440 0
vsize: 833824
[startup+80.006 s]
Raw data (loadavg): 0.98 0.99 0.99 2/63 16033
Raw data (stat): 16024 (java) R 16023 3132 3131 0 -1 0 18011 0 1 0 7259 43 0 0 25 0 10 0 765602611 853835776 21379 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208456 21379 13086 16 0 208440 0
vsize: 833824
[startup+90.0068 s]
Raw data (loadavg): 0.98 0.99 0.99 2/63 16033
Raw data (stat): 16024 (java) R 16023 3132 3131 0 -1 0 18011 0 1 0 8198 43 0 0 25 0 10 0 765602611 853835776 21474 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208456 21474 13086 16 0 208440 0
vsize: 833824
[startup+100.008 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 16033
Raw data (stat): 16024 (java) R 16023 3132 3131 0 -1 0 18011 0 1 0 9137 44 0 0 24 0 10 0 765602611 853835776 21563 4294967295 134512640 134569956 3221224368 3221214748 1080204146 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208456 21563 13086 16 0 208440 0
vsize: 833824
[startup+110.009 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 16033
Raw data (stat): 16024 (java) R 16023 3132 3131 0 -1 0 18011 0 1 0 10080 44 0 0 25 0 10 0 765602611 853835776 21642 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208456 21642 13086 16 0 208440 0
vsize: 833824
[startup+120.009 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 16033
Raw data (stat): 16024 (java) R 16023 3132 3131 0 -1 0 18011 0 1 0 11021 45 0 0 25 0 10 0 765602611 853835776 21720 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208456 21720 13086 16 0 208440 0
vsize: 833824
[startup+130.01 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 16033
Raw data (stat): 16024 (java) R 16023 3132 3131 0 -1 0 18011 0 1 0 11961 45 0 0 25 0 10 0 765602611 853835776 21794 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208456 21794 13086 16 0 208440 0
vsize: 833824
[startup+140.011 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 16033
Raw data (stat): 16024 (java) R 16023 3132 3131 0 -1 0 18011 0 1 0 12902 46 0 0 24 0 10 0 765602611 853835776 21865 4294967295 134512640 134569956 3221224368 3221214748 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208456 21865 13086 16 0 208440 0
vsize: 833824
[startup+150.012 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 16033
Raw data (stat): 16024 (java) R 16023 3132 3131 0 -1 0 18011 0 1 0 13846 46 0 0 25 0 10 0 765602611 853835776 21928 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208456 21928 13086 16 0 208440 0
vsize: 833824
[startup+160.013 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 16033
Raw data (stat): 16024 (java) R 16023 3132 3131 0 -1 0 18011 0 1 0 14787 46 0 0 25 0 10 0 765602611 853835776 21993 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208456 21993 13086 16 0 208440 0
vsize: 833824
[startup+170.013 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 16033
Raw data (stat): 16024 (java) R 16023 3132 3131 0 -1 0 18011 0 1 0 15719 46 0 0 25 0 10 0 765602611 853835776 22056 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208456 22056 13086 16 0 208440 0
vsize: 833824
[startup+180.014 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 16033
Raw data (stat): 16024 (java) R 16023 3132 3131 0 -1 0 18011 0 1 0 16636 46 0 0 25 0 10 0 765602611 853835776 22113 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208456 22113 13086 16 0 208440 0
vsize: 833824
[startup+190.015 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 16033
Raw data (stat): 16024 (java) R 16023 3132 3131 0 -1 0 18011 0 1 0 17556 47 0 0 25 0 10 0 765602611 853835776 22428 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208456 22428 13086 16 0 208440 0
vsize: 833824
[startup+200.016 s]
Raw data (loadavg): 1.07 1.01 1.00 2/63 16033
Raw data (stat): 16024 (java) S 16023 3132 3131 0 -1 0 18011 0 1 0 18496 47 0 0 25 0 10 0 765602611 853835776 22483 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208456 22483 13086 16 0 208440 0
vsize: 833824
[startup+210.016 s]
Raw data (loadavg): 1.06 1.01 1.00 2/63 16033
Raw data (stat): 16024 (java) R 16023 3132 3131 0 -1 0 18011 0 1 0 19433 47 0 0 25 0 10 0 765602611 853835776 22537 4294967295 134512640 134569956 3221224368 3221214180 1077559776 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208456 22537 13086 16 0 208440 0
vsize: 833824
[startup+220.022 s]
Raw data (loadavg): 1.05 1.01 1.00 2/63 16033
Raw data (stat): 16024 (java) R 16023 3132 3131 0 -1 0 18011 0 1 0 20370 48 0 0 25 0 10 0 765602611 853835776 22591 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208456 22591 13086 16 0 208440 0
vsize: 833824
[startup+230.035 s]
Raw data (loadavg): 1.04 1.00 1.00 2/63 16033
Raw data (stat): 16024 (java) R 16023 3132 3131 0 -1 0 18011 0 1 0 21308 49 0 0 25 0 10 0 765602611 853835776 22644 4294967295 134512640 134569956 3221224368 3221214200 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208456 22644 13086 16 0 208440 0
vsize: 833824
[startup+240.036 s]
Raw data (loadavg): 1.04 1.00 1.00 2/63 16033
Raw data (stat): 16024 (java) R 16023 3132 3131 0 -1 0 18011 0 1 0 22248 49 0 0 25 0 10 0 765602611 853835776 22692 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208456 22692 13086 16 0 208440 0
vsize: 833824
[startup+250.036 s]
Raw data (loadavg): 1.03 1.00 1.00 2/63 16033
Raw data (stat): 16024 (java) R 16023 3132 3131 0 -1 0 18011 0 1 0 23183 49 0 0 25 0 10 0 765602611 853835776 22742 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208456 22742 13086 16 0 208440 0
vsize: 833824
[startup+260.037 s]
Raw data (loadavg): 1.03 1.00 1.00 2/63 16033
Raw data (stat): 16024 (java) R 16023 3132 3131 0 -1 0 18011 0 1 0 24118 50 0 0 25 0 10 0 765602611 853835776 22791 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208456 22791 13086 16 0 208440 0
vsize: 833824
[startup+270.037 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 16033
Raw data (stat): 16024 (java) S 16023 3132 3131 0 -1 0 18011 0 1 0 25053 51 0 0 25 0 10 0 765602611 853835776 22837 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208456 22837 13086 16 0 208440 0
vsize: 833824
[startup+280.038 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 16033
Raw data (stat): 16024 (java) R 16023 3132 3131 0 -1 0 18011 0 1 0 25990 51 0 0 25 0 10 0 765602611 853835776 22882 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208456 22882 13086 16 0 208440 0
vsize: 833824
[startup+290.039 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 16033
Raw data (stat): 16024 (java) R 16023 3132 3131 0 -1 0 18011 0 1 0 26924 52 0 0 25 0 10 0 765602611 853835776 22928 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208456 22928 13086 16 0 208440 0
vsize: 833824
[startup+300.04 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 16033
Raw data (stat): 16024 (java) R 16023 3132 3131 0 -1 0 18011 0 1 0 27860 52 0 0 25 0 10 0 765602611 853835776 22971 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208456 22971 13086 16 0 208440 0
vsize: 833824
[startup+310.041 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 16033
Raw data (stat): 16024 (java) R 16023 3132 3131 0 -1 0 18011 0 1 0 28793 53 0 0 25 0 10 0 765602611 853835776 23015 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208456 23015 13086 16 0 208440 0
vsize: 833824
[startup+320.041 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 16033
Raw data (stat): 16024 (java) R 16023 3132 3131 0 -1 0 18011 0 1 0 29725 54 0 0 25 0 10 0 765602611 853835776 23058 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208456 23058 13086 16 0 208440 0
vsize: 833824
[startup+330.043 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 16033
Raw data (stat): 16024 (java) R 16023 3132 3131 0 -1 0 18011 0 1 0 30661 54 0 0 25 0 10 0 765602611 853835776 23099 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208456 23099 13086 16 0 208440 0
vsize: 833824
[startup+340.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16033
Raw data (stat): 16024 (java) R 16023 3132 3131 0 -1 0 18011 0 1 0 31592 54 0 0 25 0 10 0 765602611 853835776 23141 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208456 23141 13086 16 0 208440 0
vsize: 833824
[startup+350.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16033
Raw data (stat): 16024 (java) S 16023 3132 3131 0 -1 0 18011 0 1 0 32524 54 0 0 25 0 10 0 765602611 853835776 23182 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208456 23182 13086 16 0 208440 0
vsize: 833824
[startup+360.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16033
Raw data (stat): 16024 (java) R 16023 3132 3131 0 -1 0 18011 0 1 0 33459 55 0 0 25 0 10 0 765602611 853835776 23222 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208456 23222 13086 16 0 208440 0
vsize: 833824
[startup+370.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16033
Raw data (stat): 16024 (java) R 16023 3132 3131 0 -1 0 18011 0 1 0 34388 56 0 0 25 0 10 0 765602611 853835776 23262 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208456 23262 13086 16 0 208440 0
vsize: 833824
[startup+380.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16033
Raw data (stat): 16024 (java) R 16023 3132 3131 0 -1 0 18011 0 1 0 35322 57 0 0 25 0 10 0 765602611 853835776 23299 4294967295 134512640 134569956 3221224368 3221214740 1080203551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208456 23299 13086 16 0 208440 0
vsize: 833824
[startup+390.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16033
Raw data (stat): 16024 (java) R 16023 3132 3131 0 -1 0 18011 0 1 0 36252 57 0 0 25 0 10 0 765602611 853835776 23338 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208456 23338 13086 16 0 208440 0
vsize: 833824
[startup+400.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16033
Raw data (stat): 16024 (java) S 16023 3132 3131 0 -1 0 18011 0 1 0 37184 58 0 0 25 0 10 0 765602611 853835776 23375 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208456 23375 13086 16 0 208440 0
vsize: 833824
[startup+410.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16033
Raw data (stat): 16024 (java) R 16023 3132 3131 0 -1 0 18011 0 1 0 38113 58 0 0 25 0 10 0 765602611 853835776 23412 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208456 23412 13086 16 0 208440 0
vsize: 833824
[startup+420.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16033
Raw data (stat): 16024 (java) R 16023 3132 3131 0 -1 0 18011 0 1 0 39041 58 0 0 24 0 10 0 765602611 853835776 23450 4294967295 134512640 134569956 3221224368 3221214740 1080203551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208456 23450 13086 16 0 208440 0
vsize: 833824
[startup+430.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16033
Raw data (stat): 16024 (java) R 16023 3132 3131 0 -1 0 18011 0 1 0 39973 59 0 0 25 0 10 0 765602611 853835776 23484 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208456 23484 13086 16 0 208440 0
vsize: 833824
[startup+440.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16033
Raw data (stat): 16024 (java) R 16023 3132 3131 0 -1 0 18011 0 1 0 40900 59 0 0 25 0 10 0 765602611 853835776 23521 4294967295 134512640 134569956 3221224368 3221214216 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208456 23521 13086 16 0 208440 0
vsize: 833824
[startup+450.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16033
Raw data (stat): 16024 (java) R 16023 3132 3131 0 -1 0 18011 0 1 0 41831 60 0 0 25 0 10 0 765602611 853835776 23555 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208456 23555 13086 16 0 208440 0
vsize: 833824
[startup+460.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16033
Raw data (stat): 16024 (java) R 16023 3132 3131 0 -1 0 18011 0 1 0 42758 60 0 0 25 0 10 0 765602611 853835776 23591 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208456 23591 13086 16 0 208440 0
vsize: 833824
[startup+470.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16033
Raw data (stat): 16024 (java) R 16023 3132 3131 0 -1 0 18011 0 1 0 43689 60 0 0 25 0 10 0 765602611 853835776 23624 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208456 23624 13086 16 0 208440 0
vsize: 833824
[startup+480.056 s]
Raw data (loadavg): 1.07 1.02 1.00 2/63 16033
Raw data (stat): 16024 (java) R 16023 3132 3131 0 -1 0 18011 0 1 0 44616 61 0 0 25 0 10 0 765602611 853835776 23660 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208456 23660 13086 16 0 208440 0
vsize: 833824
[startup+490.057 s]
Raw data (loadavg): 1.06 1.02 1.00 2/63 16033
Raw data (stat): 16024 (java) R 16023 3132 3131 0 -1 0 18011 0 1 0 45546 61 0 0 25 0 10 0 765602611 853835776 23692 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208456 23692 13086 16 0 208440 0
vsize: 833824
[startup+500.059 s]
Raw data (loadavg): 1.05 1.01 1.00 2/63 16033
Raw data (stat): 16024 (java) R 16023 3132 3131 0 -1 0 18011 0 1 0 46472 61 0 0 24 0 10 0 765602611 853835776 23727 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208456 23727 13086 16 0 208440 0
vsize: 833824
[startup+510.059 s]
Raw data (loadavg): 1.04 1.01 1.00 2/63 16033
Raw data (stat): 16024 (java) R 16023 3132 3131 0 -1 0 18011 0 1 0 47401 62 0 0 25 0 10 0 765602611 853835776 23758 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208456 23758 13086 16 0 208440 0
vsize: 833824
[startup+520.059 s]
Raw data (loadavg): 1.04 1.01 1.00 2/63 16033
Raw data (stat): 16024 (java) R 16023 3132 3131 0 -1 0 18011 0 1 0 48331 62 0 0 25 0 10 0 765602611 853835776 23790 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208456 23790 13086 16 0 208440 0
vsize: 833824
[startup+530.061 s]
Raw data (loadavg): 1.03 1.01 1.00 2/63 16033
Raw data (stat): 16024 (java) R 16023 3132 3131 0 -1 0 18011 0 1 0 49256 62 0 0 25 0 10 0 765602611 853835776 23823 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208456 23823 13086 16 0 208440 0
vsize: 833824
[startup+540.062 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 16033
Raw data (stat): 16024 (java) R 16023 3132 3131 0 -1 0 18011 0 1 0 50185 62 0 0 25 0 10 0 765602611 853835776 23854 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208456 23854 13086 16 0 208440 0
vsize: 833824
[startup+550.066 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 16033
Raw data (stat): 16024 (java) R 16023 3132 3131 0 -1 0 18011 0 1 0 51108 62 0 0 24 0 10 0 765602611 853835776 23887 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208456 23887 13086 16 0 208440 0
vsize: 833824
[startup+560.066 s]
Raw data (loadavg): 1.10 1.02 1.01 2/63 16033
Raw data (stat): 16024 (java) R 16023 3132 3131 0 -1 0 18011 0 1 0 52035 63 0 0 25 0 10 0 765602611 853835776 23917 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208456 23917 13086 16 0 208440 0
vsize: 833824
[startup+570.067 s]
Raw data (loadavg): 1.08 1.02 1.00 2/63 16033
Raw data (stat): 16024 (java) R 16023 3132 3131 0 -1 0 18011 0 1 0 52963 63 0 0 25 0 10 0 765602611 853835776 23947 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208456 23947 13086 16 0 208440 0
vsize: 833824
[startup+580.072 s]
Raw data (loadavg): 1.07 1.02 1.00 2/63 16033
Raw data (stat): 16024 (java) S 16023 3132 3131 0 -1 0 18011 0 1 0 53888 63 0 0 25 0 10 0 765602611 853835776 23977 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208456 23977 13086 16 0 208440 0
vsize: 833824
[startup+590.073 s]
Raw data (loadavg): 1.06 1.02 1.00 2/63 16033
Raw data (stat): 16024 (java) R 16023 3132 3131 0 -1 0 18011 0 1 0 54813 63 0 0 25 0 10 0 765602611 853835776 24008 4294967295 134512640 134569956 3221224368 3221214712 1131044787 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208456 24008 13086 16 0 208440 0
vsize: 833824
[startup+600.074 s]
Raw data (loadavg): 1.05 1.02 1.00 2/63 16033
Raw data (stat): 16024 (java) R 16023 3132 3131 0 -1 0 18011 0 1 0 55739 64 0 0 25 0 10 0 765602611 853835776 24037 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208456 24037 13086 16 0 208440 0
vsize: 833824
[startup+610.078 s]
Raw data (loadavg): 1.04 1.02 1.00 2/63 16033
Raw data (stat): 16024 (java) S 16023 3132 3131 0 -1 0 18011 0 1 0 56660 64 0 0 25 0 10 0 765602611 853835776 24068 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208456 24068 13086 16 0 208440 0
vsize: 833824
[startup+620.078 s]
Raw data (loadavg): 1.03 1.02 1.00 2/63 16033
Raw data (stat): 16024 (java) R 16023 3132 3131 0 -1 0 18011 0 1 0 57586 64 0 0 25 0 10 0 765602611 853835776 24097 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208456 24097 13086 16 0 208440 0
vsize: 833824
[startup+630.079 s]
Raw data (loadavg): 1.03 1.02 1.00 2/63 16033
Raw data (stat): 16024 (java) R 16023 3132 3131 0 -1 0 18011 0 1 0 58511 64 0 0 25 0 10 0 765602611 853835776 24125 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208456 24125 13086 16 0 208440 0
vsize: 833824
[startup+640.08 s]
Raw data (loadavg): 1.02 1.02 1.00 2/63 16033
Raw data (stat): 16024 (java) R 16023 3132 3131 0 -1 0 18011 0 1 0 59436 64 0 0 25 0 10 0 765602611 853835776 24154 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208456 24154 13086 16 0 208440 0
vsize: 833824
[startup+650.081 s]
Raw data (loadavg): 1.02 1.02 1.00 2/63 16033
Raw data (stat): 16024 (java) R 16023 3132 3131 0 -1 0 18011 0 1 0 60356 65 0 0 25 0 10 0 765602611 853835776 24184 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208456 24184 13086 16 0 208440 0
vsize: 833824
[startup+660.081 s]
Raw data (loadavg): 1.02 1.02 1.00 2/63 16033
Raw data (stat): 16024 (java) R 16023 3132 3131 0 -1 0 18011 0 1 0 61271 65 0 0 25 0 10 0 765602611 853835776 24718 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208456 24718 13086 16 0 208440 0
vsize: 833824
[startup+670.082 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 16033
Raw data (stat): 16024 (java) R 16023 3132 3131 0 -1 0 18011 0 1 0 62180 65 0 0 25 0 10 0 765602611 853835776 24754 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208456 24754 13086 16 0 208440 0
vsize: 833824
[startup+680.083 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 16033
Raw data (stat): 16024 (java) R 16023 3132 3131 0 -1 0 18011 0 1 0 63083 65 0 0 25 0 10 0 765602611 853835776 24955 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208456 24955 13086 16 0 208440 0
vsize: 833824
[startup+690.083 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 16033
Raw data (stat): 16024 (java) R 16023 3132 3131 0 -1 0 18011 0 1 0 63997 66 0 0 25 0 10 0 765602611 853835776 24982 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208456 24982 13086 16 0 208440 0
vsize: 833824
[startup+700.084 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 16033
Raw data (stat): 16024 (java) R 16023 3132 3131 0 -1 0 18011 0 1 0 64911 66 0 0 25 0 10 0 765602611 853835776 25009 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208456 25009 13086 16 0 208440 0
vsize: 833824
[startup+710.085 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 16033
Raw data (stat): 16024 (java) R 16023 3132 3131 0 -1 0 18011 0 1 0 65824 66 0 0 25 0 10 0 765602611 853835776 25036 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208456 25036 13086 16 0 208440 0
vsize: 833824
[startup+720.086 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 16033
Raw data (stat): 16024 (java) R 16023 3132 3131 0 -1 0 18011 0 1 0 66737 67 0 0 25 0 10 0 765602611 853835776 25063 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208456 25063 13086 16 0 208440 0
vsize: 833824
[startup+730.086 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 16033
Raw data (stat): 16024 (java) R 16023 3132 3131 0 -1 0 18011 0 1 0 67649 67 0 0 25 0 10 0 765602611 853835776 25089 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208456 25089 13086 16 0 208440 0
vsize: 833824
[startup+740.087 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 16033
Raw data (stat): 16024 (java) R 16023 3132 3131 0 -1 0 18011 0 1 0 68562 68 0 0 25 0 10 0 765602611 853835776 25116 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208456 25116 13086 16 0 208440 0
vsize: 833824
[startup+750.094 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 16033
Raw data (stat): 16024 (java) S 16023 3132 3131 0 -1 0 18011 0 1 0 69471 68 0 0 25 0 10 0 765602611 853835776 25142 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208456 25142 13086 16 0 208440 0
vsize: 833824
[startup+760.095 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 16033
Raw data (stat): 16024 (java) R 16023 3132 3131 0 -1 0 18011 0 1 0 70382 68 0 0 24 0 10 0 765602611 853835776 25169 4294967295 134512640 134569956 3221224368 3221214120 1076874552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208456 25169 13086 16 0 208440 0
vsize: 833824
[startup+770.096 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16033
Raw data (stat): 16024 (java) R 16023 3132 3131 0 -1 0 18011 0 1 0 71294 68 0 0 24 0 10 0 765602611 853835776 25195 4294967295 134512640 134569956 3221224368 3221214712 1131045363 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208456 25195 13086 16 0 208440 0
vsize: 833824
[startup+780.097 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16033
Raw data (stat): 16024 (java) R 16023 3132 3131 0 -1 0 18011 0 1 0 72207 68 0 0 24 0 10 0 765602611 853835776 25221 4294967295 134512640 134569956 3221224368 3221214200 1077558368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208456 25221 13086 16 0 208440 0
vsize: 833824
[startup+790.098 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16033
Raw data (stat): 16024 (java) R 16023 3132 3131 0 -1 0 18011 0 1 0 73118 68 0 0 24 0 10 0 765602611 853835776 25246 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208456 25246 13086 16 0 208440 0
vsize: 833824
[startup+800.099 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16033
Raw data (stat): 16024 (java) R 16023 3132 3131 0 -1 0 18011 0 1 0 74029 69 0 0 24 0 10 0 765602611 853835776 25271 4294967295 134512640 134569956 3221224368 3221214200 1077558368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208456 25271 13086 16 0 208440 0
vsize: 833824
[startup+810.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16033
Raw data (stat): 16024 (java) R 16023 3132 3131 0 -1 0 18011 0 1 0 74939 69 0 0 25 0 10 0 765602611 853835776 25296 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208456 25296 13086 16 0 208440 0
vsize: 833824
[startup+820.101 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16033
Raw data (stat): 16024 (java) R 16023 3132 3131 0 -1 0 18011 0 1 0 75849 69 0 0 25 0 10 0 765602611 853835776 25321 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208456 25321 13086 16 0 208440 0
vsize: 833824
[startup+830.102 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16033
Raw data (stat): 16024 (java) R 16023 3132 3131 0 -1 0 18011 0 1 0 76758 69 0 0 25 0 10 0 765602611 853835776 25346 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208456 25346 13086 16 0 208440 0
vsize: 833824
[startup+840.102 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16033
Raw data (stat): 16024 (java) R 16023 3132 3131 0 -1 0 18011 0 1 0 77668 69 0 0 24 0 10 0 765602611 853835776 25372 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208456 25372 13086 16 0 208440 0
vsize: 833824
[startup+850.104 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16033
Raw data (stat): 16024 (java) R 16023 3132 3131 0 -1 0 18011 0 1 0 78578 70 0 0 24 0 10 0 765602611 853835776 25396 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208456 25396 13086 16 0 208440 0
vsize: 833824
[startup+860.109 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16033
Raw data (stat): 16024 (java) S 16023 3132 3131 0 -1 0 18011 0 1 0 79488 70 0 0 25 0 10 0 765602611 853835776 25419 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208456 25419 13086 16 0 208440 0
vsize: 833824
[startup+870.109 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16033
Raw data (stat): 16024 (java) S 16023 3132 3131 0 -1 0 18011 0 1 0 80397 70 0 0 25 0 10 0 765602611 853835776 25444 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208456 25444 13086 16 0 208440 0
vsize: 833824
[startup+880.109 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16033
Raw data (stat): 16024 (java) R 16023 3132 3131 0 -1 0 18011 0 1 0 81308 70 0 0 25 0 10 0 765602611 853835776 25467 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208456 25467 13086 16 0 208440 0
vsize: 833824
[startup+890.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16033
Raw data (stat): 16024 (java) R 16023 3132 3131 0 -1 0 18011 0 1 0 82216 71 0 0 25 0 10 0 765602611 853835776 25491 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208456 25491 13086 16 0 208440 0
vsize: 833824
[startup+900.112 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16033
Raw data (stat): 16024 (java) R 16023 3132 3131 0 -1 0 18011 0 1 0 83123 71 0 0 25 0 10 0 765602611 853835776 25515 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208456 25515 13086 16 0 208440 0
vsize: 833824
[startup+910.112 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16033
Raw data (stat): 16024 (java) R 16023 3132 3131 0 -1 0 18011 0 1 0 84030 71 0 0 25 0 10 0 765602611 853835776 25539 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208456 25539 13086 16 0 208440 0
vsize: 833824
[startup+920.113 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16033
Raw data (stat): 16024 (java) R 16023 3132 3131 0 -1 0 18011 0 1 0 84937 71 0 0 25 0 10 0 765602611 853835776 25562 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208456 25562 13086 16 0 208440 0
vsize: 833824
[startup+930.114 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16033
Raw data (stat): 16024 (java) R 16023 3132 3131 0 -1 0 18011 0 1 0 85844 71 0 0 25 0 10 0 765602611 853835776 25585 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208456 25585 13086 16 0 208440 0
vsize: 833824
[startup+940.114 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16033
Raw data (stat): 16024 (java) R 16023 3132 3131 0 -1 0 18011 0 1 0 86751 72 0 0 25 0 10 0 765602611 853835776 25609 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208456 25609 13086 16 0 208440 0
vsize: 833824
[startup+950.115 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16033
Raw data (stat): 16024 (java) R 16023 3132 3131 0 -1 0 18011 0 1 0 87656 72 0 0 25 0 10 0 765602611 853835776 25632 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208456 25632 13086 16 0 208440 0
vsize: 833824
[startup+960.117 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16033
Raw data (stat): 16024 (java) R 16023 3132 3131 0 -1 0 18011 0 1 0 88561 72 0 0 25 0 10 0 765602611 853835776 25655 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208456 25655 13086 16 0 208440 0
vsize: 833824
[startup+970.117 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16033
Raw data (stat): 16024 (java) R 16023 3132 3131 0 -1 0 18011 0 1 0 89466 72 0 0 24 0 10 0 765602611 853835776 25678 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208456 25678 13086 16 0 208440 0
vsize: 833824
[startup+980.119 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16033
Raw data (stat): 16024 (java) R 16023 3132 3131 0 -1 0 18011 0 1 0 90371 72 0 0 19 0 10 0 765602611 853835776 25701 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208456 25701 13086 16 0 208440 0
vsize: 833824
[startup+990.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16033
Raw data (stat): 16024 (java) R 16023 3132 3131 0 -1 0 18011 0 1 0 91282 72 0 0 24 0 10 0 765602611 853835776 25722 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208456 25722 13086 16 0 208440 0
vsize: 833824
[startup+1000.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16033
Raw data (stat): 16024 (java) R 16023 3132 3131 0 -1 0 18011 0 1 0 92186 72 0 0 22 0 10 0 765602611 853835776 25744 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208456 25744 13086 16 0 208440 0
vsize: 833824
[startup+1010.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16033
Raw data (stat): 16024 (java) R 16023 3132 3131 0 -1 0 18011 0 1 0 93091 73 0 0 22 0 10 0 765602611 853835776 25767 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208456 25767 13086 16 0 208440 0
vsize: 833824
[startup+1020.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16033
Raw data (stat): 16024 (java) R 16023 3132 3131 0 -1 0 18011 0 1 0 93996 73 0 0 22 0 10 0 765602611 853835776 25789 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208456 25789 13086 16 0 208440 0
vsize: 833824
[startup+1030.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16033
Raw data (stat): 16024 (java) R 16023 3132 3131 0 -1 0 18011 0 1 0 94899 73 0 0 20 0 10 0 765602611 853835776 25812 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208456 25812 13086 16 0 208440 0
vsize: 833824
[startup+1040.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16033
Raw data (stat): 16024 (java) R 16023 3132 3131 0 -1 0 18011 0 1 0 95803 73 0 0 20 0 10 0 765602611 853835776 25834 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208456 25834 13086 16 0 208440 0
vsize: 833824
[startup+1050.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16033
Raw data (stat): 16024 (java) R 16023 3132 3131 0 -1 0 18011 0 1 0 96707 73 0 0 20 0 10 0 765602611 853835776 25856 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208456 25856 13086 16 0 208440 0
vsize: 833824
[startup+1060.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16033
Raw data (stat): 16024 (java) R 16023 3132 3131 0 -1 0 18011 0 1 0 97609 73 0 0 19 0 10 0 765602611 853835776 25880 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208456 25880 13086 16 0 208440 0
vsize: 833824
[startup+1070.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16033
Raw data (stat): 16024 (java) R 16023 3132 3131 0 -1 0 18011 0 1 0 98516 74 0 0 23 0 10 0 765602611 853835776 25904 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208456 25904 13086 16 0 208440 0
vsize: 833824
[startup+1080.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16033
Raw data (stat): 16024 (java) R 16023 3132 3131 0 -1 0 18011 0 1 0 99419 74 0 0 22 0 10 0 765602611 853835776 25926 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208456 25926 13086 16 0 208440 0
vsize: 833824
[startup+1090.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16033
Raw data (stat): 16024 (java) R 16023 3132 3131 0 -1 0 18011 0 1 0 100321 74 0 0 21 0 10 0 765602611 853835776 25954 4294967295 134512640 134569956 3221224368 3221214024 1077559942 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208456 25954 13086 16 0 208440 0
vsize: 833824
[startup+1100.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16033
Raw data (stat): 16024 (java) R 16023 3132 3131 0 -1 0 18011 0 1 0 101224 74 0 0 20 0 10 0 765602611 853835776 25979 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208456 25979 13086 16 0 208440 0
vsize: 833824
[startup+1110.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16033
Raw data (stat): 16024 (java) R 16023 3132 3131 0 -1 0 18011 0 1 0 102125 74 0 0 19 0 10 0 765602611 853835776 26005 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208456 26005 13086 16 0 208440 0
vsize: 833824
[startup+1120.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16033
Raw data (stat): 16024 (java) S 16023 3132 3131 0 -1 0 18011 0 1 0 103032 74 0 0 24 0 10 0 765602611 853835776 26029 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208456 26029 13086 16 0 208440 0
vsize: 833824
[startup+1130.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16033
Raw data (stat): 16024 (java) R 16023 3132 3131 0 -1 0 18011 0 1 0 103934 74 0 0 22 0 10 0 765602611 853835776 26053 4294967295 134512640 134569956 3221224368 3221214748 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208456 26053 13086 16 0 208440 0
vsize: 833824
[startup+1140.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16033
Raw data (stat): 16024 (java) R 16023 3132 3131 0 -1 0 18011 0 1 0 104835 75 0 0 22 0 10 0 765602611 853835776 26074 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208456 26074 13086 16 0 208440 0
vsize: 833824
[startup+1150.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16033
Raw data (stat): 16024 (java) R 16023 3132 3131 0 -1 0 18011 0 1 0 105735 75 0 0 20 0 10 0 765602611 853835776 26102 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208456 26102 13086 16 0 208440 0
vsize: 833824
[startup+1160.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16033
Raw data (stat): 16024 (java) R 16023 3132 3131 0 -1 0 18011 0 1 0 106635 75 0 0 19 0 10 0 765602611 853835776 26126 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208456 26126 13086 16 0 208440 0
vsize: 833824
[startup+1170.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16033
Raw data (stat): 16024 (java) R 16023 3132 3131 0 -1 0 18011 0 1 0 107542 75 0 0 23 0 10 0 765602611 853835776 26148 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208456 26148 13086 16 0 208440 0
vsize: 833824
[startup+1180.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16033
Raw data (stat): 16024 (java) R 16023 3132 3131 0 -1 0 18011 0 1 0 108443 75 0 0 21 0 10 0 765602611 853835776 26173 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208456 26173 13086 16 0 208440 0
vsize: 833824
[startup+1190.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16033
Raw data (stat): 16024 (java) R 16023 3132 3131 0 -1 0 18011 0 1 0 109340 75 0 0 20 0 10 0 765602611 853835776 26198 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208456 26198 13086 16 0 208440 0
vsize: 833824
[startup+1200.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16033
Raw data (stat): 16024 (java) R 16023 3132 3131 0 -1 0 18011 0 1 0 110237 75 0 0 18 0 10 0 765602611 853835776 26222 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208456 26222 13086 16 0 208440 0
vsize: 833824
[startup+1210.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16033
Raw data (stat): 16024 (java) S 16023 3132 3131 0 -1 0 18011 0 1 0 111139 75 0 0 23 0 10 0 765602611 853835776 26245 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208456 26245 13086 16 0 208440 0
vsize: 833824
[startup+1220.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16033
Raw data (stat): 16024 (java) R 16023 3132 3131 0 -1 0 18011 0 1 0 112042 75 0 0 22 0 10 0 765602611 853835776 26265 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208456 26265 13086 16 0 208440 0
vsize: 833824
[startup+1230.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16033
Raw data (stat): 16024 (java) R 16023 3132 3131 0 -1 0 18011 0 1 0 112941 76 0 0 21 0 10 0 765602611 853835776 26286 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208456 26286 13086 16 0 208440 0
vsize: 833824
[startup+1240.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16033
Raw data (stat): 16024 (java) R 16023 3132 3131 0 -1 0 18011 0 1 0 113839 76 0 0 19 0 10 0 765602611 853835776 26306 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208456 26306 13086 16 0 208440 0
vsize: 833824
[startup+1250.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16033
Raw data (stat): 16024 (java) S 16023 3132 3131 0 -1 0 18011 0 1 0 114742 76 0 0 23 0 10 0 765602611 853835776 26342 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208456 26342 13086 16 0 208440 0
vsize: 833824
[startup+1260.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16033
Raw data (stat): 16024 (java) R 16023 3132 3131 0 -1 0 18011 0 1 0 115643 76 0 0 22 0 10 0 765602611 853835776 26357 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208456 26357 13086 16 0 208440 0
vsize: 833824
[startup+1270.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16033
Raw data (stat): 16024 (java) R 16023 3132 3131 0 -1 0 18011 0 1 0 116542 76 0 0 21 0 10 0 765602611 853835776 26393 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208456 26393 13086 16 0 208440 0
vsize: 833824
[startup+1280.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16033
Raw data (stat): 16024 (java) R 16023 3132 3131 0 -1 0 18011 0 1 0 117443 76 0 0 19 0 10 0 765602611 853835776 26416 4294967295 134512640 134569956 3221224368 3221214712 1131045363 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208456 26416 13086 16 0 208440 0
vsize: 833824
[startup+1290.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16033
Raw data (stat): 16024 (java) S 16023 3132 3131 0 -1 0 18011 0 1 0 118350 77 0 0 24 0 10 0 765602611 853835776 26435 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208456 26435 13086 16 0 208440 0
vsize: 833824
[startup+1300.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16033
Raw data (stat): 16024 (java) R 16023 3132 3131 0 -1 0 18011 0 1 0 119255 77 0 0 23 0 10 0 765602611 853835776 26465 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208456 26465 13086 16 0 208440 0
vsize: 833824
[startup+1310.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 16033
Raw data (stat): 16024 (java) R 16023 3132 3131 0 -1 0 18011 0 1 0 120158 77 0 0 20 0 10 0 765602611 853835776 26480 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208456 26480 13086 16 0 208440 0
vsize: 833824
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1310.25 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 16035
Raw data (stat): 16024 (java) Z 16023 3132 3131 0 -1 1036 18011 8105 1 0 120162 77 10717 44 22 0 1 0 765602611 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1310.25
CPU time (s): 1310.03
CPU user time (s): 1308.8
CPU system time (s): 1.22581
CPU usage (%): 99.9826
Max. virtual memory (Kb): 837092
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####