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-standata.opb
MD5SUMd5b771efe8f3bc863eeca85beb6d9cd6
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 140
Biggest coefficient in the objective function 52428800
Number of bits for the biggest coefficient in the objective function 26
Sum of the numbers in the objective function 318766800
Number of bits of the sum of numbers in the objective function 29
Biggest number in a constraint 75573493760
Number of bits of the biggest number in a constraint 37
Biggest sum of numbers in a constraint 2374370081400
Number of bits of the biggest sum of numbers42
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1.05684
Number of variables20142
Total number of constraints462
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 constraints462
Minimum length of a constraint8
Maximum length of a constraint14900

Trace number 29889

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-05-25 12:25:04 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21282 boxname=wulflinc1 idbench=1270 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  d5b771efe8f3bc863eeca85beb6d9cd6  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-standata.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-standata.opb
IDLAUNCH: 21282
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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	: 2
cpu MHz		: 451.053
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:        669056 kB
Buffers:         32028 kB
Cached:         303932 kB
SwapCached:       3972 kB
Active:          71292 kB
Inactive:       271516 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        668804 kB
SwapTotal:     2097136 kB
SwapFree:      2092844 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6960 kB
Slab:            17076 kB
Committed_AS:    92720 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 12:45:47 (client local time) WITH STATUS 143 IN 1238.57 SECONDS
stats: 21282 7 1238.57 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/wulflinc1/normalized-mps-v2-13-7-standata.opb
c reading problem ... done. Time 119.862 ms.
c #vars     20142
c #constraints  615
c starts	: 1
c conflicts	: 59
c decisions	: 8444
c propagations	: 20520
c inspects	: 38449
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 58
c root simplifications	: 2
s UNKNOWN
c Total CPU time (ms) : 1239.002
#### 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.92 0.97 0.99 2/55 21686
Raw data (stat): 21686 (runsolver) R 21685 8378 8377 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 723782525 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.001 s]
Raw data (loadavg): 1.01 0.98 0.99 2/64 21695
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18017 0 1 0 829 37 0 0 25 0 10 0 723782525 855822336 20037 4294967295 134512640 134569956 3221224368 3221214656 1131217037 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208941 20037 13086 16 0 208925 0
vsize: 835764
[startup+20.0038 s]
Raw data (loadavg): 1.00 0.98 0.99 2/64 21695
Raw data (stat): 21686 (java) S 21685 8378 8377 0 -1 0 18017 0 1 0 1709 38 0 0 25 0 10 0 723782525 855822336 20659 4294967295 134512640 134569956 3221224368 3221213712 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208941 20659 13086 16 0 208925 0
vsize: 835764
[startup+30.0036 s]
Raw data (loadavg): 1.08 1.00 1.00 2/64 21695
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18017 0 1 0 2584 38 0 0 25 0 10 0 723782525 855822336 21127 4294967295 134512640 134569956 3221224368 3221214472 1077558368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208941 21127 13086 16 0 208925 0
vsize: 835764
[startup+40.0051 s]
Raw data (loadavg): 1.07 1.00 1.00 2/64 21695
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18017 0 1 0 3482 38 0 0 25 0 10 0 723782525 855822336 21503 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208941 21503 13086 16 0 208925 0
vsize: 835764
[startup+50.0053 s]
Raw data (loadavg): 1.06 1.00 1.00 2/64 21695
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18017 0 1 0 4387 38 0 0 19 0 10 0 723782525 855822336 21739 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208941 21739 13086 16 0 208925 0
vsize: 835764
[startup+60.005 s]
Raw data (loadavg): 1.05 1.00 1.00 2/64 21695
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18017 0 1 0 5296 39 0 0 23 0 10 0 723782525 855822336 21926 4294967295 134512640 134569956 3221224368 3221214776 1131337976 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208941 21926 13086 16 0 208925 0
vsize: 835764
[startup+70.0058 s]
Raw data (loadavg): 1.04 1.00 1.00 2/64 21695
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18017 0 1 0 6213 39 0 0 25 0 10 0 723782525 855822336 22153 4294967295 134512640 134569956 3221224368 3221214224 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208941 22153 13086 16 0 208925 0
vsize: 835764
[startup+80.0067 s]
Raw data (loadavg): 1.04 1.00 1.00 2/64 21695
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18017 0 1 0 7137 39 0 0 25 0 10 0 723782525 855822336 22306 4294967295 134512640 134569956 3221224368 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208941 22306 13086 16 0 208925 0
vsize: 835764
[startup+90.0073 s]
Raw data (loadavg): 1.03 1.00 1.00 2/64 21695
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18017 0 1 0 8068 40 0 0 25 0 10 0 723782525 855822336 22436 4294967295 134512640 134569956 3221224368 3221214056 1131319217 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208941 22436 13086 16 0 208925 0
vsize: 835764
[startup+100.007 s]
Raw data (loadavg): 1.02 1.00 1.00 2/64 21695
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18017 0 1 0 8997 40 0 0 25 0 10 0 723782525 855822336 22551 4294967295 134512640 134569956 3221224368 3221214224 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208941 22551 13086 16 0 208925 0
vsize: 835764
[startup+110.007 s]
Raw data (loadavg): 1.02 1.00 1.00 2/64 21695
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18017 0 1 0 9916 40 0 0 25 0 10 0 723782525 855822336 22662 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208941 22662 13086 16 0 208925 0
vsize: 835764
[startup+120.008 s]
Raw data (loadavg): 1.02 1.00 1.00 2/64 21695
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18017 0 1 0 10834 41 0 0 25 0 10 0 723782525 855822336 22859 4294967295 134512640 134569956 3221224368 3221213696 1131266815 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208941 22859 13086 16 0 208925 0
vsize: 835764
[startup+130.007 s]
Raw data (loadavg): 1.01 1.00 1.00 2/65 21696
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18076 0 1 0 11745 41 0 0 25 0 11 0 723782525 856350720 23774 4294967295 134512640 134569956 3221224368 3221214572 1131426208 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209070 23774 13086 16 0 209054 0
vsize: 836280
[startup+140.008 s]
Raw data (loadavg): 1.01 1.00 1.00 2/65 21696
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18076 0 1 0 12745 41 0 0 25 0 11 0 723782525 856350720 23774 4294967295 134512640 134569956 3221224368 3221214576 1131426868 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209070 23774 13086 16 0 209054 0
vsize: 836280
[startup+150.009 s]
Raw data (loadavg): 1.01 1.00 1.00 2/65 21696
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18076 0 1 0 13698 42 0 0 20 0 11 0 723782525 856350720 24786 4294967295 134512640 134569956 3221224368 3221214576 1131329653 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209070 24786 13086 16 0 209054 0
vsize: 836280
[startup+160.01 s]
Raw data (loadavg): 1.01 1.00 1.00 2/65 21696
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18076 0 1 0 14654 42 0 0 25 0 11 0 723782525 856350720 24786 4294967295 134512640 134569956 3221224368 3221214672 1131363993 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209070 24786 13086 16 0 209054 0
vsize: 836280
[startup+170.011 s]
Raw data (loadavg): 1.01 1.00 1.00 2/65 21696
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18076 0 1 0 15607 42 0 0 25 0 11 0 723782525 856350720 24786 4294967295 134512640 134569956 3221224368 3221214584 1131201414 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209070 24786 13086 16 0 209054 0
vsize: 836280
[startup+180.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21696
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18077 0 1 0 16578 42 0 0 25 0 11 0 723782525 856350720 25041 4294967295 134512640 134569956 3221224368 3221214672 1131365300 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209070 25041 13086 16 0 209054 0
vsize: 836280
[startup+190.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21696
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18077 0 1 0 17572 43 0 0 25 0 11 0 723782525 856350720 25041 4294967295 134512640 134569956 3221224368 3221214584 1131201433 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209070 25041 13086 16 0 209054 0
vsize: 836280
[startup+200.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21696
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18077 0 1 0 18566 43 0 0 25 0 11 0 723782525 856350720 25041 4294967295 134512640 134569956 3221224368 3221214576 1131329547 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209070 25041 13086 16 0 209054 0
vsize: 836280
[startup+210.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21696
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18077 0 1 0 19560 43 0 0 25 0 11 0 723782525 856350720 25041 4294967295 134512640 134569956 3221224368 3221214672 1131366440 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209070 25041 13086 16 0 209054 0
vsize: 836280
[startup+220.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21696
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18077 0 1 0 20553 43 0 0 25 0 11 0 723782525 856350720 25041 4294967295 134512640 134569956 3221224368 3221214576 1131329430 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209070 25041 13086 16 0 209054 0
vsize: 836280
[startup+230.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21696
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18077 0 1 0 21548 44 0 0 25 0 11 0 723782525 856350720 25041 4294967295 134512640 134569956 3221224368 3221214576 1131329712 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209070 25041 13086 16 0 209054 0
vsize: 836280
[startup+240.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21696
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18077 0 1 0 22545 44 0 0 25 0 11 0 723782525 856350720 25042 4294967295 134512640 134569956 3221224368 3221214576 1131329422 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209070 25042 13086 16 0 209054 0
vsize: 836280
[startup+250.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21696
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18077 0 1 0 23538 44 0 0 25 0 11 0 723782525 856350720 25047 4294967295 134512640 134569956 3221224368 3221214736 1131402047 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209070 25047 13086 16 0 209054 0
vsize: 836280
[startup+260.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21696
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18077 0 1 0 24498 44 0 0 25 0 11 0 723782525 856350720 25052 4294967295 134512640 134569956 3221224368 3221214600 1131329441 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209070 25052 13086 16 0 209054 0
vsize: 836280
[startup+270.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21696
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18077 0 1 0 25465 44 0 0 25 0 11 0 723782525 856350720 25052 4294967295 134512640 134569956 3221224368 3221214632 1131294048 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209070 25052 13086 16 0 209054 0
vsize: 836280
[startup+280.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21696
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18077 0 1 0 26440 44 0 0 25 0 11 0 723782525 856350720 25052 4294967295 134512640 134569956 3221224368 3221214672 1131369454 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209070 25052 13086 16 0 209054 0
vsize: 836280
[startup+290.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21696
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18077 0 1 0 27402 44 0 0 25 0 11 0 723782525 856350720 25052 4294967295 134512640 134569956 3221224368 3221214672 1131369820 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209070 25052 13086 16 0 209054 0
vsize: 836280
[startup+300.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21696
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18077 0 1 0 28388 45 0 0 25 0 11 0 723782525 856350720 25305 4294967295 134512640 134569956 3221224368 3221214672 1131369820 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209070 25305 13086 16 0 209054 0
vsize: 836280
[startup+310.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21696
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18077 0 1 0 29385 45 0 0 25 0 11 0 723782525 856350720 25308 4294967295 134512640 134569956 3221224368 3221214576 1131325549 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209070 25308 13086 16 0 209054 0
vsize: 836280
[startup+320.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21696
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18080 0 1 0 30380 45 0 0 25 0 11 0 723782525 856350720 25312 4294967295 134512640 134569956 3221224368 3221214672 1131363993 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209070 25312 13086 16 0 209054 0
vsize: 836280
[startup+330.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21696
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18080 0 1 0 31376 45 0 0 25 0 11 0 723782525 856350720 25318 4294967295 134512640 134569956 3221224368 3221214576 1131329441 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209070 25318 13086 16 0 209054 0
vsize: 836280
[startup+340.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21696
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18080 0 1 0 32370 45 0 0 25 0 11 0 723782525 856350720 25318 4294967295 134512640 134569956 3221224368 3221214664 1131184039 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209070 25318 13086 16 0 209054 0
vsize: 836280
[startup+350.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21696
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18080 0 1 0 33365 45 0 0 25 0 11 0 723782525 856350720 25321 4294967295 134512640 134569956 3221224368 3221214672 1131363711 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209070 25321 13086 16 0 209054 0
vsize: 836280
[startup+360.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21696
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18080 0 1 0 34360 46 0 0 25 0 11 0 723782525 856350720 25338 4294967295 134512640 134569956 3221224368 3221214672 1131363921 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209070 25338 13086 16 0 209054 0
vsize: 836280
[startup+370.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21696
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18080 0 1 0 35356 46 0 0 25 0 11 0 723782525 856350720 25346 4294967295 134512640 134569956 3221224368 3221214672 1131366489 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209070 25346 13086 16 0 209054 0
vsize: 836280
[startup+380.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21696
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18080 0 1 0 36347 46 0 0 25 0 11 0 723782525 856350720 25346 4294967295 134512640 134569956 3221224368 3221214632 1131251306 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209070 25346 13086 16 0 209054 0
vsize: 836280
[startup+390.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21696
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18080 0 1 0 37311 47 0 0 24 0 11 0 723782525 856350720 25346 4294967295 134512640 134569956 3221224368 3221214600 1131329687 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209070 25346 13086 16 0 209054 0
vsize: 836280
[startup+400.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21696
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18080 0 1 0 38247 47 0 0 24 0 11 0 723782525 856350720 25346 4294967295 134512640 134569956 3221224368 3221214592 1131251304 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209070 25346 13086 16 0 209054 0
vsize: 836280
[startup+410.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21696
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18080 0 1 0 39226 47 0 0 25 0 11 0 723782525 856350720 25346 4294967295 134512640 134569956 3221224368 3221214672 1131369454 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209070 25346 13086 16 0 209054 0
vsize: 836280
[startup+420.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21696
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18080 0 1 0 40197 47 0 0 25 0 11 0 723782525 856350720 25354 4294967295 134512640 134569956 3221224368 3221214736 1131402558 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209070 25354 13086 16 0 209054 0
vsize: 836280
[startup+430.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21696
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18080 0 1 0 41178 48 0 0 25 0 11 0 723782525 856350720 25354 4294967295 134512640 134569956 3221224368 3221214544 1131317041 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209070 25354 13086 16 0 209054 0
vsize: 836280
[startup+440.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21696
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18080 0 1 0 42160 48 0 0 25 0 11 0 723782525 856350720 25354 4294967295 134512640 134569956 3221224368 3221214608 1131327822 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209070 25354 13086 16 0 209054 0
vsize: 836280
[startup+450.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21696
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18080 0 1 0 43109 48 0 0 25 0 11 0 723782525 856350720 25612 4294967295 134512640 134569956 3221224368 3221214672 1131365125 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209070 25612 13086 16 0 209054 0
vsize: 836280
[startup+460.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21696
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18080 0 1 0 44082 48 0 0 25 0 11 0 723782525 856350720 25612 4294967295 134512640 134569956 3221224368 3221214736 1131403529 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209070 25612 13086 16 0 209054 0
vsize: 836280
[startup+470.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21696
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18080 0 1 0 45066 48 0 0 25 0 11 0 723782525 856350720 25612 4294967295 134512640 134569956 3221224368 3221214568 1131467459 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209070 25612 13086 16 0 209054 0
vsize: 836280
[startup+480.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21696
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 46040 48 0 0 25 0 11 0 723782525 856350720 25613 4294967295 134512640 134569956 3221224368 3221214544 1131316846 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209070 25613 13086 16 0 209054 0
vsize: 836280
[startup+490.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21696
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 47026 49 0 0 25 0 11 0 723782525 856350720 25613 4294967295 134512640 134569956 3221224368 3221214576 1131325559 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209070 25613 13086 16 0 209054 0
vsize: 836280
[startup+500.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21696
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 47986 49 0 0 25 0 11 0 723782525 856350720 25927 4294967295 134512640 134569956 3221224368 3221214736 1131403634 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209070 25927 13086 16 0 209054 0
vsize: 836280
[startup+510.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21696
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 48972 49 0 0 25 0 11 0 723782525 856350720 25927 4294967295 134512640 134569956 3221224368 3221214708 1130885154 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209070 25927 13086 16 0 209054 0
vsize: 836280
[startup+520.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21696
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 49946 49 0 0 25 0 11 0 723782525 856350720 25927 4294967295 134512640 134569956 3221224368 3221214576 1131329719 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209070 25927 13086 16 0 209054 0
vsize: 836280
[startup+530.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21696
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 50897 49 0 0 25 0 11 0 723782525 856350720 25932 4294967295 134512640 134569956 3221224368 3221214736 1131402047 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209070 25932 13086 16 0 209054 0
vsize: 836280
[startup+540.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21696
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 51876 49 0 0 25 0 11 0 723782525 856350720 25932 4294967295 134512640 134569956 3221224368 3221214736 1131402395 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209070 25932 13086 16 0 209054 0
vsize: 836280
[startup+550.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21696
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 52842 49 0 0 25 0 11 0 723782525 856350720 25932 4294967295 134512640 134569956 3221224368 3221214608 1131327857 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209070 25932 13086 16 0 209054 0
vsize: 836280
[startup+560.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21696
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 53812 49 0 0 25 0 11 0 723782525 856350720 26185 4294967295 134512640 134569956 3221224368 3221214664 1131184046 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209070 26185 13086 16 0 209054 0
vsize: 836280
[startup+570.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21696
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 54764 50 0 0 25 0 11 0 723782525 856350720 26194 4294967295 134512640 134569956 3221224368 3221214736 1131402572 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209070 26194 13086 16 0 209054 0
vsize: 836280
[startup+580.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21696
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 55730 50 0 0 25 0 11 0 723782525 856350720 26194 4294967295 134512640 134569956 3221224368 3221214568 1131467545 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209070 26194 13086 16 0 209054 0
vsize: 836280
[startup+590.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21696
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 56688 50 0 0 24 0 11 0 723782525 856350720 26446 4294967295 134512640 134569956 3221224368 3221214696 1131482813 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209070 26446 13086 16 0 209054 0
vsize: 836280
[startup+600.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21696
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 57668 50 0 0 25 0 11 0 723782525 856350720 26733 4294967295 134512640 134569956 3221224368 3221214672 1131369372 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209070 26733 13086 16 0 209054 0
vsize: 836280
[startup+610.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21696
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 58639 51 0 0 25 0 11 0 723782525 856350720 26733 4294967295 134512640 134569956 3221224368 3221214640 1131329441 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209070 26733 13086 16 0 209054 0
vsize: 836280
[startup+620.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21696
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 59617 51 0 0 25 0 11 0 723782525 856350720 26733 4294967295 134512640 134569956 3221224368 3221214736 1131402816 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209070 26733 13086 16 0 209054 0
vsize: 836280
[startup+630.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21696
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 60601 51 0 0 25 0 11 0 723782525 856350720 26733 4294967295 134512640 134569956 3221224368 3221214632 1131294104 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209070 26733 13086 16 0 209054 0
vsize: 836280
[startup+640.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21696
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 61567 51 0 0 25 0 11 0 723782525 856350720 26733 4294967295 134512640 134569956 3221224368 3221214576 1131326212 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209070 26733 13086 16 0 209054 0
vsize: 836280
[startup+650.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21696
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 62521 52 0 0 25 0 11 0 723782525 856350720 26817 4294967295 134512640 134569956 3221224368 3221214736 1131402159 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209070 26817 13086 16 0 209054 0
vsize: 836280
[startup+660.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21696
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 63500 52 0 0 25 0 11 0 723782525 856350720 26817 4294967295 134512640 134569956 3221224368 3221213536 1131196030 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209070 26817 13086 16 0 209054 0
vsize: 836280
[startup+670.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21696
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 64475 52 0 0 25 0 11 0 723782525 856350720 27079 4294967295 134512640 134569956 3221224368 3221214576 1131331126 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209070 27079 13086 16 0 209054 0
vsize: 836280
[startup+680.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21696
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 65417 52 0 0 25 0 11 0 723782525 856350720 27092 4294967295 134512640 134569956 3221224368 3221214736 1131402558 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209070 27092 13086 16 0 209054 0
vsize: 836280
[startup+690.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21696
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 66397 52 0 0 25 0 11 0 723782525 856350720 27092 4294967295 134512640 134569956 3221224368 3221214536 1131249392 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209070 27092 13086 16 0 209054 0
vsize: 836280
[startup+700.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21696
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 67386 52 0 0 25 0 11 0 723782525 856350720 27092 4294967295 134512640 134569956 3221224368 3221214640 1131443758 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209070 27092 13086 16 0 209054 0
vsize: 836280
[startup+710.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21696
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 68297 53 0 0 25 0 11 0 723782525 856350720 27092 4294967295 134512640 134569956 3221224368 3221214736 1131403134 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209070 27092 13086 16 0 209054 0
vsize: 836280
[startup+720.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21696
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 69273 53 0 0 25 0 11 0 723782525 856350720 27381 4294967295 134512640 134569956 3221224368 3221214568 1131467491 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209070 27381 13086 16 0 209054 0
vsize: 836280
[startup+730.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21696
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 70232 53 0 0 25 0 11 0 723782525 856350720 27634 4294967295 134512640 134569956 3221224368 3221214616 1131399625 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209070 27634 13086 16 0 209054 0
vsize: 836280
[startup+740.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21696
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 71209 53 0 0 25 0 11 0 723782525 856350720 27906 4294967295 134512640 134569956 3221224368 3221214672 1131363928 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209070 27906 13086 16 0 209054 0
vsize: 836280
[startup+750.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21696
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 72189 53 0 0 25 0 11 0 723782525 856350720 27906 4294967295 134512640 134569956 3221224368 3221214736 1131402558 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209070 27906 13086 16 0 209054 0
vsize: 836280
[startup+760.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21696
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 73177 53 0 0 25 0 11 0 723782525 856350720 27906 4294967295 134512640 134569956 3221224368 3221214768 1131430752 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209070 27906 13086 16 0 209054 0
vsize: 836280
[startup+770.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21696
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 74158 53 0 0 25 0 11 0 723782525 856350720 27909 4294967295 134512640 134569956 3221224368 3221214576 1131329401 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209070 27909 13086 16 0 209054 0
vsize: 836280
[startup+780.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21696
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 75083 53 0 0 25 0 11 0 723782525 856350720 27919 4294967295 134512640 134569956 3221224368 3221214672 1131369268 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209070 27919 13086 16 0 209054 0
vsize: 836280
[startup+790.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21696
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 76008 53 0 0 25 0 11 0 723782525 856350720 28179 4294967295 134512640 134569956 3221224368 3221214576 1131329617 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209070 28179 13086 16 0 209054 0
vsize: 836280
[startup+800.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21696
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 76976 53 0 0 25 0 11 0 723782525 856350720 28198 4294967295 134512640 134569956 3221224368 3221214736 1131402374 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209070 28198 13086 16 0 209054 0
vsize: 836280
[startup+810.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21696
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 77952 53 0 0 25 0 11 0 723782525 856350720 28198 4294967295 134512640 134569956 3221224368 3221214632 1131294078 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209070 28198 13086 16 0 209054 0
vsize: 836280
[startup+820.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21696
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 78910 53 0 0 25 0 11 0 723782525 856350720 28577 4294967295 134512640 134569956 3221224368 3221214672 1131363993 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209070 28577 13086 16 0 209054 0
vsize: 836280
[startup+830.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21696
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 79877 53 0 0 25 0 11 0 723782525 856350720 28577 4294967295 134512640 134569956 3221224368 3221214576 1131329578 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209070 28577 13086 16 0 209054 0
vsize: 836280
[startup+840.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21696
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 80840 53 0 0 24 0 11 0 723782525 856350720 28577 4294967295 134512640 134569956 3221224368 3221214576 1131325685 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209070 28577 13086 16 0 209054 0
vsize: 836280
[startup+850.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21696
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 81823 54 0 0 25 0 11 0 723782525 856350720 28834 4294967295 134512640 134569956 3221224368 3221214576 1131329430 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209070 28834 13086 16 0 209054 0
vsize: 836280
[startup+860.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21696
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 82820 54 0 0 25 0 11 0 723782525 856350720 28834 4294967295 134512640 134569956 3221224368 3221214672 1131363928 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209070 28834 13086 16 0 209054 0
vsize: 836280
[startup+870.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21696
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 83817 54 0 0 25 0 11 0 723782525 856350720 28837 4294967295 134512640 134569956 3221224368 3221214672 1131366104 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209070 28837 13086 16 0 209054 0
vsize: 836280
[startup+880.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21696
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 84813 54 0 0 25 0 11 0 723782525 856350720 28840 4294967295 134512640 134569956 3221224368 3221214672 1131366104 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209070 28840 13086 16 0 209054 0
vsize: 836280
[startup+890.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21696
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 85811 54 0 0 25 0 11 0 723782525 856350720 28840 4294967295 134512640 134569956 3221224368 3221214672 1131366104 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209070 28840 13086 16 0 209054 0
vsize: 836280
[startup+900.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21696
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 86807 54 0 0 25 0 11 0 723782525 856350720 28840 4294967295 134512640 134569956 3221224368 3221214672 1131366463 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209070 28840 13086 16 0 209054 0
vsize: 836280
[startup+910.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21696
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 87802 54 0 0 25 0 11 0 723782525 856350720 28840 4294967295 134512640 134569956 3221224368 3221214576 1131331148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209070 28840 13086 16 0 209054 0
vsize: 836280
[startup+920.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21696
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 88796 54 0 0 25 0 11 0 723782525 856350720 28840 4294967295 134512640 134569956 3221224368 3221214576 1131330689 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209070 28840 13086 16 0 209054 0
vsize: 836280
[startup+930.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21696
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 89792 54 0 0 25 0 11 0 723782525 856350720 28840 4294967295 134512640 134569956 3221224368 3221214576 1131325590 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209070 28840 13086 16 0 209054 0
vsize: 836280
[startup+940.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21696
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 90788 55 0 0 25 0 11 0 723782525 856350720 28854 4294967295 134512640 134569956 3221224368 3221214576 1131331129 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209070 28854 13086 16 0 209054 0
vsize: 836280
[startup+950.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21696
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 91786 55 0 0 25 0 11 0 723782525 856350720 28854 4294967295 134512640 134569956 3221224368 3221214576 1131329687 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209070 28854 13086 16 0 209054 0
vsize: 836280
[startup+960.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21696
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 92782 55 0 0 25 0 11 0 723782525 856350720 28854 4294967295 134512640 134569956 3221224368 3221214664 1131184039 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209070 28854 13086 16 0 209054 0
vsize: 836280
[startup+970.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21696
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 93778 55 0 0 25 0 11 0 723782525 856350720 28854 4294967295 134512640 134569956 3221224368 3221214576 1131331094 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209070 28854 13086 16 0 209054 0
vsize: 836280
[startup+980.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21696
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 94775 55 0 0 25 0 11 0 723782525 856350720 28854 4294967295 134512640 134569956 3221224368 3221214576 1131330689 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209070 28854 13086 16 0 209054 0
vsize: 836280
[startup+990.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21696
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 95772 55 0 0 25 0 11 0 723782525 856350720 28857 4294967295 134512640 134569956 3221224368 3221214576 1131329430 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209070 28857 13086 16 0 209054 0
vsize: 836280
[startup+1000.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21696
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 96769 55 0 0 25 0 11 0 723782525 856350720 28857 4294967295 134512640 134569956 3221224368 3221214672 1131369014 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209070 28857 13086 16 0 209054 0
vsize: 836280
[startup+1010.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21696
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 97764 55 0 0 25 0 11 0 723782525 856350720 28857 4294967295 134512640 134569956 3221224368 3221214576 1131330114 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209070 28857 13086 16 0 209054 0
vsize: 836280
[startup+1020.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21696
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 98760 56 0 0 25 0 11 0 723782525 856350720 28857 4294967295 134512640 134569956 3221224368 3221214672 1131363901 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209070 28857 13086 16 0 209054 0
vsize: 836280
[startup+1030.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21696
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 99755 56 0 0 25 0 11 0 723782525 856350720 28857 4294967295 134512640 134569956 3221224368 3221214672 1131366067 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209070 28857 13086 16 0 209054 0
vsize: 836280
[startup+1040.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21696
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 100751 56 0 0 25 0 11 0 723782525 856350720 28857 4294967295 134512640 134569956 3221224368 3221214672 1131369372 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209070 28857 13086 16 0 209054 0
vsize: 836280
[startup+1050.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21696
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 101747 57 0 0 25 0 11 0 723782525 856350720 28866 4294967295 134512640 134569956 3221224368 3221214736 1131402322 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209070 28866 13086 16 0 209054 0
vsize: 836280
[startup+1060.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21696
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 102725 57 0 0 24 0 11 0 723782525 856350720 28866 4294967295 134512640 134569956 3221224368 3221214600 1131329566 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209070 28866 13086 16 0 209054 0
vsize: 836280
[startup+1070.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21696
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18081 0 1 0 103686 57 0 0 25 0 11 0 723782525 856350720 28867 4294967295 134512640 134569956 3221224368 3221214696 1131483146 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209070 28867 13086 16 0 209054 0
vsize: 836280
[startup+1080.02 s]
Raw data (loadavg): 1.00 1.00 1.00 3/65 21696
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18082 0 1 0 104663 58 0 0 25 0 11 0 723782525 856514560 28885 4294967295 134512640 134569956 3221224368 3221214672 1131365300 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209110 28885 13086 16 0 209094 0
vsize: 836440
[startup+1090.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21696
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18082 0 1 0 105617 58 0 0 25 0 11 0 723782525 857022464 29024 4294967295 134512640 134569956 3221224368 3221214576 1131329422 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209234 29024 13086 16 0 209218 0
vsize: 836936
[startup+1100.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21696
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18082 0 1 0 106571 58 0 0 25 0 11 0 723782525 857022464 29279 4294967295 134512640 134569956 3221224368 3221214672 1131363730 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209234 29279 13086 16 0 209218 0
vsize: 836936
[startup+1110.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21696
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18082 0 1 0 107553 58 0 0 25 0 11 0 723782525 857022464 29279 4294967295 134512640 134569956 3221224368 3221214664 1131184060 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209234 29279 13086 16 0 209218 0
vsize: 836936
[startup+1120.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21696
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18082 0 1 0 108545 58 0 0 25 0 11 0 723782525 857022464 29366 4294967295 134512640 134569956 3221224368 3221214584 1131201437 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209234 29366 13086 16 0 209218 0
vsize: 836936
[startup+1130.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21696
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18082 0 1 0 109543 58 0 0 25 0 11 0 723782525 857022464 29367 4294967295 134512640 134569956 3221224368 3221214480 1131492955 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209234 29367 13086 16 0 209218 0
vsize: 836936
[startup+1140.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21696
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18082 0 1 0 110540 58 0 0 25 0 11 0 723782525 857022464 29367 4294967295 134512640 134569956 3221224368 3221214480 1131492678 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209234 29367 13086 16 0 209218 0
vsize: 836936
[startup+1150.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21696
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18082 0 1 0 111539 58 0 0 25 0 11 0 723782525 857022464 29367 4294967295 134512640 134569956 3221224368 3221214480 1131492686 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209234 29367 13086 16 0 209218 0
vsize: 836936
[startup+1160.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21696
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18082 0 1 0 112537 58 0 0 25 0 11 0 723782525 857022464 29367 4294967295 134512640 134569956 3221224368 3221214480 1131493039 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209234 29367 13086 16 0 209218 0
vsize: 836936
[startup+1170.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21696
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18082 0 1 0 113535 58 0 0 25 0 11 0 723782525 857022464 29367 4294967295 134512640 134569956 3221224368 3221214480 1131493051 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209234 29367 13086 16 0 209218 0
vsize: 836936
[startup+1180.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21696
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18082 0 1 0 114530 58 0 0 25 0 11 0 723782525 856350720 29227 4294967295 134512640 134569956 3221224368 3221214600 1131193689 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209070 29227 13086 16 0 209054 0
vsize: 836280
[startup+1190.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21696
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18082 0 1 0 115523 58 0 0 25 0 11 0 723782525 856350720 29227 4294967295 134512640 134569956 3221224368 3221214584 1131428571 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209070 29227 13086 16 0 209054 0
vsize: 836280
[startup+1200.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21696
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18082 0 1 0 116517 58 0 0 25 0 11 0 723782525 856350720 29232 4294967295 134512640 134569956 3221224368 3221214624 1131547240 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209070 29232 13086 16 0 209054 0
vsize: 836280
[startup+1210.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21696
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18082 0 1 0 117513 58 0 0 25 0 11 0 723782525 856350720 29233 4294967295 134512640 134569956 3221224368 3221214480 1131492743 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209070 29233 13086 16 0 209054 0
vsize: 836280
[startup+1220.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21696
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18082 0 1 0 118506 58 0 0 25 0 11 0 723782525 856350720 29233 4294967295 134512640 134569956 3221224368 3221214480 1131251306 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209070 29233 13086 16 0 209054 0
vsize: 836280
[startup+1230.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21696
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18082 0 1 0 119503 58 0 0 25 0 11 0 723782525 856350720 29233 4294967295 134512640 134569956 3221224368 3221214624 1131547104 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209070 29233 13086 16 0 209054 0
vsize: 836280
[startup+1240.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 21696
Raw data (stat): 21686 (java) R 21685 8378 8377 0 -1 0 18082 0 1 0 120500 58 0 0 25 0 11 0 723782525 856350720 29233 4294967295 134512640 134569956 3221224368 3221214620 1131400804 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209070 29233 13086 16 0 209054 0
vsize: 836280
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.12 s]
Raw data (loadavg): 1.00 1.00 1.00 1/55 21698
Raw data (stat): 21686 (java) Z 21685 8378 8377 0 -1 1036 18082 10218 1 0 120503 58 3263 31 25 0 1 0 723782525 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): 1240.12
CPU time (s): 1238.57
CPU user time (s): 1237.67
CPU system time (s): 0.902862
CPU usage (%): 99.8749
Max. virtual memory (Kb): 836936
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####