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-scfxm1.opb
MD5SUM9724b70be00612c57ff3bed741e4e1b9
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 460
Biggest coefficient in the objective function 5242880
Number of bits for the biggest coefficient in the objective function 23
Sum of the numbers in the objective function 137363325
Number of bits of the sum of numbers in the objective function 28
Biggest number in a constraint 52428800000
Number of bits of the biggest number in a constraint 36
Biggest sum of numbers in a constraint 319170501375
Number of bits of the biggest sum of numbers39
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.357944
Number of variables9140
Total number of constraints330
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 constraints330
Minimum length of a constraint20
Maximum length of a constraint1140

Trace number 29862

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        655024 kB
Buffers:         34572 kB
Cached:         324344 kB
SwapCached:        600 kB
Active:          73896 kB
Inactive:       287400 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        654772 kB
SwapTotal:     2097136 kB
SwapFree:      2096004 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5780 kB
Slab:            12592 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 12:37:24 (client local time) WITH STATUS 143 IN 1229.22 SECONDS
stats: 21259 7 1229.22 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c SAT4J: a SATisfiability library for Java (c) 2004-2005 Daniel Le Berre
c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
c version Special PB05 Second trial
c --- Begin Solver configuration ---
c org.sat4j.minisat.uip.FirstUIP@1e4cbc4
c org.sat4j.minisat.constraints.PBMinDataStructure@1fdc96c
c org.sat4j.minisat.learning.MiniSATLearning@b2fd8f
c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 
c 
c --- End Solver configuration ---
c solving /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-scfxm1.opb
c reading problem ... done. Time 30.624 ms.
c #vars     9140
c #constraints  512
c starts	: 5
c conflicts	: 1315
c decisions	: 8495
c propagations	: 49181
c inspects	: 5152908
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 1315
c root simplifications	: 748
s UNKNOWN
c Total CPU time (ms) : 1219.133
#### 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.95 0.99 0.99 2/54 1395
Raw data (stat): 1395 (runsolver) R 1394 21152 21151 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 780582321 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.0003 s]
Raw data (loadavg): 0.96 0.99 0.99 2/63 1404
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18027 0 1 0 789 39 0 0 25 0 10 0 780582321 857640960 20777 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209385 20777 13086 16 0 209369 0
vsize: 837540
[startup+20.0011 s]
Raw data (loadavg): 0.96 0.99 0.99 2/63 1404
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18028 0 1 0 1644 40 0 0 24 0 10 0 780582321 857640960 21597 4294967295 134512640 134569956 3221224368 3221214352 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209385 21597 13086 16 0 209369 0
vsize: 837540
[startup+30.0025 s]
Raw data (loadavg): 0.97 0.99 0.99 2/63 1404
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18028 0 1 0 2514 40 0 0 25 0 10 0 780582321 857640960 21856 4294967295 134512640 134569956 3221224368 3221214696 1131289089 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209385 21856 13086 16 0 209369 0
vsize: 837540
[startup+40.0038 s]
Raw data (loadavg): 0.97 0.99 0.99 3/64 1405
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18067 0 1 0 3396 41 0 0 25 0 11 0 780582321 858808320 22467 4294967295 134512640 134569956 3221224368 3221214608 1131385221 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209670 22467 13086 16 0 209654 0
vsize: 838680
[startup+50.0037 s]
Raw data (loadavg): 1.05 1.00 1.00 3/64 1405
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18069 0 1 0 4276 41 0 0 25 0 11 0 780582321 864137216 23948 4294967295 134512640 134569956 3221224368 3221214568 1131314779 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210971 23948 13086 16 0 210955 0
vsize: 843884
[startup+60.0052 s]
Raw data (loadavg): 1.20 1.04 1.01 2/64 1405
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18069 0 1 0 5188 42 0 0 25 0 11 0 780582321 863002624 23946 4294967295 134512640 134569956 3221224368 3221214568 1131315321 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210694 23946 13086 16 0 210678 0
vsize: 842776
[startup+70.0062 s]
Raw data (loadavg): 1.16 1.03 1.01 2/64 1405
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18069 0 1 0 6141 42 0 0 25 0 11 0 780582321 863002624 24494 4294967295 134512640 134569956 3221224368 3221214520 1131209769 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 24494 13086 16 0 210678 0
vsize: 842776
[startup+80.0074 s]
Raw data (loadavg): 1.14 1.03 1.01 2/64 1405
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18069 0 1 0 7118 43 0 0 25 0 11 0 780582321 863002624 24558 4294967295 134512640 134569956 3221224368 3221214568 1131315115 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 24558 13086 16 0 210678 0
vsize: 842776
[startup+90.0077 s]
Raw data (loadavg): 1.36 1.08 1.02 2/64 1405
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18069 0 1 0 8099 43 0 0 25 0 11 0 780582321 863002624 24604 4294967295 134512640 134569956 3221224368 3221214568 1131315115 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 24604 13086 16 0 210678 0
vsize: 842776
[startup+100.009 s]
Raw data (loadavg): 1.38 1.09 1.03 2/64 1405
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18069 0 1 0 9081 44 0 0 25 0 11 0 780582321 863002624 24647 4294967295 134512640 134569956 3221224368 3221214568 1131314896 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 24647 13086 16 0 210678 0
vsize: 842776
[startup+110.009 s]
Raw data (loadavg): 1.32 1.09 1.03 2/64 1405
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18070 0 1 0 10062 44 0 0 25 0 11 0 780582321 863002624 24708 4294967295 134512640 134569956 3221224368 3221214568 1131315295 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 24708 13086 16 0 210678 0
vsize: 842776
[startup+120.01 s]
Raw data (loadavg): 1.27 1.08 1.03 2/64 1405
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18070 0 1 0 11045 44 0 0 25 0 11 0 780582321 863002624 24755 4294967295 134512640 134569956 3221224368 3221214568 1131314757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 24755 13086 16 0 210678 0
vsize: 842776
[startup+130.012 s]
Raw data (loadavg): 1.23 1.08 1.02 2/64 1405
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18070 0 1 0 12024 44 0 0 25 0 11 0 780582321 863002624 24801 4294967295 134512640 134569956 3221224368 3221214616 1131261338 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 24801 13086 16 0 210678 0
vsize: 842776
[startup+140.012 s]
Raw data (loadavg): 1.19 1.08 1.02 2/64 1405
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18070 0 1 0 13006 45 0 0 25 0 11 0 780582321 863002624 24842 4294967295 134512640 134569956 3221224368 3221214568 1131316222 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 24842 13086 16 0 210678 0
vsize: 842776
[startup+150.013 s]
Raw data (loadavg): 1.16 1.08 1.02 2/64 1405
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18070 0 1 0 13989 45 0 0 25 0 11 0 780582321 863002624 24893 4294967295 134512640 134569956 3221224368 3221214664 1131336463 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 24893 13086 16 0 210678 0
vsize: 842776
[startup+160.014 s]
Raw data (loadavg): 1.14 1.07 1.02 2/64 1405
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18070 0 1 0 14974 45 0 0 25 0 11 0 780582321 863002624 24937 4294967295 134512640 134569956 3221224368 3221214664 1131337453 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 24937 13086 16 0 210678 0
vsize: 842776
[startup+170.014 s]
Raw data (loadavg): 1.11 1.07 1.02 2/64 1405
Raw data (stat): 1395 (java) S 1394 21152 21151 0 -1 0 18070 0 1 0 15958 45 0 0 25 0 11 0 780582321 863002624 24970 4294967295 134512640 134569956 3221224368 3221213208 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 24970 13086 16 0 210678 0
vsize: 842776
[startup+180.016 s]
Raw data (loadavg): 1.10 1.07 1.02 2/64 1405
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18070 0 1 0 16944 46 0 0 25 0 11 0 780582321 863002624 25003 4294967295 134512640 134569956 3221224368 3221214568 1131315339 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 25003 13086 16 0 210678 0
vsize: 842776
[startup+190.017 s]
Raw data (loadavg): 1.08 1.06 1.02 2/64 1405
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18070 0 1 0 17928 46 0 0 25 0 11 0 780582321 863002624 25035 4294967295 134512640 134569956 3221224368 3221214680 1131314765 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 25035 13086 16 0 210678 0
vsize: 842776
[startup+200.017 s]
Raw data (loadavg): 1.07 1.06 1.02 2/64 1405
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18070 0 1 0 18913 47 0 0 25 0 11 0 780582321 863002624 25064 4294967295 134512640 134569956 3221224368 3221214568 1131314750 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 25064 13086 16 0 210678 0
vsize: 842776
[startup+210.018 s]
Raw data (loadavg): 1.06 1.06 1.02 2/64 1405
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 19899 47 0 0 25 0 11 0 780582321 863002624 25094 4294967295 134512640 134569956 3221224368 3221214568 1131314689 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 25094 13086 16 0 210678 0
vsize: 842776
[startup+220.019 s]
Raw data (loadavg): 1.05 1.06 1.02 2/64 1405
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 20883 47 0 0 25 0 11 0 780582321 863002624 25118 4294967295 134512640 134569956 3221224368 3221214568 1131314772 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 25118 13086 16 0 210678 0
vsize: 842776
[startup+230.019 s]
Raw data (loadavg): 1.04 1.05 1.02 2/64 1405
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 21867 47 0 0 24 0 11 0 780582321 863002624 25144 4294967295 134512640 134569956 3221224368 3221214564 1131209772 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 25144 13086 16 0 210678 0
vsize: 842776
[startup+240.02 s]
Raw data (loadavg): 1.03 1.05 1.01 2/64 1405
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 22852 48 0 0 25 0 11 0 780582321 863002624 25179 4294967295 134512640 134569956 3221224368 3221214760 1131427584 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 25179 13086 16 0 210678 0
vsize: 842776
[startup+250.02 s]
Raw data (loadavg): 1.03 1.05 1.01 2/64 1405
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 23836 48 0 0 25 0 11 0 780582321 863002624 25217 4294967295 134512640 134569956 3221224368 3221214616 1131177809 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 25217 13086 16 0 210678 0
vsize: 842776
[startup+260.021 s]
Raw data (loadavg): 1.02 1.05 1.01 2/64 1405
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 24820 49 0 0 25 0 11 0 780582321 863002624 25246 4294967295 134512640 134569956 3221224368 3221214664 1131336470 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 25246 13086 16 0 210678 0
vsize: 842776
[startup+270.021 s]
Raw data (loadavg): 1.02 1.05 1.01 2/64 1405
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 25804 49 0 0 25 0 11 0 780582321 863002624 25270 4294967295 134512640 134569956 3221224368 3221214664 1131336470 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 25270 13086 16 0 210678 0
vsize: 842776
[startup+280.022 s]
Raw data (loadavg): 1.02 1.04 1.01 2/64 1405
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 26789 49 0 0 24 0 11 0 780582321 863002624 25308 4294967295 134512640 134569956 3221224368 3221214520 1131208794 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 25308 13086 16 0 210678 0
vsize: 842776
[startup+290.023 s]
Raw data (loadavg): 1.01 1.04 1.01 2/64 1405
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 27775 50 0 0 25 0 11 0 780582321 863002624 25336 4294967295 134512640 134569956 3221224368 3221214568 1131314689 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 25336 13086 16 0 210678 0
vsize: 842776
[startup+300.023 s]
Raw data (loadavg): 1.01 1.04 1.01 2/64 1405
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 28761 50 0 0 25 0 11 0 780582321 863002624 25362 4294967295 134512640 134569956 3221224368 3221214616 1131177892 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 25362 13086 16 0 210678 0
vsize: 842776
[startup+310.024 s]
Raw data (loadavg): 1.01 1.04 1.01 2/64 1405
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 29746 50 0 0 25 0 11 0 780582321 863002624 25383 4294967295 134512640 134569956 3221224368 3221214568 1131315362 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 25383 13086 16 0 210678 0
vsize: 842776
[startup+320.024 s]
Raw data (loadavg): 1.01 1.04 1.01 2/64 1405
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 30732 50 0 0 25 0 11 0 780582321 863002624 25407 4294967295 134512640 134569956 3221224368 3221214568 1131314884 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 25407 13086 16 0 210678 0
vsize: 842776
[startup+330.025 s]
Raw data (loadavg): 1.00 1.04 1.01 2/64 1405
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 31718 50 0 0 25 0 11 0 780582321 863002624 25425 4294967295 134512640 134569956 3221224368 3221214568 1131315321 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 25425 13086 16 0 210678 0
vsize: 842776
[startup+340.025 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 1405
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 32703 51 0 0 25 0 11 0 780582321 863002624 25447 4294967295 134512640 134569956 3221224368 3221214568 1131315115 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 25447 13086 16 0 210678 0
vsize: 842776
[startup+350.025 s]
Raw data (loadavg): 1.07 1.05 1.01 2/64 1405
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 33689 51 0 0 25 0 11 0 780582321 863002624 25472 4294967295 134512640 134569956 3221224368 3221214568 1131315115 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 25472 13086 16 0 210678 0
vsize: 842776
[startup+360.026 s]
Raw data (loadavg): 1.06 1.04 1.01 2/64 1405
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 34676 51 0 0 25 0 11 0 780582321 863002624 25499 4294967295 134512640 134569956 3221224368 3221214664 1131336115 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 25499 13086 16 0 210678 0
vsize: 842776
[startup+370.027 s]
Raw data (loadavg): 1.05 1.04 1.01 2/64 1405
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 35665 52 0 0 25 0 11 0 780582321 863002624 25511 4294967295 134512640 134569956 3221224368 3221214568 1131314726 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 25511 13086 16 0 210678 0
vsize: 842776
[startup+380.027 s]
Raw data (loadavg): 1.04 1.04 1.01 2/64 1405
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 36655 52 0 0 25 0 11 0 780582321 863002624 25524 4294967295 134512640 134569956 3221224368 3221214072 1085679261 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 25524 13086 16 0 210678 0
vsize: 842776
[startup+390.028 s]
Raw data (loadavg): 1.03 1.04 1.00 2/64 1405
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 37648 53 0 0 25 0 11 0 780582321 863002624 25537 4294967295 134512640 134569956 3221224368 3221214568 1131315119 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 25537 13086 16 0 210678 0
vsize: 842776
[startup+400.029 s]
Raw data (loadavg): 1.03 1.04 1.00 2/64 1405
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 38638 53 0 0 25 0 11 0 780582321 863002624 25542 4294967295 134512640 134569956 3221224368 3221214568 1131314704 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 25542 13086 16 0 210678 0
vsize: 842776
[startup+410.029 s]
Raw data (loadavg): 1.02 1.04 1.00 2/64 1405
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 39628 54 0 0 25 0 11 0 780582321 863002624 25546 4294967295 134512640 134569956 3221224368 3221214268 1131515152 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 25546 13086 16 0 210678 0
vsize: 842776
[startup+420.029 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 1405
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 40619 54 0 0 25 0 11 0 780582321 863002624 25568 4294967295 134512640 134569956 3221224368 3221214568 1131315132 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 25568 13086 16 0 210678 0
vsize: 842776
[startup+430.031 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 1405
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 41611 55 0 0 25 0 11 0 780582321 863002624 25596 4294967295 134512640 134569956 3221224368 3221214664 1131336470 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 25596 13086 16 0 210678 0
vsize: 842776
[startup+440.031 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 1405
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 42603 55 0 0 25 0 11 0 780582321 863002624 25612 4294967295 134512640 134569956 3221224368 3221214568 1131315115 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 25612 13086 16 0 210678 0
vsize: 842776
[startup+450.031 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 1405
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 43595 55 0 0 25 0 11 0 780582321 863002624 25625 4294967295 134512640 134569956 3221224368 3221214720 1131355620 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 25625 13086 16 0 210678 0
vsize: 842776
[startup+460.032 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 1405
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 44586 56 0 0 25 0 11 0 780582321 863002624 25647 4294967295 134512640 134569956 3221224368 3221214568 1131316438 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 25647 13086 16 0 210678 0
vsize: 842776
[startup+470.032 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 1405
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 45579 56 0 0 25 0 11 0 780582321 863002624 25667 4294967295 134512640 134569956 3221224368 3221214568 1131315108 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 25667 13086 16 0 210678 0
vsize: 842776
[startup+480.033 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 1405
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 46572 57 0 0 25 0 11 0 780582321 863002624 25678 4294967295 134512640 134569956 3221224368 3221214568 1131315090 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 25678 13086 16 0 210678 0
vsize: 842776
[startup+490.034 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 1405
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 47565 57 0 0 25 0 11 0 780582321 863002624 25688 4294967295 134512640 134569956 3221224368 3221214660 1131314668 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 25688 13086 16 0 210678 0
vsize: 842776
[startup+500.034 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 1405
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 48558 58 0 0 25 0 11 0 780582321 863002624 25697 4294967295 134512640 134569956 3221224368 3221214568 1131314689 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 25697 13086 16 0 210678 0
vsize: 842776
[startup+510.035 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 1405
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 49551 58 0 0 25 0 11 0 780582321 863002624 25706 4294967295 134512640 134569956 3221224368 3221214664 1131341285 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 25706 13086 16 0 210678 0
vsize: 842776
[startup+520.036 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 1405
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 50544 59 0 0 25 0 11 0 780582321 863002624 25716 4294967295 134512640 134569956 3221224368 3221214568 1131315327 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 25716 13086 16 0 210678 0
vsize: 842776
[startup+530.036 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 1405
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 51536 59 0 0 25 0 11 0 780582321 863002624 25725 4294967295 134512640 134569956 3221224368 3221214568 1131314797 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 25725 13086 16 0 210678 0
vsize: 842776
[startup+540.037 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 1405
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 52529 60 0 0 25 0 11 0 780582321 863002624 25733 4294967295 134512640 134569956 3221224368 3221214568 1131315115 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 25733 13086 16 0 210678 0
vsize: 842776
[startup+550.037 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 1405
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 53520 60 0 0 25 0 11 0 780582321 863002624 25740 4294967295 134512640 134569956 3221224368 3221214664 1131336470 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 25740 13086 16 0 210678 0
vsize: 842776
[startup+560.037 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 1405
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 54510 61 0 0 25 0 11 0 780582321 863002624 25749 4294967295 134512640 134569956 3221224368 3221214568 1131314726 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 25749 13086 16 0 210678 0
vsize: 842776
[startup+570.038 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 1405
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 55501 61 0 0 25 0 11 0 780582321 863002624 25776 4294967295 134512640 134569956 3221224368 3221214608 1131385249 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 25776 13086 16 0 210678 0
vsize: 842776
[startup+580.038 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 1405
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 56494 61 0 0 25 0 11 0 780582321 863002624 25797 4294967295 134512640 134569956 3221224368 3221214356 1131516352 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 25797 13086 16 0 210678 0
vsize: 842776
[startup+590.039 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1405
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 57486 61 0 0 25 0 11 0 780582321 863002624 25804 4294967295 134512640 134569956 3221224368 3221214568 1131315115 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 25804 13086 16 0 210678 0
vsize: 842776
[startup+600.04 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1405
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 58479 62 0 0 25 0 11 0 780582321 863002624 25812 4294967295 134512640 134569956 3221224368 3221214664 1131340316 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 25812 13086 16 0 210678 0
vsize: 842776
[startup+610.041 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1405
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 59472 62 0 0 25 0 11 0 780582321 863002624 25818 4294967295 134512640 134569956 3221224368 3221214568 1131315066 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 25818 13086 16 0 210678 0
vsize: 842776
[startup+620.042 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1405
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 60464 62 0 0 25 0 11 0 780582321 863002624 25825 4294967295 134512640 134569956 3221224368 3221214568 1131315494 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 25825 13086 16 0 210678 0
vsize: 842776
[startup+630.042 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1405
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 61456 63 0 0 25 0 11 0 780582321 863002624 25831 4294967295 134512640 134569956 3221224368 3221214568 1131316127 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 25831 13086 16 0 210678 0
vsize: 842776
[startup+640.042 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1405
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 62449 63 0 0 25 0 11 0 780582321 863002624 25837 4294967295 134512640 134569956 3221224368 3221214664 1131337493 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 25837 13086 16 0 210678 0
vsize: 842776
[startup+650.042 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1405
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 63441 64 0 0 25 0 11 0 780582321 863002624 25844 4294967295 134512640 134569956 3221224368 3221214568 1131315115 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 25844 13086 16 0 210678 0
vsize: 842776
[startup+660.043 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1405
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 64434 64 0 0 25 0 11 0 780582321 863002624 25849 4294967295 134512640 134569956 3221224368 3221214664 1131337606 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 25849 13086 16 0 210678 0
vsize: 842776
[startup+670.044 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1405
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 65427 64 0 0 25 0 11 0 780582321 863002624 25856 4294967295 134512640 134569956 3221224368 3221214568 1131315115 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 25856 13086 16 0 210678 0
vsize: 842776
[startup+680.044 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1405
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 66419 65 0 0 25 0 11 0 780582321 863002624 25862 4294967295 134512640 134569956 3221224368 3221214568 1131315115 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 25862 13086 16 0 210678 0
vsize: 842776
[startup+690.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1405
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 67411 65 0 0 25 0 11 0 780582321 863002624 25868 4294967295 134512640 134569956 3221224368 3221214052 1131515211 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 25868 13086 16 0 210678 0
vsize: 842776
[startup+700.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1405
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 68404 65 0 0 25 0 11 0 780582321 863002624 25873 4294967295 134512640 134569956 3221224368 3221214664 1131337606 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 25873 13086 16 0 210678 0
vsize: 842776
[startup+710.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1405
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 69396 66 0 0 25 0 11 0 780582321 863002624 25879 4294967295 134512640 134569956 3221224368 3221214568 1131315502 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 25879 13086 16 0 210678 0
vsize: 842776
[startup+720.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1405
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 70388 66 0 0 25 0 11 0 780582321 863002624 25884 4294967295 134512640 134569956 3221224368 3221214568 1131315057 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 25884 13086 16 0 210678 0
vsize: 842776
[startup+730.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1405
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 71380 66 0 0 25 0 11 0 780582321 863002624 25889 4294967295 134512640 134569956 3221224368 3221214568 1131315463 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 25889 13086 16 0 210678 0
vsize: 842776
[startup+740.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1405
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 72373 66 0 0 25 0 11 0 780582321 863002624 25894 4294967295 134512640 134569956 3221224368 3221214368 1131532558 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 25894 13086 16 0 210678 0
vsize: 842776
[startup+750.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1405
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 73364 67 0 0 25 0 11 0 780582321 863002624 25901 4294967295 134512640 134569956 3221224368 3221214660 1131314668 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 25901 13086 16 0 210678 0
vsize: 842776
[startup+760.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1405
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 74357 67 0 0 25 0 11 0 780582321 863002624 25906 4294967295 134512640 134569956 3221224368 3221214568 1131314704 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 25906 13086 16 0 210678 0
vsize: 842776
[startup+770.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1405
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 75349 68 0 0 25 0 11 0 780582321 863002624 25911 4294967295 134512640 134569956 3221224368 3221214568 1131315295 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 25911 13086 16 0 210678 0
vsize: 842776
[startup+780.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1405
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 76340 69 0 0 25 0 11 0 780582321 863002624 25916 4294967295 134512640 134569956 3221224368 3221214568 1131315066 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 25916 13086 16 0 210678 0
vsize: 842776
[startup+790.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1405
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 77332 69 0 0 25 0 11 0 780582321 863002624 25920 4294967295 134512640 134569956 3221224368 3221214568 1131315051 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 25920 13086 16 0 210678 0
vsize: 842776
[startup+800.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1405
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 78324 69 0 0 25 0 11 0 780582321 863002624 25925 4294967295 134512640 134569956 3221224368 3221214568 1131315115 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 25925 13086 16 0 210678 0
vsize: 842776
[startup+810.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1405
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 79317 69 0 0 25 0 11 0 780582321 863002624 25930 4294967295 134512640 134569956 3221224368 3221214568 1131316222 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 25930 13086 16 0 210678 0
vsize: 842776
[startup+820.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1405
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 80308 70 0 0 25 0 11 0 780582321 863002624 25935 4294967295 134512640 134569956 3221224368 3221214568 1131314726 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 25935 13086 16 0 210678 0
vsize: 842776
[startup+830.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1405
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 81300 70 0 0 25 0 11 0 780582321 863002624 25939 4294967295 134512640 134569956 3221224368 3221214568 1131315115 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 25939 13086 16 0 210678 0
vsize: 842776
[startup+840.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1405
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 82292 71 0 0 25 0 11 0 780582321 863002624 25945 4294967295 134512640 134569956 3221224368 3221214664 1131337606 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 25945 13086 16 0 210678 0
vsize: 842776
[startup+850.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1405
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 83284 71 0 0 25 0 11 0 780582321 863002624 25950 4294967295 134512640 134569956 3221224368 3221214568 1131314904 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 25950 13086 16 0 210678 0
vsize: 842776
[startup+860.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1405
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 84276 71 0 0 25 0 11 0 780582321 863002624 25954 4294967295 134512640 134569956 3221224368 3221214568 1131314765 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 25954 13086 16 0 210678 0
vsize: 842776
[startup+870.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1405
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 85268 71 0 0 25 0 11 0 780582321 863002624 25958 4294967295 134512640 134569956 3221224368 3221214568 1131315115 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 25958 13086 16 0 210678 0
vsize: 842776
[startup+880.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1405
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 86259 72 0 0 25 0 11 0 780582321 863002624 25963 4294967295 134512640 134569956 3221224368 3221214568 1131316123 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 25963 13086 16 0 210678 0
vsize: 842776
[startup+890.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1405
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 87251 72 0 0 25 0 11 0 780582321 863002624 25967 4294967295 134512640 134569956 3221224368 3221214568 1131315303 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 25967 13086 16 0 210678 0
vsize: 842776
[startup+900.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1405
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 88242 72 0 0 25 0 11 0 780582321 863002624 25972 4294967295 134512640 134569956 3221224368 3221214664 1131338543 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 25972 13086 16 0 210678 0
vsize: 842776
[startup+910.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1405
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 89230 73 0 0 25 0 11 0 780582321 863002624 25977 4294967295 134512640 134569956 3221224368 3221214520 1131208794 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 25977 13086 16 0 210678 0
vsize: 842776
[startup+920.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1405
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 90217 73 0 0 25 0 11 0 780582321 863002624 25982 4294967295 134512640 134569956 3221224368 3221214568 1131314726 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 25982 13086 16 0 210678 0
vsize: 842776
[startup+930.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1405
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 91204 74 0 0 25 0 11 0 780582321 863002624 26026 4294967295 134512640 134569956 3221224368 3221214568 1131314779 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 26026 13086 16 0 210678 0
vsize: 842776
[startup+940.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1405
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 92194 74 0 0 25 0 11 0 780582321 863002624 26048 4294967295 134512640 134569956 3221224368 3221214568 1131314704 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 26048 13086 16 0 210678 0
vsize: 842776
[startup+950.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1405
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 93184 74 0 0 25 0 11 0 780582321 863002624 26062 4294967295 134512640 134569956 3221224368 3221214568 1131315115 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 26062 13086 16 0 210678 0
vsize: 842776
[startup+960.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1405
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 94176 75 0 0 25 0 11 0 780582321 863002624 26066 4294967295 134512640 134569956 3221224368 3221214664 1131337317 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 26066 13086 16 0 210678 0
vsize: 842776
[startup+970.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1405
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 95166 75 0 0 25 0 11 0 780582321 863002624 26070 4294967295 134512640 134569956 3221224368 3221214568 1131314801 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 26070 13086 16 0 210678 0
vsize: 842776
[startup+980.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1405
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 96158 75 0 0 25 0 11 0 780582321 863002624 26074 4294967295 134512640 134569956 3221224368 3221214568 1131316133 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 26074 13086 16 0 210678 0
vsize: 842776
[startup+990.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1405
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 97148 76 0 0 25 0 11 0 780582321 863002624 26078 4294967295 134512640 134569956 3221224368 3221214568 1131315100 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 26078 13086 16 0 210678 0
vsize: 842776
[startup+1000.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1405
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 98139 76 0 0 25 0 11 0 780582321 863002624 26083 4294967295 134512640 134569956 3221224368 3221214664 1131337688 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 26083 13086 16 0 210678 0
vsize: 842776
[startup+1010.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1405
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 99130 77 0 0 25 0 11 0 780582321 863002624 26087 4294967295 134512640 134569956 3221224368 3221214568 1131315463 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 26087 13086 16 0 210678 0
vsize: 842776
[startup+1020.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1405
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 100121 77 0 0 25 0 11 0 780582321 863002624 26091 4294967295 134512640 134569956 3221224368 3221214568 1131315115 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 26091 13086 16 0 210678 0
vsize: 842776
[startup+1030.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1405
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 101112 77 0 0 25 0 11 0 780582321 863002624 26095 4294967295 134512640 134569956 3221224368 3221214664 1131340456 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 26095 13086 16 0 210678 0
vsize: 842776
[startup+1040.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1405
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 102103 78 0 0 25 0 11 0 780582321 863002624 26099 4294967295 134512640 134569956 3221224368 3221214568 1131315007 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 26099 13086 16 0 210678 0
vsize: 842776
[startup+1050.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1405
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 103094 78 0 0 25 0 11 0 780582321 863002624 26102 4294967295 134512640 134569956 3221224368 3221214664 1131340362 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 26102 13086 16 0 210678 0
vsize: 842776
[startup+1060.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1405
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 104084 78 0 0 25 0 11 0 780582321 863002624 26106 4294967295 134512640 134569956 3221224368 3221214568 1131315115 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 26106 13086 16 0 210678 0
vsize: 842776
[startup+1070.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1405
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 105074 79 0 0 25 0 11 0 780582321 863002624 26110 4294967295 134512640 134569956 3221224368 3221214568 1131314867 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 26110 13086 16 0 210678 0
vsize: 842776
[startup+1080.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1405
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 106065 79 0 0 25 0 11 0 780582321 863002624 26113 4294967295 134512640 134569956 3221224368 3221214568 1131315377 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 26113 13086 16 0 210678 0
vsize: 842776
[startup+1090.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1405
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 107056 80 0 0 25 0 11 0 780582321 863002624 26117 4294967295 134512640 134569956 3221224368 3221214568 1131315362 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 26117 13086 16 0 210678 0
vsize: 842776
[startup+1100.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1405
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 108047 80 0 0 25 0 11 0 780582321 863002624 26121 4294967295 134512640 134569956 3221224368 3221214568 1131315066 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 26121 13086 16 0 210678 0
vsize: 842776
[startup+1110.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1405
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 109037 80 0 0 25 0 11 0 780582321 863002624 26125 4294967295 134512640 134569956 3221224368 3221214664 1131337652 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 26125 13086 16 0 210678 0
vsize: 842776
[startup+1120.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1405
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 110028 81 0 0 25 0 11 0 780582321 863002624 26129 4294967295 134512640 134569956 3221224368 3221214568 1131314701 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 26129 13086 16 0 210678 0
vsize: 842776
[startup+1130.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1405
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 111018 81 0 0 25 0 11 0 780582321 863002624 26133 4294967295 134512640 134569956 3221224368 3221214568 1131316145 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 26133 13086 16 0 210678 0
vsize: 842776
[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1405
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 112008 82 0 0 25 0 11 0 780582321 863002624 26136 4294967295 134512640 134569956 3221224368 3221214568 1131315313 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 26136 13086 16 0 210678 0
vsize: 842776
[startup+1150.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1405
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 112999 82 0 0 25 0 11 0 780582321 863002624 26140 4294967295 134512640 134569956 3221224368 3221214568 1131314726 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 26140 13086 16 0 210678 0
vsize: 842776
[startup+1160.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1405
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 113989 83 0 0 25 0 11 0 780582321 863002624 26143 4294967295 134512640 134569956 3221224368 3221214760 1131427605 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 26143 13086 16 0 210678 0
vsize: 842776
[startup+1170.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1405
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 114979 83 0 0 25 0 11 0 780582321 863002624 26146 4294967295 134512640 134569956 3221224368 3221214568 1131314787 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 26146 13086 16 0 210678 0
vsize: 842776
[startup+1180.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1405
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 115969 84 0 0 25 0 11 0 780582321 863002624 26150 4294967295 134512640 134569956 3221224368 3221214568 1131315115 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 26150 13086 16 0 210678 0
vsize: 842776
[startup+1190.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1405
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 116960 84 0 0 25 0 11 0 780582321 863002624 26153 4294967295 134512640 134569956 3221224368 3221214568 1131315066 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 26153 13086 16 0 210678 0
vsize: 842776
[startup+1200.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1405
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 117949 85 0 0 25 0 11 0 780582321 863002624 26157 4294967295 134512640 134569956 3221224368 3221214568 1131315040 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 26157 13086 16 0 210678 0
vsize: 842776
[startup+1210.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1405
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 118940 85 0 0 25 0 11 0 780582321 863002624 26160 4294967295 134512640 134569956 3221224368 3221214664 1131336356 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 26160 13086 16 0 210678 0
vsize: 842776
[startup+1220.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1405
Raw data (stat): 1395 (java) R 1394 21152 21151 0 -1 0 18071 0 1 0 119930 86 0 0 25 0 11 0 780582321 863002624 26164 4294967295 134512640 134569956 3221224368 3221214568 1131315239 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210694 26164 13086 16 0 210678 0
vsize: 842776
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.19 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 1407
Raw data (stat): 1395 (java) Z 1394 21152 21151 0 -1 1036 18071 11487 1 0 119935 90 2855 39 25 0 1 0 780582321 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 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): 1220.19
CPU time (s): 1229.22
CPU user time (s): 1227.91
CPU system time (s): 1.3058
CPU usage (%): 100.74
Max. virtual memory (Kb): 843884
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####