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/submitted/manquinho/primes-dimacs-cnf/normalized-ssa7552-158.opb
MD5SUMd607820afcd431f46941921bd45aecde
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1327
Optimality of the best value was proved NO
Number of terms in the objective function 2726
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 2726
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 2726
Number of bits of the biggest sum of numbers12
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.06784
Number of variables2726
Total number of constraints4397
Number of constraints which are clauses4397
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint5

Trace number 4404

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc10 THE 2005-04-13 16:57:54 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2052 boxname=wulflinc10 idbench=228 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  d607820afcd431f46941921bd45aecde  /oldhome/oroussel/tmp/wulflinc10/normalized-ssa7552-158.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc10/normalized-ssa7552-158.opb
IDLAUNCH: 2052
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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		: 450.999
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:        934980 kB
Buffers:         32828 kB
Cached:          47588 kB
SwapCached:        164 kB
Active:          45128 kB
Inactive:        38312 kB
HighTotal:      131008 kB
HighFree:        79660 kB
LowTotal:       903652 kB
LowFree:        855320 kB
SwapTotal:     2097136 kB
SwapFree:      2096972 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6916 kB
Slab:            10712 kB
Committed_AS:    63484 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-13 17:18:36 (client local time) WITH STATUS 143 IN  SECONDS
stats: 2052 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc10/normalized-ssa7552-158.opb
c reading problem 
c [nbvar=2726]
c [nbconstr=4397]
c time 6.189
c #vars     2726
c #clauses  4397
c starts	: 0
c conflicts	: 0
c decisions	: 0
c propagations	: 0
c inspects	: 0
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 0
c SATISFIABLE
c OPTIMIZING...
c 
c CURRENT OPTIMUM=1329
c Current CPU time (ms) : 10.377
c starts	: 1
c conflicts	: 4
c decisions	: 160
c propagations	: 3814
c inspects	: 6852
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 3
c learned clauses	: 4
c root simplifications	: 1
c 
c CURRENT OPTIMUM=1327
c Current CPU time (ms) : 573.17
c starts	: 2
c conflicts	: 67
c decisions	: 792
c propagations	: 15234
c inspects	: 105765
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 6
c learned clauses	: 67
c root simplifications	: 3
#### 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.81 0.95 0.90 2/54 26384
Raw data (stat): 26384 (runsolver) R 26383 25347 25346 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 419354250 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 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+9.99941 s]
Raw data (loadavg): 1.14 1.02 0.92 4/64 26394
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18082 0 1 0 783 46 0 0 25 0 11 0 419354250 861761536 20741 4294967295 134512640 134569956 3221224416 3221214768 1130912099 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210391 20741 13073 16 0 210375 0
vsize: 841564
[startup+20.0004 s]
Raw data (loadavg): 1.27 1.05 0.93 2/64 26395
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18098 4 1 0 1566 46 0 0 25 0 11 0 419354250 886743040 27820 4294967295 134512640 134569956 3221224416 3221214584 1131675805 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216490 27820 13073 16 0 216474 0
vsize: 865960
[startup+30.0005 s]
Raw data (loadavg): 1.23 1.05 0.93 2/64 26395
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18098 4 1 0 2512 47 0 0 25 0 11 0 419354250 886153216 27798 4294967295 134512640 134569956 3221224416 3221214504 1131215580 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 216346 27798 13073 16 0 216330 0
vsize: 865384
[startup+40.0011 s]
Raw data (loadavg): 1.19 1.05 0.93 2/64 26395
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18098 4 1 0 3439 47 0 0 25 0 11 0 419354250 876519424 25615 4294967295 134512640 134569956 3221224416 3221214496 1131215679 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213994 25615 13073 16 0 213978 0
vsize: 855976
[startup+50.0021 s]
Raw data (loadavg): 1.16 1.04 0.93 2/64 26395
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18098 4 1 0 4376 47 0 0 25 0 11 0 419354250 876519424 25756 4294967295 134512640 134569956 3221224416 3221214504 1131215717 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213994 25756 13073 16 0 213978 0
vsize: 855976
[startup+60.0016 s]
Raw data (loadavg): 1.14 1.04 0.93 2/64 26395
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18098 4 1 0 5314 47 0 0 25 0 11 0 419354250 876519424 25807 4294967295 134512640 134569956 3221224416 3221214584 1131673944 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213994 25807 13073 16 0 213978 0
vsize: 855976
[startup+70.0018 s]
Raw data (loadavg): 1.11 1.04 0.93 2/64 26395
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18098 4 1 0 6270 48 0 0 25 0 11 0 419354250 876519424 26375 4294967295 134512640 134569956 3221224416 3221214592 1131215717 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213994 26375 13073 16 0 213978 0
vsize: 855976
[startup+80.0064 s]
Raw data (loadavg): 1.10 1.04 0.93 2/64 26395
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18098 4 1 0 7248 48 0 0 17 0 11 0 419354250 876519424 26421 4294967295 134512640 134569956 3221224416 3221214688 1131723911 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213994 26421 13073 16 0 213978 0
vsize: 855976
[startup+90.0069 s]
Raw data (loadavg): 1.08 1.04 0.93 2/64 26395
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18098 4 1 0 8220 48 0 0 25 0 11 0 419354250 876519424 26501 4294967295 134512640 134569956 3221224416 3221214584 1131673640 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213994 26501 13073 16 0 213978 0
vsize: 855976
[startup+100.007 s]
Raw data (loadavg): 1.07 1.03 0.93 2/64 26395
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18098 4 1 0 9198 48 0 0 25 0 11 0 419354250 876519424 26561 4294967295 134512640 134569956 3221224416 3221214684 1131499232 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213994 26561 13073 16 0 213978 0
vsize: 855976
[startup+110.007 s]
Raw data (loadavg): 1.06 1.03 0.93 2/64 26395
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18098 4 1 0 10175 48 0 0 25 0 11 0 419354250 876519424 26561 4294967295 134512640 134569956 3221224416 3221214584 1131673600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213994 26561 13073 16 0 213978 0
vsize: 855976
[startup+120.007 s]
Raw data (loadavg): 1.05 1.03 0.93 2/64 26395
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18098 4 1 0 11149 49 0 0 24 0 11 0 419354250 876519424 26690 4294967295 134512640 134569956 3221224416 3221214688 1131717292 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213994 26690 13073 16 0 213978 0
vsize: 855976
[startup+130.007 s]
Raw data (loadavg): 1.04 1.03 0.93 2/64 26395
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18098 4 1 0 12130 49 0 0 25 0 11 0 419354250 876519424 26735 4294967295 134512640 134569956 3221224416 3221214584 1131673903 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213994 26735 13073 16 0 213978 0
vsize: 855976
[startup+140.008 s]
Raw data (loadavg): 1.11 1.04 0.94 2/64 26448
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18098 4 1 0 13111 49 0 0 25 0 11 0 419354250 876519424 26780 4294967295 134512640 134569956 3221224416 3221214568 1131495584 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213994 26780 13073 16 0 213978 0
vsize: 855976
[startup+150.008 s]
Raw data (loadavg): 1.09 1.04 0.94 2/64 26448
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18098 4 1 0 14091 49 0 0 25 0 11 0 419354250 876519424 26826 4294967295 134512640 134569956 3221224416 3221214664 1131499309 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213994 26826 13073 16 0 213978 0
vsize: 855976
[startup+160.008 s]
Raw data (loadavg): 1.08 1.04 0.94 2/64 26448
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18098 4 1 0 15077 50 0 0 25 0 11 0 419354250 876519424 26896 4294967295 134512640 134569956 3221224416 3221214592 1131215717 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213994 26896 13073 16 0 213978 0
vsize: 855976
[startup+170.009 s]
Raw data (loadavg): 1.06 1.04 0.94 2/64 26448
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18098 4 1 0 16063 50 0 0 25 0 11 0 419354250 876519424 26925 4294967295 134512640 134569956 3221224416 3221214592 1131215547 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213994 26925 13073 16 0 213978 0
vsize: 855976
[startup+180.009 s]
Raw data (loadavg): 1.05 1.04 0.94 2/64 26448
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18098 4 1 0 17040 50 0 0 25 0 11 0 419354250 876519424 26952 4294967295 134512640 134569956 3221224416 3221214584 1131673806 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213994 26952 13073 16 0 213978 0
vsize: 855976
[startup+190.011 s]
Raw data (loadavg): 1.12 1.05 0.94 2/64 26448
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18098 4 1 0 18016 50 0 0 25 0 11 0 419354250 876519424 26979 4294967295 134512640 134569956 3221224416 3221214592 1131215970 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213994 26979 13073 16 0 213978 0
vsize: 855976
[startup+200.011 s]
Raw data (loadavg): 1.10 1.05 0.94 2/64 26448
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18098 4 1 0 18989 51 0 0 25 0 11 0 419354250 876519424 26979 4294967295 134512640 134569956 3221224416 3221214584 1131673819 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213994 26979 13073 16 0 213978 0
vsize: 855976
[startup+210.01 s]
Raw data (loadavg): 1.09 1.05 0.94 2/64 26450
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18098 4 1 0 19963 51 0 0 25 0 11 0 419354250 876519424 27010 4294967295 134512640 134569956 3221224416 3221214688 1131724065 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213994 27010 13073 16 0 213978 0
vsize: 855976
[startup+220.01 s]
Raw data (loadavg): 1.07 1.04 0.94 2/64 26450
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18098 4 1 0 20939 51 0 0 25 0 11 0 419354250 876519424 27054 4294967295 134512640 134569956 3221224416 3221214688 1131717303 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213994 27054 13073 16 0 213978 0
vsize: 855976
[startup+230.01 s]
Raw data (loadavg): 1.06 1.04 0.94 2/64 26450
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18098 4 1 0 21922 51 0 0 25 0 11 0 419354250 876519424 27238 4294967295 134512640 134569956 3221224416 3221214792 1131375332 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213994 27238 13073 16 0 213978 0
vsize: 855976
[startup+240.011 s]
Raw data (loadavg): 1.05 1.04 0.94 2/64 26450
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18098 4 1 0 22897 51 0 0 25 0 11 0 419354250 876519424 27257 4294967295 134512640 134569956 3221224416 3221214592 1131216431 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213994 27257 13073 16 0 213978 0
vsize: 855976
[startup+250.011 s]
Raw data (loadavg): 1.04 1.04 0.94 2/64 26450
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18098 4 1 0 23875 52 0 0 25 0 11 0 419354250 876519424 27292 4294967295 134512640 134569956 3221224416 3221214688 1131723977 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213994 27292 13073 16 0 213978 0
vsize: 855976
[startup+260.011 s]
Raw data (loadavg): 1.04 1.04 0.94 2/64 26450
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18098 4 1 0 24852 52 0 0 24 0 11 0 419354250 876519424 27346 4294967295 134512640 134569956 3221224416 3221214584 1131673600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213994 27346 13073 16 0 213978 0
vsize: 855976
[startup+270.011 s]
Raw data (loadavg): 1.03 1.04 0.94 2/64 26450
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18098 4 1 0 25833 52 0 0 25 0 11 0 419354250 876519424 27346 4294967295 134512640 134569956 3221224416 3221214584 1131673924 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213994 27346 13073 16 0 213978 0
vsize: 855976
[startup+280.012 s]
Raw data (loadavg): 1.03 1.03 0.94 2/64 26450
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18098 4 1 0 26812 53 0 0 25 0 11 0 419354250 876519424 27402 4294967295 134512640 134569956 3221224416 3221214688 1131717292 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213994 27402 13073 16 0 213978 0
vsize: 855976
[startup+290.013 s]
Raw data (loadavg): 1.02 1.03 0.94 2/64 26450
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18098 4 1 0 27793 53 0 0 25 0 11 0 419354250 876519424 27516 4294967295 134512640 134569956 3221224416 3221214584 1131673903 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213994 27516 13073 16 0 213978 0
vsize: 855976
[startup+300.013 s]
Raw data (loadavg): 1.02 1.03 0.94 2/64 26450
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18098 4 1 0 28777 53 0 0 25 0 11 0 419354250 876519424 27516 4294967295 134512640 134569956 3221224416 3221214592 1131215677 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213994 27516 13073 16 0 213978 0
vsize: 855976
[startup+310.012 s]
Raw data (loadavg): 1.01 1.03 0.94 2/64 26450
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18098 4 1 0 29761 54 0 0 25 0 11 0 419354250 876519424 27544 4294967295 134512640 134569956 3221224416 3221214688 1131717292 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213994 27544 13073 16 0 213978 0
vsize: 855976
[startup+320.013 s]
Raw data (loadavg): 1.01 1.03 0.94 2/64 26450
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18098 4 1 0 30747 54 0 0 25 0 11 0 419354250 876519424 27571 4294967295 134512640 134569956 3221224416 3221214688 1131723911 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213994 27571 13073 16 0 213978 0
vsize: 855976
[startup+330.013 s]
Raw data (loadavg): 1.01 1.03 0.94 2/64 26450
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18098 4 1 0 31732 54 0 0 25 0 11 0 419354250 876519424 27599 4294967295 134512640 134569956 3221224416 3221214792 1131376648 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213994 27599 13073 16 0 213978 0
vsize: 855976
[startup+340.014 s]
Raw data (loadavg): 1.01 1.03 0.94 2/64 26450
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18098 4 1 0 32716 54 0 0 25 0 11 0 419354250 876519424 27670 4294967295 134512640 134569956 3221224416 3221214688 1131717292 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213994 27670 13073 16 0 213978 0
vsize: 855976
[startup+350.015 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 26450
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18098 4 1 0 33702 54 0 0 25 0 11 0 419354250 876519424 27671 4294967295 134512640 134569956 3221224416 3221214840 1131337143 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213994 27671 13073 16 0 213978 0
vsize: 855976
[startup+360.015 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 26450
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18098 4 1 0 34687 55 0 0 25 0 11 0 419354250 876519424 27716 4294967295 134512640 134569956 3221224416 3221214728 1131435745 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213994 27716 13073 16 0 213978 0
vsize: 855976
[startup+370.015 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 26450
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18098 4 1 0 35674 55 0 0 25 0 11 0 419354250 876519424 27725 4294967295 134512640 134569956 3221224416 3221214688 1131717292 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213994 27725 13073 16 0 213978 0
vsize: 855976
[startup+380.016 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 26450
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18098 4 1 0 36655 55 0 0 25 0 11 0 419354250 876519424 27771 4294967295 134512640 134569956 3221224416 3221214688 1131717347 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213994 27771 13073 16 0 213978 0
vsize: 855976
[startup+390.016 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 26450
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18098 4 1 0 37632 55 0 0 25 0 11 0 419354250 876519424 27816 4294967295 134512640 134569956 3221224416 3221214688 1131222017 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213994 27816 13073 16 0 213978 0
vsize: 855976
[startup+400.015 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 26450
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18098 4 1 0 38603 56 0 0 25 0 11 0 419354250 876519424 27816 4294967295 134512640 134569956 3221224416 3221214584 1131675788 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213994 27816 13073 16 0 213978 0
vsize: 855976
[startup+410.015 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 26450
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18098 4 1 0 39574 56 0 0 25 0 11 0 419354250 876519424 27829 4294967295 134512640 134569956 3221224416 3221214560 1131672723 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213994 27829 13073 16 0 213978 0
vsize: 855976
[startup+420.016 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 26450
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18098 4 1 0 40544 56 0 0 25 0 11 0 419354250 876519424 27855 4294967295 134512640 134569956 3221224416 3221214680 1131670339 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213994 27855 13073 16 0 213978 0
vsize: 855976
[startup+430.015 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 26450
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18098 4 1 0 41516 57 0 0 25 0 11 0 419354250 876519424 28048 4294967295 134512640 134569956 3221224416 3221214688 1131723900 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213994 28048 13073 16 0 213978 0
vsize: 855976
[startup+440.016 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 26450
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18098 4 1 0 42489 57 0 0 25 0 11 0 419354250 876519424 28078 4294967295 134512640 134569956 3221224416 3221214688 1131723943 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213994 28078 13073 16 0 213978 0
vsize: 855976
[startup+450.016 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 26450
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18098 4 1 0 43465 58 0 0 25 0 11 0 419354250 876519424 28142 4294967295 134512640 134569956 3221224416 3221214608 1131625002 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213994 28142 13073 16 0 213978 0
vsize: 855976
[startup+460.016 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 26450
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18098 4 1 0 44445 58 0 0 25 0 11 0 419354250 876519424 28169 4294967295 134512640 134569956 3221224416 3221214592 1131215628 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213994 28169 13073 16 0 213978 0
vsize: 855976
[startup+470.017 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 26450
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18098 4 1 0 45427 58 0 0 25 0 11 0 419354250 876519424 28234 4294967295 134512640 134569956 3221224416 3221214592 1131215717 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213994 28234 13073 16 0 213978 0
vsize: 855976
[startup+480.018 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 26450
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18098 4 1 0 46408 58 0 0 25 0 11 0 419354250 876519424 28261 4294967295 134512640 134569956 3221224416 3221214580 1131495593 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213994 28261 13073 16 0 213978 0
vsize: 855976
[startup+490.017 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 26450
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18098 4 1 0 47393 59 0 0 25 0 11 0 419354250 876519424 28323 4294967295 134512640 134569956 3221224416 3221214560 1131672723 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213994 28323 13073 16 0 213978 0
vsize: 855976
[startup+500.018 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 26450
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18098 4 1 0 48377 59 0 0 24 0 11 0 419354250 876519424 28350 4294967295 134512640 134569956 3221224416 3221214664 1131499302 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213994 28350 13073 16 0 213978 0
vsize: 855976
[startup+510.018 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 26452
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18098 4 1 0 49362 60 0 0 25 0 11 0 419354250 876519424 28413 4294967295 134512640 134569956 3221224416 3221214592 1131215537 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213994 28413 13073 16 0 213978 0
vsize: 855976
[startup+520.018 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 26452
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18099 4 1 0 50355 60 0 0 25 0 11 0 419354250 876519424 28414 4294967295 134512640 134569956 3221224416 3221214688 1131222586 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213994 28414 13073 16 0 213978 0
vsize: 855976
[startup+530.018 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 26452
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18099 4 1 0 51346 60 0 0 25 0 11 0 419354250 876519424 28414 4294967295 134512640 134569956 3221224416 3221214792 1131375494 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213994 28414 13073 16 0 213978 0
vsize: 855976
[startup+540.019 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 26452
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18099 4 1 0 52331 60 0 0 24 0 11 0 419354250 876519424 28442 4294967295 134512640 134569956 3221224416 3221214688 1131222566 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213994 28442 13073 16 0 213978 0
vsize: 855976
[startup+550.019 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26452
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18099 4 1 0 53311 61 0 0 25 0 11 0 419354250 876519424 28467 4294967295 134512640 134569956 3221224416 3221214792 1131376565 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213994 28467 13073 16 0 213978 0
vsize: 855976
[startup+560.019 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26452
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18099 4 1 0 54291 61 0 0 25 0 11 0 419354250 876519424 28486 4294967295 134512640 134569956 3221224416 3221214792 1131376620 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213994 28486 13073 16 0 213978 0
vsize: 855976
[startup+570.019 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26452
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18099 4 1 0 55273 62 0 0 25 0 11 0 419354250 876519424 28513 4294967295 134512640 134569956 3221224416 3221214688 1131222123 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213994 28513 13073 16 0 213978 0
vsize: 855976
[startup+580.019 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26453
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18099 4 1 0 56249 63 0 0 25 0 11 0 419354250 876519424 28536 4294967295 134512640 134569956 3221224416 3221214688 1131221937 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213994 28536 13073 16 0 213978 0
vsize: 855976
[startup+590.021 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26453
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18099 4 1 0 57207 63 0 0 25 0 11 0 419354250 876519424 28543 4294967295 134512640 134569956 3221224416 3221214608 1131624929 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213994 28543 13073 16 0 213978 0
vsize: 855976
[startup+600.021 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26453
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18099 4 1 0 58160 63 0 0 25 0 11 0 419354250 876519424 28549 4294967295 134512640 134569956 3221224416 3221214792 1131376508 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213994 28549 13073 16 0 213978 0
vsize: 855976
[startup+610.021 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26453
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18099 4 1 0 59117 64 0 0 24 0 11 0 419354250 876519424 28637 4294967295 134512640 134569956 3221224416 3221214688 1131717295 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213994 28637 13073 16 0 213978 0
vsize: 855976
[startup+620.021 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26453
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18099 4 1 0 60091 64 0 0 25 0 11 0 419354250 876519424 28776 4294967295 134512640 134569956 3221224416 3221214592 1131216384 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213994 28776 13073 16 0 213978 0
vsize: 855976
[startup+630.021 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26453
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18099 4 1 0 61072 64 0 0 25 0 11 0 419354250 876519424 28834 4294967295 134512640 134569956 3221224416 3221214584 1131673819 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213994 28834 13073 16 0 213978 0
vsize: 855976
[startup+640.022 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26453
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18099 4 1 0 62045 65 0 0 25 0 11 0 419354250 876519424 28853 4294967295 134512640 134569956 3221224416 3221214792 1131376543 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213994 28853 13073 16 0 213978 0
vsize: 855976
[startup+650.022 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26453
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18099 4 1 0 63015 65 0 0 25 0 11 0 419354250 876519424 28939 4294967295 134512640 134569956 3221224416 3221214688 1131222591 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213994 28939 13073 16 0 213978 0
vsize: 855976
[startup+660.022 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26453
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18099 4 1 0 63988 65 0 0 25 0 11 0 419354250 876519424 28991 4294967295 134512640 134569956 3221224416 3221214688 1131222017 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213994 28991 13073 16 0 213978 0
vsize: 855976
[startup+670.022 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26453
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18099 4 1 0 64965 66 0 0 25 0 11 0 419354250 876519424 29054 4294967295 134512640 134569956 3221224416 3221214792 1131376612 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213994 29054 13073 16 0 213978 0
vsize: 855976
[startup+680.023 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26453
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18099 4 1 0 65945 66 0 0 25 0 11 0 419354250 876519424 29061 4294967295 134512640 134569956 3221224416 3221214688 1131222525 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213994 29061 13073 16 0 213978 0
vsize: 855976
[startup+690.023 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26453
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18099 4 1 0 66924 66 0 0 25 0 11 0 419354250 876519424 29066 4294967295 134512640 134569956 3221224416 3221214688 1131222017 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213994 29066 13073 16 0 213978 0
vsize: 855976
[startup+700.023 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26453
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18099 4 1 0 67905 67 0 0 25 0 11 0 419354250 876519424 29101 4294967295 134512640 134569956 3221224416 3221214688 1131221605 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213994 29101 13073 16 0 213978 0
vsize: 855976
[startup+710.023 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26453
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18099 4 1 0 68892 67 0 0 25 0 11 0 419354250 876519424 29153 4294967295 134512640 134569956 3221224416 3221214584 1131673504 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213994 29153 13073 16 0 213978 0
vsize: 855976
[startup+720.024 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26453
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18099 4 1 0 69879 67 0 0 25 0 11 0 419354250 876519424 29156 4294967295 134512640 134569956 3221224416 3221214592 1131215679 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213994 29156 13073 16 0 213978 0
vsize: 855976
[startup+730.024 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26453
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18099 4 1 0 70867 67 0 0 25 0 11 0 419354250 876519424 29160 4294967295 134512640 134569956 3221224416 3221214688 1131717295 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213994 29160 13073 16 0 213978 0
vsize: 855976
[startup+740.025 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26453
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18099 4 1 0 71854 68 0 0 25 0 11 0 419354250 876519424 29163 4294967295 134512640 134569956 3221224416 3221214812 1130918706 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213994 29163 13073 16 0 213978 0
vsize: 855976
[startup+750.025 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26453
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18099 4 1 0 72840 68 0 0 25 0 11 0 419354250 876519424 29183 4294967295 134512640 134569956 3221224416 3221214584 1131673458 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213994 29183 13073 16 0 213978 0
vsize: 855976
[startup+760.025 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26453
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18099 4 1 0 73828 69 0 0 25 0 11 0 419354250 876519424 29210 4294967295 134512640 134569956 3221224416 3221214688 1131717303 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213994 29210 13073 16 0 213978 0
vsize: 855976
[startup+770.025 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26453
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18099 4 1 0 74814 69 0 0 25 0 11 0 419354250 876519424 29237 4294967295 134512640 134569956 3221224416 3221214592 1131215547 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213994 29237 13073 16 0 213978 0
vsize: 855976
[startup+780.025 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26453
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18099 4 1 0 75801 69 0 0 25 0 11 0 419354250 876519424 29239 4294967295 134512640 134569956 3221224416 3221214688 1131717303 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213994 29239 13073 16 0 213978 0
vsize: 855976
[startup+790.025 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26453
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18099 4 1 0 76787 69 0 0 25 0 11 0 419354250 876519424 29265 4294967295 134512640 134569956 3221224416 3221214592 1131215547 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213994 29265 13073 16 0 213978 0
vsize: 855976
[startup+800.025 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26453
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18099 4 1 0 77769 69 0 0 25 0 11 0 419354250 876519424 29278 4294967295 134512640 134569956 3221224416 3221214792 1131376558 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213994 29278 13073 16 0 213978 0
vsize: 855976
[startup+810.024 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26453
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18099 4 1 0 78753 70 0 0 25 0 11 0 419354250 876519424 29303 4294967295 134512640 134569956 3221224416 3221214688 1131222299 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213994 29303 13073 16 0 213978 0
vsize: 855976
[startup+820.025 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26453
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18099 4 1 0 79729 70 0 0 25 0 11 0 419354250 876519424 29364 4294967295 134512640 134569956 3221224416 3221214788 1131222859 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213994 29364 13073 16 0 213978 0
vsize: 855976
[startup+830.025 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26453
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18099 4 1 0 80700 71 0 0 25 0 11 0 419354250 876519424 29365 4294967295 134512640 134569956 3221224416 3221214592 1131215717 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213994 29365 13073 16 0 213978 0
vsize: 855976
[startup+840.026 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26453
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18099 4 1 0 81665 71 0 0 25 0 11 0 419354250 876519424 29426 4294967295 134512640 134569956 3221224416 3221214688 1131717295 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213994 29426 13073 16 0 213978 0
vsize: 855976
[startup+850.026 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26453
Raw data (stat): 26384 (java) S 26383 25347 25346 0 -1 0 18099 4 1 0 82638 71 0 0 25 0 11 0 419354250 876519424 29460 4294967295 134512640 134569956 3221224416 3221213392 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213994 29460 13073 16 0 213978 0
vsize: 855976
[startup+860.026 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26453
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18099 4 1 0 83607 71 0 0 25 0 11 0 419354250 876519424 29539 4294967295 134512640 134569956 3221224416 3221214584 1131674059 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213994 29539 13073 16 0 213978 0
vsize: 855976
[startup+870.026 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26453
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18099 4 1 0 84576 72 0 0 25 0 11 0 419354250 876519424 29669 4294967295 134512640 134569956 3221224416 3221214792 1131375494 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213994 29669 13073 16 0 213978 0
vsize: 855976
[startup+880.025 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26453
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18099 4 1 0 85547 72 0 0 25 0 11 0 419354250 876519424 29693 4294967295 134512640 134569956 3221224416 3221214688 1131723904 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213994 29693 13073 16 0 213978 0
vsize: 855976
[startup+890.026 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26453
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18099 4 1 0 86520 72 0 0 25 0 11 0 419354250 876519424 29796 4294967295 134512640 134569956 3221224416 3221214688 1131717280 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213994 29796 13073 16 0 213978 0
vsize: 855976
[startup+900.027 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26453
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18099 4 1 0 87496 73 0 0 25 0 11 0 419354250 876519424 29838 4294967295 134512640 134569956 3221224416 3221214584 1131674089 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213994 29838 13073 16 0 213978 0
vsize: 855976
[startup+910.026 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26453
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18099 4 1 0 88473 73 0 0 25 0 11 0 419354250 876519424 29904 4294967295 134512640 134569956 3221224416 3221214592 1131215445 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213994 29904 13073 16 0 213978 0
vsize: 855976
[startup+920.027 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26453
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18099 4 1 0 89451 73 0 0 25 0 11 0 419354250 876519424 29946 4294967295 134512640 134569956 3221224416 3221214584 1131673572 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213994 29946 13073 16 0 213978 0
vsize: 855976
[startup+930.027 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26453
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18099 4 1 0 90429 74 0 0 25 0 11 0 419354250 876519424 29988 4294967295 134512640 134569956 3221224416 3221214664 1131499313 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213994 29988 13073 16 0 213978 0
vsize: 855976
[startup+940.028 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26453
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18099 4 1 0 91409 74 0 0 25 0 11 0 419354250 876519424 30029 4294967295 134512640 134569956 3221224416 3221214592 1131215717 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213994 30029 13073 16 0 213978 0
vsize: 855976
[startup+950.028 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26453
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18099 4 1 0 92392 74 0 0 25 0 11 0 419354250 876519424 30073 4294967295 134512640 134569956 3221224416 3221214592 1131215679 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213994 30073 13073 16 0 213978 0
vsize: 855976
[startup+960.028 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26453
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18099 4 1 0 93377 75 0 0 25 0 11 0 419354250 876519424 30090 4294967295 134512640 134569956 3221224416 3221214688 1131717295 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213994 30090 13073 16 0 213978 0
vsize: 855976
[startup+970.028 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26453
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18099 4 1 0 94361 75 0 0 25 0 11 0 419354250 876519424 30115 4294967295 134512640 134569956 3221224416 3221214744 1131215587 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213994 30115 13073 16 0 213978 0
vsize: 855976
[startup+980.028 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26453
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18099 4 1 0 95347 75 0 0 25 0 11 0 419354250 876519424 30158 4294967295 134512640 134569956 3221224416 3221214584 1131673604 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213994 30158 13073 16 0 213978 0
vsize: 855976
[startup+990.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26453
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18099 4 1 0 96326 76 0 0 25 0 11 0 419354250 876519424 30174 4294967295 134512640 134569956 3221224416 3221214592 1131215717 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213994 30174 13073 16 0 213978 0
vsize: 855976
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26453
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18099 4 1 0 97307 76 0 0 25 0 11 0 419354250 876519424 30201 4294967295 134512640 134569956 3221224416 3221214688 1131222017 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213994 30201 13073 16 0 213978 0
vsize: 855976
[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26453
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18099 4 1 0 98283 76 0 0 25 0 11 0 419354250 876519424 30201 4294967295 134512640 134569956 3221224416 3221214592 1131215547 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213994 30201 13073 16 0 213978 0
vsize: 855976
[startup+1020.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26453
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18099 4 1 0 99259 76 0 0 25 0 11 0 419354250 876519424 30259 4294967295 134512640 134569956 3221224416 3221214688 1131222017 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213994 30259 13073 16 0 213978 0
vsize: 855976
[startup+1030.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26453
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18099 4 1 0 100227 77 0 0 25 0 11 0 419354250 876519424 30342 4294967295 134512640 134569956 3221224416 3221214584 1131673458 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213994 30342 13073 16 0 213978 0
vsize: 855976
[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26453
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18099 4 1 0 101199 77 0 0 25 0 11 0 419354250 876519424 30367 4294967295 134512640 134569956 3221224416 3221214592 1131215547 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213994 30367 13073 16 0 213978 0
vsize: 855976
[startup+1050.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26453
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18099 4 1 0 102171 78 0 0 25 0 11 0 419354250 876519424 30409 4294967295 134512640 134569956 3221224416 3221214584 1131673938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213994 30409 13073 16 0 213978 0
vsize: 855976
[startup+1060.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26453
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18099 4 1 0 103135 78 0 0 25 0 11 0 419354250 876519424 30507 4294967295 134512640 134569956 3221224416 3221214688 1131723911 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213994 30507 13073 16 0 213978 0
vsize: 855976
[startup+1070.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26453
Raw data (stat): 26384 (java) S 26383 25347 25346 0 -1 0 18099 4 1 0 104108 79 0 0 25 0 11 0 419354250 876519424 30532 4294967295 134512640 134569956 3221224416 3221213352 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213994 30532 13073 16 0 213978 0
vsize: 855976
[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26453
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18099 4 1 0 105078 79 0 0 25 0 11 0 419354250 876519424 30632 4294967295 134512640 134569956 3221224416 3221214584 1131673458 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213994 30632 13073 16 0 213978 0
vsize: 855976
[startup+1090.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26453
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18099 4 1 0 106051 79 0 0 25 0 11 0 419354250 876519424 30698 4294967295 134512640 134569956 3221224416 3221214688 1131717295 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213994 30698 13073 16 0 213978 0
vsize: 855976
[startup+1100.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26453
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18099 4 1 0 107027 79 0 0 25 0 11 0 419354250 876519424 30740 4294967295 134512640 134569956 3221224416 3221214688 1131221637 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213994 30740 13073 16 0 213978 0
vsize: 855976
[startup+1110.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26453
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18099 4 1 0 107999 80 0 0 25 0 11 0 419354250 876519424 30809 4294967295 134512640 134569956 3221224416 3221214584 1131674941 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213994 30809 13073 16 0 213978 0
vsize: 855976
[startup+1120.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26453
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18099 4 1 0 108972 81 0 0 25 0 11 0 419354250 876519424 30897 4294967295 134512640 134569956 3221224416 3221214584 1131674941 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213994 30897 13073 16 0 213978 0
vsize: 855976
[startup+1130.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26453
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18099 4 1 0 109948 81 0 0 25 0 11 0 419354250 876519424 30898 4294967295 134512640 134569956 3221224416 3221214592 1131215840 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213994 30898 13073 16 0 213978 0
vsize: 855976
[startup+1140.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26453
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18099 4 1 0 110916 81 0 0 25 0 11 0 419354250 876519424 30914 4294967295 134512640 134569956 3221224416 3221214584 1131673903 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213994 30914 13073 16 0 213978 0
vsize: 855976
[startup+1150.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26453
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18099 4 1 0 111889 81 0 0 25 0 11 0 419354250 876519424 31004 4294967295 134512640 134569956 3221224416 3221214688 1131723977 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213994 31004 13073 16 0 213978 0
vsize: 855976
[startup+1160.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26453
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18099 4 1 0 112859 82 0 0 25 0 11 0 419354250 876519424 31049 4294967295 134512640 134569956 3221224416 3221214584 1131673819 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213994 31049 13073 16 0 213978 0
vsize: 855976
[startup+1170.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26453
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18099 4 1 0 113833 82 0 0 25 0 11 0 419354250 876519424 31141 4294967295 134512640 134569956 3221224416 3221214592 1131215717 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213994 31141 13073 16 0 213978 0
vsize: 855976
[startup+1180.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26453
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18099 4 1 0 114812 83 0 0 25 0 11 0 419354250 876519424 31184 4294967295 134512640 134569956 3221224416 3221214592 1131215487 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213994 31184 13073 16 0 213978 0
vsize: 855976
[startup+1190.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26453
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18099 4 1 0 115785 83 0 0 25 0 11 0 419354250 876519424 31253 4294967295 134512640 134569956 3221224416 3221214584 1131674082 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213994 31253 13073 16 0 213978 0
vsize: 855976
[startup+1200.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26453
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18099 4 1 0 116755 83 0 0 25 0 11 0 419354250 876519424 31282 4294967295 134512640 134569956 3221224416 3221214592 1131215717 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213994 31282 13073 16 0 213978 0
vsize: 855976
[startup+1210.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26453
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18099 4 1 0 117726 83 0 0 25 0 11 0 419354250 876519424 31392 4294967295 134512640 134569956 3221224416 3221214688 1131723911 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213994 31392 13073 16 0 213978 0
vsize: 855976
[startup+1220.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26453
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18099 4 1 0 118698 83 0 0 25 0 11 0 419354250 876519424 31394 4294967295 134512640 134569956 3221224416 3221214584 1131674105 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213994 31394 13073 16 0 213978 0
vsize: 855976
[startup+1230.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26453
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18099 4 1 0 119667 84 0 0 25 0 11 0 419354250 876519424 31441 4294967295 134512640 134569956 3221224416 3221214792 1131375555 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213994 31441 13073 16 0 213978 0
vsize: 855976
[startup+1240.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 26453
Raw data (stat): 26384 (java) R 26383 25347 25346 0 -1 0 18099 4 1 0 120644 85 0 0 25 0 11 0 419354250 876519424 31489 4294967295 134512640 134569956 3221224416 3221214688 1131222540 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213994 31489 13073 16 0 213978 0
vsize: 855976
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.1 s]
Raw data (loadavg): 1.00 1.00 0.94 1/54 26455
Raw data (stat): 26384 (java) Z 26383 25347 25346 0 -1 1036 18099 7720 1 0 120645 85 2879 27 25 0 1 0 419354250 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.1
CPU time (s): 1236.38
CPU user time (s): 1235.25
CPU system time (s): 1.12383
CPU usage (%): 99.6995
Max. virtual memory (Kb): 865960
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####