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/fctp/normalized-mps-v2-20-10-n3701.opb
MD5SUM	43fed3c1d7a16e4c08eafe49f6a33c8e
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	155000
Biggest coefficient in the objective function	4294967296
Number of bits for the biggest coefficient in the objective function	33
Sum of the numbers in the objective function	29697461525571
Number of bits of the sum of numbers in the objective function	45
Biggest number in a constraint	4294967296
Number of bits of the biggest number in a constraint	33
Biggest sum of numbers in a constraint	29697461525571
Number of bits of the biggest sum of numbers	45
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.43278
Number of variables	155000
Total number of constraints	5150
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	5150
Minimum length of a constraint	31
Maximum length of a constraint	3000
Trace number 29687

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.080
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:        624900 kB
Buffers:         28232 kB
Cached:         358572 kB
SwapCached:        524 kB
Active:         169204 kB
Inactive:       219980 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        624648 kB
SwapTotal:     2097892 kB
SwapFree:      2096776 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5656 kB
Slab:            14860 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 10:51:05 (client local time) WITH STATUS 143 IN 1312.38 SECONDS
stats: 21091 7 1312.38 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/wulflinc24/normalized-mps-v2-20-10-n3701.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.135
#### 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.85 0.94 0.98 2/54 20711
Raw data (stat): 20711 (runsolver) R 20710 4613 4612 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 838162741 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0004 s]
Raw data (loadavg): 0.88 0.94 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18000 0 1 0 871 39 0 0 25 0 10 0 838162741 853667840 19287 4294967295 134512640 134569956 3221224368 3221214688 1131200961 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 19287 13086 16 0 208399 0
vsize: 833660
[startup+20.0073 s]
Raw data (loadavg): 0.89 0.94 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 1766 40 0 0 25 0 10 0 838162741 854003712 19881 4294967295 134512640 134569956 3221224368 3221214644 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208497 19881 13086 16 0 208481 0
vsize: 833988
[startup+30.0072 s]
Raw data (loadavg): 0.91 0.94 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 2653 40 0 0 25 0 10 0 838162741 854003712 20376 4294967295 134512640 134569956 3221224368 3221214416 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208497 20376 13086 16 0 208481 0
vsize: 833988
[startup+40.0104 s]
Raw data (loadavg): 0.92 0.94 0.98 2/63 20720
Raw data (stat): 20711 (java) S 20710 4613 4612 0 -1 0 18001 0 1 0 3571 40 0 0 25 0 10 0 838162741 854003712 20667 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208497 20667 13086 16 0 208481 0
vsize: 833988
[startup+50.0117 s]
Raw data (loadavg): 0.93 0.95 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 4493 40 0 0 25 0 10 0 838162741 854003712 20829 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208497 20829 13086 16 0 208481 0
vsize: 833988
[startup+60.0123 s]
Raw data (loadavg): 0.94 0.95 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 5407 40 0 0 24 0 10 0 838162741 854003712 20961 4294967295 134512640 134569956 3221224368 3221214768 1131244934 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208497 20961 13086 16 0 208481 0
vsize: 833988
[startup+70.0127 s]
Raw data (loadavg): 0.95 0.95 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 6336 41 0 0 25 0 10 0 838162741 854003712 21200 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208497 21200 13086 16 0 208481 0
vsize: 833988
[startup+80.014 s]
Raw data (loadavg): 0.96 0.95 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 7276 41 0 0 25 0 10 0 838162741 854003712 21296 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208497 21296 13086 16 0 208481 0
vsize: 833988
[startup+90.0145 s]
Raw data (loadavg): 0.96 0.95 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 8215 41 0 0 24 0 10 0 838162741 854003712 21390 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208497 21390 13086 16 0 208481 0
vsize: 833988
[startup+100.015 s]
Raw data (loadavg): 0.97 0.95 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 9157 41 0 0 25 0 10 0 838162741 854003712 21471 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208497 21471 13086 16 0 208481 0
vsize: 833988
[startup+110.016 s]
Raw data (loadavg): 0.97 0.95 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 10100 41 0 0 25 0 10 0 838162741 854003712 21547 4294967295 134512640 134569956 3221224368 3221214120 1076874544 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208497 21547 13086 16 0 208481 0
vsize: 833988
[startup+120.017 s]
Raw data (loadavg): 0.98 0.95 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 11041 41 0 0 25 0 10 0 838162741 854003712 21624 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208497 21624 13086 16 0 208481 0
vsize: 833988
[startup+130.017 s]
Raw data (loadavg): 0.98 0.95 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 11985 41 0 0 25 0 10 0 838162741 854003712 21693 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208497 21693 13086 16 0 208481 0
vsize: 833988
[startup+140.019 s]
Raw data (loadavg): 0.98 0.95 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 12925 41 0 0 24 0 10 0 838162741 854003712 21761 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208497 21761 13086 16 0 208481 0
vsize: 833988
[startup+150.02 s]
Raw data (loadavg): 0.98 0.95 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 13869 42 0 0 25 0 10 0 838162741 854003712 21823 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208497 21823 13086 16 0 208481 0
vsize: 833988
[startup+160.02 s]
Raw data (loadavg): 0.99 0.96 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 14814 42 0 0 25 0 10 0 838162741 854003712 21883 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208497 21883 13086 16 0 208481 0
vsize: 833988
[startup+170.02 s]
Raw data (loadavg): 0.99 0.96 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 15754 42 0 0 25 0 10 0 838162741 854003712 21944 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208497 21944 13086 16 0 208481 0
vsize: 833988
[startup+180.021 s]
Raw data (loadavg): 0.99 0.96 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 16672 42 0 0 25 0 10 0 838162741 854003712 21999 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208497 21999 13086 16 0 208481 0
vsize: 833988
[startup+190.021 s]
Raw data (loadavg): 0.99 0.96 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 17590 42 0 0 25 0 10 0 838162741 854003712 22053 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208497 22053 13086 16 0 208481 0
vsize: 833988
[startup+200.022 s]
Raw data (loadavg): 0.99 0.96 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 18528 42 0 0 25 0 10 0 838162741 854003712 22362 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208497 22362 13086 16 0 208481 0
vsize: 833988
[startup+210.023 s]
Raw data (loadavg): 0.99 0.96 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 19469 42 0 0 25 0 10 0 838162741 854003712 22413 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208497 22413 13086 16 0 208481 0
vsize: 833988
[startup+220.024 s]
Raw data (loadavg): 0.99 0.96 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 20405 43 0 0 25 0 10 0 838162741 854003712 22465 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208497 22465 13086 16 0 208481 0
vsize: 833988
[startup+230.024 s]
Raw data (loadavg): 0.99 0.96 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 21346 43 0 0 25 0 10 0 838162741 854003712 22513 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208497 22513 13086 16 0 208481 0
vsize: 833988
[startup+240.025 s]
Raw data (loadavg): 0.99 0.96 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 22286 43 0 0 25 0 10 0 838162741 854003712 22560 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208497 22560 13086 16 0 208481 0
vsize: 833988
[startup+250.026 s]
Raw data (loadavg): 0.99 0.96 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 23226 43 0 0 25 0 10 0 838162741 854003712 22607 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208497 22607 13086 16 0 208481 0
vsize: 833988
[startup+260.036 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 24162 43 0 0 25 0 10 0 838162741 854003712 22655 4294967295 134512640 134569956 3221224368 3221214748 1080204160 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208497 22655 13086 16 0 208481 0
vsize: 833988
[startup+270.037 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 25101 43 0 0 25 0 10 0 838162741 854003712 22699 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208497 22699 13086 16 0 208481 0
vsize: 833988
[startup+280.038 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 26040 43 0 0 25 0 10 0 838162741 854003712 22742 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208497 22742 13086 16 0 208481 0
vsize: 833988
[startup+290.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 26977 44 0 0 25 0 10 0 838162741 854003712 22785 4294967295 134512640 134569956 3221224368 3221214712 1131044787 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208497 22785 13086 16 0 208481 0
vsize: 833988
[startup+300.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 27911 44 0 0 24 0 10 0 838162741 854003712 22830 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208497 22830 13086 16 0 208481 0
vsize: 833988
[startup+310.042 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 28848 44 0 0 25 0 10 0 838162741 854003712 22871 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208497 22871 13086 16 0 208481 0
vsize: 833988
[startup+320.044 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 29785 44 0 0 25 0 10 0 838162741 854003712 22912 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208497 22912 13086 16 0 208481 0
vsize: 833988
[startup+330.044 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 30721 44 0 0 25 0 10 0 838162741 854003712 22952 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208497 22952 13086 16 0 208481 0
vsize: 833988
[startup+340.045 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 31657 45 0 0 25 0 10 0 838162741 854003712 22991 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208497 22991 13086 16 0 208481 0
vsize: 833988
[startup+350.046 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 32588 45 0 0 24 0 10 0 838162741 854003712 23032 4294967295 134512640 134569956 3221224368 3221214748 1080204146 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208497 23032 13086 16 0 208481 0
vsize: 833988
[startup+360.046 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 33523 46 0 0 24 0 10 0 838162741 854003712 23070 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208497 23070 13086 16 0 208481 0
vsize: 833988
[startup+370.047 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 34457 46 0 0 25 0 10 0 838162741 854003712 23108 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208497 23108 13086 16 0 208481 0
vsize: 833988
[startup+380.048 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 35390 46 0 0 25 0 10 0 838162741 854003712 23145 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208497 23145 13086 16 0 208481 0
vsize: 833988
[startup+390.049 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 36323 47 0 0 25 0 10 0 838162741 854003712 23182 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208497 23182 13086 16 0 208481 0
vsize: 833988
[startup+400.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 37256 47 0 0 25 0 10 0 838162741 854003712 23218 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208497 23218 13086 16 0 208481 0
vsize: 833988
[startup+410.051 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 38189 47 0 0 25 0 10 0 838162741 854003712 23253 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208497 23253 13086 16 0 208481 0
vsize: 833988
[startup+420.051 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 39120 47 0 0 25 0 10 0 838162741 854003712 23288 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208497 23288 13086 16 0 208481 0
vsize: 833988
[startup+430.051 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 20720
Raw data (stat): 20711 (java) S 20710 4613 4612 0 -1 0 18001 0 1 0 40050 48 0 0 25 0 10 0 838162741 854003712 23324 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208497 23324 13086 16 0 208481 0
vsize: 833988
[startup+440.052 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 40980 48 0 0 24 0 10 0 838162741 854003712 23359 4294967295 134512640 134569956 3221224368 3221214104 1076874552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208497 23359 13086 16 0 208481 0
vsize: 833988
[startup+450.053 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 41911 49 0 0 24 0 10 0 838162741 854003712 23393 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208497 23393 13086 16 0 208481 0
vsize: 833988
[startup+460.053 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 42842 49 0 0 24 0 10 0 838162741 854003712 23426 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208497 23426 13086 16 0 208481 0
vsize: 833988
[startup+470.054 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 43773 50 0 0 24 0 10 0 838162741 854003712 23459 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208497 23459 13086 16 0 208481 0
vsize: 833988
[startup+480.054 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 44703 50 0 0 24 0 10 0 838162741 854003712 23492 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208497 23492 13086 16 0 208481 0
vsize: 833988
[startup+490.055 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 45633 51 0 0 24 0 10 0 838162741 854003712 23524 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208497 23524 13086 16 0 208481 0
vsize: 833988
[startup+500.056 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 20720
Raw data (stat): 20711 (java) S 20710 4613 4612 0 -1 0 18001 0 1 0 46563 52 0 0 25 0 10 0 838162741 854003712 23555 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208497 23555 13086 16 0 208481 0
vsize: 833988
[startup+510.057 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 20720
Raw data (stat): 20711 (java) S 20710 4613 4612 0 -1 0 18001 0 1 0 47494 52 0 0 25 0 10 0 838162741 854003712 23586 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208497 23586 13086 16 0 208481 0
vsize: 833988
[startup+520.057 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 48424 52 0 0 25 0 10 0 838162741 854003712 23617 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208497 23617 13086 16 0 208481 0
vsize: 833988
[startup+530.057 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 49353 52 0 0 25 0 10 0 838162741 854003712 23649 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208497 23649 13086 16 0 208481 0
vsize: 833988
[startup+540.058 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 50281 53 0 0 25 0 10 0 838162741 854003712 23680 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208497 23680 13086 16 0 208481 0
vsize: 833988
[startup+550.059 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 51208 54 0 0 25 0 10 0 838162741 854003712 23710 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208497 23710 13086 16 0 208481 0
vsize: 833988
[startup+560.059 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 52135 54 0 0 25 0 10 0 838162741 854003712 23740 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208497 23740 13086 16 0 208481 0
vsize: 833988
[startup+570.06 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 53061 55 0 0 25 0 10 0 838162741 854003712 23770 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208497 23770 13086 16 0 208481 0
vsize: 833988
[startup+580.06 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 53987 56 0 0 25 0 10 0 838162741 854003712 23800 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208497 23800 13086 16 0 208481 0
vsize: 833988
[startup+590.061 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 54913 56 0 0 25 0 10 0 838162741 854003712 23829 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208497 23829 13086 16 0 208481 0
vsize: 833988
[startup+600.062 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 55839 56 0 0 25 0 10 0 838162741 854003712 23858 4294967295 134512640 134569956 3221224368 3221214216 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208497 23858 13086 16 0 208481 0
vsize: 833988
[startup+610.063 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 56762 58 0 0 24 0 10 0 838162741 854003712 23887 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208497 23887 13086 16 0 208481 0
vsize: 833988
[startup+620.064 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 57692 59 0 0 25 0 10 0 838162741 854003712 23913 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208497 23913 13086 16 0 208481 0
vsize: 833988
[startup+630.063 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 58616 59 0 0 25 0 10 0 838162741 854003712 23942 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208497 23942 13086 16 0 208481 0
vsize: 833988
[startup+640.063 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 59540 59 0 0 25 0 10 0 838162741 854003712 23970 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208497 23970 13086 16 0 208481 0
vsize: 833988
[startup+650.064 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 60464 60 0 0 25 0 10 0 838162741 854003712 23998 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208497 23998 13086 16 0 208481 0
vsize: 833988
[startup+660.065 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 61388 60 0 0 25 0 10 0 838162741 854003712 24025 4294967295 134512640 134569956 3221224368 3221214752 1131246249 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208497 24025 13086 16 0 208481 0
vsize: 833988
[startup+670.066 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 62312 61 0 0 25 0 10 0 838162741 854003712 24053 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208497 24053 13086 16 0 208481 0
vsize: 833988
[startup+680.066 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 20720
Raw data (stat): 20711 (java) S 20710 4613 4612 0 -1 0 18001 0 1 0 63231 61 0 0 25 0 10 0 838162741 854003712 24988 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208497 24988 13086 16 0 208481 0
vsize: 833988
[startup+690.067 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 64156 61 0 0 25 0 10 0 838162741 854003712 24988 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208497 24988 13086 16 0 208481 0
vsize: 833988
[startup+700.068 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 65070 62 0 0 25 0 10 0 838162741 854003712 25001 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208497 25001 13086 16 0 208481 0
vsize: 833988
[startup+710.069 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 65984 62 0 0 25 0 10 0 838162741 854003712 25029 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208497 25029 13086 16 0 208481 0
vsize: 833988
[startup+720.069 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 66902 63 0 0 25 0 10 0 838162741 854003712 25053 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208497 25053 13086 16 0 208481 0
vsize: 833988
[startup+730.07 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 67813 63 0 0 25 0 10 0 838162741 854003712 25080 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208497 25080 13086 16 0 208481 0
vsize: 833988
[startup+740.071 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 68725 64 0 0 25 0 10 0 838162741 854003712 25106 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208497 25106 13086 16 0 208481 0
vsize: 833988
[startup+750.072 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 20720
Raw data (stat): 20711 (java) S 20710 4613 4612 0 -1 0 18001 0 1 0 69643 64 0 0 25 0 10 0 838162741 854003712 25130 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208497 25130 13086 16 0 208481 0
vsize: 833988
[startup+760.073 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 70555 64 0 0 25 0 10 0 838162741 854003712 25156 4294967295 134512640 134569956 3221224368 3221214216 1080019747 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208497 25156 13086 16 0 208481 0
vsize: 833988
[startup+770.074 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 71466 65 0 0 25 0 10 0 838162741 854003712 25181 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208497 25181 13086 16 0 208481 0
vsize: 833988
[startup+780.074 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 72381 65 0 0 25 0 10 0 838162741 854003712 25205 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208497 25205 13086 16 0 208481 0
vsize: 833988
[startup+790.074 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 73292 66 0 0 25 0 10 0 838162741 854003712 25230 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208497 25230 13086 16 0 208481 0
vsize: 833988
[startup+800.075 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 74202 66 0 0 24 0 10 0 838162741 854003712 25255 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208497 25255 13086 16 0 208481 0
vsize: 833988
[startup+810.076 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 75118 66 0 0 24 0 10 0 838162741 854003712 25279 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208497 25279 13086 16 0 208481 0
vsize: 833988
[startup+820.076 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 76027 67 0 0 25 0 10 0 838162741 854003712 25304 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208497 25304 13086 16 0 208481 0
vsize: 833988
[startup+830.077 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 76941 67 0 0 25 0 10 0 838162741 854003712 25327 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208497 25327 13086 16 0 208481 0
vsize: 833988
[startup+840.078 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 77849 67 0 0 25 0 10 0 838162741 854003712 25351 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208497 25351 13086 16 0 208481 0
vsize: 833988
[startup+850.078 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 20720
Raw data (stat): 20711 (java) S 20710 4613 4612 0 -1 0 18001 0 1 0 78758 68 0 0 25 0 10 0 838162741 854003712 25374 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208497 25374 13086 16 0 208481 0
vsize: 833988
[startup+860.079 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 79670 68 0 0 25 0 10 0 838162741 854003712 25398 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208497 25398 13086 16 0 208481 0
vsize: 833988
[startup+870.08 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 80577 69 0 0 24 0 10 0 838162741 854003712 25422 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208497 25422 13086 16 0 208481 0
vsize: 833988
[startup+880.079 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 81492 69 0 0 25 0 10 0 838162741 854003712 25444 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208497 25444 13086 16 0 208481 0
vsize: 833988
[startup+890.081 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 82399 69 0 0 24 0 10 0 838162741 854003712 25468 4294967295 134512640 134569956 3221224368 3221214216 1080019747 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208497 25468 13086 16 0 208481 0
vsize: 833988
[startup+900.081 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 83311 70 0 0 25 0 10 0 838162741 854003712 25490 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208497 25490 13086 16 0 208481 0
vsize: 833988
[startup+910.082 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 84218 71 0 0 24 0 10 0 838162741 854003712 25514 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208497 25514 13086 16 0 208481 0
vsize: 833988
[startup+920.083 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 85130 71 0 0 25 0 10 0 838162741 854003712 25537 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208497 25537 13086 16 0 208481 0
vsize: 833988
[startup+930.082 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 86037 71 0 0 24 0 10 0 838162741 854003712 25560 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208497 25560 13086 16 0 208481 0
vsize: 833988
[startup+940.083 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 86949 72 0 0 25 0 10 0 838162741 854003712 25587 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208497 25587 13086 16 0 208481 0
vsize: 833988
[startup+950.083 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 87854 72 0 0 24 0 10 0 838162741 854003712 25612 4294967295 134512640 134569956 3221224368 3221214216 1080019747 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208497 25612 13086 16 0 208481 0
vsize: 833988
[startup+960.083 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 88765 73 0 0 25 0 10 0 838162741 854003712 25634 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208497 25634 13086 16 0 208481 0
vsize: 833988
[startup+970.084 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 20720
Raw data (stat): 20711 (java) S 20710 4613 4612 0 -1 0 18001 0 1 0 89670 74 0 0 25 0 10 0 838162741 854003712 25664 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208497 25664 13086 16 0 208481 0
vsize: 833988
[startup+980.084 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 90580 74 0 0 21 0 10 0 838162741 854003712 25692 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208497 25692 13086 16 0 208481 0
vsize: 833988
[startup+990.085 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 20720
Raw data (stat): 20711 (java) S 20710 4613 4612 0 -1 0 18001 0 1 0 91489 74 0 0 24 0 10 0 838162741 854003712 25714 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208497 25714 13086 16 0 208481 0
vsize: 833988
[startup+1000.08 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 92394 74 0 0 21 0 10 0 838162741 854003712 25741 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208497 25741 13086 16 0 208481 0
vsize: 833988
[startup+1010.09 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 93304 75 0 0 23 0 10 0 838162741 854003712 25762 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208497 25762 13086 16 0 208481 0
vsize: 833988
[startup+1020.09 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 94207 75 0 0 20 0 10 0 838162741 854003712 25792 4294967295 134512640 134569956 3221224368 3221214216 1080019747 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208497 25792 13086 16 0 208481 0
vsize: 833988
[startup+1030.09 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 95117 75 0 0 24 0 10 0 838162741 854003712 25813 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208497 25813 13086 16 0 208481 0
vsize: 833988
[startup+1040.09 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 96020 76 0 0 20 0 10 0 838162741 854003712 25835 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208497 25835 13086 16 0 208481 0
vsize: 833988
[startup+1050.09 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 96929 76 0 0 24 0 10 0 838162741 854003712 25865 4294967295 134512640 134569956 3221224368 3221214740 1080203551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208497 25865 13086 16 0 208481 0
vsize: 833988
[startup+1060.09 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 97832 77 0 0 19 0 10 0 838162741 854003712 25888 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208497 25888 13086 16 0 208481 0
vsize: 833988
[startup+1070.09 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 98740 77 0 0 21 0 10 0 838162741 854003712 25914 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208497 25914 13086 16 0 208481 0
vsize: 833988
[startup+1080.09 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 99642 78 0 0 19 0 10 0 838162741 854003712 25939 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208497 25939 13086 16 0 208481 0
vsize: 833988
[startup+1090.09 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 100548 78 0 0 22 0 10 0 838162741 854003712 25964 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208497 25964 13086 16 0 208481 0
vsize: 833988
[startup+1100.09 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 101453 78 0 0 23 0 10 0 838162741 854003712 25987 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208497 25987 13086 16 0 208481 0
vsize: 833988
[startup+1110.09 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 102355 79 0 0 20 0 10 0 838162741 854003712 26008 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208497 26008 13086 16 0 208481 0
vsize: 833988
[startup+1120.09 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 103262 79 0 0 23 0 10 0 838162741 854003712 26033 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208497 26033 13086 16 0 208481 0
vsize: 833988
[startup+1130.09 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 104162 80 0 0 19 0 10 0 838162741 854003712 26058 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208497 26058 13086 16 0 208481 0
vsize: 833988
[startup+1140.09 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 105069 80 0 0 22 0 10 0 838162741 854003712 26082 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208497 26082 13086 16 0 208481 0
vsize: 833988
[startup+1150.09 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 20720
Raw data (stat): 20711 (java) S 20710 4613 4612 0 -1 0 18001 0 1 0 105969 80 0 0 23 0 10 0 838162741 854003712 26106 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208497 26106 13086 16 0 208481 0
vsize: 833988
[startup+1160.09 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 106874 81 0 0 21 0 10 0 838162741 854003712 26130 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208497 26130 13086 16 0 208481 0
vsize: 833988
[startup+1170.09 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 107779 81 0 0 23 0 10 0 838162741 854003712 26150 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208497 26150 13086 16 0 208481 0
vsize: 833988
[startup+1180.09 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 108677 82 0 0 19 0 10 0 838162741 854003712 26177 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208497 26177 13086 16 0 208481 0
vsize: 833988
[startup+1190.1 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 109583 82 0 0 21 0 10 0 838162741 854003712 26200 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208497 26200 13086 16 0 208481 0
vsize: 833988
[startup+1200.1 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 110487 82 0 0 24 0 10 0 838162741 854003712 26221 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208497 26221 13086 16 0 208481 0
vsize: 833988
[startup+1210.1 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 111385 83 0 0 20 0 10 0 838162741 854003712 26246 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208497 26246 13086 16 0 208481 0
vsize: 833988
[startup+1220.1 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 112288 83 0 0 21 0 10 0 838162741 854003712 26269 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208497 26269 13086 16 0 208481 0
vsize: 833988
[startup+1230.1 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 113190 84 0 0 23 0 10 0 838162741 854003712 26291 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208497 26291 13086 16 0 208481 0
vsize: 833988
[startup+1240.1 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 114085 84 0 0 19 0 10 0 838162741 854003712 26313 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208497 26313 13086 16 0 208481 0
vsize: 833988
[startup+1250.1 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 114989 85 0 0 20 0 10 0 838162741 854003712 26334 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208497 26334 13086 16 0 208481 0
vsize: 833988
[startup+1260.1 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 115892 85 0 0 21 0 10 0 838162741 854003712 26353 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208497 26353 13086 16 0 208481 0
vsize: 833988
[startup+1270.1 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 116795 86 0 0 23 0 10 0 838162741 854003712 26371 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208497 26371 13086 16 0 208481 0
vsize: 833988
[startup+1280.1 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 117691 86 0 0 18 0 10 0 838162741 854003712 26404 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208497 26404 13086 16 0 208481 0
vsize: 833988
[startup+1290.1 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 118594 87 0 0 20 0 10 0 838162741 854003712 26422 4294967295 134512640 134569956 3221224368 3221214748 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208497 26422 13086 16 0 208481 0
vsize: 833988
[startup+1300.1 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 119497 87 0 0 23 0 10 0 838162741 854003712 26452 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208497 26452 13086 16 0 208481 0
vsize: 833988
[startup+1310.1 s]
Raw data (loadavg): 0.99 0.97 0.98 2/63 20720
Raw data (stat): 20711 (java) R 20710 4613 4612 0 -1 0 18001 0 1 0 120396 87 0 0 19 0 10 0 838162741 854003712 26473 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208497 26473 13086 16 0 208481 0
vsize: 833988
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1310.21 s]
Raw data (loadavg): 0.99 0.97 0.98 1/54 20722
Raw data (stat): 20711 (java) Z 20710 4613 4612 0 -1 1036 18001 9164 1 0 120402 92 10696 45 20 0 1 0 838162741 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): 1312.38
CPU user time (s): 1311
CPU system time (s): 1.38379
CPU usage (%): 100.166
Max. virtual memory (Kb): 833988
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####