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-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-nesm.opb
MD5SUMb7fb72cd75b9b276aedcc241f42047cf
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 8142
Biggest coefficient in the objective function 104857600000000000
Number of bits for the biggest coefficient in the objective function 57
Sum of the numbers in the objective function 5247199281280502271
Number of bits of the sum of numbers in the objective function 63
Biggest number in a constraint 1789569420335513600
Number of bits of the biggest number in a constraint 61
Biggest sum of numbers in a constraint 7218026776828457671
Number of bits of the biggest sum of numbers63
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.532918
Number of variables60075
Total number of constraints2258
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 constraints2258
Minimum length of a constraint10
Maximum length of a constraint941

Trace number 29458

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.080
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        659820 kB
Buffers:         23912 kB
Cached:         328348 kB
SwapCached:        524 kB
Active:         152612 kB
Inactive:       202040 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        659568 kB
SwapTotal:     2097892 kB
SwapFree:      2096776 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5656 kB
Slab:            14532 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 08:13:46 (client local time) WITH STATUS 20 IN 1061.74 SECONDS
stats: 20860 7 1061.74 20
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c SAT4J: a SATisfiability library for Java (c) 2004-2005 Daniel Le Berre
c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
c version Special PB05 Second trial
c --- Begin Solver configuration ---
c org.sat4j.minisat.uip.FirstUIP@1e4cbc4
c org.sat4j.minisat.constraints.PBMinDataStructure@1fdc96c
c org.sat4j.minisat.learning.MiniSATLearning@b2fd8f
c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 
c 
c --- End Solver configuration ---
c solving /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-20-10-nesm.opb
c reading problem ... done. Time 1050.142 ms.
c #vars     60075
c #constraints  2737
c starts	: 0
c conflicts	: 0
c decisions	: 0
c propagations	: 10882
c inspects	: 3093
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 0
s UNSATISFIABLE
c Total CPU time (ms) : 1056.504
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.85 0.97 0.99 2/54 19695
Raw data (stat): 19695 (runsolver) R 19694 4613 4612 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 837244210 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0002 s]
Raw data (loadavg): 0.87 0.97 0.99 2/63 19704
Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18010 0 1 0 870 39 0 0 25 0 10 0 837244210 857096192 20083 4294967295 134512640 134569956 3221224368 3221214464 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209252 20083 13086 16 0 209236 0
vsize: 837008
[startup+20.0014 s]
Raw data (loadavg): 0.89 0.97 0.99 2/63 19704
Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18010 0 1 0 1767 40 0 0 25 0 10 0 837244210 855547904 20273 4294967295 134512640 134569956 3221224368 3221214648 1131182157 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208874 20273 13086 16 0 208858 0
vsize: 835496
[startup+30.0033 s]
Raw data (loadavg): 0.91 0.97 0.99 2/63 19704
Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18019 0 1 0 2644 40 0 0 25 0 10 0 837244210 855547904 20845 4294967295 134512640 134569956 3221224368 3221214496 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208874 20845 13086 16 0 208858 0
vsize: 835496
[startup+40.0032 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 19704
Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18020 0 1 0 3551 41 0 0 24 0 10 0 837244210 855547904 21147 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208874 21147 13086 16 0 208858 0
vsize: 835496
[startup+50.0034 s]
Raw data (loadavg): 1.08 1.00 1.00 2/63 19704
Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18020 0 1 0 4442 41 0 0 25 0 10 0 837244210 856301568 21525 4294967295 134512640 134569956 3221224368 3221214800 1131275603 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209058 21525 13086 16 0 209042 0
vsize: 836232
[startup+60.0042 s]
Raw data (loadavg): 1.07 1.00 1.00 2/63 19704
Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18021 0 1 0 5331 42 0 0 25 0 10 0 837244210 855908352 21632 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208962 21632 13086 16 0 208946 0
vsize: 835848
[startup+70.0043 s]
Raw data (loadavg): 1.06 1.00 1.00 2/63 19704
Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18021 0 1 0 6241 42 0 0 24 0 10 0 837244210 855908352 21952 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208962 21952 13086 16 0 208946 0
vsize: 835848
[startup+80.005 s]
Raw data (loadavg): 1.05 1.00 1.00 2/63 19704
Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18021 0 1 0 7176 43 0 0 25 0 10 0 837244210 855908352 22064 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208962 22064 13086 16 0 208946 0
vsize: 835848
[startup+90.0054 s]
Raw data (loadavg): 1.04 1.00 1.00 2/63 19704
Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18021 0 1 0 8114 43 0 0 25 0 10 0 837244210 855908352 22165 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208962 22165 13086 16 0 208946 0
vsize: 835848
[startup+100.005 s]
Raw data (loadavg): 1.03 1.00 1.00 2/63 19704
Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18021 0 1 0 9054 43 0 0 25 0 10 0 837244210 855908352 22260 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208962 22260 13086 16 0 208946 0
vsize: 835848
[startup+110.006 s]
Raw data (loadavg): 1.03 1.00 1.00 2/63 19704
Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18021 0 1 0 9995 43 0 0 25 0 10 0 837244210 855908352 22346 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208962 22346 13086 16 0 208946 0
vsize: 835848
[startup+120.007 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 19704
Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18021 0 1 0 10932 44 0 0 24 0 10 0 837244210 855908352 22432 4294967295 134512640 134569956 3221224368 3221214264 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208962 22432 13086 16 0 208946 0
vsize: 835848
[startup+130.008 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 19704
Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18021 0 1 0 11873 44 0 0 25 0 10 0 837244210 855908352 22509 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208962 22509 13086 16 0 208946 0
vsize: 835848
[startup+140.007 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 19704
Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18021 0 1 0 12814 45 0 0 25 0 10 0 837244210 855908352 22582 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208962 22582 13086 16 0 208946 0
vsize: 835848
[startup+150.008 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 19704
Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18021 0 1 0 13756 45 0 0 25 0 10 0 837244210 855908352 22653 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208962 22653 13086 16 0 208946 0
vsize: 835848
[startup+160.008 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 19704
Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 14636 46 0 0 25 0 10 0 837244210 856932352 23010 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209212 23010 13086 16 0 209196 0
vsize: 836848
[startup+170.007 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 19704
Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 15535 46 0 0 25 0 10 0 837244210 856932352 23071 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209212 23071 13086 16 0 209196 0
vsize: 836848
[startup+180.008 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 19704
Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 16447 47 0 0 25 0 10 0 837244210 856932352 23381 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209212 23381 13086 16 0 209196 0
vsize: 836848
[startup+190.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19704
Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 17363 47 0 0 25 0 10 0 837244210 856932352 23457 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209212 23457 13086 16 0 209196 0
vsize: 836848
[startup+200.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19704
Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 18286 48 0 0 25 0 10 0 837244210 856932352 23695 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209212 23695 13086 16 0 209196 0
vsize: 836848
[startup+210.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19704
Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 19220 48 0 0 25 0 10 0 837244210 856932352 23770 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209212 23770 13086 16 0 209196 0
vsize: 836848
[startup+220.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19704
Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 20153 49 0 0 25 0 10 0 837244210 856932352 23844 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209212 23844 13086 16 0 209196 0
vsize: 836848
[startup+230.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19704
Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 21086 49 0 0 25 0 10 0 837244210 856932352 23917 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209212 23917 13086 16 0 209196 0
vsize: 836848
[startup+240.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 19752
Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 22015 50 0 0 25 0 10 0 837244210 856932352 23990 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209212 23990 13086 16 0 209196 0
vsize: 836848
[startup+250.009 s]
Raw data (loadavg): 1.07 1.02 1.00 2/63 19757
Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 22947 51 0 0 25 0 10 0 837244210 856932352 24029 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209212 24029 13086 16 0 209196 0
vsize: 836848
[startup+260.01 s]
Raw data (loadavg): 1.06 1.02 1.00 2/63 19757
Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 23880 51 0 0 25 0 10 0 837244210 856932352 24100 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209212 24100 13086 16 0 209196 0
vsize: 836848
[startup+270.01 s]
Raw data (loadavg): 1.05 1.01 1.00 2/63 19757
Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 24812 51 0 0 25 0 10 0 837244210 856932352 24170 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209212 24170 13086 16 0 209196 0
vsize: 836848
[startup+280.01 s]
Raw data (loadavg): 1.04 1.01 1.00 2/63 19757
Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 25743 52 0 0 25 0 10 0 837244210 856932352 24238 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209212 24238 13086 16 0 209196 0
vsize: 836848
[startup+290.011 s]
Raw data (loadavg): 1.04 1.01 1.00 2/63 19757
Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 26673 52 0 0 25 0 10 0 837244210 856932352 24306 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209212 24306 13086 16 0 209196 0
vsize: 836848
[startup+300.01 s]
Raw data (loadavg): 1.03 1.01 1.00 2/63 19757
Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 27603 53 0 0 25 0 10 0 837244210 856932352 24341 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209212 24341 13086 16 0 209196 0
vsize: 836848
[startup+310.01 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 19757
Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 28534 53 0 0 25 0 10 0 837244210 856932352 24408 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209212 24408 13086 16 0 209196 0
vsize: 836848
[startup+320.01 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 19759
Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 29464 53 0 0 25 0 10 0 837244210 856932352 24475 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209212 24475 13086 16 0 209196 0
vsize: 836848
[startup+330.012 s]
Raw data (loadavg): 1.02 1.01 1.00 2/63 19759
Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 30393 54 0 0 25 0 10 0 837244210 856932352 24508 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209212 24508 13086 16 0 209196 0
vsize: 836848
[startup+340.012 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 19759
Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 31324 54 0 0 25 0 10 0 837244210 856932352 24574 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209212 24574 13086 16 0 209196 0
vsize: 836848
[startup+350.012 s]
Raw data (loadavg): 1.01 1.01 1.00 2/63 19759
Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 32253 55 0 0 25 0 10 0 837244210 856932352 24639 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209212 24639 13086 16 0 209196 0
vsize: 836848
[startup+360.013 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 19759
Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 33181 55 0 0 25 0 10 0 837244210 856932352 24671 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209212 24671 13086 16 0 209196 0
vsize: 836848
[startup+370.012 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 19759
Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 34110 55 0 0 25 0 10 0 837244210 856932352 24735 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209212 24735 13086 16 0 209196 0
vsize: 836848
[startup+380.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19759
Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 35037 56 0 0 24 0 10 0 837244210 856932352 24799 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209212 24799 13086 16 0 209196 0
vsize: 836848
[startup+390.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19759
Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 35969 57 0 0 25 0 10 0 837244210 856932352 24828 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209212 24828 13086 16 0 209196 0
vsize: 836848
[startup+400.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19759
Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 36897 57 0 0 25 0 10 0 837244210 856932352 24889 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209212 24889 13086 16 0 209196 0
vsize: 836848
[startup+410.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19759
Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 37823 57 0 0 25 0 10 0 837244210 856932352 24953 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209212 24953 13086 16 0 209196 0
vsize: 836848
[startup+420.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19759
Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 38751 57 0 0 25 0 10 0 837244210 856932352 24982 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209212 24982 13086 16 0 209196 0
vsize: 836848
[startup+430.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19759
Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 39677 58 0 0 25 0 10 0 837244210 856932352 25045 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209212 25045 13086 16 0 209196 0
vsize: 836848
[startup+440.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19759
Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 40603 58 0 0 25 0 10 0 837244210 856932352 25074 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209212 25074 13086 16 0 209196 0
vsize: 836848
[startup+450.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19759
Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 41529 58 0 0 25 0 10 0 837244210 856932352 25135 4294967295 134512640 134569956 3221224368 3221214264 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209212 25135 13086 16 0 209196 0
vsize: 836848
[startup+460.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19759
Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 42459 58 0 0 25 0 10 0 837244210 856932352 25195 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209212 25195 13086 16 0 209196 0
vsize: 836848
[startup+470.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19759
Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 43386 59 0 0 25 0 10 0 837244210 856932352 25223 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209212 25223 13086 16 0 209196 0
vsize: 836848
[startup+480.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19759
Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 44311 59 0 0 25 0 10 0 837244210 856932352 25283 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209212 25283 13086 16 0 209196 0
vsize: 836848
[startup+490.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19759
Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 45235 59 0 0 25 0 10 0 837244210 856932352 25310 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209212 25310 13086 16 0 209196 0
vsize: 836848
[startup+500.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19759
Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 46159 60 0 0 25 0 10 0 837244210 856932352 25370 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209212 25370 13086 16 0 209196 0
vsize: 836848
[startup+510.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19759
Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 47084 60 0 0 24 0 10 0 837244210 856932352 25396 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209212 25396 13086 16 0 209196 0
vsize: 836848
[startup+520.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19759
Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 48013 60 0 0 25 0 10 0 837244210 856932352 25455 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209212 25455 13086 16 0 209196 0
vsize: 836848
[startup+530.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19759
Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 48935 61 0 0 25 0 10 0 837244210 856932352 25481 4294967295 134512640 134569956 3221224368 3221214788 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209212 25481 13086 16 0 209196 0
vsize: 836848
[startup+540.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19759
Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 49858 61 0 0 25 0 10 0 837244210 856932352 25539 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209212 25539 13086 16 0 209196 0
vsize: 836848
[startup+550.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19759
Raw data (stat): 19695 (java) S 19694 4613 4612 0 -1 0 18023 0 1 0 50781 62 0 0 25 0 10 0 837244210 856932352 25595 4294967295 134512640 134569956 3221224368 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209212 25595 13086 16 0 209196 0
vsize: 836848
[startup+560.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19759
Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 51706 62 0 0 25 0 10 0 837244210 856932352 25620 4294967295 134512640 134569956 3221224368 3221214248 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209212 25620 13086 16 0 209196 0
vsize: 836848
[startup+570.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19761
Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 52626 63 0 0 25 0 10 0 837244210 856932352 25678 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209212 25678 13086 16 0 209196 0
vsize: 836848
[startup+580.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19761
Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 53548 64 0 0 25 0 10 0 837244210 856932352 25702 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209212 25702 13086 16 0 209196 0
vsize: 836848
[startup+590.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19761
Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 54473 64 0 0 25 0 10 0 837244210 856932352 25758 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209212 25758 13086 16 0 209196 0
vsize: 836848
[startup+600.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19761
Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 55396 64 0 0 25 0 10 0 837244210 856932352 25782 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209212 25782 13086 16 0 209196 0
vsize: 836848
[startup+610.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19761
Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 56316 65 0 0 25 0 10 0 837244210 856932352 25840 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209212 25840 13086 16 0 209196 0
vsize: 836848
[startup+620.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19761
Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 57241 65 0 0 25 0 10 0 837244210 856932352 25862 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209212 25862 13086 16 0 209196 0
vsize: 836848
[startup+630.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19761
Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 58160 65 0 0 25 0 10 0 837244210 856932352 25919 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209212 25919 13086 16 0 209196 0
vsize: 836848
[startup+640.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19761
Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 59080 66 0 0 25 0 10 0 837244210 856932352 25942 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209212 25942 13086 16 0 209196 0
vsize: 836848
[startup+650.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19761
Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 60005 66 0 0 25 0 10 0 837244210 856932352 25998 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209212 25998 13086 16 0 209196 0
vsize: 836848
[startup+660.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19761
Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 60925 67 0 0 25 0 10 0 837244210 856932352 26021 4294967295 134512640 134569956 3221224368 3221214788 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209212 26021 13086 16 0 209196 0
vsize: 836848
[startup+670.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19761
Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 61843 67 0 0 24 0 10 0 837244210 856932352 26044 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209212 26044 13086 16 0 209196 0
vsize: 836848
[startup+680.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19761
Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 62768 67 0 0 25 0 10 0 837244210 856932352 26099 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209212 26099 13086 16 0 209196 0
vsize: 836848
[startup+690.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19761
Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 63679 67 0 0 25 0 10 0 837244210 856932352 26673 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209212 26673 13086 16 0 209196 0
vsize: 836848
[startup+700.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19761
Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 64607 68 0 0 25 0 10 0 837244210 856932352 26673 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209212 26673 13086 16 0 209196 0
vsize: 836848
[startup+710.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19761
Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 65517 69 0 0 25 0 10 0 837244210 856932352 26677 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209212 26677 13086 16 0 209196 0
vsize: 836848
[startup+720.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19761
Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 66430 69 0 0 25 0 10 0 837244210 856932352 26732 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209212 26732 13086 16 0 209196 0
vsize: 836848
[startup+730.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19761
Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 67337 69 0 0 24 0 10 0 837244210 856932352 26754 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209212 26754 13086 16 0 209196 0
vsize: 836848
[startup+740.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19761
Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 68249 70 0 0 25 0 10 0 837244210 856932352 26808 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209212 26808 13086 16 0 209196 0
vsize: 836848
[startup+750.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19761
Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 69157 70 0 0 24 0 10 0 837244210 856932352 26829 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209212 26829 13086 16 0 209196 0
vsize: 836848
[startup+760.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19761
Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 70068 70 0 0 25 0 10 0 837244210 856932352 26881 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209212 26881 13086 16 0 209196 0
vsize: 836848
[startup+770.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19761
Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 70982 70 0 0 25 0 10 0 837244210 856932352 26902 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209212 26902 13086 16 0 209196 0
vsize: 836848
[startup+780.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19761
Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 71888 71 0 0 25 0 10 0 837244210 856932352 26923 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209212 26923 13086 16 0 209196 0
vsize: 836848
[startup+790.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19761
Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 72801 71 0 0 25 0 10 0 837244210 856932352 26976 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209212 26976 13086 16 0 209196 0
vsize: 836848
[startup+800.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19761
Raw data (stat): 19695 (java) S 19694 4613 4612 0 -1 0 18023 0 1 0 73709 72 0 0 25 0 10 0 837244210 856932352 26995 4294967295 134512640 134569956 3221224368 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209212 26995 13086 16 0 209196 0
vsize: 836848
[startup+810.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19761
Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 74617 72 0 0 25 0 10 0 837244210 856932352 27050 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209212 27050 13086 16 0 209196 0
vsize: 836848
[startup+820.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19761
Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 75528 72 0 0 25 0 10 0 837244210 856932352 27069 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209212 27069 13086 16 0 209196 0
vsize: 836848
[startup+830.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19761
Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 76432 73 0 0 25 0 10 0 837244210 856932352 27089 4294967295 134512640 134569956 3221224368 3221214264 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209212 27089 13086 16 0 209196 0
vsize: 836848
[startup+840.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19761
Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18025 0 1 0 77328 74 0 0 25 0 10 0 837244210 856932352 29307 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209212 29307 13086 16 0 209196 0
vsize: 836848
[startup+850.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19761
Raw data (stat): 19695 (java) S 19694 4613 4612 0 -1 0 18025 0 1 0 78212 74 0 0 25 0 10 0 837244210 856932352 29495 4294967295 134512640 134569956 3221224368 3221213488 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209212 29495 13086 16 0 209196 0
vsize: 836848
[startup+860.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19761
Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18025 0 1 0 79098 74 0 0 25 0 10 0 837244210 856932352 29749 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209212 29749 13086 16 0 209196 0
vsize: 836848
[startup+870.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19761
Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18025 0 1 0 79983 75 0 0 25 0 10 0 837244210 856932352 30070 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209212 30070 13086 16 0 209196 0
vsize: 836848
[startup+880.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19761
Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18025 0 1 0 80864 75 0 0 25 0 10 0 837244210 856932352 30513 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209212 30513 13086 16 0 209196 0
vsize: 836848
[startup+890.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19761
Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18025 0 1 0 81763 76 0 0 25 0 10 0 837244210 856932352 30684 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209212 30684 13086 16 0 209196 0
vsize: 836848
[startup+900.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19761
Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18025 0 1 0 82648 77 0 0 24 0 10 0 837244210 856932352 30711 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209212 30711 13086 16 0 209196 0
vsize: 836848
[startup+910.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19761
Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18025 0 1 0 83537 77 0 0 25 0 10 0 837244210 856932352 30821 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209212 30821 13086 16 0 209196 0
vsize: 836848
[startup+920.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19761
Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18025 0 1 0 84423 78 0 0 25 0 10 0 837244210 856932352 30940 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209212 30940 13086 16 0 209196 0
vsize: 836848
[startup+930.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19761
Raw data (stat): 19695 (java) S 19694 4613 4612 0 -1 0 18025 0 1 0 85315 78 0 0 25 0 10 0 837244210 856932352 31041 4294967295 134512640 134569956 3221224368 3221213488 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209212 31041 13086 16 0 209196 0
vsize: 836848
[startup+940.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19761
Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18025 0 1 0 86201 79 0 0 25 0 10 0 837244210 856932352 31225 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209212 31225 13086 16 0 209196 0
vsize: 836848
[startup+950.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19761
Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18025 0 1 0 87089 79 0 0 25 0 10 0 837244210 856932352 31380 4294967295 134512640 134569956 3221224368 3221214264 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209212 31380 13086 16 0 209196 0
vsize: 836848
[startup+960.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19761
Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18025 0 1 0 87984 80 0 0 21 0 10 0 837244210 856932352 31470 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209212 31470 13086 16 0 209196 0
vsize: 836848
[startup+970.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19761
Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18025 0 1 0 88866 80 0 0 17 0 10 0 837244210 856932352 31734 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209212 31734 13086 16 0 209196 0
vsize: 836848
[startup+980.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19761
Raw data (stat): 19695 (java) S 19694 4613 4612 0 -1 0 18025 0 1 0 89765 81 0 0 23 0 10 0 837244210 856932352 31887 4294967295 134512640 134569956 3221224368 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209212 31887 13086 16 0 209196 0
vsize: 836848
[startup+990.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19761
Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18025 0 1 0 90659 81 0 0 20 0 10 0 837244210 856932352 31958 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209212 31958 13086 16 0 209196 0
vsize: 836848
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19761
Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18025 0 1 0 91544 81 0 0 18 0 10 0 837244210 856932352 32079 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209212 32079 13086 16 0 209196 0
vsize: 836848
[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19761
Raw data (stat): 19695 (java) S 19694 4613 4612 0 -1 0 18025 0 1 0 92430 83 0 0 25 0 10 0 837244210 856932352 33378 4294967295 134512640 134569956 3221224368 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209212 33378 13086 16 0 209196 0
vsize: 836848
[startup+1020.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19761
Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18025 0 1 0 93339 84 0 0 24 0 10 0 837244210 856932352 33378 4294967295 134512640 134569956 3221224368 3221214796 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209212 33378 13086 16 0 209196 0
vsize: 836848
[startup+1030.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19761
Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18025 0 1 0 94242 84 0 0 25 0 10 0 837244210 856932352 33416 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209212 33416 13086 16 0 209196 0
vsize: 836848
[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19761
Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18025 0 1 0 95128 84 0 0 25 0 10 0 837244210 856932352 33598 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209212 33598 13086 16 0 209196 0
vsize: 836848
[startup+1050.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 19761
Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18025 0 1 0 96039 86 0 0 25 0 10 0 837244210 856932352 33744 4294967295 134512640 134569956 3221224368 3221214248 1131206036 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209212 33744 13086 16 0 209196 0
vsize: 836848
[startup+1057.54 s]
Raw data (loadavg): 1.00 1.00 1.00 1/53 19762
Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18025 0 1 0 96039 86 0 0 25 0 10 0 837244210 856932352 33744 4294967295 134512640 134569956 3221224368 3221214248 1131206036 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209212 33744 13086 16 0 209196 0
vsize: 0

Child status: 20
Real time (s): 1057.54
CPU time (s): 1061.74
CPU user time (s): 1060.21
CPU system time (s): 1.52177
CPU usage (%): 100.397
Max. virtual memory (Kb): 837008
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####