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/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-B1C1S1.opb
MD5SUM	a9d1d9e152e0cba900a1c019f102e6e8
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	38688
Biggest coefficient in the objective function	348966092800
Number of bits for the biggest coefficient in the objective function	39
Sum of the numbers in the objective function	299074813804544
Number of bits of the sum of numbers in the objective function	49
Biggest number in a constraint	348966092800
Number of bits of the biggest number in a constraint	39
Biggest sum of numbers in a constraint	299074813804544
Number of bits of the biggest sum of numbers	49
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.994848
Number of variables	107808
Total number of constraints	4192
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	288
Number of constraints which are nor clauses,nor cardinality constraints	3904
Minimum length of a constraint	1
Maximum length of a constraint	1440
Trace number 29759

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc13 THE 2005-05-25 11:15:21 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21158 boxname=wulflinc13 idbench=1146 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  a9d1d9e152e0cba900a1c019f102e6e8  /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-20-10-B1C1S1.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-20-10-B1C1S1.opb
IDLAUNCH: 21158
/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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        599088 kB
Buffers:         34388 kB
Cached:         380280 kB
SwapCached:        608 kB
Active:          82712 kB
Inactive:       334588 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        598836 kB
SwapTotal:     2097136 kB
SwapFree:      2096148 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6156 kB
Slab:            12648 kB
Committed_AS:    63568 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 11:37:14 (client local time) WITH STATUS 143 IN 1314.6 SECONDS
stats: 21158 7 1314.6 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/wulflinc13/normalized-mps-v2-20-10-B1C1S1.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.13
#### 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.93 0.98 0.99 2/54 12335
Raw data (stat): 12335 (runsolver) R 12334 1269 1268 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 780227016 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.0007 s]
Raw data (loadavg): 0.94 0.98 0.99 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18008 0 1 0 870 39 0 0 24 0 10 0 780227016 853704704 19373 4294967295 134512640 134569956 3221224368 3221214460 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208424 19373 13086 16 0 208408 0
vsize: 833696
[startup+20.0013 s]
Raw data (loadavg): 0.95 0.98 0.99 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18008 0 1 0 1765 39 0 0 24 0 10 0 780227016 855363584 20236 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208829 20236 13086 16 0 208813 0
vsize: 835316
[startup+30.005 s]
Raw data (loadavg): 0.95 0.98 0.99 2/63 12344
Raw data (stat): 12335 (java) S 12334 1269 1268 0 -1 0 18008 0 1 0 2658 40 0 0 25 0 10 0 780227016 854626304 20577 4294967295 134512640 134569956 3221224368 3221213352 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208649 20577 13086 16 0 208633 0
vsize: 834596
[startup+40.0052 s]
Raw data (loadavg): 1.03 1.00 1.00 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18008 0 1 0 3578 40 0 0 25 0 10 0 780227016 854626304 20867 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208649 20867 13086 16 0 208633 0
vsize: 834596
[startup+50.0053 s]
Raw data (loadavg): 1.03 1.00 1.00 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18008 0 1 0 4497 41 0 0 25 0 10 0 780227016 854626304 21034 4294967295 134512640 134569956 3221224368 3221214768 1131248710 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208649 21034 13086 16 0 208633 0
vsize: 834596
[startup+60.0055 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18008 0 1 0 5413 41 0 0 25 0 10 0 780227016 854626304 21169 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208649 21169 13086 16 0 208633 0
vsize: 834596
[startup+70.0058 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18008 0 1 0 6340 42 0 0 24 0 10 0 780227016 854626304 21425 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208649 21425 13086 16 0 208633 0
vsize: 834596
[startup+80.0073 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18008 0 1 0 7281 43 0 0 25 0 10 0 780227016 854626304 21523 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208649 21523 13086 16 0 208633 0
vsize: 834596
[startup+90.0076 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18008 0 1 0 8220 43 0 0 25 0 10 0 780227016 854626304 21618 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208649 21618 13086 16 0 208633 0
vsize: 834596
[startup+100.008 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18008 0 1 0 9164 43 0 0 25 0 10 0 780227016 854626304 21701 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208649 21701 13086 16 0 208633 0
vsize: 834596
[startup+110.009 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18008 0 1 0 10105 44 0 0 25 0 10 0 780227016 854626304 21785 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208649 21785 13086 16 0 208633 0
vsize: 834596
[startup+120.011 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18008 0 1 0 11047 44 0 0 25 0 10 0 780227016 854626304 21863 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208649 21863 13086 16 0 208633 0
vsize: 834596
[startup+130.013 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 12344
Raw data (stat): 12335 (java) S 12334 1269 1268 0 -1 0 18008 0 1 0 11988 44 0 0 25 0 10 0 780227016 854626304 21936 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208649 21936 13086 16 0 208633 0
vsize: 834596
[startup+140.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18008 0 1 0 12933 44 0 0 25 0 10 0 780227016 854626304 22003 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208649 22003 13086 16 0 208633 0
vsize: 834596
[startup+150.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18008 0 1 0 13874 44 0 0 25 0 10 0 780227016 854626304 22070 4294967295 134512640 134569956 3221224368 3221214748 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208649 22070 13086 16 0 208633 0
vsize: 834596
[startup+160.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18008 0 1 0 14816 45 0 0 25 0 10 0 780227016 854626304 22134 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208649 22134 13086 16 0 208633 0
vsize: 834596
[startup+170.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18008 0 1 0 15750 45 0 0 25 0 10 0 780227016 854626304 22197 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208649 22197 13086 16 0 208633 0
vsize: 834596
[startup+180.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18008 0 1 0 16667 45 0 0 25 0 10 0 780227016 854626304 22253 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208649 22253 13086 16 0 208633 0
vsize: 834596
[startup+190.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18008 0 1 0 17587 45 0 0 24 0 10 0 780227016 854626304 22568 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208649 22568 13086 16 0 208633 0
vsize: 834596
[startup+200.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18008 0 1 0 18529 46 0 0 25 0 10 0 780227016 854626304 22621 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208649 22621 13086 16 0 208633 0
vsize: 834596
[startup+210.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18008 0 1 0 19467 46 0 0 25 0 10 0 780227016 854626304 22676 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208649 22676 13086 16 0 208633 0
vsize: 834596
[startup+220.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18008 0 1 0 20405 46 0 0 25 0 10 0 780227016 854626304 22730 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208649 22730 13086 16 0 208633 0
vsize: 834596
[startup+230.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18008 0 1 0 21342 46 0 0 25 0 10 0 780227016 854626304 22782 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208649 22782 13086 16 0 208633 0
vsize: 834596
[startup+240.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18008 0 1 0 22279 46 0 0 24 0 10 0 780227016 854626304 22833 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208649 22833 13086 16 0 208633 0
vsize: 834596
[startup+250.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18008 0 1 0 23219 46 0 0 25 0 10 0 780227016 854626304 22880 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208649 22880 13086 16 0 208633 0
vsize: 834596
[startup+260.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18008 0 1 0 24155 47 0 0 25 0 10 0 780227016 854626304 22928 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208649 22928 13086 16 0 208633 0
vsize: 834596
[startup+270.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18008 0 1 0 25090 47 0 0 25 0 10 0 780227016 854626304 22976 4294967295 134512640 134569956 3221224368 3221214200 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208649 22976 13086 16 0 208633 0
vsize: 834596
[startup+280.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18008 0 1 0 26025 47 0 0 25 0 10 0 780227016 854626304 23022 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208649 23022 13086 16 0 208633 0
vsize: 834596
[startup+290.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18008 0 1 0 26963 47 0 0 25 0 10 0 780227016 854626304 23065 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208649 23065 13086 16 0 208633 0
vsize: 834596
[startup+300.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18008 0 1 0 27898 47 0 0 25 0 10 0 780227016 854626304 23110 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208649 23110 13086 16 0 208633 0
vsize: 834596
[startup+310.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18008 0 1 0 28831 48 0 0 25 0 10 0 780227016 854626304 23154 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208649 23154 13086 16 0 208633 0
vsize: 834596
[startup+320.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12344
Raw data (stat): 12335 (java) S 12334 1269 1268 0 -1 0 18008 0 1 0 29766 48 0 0 25 0 10 0 780227016 854626304 23195 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208649 23195 13086 16 0 208633 0
vsize: 834596
[startup+330.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18008 0 1 0 30702 48 0 0 25 0 10 0 780227016 854626304 23237 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208649 23237 13086 16 0 208633 0
vsize: 834596
[startup+340.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18008 0 1 0 31633 48 0 0 25 0 10 0 780227016 854626304 23279 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208649 23279 13086 16 0 208633 0
vsize: 834596
[startup+350.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12344
Raw data (stat): 12335 (java) S 12334 1269 1268 0 -1 0 18008 0 1 0 32566 48 0 0 25 0 10 0 780227016 854626304 23319 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208649 23319 13086 16 0 208633 0
vsize: 834596
[startup+360.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18008 0 1 0 33501 49 0 0 25 0 10 0 780227016 854626304 23359 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208649 23359 13086 16 0 208633 0
vsize: 834596
[startup+370.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18008 0 1 0 34432 49 0 0 25 0 10 0 780227016 854626304 23398 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208649 23398 13086 16 0 208633 0
vsize: 834596
[startup+380.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18008 0 1 0 35367 49 0 0 21 0 10 0 780227016 854626304 23435 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208649 23435 13086 16 0 208633 0
vsize: 834596
[startup+390.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18008 0 1 0 36297 49 0 0 25 0 10 0 780227016 854626304 23474 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208649 23474 13086 16 0 208633 0
vsize: 834596
[startup+400.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18008 0 1 0 37227 49 0 0 25 0 10 0 780227016 854626304 23512 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208649 23512 13086 16 0 208633 0
vsize: 834596
[startup+410.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18016 0 1 0 38153 49 0 0 25 0 10 0 780227016 854626304 23558 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208649 23558 13086 16 0 208633 0
vsize: 834596
[startup+420.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18016 0 1 0 39077 49 0 0 25 0 10 0 780227016 854626304 23593 4294967295 134512640 134569956 3221224368 3221214232 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208649 23593 13086 16 0 208633 0
vsize: 834596
[startup+430.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18016 0 1 0 39998 49 0 0 24 0 10 0 780227016 854626304 23727 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208649 23727 13086 16 0 208633 0
vsize: 834596
[startup+440.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18017 0 1 0 40929 49 0 0 25 0 10 0 780227016 854626304 23765 4294967295 134512640 134569956 3221224368 3221214640 1076619328 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208649 23765 13086 16 0 208633 0
vsize: 834596
[startup+450.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18017 0 1 0 41857 50 0 0 25 0 10 0 780227016 854626304 23792 4294967295 134512640 134569956 3221224368 3221214232 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208649 23792 13086 16 0 208633 0
vsize: 834596
[startup+460.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18017 0 1 0 42780 50 0 0 24 0 10 0 780227016 854626304 23850 4294967295 134512640 134569956 3221224368 3221214728 1131044787 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208649 23850 13086 16 0 208633 0
vsize: 834596
[startup+470.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18017 0 1 0 43711 51 0 0 25 0 10 0 780227016 854626304 23883 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208649 23883 13086 16 0 208633 0
vsize: 834596
[startup+480.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18017 0 1 0 44630 51 0 0 25 0 10 0 780227016 854626304 23913 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208649 23913 13086 16 0 208633 0
vsize: 834596
[startup+490.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18017 0 1 0 45554 51 0 0 25 0 10 0 780227016 854626304 23966 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208649 23966 13086 16 0 208633 0
vsize: 834596
[startup+500.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18017 0 1 0 46480 51 0 0 25 0 10 0 780227016 854626304 24000 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208649 24000 13086 16 0 208633 0
vsize: 834596
[startup+510.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18018 0 1 0 47407 51 0 0 25 0 10 0 780227016 854626304 24032 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208649 24032 13086 16 0 208633 0
vsize: 834596
[startup+520.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18018 0 1 0 48331 52 0 0 25 0 10 0 780227016 854626304 24057 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208649 24057 13086 16 0 208633 0
vsize: 834596
[startup+530.043 s]
Raw data (loadavg): 1.08 1.02 1.01 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18018 0 1 0 49253 52 0 0 25 0 10 0 780227016 854626304 24114 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208649 24114 13086 16 0 208633 0
vsize: 834596
[startup+540.043 s]
Raw data (loadavg): 1.07 1.02 1.00 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18018 0 1 0 50181 52 0 0 25 0 10 0 780227016 854626304 24144 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208649 24144 13086 16 0 208633 0
vsize: 834596
[startup+550.044 s]
Raw data (loadavg): 1.06 1.01 1.00 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18018 0 1 0 51103 53 0 0 25 0 10 0 780227016 854626304 24169 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208649 24169 13086 16 0 208633 0
vsize: 834596
[startup+560.046 s]
Raw data (loadavg): 1.05 1.01 1.00 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18018 0 1 0 52022 53 0 0 24 0 10 0 780227016 854626304 24222 4294967295 134512640 134569956 3221224368 3221213792 1073952732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208649 24222 13086 16 0 208633 0
vsize: 834596
[startup+570.047 s]
Raw data (loadavg): 1.04 1.01 1.00 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18018 0 1 0 52949 53 0 0 25 0 10 0 780227016 854626304 24252 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208649 24252 13086 16 0 208633 0
vsize: 834596
[startup+580.051 s]
Raw data (loadavg): 1.03 1.01 1.00 2/63 12344
Raw data (stat): 12335 (java) S 12334 1269 1268 0 -1 0 18018 0 1 0 53850 53 0 0 25 0 10 0 780227016 855109632 24372 4294967295 134512640 134569956 3221224368 3221213472 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 24372 13086 16 0 208751 0
vsize: 835068
[startup+590.052 s]
Raw data (loadavg): 1.03 1.01 1.00 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18018 0 1 0 54770 53 0 0 25 0 10 0 780227016 855109632 24397 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 24397 13086 16 0 208751 0
vsize: 835068
[startup+600.052 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18018 0 1 0 55694 54 0 0 25 0 10 0 780227016 855109632 24451 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 24451 13086 16 0 208751 0
vsize: 835068
[startup+610.052 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18018 0 1 0 56619 54 0 0 25 0 10 0 780227016 855109632 24480 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 24480 13086 16 0 208751 0
vsize: 835068
[startup+620.053 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18018 0 1 0 57541 54 0 0 25 0 10 0 780227016 855109632 24504 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 24504 13086 16 0 208751 0
vsize: 835068
[startup+630.056 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 12344
Raw data (stat): 12335 (java) S 12334 1269 1268 0 -1 0 18018 0 1 0 58457 54 0 0 25 0 10 0 780227016 855109632 24527 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 24527 13086 16 0 208751 0
vsize: 835068
[startup+640.058 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18018 0 1 0 59379 54 0 0 25 0 10 0 780227016 855109632 24583 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208767 24583 13086 16 0 208751 0
vsize: 835068
[startup+650.059 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18018 0 1 0 60302 55 0 0 25 0 10 0 780227016 854626304 24536 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208649 24536 13086 16 0 208633 0
vsize: 834596
[startup+660.059 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18018 0 1 0 61217 55 0 0 25 0 10 0 780227016 854626304 24628 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208649 24628 13086 16 0 208633 0
vsize: 834596
[startup+670.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18018 0 1 0 62127 55 0 0 25 0 10 0 780227016 854626304 25104 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208649 25104 13086 16 0 208633 0
vsize: 834596
[startup+680.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18018 0 1 0 63032 55 0 0 25 0 10 0 780227016 854626304 25203 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208649 25203 13086 16 0 208633 0
vsize: 834596
[startup+690.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18018 0 1 0 63918 55 0 0 25 0 10 0 780227016 855400448 25396 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208838 25396 13086 16 0 208822 0
vsize: 835352
[startup+700.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18018 0 1 0 64828 56 0 0 25 0 10 0 780227016 854626304 25260 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208649 25260 13086 16 0 208633 0
vsize: 834596
[startup+710.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18018 0 1 0 65735 56 0 0 25 0 10 0 780227016 854626304 25308 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208649 25308 13086 16 0 208633 0
vsize: 834596
[startup+720.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18018 0 1 0 66647 56 0 0 25 0 10 0 780227016 854626304 25334 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208649 25334 13086 16 0 208633 0
vsize: 834596
[startup+730.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18018 0 1 0 67559 56 0 0 21 0 10 0 780227016 854626304 25361 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208649 25361 13086 16 0 208633 0
vsize: 834596
[startup+740.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18019 0 1 0 68466 56 0 0 20 0 10 0 780227016 854626304 25383 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208649 25383 13086 16 0 208633 0
vsize: 834596
[startup+750.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18019 0 1 0 69371 57 0 0 20 0 10 0 780227016 854626304 25404 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208649 25404 13086 16 0 208633 0
vsize: 834596
[startup+760.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18019 0 1 0 70281 57 0 0 19 0 10 0 780227016 854626304 25456 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208649 25456 13086 16 0 208633 0
vsize: 834596
[startup+770.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18019 0 1 0 71193 57 0 0 24 0 10 0 780227016 854626304 25482 4294967295 134512640 134569956 3221224368 3221214796 1080204149 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208649 25482 13086 16 0 208633 0
vsize: 834596
[startup+780.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18019 0 1 0 72105 57 0 0 25 0 10 0 780227016 854626304 25502 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208649 25502 13086 16 0 208633 0
vsize: 834596
[startup+790.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18019 0 1 0 73009 57 0 0 25 0 10 0 780227016 854626304 25523 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208649 25523 13086 16 0 208633 0
vsize: 834596
[startup+800.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18019 0 1 0 73916 58 0 0 25 0 10 0 780227016 854626304 25572 4294967295 134512640 134569956 3221224368 3221214248 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208649 25572 13086 16 0 208633 0
vsize: 834596
[startup+810.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18019 0 1 0 74825 58 0 0 25 0 10 0 780227016 854626304 25597 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208649 25597 13086 16 0 208633 0
vsize: 834596
[startup+820.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18019 0 1 0 75733 58 0 0 21 0 10 0 780227016 854626304 25620 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208649 25620 13086 16 0 208633 0
vsize: 834596
[startup+830.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18019 0 1 0 76637 58 0 0 19 0 10 0 780227016 854626304 25640 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208649 25640 13086 16 0 208633 0
vsize: 834596
[startup+840.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12344
Raw data (stat): 12335 (java) S 12334 1269 1268 0 -1 0 18019 0 1 0 77548 58 0 0 25 0 10 0 780227016 854626304 25688 4294967295 134512640 134569956 3221224368 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208649 25688 13086 16 0 208633 0
vsize: 834596
[startup+850.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18019 0 1 0 78458 58 0 0 25 0 10 0 780227016 854626304 25712 4294967295 134512640 134569956 3221224368 3221214796 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208649 25712 13086 16 0 208633 0
vsize: 834596
[startup+860.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18019 0 1 0 79365 58 0 0 25 0 10 0 780227016 854626304 25736 4294967295 134512640 134569956 3221224368 3221214264 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208649 25736 13086 16 0 208633 0
vsize: 834596
[startup+870.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18019 0 1 0 80270 59 0 0 25 0 10 0 780227016 854626304 25756 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208649 25756 13086 16 0 208633 0
vsize: 834596
[startup+880.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18019 0 1 0 81171 59 0 0 24 0 10 0 780227016 854626304 25776 4294967295 134512640 134569956 3221224368 3221214264 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208649 25776 13086 16 0 208633 0
vsize: 834596
[startup+890.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12344
Raw data (stat): 12335 (java) S 12334 1269 1268 0 -1 0 18019 0 1 0 82082 60 0 0 25 0 10 0 780227016 854626304 25824 4294967295 134512640 134569956 3221224368 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208649 25824 13086 16 0 208633 0
vsize: 834596
[startup+900.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18019 0 1 0 82989 60 0 0 25 0 10 0 780227016 854626304 25847 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208649 25847 13086 16 0 208633 0
vsize: 834596
[startup+910.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18019 0 1 0 83894 60 0 0 25 0 10 0 780227016 854626304 25870 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208649 25870 13086 16 0 208633 0
vsize: 834596
[startup+920.079 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18019 0 1 0 84795 60 0 0 18 0 10 0 780227016 854626304 25889 4294967295 134512640 134569956 3221224368 3221214248 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208649 25889 13086 16 0 208633 0
vsize: 834596
[startup+930.083 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12344
Raw data (stat): 12335 (java) S 12334 1269 1268 0 -1 0 18019 0 1 0 85703 60 0 0 24 0 10 0 780227016 854626304 25934 4294967295 134512640 134569956 3221224368 3221213488 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208649 25934 13086 16 0 208633 0
vsize: 834596
[startup+940.084 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18019 0 1 0 86609 60 0 0 22 0 10 0 780227016 854626304 25957 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208649 25957 13086 16 0 208633 0
vsize: 834596
[startup+950.084 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18019 0 1 0 87514 61 0 0 21 0 10 0 780227016 854626304 25980 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208649 25980 13086 16 0 208633 0
vsize: 834596
[startup+960.084 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18019 0 1 0 88417 61 0 0 19 0 10 0 780227016 854626304 26000 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208649 26000 13086 16 0 208633 0
vsize: 834596
[startup+970.084 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18019 0 1 0 89323 61 0 0 23 0 10 0 780227016 854626304 26018 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208649 26018 13086 16 0 208633 0
vsize: 834596
[startup+980.085 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18019 0 1 0 90224 61 0 0 22 0 10 0 780227016 854626304 26064 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208649 26064 13086 16 0 208633 0
vsize: 834596
[startup+990.086 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18019 0 1 0 91129 61 0 0 21 0 10 0 780227016 854626304 26087 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208649 26087 13086 16 0 208633 0
vsize: 834596
[startup+1000.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18019 0 1 0 92032 61 0 0 19 0 10 0 780227016 854626304 26109 4294967295 134512640 134569956 3221224368 3221214264 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208649 26109 13086 16 0 208633 0
vsize: 834596
[startup+1010.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18019 0 1 0 92938 61 0 0 22 0 10 0 780227016 854626304 26128 4294967295 134512640 134569956 3221224368 3221214748 1130884612 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208649 26128 13086 16 0 208633 0
vsize: 834596
[startup+1020.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18019 0 1 0 93836 62 0 0 20 0 10 0 780227016 854626304 26146 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208649 26146 13086 16 0 208633 0
vsize: 834596
[startup+1030.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18019 0 1 0 94735 62 0 0 19 0 10 0 780227016 854626304 26193 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208649 26193 13086 16 0 208633 0
vsize: 834596
[startup+1040.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18019 0 1 0 95644 62 0 0 23 0 10 0 780227016 854626304 26214 4294967295 134512640 134569956 3221224368 3221214796 1080204160 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208649 26214 13086 16 0 208633 0
vsize: 834596
[startup+1050.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18019 0 1 0 96546 62 0 0 21 0 10 0 780227016 854626304 26236 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208649 26236 13086 16 0 208633 0
vsize: 834596
[startup+1060.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18019 0 1 0 97445 62 0 0 18 0 10 0 780227016 854626304 26255 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208649 26255 13086 16 0 208633 0
vsize: 834596
[startup+1070.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18019 0 1 0 98349 63 0 0 22 0 10 0 780227016 854626304 26272 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208649 26272 13086 16 0 208633 0
vsize: 834596
[startup+1080.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18019 0 1 0 99248 63 0 0 20 0 10 0 780227016 854626304 26315 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208649 26315 13086 16 0 208633 0
vsize: 834596
[startup+1090.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18019 0 1 0 100153 63 0 0 23 0 10 0 780227016 854626304 26332 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208649 26332 13086 16 0 208633 0
vsize: 834596
[startup+1100.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18019 0 1 0 101053 63 0 0 21 0 10 0 780227016 854626304 26357 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208649 26357 13086 16 0 208633 0
vsize: 834596
[startup+1110.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18019 0 1 0 101951 63 0 0 17 0 10 0 780227016 854626304 26383 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208649 26383 13086 16 0 208633 0
vsize: 834596
[startup+1120.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18019 0 1 0 102856 63 0 0 23 0 10 0 780227016 854626304 26399 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208649 26399 13086 16 0 208633 0
vsize: 834596
[startup+1130.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18019 0 1 0 103753 64 0 0 20 0 10 0 780227016 854626304 26425 4294967295 134512640 134569956 3221224368 3221214264 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208649 26425 13086 16 0 208633 0
vsize: 834596
[startup+1140.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12344
Raw data (stat): 12335 (java) S 12334 1269 1268 0 -1 0 18019 0 1 0 104652 64 0 0 23 0 10 0 780227016 854626304 26441 4294967295 134512640 134569956 3221224368 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208649 26441 13086 16 0 208633 0
vsize: 834596
[startup+1150.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18019 0 1 0 105556 64 0 0 21 0 10 0 780227016 854626304 26466 4294967295 134512640 134569956 3221224368 3221214248 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208649 26466 13086 16 0 208633 0
vsize: 834596
[startup+1160.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18019 0 1 0 106453 64 0 0 18 0 10 0 780227016 854626304 26483 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208649 26483 13086 16 0 208633 0
vsize: 834596
[startup+1170.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18019 0 1 0 107357 64 0 0 21 0 10 0 780227016 854626304 26508 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208649 26508 13086 16 0 208633 0
vsize: 834596
[startup+1180.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18019 0 1 0 108255 65 0 0 19 0 10 0 780227016 854626304 26539 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208649 26539 13086 16 0 208633 0
vsize: 834596
[startup+1190.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18019 0 1 0 109158 65 0 0 23 0 10 0 780227016 854626304 26555 4294967295 134512640 134569956 3221224368 3221214264 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208649 26555 13086 16 0 208633 0
vsize: 834596
[startup+1200.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18019 0 1 0 110053 65 0 0 20 0 10 0 780227016 854626304 26590 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208649 26590 13086 16 0 208633 0
vsize: 834596
[startup+1210.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12344
Raw data (stat): 12335 (java) S 12334 1269 1268 0 -1 0 18019 0 1 0 110951 65 0 0 23 0 10 0 780227016 854626304 26606 4294967295 134512640 134569956 3221224368 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208649 26606 13086 16 0 208633 0
vsize: 834596
[startup+1220.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18019 0 1 0 111851 65 0 0 21 0 10 0 780227016 854626304 26633 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208649 26633 13086 16 0 208633 0
vsize: 834596
[startup+1230.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18019 0 1 0 112747 66 0 0 18 0 10 0 780227016 854626304 26655 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208649 26655 13086 16 0 208633 0
vsize: 834596
[startup+1240.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18019 0 1 0 113650 66 0 0 20 0 10 0 780227016 854626304 26678 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208649 26678 13086 16 0 208633 0
vsize: 834596
[startup+1250.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18019 0 1 0 114545 66 0 0 18 0 10 0 780227016 854626304 26696 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208649 26696 13086 16 0 208633 0
vsize: 834596
[startup+1260.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18019 0 1 0 115449 67 0 0 22 0 10 0 780227016 854626304 26730 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208649 26730 13086 16 0 208633 0
vsize: 834596
[startup+1270.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18019 0 1 0 116344 67 0 0 18 0 10 0 780227016 854626304 26748 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208649 26748 13086 16 0 208633 0
vsize: 834596
[startup+1280.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18019 0 1 0 117246 67 0 0 21 0 10 0 780227016 854626304 26763 4294967295 134512640 134569956 3221224368 3221214248 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208649 26763 13086 16 0 208633 0
vsize: 834596
[startup+1290.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18019 0 1 0 118141 68 0 0 19 0 10 0 780227016 854626304 26819 4294967295 134512640 134569956 3221224368 3221214264 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208649 26819 13086 16 0 208633 0
vsize: 834596
[startup+1300.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18019 0 1 0 119049 68 0 0 23 0 10 0 780227016 854626304 26840 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208649 26840 13086 16 0 208633 0
vsize: 834596
[startup+1310.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12344
Raw data (stat): 12335 (java) R 12334 1269 1268 0 -1 0 18019 0 1 0 119952 68 0 0 20 0 10 0 780227016 854626304 26881 4294967295 134512640 134569956 3221224368 3221214248 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208649 26881 13086 16 0 208633 0
vsize: 834596
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1310.21 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 12346
Raw data (stat): 12335 (java) Z 12334 1269 1268 0 -1 1036 18019 10407 1 0 119956 73 11378 51 22 0 1 0 780227016 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): 1310.21
CPU time (s): 1314.6
CPU user time (s): 1313.36
CPU system time (s): 1.24481
CPU usage (%): 100.335
Max. virtual memory (Kb): 835352
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####