PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-bnl2.opb
MD5SUM	98512bff24b30a4b39304804d2f8a5cb
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	50550
Biggest coefficient in the objective function	322444669747200
Number of bits for the biggest coefficient in the objective function	49
Sum of the numbers in the objective function	11314136774293353
Number of bits of the sum of numbers in the objective function	54
Biggest number in a constraint	322444669747200
Number of bits of the biggest number in a constraint	49
Biggest sum of numbers in a constraint	11314136774293353
Number of bits of the biggest sum of numbers	54
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.955853
Number of variables	104670
Total number of constraints	2280
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	2280
Minimum length of a constraint	30
Maximum length of a constraint	2460
Trace number 29427

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc24 THE 2005-05-25 07:34:08 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20825 boxname=wulflinc24 idbench=813 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  98512bff24b30a4b39304804d2f8a5cb  /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-20-10-bnl2.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-20-10-bnl2.opb
IDLAUNCH: 20825
/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:        656460 kB
Buffers:         23220 kB
Cached:         332236 kB
SwapCached:        524 kB
Active:         148352 kB
Inactive:       209524 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        656208 kB
SwapTotal:     2097892 kB
SwapFree:      2096776 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5656 kB
Slab:            14600 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 07:56:00 (client local time) WITH STATUS 143 IN 1311.04 SECONDS
stats: 20825 7 1311.04 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-bnl2.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.144
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.99 1.00 1.00 2/54 19592
Raw data (stat): 19592 (runsolver) R 19591 4613 4612 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 837112151 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0002 s]
Raw data (loadavg): 1.14 1.03 1.01 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18003 0 1 0 875 39 0 0 25 0 10 0 837112151 853889024 19368 4294967295 134512640 134569956 3221224368 3221214416 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208469 19368 13086 16 0 208453 0
vsize: 833876
[startup+20.0014 s]
Raw data (loadavg): 1.19 1.05 1.01 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18004 0 1 0 1768 39 0 0 25 0 10 0 837112151 855318528 20202 4294967295 134512640 134569956 3221224368 3221214416 1076461336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208818 20202 13086 16 0 208802 0
vsize: 835272
[startup+30.0016 s]
Raw data (loadavg): 1.16 1.04 1.01 2/63 19601
Raw data (stat): 19592 (java) S 19591 4613 4612 0 -1 0 18004 0 1 0 2657 39 0 0 25 0 10 0 837112151 854614016 20558 4294967295 134512640 134569956 3221224368 3221213704 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208646 20558 13086 16 0 208630 0
vsize: 834584
[startup+40.0024 s]
Raw data (loadavg): 1.14 1.04 1.01 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18004 0 1 0 3572 39 0 0 25 0 10 0 837112151 854614016 20858 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208646 20858 13086 16 0 208630 0
vsize: 834584
[startup+50.0035 s]
Raw data (loadavg): 1.12 1.04 1.01 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18004 0 1 0 4492 39 0 0 24 0 10 0 837112151 854614016 21029 4294967295 134512640 134569956 3221224368 3221214756 1080203551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208646 21029 13086 16 0 208630 0
vsize: 834584
[startup+60.0037 s]
Raw data (loadavg): 1.10 1.04 1.01 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18004 0 1 0 5410 39 0 0 25 0 10 0 837112151 854614016 21158 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208646 21158 13086 16 0 208630 0
vsize: 834584
[startup+70.0044 s]
Raw data (loadavg): 1.08 1.04 1.01 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18004 0 1 0 6338 39 0 0 25 0 10 0 837112151 854614016 21409 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208646 21409 13086 16 0 208630 0
vsize: 834584
[startup+80.0046 s]
Raw data (loadavg): 1.07 1.03 1.01 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18004 0 1 0 7278 40 0 0 25 0 10 0 837112151 854614016 21510 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208646 21510 13086 16 0 208630 0
vsize: 834584
[startup+90.0049 s]
Raw data (loadavg): 1.06 1.03 1.01 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18004 0 1 0 8220 40 0 0 25 0 10 0 837112151 854614016 21602 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208646 21602 13086 16 0 208630 0
vsize: 834584
[startup+100.005 s]
Raw data (loadavg): 1.05 1.03 1.01 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18004 0 1 0 9162 40 0 0 25 0 10 0 837112151 854614016 21687 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208646 21687 13086 16 0 208630 0
vsize: 834584
[startup+110.006 s]
Raw data (loadavg): 1.04 1.03 1.01 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18004 0 1 0 10102 40 0 0 25 0 10 0 837112151 854614016 21772 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208646 21772 13086 16 0 208630 0
vsize: 834584
[startup+120.007 s]
Raw data (loadavg): 1.03 1.03 1.00 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18004 0 1 0 11045 40 0 0 25 0 10 0 837112151 854614016 21846 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208646 21846 13086 16 0 208630 0
vsize: 834584
[startup+130.008 s]
Raw data (loadavg): 1.03 1.03 1.00 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18004 0 1 0 11989 40 0 0 25 0 10 0 837112151 854614016 21917 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208646 21917 13086 16 0 208630 0
vsize: 834584
[startup+140.008 s]
Raw data (loadavg): 1.02 1.03 1.00 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18004 0 1 0 12930 41 0 0 24 0 10 0 837112151 854614016 21989 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208646 21989 13086 16 0 208630 0
vsize: 834584
[startup+150.009 s]
Raw data (loadavg): 1.02 1.02 1.00 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18004 0 1 0 13874 41 0 0 25 0 10 0 837112151 854614016 22054 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208646 22054 13086 16 0 208630 0
vsize: 834584
[startup+160.01 s]
Raw data (loadavg): 1.02 1.02 1.00 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18004 0 1 0 14818 41 0 0 25 0 10 0 837112151 854614016 22115 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208646 22115 13086 16 0 208630 0
vsize: 834584
[startup+170.014 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18004 0 1 0 15763 41 0 0 25 0 10 0 837112151 854614016 22175 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208646 22175 13086 16 0 208630 0
vsize: 834584
[startup+180.019 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18004 0 1 0 16686 41 0 0 25 0 10 0 837112151 854614016 22233 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208646 22233 13086 16 0 208630 0
vsize: 834584
[startup+190.02 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18004 0 1 0 17604 41 0 0 25 0 10 0 837112151 854614016 22290 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208646 22290 13086 16 0 208630 0
vsize: 834584
[startup+200.02 s]
Raw data (loadavg): 1.01 1.02 1.00 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18004 0 1 0 18538 41 0 0 25 0 10 0 837112151 854614016 22600 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208646 22600 13086 16 0 208630 0
vsize: 834584
[startup+210.021 s]
Raw data (loadavg): 1.00 1.02 1.00 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18004 0 1 0 19479 42 0 0 25 0 10 0 837112151 854614016 22653 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208646 22653 13086 16 0 208630 0
vsize: 834584
[startup+220.023 s]
Raw data (loadavg): 1.00 1.02 1.00 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18004 0 1 0 20416 42 0 0 25 0 10 0 837112151 854614016 22707 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208646 22707 13086 16 0 208630 0
vsize: 834584
[startup+230.024 s]
Raw data (loadavg): 1.00 1.02 1.00 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18004 0 1 0 21357 42 0 0 25 0 10 0 837112151 854614016 22757 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208646 22757 13086 16 0 208630 0
vsize: 834584
[startup+240.025 s]
Raw data (loadavg): 1.00 1.02 1.00 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18004 0 1 0 22297 42 0 0 25 0 10 0 837112151 854614016 22807 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208646 22807 13086 16 0 208630 0
vsize: 834584
[startup+250.025 s]
Raw data (loadavg): 1.00 1.02 1.00 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18004 0 1 0 23237 42 0 0 25 0 10 0 837112151 854614016 22854 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208646 22854 13086 16 0 208630 0
vsize: 834584
[startup+260.028 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 19601
Raw data (stat): 19592 (java) S 19591 4613 4612 0 -1 0 18004 0 1 0 24176 42 0 0 25 0 10 0 837112151 854614016 22901 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208646 22901 13086 16 0 208630 0
vsize: 834584
[startup+270.03 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18004 0 1 0 25111 42 0 0 25 0 10 0 837112151 854614016 22949 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208646 22949 13086 16 0 208630 0
vsize: 834584
[startup+280.031 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18004 0 1 0 26050 42 0 0 25 0 10 0 837112151 854614016 22994 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208646 22994 13086 16 0 208630 0
vsize: 834584
[startup+290.031 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18004 0 1 0 26988 42 0 0 25 0 10 0 837112151 854614016 23038 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208646 23038 13086 16 0 208630 0
vsize: 834584
[startup+300.031 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18004 0 1 0 27927 42 0 0 25 0 10 0 837112151 854614016 23081 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208646 23081 13086 16 0 208630 0
vsize: 834584
[startup+310.032 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18004 0 1 0 28864 42 0 0 25 0 10 0 837112151 854614016 23123 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208646 23123 13086 16 0 208630 0
vsize: 834584
[startup+320.033 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18004 0 1 0 29801 43 0 0 25 0 10 0 837112151 854614016 23164 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208646 23164 13086 16 0 208630 0
vsize: 834584
[startup+330.037 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 19601
Raw data (stat): 19592 (java) S 19591 4613 4612 0 -1 0 18004 0 1 0 30737 43 0 0 25 0 10 0 837112151 854614016 23205 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208646 23205 13086 16 0 208630 0
vsize: 834584
[startup+340.037 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18004 0 1 0 31670 43 0 0 24 0 10 0 837112151 854614016 23247 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208646 23247 13086 16 0 208630 0
vsize: 834584
[startup+350.038 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18004 0 1 0 32605 44 0 0 24 0 10 0 837112151 854614016 23287 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208646 23287 13086 16 0 208630 0
vsize: 834584
[startup+360.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18004 0 1 0 33540 44 0 0 25 0 10 0 837112151 854614016 23326 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208646 23326 13086 16 0 208630 0
vsize: 834584
[startup+370.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18004 0 1 0 34475 44 0 0 21 0 10 0 837112151 854614016 23365 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208646 23365 13086 16 0 208630 0
vsize: 834584
[startup+380.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18004 0 1 0 35411 44 0 0 25 0 10 0 837112151 854614016 23402 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208646 23402 13086 16 0 208630 0
vsize: 834584
[startup+390.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18004 0 1 0 36345 45 0 0 25 0 10 0 837112151 854614016 23440 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208646 23440 13086 16 0 208630 0
vsize: 834584
[startup+400.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18004 0 1 0 37279 45 0 0 25 0 10 0 837112151 854614016 23476 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208646 23476 13086 16 0 208630 0
vsize: 834584
[startup+410.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18004 0 1 0 38213 45 0 0 25 0 10 0 837112151 854614016 23512 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208646 23512 13086 16 0 208630 0
vsize: 834584
[startup+420.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18004 0 1 0 39145 45 0 0 25 0 10 0 837112151 854614016 23548 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208646 23548 13086 16 0 208630 0
vsize: 834584
[startup+430.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18004 0 1 0 40078 45 0 0 25 0 10 0 837112151 854614016 23583 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208646 23583 13086 16 0 208630 0
vsize: 834584
[startup+440.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18004 0 1 0 41010 45 0 0 25 0 10 0 837112151 854614016 23618 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208646 23618 13086 16 0 208630 0
vsize: 834584
[startup+450.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18004 0 1 0 41942 46 0 0 25 0 10 0 837112151 854614016 23652 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208646 23652 13086 16 0 208630 0
vsize: 834584
[startup+460.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18004 0 1 0 42873 46 0 0 25 0 10 0 837112151 854614016 23686 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208646 23686 13086 16 0 208630 0
vsize: 834584
[startup+470.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18004 0 1 0 43805 46 0 0 25 0 10 0 837112151 854614016 23720 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208646 23720 13086 16 0 208630 0
vsize: 834584
[startup+480.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18004 0 1 0 44736 46 0 0 25 0 10 0 837112151 854614016 23753 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208646 23753 13086 16 0 208630 0
vsize: 834584
[startup+490.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18004 0 1 0 45666 46 0 0 25 0 10 0 837112151 854614016 23786 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208646 23786 13086 16 0 208630 0
vsize: 834584
[startup+500.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18004 0 1 0 46597 46 0 0 25 0 10 0 837112151 854614016 23819 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208646 23819 13086 16 0 208630 0
vsize: 834584
[startup+510.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18004 0 1 0 47525 46 0 0 25 0 10 0 837112151 854614016 23851 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208646 23851 13086 16 0 208630 0
vsize: 834584
[startup+520.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18004 0 1 0 48453 46 0 0 25 0 10 0 837112151 854614016 23883 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208646 23883 13086 16 0 208630 0
vsize: 834584
[startup+530.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18004 0 1 0 49380 46 0 0 25 0 10 0 837112151 854614016 23915 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208646 23915 13086 16 0 208630 0
vsize: 834584
[startup+540.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18004 0 1 0 50306 47 0 0 25 0 10 0 837112151 854614016 23946 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208646 23946 13086 16 0 208630 0
vsize: 834584
[startup+550.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18004 0 1 0 51232 47 0 0 25 0 10 0 837112151 854614016 23977 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208646 23977 13086 16 0 208630 0
vsize: 834584
[startup+560.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18004 0 1 0 52159 47 0 0 24 0 10 0 837112151 854614016 24007 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208646 24007 13086 16 0 208630 0
vsize: 834584
[startup+570.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19601
Raw data (stat): 19592 (java) S 19591 4613 4612 0 -1 0 18004 0 1 0 53086 48 0 0 25 0 10 0 837112151 854614016 24036 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208646 24036 13086 16 0 208630 0
vsize: 834584
[startup+580.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18004 0 1 0 54013 49 0 0 25 0 10 0 837112151 854614016 24066 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208646 24066 13086 16 0 208630 0
vsize: 834584
[startup+590.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18004 0 1 0 54938 49 0 0 25 0 10 0 837112151 854614016 24096 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208646 24096 13086 16 0 208630 0
vsize: 834584
[startup+600.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18004 0 1 0 55863 49 0 0 25 0 10 0 837112151 854614016 24125 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208646 24125 13086 16 0 208630 0
vsize: 834584
[startup+610.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18004 0 1 0 56787 49 0 0 25 0 10 0 837112151 854614016 24154 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208646 24154 13086 16 0 208630 0
vsize: 834584
[startup+620.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18004 0 1 0 57710 50 0 0 24 0 10 0 837112151 854614016 24183 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208646 24183 13086 16 0 208630 0
vsize: 834584
[startup+630.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18004 0 1 0 58638 50 0 0 25 0 10 0 837112151 854614016 24210 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208646 24210 13086 16 0 208630 0
vsize: 834584
[startup+640.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18004 0 1 0 59561 50 0 0 25 0 10 0 837112151 854614016 24239 4294967295 134512640 134569956 3221224368 3221214740 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208646 24239 13086 16 0 208630 0
vsize: 834584
[startup+650.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18004 0 1 0 60484 51 0 0 25 0 10 0 837112151 854614016 24267 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208646 24267 13086 16 0 208630 0
vsize: 834584
[startup+660.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18004 0 1 0 61406 51 0 0 24 0 10 0 837112151 854614016 24295 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208646 24295 13086 16 0 208630 0
vsize: 834584
[startup+670.079 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18004 0 1 0 62333 52 0 0 25 0 10 0 837112151 854614016 24321 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208646 24321 13086 16 0 208630 0
vsize: 834584
[startup+680.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18004 0 1 0 63245 52 0 0 25 0 10 0 837112151 854614016 25246 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208646 25246 13086 16 0 208630 0
vsize: 834584
[startup+690.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18004 0 1 0 64171 53 0 0 25 0 10 0 837112151 854614016 25246 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208646 25246 13086 16 0 208630 0
vsize: 834584
[startup+700.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18004 0 1 0 65091 53 0 0 25 0 10 0 837112151 854614016 25249 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208646 25249 13086 16 0 208630 0
vsize: 834584
[startup+710.081 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18004 0 1 0 66004 53 0 0 25 0 10 0 837112151 854614016 25276 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208646 25276 13086 16 0 208630 0
vsize: 834584
[startup+720.081 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18017 0 1 0 66917 53 0 0 25 0 10 0 837112151 854614016 25355 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208646 25355 13086 16 0 208630 0
vsize: 834584
[startup+730.081 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18017 0 1 0 67813 54 0 0 22 0 10 0 837112151 854614016 25442 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208646 25442 13086 16 0 208630 0
vsize: 834584
[startup+740.082 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18017 0 1 0 68710 54 0 0 22 0 10 0 837112151 854614016 25665 4294967295 134512640 134569956 3221224368 3221214764 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208646 25665 13086 16 0 208630 0
vsize: 834584
[startup+750.083 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18018 0 1 0 69616 55 0 0 25 0 10 0 837112151 854614016 25706 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208646 25706 13086 16 0 208630 0
vsize: 834584
[startup+760.083 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18018 0 1 0 70531 55 0 0 25 0 10 0 837112151 854614016 25734 4294967295 134512640 134569956 3221224368 3221214756 1080203551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208646 25734 13086 16 0 208630 0
vsize: 834584
[startup+770.083 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18018 0 1 0 71441 55 0 0 25 0 10 0 837112151 854614016 25764 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208646 25764 13086 16 0 208630 0
vsize: 834584
[startup+780.084 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18018 0 1 0 72355 55 0 0 25 0 10 0 837112151 854614016 25789 4294967295 134512640 134569956 3221224368 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208646 25789 13086 16 0 208630 0
vsize: 834584
[startup+790.084 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18018 0 1 0 73263 56 0 0 24 0 10 0 837112151 854614016 25821 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208646 25821 13086 16 0 208630 0
vsize: 834584
[startup+800.085 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18018 0 1 0 74176 57 0 0 25 0 10 0 837112151 854614016 25845 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208646 25845 13086 16 0 208630 0
vsize: 834584
[startup+810.086 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18019 0 1 0 75084 57 0 0 24 0 10 0 837112151 854614016 25874 4294967295 134512640 134569956 3221224368 3221214328 1079668911 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208646 25874 13086 16 0 208630 0
vsize: 834584
[startup+820.086 s]
Raw data (loadavg): 1.07 1.02 1.00 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18020 0 1 0 75956 58 0 0 25 0 10 0 837112151 854614016 25921 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208646 25921 13086 16 0 208630 0
vsize: 834584
[startup+830.086 s]
Raw data (loadavg): 1.06 1.02 1.00 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18020 0 1 0 76825 58 0 0 25 0 10 0 837112151 854614016 25990 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208646 25990 13086 16 0 208630 0
vsize: 834584
[startup+840.086 s]
Raw data (loadavg): 1.05 1.01 1.00 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18020 0 1 0 77717 58 0 0 25 0 10 0 837112151 854614016 26105 4294967295 134512640 134569956 3221224368 3221214824 1131184974 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208646 26105 13086 16 0 208630 0
vsize: 834584
[startup+850.086 s]
Raw data (loadavg): 1.04 1.01 1.00 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18020 0 1 0 78616 58 0 0 25 0 10 0 837112151 854614016 26178 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208646 26178 13086 16 0 208630 0
vsize: 834584
[startup+860.086 s]
Raw data (loadavg): 1.04 1.01 1.00 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18020 0 1 0 79519 59 0 0 25 0 10 0 837112151 854614016 26231 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208646 26231 13086 16 0 208630 0
vsize: 834584
[startup+870.086 s]
Raw data (loadavg): 1.03 1.01 1.00 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18020 0 1 0 80416 59 0 0 24 0 10 0 837112151 854614016 26301 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208646 26301 13086 16 0 208630 0
vsize: 834584
[startup+880.087 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18020 0 1 0 81322 60 0 0 25 0 10 0 837112151 854614016 26342 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208646 26342 13086 16 0 208630 0
vsize: 834584
[startup+890.087 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18020 0 1 0 82228 60 0 0 25 0 10 0 837112151 854614016 26383 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208646 26383 13086 16 0 208630 0
vsize: 834584
[startup+900.088 s]
Raw data (loadavg): 1.10 1.02 1.01 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18020 0 1 0 83133 61 0 0 25 0 10 0 837112151 854614016 26429 4294967295 134512640 134569956 3221224368 3221214796 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208646 26429 13086 16 0 208630 0
vsize: 834584
[startup+910.088 s]
Raw data (loadavg): 1.08 1.02 1.00 2/63 19601
Raw data (stat): 19592 (java) S 19591 4613 4612 0 -1 0 18020 0 1 0 84033 61 0 0 25 0 10 0 837112151 854614016 26471 4294967295 134512640 134569956 3221224368 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208646 26471 13086 16 0 208630 0
vsize: 834584
[startup+920.088 s]
Raw data (loadavg): 1.07 1.02 1.00 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18020 0 1 0 84936 62 0 0 19 0 10 0 837112151 854614016 26500 4294967295 134512640 134569956 3221224368 3221214264 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208646 26500 13086 16 0 208630 0
vsize: 834584
[startup+930.09 s]
Raw data (loadavg): 1.06 1.02 1.00 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18020 0 1 0 85843 62 0 0 21 0 10 0 837112151 854614016 26546 4294967295 134512640 134569956 3221224368 3221214264 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208646 26546 13086 16 0 208630 0
vsize: 834584
[startup+940.09 s]
Raw data (loadavg): 1.05 1.02 1.00 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18020 0 1 0 86750 62 0 0 23 0 10 0 837112151 854614016 26579 4294967295 134512640 134569956 3221224368 3221214216 1076461005 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208646 26579 13086 16 0 208630 0
vsize: 834584
[startup+950.09 s]
Raw data (loadavg): 1.04 1.02 1.00 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18020 0 1 0 87652 63 0 0 19 0 10 0 837112151 854614016 26604 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208646 26604 13086 16 0 208630 0
vsize: 834584
[startup+960.09 s]
Raw data (loadavg): 1.03 1.02 1.00 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18020 0 1 0 88558 63 0 0 20 0 10 0 837112151 854614016 26627 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208646 26627 13086 16 0 208630 0
vsize: 834584
[startup+970.09 s]
Raw data (loadavg): 1.03 1.02 1.00 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18020 0 1 0 89462 63 0 0 21 0 10 0 837112151 854614016 26667 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208646 26667 13086 16 0 208630 0
vsize: 834584
[startup+980.09 s]
Raw data (loadavg): 1.02 1.02 1.00 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18020 0 1 0 90369 64 0 0 23 0 10 0 837112151 854614016 26704 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208646 26704 13086 16 0 208630 0
vsize: 834584
[startup+990.091 s]
Raw data (loadavg): 1.02 1.02 1.00 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18020 0 1 0 91268 64 0 0 20 0 10 0 837112151 854614016 26732 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208646 26732 13086 16 0 208630 0
vsize: 834584
[startup+1000.09 s]
Raw data (loadavg): 1.02 1.02 1.00 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18020 0 1 0 92175 65 0 0 21 0 10 0 837112151 854614016 26761 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208646 26761 13086 16 0 208630 0
vsize: 834584
[startup+1010.09 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18020 0 1 0 93081 65 0 0 22 0 10 0 837112151 854614016 26778 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208646 26778 13086 16 0 208630 0
vsize: 834584
[startup+1020.09 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18020 0 1 0 93988 65 0 0 24 0 10 0 837112151 854614016 26811 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208646 26811 13086 16 0 208630 0
vsize: 834584
[startup+1030.09 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18020 0 1 0 94889 65 0 0 19 0 10 0 837112151 854614016 26836 4294967295 134512640 134569956 3221224368 3221214264 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208646 26836 13086 16 0 208630 0
vsize: 834584
[startup+1040.09 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18020 0 1 0 95796 66 0 0 21 0 10 0 837112151 854614016 26861 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208646 26861 13086 16 0 208630 0
vsize: 834584
[startup+1050.09 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18020 0 1 0 96703 66 0 0 22 0 10 0 837112151 854614016 26878 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208646 26878 13086 16 0 208630 0
vsize: 834584
[startup+1060.09 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 19601
Raw data (stat): 19592 (java) S 19591 4613 4612 0 -1 0 18020 0 1 0 97606 66 0 0 23 0 10 0 837112151 854614016 26904 4294967295 134512640 134569956 3221224368 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208646 26904 13086 16 0 208630 0
vsize: 834584
[startup+1070.09 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18020 0 1 0 98509 66 0 0 20 0 10 0 837112151 854614016 26929 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208646 26929 13086 16 0 208630 0
vsize: 834584
[startup+1080.09 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18020 0 1 0 99416 67 0 0 21 0 10 0 837112151 854614016 26953 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208646 26953 13086 16 0 208630 0
vsize: 834584
[startup+1090.09 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18020 0 1 0 100321 67 0 0 23 0 10 0 837112151 854614016 26976 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208646 26976 13086 16 0 208630 0
vsize: 834584
[startup+1100.09 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18020 0 1 0 101222 67 0 0 21 0 10 0 837112151 854614016 27000 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208646 27000 13086 16 0 208630 0
vsize: 834584
[startup+1110.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19601
Raw data (stat): 19592 (java) S 19591 4613 4612 0 -1 0 18020 0 1 0 102121 67 0 0 23 0 10 0 837112151 854614016 27032 4294967295 134512640 134569956 3221224368 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208646 27032 13086 16 0 208630 0
vsize: 834584
[startup+1120.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18020 0 1 0 103018 68 0 0 19 0 10 0 837112151 854614016 27070 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208646 27070 13086 16 0 208630 0
vsize: 834584
[startup+1130.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18020 0 1 0 103922 68 0 0 20 0 10 0 837112151 854614016 27096 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208646 27096 13086 16 0 208630 0
vsize: 834584
[startup+1140.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18020 0 1 0 104826 68 0 0 21 0 10 0 837112151 854614016 27120 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208646 27120 13086 16 0 208630 0
vsize: 834584
[startup+1150.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18020 0 1 0 105728 68 0 0 22 0 10 0 837112151 854614016 27141 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208646 27141 13086 16 0 208630 0
vsize: 834584
[startup+1160.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18020 0 1 0 106631 68 0 0 22 0 10 0 837112151 854614016 27165 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208646 27165 13086 16 0 208630 0
vsize: 834584
[startup+1170.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18020 0 1 0 107533 69 0 0 24 0 10 0 837112151 854614016 27196 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208646 27196 13086 16 0 208630 0
vsize: 834584
[startup+1180.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18020 0 1 0 108429 70 0 0 18 0 10 0 837112151 854614016 27213 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208646 27213 13086 16 0 208630 0
vsize: 834584
[startup+1190.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18020 0 1 0 109330 70 0 0 19 0 10 0 837112151 854614016 27245 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208646 27245 13086 16 0 208630 0
vsize: 834584
[startup+1200.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18020 0 1 0 110234 70 0 0 20 0 10 0 837112151 854614016 27269 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208646 27269 13086 16 0 208630 0
vsize: 834584
[startup+1210.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18020 0 1 0 111136 71 0 0 20 0 10 0 837112151 854614016 27293 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208646 27293 13086 16 0 208630 0
vsize: 834584
[startup+1220.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18020 0 1 0 112037 71 0 0 22 0 10 0 837112151 854614016 27315 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208646 27315 13086 16 0 208630 0
vsize: 834584
[startup+1230.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18020 0 1 0 112938 71 0 0 22 0 10 0 837112151 854614016 27340 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208646 27340 13086 16 0 208630 0
vsize: 834584
[startup+1240.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18020 0 1 0 113837 72 0 0 22 0 10 0 837112151 854614016 27373 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208646 27373 13086 16 0 208630 0
vsize: 834584
[startup+1250.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19601
Raw data (stat): 19592 (java) S 19591 4613 4612 0 -1 0 18020 0 1 0 114736 72 0 0 24 0 10 0 837112151 854614016 27394 4294967295 134512640 134569956 3221224368 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208646 27394 13086 16 0 208630 0
vsize: 834584
[startup+1260.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19601
Raw data (stat): 19592 (java) S 19591 4613 4612 0 -1 0 18020 0 1 0 115630 73 0 0 23 0 10 0 837112151 854614016 27432 4294967295 134512640 134569956 3221224368 3221213488 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208646 27432 13086 16 0 208630 0
vsize: 834584
[startup+1270.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18020 0 1 0 116531 74 0 0 19 0 10 0 837112151 854614016 27466 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208646 27466 13086 16 0 208630 0
vsize: 834584
[startup+1280.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18020 0 1 0 117433 74 0 0 19 0 10 0 837112151 854614016 27491 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208646 27491 13086 16 0 208630 0
vsize: 834584
[startup+1290.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18020 0 1 0 118335 74 0 0 20 0 10 0 837112151 854614016 27509 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208646 27509 13086 16 0 208630 0
vsize: 834584
[startup+1300.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18020 0 1 0 119238 74 0 0 21 0 10 0 837112151 854614016 27529 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208646 27529 13086 16 0 208630 0
vsize: 834584
[startup+1310.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19601
Raw data (stat): 19592 (java) R 19591 4613 4612 0 -1 0 18020 0 1 0 120138 75 0 0 21 0 10 0 837112151 854614016 27547 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208646 27547 13086 16 0 208630 0
vsize: 834584
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1310.22 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 19603
Raw data (stat): 19592 (java) Z 19591 4613 4612 0 -1 1036 18020 9415 1 0 120143 75 10837 47 16 0 1 0 837112151 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.22
CPU time (s): 1311.04
CPU user time (s): 1309.81
CPU system time (s): 1.22681
CPU usage (%): 100.063
Max. virtual memory (Kb): 835272
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####