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-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-rentacar.opb
MD5SUM	fc18c06c8ef4546744f8764e792a7520
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	3540
Biggest coefficient in the objective function	26214400000
Number of bits for the biggest coefficient in the objective function	35
Sum of the numbers in the objective function	6794775437175
Number of bits of the sum of numbers in the objective function	43
Biggest number in a constraint	26214400000
Number of bits of the biggest number in a constraint	35
Biggest sum of numbers in a constraint	13700458527437
Number of bits of the biggest sum of numbers	44
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.67474
Number of variables	176588
Total number of constraints	6965
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	55
Number of constraints which are nor clauses,nor cardinality constraints	6910
Minimum length of a constraint	1
Maximum length of a constraint	40360
Trace number 30063

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-05-25 14:22:01 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21461 boxname=wulflinc4 idbench=1449 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  fc18c06c8ef4546744f8764e792a7520  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-rentacar.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-rentacar.opb
IDLAUNCH: 21461
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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	: 2
cpu MHz		: 451.169
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:        616064 kB
Buffers:         34668 kB
Cached:         363008 kB
SwapCached:        600 kB
Active:          90372 kB
Inactive:       309692 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        615812 kB
SwapTotal:     2097136 kB
SwapFree:      2096004 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5780 kB
Slab:            12916 kB
Committed_AS:    71780 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 14:44:04 (client local time) WITH STATUS 143 IN 1325.52 SECONDS
stats: 21461 7 1325.52 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/wulflinc4/normalized-mps-v2-13-7-rentacar.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) : 1319.162
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.93 0.98 0.99 2/54 2156
Raw data (stat): 2156 (runsolver) R 2155 21152 21151 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 781332454 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.0012 s]
Raw data (loadavg): 0.94 0.98 0.99 2/63 2165
Raw data (stat): 2156 (java) R 2155 21152 21151 0 -1 0 18020 0 1 0 871 38 0 0 25 0 10 0 781332454 854155264 19514 4294967295 134512640 134569956 3221224368 3221214636 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208534 19514 13086 16 0 208518 0
vsize: 834136
[startup+20.0026 s]
Raw data (loadavg): 0.95 0.98 0.99 2/63 2165
Raw data (stat): 2156 (java) R 2155 21152 21151 0 -1 0 18021 0 1 0 1754 39 0 0 25 0 10 0 781332454 855781376 20534 4294967295 134512640 134569956 3221224368 3221214456 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208931 20534 13086 16 0 208915 0
vsize: 835724
[startup+30.003 s]
Raw data (loadavg): 0.95 0.98 0.99 2/63 2165
Raw data (stat): 2156 (java) R 2155 21152 21151 0 -1 0 18021 0 1 0 2639 39 0 0 25 0 10 0 781332454 854089728 20705 4294967295 134512640 134569956 3221224368 3221214456 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208518 20705 13086 16 0 208502 0
vsize: 834072
[startup+40.0038 s]
Raw data (loadavg): 1.03 1.00 1.00 2/63 2165
Raw data (stat): 2156 (java) R 2155 21152 21151 0 -1 0 18021 0 1 0 3527 40 0 0 20 0 10 0 781332454 854089728 21012 4294967295 134512640 134569956 3221224368 3221214208 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208518 21012 13086 16 0 208502 0
vsize: 834072
[startup+50.0042 s]
Raw data (loadavg): 1.03 1.00 1.00 2/63 2165
Raw data (stat): 2156 (java) R 2155 21152 21151 0 -1 0 18021 0 1 0 4435 40 0 0 25 0 10 0 781332454 854089728 21246 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208518 21246 13086 16 0 208502 0
vsize: 834072
[startup+60.0045 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 2165
Raw data (stat): 2156 (java) R 2155 21152 21151 0 -1 0 18021 0 1 0 5342 40 0 0 24 0 10 0 781332454 854089728 21426 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208518 21426 13086 16 0 208502 0
vsize: 834072
[startup+70.0054 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 2165
Raw data (stat): 2156 (java) R 2155 21152 21151 0 -1 0 18022 0 1 0 6263 40 0 0 25 0 10 0 781332454 854089728 21652 4294967295 134512640 134569956 3221224368 3221214224 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208518 21652 13086 16 0 208502 0
vsize: 834072
[startup+80.0097 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 2165
Raw data (stat): 2156 (java) S 2155 21152 21151 0 -1 0 18022 0 1 0 7188 41 0 0 25 0 10 0 781332454 854089728 21799 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208518 21799 13086 16 0 208502 0
vsize: 834072
[startup+90.0104 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 2165
Raw data (stat): 2156 (java) R 2155 21152 21151 0 -1 0 18022 0 1 0 8117 41 0 0 25 0 10 0 781332454 854089728 21933 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208518 21933 13086 16 0 208502 0
vsize: 834072
[startup+100.011 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 2165
Raw data (stat): 2156 (java) R 2155 21152 21151 0 -1 0 18022 0 1 0 9048 41 0 0 25 0 10 0 781332454 854089728 22046 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208518 22046 13086 16 0 208502 0
vsize: 834072
[startup+110.011 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 2165
Raw data (stat): 2156 (java) R 2155 21152 21151 0 -1 0 18022 0 1 0 9976 41 0 0 25 0 10 0 781332454 854089728 22169 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208518 22169 13086 16 0 208502 0
vsize: 834072
[startup+120.016 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 2165
Raw data (stat): 2156 (java) S 2155 21152 21151 0 -1 0 18022 0 1 0 10909 41 0 0 25 0 10 0 781332454 854089728 22278 4294967295 134512640 134569956 3221224368 3221213448 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208518 22278 13086 16 0 208502 0
vsize: 834072
[startup+130.017 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 2165
Raw data (stat): 2156 (java) R 2155 21152 21151 0 -1 0 18022 0 1 0 11835 41 0 0 25 0 10 0 781332454 854089728 22386 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208518 22386 13086 16 0 208502 0
vsize: 834072
[startup+140.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2165
Raw data (stat): 2156 (java) R 2155 21152 21151 0 -1 0 18022 0 1 0 12754 42 0 0 25 0 10 0 781332454 854089728 22496 4294967295 134512640 134569956 3221224368 3221214748 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208518 22496 13086 16 0 208502 0
vsize: 834072
[startup+150.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2165
Raw data (stat): 2156 (java) R 2155 21152 21151 0 -1 0 18022 0 1 0 13667 42 0 0 23 0 10 0 781332454 854089728 22635 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208518 22635 13086 16 0 208502 0
vsize: 834072
[startup+160.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2165
Raw data (stat): 2156 (java) R 2155 21152 21151 0 -1 0 18022 0 1 0 14581 42 0 0 25 0 10 0 781332454 854089728 22787 4294967295 134512640 134569956 3221224368 3221214208 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208518 22787 13086 16 0 208502 0
vsize: 834072
[startup+170.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2165
Raw data (stat): 2156 (java) R 2155 21152 21151 0 -1 0 18022 0 1 0 15499 43 0 0 25 0 10 0 781332454 854089728 22935 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208518 22935 13086 16 0 208502 0
vsize: 834072
[startup+180.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2165
Raw data (stat): 2156 (java) R 2155 21152 21151 0 -1 0 18022 0 1 0 16416 43 0 0 25 0 10 0 781332454 854089728 23067 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208518 23067 13086 16 0 208502 0
vsize: 834072
[startup+190.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2165
Raw data (stat): 2156 (java) S 2155 21152 21151 0 -1 0 18022 0 1 0 17333 43 0 0 25 0 10 0 781332454 854089728 23148 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208518 23148 13086 16 0 208502 0
vsize: 834072
[startup+200.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2165
Raw data (stat): 2156 (java) R 2155 21152 21151 0 -1 0 18022 0 1 0 18264 43 0 0 25 0 10 0 781332454 854089728 23390 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208518 23390 13086 16 0 208502 0
vsize: 834072
[startup+210.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2165
Raw data (stat): 2156 (java) R 2155 21152 21151 0 -1 0 18022 0 1 0 19193 43 0 0 24 0 10 0 781332454 854089728 23476 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208518 23476 13086 16 0 208502 0
vsize: 834072
[startup+220.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2165
Raw data (stat): 2156 (java) R 2155 21152 21151 0 -1 0 18022 0 1 0 20128 44 0 0 25 0 10 0 781332454 854089728 23552 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208518 23552 13086 16 0 208502 0
vsize: 834072
[startup+230.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2165
Raw data (stat): 2156 (java) R 2155 21152 21151 0 -1 0 18022 0 1 0 21058 44 0 0 25 0 10 0 781332454 854089728 23631 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208518 23631 13086 16 0 208502 0
vsize: 834072
[startup+240.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2165
Raw data (stat): 2156 (java) R 2155 21152 21151 0 -1 0 18022 0 1 0 21985 44 0 0 25 0 10 0 781332454 854122496 23707 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208526 23707 13086 16 0 208510 0
vsize: 834104
[startup+250.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2165
Raw data (stat): 2156 (java) R 2155 21152 21151 0 -1 0 18022 0 1 0 22884 44 0 0 25 0 10 0 781332454 854089728 23772 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208518 23772 13086 16 0 208502 0
vsize: 834072
[startup+260.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2165
Raw data (stat): 2156 (java) R 2155 21152 21151 0 -1 0 18022 0 1 0 23780 45 0 0 25 0 10 0 781332454 854089728 23973 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208518 23973 13086 16 0 208502 0
vsize: 834072
[startup+270.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2165
Raw data (stat): 2156 (java) R 2155 21152 21151 0 -1 0 18022 0 1 0 24694 45 0 0 25 0 10 0 781332454 854089728 24116 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208518 24116 13086 16 0 208502 0
vsize: 834072
[startup+280.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2165
Raw data (stat): 2156 (java) R 2155 21152 21151 0 -1 0 18022 0 1 0 25611 45 0 0 25 0 10 0 781332454 854089728 24226 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208518 24226 13086 16 0 208502 0
vsize: 834072
[startup+290.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2165
Raw data (stat): 2156 (java) R 2155 21152 21151 0 -1 0 18022 0 1 0 26536 45 0 0 25 0 10 0 781332454 854089728 24336 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208518 24336 13086 16 0 208502 0
vsize: 834072
[startup+300.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2165
Raw data (stat): 2156 (java) R 2155 21152 21151 0 -1 0 18022 0 1 0 27462 45 0 0 25 0 10 0 781332454 854089728 24409 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208518 24409 13086 16 0 208502 0
vsize: 834072
[startup+310.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2165
Raw data (stat): 2156 (java) R 2155 21152 21151 0 -1 0 18022 0 1 0 28393 45 0 0 25 0 10 0 781332454 854089728 24478 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208518 24478 13086 16 0 208502 0
vsize: 834072
[startup+320.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2165
Raw data (stat): 2156 (java) R 2155 21152 21151 0 -1 0 18022 0 1 0 29313 45 0 0 25 0 10 0 781332454 854089728 24538 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208518 24538 13086 16 0 208502 0
vsize: 834072
[startup+330.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2165
Raw data (stat): 2156 (java) R 2155 21152 21151 0 -1 0 18022 0 1 0 30238 46 0 0 25 0 10 0 781332454 854089728 24619 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208518 24619 13086 16 0 208502 0
vsize: 834072
[startup+340.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2165
Raw data (stat): 2156 (java) S 2155 21152 21151 0 -1 0 18022 0 1 0 31167 46 0 0 25 0 10 0 781332454 854089728 24684 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208518 24684 13086 16 0 208502 0
vsize: 834072
[startup+350.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2165
Raw data (stat): 2156 (java) R 2155 21152 21151 0 -1 0 18022 0 1 0 32092 46 0 0 25 0 10 0 781332454 854089728 24742 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208518 24742 13086 16 0 208502 0
vsize: 834072
[startup+360.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2165
Raw data (stat): 2156 (java) R 2155 21152 21151 0 -1 0 18022 0 1 0 33020 47 0 0 25 0 10 0 781332454 854089728 24808 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208518 24808 13086 16 0 208502 0
vsize: 834072
[startup+370.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2165
Raw data (stat): 2156 (java) R 2155 21152 21151 0 -1 0 18022 0 1 0 33943 47 0 0 25 0 10 0 781332454 854089728 24878 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208518 24878 13086 16 0 208502 0
vsize: 834072
[startup+380.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2165
Raw data (stat): 2156 (java) R 2155 21152 21151 0 -1 0 18022 0 1 0 34869 47 0 0 25 0 10 0 781332454 854089728 24929 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208518 24929 13086 16 0 208502 0
vsize: 834072
[startup+390.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2165
Raw data (stat): 2156 (java) R 2155 21152 21151 0 -1 0 18022 0 1 0 35794 47 0 0 25 0 10 0 781332454 854089728 24996 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208518 24996 13086 16 0 208502 0
vsize: 834072
[startup+400.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2165
Raw data (stat): 2156 (java) R 2155 21152 21151 0 -1 0 18022 0 1 0 36717 47 0 0 25 0 10 0 781332454 854089728 25058 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208518 25058 13086 16 0 208502 0
vsize: 834072
[startup+410.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2165
Raw data (stat): 2156 (java) R 2155 21152 21151 0 -1 0 18022 0 1 0 37641 48 0 0 25 0 10 0 781332454 854089728 25108 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208518 25108 13086 16 0 208502 0
vsize: 834072
[startup+420.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2165
Raw data (stat): 2156 (java) R 2155 21152 21151 0 -1 0 18022 0 1 0 38568 48 0 0 25 0 10 0 781332454 854089728 25178 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208518 25178 13086 16 0 208502 0
vsize: 834072
[startup+430.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2165
Raw data (stat): 2156 (java) R 2155 21152 21151 0 -1 0 18022 0 1 0 39487 48 0 0 24 0 10 0 781332454 854089728 25233 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208518 25233 13086 16 0 208502 0
vsize: 834072
[startup+440.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2165
Raw data (stat): 2156 (java) R 2155 21152 21151 0 -1 0 18022 0 1 0 40403 48 0 0 24 0 10 0 781332454 854089728 25291 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208518 25291 13086 16 0 208502 0
vsize: 834072
[startup+450.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2165
Raw data (stat): 2156 (java) R 2155 21152 21151 0 -1 0 18022 0 1 0 41316 48 0 0 25 0 10 0 781332454 854089728 25373 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208518 25373 13086 16 0 208502 0
vsize: 834072
[startup+460.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2165
Raw data (stat): 2156 (java) R 2155 21152 21151 0 -1 0 18022 0 1 0 42229 48 0 0 25 0 10 0 781332454 854089728 25449 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208518 25449 13086 16 0 208502 0
vsize: 834072
[startup+470.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2165
Raw data (stat): 2156 (java) S 2155 21152 21151 0 -1 0 18022 0 1 0 43133 49 0 0 25 0 10 0 781332454 854089728 25540 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208518 25540 13086 16 0 208502 0
vsize: 834072
[startup+480.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2165
Raw data (stat): 2156 (java) R 2155 21152 21151 0 -1 0 18022 0 1 0 44038 49 0 0 25 0 10 0 781332454 854089728 25625 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208518 25625 13086 16 0 208502 0
vsize: 834072
[startup+490.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2165
Raw data (stat): 2156 (java) S 2155 21152 21151 0 -1 0 18022 0 1 0 44951 49 0 0 25 0 10 0 781332454 854089728 25769 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208518 25769 13086 16 0 208502 0
vsize: 834072
[startup+500.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2165
Raw data (stat): 2156 (java) R 2155 21152 21151 0 -1 0 18022 0 1 0 45877 49 0 0 25 0 10 0 781332454 854089728 25821 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208518 25821 13086 16 0 208502 0
vsize: 834072
[startup+510.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2165
Raw data (stat): 2156 (java) R 2155 21152 21151 0 -1 0 18022 0 1 0 46803 49 0 0 25 0 10 0 781332454 854089728 25866 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208518 25866 13086 16 0 208502 0
vsize: 834072
[startup+520.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2165
Raw data (stat): 2156 (java) R 2155 21152 21151 0 -1 0 18022 0 1 0 47725 50 0 0 25 0 10 0 781332454 854089728 25907 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208518 25907 13086 16 0 208502 0
vsize: 834072
[startup+530.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2165
Raw data (stat): 2156 (java) R 2155 21152 21151 0 -1 0 18022 0 1 0 48648 50 0 0 25 0 10 0 781332454 854089728 25963 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208518 25963 13086 16 0 208502 0
vsize: 834072
[startup+540.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2165
Raw data (stat): 2156 (java) R 2155 21152 21151 0 -1 0 18022 0 1 0 49573 51 0 0 25 0 10 0 781332454 854089728 26006 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208518 26006 13086 16 0 208502 0
vsize: 834072
[startup+550.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2165
Raw data (stat): 2156 (java) R 2155 21152 21151 0 -1 0 18022 0 1 0 50495 51 0 0 25 0 10 0 781332454 854089728 26047 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208518 26047 13086 16 0 208502 0
vsize: 834072
[startup+560.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2165
Raw data (stat): 2156 (java) R 2155 21152 21151 0 -1 0 18022 0 1 0 51413 51 0 0 25 0 10 0 781332454 854089728 26086 4294967295 134512640 134569956 3221224368 3221214720 1131044787 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208518 26086 13086 16 0 208502 0
vsize: 834072
[startup+570.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2165
Raw data (stat): 2156 (java) R 2155 21152 21151 0 -1 0 18022 0 1 0 52334 51 0 0 25 0 10 0 781332454 854089728 26153 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208518 26153 13086 16 0 208502 0
vsize: 834072
[startup+580.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2165
Raw data (stat): 2156 (java) R 2155 21152 21151 0 -1 0 18022 0 1 0 53256 52 0 0 25 0 10 0 781332454 854089728 26194 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208518 26194 13086 16 0 208502 0
vsize: 834072
[startup+590.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2165
Raw data (stat): 2156 (java) R 2155 21152 21151 0 -1 0 18022 0 1 0 54175 52 0 0 25 0 10 0 781332454 854089728 26235 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208518 26235 13086 16 0 208502 0
vsize: 834072
[startup+600.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2165
Raw data (stat): 2156 (java) R 2155 21152 21151 0 -1 0 18022 0 1 0 55092 53 0 0 25 0 10 0 781332454 854089728 26286 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208518 26286 13086 16 0 208502 0
vsize: 834072
[startup+610.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2165
Raw data (stat): 2156 (java) R 2155 21152 21151 0 -1 0 18022 0 1 0 56011 53 0 0 25 0 10 0 781332454 854089728 26342 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208518 26342 13086 16 0 208502 0
vsize: 834072
[startup+620.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2165
Raw data (stat): 2156 (java) R 2155 21152 21151 0 -1 0 18022 0 1 0 56928 54 0 0 25 0 10 0 781332454 854089728 26385 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208518 26385 13086 16 0 208502 0
vsize: 834072
[startup+630.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2165
Raw data (stat): 2156 (java) R 2155 21152 21151 0 -1 0 18022 0 1 0 57840 54 0 0 25 0 10 0 781332454 854089728 26438 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208518 26438 13086 16 0 208502 0
vsize: 834072
[startup+640.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2165
Raw data (stat): 2156 (java) R 2155 21152 21151 0 -1 0 18022 0 1 0 58751 54 0 0 25 0 10 0 781332454 854089728 26496 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208518 26496 13086 16 0 208502 0
vsize: 834072
[startup+650.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2165
Raw data (stat): 2156 (java) R 2155 21152 21151 0 -1 0 18022 0 1 0 59668 55 0 0 24 0 10 0 781332454 854089728 26575 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208518 26575 13086 16 0 208502 0
vsize: 834072
[startup+660.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2165
Raw data (stat): 2156 (java) S 2155 21152 21151 0 -1 0 18022 0 1 0 60589 55 0 0 25 0 10 0 781332454 854089728 26623 4294967295 134512640 134569956 3221224368 3221213448 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208518 26623 13086 16 0 208502 0
vsize: 834072
[startup+670.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2165
Raw data (stat): 2156 (java) S 2155 21152 21151 0 -1 0 18022 0 1 0 61511 56 0 0 25 0 10 0 781332454 854089728 26655 4294967295 134512640 134569956 3221224368 3221213448 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208518 26655 13086 16 0 208502 0
vsize: 834072
[startup+680.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2165
Raw data (stat): 2156 (java) R 2155 21152 21151 0 -1 0 18022 0 1 0 62434 56 0 0 25 0 10 0 781332454 854089728 27137 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208518 27137 13086 16 0 208502 0
vsize: 834072
[startup+690.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2165
Raw data (stat): 2156 (java) R 2155 21152 21151 0 -1 0 18022 0 1 0 63352 56 0 0 25 0 10 0 781332454 854089728 27137 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208518 27137 13086 16 0 208502 0
vsize: 834072
[startup+700.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2165
Raw data (stat): 2156 (java) R 2155 21152 21151 0 -1 0 18022 0 1 0 64260 57 0 0 25 0 10 0 781332454 854089728 27165 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208518 27165 13086 16 0 208502 0
vsize: 834072
[startup+710.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2165
Raw data (stat): 2156 (java) R 2155 21152 21151 0 -1 0 18022 0 1 0 65169 57 0 0 25 0 10 0 781332454 854089728 27217 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208518 27217 13086 16 0 208502 0
vsize: 834072
[startup+720.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2165
Raw data (stat): 2156 (java) R 2155 21152 21151 0 -1 0 18022 0 1 0 66080 57 0 0 25 0 10 0 781332454 854089728 27253 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208518 27253 13086 16 0 208502 0
vsize: 834072
[startup+730.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2165
Raw data (stat): 2156 (java) S 2155 21152 21151 0 -1 0 18022 0 1 0 66996 58 0 0 25 0 10 0 781332454 854089728 27288 4294967295 134512640 134569956 3221224368 3221213448 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208518 27288 13086 16 0 208502 0
vsize: 834072
[startup+740.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2165
Raw data (stat): 2156 (java) R 2155 21152 21151 0 -1 0 18022 0 1 0 67906 58 0 0 25 0 10 0 781332454 854089728 27321 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208518 27321 13086 16 0 208502 0
vsize: 834072
[startup+750.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2165
Raw data (stat): 2156 (java) R 2155 21152 21151 0 -1 0 18022 0 1 0 68811 58 0 0 25 0 10 0 781332454 854089728 27359 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208518 27359 13086 16 0 208502 0
vsize: 834072
[startup+760.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2165
Raw data (stat): 2156 (java) S 2155 21152 21151 0 -1 0 18022 0 1 0 69717 58 0 0 25 0 10 0 781332454 854089728 27390 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208518 27390 13086 16 0 208502 0
vsize: 834072
[startup+770.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2165
Raw data (stat): 2156 (java) R 2155 21152 21151 0 -1 0 18022 0 1 0 70622 59 0 0 25 0 10 0 781332454 854089728 27465 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208518 27465 13086 16 0 208502 0
vsize: 834072
[startup+780.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2165
Raw data (stat): 2156 (java) R 2155 21152 21151 0 -1 0 18022 0 1 0 71531 59 0 0 25 0 10 0 781332454 854089728 27508 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208518 27508 13086 16 0 208502 0
vsize: 834072
[startup+790.079 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2165
Raw data (stat): 2156 (java) R 2155 21152 21151 0 -1 0 18022 0 1 0 72439 59 0 0 25 0 10 0 781332454 854089728 27538 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208518 27538 13086 16 0 208502 0
vsize: 834072
[startup+800.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2165
Raw data (stat): 2156 (java) R 2155 21152 21151 0 -1 0 18022 0 1 0 73351 60 0 0 25 0 10 0 781332454 854089728 27572 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208518 27572 13086 16 0 208502 0
vsize: 834072
[startup+810.081 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2165
Raw data (stat): 2156 (java) R 2155 21152 21151 0 -1 0 18022 0 1 0 74256 61 0 0 25 0 10 0 781332454 854089728 27608 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208518 27608 13086 16 0 208502 0
vsize: 834072
[startup+820.082 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2165
Raw data (stat): 2156 (java) R 2155 21152 21151 0 -1 0 18022 0 1 0 75159 61 0 0 19 0 10 0 781332454 854089728 27654 4294967295 134512640 134569956 3221224368 3221214320 1079668490 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208518 27654 13086 16 0 208502 0
vsize: 834072
[startup+830.082 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2165
Raw data (stat): 2156 (java) R 2155 21152 21151 0 -1 0 18022 0 1 0 76072 62 0 0 24 0 10 0 781332454 854089728 27691 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208518 27691 13086 16 0 208502 0
vsize: 834072
[startup+840.082 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2165
Raw data (stat): 2156 (java) R 2155 21152 21151 0 -1 0 18022 0 1 0 76979 62 0 0 22 0 10 0 781332454 854089728 27725 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208518 27725 13086 16 0 208502 0
vsize: 834072
[startup+850.083 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2165
Raw data (stat): 2156 (java) R 2155 21152 21151 0 -1 0 18022 0 1 0 77886 62 0 0 20 0 10 0 781332454 854089728 27760 4294967295 134512640 134569956 3221224368 3221214756 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208518 27760 13086 16 0 208502 0
vsize: 834072
[startup+860.083 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2165
Raw data (stat): 2156 (java) S 2155 21152 21151 0 -1 0 18022 0 1 0 78793 62 0 0 23 0 10 0 781332454 854089728 27788 4294967295 134512640 134569956 3221224368 3221213344 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208518 27788 13086 16 0 208502 0
vsize: 834072
[startup+870.084 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2165
Raw data (stat): 2156 (java) R 2155 21152 21151 0 -1 0 18022 0 1 0 79698 63 0 0 22 0 10 0 781332454 854089728 27823 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208518 27823 13086 16 0 208502 0
vsize: 834072
[startup+880.084 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2165
Raw data (stat): 2156 (java) R 2155 21152 21151 0 -1 0 18022 0 1 0 80599 64 0 0 20 0 10 0 781332454 854089728 27876 4294967295 134512640 134569956 3221224368 3221214208 1077558368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208518 27876 13086 16 0 208502 0
vsize: 834072
[startup+890.084 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2165
Raw data (stat): 2156 (java) S 2155 21152 21151 0 -1 0 18022 0 1 0 81511 64 0 0 24 0 10 0 781332454 854089728 27904 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208518 27904 13086 16 0 208502 0
vsize: 834072
[startup+900.086 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2165
Raw data (stat): 2156 (java) R 2155 21152 21151 0 -1 0 18022 0 1 0 82415 64 0 0 22 0 10 0 781332454 854089728 27938 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208518 27938 13086 16 0 208502 0
vsize: 834072
[startup+910.086 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2165
Raw data (stat): 2156 (java) R 2155 21152 21151 0 -1 0 18022 0 1 0 83317 65 0 0 20 0 10 0 781332454 854089728 27967 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208518 27967 13086 16 0 208502 0
vsize: 834072
[startup+920.087 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2165
Raw data (stat): 2156 (java) R 2155 21152 21151 0 -1 0 18022 0 1 0 84220 65 0 0 21 0 10 0 781332454 854089728 27999 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208518 27999 13086 16 0 208502 0
vsize: 834072
[startup+930.088 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2165
Raw data (stat): 2156 (java) R 2155 21152 21151 0 -1 0 18022 0 1 0 85116 66 0 0 19 0 10 0 781332454 854089728 28055 4294967295 134512640 134569956 3221224368 3221214224 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208518 28055 13086 16 0 208502 0
vsize: 834072
[startup+940.088 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2165
Raw data (stat): 2156 (java) R 2155 21152 21151 0 -1 0 18022 0 1 0 86024 66 0 0 23 0 10 0 781332454 854089728 28115 4294967295 134512640 134569956 3221224368 3221214224 1080019733 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208518 28115 13086 16 0 208502 0
vsize: 834072
[startup+950.089 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2165
Raw data (stat): 2156 (java) R 2155 21152 21151 0 -1 0 18022 0 1 0 86927 67 0 0 21 0 10 0 781332454 854089728 28148 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208518 28148 13086 16 0 208502 0
vsize: 834072
[startup+960.089 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2165
Raw data (stat): 2156 (java) R 2155 21152 21151 0 -1 0 18022 0 1 0 87830 67 0 0 18 0 10 0 781332454 854089728 28179 4294967295 134512640 134569956 3221224368 3221214224 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208518 28179 13086 16 0 208502 0
vsize: 834072
[startup+970.089 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2165
Raw data (stat): 2156 (java) R 2155 21152 21151 0 -1 0 18022 0 1 0 88741 67 0 0 24 0 10 0 781332454 854089728 28209 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208518 28209 13086 16 0 208502 0
vsize: 834072
[startup+980.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2165
Raw data (stat): 2156 (java) R 2155 21152 21151 0 -1 0 18022 0 1 0 89643 68 0 0 20 0 10 0 781332454 854089728 28240 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208518 28240 13086 16 0 208502 0
vsize: 834072
[startup+990.091 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2165
Raw data (stat): 2156 (java) S 2155 21152 21151 0 -1 0 18022 0 1 0 90551 68 0 0 23 0 10 0 781332454 854089728 28263 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208518 28263 13086 16 0 208502 0
vsize: 834072
[startup+1000.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2165
Raw data (stat): 2156 (java) R 2155 21152 21151 0 -1 0 18022 0 1 0 91450 69 0 0 22 0 10 0 781332454 854089728 28294 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208518 28294 13086 16 0 208502 0
vsize: 834072
[startup+1010.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2165
Raw data (stat): 2156 (java) S 2155 21152 21151 0 -1 0 18022 0 1 0 92350 69 0 0 24 0 10 0 781332454 854089728 28338 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208518 28338 13086 16 0 208502 0
vsize: 834072
[startup+1020.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2165
Raw data (stat): 2156 (java) R 2155 21152 21151 0 -1 0 18022 0 1 0 93257 69 0 0 21 0 10 0 781332454 854089728 28371 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208518 28371 13086 16 0 208502 0
vsize: 834072
[startup+1030.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2165
Raw data (stat): 2156 (java) R 2155 21152 21151 0 -1 0 18022 0 1 0 94158 70 0 0 19 0 10 0 781332454 854089728 28401 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208518 28401 13086 16 0 208502 0
vsize: 834072
[startup+1040.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2165
Raw data (stat): 2156 (java) R 2155 21152 21151 0 -1 0 18022 0 1 0 95065 70 0 0 22 0 10 0 781332454 854089728 28431 4294967295 134512640 134569956 3221224368 3221214748 1080203551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208518 28431 13086 16 0 208502 0
vsize: 834072
[startup+1050.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2165
Raw data (stat): 2156 (java) R 2155 21152 21151 0 -1 0 18022 0 1 0 95965 70 0 0 20 0 10 0 781332454 854089728 28461 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208518 28461 13086 16 0 208502 0
vsize: 834072
[startup+1060.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2165
Raw data (stat): 2156 (java) R 2155 21152 21151 0 -1 0 18022 0 1 0 96872 71 0 0 22 0 10 0 781332454 854089728 28484 4294967295 134512640 134569956 3221224368 3221214224 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208518 28484 13086 16 0 208502 0
vsize: 834072
[startup+1070.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2165
Raw data (stat): 2156 (java) R 2155 21152 21151 0 -1 0 18022 0 1 0 97772 71 0 0 20 0 10 0 781332454 854089728 28514 4294967295 134512640 134569956 3221224368 3221214748 1080203551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208518 28514 13086 16 0 208502 0
vsize: 834072
[startup+1080.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2165
Raw data (stat): 2156 (java) R 2155 21152 21151 0 -1 0 18022 0 1 0 98674 72 0 0 21 0 10 0 781332454 854089728 28543 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208518 28543 13086 16 0 208502 0
vsize: 834072
[startup+1090.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2165
Raw data (stat): 2156 (java) R 2155 21152 21151 0 -1 0 18022 0 1 0 99570 72 0 0 19 0 10 0 781332454 854089728 28591 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208518 28591 13086 16 0 208502 0
vsize: 834072
[startup+1100.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2165
Raw data (stat): 2156 (java) R 2155 21152 21151 0 -1 0 18022 0 1 0 100476 72 0 0 22 0 10 0 781332454 854089728 28618 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208518 28618 13086 16 0 208502 0
vsize: 834072
[startup+1110.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2165
Raw data (stat): 2156 (java) R 2155 21152 21151 0 -1 0 18022 0 1 0 101376 72 0 0 19 0 10 0 781332454 854089728 28649 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208518 28649 13086 16 0 208502 0
vsize: 834072
[startup+1120.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2165
Raw data (stat): 2156 (java) R 2155 21152 21151 0 -1 0 18022 0 1 0 102282 73 0 0 22 0 10 0 781332454 854089728 28672 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208518 28672 13086 16 0 208502 0
vsize: 834072
[startup+1130.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2165
Raw data (stat): 2156 (java) R 2155 21152 21151 0 -1 0 18022 0 1 0 103180 73 0 0 19 0 10 0 781332454 854089728 28701 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208518 28701 13086 16 0 208502 0
vsize: 834072
[startup+1140.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2165
Raw data (stat): 2156 (java) R 2155 21152 21151 0 -1 0 18022 0 1 0 104085 73 0 0 22 0 10 0 781332454 854089728 28730 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208518 28730 13086 16 0 208502 0
vsize: 834072
[startup+1150.1 s]
Raw data (loadavg): 1.07 1.02 1.00 2/63 2165
Raw data (stat): 2156 (java) R 2155 21152 21151 0 -1 0 18022 0 1 0 104981 74 0 0 18 0 10 0 781332454 854089728 28760 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208518 28760 13086 16 0 208502 0
vsize: 834072
[startup+1160.1 s]
Raw data (loadavg): 1.06 1.02 1.00 2/63 2165
Raw data (stat): 2156 (java) R 2155 21152 21151 0 -1 0 18022 0 1 0 105882 74 0 0 20 0 10 0 781332454 854089728 28782 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208518 28782 13086 16 0 208502 0
vsize: 834072
[startup+1170.1 s]
Raw data (loadavg): 1.05 1.01 1.00 2/63 2165
Raw data (stat): 2156 (java) R 2155 21152 21151 0 -1 0 18022 0 1 0 106778 74 0 0 18 0 10 0 781332454 854089728 28831 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208518 28831 13086 16 0 208502 0
vsize: 834072
[startup+1180.1 s]
Raw data (loadavg): 1.04 1.01 1.00 2/63 2165
Raw data (stat): 2156 (java) R 2155 21152 21151 0 -1 0 18022 0 1 0 107682 75 0 0 21 0 10 0 781332454 854089728 28856 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208518 28856 13086 16 0 208502 0
vsize: 834072
[startup+1190.1 s]
Raw data (loadavg): 1.04 1.01 1.00 2/63 2165
Raw data (stat): 2156 (java) R 2155 21152 21151 0 -1 0 18022 0 1 0 108586 75 0 0 23 0 10 0 781332454 854089728 28884 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208518 28884 13086 16 0 208502 0
vsize: 834072
[startup+1200.1 s]
Raw data (loadavg): 1.03 1.01 1.00 2/63 2165
Raw data (stat): 2156 (java) R 2155 21152 21151 0 -1 0 18022 0 1 0 109483 75 0 0 19 0 10 0 781332454 854089728 28907 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208518 28907 13086 16 0 208502 0
vsize: 834072
[startup+1210.11 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 2165
Raw data (stat): 2156 (java) R 2155 21152 21151 0 -1 0 18022 0 1 0 110385 76 0 0 23 0 10 0 781332454 854089728 28936 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208518 28936 13086 16 0 208502 0
vsize: 834072
[startup+1220.11 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 2165
Raw data (stat): 2156 (java) R 2155 21152 21151 0 -1 0 18022 0 1 0 111279 76 0 0 20 0 10 0 781332454 854089728 28967 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208518 28967 13086 16 0 208502 0
vsize: 834072
[startup+1230.11 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 2165
Raw data (stat): 2156 (java) R 2155 21152 21151 0 -1 0 18022 0 1 0 112178 76 0 0 22 0 10 0 781332454 854089728 28989 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208518 28989 13086 16 0 208502 0
vsize: 834072
[startup+1240.11 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 2165
Raw data (stat): 2156 (java) R 2155 21152 21151 0 -1 0 18022 0 1 0 113076 77 0 0 19 0 10 0 781332454 854089728 29085 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208518 29085 13086 16 0 208502 0
vsize: 834072
[startup+1250.11 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 2165
Raw data (stat): 2156 (java) R 2155 21152 21151 0 -1 0 18022 0 1 0 113979 77 0 0 22 0 10 0 781332454 854089728 29108 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208518 29108 13086 16 0 208502 0
vsize: 834072
[startup+1260.11 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 2165
Raw data (stat): 2156 (java) S 2155 21152 21151 0 -1 0 18022 0 1 0 114877 78 0 0 24 0 10 0 781332454 854089728 29140 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208518 29140 13086 16 0 208502 0
vsize: 834072
[startup+1270.11 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 2165
Raw data (stat): 2156 (java) R 2155 21152 21151 0 -1 0 18022 0 1 0 115780 78 0 0 20 0 10 0 781332454 854089728 29174 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208518 29174 13086 16 0 208502 0
vsize: 834072
[startup+1280.11 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 2165
Raw data (stat): 2156 (java) S 2155 21152 21151 0 -1 0 18022 0 1 0 116682 79 0 0 24 0 10 0 781332454 854089728 29201 4294967295 134512640 134569956 3221224368 3221213448 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208518 29201 13086 16 0 208502 0
vsize: 834072
[startup+1290.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2165
Raw data (stat): 2156 (java) R 2155 21152 21151 0 -1 0 18022 0 1 0 117577 79 0 0 21 0 10 0 781332454 854089728 29310 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208518 29310 13086 16 0 208502 0
vsize: 834072
[startup+1300.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2165
Raw data (stat): 2156 (java) R 2155 21152 21151 0 -1 0 18022 0 1 0 118487 79 0 0 24 0 10 0 781332454 854089728 29349 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208518 29349 13086 16 0 208502 0
vsize: 834072
[startup+1310.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2165
Raw data (stat): 2156 (java) R 2155 21152 21151 0 -1 0 18022 0 1 0 119388 80 0 0 21 0 10 0 781332454 854089728 29365 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208518 29365 13086 16 0 208502 0
vsize: 834072
[startup+1320.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 2165
Raw data (stat): 2156 (java) S 2155 21152 21151 0 -1 0 18022 0 1 0 120292 80 0 0 24 0 10 0 781332454 854089728 29407 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208518 29407 13086 16 0 208502 0
vsize: 834072
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1320.25 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 2167
Raw data (stat): 2156 (java) Z 2155 21152 21151 0 -1 1036 18022 13871 1 0 120297 85 12111 58 21 0 1 0 781332454 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): 1320.25
CPU time (s): 1325.52
CPU user time (s): 1324.08
CPU system time (s): 1.43978
CPU usage (%): 100.399
Max. virtual memory (Kb): 835724
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####