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:
  1. 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.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
  3. 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.
  4. 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

Namenormalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-pilot.opb
MD5SUMcbcc6e4c45bc594b9a9c886c370271c9
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 560
Biggest coefficient in the objective function 3696230400
Number of bits for the biggest coefficient in the objective function 32
Sum of the numbers in the objective function 91541646075
Number of bits of the sum of numbers in the objective function 37
Biggest number in a constraint 13526630400000
Number of bits of the biggest number in a constraint 44
Biggest sum of numbers in a constraint 359500249863150
Number of bits of the biggest sum of numbers49
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1.66275
Number of variables59467
Total number of constraints2515
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2515
Minimum length of a constraint7
Maximum length of a constraint5080

Trace number 19857

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc28 THE 2005-04-21 19:44:46 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=16090 boxname=wulflinc28 idbench=1238 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  cbcc6e4c45bc594b9a9c886c370271c9  /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-13-7-pilot.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-13-7-pilot.opb
IDLAUNCH: 16090
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.077
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.077
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:        424080 kB
Buffers:         34764 kB
Cached:         547892 kB
SwapCached:        104 kB
Active:         220168 kB
Inactive:       364916 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        423828 kB
SwapTotal:     2097640 kB
SwapFree:      2097068 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6056 kB
Slab:            19844 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 20:01:55 (client local time) WITH STATUS 20 IN 1026.42 SECONDS
stats: 16090 7 1026.42 20
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-13-7-pilot.opb
c reading problem 
c [nbvar=59467]
c [nbconstr=2515]
c time 1025.024
c #vars     59467
c #clauses  2714
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
c Total CPU time (ms) : 1026.124
s UNSATISFIABLE
#### 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.75 0.91 0.91 2/54 30637
Raw data (stat): 30637 (runsolver) R 30636 10614 10613 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 547704402 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 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.0003 s]
Raw data (loadavg): 0.78 0.91 0.91 2/63 30646
Raw data (stat): 30637 (java) R 30636 10614 10613 0 -1 0 18006 0 1 0 867 40 0 0 25 0 10 0 547704402 854343680 19582 4294967295 134512640 134569956 3221224400 3221214488 1074489757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208580 19582 13073 16 0 208564 0
vsize: 834320
[startup+20.0011 s]
Raw data (loadavg): 0.82 0.91 0.91 2/63 30646
Raw data (stat): 30637 (java) R 30636 10614 10613 0 -1 0 18007 0 1 0 1759 40 0 0 25 0 10 0 547704402 854343680 20065 4294967295 134512640 134569956 3221224400 3221214504 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208580 20065 13073 16 0 208564 0
vsize: 834320
[startup+30.0006 s]
Raw data (loadavg): 0.84 0.92 0.91 2/63 30646
Raw data (stat): 30637 (java) R 30636 10614 10613 0 -1 0 18007 0 1 0 2647 40 0 0 25 0 10 0 547704402 854343680 20609 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208580 20609 13073 16 0 208564 0
vsize: 834320
[startup+40.0163 s]
Raw data (loadavg): 0.87 0.92 0.91 2/63 30646
Raw data (stat): 30637 (java) R 30636 10614 10613 0 -1 0 18007 0 1 0 3565 41 0 0 21 0 10 0 547704402 854343680 20884 4294967295 134512640 134569956 3221224400 3221214548 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208580 20884 13073 16 0 208564 0
vsize: 834320
[startup+50.017 s]
Raw data (loadavg): 0.89 0.92 0.91 2/63 30646
Raw data (stat): 30637 (java) R 30636 10614 10613 0 -1 0 18007 0 1 0 4490 41 0 0 24 0 10 0 547704402 854343680 21055 4294967295 134512640 134569956 3221224400 3221214552 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208580 21055 13073 16 0 208564 0
vsize: 834320
[startup+60.0166 s]
Raw data (loadavg): 0.98 0.94 0.92 2/63 30646
Raw data (stat): 30637 (java) R 30636 10614 10613 0 -1 0 18007 0 1 0 5413 41 0 0 25 0 10 0 547704402 855576576 21474 4294967295 134512640 134569956 3221224400 3221214944 1131218019 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208881 21474 13073 16 0 208865 0
vsize: 835524
[startup+70.0163 s]
Raw data (loadavg): 0.98 0.94 0.92 2/63 30646
Raw data (stat): 30637 (java) R 30636 10614 10613 0 -1 0 18007 0 1 0 6319 42 0 0 25 0 10 0 547704402 854343680 21324 4294967295 134512640 134569956 3221224400 3221214552 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208580 21324 13073 16 0 208564 0
vsize: 834320
[startup+80.0207 s]
Raw data (loadavg): 0.98 0.94 0.92 2/63 30646
Raw data (stat): 30637 (java) R 30636 10614 10613 0 -1 0 18007 0 1 0 7228 42 0 0 25 0 10 0 547704402 854343680 21554 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208580 21554 13073 16 0 208564 0
vsize: 834320
[startup+90.0273 s]
Raw data (loadavg): 0.99 0.94 0.92 2/63 30646
Raw data (stat): 30637 (java) R 30636 10614 10613 0 -1 0 18007 0 1 0 8144 43 0 0 25 0 10 0 547704402 854343680 21741 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208580 21741 13073 16 0 208564 0
vsize: 834320
[startup+100.036 s]
Raw data (loadavg): 0.99 0.94 0.92 2/63 30646
Raw data (stat): 30637 (java) R 30636 10614 10613 0 -1 0 18007 0 1 0 9063 44 0 0 25 0 10 0 547704402 854343680 21879 4294967295 134512640 134569956 3221224400 3221214296 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208580 21879 13073 16 0 208564 0
vsize: 834320
[startup+110.038 s]
Raw data (loadavg): 0.99 0.94 0.92 2/63 30646
Raw data (stat): 30637 (java) R 30636 10614 10613 0 -1 0 18007 0 1 0 9987 44 0 0 25 0 10 0 547704402 854343680 22029 4294967295 134512640 134569956 3221224400 3221214828 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208580 22029 13073 16 0 208564 0
vsize: 834320
[startup+120.038 s]
Raw data (loadavg): 0.99 0.95 0.92 2/63 30646
Raw data (stat): 30637 (java) R 30636 10614 10613 0 -1 0 18007 0 1 0 10915 44 0 0 25 0 10 0 547704402 854343680 22127 4294967295 134512640 134569956 3221224400 3221214552 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208580 22127 13073 16 0 208564 0
vsize: 834320
[startup+130.039 s]
Raw data (loadavg): 0.99 0.95 0.92 2/63 30646
Raw data (stat): 30637 (java) R 30636 10614 10613 0 -1 0 18007 0 1 0 11847 45 0 0 25 0 10 0 547704402 854343680 22212 4294967295 134512640 134569956 3221224400 3221214548 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208580 22212 13073 16 0 208564 0
vsize: 834320
[startup+140.039 s]
Raw data (loadavg): 0.99 0.95 0.92 2/63 30646
Raw data (stat): 30637 (java) R 30636 10614 10613 0 -1 0 18007 0 1 0 12776 45 0 0 25 0 10 0 547704402 854343680 22293 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208580 22293 13073 16 0 208564 0
vsize: 834320
[startup+150.049 s]
Raw data (loadavg): 0.99 0.95 0.92 2/63 30646
Raw data (stat): 30637 (java) R 30636 10614 10613 0 -1 0 18007 0 1 0 13690 45 0 0 25 0 10 0 547704402 854343680 22379 4294967295 134512640 134569956 3221224400 3221214456 1076874341 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208580 22379 13073 16 0 208564 0
vsize: 834320
[startup+160.052 s]
Raw data (loadavg): 0.99 0.95 0.92 2/63 30646
Raw data (stat): 30637 (java) R 30636 10614 10613 0 -1 0 18007 0 1 0 14595 46 0 0 25 0 10 0 547704402 854343680 22469 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208580 22469 13073 16 0 208564 0
vsize: 834320
[startup+170.053 s]
Raw data (loadavg): 0.99 0.95 0.92 2/63 30646
Raw data (stat): 30637 (java) R 30636 10614 10613 0 -1 0 18007 0 1 0 15510 46 0 0 25 0 10 0 547704402 854343680 22673 4294967295 134512640 134569956 3221224400 3221214552 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208580 22673 13073 16 0 208564 0
vsize: 834320
[startup+180.053 s]
Raw data (loadavg): 0.99 0.95 0.92 2/63 30646
Raw data (stat): 30637 (java) R 30636 10614 10613 0 -1 0 18007 0 1 0 16428 46 0 0 22 0 10 0 547704402 854343680 22777 4294967295 134512640 134569956 3221224400 3221214552 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208580 22777 13073 16 0 208564 0
vsize: 834320
[startup+190.057 s]
Raw data (loadavg): 0.99 0.95 0.92 2/63 30646
Raw data (stat): 30637 (java) R 30636 10614 10613 0 -1 0 18007 0 1 0 17335 47 0 0 23 0 10 0 547704402 854343680 22874 4294967295 134512640 134569956 3221224400 3221214828 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208580 22874 13073 16 0 208564 0
vsize: 834320
[startup+200.057 s]
Raw data (loadavg): 0.99 0.95 0.92 2/63 30646
Raw data (stat): 30637 (java) R 30636 10614 10613 0 -1 0 18007 0 1 0 18244 47 0 0 24 0 10 0 547704402 854343680 23110 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208580 23110 13073 16 0 208564 0
vsize: 834320
[startup+210.057 s]
Raw data (loadavg): 0.99 0.95 0.92 3/63 30646
Raw data (stat): 30637 (java) R 30636 10614 10613 0 -1 0 18007 0 1 0 19168 47 0 0 25 0 10 0 547704402 854343680 23186 4294967295 134512640 134569956 3221224400 3221214552 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208580 23186 13073 16 0 208564 0
vsize: 834320
[startup+220.058 s]
Raw data (loadavg): 0.99 0.96 0.92 2/63 30646
Raw data (stat): 30637 (java) R 30636 10614 10613 0 -1 0 18007 0 1 0 20084 48 0 0 25 0 10 0 547704402 854343680 23261 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208580 23261 13073 16 0 208564 0
vsize: 834320
[startup+230.059 s]
Raw data (loadavg): 0.99 0.96 0.92 2/63 30646
Raw data (stat): 30637 (java) R 30636 10614 10613 0 -1 0 18007 0 1 0 20997 49 0 0 25 0 10 0 547704402 854343680 23355 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208580 23355 13073 16 0 208564 0
vsize: 834320
[startup+240.059 s]
Raw data (loadavg): 0.99 0.96 0.92 2/63 30646
Raw data (stat): 30637 (java) R 30636 10614 10613 0 -1 0 18007 0 1 0 21917 49 0 0 25 0 10 0 547704402 854343680 23451 4294967295 134512640 134569956 3221224400 3221214296 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208580 23451 13073 16 0 208564 0
vsize: 834320
[startup+250.06 s]
Raw data (loadavg): 0.99 0.96 0.92 2/63 30646
Raw data (stat): 30637 (java) S 30636 10614 10613 0 -1 0 18007 0 1 0 22830 50 0 0 25 0 10 0 547704402 854343680 23523 4294967295 134512640 134569956 3221224400 3221213592 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208580 23523 13073 16 0 208564 0
vsize: 834320
[startup+260.06 s]
Raw data (loadavg): 0.99 0.96 0.92 2/63 30646
Raw data (stat): 30637 (java) R 30636 10614 10613 0 -1 0 18007 0 1 0 23744 50 0 0 24 0 10 0 547704402 854343680 23602 4294967295 134512640 134569956 3221224400 3221214352 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208580 23602 13073 16 0 208564 0
vsize: 834320
[startup+270.066 s]
Raw data (loadavg): 0.99 0.96 0.92 2/63 30646
Raw data (stat): 30637 (java) R 30636 10614 10613 0 -1 0 18007 0 1 0 24659 50 0 0 25 0 10 0 547704402 854343680 23701 4294967295 134512640 134569956 3221224400 3221214552 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208580 23701 13073 16 0 208564 0
vsize: 834320
[startup+280.066 s]
Raw data (loadavg): 0.99 0.96 0.92 2/63 30646
Raw data (stat): 30637 (java) R 30636 10614 10613 0 -1 0 18007 0 1 0 25573 51 0 0 25 0 10 0 547704402 854343680 23779 4294967295 134512640 134569956 3221224400 3221214820 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208580 23779 13073 16 0 208564 0
vsize: 834320
[startup+290.067 s]
Raw data (loadavg): 0.99 0.96 0.92 2/63 30646
Raw data (stat): 30637 (java) R 30636 10614 10613 0 -1 0 18007 0 1 0 26487 52 0 0 25 0 10 0 547704402 854343680 23889 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208580 23889 13073 16 0 208564 0
vsize: 834320
[startup+300.067 s]
Raw data (loadavg): 0.99 0.96 0.92 2/63 30646
Raw data (stat): 30637 (java) R 30636 10614 10613 0 -1 0 18007 0 1 0 27397 52 0 0 25 0 10 0 547704402 854343680 23950 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208580 23950 13073 16 0 208564 0
vsize: 834320
[startup+310.067 s]
Raw data (loadavg): 0.99 0.96 0.92 2/63 30646
Raw data (stat): 30637 (java) R 30636 10614 10613 0 -1 0 18007 0 1 0 28304 53 0 0 25 0 10 0 547704402 854343680 24024 4294967295 134512640 134569956 3221224400 3221214296 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208580 24024 13073 16 0 208564 0
vsize: 834320
[startup+320.084 s]
Raw data (loadavg): 0.99 0.97 0.92 2/63 30646
Raw data (stat): 30637 (java) R 30636 10614 10613 0 -1 0 18007 0 1 0 29219 53 0 0 25 0 10 0 547704402 854343680 24144 4294967295 134512640 134569956 3221224400 3221214296 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208580 24144 13073 16 0 208564 0
vsize: 834320
[startup+330.084 s]
Raw data (loadavg): 0.99 0.97 0.92 2/63 30646
Raw data (stat): 30637 (java) R 30636 10614 10613 0 -1 0 18007 0 1 0 30131 54 0 0 25 0 10 0 547704402 854343680 24204 4294967295 134512640 134569956 3221224400 3221214828 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208580 24204 13073 16 0 208564 0
vsize: 834320
[startup+340.085 s]
Raw data (loadavg): 0.99 0.97 0.92 2/63 30646
Raw data (stat): 30637 (java) R 30636 10614 10613 0 -1 0 18007 0 1 0 31034 54 0 0 25 0 10 0 547704402 854343680 24280 4294967295 134512640 134569956 3221224400 3221214820 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208580 24280 13073 16 0 208564 0
vsize: 834320
[startup+350.096 s]
Raw data (loadavg): 0.99 0.97 0.92 2/63 30646
Raw data (stat): 30637 (java) R 30636 10614 10613 0 -1 0 18007 0 1 0 31927 55 0 0 25 0 10 0 547704402 854343680 24385 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208580 24385 13073 16 0 208564 0
vsize: 834320
[startup+360.096 s]
Raw data (loadavg): 0.99 0.97 0.92 2/63 30646
Raw data (stat): 30637 (java) R 30636 10614 10613 0 -1 0 18007 0 1 0 32820 55 0 0 25 0 10 0 547704402 854343680 24520 4294967295 134512640 134569956 3221224400 3221214296 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208580 24520 13073 16 0 208564 0
vsize: 834320
[startup+370.1 s]
Raw data (loadavg): 0.99 0.97 0.92 2/63 30646
Raw data (stat): 30637 (java) R 30636 10614 10613 0 -1 0 18007 0 1 0 33710 56 0 0 25 0 10 0 547704402 854343680 24668 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208580 24668 13073 16 0 208564 0
vsize: 834320
[startup+380.1 s]
Raw data (loadavg): 0.99 0.97 0.92 2/63 30646
Raw data (stat): 30637 (java) R 30636 10614 10613 0 -1 0 18007 0 1 0 34616 56 0 0 25 0 10 0 547704402 854343680 24758 4294967295 134512640 134569956 3221224400 3221214296 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208580 24758 13073 16 0 208564 0
vsize: 834320
[startup+390.113 s]
Raw data (loadavg): 0.99 0.97 0.92 2/63 30646
Raw data (stat): 30637 (java) R 30636 10614 10613 0 -1 0 18007 0 1 0 35527 57 0 0 25 0 10 0 547704402 854343680 24839 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208580 24839 13073 16 0 208564 0
vsize: 834320
[startup+400.113 s]
Raw data (loadavg): 0.99 0.97 0.92 2/63 30646
Raw data (stat): 30637 (java) R 30636 10614 10613 0 -1 0 18007 0 1 0 36430 58 0 0 25 0 10 0 547704402 854343680 24888 4294967295 134512640 134569956 3221224400 3221214552 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208580 24888 13073 16 0 208564 0
vsize: 834320
[startup+410.113 s]
Raw data (loadavg): 0.99 0.97 0.92 2/63 30646
Raw data (stat): 30637 (java) R 30636 10614 10613 0 -1 0 18007 0 1 0 37326 58 0 0 25 0 10 0 547704402 854343680 24988 4294967295 134512640 134569956 3221224400 3221214548 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208580 24988 13073 16 0 208564 0
vsize: 834320
[startup+420.116 s]
Raw data (loadavg): 0.99 0.97 0.92 2/63 30646
Raw data (stat): 30637 (java) S 30636 10614 10613 0 -1 0 18007 0 1 0 38221 59 0 0 25 0 10 0 547704402 854343680 25078 4294967295 134512640 134569956 3221224400 3221213792 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208580 25078 13073 16 0 208564 0
vsize: 834320
[startup+430.115 s]
Raw data (loadavg): 0.99 0.97 0.92 2/63 30646
Raw data (stat): 30637 (java) R 30636 10614 10613 0 -1 0 18007 0 1 0 39108 59 0 0 18 0 10 0 547704402 854343680 25166 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208580 25166 13073 16 0 208564 0
vsize: 834320
[startup+440.132 s]
Raw data (loadavg): 1.07 0.99 0.93 2/63 30646
Raw data (stat): 30637 (java) R 30636 10614 10613 0 -1 0 18007 0 1 0 39989 60 0 0 20 0 10 0 547704402 854343680 25473 4294967295 134512640 134569956 3221224400 3221214552 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208580 25473 13073 16 0 208564 0
vsize: 834320
[startup+450.141 s]
Raw data (loadavg): 1.06 0.99 0.93 2/63 30646
Raw data (stat): 30637 (java) R 30636 10614 10613 0 -1 0 18007 0 1 0 40867 61 0 0 18 0 10 0 547704402 854343680 25602 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208580 25602 13073 16 0 208564 0
vsize: 834320
[startup+460.145 s]
Raw data (loadavg): 1.05 0.99 0.93 2/63 30646
Raw data (stat): 30637 (java) R 30636 10614 10613 0 -1 0 18007 0 1 0 41770 61 0 0 21 0 10 0 547704402 854343680 25777 4294967295 134512640 134569956 3221224400 3221214296 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208580 25777 13073 16 0 208564 0
vsize: 834320
[startup+470.146 s]
Raw data (loadavg): 1.04 0.99 0.93 2/63 30646
Raw data (stat): 30637 (java) R 30636 10614 10613 0 -1 0 18007 0 1 0 42676 61 0 0 25 0 10 0 547704402 854343680 25840 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208580 25840 13073 16 0 208564 0
vsize: 834320
[startup+480.147 s]
Raw data (loadavg): 1.04 0.99 0.93 2/63 30646
Raw data (stat): 30637 (java) R 30636 10614 10613 0 -1 0 18007 0 1 0 43575 62 0 0 24 0 10 0 547704402 854343680 25884 4294967295 134512640 134569956 3221224400 3221214296 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208580 25884 13073 16 0 208564 0
vsize: 834320
[startup+490.148 s]
Raw data (loadavg): 1.03 0.99 0.93 2/63 30646
Raw data (stat): 30637 (java) S 30636 10614 10613 0 -1 0 18007 0 1 0 44483 63 0 0 25 0 10 0 547704402 854343680 25993 4294967295 134512640 134569956 3221224400 3221213536 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208580 25993 13073 16 0 208564 0
vsize: 834320
[startup+500.148 s]
Raw data (loadavg): 1.03 0.99 0.93 2/63 30646
Raw data (stat): 30637 (java) R 30636 10614 10613 0 -1 0 18007 0 1 0 45379 63 0 0 25 0 10 0 547704402 854343680 26043 4294967295 134512640 134569956 3221224400 3221214820 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208580 26043 13073 16 0 208564 0
vsize: 834320
[startup+510.147 s]
Raw data (loadavg): 1.02 0.99 0.93 2/63 30646
Raw data (stat): 30637 (java) R 30636 10614 10613 0 -1 0 18007 0 1 0 46251 63 0 0 25 0 10 0 547704402 854343680 26356 4294967295 134512640 134569956 3221224400 3221214296 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208580 26356 13073 16 0 208564 0
vsize: 834320
[startup+520.149 s]
Raw data (loadavg): 1.02 0.99 0.93 2/63 30646
Raw data (stat): 30637 (java) R 30636 10614 10613 0 -1 0 18007 0 1 0 47128 64 0 0 25 0 10 0 547704402 854343680 26470 4294967295 134512640 134569956 3221224400 3221214528 1080020546 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208580 26470 13073 16 0 208564 0
vsize: 834320
[startup+530.15 s]
Raw data (loadavg): 1.01 0.99 0.93 2/63 30646
Raw data (stat): 30637 (java) S 30636 10614 10613 0 -1 0 18007 0 1 0 48004 65 0 0 25 0 10 0 547704402 854343680 26673 4294967295 134512640 134569956 3221224400 3221213536 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208580 26673 13073 16 0 208564 0
vsize: 834320
[startup+540.16 s]
Raw data (loadavg): 1.01 0.99 0.93 2/63 30646
Raw data (stat): 30637 (java) R 30636 10614 10613 0 -1 0 18007 0 1 0 48898 65 0 0 25 0 10 0 547704402 854343680 26802 4294967295 134512640 134569956 3221224400 3221214296 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208580 26802 13073 16 0 208564 0
vsize: 834320
[startup+550.161 s]
Raw data (loadavg): 1.01 0.99 0.93 2/63 30646
Raw data (stat): 30637 (java) R 30636 10614 10613 0 -1 0 18007 0 1 0 49797 66 0 0 25 0 10 0 547704402 854343680 26862 4294967295 134512640 134569956 3221224400 3221214552 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208580 26862 13073 16 0 208564 0
vsize: 834320
[startup+560.161 s]
Raw data (loadavg): 1.01 0.99 0.93 2/63 30646
Raw data (stat): 30637 (java) R 30636 10614 10613 0 -1 0 18007 0 1 0 50695 66 0 0 25 0 10 0 547704402 854343680 26947 4294967295 134512640 134569956 3221224400 3221214296 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208580 26947 13073 16 0 208564 0
vsize: 834320
[startup+570.162 s]
Raw data (loadavg): 1.01 0.99 0.93 2/63 30646
Raw data (stat): 30637 (java) R 30636 10614 10613 0 -1 0 18007 0 1 0 51598 67 0 0 20 0 10 0 547704402 854343680 27013 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208580 27013 13073 16 0 208564 0
vsize: 834320
[startup+580.162 s]
Raw data (loadavg): 1.00 0.99 0.93 2/63 30646
Raw data (stat): 30637 (java) R 30636 10614 10613 0 -1 0 18007 0 1 0 52506 67 0 0 21 0 10 0 547704402 854343680 27068 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208580 27068 13073 16 0 208564 0
vsize: 834320
[startup+590.162 s]
Raw data (loadavg): 1.00 0.99 0.93 2/63 30646
Raw data (stat): 30637 (java) R 30636 10614 10613 0 -1 0 18007 0 1 0 53412 67 0 0 21 0 10 0 547704402 854343680 27099 4294967295 134512640 134569956 3221224400 3221214504 1074489757 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208580 27099 13073 16 0 208564 0
vsize: 834320
[startup+600.163 s]
Raw data (loadavg): 1.00 0.99 0.93 2/63 30646
Raw data (stat): 30637 (java) R 30636 10614 10613 0 -1 0 18007 0 1 0 54315 67 0 0 19 0 10 0 547704402 854343680 27144 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208580 27144 13073 16 0 208564 0
vsize: 834320
[startup+610.163 s]
Raw data (loadavg): 1.00 0.99 0.93 2/63 30646
Raw data (stat): 30637 (java) R 30636 10614 10613 0 -1 0 18007 0 1 0 55213 68 0 0 18 0 10 0 547704402 854343680 27204 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208580 27204 13073 16 0 208564 0
vsize: 834320
[startup+620.163 s]
Raw data (loadavg): 1.00 0.99 0.93 2/63 30646
Raw data (stat): 30637 (java) S 30636 10614 10613 0 -1 0 18007 0 1 0 56114 68 0 0 23 0 10 0 547704402 854343680 27246 4294967295 134512640 134569956 3221224400 3221213788 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208580 27246 13073 16 0 208564 0
vsize: 834320
[startup+630.163 s]
Raw data (loadavg): 1.00 0.99 0.93 2/63 30646
Raw data (stat): 30637 (java) R 30636 10614 10613 0 -1 0 18007 0 1 0 57017 69 0 0 22 0 10 0 547704402 854343680 27312 4294967295 134512640 134569956 3221224400 3221214296 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208580 27312 13073 16 0 208564 0
vsize: 834320
[startup+640.164 s]
Raw data (loadavg): 1.00 0.99 0.93 2/63 30646
Raw data (stat): 30637 (java) R 30636 10614 10613 0 -1 0 18007 0 1 0 57915 69 0 0 22 0 10 0 547704402 854343680 27365 4294967295 134512640 134569956 3221224400 3221214296 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208580 27365 13073 16 0 208564 0
vsize: 834320
[startup+650.164 s]
Raw data (loadavg): 1.00 0.99 0.93 2/63 30646
Raw data (stat): 30637 (java) R 30636 10614 10613 0 -1 0 18007 0 1 0 58809 70 0 0 19 0 10 0 547704402 854343680 27409 4294967295 134512640 134569956 3221224400 3221214296 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208580 27409 13073 16 0 208564 0
vsize: 834320
[startup+660.164 s]
Raw data (loadavg): 1.00 0.99 0.93 2/63 30646
Raw data (stat): 30637 (java) S 30636 10614 10613 0 -1 0 18007 0 1 0 59704 70 0 0 23 0 10 0 547704402 854343680 27478 4294967295 134512640 134569956 3221224400 3221213788 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208580 27478 13073 16 0 208564 0
vsize: 834320
[startup+670.165 s]
Raw data (loadavg): 1.00 0.99 0.93 2/63 30646
Raw data (stat): 30637 (java) R 30636 10614 10613 0 -1 0 18007 0 1 0 60595 70 0 0 18 0 10 0 547704402 854343680 27540 4294967295 134512640 134569956 3221224400 3221214552 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208580 27540 13073 16 0 208564 0
vsize: 834320
[startup+680.165 s]
Raw data (loadavg): 1.00 0.99 0.93 2/63 30646
Raw data (stat): 30637 (java) S 30636 10614 10613 0 -1 0 18007 0 1 0 61480 71 0 0 21 0 10 0 547704402 854343680 27596 4294967295 134512640 134569956 3221224400 3221213688 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208580 27596 13073 16 0 208564 0
vsize: 834320
[startup+690.166 s]
Raw data (loadavg): 1.00 0.99 0.93 2/63 30646
Raw data (stat): 30637 (java) R 30636 10614 10613 0 -1 0 18007 0 1 0 62375 72 0 0 21 0 10 0 547704402 854343680 27713 4294967295 134512640 134569956 3221224400 3221214552 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208580 27713 13073 16 0 208564 0
vsize: 834320
[startup+700.17 s]
Raw data (loadavg): 1.00 0.99 0.93 2/63 30646
Raw data (stat): 30637 (java) R 30636 10614 10613 0 -1 0 18007 0 1 0 63255 72 0 0 17 0 10 0 547704402 854343680 28277 4294967295 134512640 134569956 3221224400 3221214296 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208580 28277 13073 16 0 208564 0
vsize: 834320
[startup+710.17 s]
Raw data (loadavg): 1.00 0.99 0.93 2/63 30646
Raw data (stat): 30637 (java) R 30636 10614 10613 0 -1 0 18007 0 1 0 64143 73 0 0 19 0 10 0 547704402 854343680 28413 4294967295 134512640 134569956 3221224400 3221214504 1074489757 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208580 28413 13073 16 0 208564 0
vsize: 834320
[startup+720.173 s]
Raw data (loadavg): 1.00 0.99 0.93 2/63 30646
Raw data (stat): 30637 (java) S 30636 10614 10613 0 -1 0 18007 0 1 0 65020 73 0 0 22 0 10 0 547704402 854343680 28476 4294967295 134512640 134569956 3221224400 3221213792 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208580 28476 13073 16 0 208564 0
vsize: 834320
[startup+730.174 s]
Raw data (loadavg): 1.00 0.99 0.93 2/63 30646
Raw data (stat): 30637 (java) R 30636 10614 10613 0 -1 0 18007 0 1 0 65905 73 0 0 20 0 10 0 547704402 854343680 28610 4294967295 134512640 134569956 3221224400 3221214820 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208580 28610 13073 16 0 208564 0
vsize: 834320
[startup+740.175 s]
Raw data (loadavg): 1.00 0.99 0.93 2/63 30646
Raw data (stat): 30637 (java) R 30636 10614 10613 0 -1 0 18007 0 1 0 66800 74 0 0 18 0 10 0 547704402 854343680 28632 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208580 28632 13073 16 0 208564 0
vsize: 834320
[startup+750.175 s]
Raw data (loadavg): 1.00 0.99 0.93 2/63 30646
Raw data (stat): 30637 (java) R 30636 10614 10613 0 -1 0 18007 0 1 0 67697 74 0 0 22 0 10 0 547704402 854343680 28652 4294967295 134512640 134569956 3221224400 3221214552 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208580 28652 13073 16 0 208564 0
vsize: 834320
[startup+760.176 s]
Raw data (loadavg): 1.00 0.99 0.93 2/63 30646
Raw data (stat): 30637 (java) R 30636 10614 10613 0 -1 0 18007 0 1 0 68576 75 0 0 18 0 10 0 547704402 854343680 28673 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208580 28673 13073 16 0 208564 0
vsize: 834320
[startup+770.177 s]
Raw data (loadavg): 1.00 0.99 0.93 2/63 30646
Raw data (stat): 30637 (java) R 30636 10614 10613 0 -1 0 18007 0 1 0 69455 75 0 0 20 0 10 0 547704402 854343680 28803 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208580 28803 13073 16 0 208564 0
vsize: 834320
[startup+780.177 s]
Raw data (loadavg): 1.00 0.99 0.93 2/63 30646
Raw data (stat): 30637 (java) R 30636 10614 10613 0 -1 0 18007 0 1 0 70335 77 0 0 25 0 10 0 547704402 854343680 30023 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208580 30023 13073 16 0 208564 0
vsize: 834320
[startup+790.178 s]
Raw data (loadavg): 1.00 0.99 0.93 2/63 30646
Raw data (stat): 30637 (java) R 30636 10614 10613 0 -1 0 18007 0 1 0 71218 77 0 0 25 0 10 0 547704402 854343680 30187 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208580 30187 13073 16 0 208564 0
vsize: 834320
[startup+800.178 s]
Raw data (loadavg): 1.00 0.99 0.93 2/63 30646
Raw data (stat): 30637 (java) R 30636 10614 10613 0 -1 0 18007 0 1 0 72094 78 0 0 25 0 10 0 547704402 854343680 30280 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208580 30280 13073 16 0 208564 0
vsize: 834320
[startup+810.179 s]
Raw data (loadavg): 1.00 0.99 0.93 2/63 30646
Raw data (stat): 30637 (java) R 30636 10614 10613 0 -1 0 18007 0 1 0 72972 78 0 0 25 0 10 0 547704402 854343680 30379 4294967295 134512640 134569956 3221224400 3221214296 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208580 30379 13073 16 0 208564 0
vsize: 834320
[startup+820.179 s]
Raw data (loadavg): 1.00 0.99 0.93 2/63 30646
Raw data (stat): 30637 (java) R 30636 10614 10613 0 -1 0 18007 0 1 0 73857 78 0 0 25 0 10 0 547704402 854343680 30482 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208580 30482 13073 16 0 208564 0
vsize: 834320
[startup+830.18 s]
Raw data (loadavg): 1.00 0.99 0.93 2/63 30646
Raw data (stat): 30637 (java) R 30636 10614 10613 0 -1 0 18007 0 1 0 74736 78 0 0 24 0 10 0 547704402 854343680 30549 4294967295 134512640 134569956 3221224400 3221214548 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208580 30549 13073 16 0 208564 0
vsize: 834320
[startup+840.181 s]
Raw data (loadavg): 1.00 0.99 0.93 2/63 30646
Raw data (stat): 30637 (java) R 30636 10614 10613 0 -1 0 18007 0 1 0 75626 78 0 0 25 0 10 0 547704402 854343680 30604 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208580 30604 13073 16 0 208564 0
vsize: 834320
[startup+850.182 s]
Raw data (loadavg): 1.00 0.99 0.93 2/63 30646
Raw data (stat): 30637 (java) R 30636 10614 10613 0 -1 0 18007 0 1 0 76510 78 0 0 25 0 10 0 547704402 854343680 30646 4294967295 134512640 134569956 3221224400 3221214296 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208580 30646 13073 16 0 208564 0
vsize: 834320
[startup+860.196 s]
Raw data (loadavg): 1.00 0.99 0.93 2/63 30646
Raw data (stat): 30637 (java) R 30636 10614 10613 0 -1 0 18007 0 1 0 77400 78 0 0 25 0 10 0 547704402 854343680 30690 4294967295 134512640 134569956 3221224400 3221214552 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208580 30690 13073 16 0 208564 0
vsize: 834320
[startup+870.212 s]
Raw data (loadavg): 1.00 0.99 0.93 2/63 30646
Raw data (stat): 30637 (java) R 30636 10614 10613 0 -1 0 18007 0 1 0 78285 78 0 0 22 0 10 0 547704402 854343680 30791 4294967295 134512640 134569956 3221224400 3221214552 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208580 30791 13073 16 0 208564 0
vsize: 834320
[startup+880.213 s]
Raw data (loadavg): 1.00 0.99 0.93 2/63 30646
Raw data (stat): 30637 (java) R 30636 10614 10613 0 -1 0 18007 0 1 0 79163 78 0 0 18 0 10 0 547704402 854343680 30920 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208580 30920 13073 16 0 208564 0
vsize: 834320
[startup+890.214 s]
Raw data (loadavg): 1.00 0.99 0.93 2/63 30646
Raw data (stat): 30637 (java) R 30636 10614 10613 0 -1 0 18007 0 1 0 80054 78 0 0 21 0 10 0 547704402 854343680 31065 4294967295 134512640 134569956 3221224400 3221214548 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208580 31065 13073 16 0 208564 0
vsize: 834320
[startup+900.214 s]
Raw data (loadavg): 1.00 0.99 0.93 2/63 30646
Raw data (stat): 30637 (java) R 30636 10614 10613 0 -1 0 18007 0 1 0 80942 79 0 0 17 0 10 0 547704402 854343680 31065 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208580 31065 13073 16 0 208564 0
vsize: 834320
[startup+910.215 s]
Raw data (loadavg): 1.00 0.99 0.93 2/63 30646
Raw data (stat): 30637 (java) R 30636 10614 10613 0 -1 0 18007 0 1 0 81832 79 0 0 21 0 10 0 547704402 854343680 31103 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208580 31103 13073 16 0 208564 0
vsize: 834320
[startup+920.216 s]
Raw data (loadavg): 1.08 1.00 0.93 2/66 30690
Raw data (stat): 30637 (java) S 30636 10614 10613 0 -1 0 18007 0 1 0 82717 85 0 0 25 0 10 0 547704402 854343680 31159 4294967295 134512640 134569956 3221224400 3221213792 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208580 31159 13073 16 0 208564 0
vsize: 834320
[startup+930.215 s]
Raw data (loadavg): 1.07 1.00 0.93 2/63 30699
Raw data (stat): 30637 (java) R 30636 10614 10613 0 -1 0 18007 0 1 0 83597 87 0 0 24 0 10 0 547704402 854343680 32084 4294967295 134512640 134569956 3221224400 3221214296 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208580 32084 13073 16 0 208564 0
vsize: 834320
[startup+940.217 s]
Raw data (loadavg): 1.06 1.00 0.93 2/63 30699
Raw data (stat): 30637 (java) R 30636 10614 10613 0 -1 0 18007 0 1 0 84499 87 0 0 25 0 10 0 547704402 854343680 32306 4294967295 134512640 134569956 3221224400 3221214552 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208580 32306 13073 16 0 208564 0
vsize: 834320
[startup+950.218 s]
Raw data (loadavg): 1.05 1.00 0.93 2/63 30699
Raw data (stat): 30637 (java) R 30636 10614 10613 0 -1 0 18007 0 1 0 85385 87 0 0 25 0 10 0 547704402 854343680 32306 4294967295 134512640 134569956 3221224400 3221214792 1131044787 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208580 32306 13073 16 0 208564 0
vsize: 834320
[startup+960.218 s]
Raw data (loadavg): 1.04 1.00 0.93 2/63 30699
Raw data (stat): 30637 (java) R 30636 10614 10613 0 -1 0 18007 0 1 0 86275 87 0 0 25 0 10 0 547704402 854343680 32339 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208580 32339 13073 16 0 208564 0
vsize: 834320
[startup+970.22 s]
Raw data (loadavg): 1.03 1.00 0.93 2/63 30699
Raw data (stat): 30637 (java) R 30636 10614 10613 0 -1 0 18007 0 1 0 87160 87 0 0 25 0 10 0 547704402 854343680 32767 4294967295 134512640 134569956 3221224400 3221214548 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208580 32767 13073 16 0 208564 0
vsize: 834320
[startup+980.22 s]
Raw data (loadavg): 1.03 1.00 0.93 2/63 30699
Raw data (stat): 30637 (java) R 30636 10614 10613 0 -1 0 18007 0 1 0 88042 89 0 0 25 0 10 0 547704402 854343680 35077 4294967295 134512640 134569956 3221224400 3221214552 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208580 35077 13073 16 0 208564 0
vsize: 834320
[startup+990.224 s]
Raw data (loadavg): 1.02 1.00 0.93 2/63 30699
Raw data (stat): 30637 (java) S 30636 10614 10613 0 -1 0 18007 0 1 0 88933 90 0 0 21 0 10 0 547704402 854343680 35681 4294967295 134512640 134569956 3221224400 3221213792 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208580 35681 13073 16 0 208564 0
vsize: 834320
[startup+1000.23 s]
Raw data (loadavg): 1.02 1.00 0.93 2/63 30701
Raw data (stat): 30637 (java) S 30636 10614 10613 0 -1 0 18007 0 1 0 89824 90 0 0 21 0 10 0 547704402 854343680 35899 4294967295 134512640 134569956 3221224400 3221213432 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208580 35900 13073 16 0 208564 0
vsize: 834320
[startup+1010.23 s]
Raw data (loadavg): 1.02 1.00 0.93 2/63 30701
Raw data (stat): 30637 (java) R 30636 10614 10613 0 -1 0 18007 0 1 0 90719 91 0 0 18 0 10 0 547704402 854343680 36112 4294967295 134512640 134569956 3221224400 3221214552 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208580 36112 13073 16 0 208564 0
vsize: 834320
[startup+1020.23 s]
Raw data (loadavg): 1.01 1.00 0.93 2/63 30701
Raw data (stat): 30637 (java) R 30636 10614 10613 0 -1 0 18007 0 1 0 91605 92 0 0 18 0 10 0 547704402 854343680 36363 4294967295 134512640 134569956 3221224400 3221214820 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208580 36363 13073 16 0 208564 0
vsize: 834320
[startup+1026.91 s]
Raw data (loadavg): 1.01 1.00 0.93 1/53 30701
Raw data (stat): 30637 (java) R 30636 10614 10613 0 -1 0 18007 0 1 0 91605 92 0 0 18 0 10 0 547704402 854343680 36363 4294967295 134512640 134569956 3221224400 3221214820 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208580 36363 13073 16 0 208564 0
vsize: 0

Child status: 20
Real time (s): 1026.91
CPU time (s): 1026.42
CPU user time (s): 1024.82
CPU system time (s): 1.59876
CPU usage (%): 99.9521
Max. virtual memory (Kb): 835524
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####